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:242 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:249 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:253 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:262 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:272 itex:1214 ptex:6854 mv:327 misc:1931 fcode:1 bcode:1 mc-var:361 var:281072 icount:25 skipcount:449 hbits:74;
in:23 out:23 type:2 q:275 itex:2160 ptex:6355 mv:338 misc:1977 fcode:1 bcode:1 mc-var:309 var:280751 icount:45 skipcount:449 hbits:74;
in:24 out:24 type:1 q:222 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:311 itex:775 ptex:2075 mv:323 misc:1329 fcode:1 bcode:1 mc-var:323 var:280633 icount:16 skipcount:519 hbits:74;
in:26 out:26 type:2 q:304 itex:96 ptex:3752 mv:201 misc:1269 fcode:1 bcode:1 mc-var:348 var:280897 icount:2 skipcount:542 hbits:74;
in:27 out:27 type:2 q:287 itex:158 ptex:6796 mv:212 misc:1496 fcode:1 bcode:1 mc-var:321 var:280868 icount:3 skipcount:523 hbits:74;
in:28 out:28 type:2 q:303 itex:144 ptex:2734 mv:148 misc:1164 fcode:1 bcode:1 mc-var:390 var:281074 icount:3 skipcount:555 hbits:74;
in:29 out:29 type:2 q:279 itex:151 ptex:7263 mv:214 misc:1514 fcode:1 bcode:1 mc-var:304 var:280886 icount:3 skipcount:523 hbits:74;
in:30 out:30 type:2 q:289 itex:112 ptex:6692 mv:192 misc:1418 fcode:1 bcode:1 mc-var:309 var:281013 icount:2 skipcount:532 hbits:74;
in:31 out:31 type:2 q:309 itex:768 ptex:2567 mv:153 misc:1262 fcode:1 bcode:1 mc-var:385 var:281111 icount:16 skipcount:541 hbits:74;
in:31 out:31 type:2 q:309 itex:768 ptex:2567 mv:153 misc:1262 fcode:1 bcode:1 mc-var:385 var:281111 icount:16 skipcount:541 hbits:74;