in:0 out:0 type:1 q:590 itex:103798 ptex:0 mv:0 misc:3112 fcode:1 bcode:1 mc-var:0 var:436725 icount:627 skipcount:0 hbits:74;
in:1 out:1 type:2 q:236 itex:672 ptex:19707 mv:443 misc:1664 fcode:1 bcode:1 mc-var:319704 var:436725 icount:14 skipcount:501 hbits:74;
in:2 out:2 type:2 q:236 itex:490 ptex:12863 mv:504 misc:1701 fcode:1 bcode:1 mc-var:317862 var:437811 icount:10 skipcount:496 hbits:74;
in:3 out:3 type:2 q:236 itex:62 ptex:9581 mv:485 misc:1502 fcode:1 bcode:1 mc-var:459 var:280368 icount:1 skipcount:516 hbits:74;
in:4 out:4 type:2 q:236 itex:67 ptex:7828 mv:182 misc:1457 fcode:1 bcode:1 mc-var:404 var:280165 icount:1 skipcount:535 hbits:74;
in:5 out:5 type:2 q:236 itex:0 ptex:8754 mv:217 misc:1499 fcode:1 bcode:1 mc-var:409 var:280761 icount:0 skipcount:527 hbits:74;
in:6 out:6 type:2 q:236 itex:158 ptex:8461 mv:205 misc:1510 fcode:1 bcode:1 mc-var:380 var:280747 icount:3 skipcount:526 hbits:74;
in:7 out:7 type:2 q:236 itex:110 ptex:7537 mv:206 misc:1473 fcode:1 bcode:1 mc-var:369 var:280856 icount:2 skipcount:527 hbits:74;
in:8 out:8 type:2 q:236 itex:0 ptex:7863 mv:216 misc:1431 fcode:1 bcode:1 mc-var:361 var:280987 icount:0 skipcount:534 hbits:74;
in:9 out:9 type:2 q:236 itex:62 ptex:7329 mv:182 misc:1433 fcode:1 bcode:1 mc-var:345 var:280966 icount:1 skipcount:535 hbits:74;
in:10 out:10 type:2 q:236 itex:151 ptex:7153 mv:200 misc:1462 fcode:1 bcode:1 mc-var:341 var:280945 icount:3 skipcount:529 hbits:74;
in:11 out:11 type:2 q:236 itex:55 ptex:7092 mv:198 misc:1413 fcode:1 bcode:1 mc-var:340 var:280768 icount:1 skipcount:537 hbits:74;
in:12 out:12 type:1 q:189 itex:164072 ptex:0 mv:0 misc:3214 fcode:1 bcode:1 mc-var:0 var:280868 icount:627 skipcount:0 hbits:74;
in:13 out:13 type:2 q:236 itex:494 ptex:6271 mv:385 misc:1712 fcode:1 bcode:1 mc-var:318 var:280624 icount:10 skipcount:479 hbits:74;
in:14 out:14 type:2 q:236 itex:576 ptex:7123 mv:379 misc:1672 fcode:1 bcode:1 mc-var:307 var:280717 icount:12 skipcount:483 hbits:74;
in:15 out:15 type:2 q:236 itex:192 ptex:6252 mv:303 misc:1499 fcode:1 bcode:1 mc-var:283 var:280774 icount:4 skipcount:510 hbits:74;
in:16 out:16 type:2 q:236 itex:624 ptex:7121 mv:534 misc:2015 fcode:1 bcode:1 mc-var:364 var:281143 icount:13 skipcount:418 hbits:74;
in:17 out:17 type:2 q:236 itex:1351 ptex:6525 mv:913 misc:1977 fcode:1 bcode:1 mc-var:298 var:281141 icount:28 skipcount:399 hbits:74;
in:18 out:18 type:2 q:236 itex:96 ptex:6777 mv:230 misc:1431 fcode:1 bcode:1 mc-var:291 var:281061 icount:2 skipcount:530 hbits:74;
in:19 out:19 type:2 q:236 itex:1114 ptex:6543 mv:405 misc:1992 fcode:1 bcode:1 mc-var:352 var:281020 icount:23 skipcount:436 hbits:74;
in:20 out:20 type:2 q:236 itex:2544 ptex:6710 mv:643 misc:2109 fcode:1 bcode:1 mc-var:316 var:280893 icount:53 skipcount:411 hbits:74;
in:21 out:21 type:2 q:236 itex:240 ptex:6214 mv:373 misc:1555 fcode:1 bcode:1 mc-var:274 var:280909 icount:5 skipcount:498 hbits:74;
in:22 out:22 type:2 q:236 itex:1646 ptex:6779 mv:350 misc:1967 fcode:1 bcode:1 mc-var:360 var:281072 icount:34 skipcount:448 hbits:74;
in:23 out:23 type:2 q:236 itex:2887 ptex:6269 mv:446 misc:2084 fcode:1 bcode:1 mc-var:298 var:280751 icount:60 skipcount:431 hbits:74;
in:24 out:24 type:1 q:189 itex:163985 ptex:0 mv:0 misc:3221 fcode:1 bcode:1 mc-var:0 var:280824 icount:627 skipcount:0 hbits:74;
in:25 out:25 type:2 q:236 itex:789 ptex:6592 mv:442 misc:1807 fcode:1 bcode:1 mc-var:323 var:280633 icount:16 skipcount:464 hbits:74;
in:26 out:26 type:2 q:236 itex:206 ptex:8049 mv:691 misc:1788 fcode:1 bcode:1 mc-var:335 var:280897 icount:4 skipcount:435 hbits:74;
in:27 out:27 type:2 q:236 itex:302 ptex:6399 mv:326 misc:1531 fcode:1 bcode:1 mc-var:298 var:280868 icount:6 skipcount:503 hbits:74;
in:28 out:28 type:2 q:236 itex:535 ptex:7161 mv:441 misc:1893 fcode:1 bcode:1 mc-var:372 var:281073 icount:11 skipcount:445 hbits:74;
in:29 out:29 type:2 q:236 itex:1303 ptex:6322 mv:514 misc:1827 fcode:1 bcode:1 mc-var:294 var:280886 icount:27 skipcount:455 hbits:74;
in:30 out:30 type:2 q:236 itex:384 ptex:6304 mv:334 misc:1520 fcode:1 bcode:1 mc-var:285 var:281013 icount:8 skipcount:504 hbits:74;
in:31 out:31 type:2 q:236 itex:960 ptex:6647 mv:416 misc:1855 fcode:1 bcode:1 mc-var:359 var:281111 icount:20 skipcount:455 hbits:74;
in:31 out:31 type:2 q:236 itex:960 ptex:6647 mv:416 misc:1855 fcode:1 bcode:1 mc-var:359 var:281111 icount:20 skipcount:455 hbits:74;