--- /dev/null
+#tb 0: 12/109
+0, 0, 0, 1, 311320, 0x71905396
+0, 1, 1, 1, 311320, 0xed46b01e
+0, 2, 2, 1, 311320, 0xcbb56aa8
+0, 3, 3, 1, 311320, 0xafaab599
+0, 4, 4, 1, 311320, 0x43133abf
+0, 5, 5, 1, 311320, 0xd9677d13
+0, 6, 6, 1, 311320, 0x78abea28
+0, 7, 7, 1, 311320, 0xcb6ca011
+0, 8, 8, 1, 311320, 0x8fd40670
+0, 9, 9, 1, 311320, 0x8fd40670
+0, 10, 10, 1, 311320, 0x8fd40670
+0, 11, 11, 1, 311320, 0x8fd40670
+0, 12, 12, 1, 311320, 0x8fd40670
+0, 13, 13, 1, 311320, 0x8fd40670
+0, 14, 14, 1, 311320, 0x8fd40670
+0, 15, 15, 1, 311320, 0x8fd40670
+0, 16, 16, 1, 311320, 0x8fd40670
+0, 17, 17, 1, 311320, 0x8fd40670
+0, 18, 18, 1, 311320, 0x8fd40670
+0, 19, 19, 1, 311320, 0x8fd40670
+0, 20, 20, 1, 311320, 0x8fd40670
+0, 21, 21, 1, 311320, 0x8fd40670
+0, 22, 22, 1, 311320, 0x8fd40670
+0, 23, 23, 1, 311320, 0x8fd40670
+0, 24, 24, 1, 311320, 0x8fd40670
+0, 25, 25, 1, 311320, 0x8fd40670