0xc1a7bd3b4e853fc92d4e1588719986aa
0xbe1f8593ee2c6f8f9497cc7335d97111;
0x1e2933215e1c3bba8d2b404d98f43086bfc6198a219b168f214042a5e7df6b21
- 0x1e2933215e1c3bba8d2b404d98f43086bfc6198a219b168f214042a5e7df6b22 3;
+ 0x1e2933215e1c3bba8d2b404d98f43086bfc6198a219b168f214042a5e7df6b22 3;
}
mul {
}
irred {
+ 0 0;
+ 1 0;
+ 2 1;
0xc1a7bd3b4e853fc92d4e1588719986aa 0;
0x800000000000000000000000000000000000000c9 1;
0x2000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001 1;