in:0 out:0 type:1 q:578 itex:138261 ptex:0 mv:0 misc:789 fcode:1 bcode:1 mc-var:0 var:401380 icount:391 skipcount:0 hbits:262;
in:1 out:1 type:2 q:236 itex:266644 ptex:871 mv:83 misc:1722 fcode:3 bcode:1 mc-var:1067585 var:584355 icount:238 skipcount:134 hbits:110;
in:2 out:2 type:2 q:236 itex:292686 ptex:927 mv:0 misc:2007 fcode:2 bcode:1 mc-var:1369312 var:620456 icount:309 skipcount:74 hbits:110;
in:3 out:3 type:2 q:325 itex:103855 ptex:17148 mv:251 misc:1864 fcode:4 bcode:1 mc-var:711679 var:306046 icount:269 skipcount:84 hbits:110;
in:4 out:4 type:2 q:584 itex:60570 ptex:181090 mv:1019 misc:1615 fcode:2 bcode:1 mc-var:856575 var:638371 icount:176 skipcount:12 hbits:110;
in:5 out:5 type:2 q:884 itex:68714 ptex:18498 mv:351 misc:1985 fcode:3 bcode:1 mc-var:819566 var:334469 icount:289 skipcount:26 hbits:110;
in:6 out:6 type:2 q:1207 itex:52170 ptex:116518 mv:1198 misc:1509 fcode:2 bcode:1 mc-var:1071147 var:737574 icount:167 skipcount:25 hbits:110;
in:7 out:7 type:2 q:1543 itex:52289 ptex:42106 mv:1122 misc:1748 fcode:3 bcode:1 mc-var:919854 var:678460 icount:225 skipcount:7 hbits:110;
in:8 out:8 type:1 q:1499 itex:90468 ptex:0 mv:0 misc:782 fcode:3 bcode:1 mc-var:1054141 var:541441 icount:391 skipcount:0 hbits:262;
in:9 out:9 type:1 q:1853 itex:71178 ptex:0 mv:0 misc:784 fcode:3 bcode:1 mc-var:891216 var:395902 icount:391 skipcount:0 hbits:262;
in:10 out:10 type:1 q:2207 itex:55167 ptex:0 mv:0 misc:787 fcode:3 bcode:1 mc-var:858686 var:401686 icount:391 skipcount:0 hbits:262;
in:11 out:11 type:1 q:2561 itex:54019 ptex:0 mv:0 misc:783 fcode:3 bcode:1 mc-var:781642 var:454133 icount:391 skipcount:0 hbits:262;
in:12 out:12 type:1 q:2915 itex:52552 ptex:0 mv:0 misc:786 fcode:3 bcode:1 mc-var:1025013 var:489553 icount:391 skipcount:0 hbits:262;
in:13 out:13 type:1 q:2926 itex:48444 ptex:0 mv:0 misc:782 fcode:3 bcode:1 mc-var:861419 var:489962 icount:391 skipcount:0 hbits:262;
in:14 out:14 type:1 q:2926 itex:40157 ptex:0 mv:0 misc:789 fcode:3 bcode:1 mc-var:771128 var:372042 icount:391 skipcount:0 hbits:262;
in:14 out:14 type:1 q:2926 itex:40157 ptex:0 mv:0 misc:789 fcode:3 bcode:1 mc-var:771128 var:372042 icount:391 skipcount:0 hbits:262;