#tb 0: 32767/982027
#tb 1: 32767/982027
0, 0, 0, 1, 1860, 0xbd548c4c
1, 0, 0, 1, 1748, 0x96046284
0, 1, 1, 1, 1044, 0x814efc86, F=0x0
1, 1, 1, 1, 204, 0x0ea1573a, F=0x0
0, 2, 2, 1, 1036, 0xf672f905, F=0x0
1, 2, 2, 1, 240, 0x634e7448, F=0x0
0, 3, 3, 1, 1048, 0xe0f80ee7, F=0x0
1, 3, 3, 1, 260, 0xc35b8521, F=0x0
0, 4, 4, 1, 1072, 0x980918e9, F=0x0
1, 4, 4, 1, 376, 0x6e5cb85e, F=0x0
0, 5, 5, 1, 1052, 0x73e6fd33, F=0x0
1, 5, 5, 1, 344, 0xaacdad6b, F=0x0
0, 6, 6, 1, 1056, 0x5242fb20, F=0x0
1, 6, 6, 1, 404, 0x7498be1f, F=0x0
0, 7, 7, 1, 1092, 0x8b7111c2, F=0x0
1, 7, 7, 1, 368, 0xe2b8afd2, F=0x0
0, 8, 8, 1, 1144, 0xc1003410, F=0x0
1, 8, 8, 1, 412, 0x3615c893, F=0x0
0, 9, 9, 1, 1152, 0x6b9234f9, F=0x0
1, 9, 9, 1, 424, 0x04a5cdb7, F=0x0
0, 10, 10, 1, 1132, 0x7d45384b, F=0x0
1, 10, 10, 1, 356, 0x4ad5a9d5, F=0x0
0, 11, 11, 1, 1164, 0x47d637a1, F=0x0
1, 11, 11, 1, 448, 0x2811d959, F=0x0
0, 12, 12, 1, 1152, 0xede932ad, F=0x0
1, 12, 12, 1, 316, 0x911a9c11, F=0x0
0, 13, 13, 1, 1112, 0x49f31a9e, F=0x0
1, 13, 13, 1, 312, 0x1bb08de2, F=0x0
0, 14, 14, 1, 1112, 0x7f022bc7, F=0x0
1, 14, 14, 1, 308, 0x2c3698bb, F=0x0
0, 15, 15, 1, 1128, 0x2a7a4381, F=0x0
1, 15, 15, 1, 424, 0xec77c694, F=0x0
0, 16, 16, 1, 1012, 0x22a3f64b, F=0x0
1, 16, 16, 1, 220, 0x7506677f, F=0x0
0, 17, 17, 1, 1012, 0x0ea3f03b, F=0x0
1, 17, 17, 1, 204, 0xbf3f607e, F=0x0
0, 18, 18, 1, 1072, 0xdf860cc2, F=0x0
1, 18, 18, 1, 416, 0x5f08ca69, F=0x0
0, 19, 19, 1, 1052, 0x29a9116a, F=0x0
1, 19, 19, 1, 244, 0x8d1a7c05, F=0x0
0, 20, 20, 1, 1048, 0xfeb1107d, F=0x0
1, 20, 20, 1, 260, 0xd0b27b40, F=0x0
0, 21, 21, 1, 1084, 0xeed50a32, F=0x0
1, 21, 21, 1, 304, 0x5e5e8f10, F=0x0
0, 22, 22, 1, 992, 0xabd4e695, F=0x0
1, 22, 22, 1, 304, 0x2c839490, F=0x0
0, 23, 23, 1, 1016, 0x7396e5a4, F=0x0
1, 23, 23, 1, 264, 0x5bac855a, F=0x0
0, 24, 24, 1, 1000, 0x1d91ef45, F=0x0
1, 24, 24, 1, 220, 0xcda465a8, F=0x0
0, 25, 25, 1, 960, 0x1c99da31, F=0x0
1, 25, 25, 1, 280, 0xc1d08783, F=0x0
0, 26, 26, 1, 948, 0x48a4c938, F=0x0
1, 26, 26, 1, 440, 0xe2ebd578, F=0x0
0, 27, 27, 1, 952, 0xea12d081, F=0x0
1, 27, 27, 1, 188, 0xe7b15222, F=0x0
0, 28, 28, 1, 944, 0x9a83dce3, F=0x0
1, 28, 28, 1, 208, 0xc3f05b2a, F=0x0
0, 29, 29, 1, 916, 0xacdaba99, F=0x0
1, 29, 29, 1, 248, 0x95f47262, F=0x0
0, 30, 30, 1, 1408, 0x8b86c584
1, 30, 30, 1, 452, 0x2444db2a
0, 31, 31, 1, 848, 0xdaed99bd, F=0x0
1, 31, 31, 1, 224, 0x1edf679b, F=0x0
0, 32, 32, 1, 836, 0x2b0ba278, F=0x0
1, 32, 32, 1, 256, 0x9fc079ff, F=0x0
0, 33, 33, 1, 804, 0xa9268780, F=0x0
1, 33, 33, 1, 240, 0x1ef76c13, F=0x0
0, 34, 34, 1, 744, 0xb48f68fc, F=0x0
1, 34, 34, 1, 216, 0x51e56846, F=0x0
0, 35, 35, 1, 608, 0x538734c4, F=0x0
1, 35, 35, 1, 220, 0x09b26d72, F=0x0
0, 36, 36, 1, 604, 0x003520de, F=0x0
1, 36, 36, 1, 212, 0xa124688a, F=0x0
0, 37, 37, 1, 756, 0xc375752e, F=0x0
1, 37, 37, 1, 288, 0x76bb8cec, F=0x0
0, 38, 38, 1, 820, 0xd9529ca1, F=0x0
1, 38, 38, 1, 336, 0xc15ca7a3, F=0x0
0, 39, 39, 1, 900, 0xe447be51, F=0x0
1, 39, 39, 1, 308, 0x1b92950e, F=0x0
0, 40, 40, 1, 936, 0x17dcc60d, F=0x0
1, 40, 40, 1, 300, 0x0f608f70, F=0x0
0, 41, 41, 1, 952, 0xd5d8e11d, F=0x0
1, 41, 41, 1, 424, 0x2fb3c6a6, F=0x0
0, 42, 42, 1, 988, 0x4596e71c, F=0x0
1, 42, 42, 1, 488, 0x3cb2ead4, F=0x0
0, 43, 43, 1, 1040, 0x46300cfa, F=0x0
1, 43, 43, 1, 452, 0x431dd5b1, F=0x0
0, 44, 44, 1, 1040, 0xc8ad0ac0, F=0x0
1, 44, 44, 1, 428, 0x8162c607, F=0x0
0, 45, 45, 1, 1116, 0x9b4319da, F=0x0
1, 45, 45, 1, 428, 0xe430de88, F=0x0
0, 46, 46, 1, 1184, 0x016d38b6, F=0x0
1, 46, 46, 1, 424, 0x6baecd21, F=0x0
0, 47, 47, 1, 1188, 0xe885478b, F=0x0
1, 47, 47, 1, 392, 0xc001c8e9, F=0x0