static final tMinus1Over2 = [ BigInt.parse("0x04a67c8dcc969876"), BigInt.parse("0x0000000011234c7e"), BigInt.parse("0x0000000000000000"), BigInt.parse("0x0000000020000000"), ];