static final List<BigInt> tMinus1Over2 = [ BigInt.parse("0x04ca546ec6237590"), BigInt.parse("0x0000000011234c7e"), BigInt.parse("0x0000000000000000"), BigInt.parse("0x0000000020000000"), ];