+exp {
+ 4 0 1;
+ 4 1 4;
+ 0x7 2 0x15;
+ 3 563 0xf000f000f000f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f000f000f000f;
+}
+
+irred {
+ 0 0;
+ 1 0;
+ 2 1;
+ 0xc1a7bd3b4e853fc92d4e1588719986aa 0;
+ 0x800000000000000000000000000000000000000c9 1;
+ 0x2000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001 1;
+}
+