in:0 out:0 type:1 q:480 itex:91100 ptex:0 mv:0 misc:2998 fcode:1 bcode:1 mc-var:0 var:318159 icount:972 skipcount:0 hbits:414;
in:1 out:1 type:2 q:327 itex:15891 ptex:31999 mv:7958 misc:4362 fcode:4 bcode:1 mc-var:27582 var:241478 icount:260 skipcount:41 hbits:182;
in:2 out:2 type:2 q:254 itex:13518 ptex:73028 mv:8320 misc:3864 fcode:4 bcode:1 mc-var:52780 var:261311 icount:171 skipcount:15 hbits:182;
in:3 out:3 type:2 q:244 itex:17141 ptex:62173 mv:8467 misc:4373 fcode:4 bcode:1 mc-var:27467 var:255224 icount:307 skipcount:11 hbits:182;
in:4 out:4 type:2 q:245 itex:11673 ptex:61650 mv:9297 misc:3958 fcode:4 bcode:1 mc-var:12105 var:256726 icount:193 skipcount:15 hbits:182;
in:5 out:5 type:2 q:250 itex:12600 ptex:48644 mv:8505 misc:4021 fcode:4 bcode:1 mc-var:15396 var:213962 icount:191 skipcount:17 hbits:182;
in:6 out:6 type:2 q:261 itex:36066 ptex:52877 mv:7614 misc:4933 fcode:5 bcode:1 mc-var:35140 var:178954 icount:461 skipcount:3 hbits:182;
in:7 out:7 type:2 q:269 itex:18955 ptex:61705 mv:8901 misc:4081 fcode:5 bcode:1 mc-var:25853 var:200555 icount:229 skipcount:4 hbits:182;
in:8 out:8 type:2 q:299 itex:22646 ptex:42825 mv:8592 misc:4411 fcode:4 bcode:1 mc-var:154760 var:192521 icount:285 skipcount:21 hbits:182;
in:9 out:9 type:2 q:310 itex:28919 ptex:54008 mv:9338 misc:4241 fcode:5 bcode:1 mc-var:135947 var:254223 icount:262 skipcount:11 hbits:182;
in:10 out:10 type:2 q:298 itex:13617 ptex:67052 mv:8628 misc:4153 fcode:5 bcode:1 mc-var:32862 var:272280 icount:220 skipcount:14 hbits:182;
in:11 out:11 type:2 q:301 itex:11393 ptex:56485 mv:7574 misc:4014 fcode:4 bcode:1 mc-var:30210 var:298109 icount:180 skipcount:29 hbits:182;
in:12 out:12 type:2 q:303 itex:12569 ptex:57209 mv:7936 misc:4112 fcode:4 bcode:1 mc-var:27527 var:299666 icount:211 skipcount:11 hbits:182;
in:13 out:13 type:2 q:309 itex:15373 ptex:53456 mv:8253 misc:4128 fcode:4 bcode:1 mc-var:30808 var:285325 icount:228 skipcount:8 hbits:182;
in:14 out:14 type:2 q:329 itex:20035 ptex:50405 mv:8218 misc:4064 fcode:4 bcode:1 mc-var:80726 var:316599 icount:216 skipcount:8 hbits:182;
in:15 out:15 type:1 q:282 itex:191297 ptex:0 mv:0 misc:3017 fcode:4 bcode:1 mc-var:0 var:374585 icount:972 skipcount:0 hbits:414;
in:16 out:16 type:2 q:328 itex:15161 ptex:56961 mv:8668 misc:3868 fcode:4 bcode:1 mc-var:65815 var:376146 icount:122 skipcount:24 hbits:182;
in:17 out:17 type:2 q:318 itex:11466 ptex:64446 mv:8720 misc:3778 fcode:4 bcode:1 mc-var:35087 var:406785 icount:136 skipcount:9 hbits:182;
in:18 out:18 type:2 q:320 itex:13070 ptex:74284 mv:8636 misc:3868 fcode:4 bcode:1 mc-var:36255 var:429970 icount:170 skipcount:15 hbits:182;
in:19 out:19 type:2 q:319 itex:9049 ptex:53626 mv:8347 misc:3660 fcode:4 bcode:1 mc-var:23030 var:389517 icount:105 skipcount:33 hbits:182;
in:20 out:20 type:2 q:316 itex:5936 ptex:61567 mv:8269 misc:3726 fcode:4 bcode:1 mc-var:17895 var:393739 icount:114 skipcount:14 hbits:182;
in:21 out:21 type:2 q:313 itex:6899 ptex:58926 mv:9064 misc:3777 fcode:5 bcode:1 mc-var:13444 var:380138 icount:135 skipcount:22 hbits:182;
in:22 out:22 type:2 q:316 itex:6080 ptex:59898 mv:8428 misc:3780 fcode:4 bcode:1 mc-var:13548 var:396169 icount:132 skipcount:28 hbits:182;
in:23 out:23 type:2 q:325 itex:6580 ptex:64447 mv:8335 misc:3760 fcode:4 bcode:1 mc-var:19286 var:373727 icount:124 skipcount:35 hbits:182;
in:24 out:24 type:2 q:337 itex:10484 ptex:60591 mv:8022 misc:3721 fcode:4 bcode:1 mc-var:28457 var:385951 icount:119 skipcount:51 hbits:182;
in:25 out:25 type:2 q:349 itex:11225 ptex:51425 mv:7086 misc:3730 fcode:3 bcode:1 mc-var:44243 var:415377 icount:109 skipcount:68 hbits:182;
in:26 out:26 type:2 q:345 itex:10892 ptex:54951 mv:7128 misc:3703 fcode:3 bcode:1 mc-var:38552 var:397876 icount:82 skipcount:62 hbits:182;
in:27 out:27 type:2 q:334 itex:8544 ptex:60463 mv:7130 misc:3569 fcode:4 bcode:1 mc-var:24979 var:405492 icount:81 skipcount:97 hbits:182;
in:28 out:28 type:2 q:340 itex:10578 ptex:71605 mv:6596 misc:3471 fcode:3 bcode:1 mc-var:37266 var:433668 icount:69 skipcount:120 hbits:182;
in:29 out:29 type:2 q:355 itex:16896 ptex:73306 mv:6220 misc:3580 fcode:2 bcode:1 mc-var:57671 var:454963 icount:96 skipcount:125 hbits:182;
in:30 out:30 type:1 q:297 itex:170391 ptex:0 mv:0 misc:3019 fcode:2 bcode:1 mc-var:0 var:442378 icount:972 skipcount:0 hbits:414;
in:31 out:31 type:2 q:375 itex:20360 ptex:73381 mv:6919 misc:3526 fcode:4 bcode:1 mc-var:83242 var:425185 icount:64 skipcount:148 hbits:182;
in:32 out:32 type:2 q:377 itex:18279 ptex:76701 mv:7071 misc:3535 fcode:4 bcode:1 mc-var:66664 var:471361 icount:67 skipcount:137 hbits:182;
in:33 out:33 type:2 q:377 itex:20694 ptex:78050 mv:6505 misc:3497 fcode:3 bcode:1 mc-var:55646 var:441635 icount:72 skipcount:148 hbits:182;
in:34 out:34 type:2 q:392 itex:19885 ptex:81718 mv:6889 misc:3502 fcode:3 bcode:1 mc-var:73534 var:479400 icount:67 skipcount:118 hbits:182;
in:35 out:35 type:2 q:411 itex:22047 ptex:86077 mv:6435 misc:3491 fcode:3 bcode:1 mc-var:98125 var:495742 icount:72 skipcount:123 hbits:182;
in:36 out:36 type:2 q:417 itex:17416 ptex:58608 mv:6702 misc:3612 fcode:3 bcode:1 mc-var:86648 var:514643 icount:63 skipcount:134 hbits:182;
in:37 out:37 type:2 q:407 itex:16619 ptex:106865 mv:7060 misc:3338 fcode:3 bcode:1 mc-var:75242 var:482705 icount:59 skipcount:116 hbits:182;
in:38 out:38 type:2 q:432 itex:12220 ptex:85052 mv:7373 misc:3461 fcode:3 bcode:1 mc-var:102172 var:514625 icount:60 skipcount:113 hbits:182;
in:39 out:39 type:2 q:449 itex:21066 ptex:89425 mv:7434 misc:3437 fcode:3 bcode:1 mc-var:128912 var:512238 icount:91 skipcount:102 hbits:182;
in:40 out:40 type:2 q:465 itex:20512 ptex:81850 mv:7569 misc:3487 fcode:3 bcode:1 mc-var:149602 var:549027 icount:82 skipcount:96 hbits:182;
in:41 out:41 type:2 q:473 itex:23113 ptex:109586 mv:7705 misc:3502 fcode:3 bcode:1 mc-var:158363 var:625396 icount:93 skipcount:64 hbits:182;
in:42 out:42 type:2 q:489 itex:19144 ptex:141808 mv:7762 misc:3480 fcode:3 bcode:1 mc-var:152262 var:701846 icount:94 skipcount:37 hbits:182;
in:43 out:43 type:2 q:519 itex:19603 ptex:142929 mv:7763 misc:3459 fcode:3 bcode:1 mc-var:141741 var:767977 icount:90 skipcount:19 hbits:182;
in:44 out:44 type:2 q:561 itex:22134 ptex:109944 mv:7302 misc:3590 fcode:3 bcode:1 mc-var:150338 var:821282 icount:89 skipcount:12 hbits:182;
in:45 out:45 type:1 q:484 itex:316020 ptex:0 mv:0 misc:3014 fcode:3 bcode:1 mc-var:0 var:792837 icount:972 skipcount:0 hbits:414;
in:46 out:46 type:2 q:600 itex:24003 ptex:128652 mv:7403 misc:3624 fcode:3 bcode:1 mc-var:158072 var:891683 icount:80 skipcount:13 hbits:182;
in:47 out:47 type:2 q:657 itex:26735 ptex:116223 mv:6388 misc:3680 fcode:2 bcode:1 mc-var:188469 var:956990 icount:92 skipcount:28 hbits:182;
in:48 out:48 type:2 q:702 itex:27439 ptex:122240 mv:6094 misc:3589 fcode:2 bcode:1 mc-var:204174 var:950072 icount:98 skipcount:21 hbits:182;
in:49 out:49 type:2 q:757 itex:26713 ptex:130759 mv:7030 misc:3532 fcode:3 bcode:1 mc-var:237928 var:1055006 icount:96 skipcount:16 hbits:182;
in:50 out:50 type:2 q:805 itex:25444 ptex:105901 mv:6970 misc:3599 fcode:3 bcode:1 mc-var:231916 var:1093363 icount:99 skipcount:4 hbits:182;
in:51 out:51 type:2 q:848 itex:30875 ptex:130144 mv:6687 misc:3616 fcode:3 bcode:1 mc-var:270540 var:1085884 icount:101 skipcount:12 hbits:182;
in:52 out:52 type:2 q:898 itex:23273 ptex:96547 mv:6676 misc:3650 fcode:3 bcode:1 mc-var:256533 var:1146297 icount:84 skipcount:16 hbits:182;
in:53 out:53 type:2 q:902 itex:16721 ptex:88159 mv:5800 misc:3586 fcode:2 bcode:1 mc-var:228018 var:1132556 icount:74 skipcount:12 hbits:182;
in:54 out:54 type:2 q:877 itex:16173 ptex:110956 mv:6763 misc:3470 fcode:3 bcode:1 mc-var:192342 var:1117621 icount:65 skipcount:14 hbits:182;
in:55 out:55 type:2 q:887 itex:12866 ptex:82971 mv:6926 misc:3543 fcode:3 bcode:1 mc-var:172414 var:1045346 icount:62 skipcount:11 hbits:182;
in:56 out:56 type:2 q:905 itex:14369 ptex:92081 mv:6566 misc:3530 fcode:3 bcode:1 mc-var:208027 var:1128366 icount:66 skipcount:15 hbits:182;
in:57 out:57 type:2 q:924 itex:14581 ptex:83672 mv:6006 misc:3575 fcode:2 bcode:1 mc-var:222428 var:1136226 icount:64 skipcount:12 hbits:182;
in:58 out:58 type:2 q:943 itex:17503 ptex:96736 mv:6726 misc:3605 fcode:3 bcode:1 mc-var:254649 var:1185101 icount:76 skipcount:11 hbits:182;
in:59 out:59 type:2 q:979 itex:16217 ptex:89149 mv:7162 misc:3554 fcode:3 bcode:1 mc-var:276258 var:1168011 icount:74 skipcount:16 hbits:182;
in:60 out:60 type:1 q:812 itex:295812 ptex:0 mv:0 misc:3014 fcode:3 bcode:1 mc-var:0 var:1208479 icount:972 skipcount:0 hbits:414;
in:61 out:61 type:2 q:1017 itex:12083 ptex:82354 mv:6067 misc:3586 fcode:2 bcode:1 mc-var:261338 var:1201540 icount:49 skipcount:15 hbits:182;
in:62 out:62 type:2 q:1020 itex:11742 ptex:79292 mv:6799 misc:3497 fcode:3 bcode:1 mc-var:237545 var:1239212 icount:53 skipcount:14 hbits:182;
in:63 out:63 type:2 q:1051 itex:17706 ptex:93200 mv:6302 misc:3554 fcode:2 bcode:1 mc-var:284616 var:1266507 icount:97 skipcount:18 hbits:182;
in:64 out:64 type:2 q:1084 itex:12781 ptex:88559 mv:7080 misc:3454 fcode:3 bcode:1 mc-var:266320 var:1275923 icount:54 skipcount:17 hbits:182;
in:65 out:65 type:2 q:1113 itex:12575 ptex:86659 mv:6338 misc:3470 fcode:2 bcode:1 mc-var:265660 var:1317404 icount:56 skipcount:9 hbits:182;
in:66 out:66 type:2 q:1136 itex:9531 ptex:85783 mv:6968 misc:3488 fcode:3 bcode:1 mc-var:263180 var:1364323 icount:49 skipcount:17 hbits:182;
in:67 out:67 type:2 q:1162 itex:12459 ptex:88581 mv:6454 misc:3492 fcode:2 bcode:1 mc-var:277908 var:1330394 icount:71 skipcount:16 hbits:182;
in:68 out:68 type:2 q:1186 itex:13490 ptex:81489 mv:6938 misc:3445 fcode:3 bcode:1 mc-var:268542 var:1330289 icount:65 skipcount:18 hbits:182;
in:69 out:69 type:2 q:1191 itex:12797 ptex:79421 mv:6276 misc:3588 fcode:2 bcode:1 mc-var:244715 var:1308850 icount:74 skipcount:13 hbits:182;
in:70 out:70 type:2 q:1173 itex:8814 ptex:83830 mv:6341 misc:3465 fcode:2 bcode:1 mc-var:196900 var:1309643 icount:59 skipcount:15 hbits:182;
in:71 out:71 type:2 q:1241 itex:15087 ptex:71718 mv:6138 misc:3603 fcode:2 bcode:1 mc-var:281251 var:1280329 icount:73 skipcount:18 hbits:182;
in:72 out:72 type:2 q:1263 itex:16900 ptex:75952 mv:5964 misc:3586 fcode:2 bcode:1 mc-var:293460 var:1347895 icount:76 skipcount:13 hbits:182;
in:73 out:73 type:2 q:1287 itex:18726 ptex:72397 mv:6126 misc:3545 fcode:2 bcode:1 mc-var:308071 var:1320391 icount:75 skipcount:15 hbits:182;
in:74 out:74 type:2 q:1302 itex:19219 ptex:72979 mv:6038 misc:3502 fcode:2 bcode:1 mc-var:308616 var:1295588 icount:81 skipcount:13 hbits:182;
in:75 out:75 type:1 q:1053 itex:262329 ptex:0 mv:0 misc:3017 fcode:2 bcode:1 mc-var:0 var:1284475 icount:972 skipcount:0 hbits:414;
in:76 out:76 type:2 q:1314 itex:15717 ptex:69727 mv:5633 misc:3637 fcode:2 bcode:1 mc-var:250454 var:1262111 icount:63 skipcount:18 hbits:182;
in:77 out:77 type:2 q:1339 itex:15221 ptex:69642 mv:5757 misc:3598 fcode:2 bcode:1 mc-var:258753 var:1250188 icount:66 skipcount:22 hbits:182;
in:78 out:78 type:2 q:1368 itex:14512 ptex:62167 mv:5952 misc:3611 fcode:2 bcode:1 mc-var:274000 var:1260321 icount:68 skipcount:16 hbits:182;
in:79 out:79 type:2 q:1368 itex:15133 ptex:62953 mv:5854 misc:3646 fcode:2 bcode:1 mc-var:270618 var:1265930 icount:68 skipcount:16 hbits:182;
in:80 out:80 type:2 q:1359 itex:13783 ptex:63503 mv:5797 misc:3631 fcode:2 bcode:1 mc-var:253930 var:1232142 icount:70 skipcount:18 hbits:182;
in:81 out:81 type:2 q:1365 itex:14102 ptex:65544 mv:5843 misc:3657 fcode:2 bcode:1 mc-var:261756 var:1256547 icount:73 skipcount:12 hbits:182;
in:82 out:82 type:2 q:1388 itex:13359 ptex:68204 mv:5763 misc:3620 fcode:2 bcode:1 mc-var:283585 var:1227667 icount:70 skipcount:8 hbits:182;
in:83 out:83 type:2 q:1390 itex:12069 ptex:64011 mv:5644 misc:3630 fcode:2 bcode:1 mc-var:259094 var:1219801 icount:67 skipcount:19 hbits:182;
in:84 out:84 type:2 q:1404 itex:16013 ptex:62687 mv:5673 misc:3621 fcode:2 bcode:1 mc-var:280722 var:1226911 icount:79 skipcount:11 hbits:182;
in:85 out:85 type:2 q:1401 itex:15793 ptex:62294 mv:5630 misc:3605 fcode:2 bcode:1 mc-var:259661 var:1219087 icount:74 skipcount:6 hbits:182;
in:86 out:86 type:2 q:1409 itex:16653 ptex:60187 mv:5446 misc:3724 fcode:2 bcode:1 mc-var:261327 var:1160335 icount:85 skipcount:13 hbits:182;
in:87 out:87 type:2 q:1424 itex:18119 ptex:59118 mv:5380 misc:3609 fcode:2 bcode:1 mc-var:274766 var:1157101 icount:84 skipcount:10 hbits:182;
in:88 out:88 type:2 q:1439 itex:19215 ptex:65610 mv:5378 misc:3615 fcode:2 bcode:1 mc-var:287064 var:1183893 icount:90 skipcount:6 hbits:182;
in:89 out:89 type:2 q:1448 itex:16110 ptex:72841 mv:4593 misc:3554 fcode:1 bcode:1 mc-var:259525 var:1197600 icount:70 skipcount:14 hbits:182;
in:90 out:90 type:1 q:1165 itex:256315 ptex:0 mv:0 misc:3047 fcode:1 bcode:1 mc-var:0 var:1195232 icount:972 skipcount:0 hbits:414;
in:91 out:91 type:2 q:1504 itex:13703 ptex:50509 mv:4092 misc:3762 fcode:1 bcode:1 mc-var:249134 var:1159404 icount:61 skipcount:29 hbits:182;
in:92 out:92 type:2 q:1484 itex:8607 ptex:65222 mv:3977 misc:3524 fcode:1 bcode:1 mc-var:231988 var:1181973 icount:43 skipcount:27 hbits:182;
in:93 out:93 type:2 q:1472 itex:5892 ptex:82547 mv:3824 misc:3459 fcode:1 bcode:1 mc-var:209878 var:1207940 icount:32 skipcount:12 hbits:182;
in:94 out:94 type:2 q:1490 itex:2964 ptex:66433 mv:3770 misc:3491 fcode:1 bcode:1 mc-var:178990 var:1207221 icount:27 skipcount:25 hbits:182;
in:95 out:95 type:2 q:1474 itex:2747 ptex:65180 mv:3793 misc:3498 fcode:1 bcode:1 mc-var:160663 var:1207261 icount:20 skipcount:16 hbits:182;
in:96 out:96 type:2 q:1464 itex:3382 ptex:75883 mv:3869 misc:3436 fcode:1 bcode:1 mc-var:157175 var:1204814 icount:25 skipcount:7 hbits:182;
in:97 out:97 type:2 q:1478 itex:3739 ptex:56208 mv:3789 misc:3530 fcode:1 bcode:1 mc-var:145881 var:1189915 icount:27 skipcount:11 hbits:182;
in:98 out:98 type:2 q:1465 itex:4882 ptex:63945 mv:3748 misc:3467 fcode:1 bcode:1 mc-var:152455 var:1164944 icount:35 skipcount:7 hbits:182;
in:99 out:99 type:2 q:1453 itex:4510 ptex:63413 mv:3898 misc:3461 fcode:1 bcode:1 mc-var:143006 var:1156455 icount:32 skipcount:11 hbits:182;
in:100 out:100 type:2 q:1458 itex:3978 ptex:66459 mv:3755 misc:3378 fcode:1 bcode:1 mc-var:147379 var:1141358 icount:29 skipcount:15 hbits:182;
in:101 out:101 type:2 q:1469 itex:2803 ptex:66156 mv:3555 misc:3400 fcode:1 bcode:1 mc-var:148777 var:1134289 icount:18 skipcount:23 hbits:182;
in:102 out:102 type:2 q:1472 itex:722 ptex:68458 mv:3373 misc:3313 fcode:1 bcode:1 mc-var:147885 var:1132573 icount:5 skipcount:31 hbits:182;
in:103 out:103 type:2 q:1446 itex:304 ptex:68923 mv:3313 misc:3334 fcode:1 bcode:1 mc-var:123608 var:1130839 icount:4 skipcount:27 hbits:182;
in:104 out:104 type:2 q:1480 itex:199 ptex:58844 mv:3199 misc:3424 fcode:1 bcode:1 mc-var:151333 var:1120724 icount:2 skipcount:45 hbits:182;
in:105 out:105 type:1 q:1211 itex:249882 ptex:0 mv:0 misc:3024 fcode:1 bcode:1 mc-var:0 var:1105375 icount:972 skipcount:0 hbits:414;
in:106 out:106 type:2 q:1471 itex:129 ptex:61936 mv:2875 misc:3358 fcode:1 bcode:1 mc-var:136198 var:1096762 icount:1 skipcount:76 hbits:182;
in:107 out:107 type:2 q:1476 itex:133 ptex:57948 mv:2806 misc:3403 fcode:1 bcode:1 mc-var:145146 var:1095524 icount:1 skipcount:101 hbits:182;
in:108 out:108 type:2 q:1465 itex:1230 ptex:71848 mv:3171 misc:3297 fcode:1 bcode:1 mc-var:149679 var:1081081 icount:8 skipcount:48 hbits:182;
in:109 out:109 type:2 q:1456 itex:1602 ptex:65672 mv:3186 misc:3342 fcode:1 bcode:1 mc-var:119957 var:1062694 icount:12 skipcount:27 hbits:182;
in:110 out:110 type:2 q:1452 itex:1296 ptex:60836 mv:3326 misc:3344 fcode:1 bcode:1 mc-var:109119 var:1052978 icount:10 skipcount:34 hbits:182;
in:111 out:111 type:2 q:1470 itex:325 ptex:58929 mv:3320 misc:3356 fcode:1 bcode:1 mc-var:121800 var:1050153 icount:3 skipcount:26 hbits:182;
in:112 out:112 type:2 q:1469 itex:765 ptex:60972 mv:2739 misc:3446 fcode:1 bcode:1 mc-var:128101 var:1048324 icount:7 skipcount:72 hbits:182;
in:113 out:113 type:2 q:1406 itex:57 ptex:48561 mv:1623 misc:3601 fcode:1 bcode:1 mc-var:89417 var:1047722 icount:1 skipcount:124 hbits:182;
in:114 out:114 type:2 q:1367 itex:77 ptex:54086 mv:1870 misc:3585 fcode:1 bcode:1 mc-var:99056 var:1053082 icount:1 skipcount:118 hbits:182;
in:115 out:115 type:2 q:1363 itex:113 ptex:60121 mv:2217 misc:3463 fcode:1 bcode:1 mc-var:114513 var:1051364 icount:2 skipcount:95 hbits:182;
in:116 out:116 type:2 q:1401 itex:470 ptex:68995 mv:3299 misc:3294 fcode:1 bcode:1 mc-var:145909 var:1046534 icount:5 skipcount:37 hbits:182;
in:117 out:117 type:2 q:1426 itex:156 ptex:67116 mv:3184 misc:3338 fcode:1 bcode:1 mc-var:141325 var:1047678 icount:3 skipcount:40 hbits:182;
in:118 out:118 type:2 q:1449 itex:201 ptex:71982 mv:3709 misc:3286 fcode:1 bcode:1 mc-var:147031 var:1049844 icount:2 skipcount:32 hbits:182;
in:119 out:119 type:2 q:1475 itex:99 ptex:57281 mv:3438 misc:3352 fcode:1 bcode:1 mc-var:145854 var:1057955 icount:2 skipcount:40 hbits:182;
in:120 out:120 type:1 q:1201 itex:240735 ptex:0 mv:0 misc:3035 fcode:1 bcode:1 mc-var:0 var:1061111 icount:972 skipcount:0 hbits:414;
in:121 out:121 type:2 q:1471 itex:58 ptex:60716 mv:3409 misc:3395 fcode:1 bcode:1 mc-var:135642 var:1070393 icount:1 skipcount:35 hbits:182;
in:122 out:122 type:2 q:1481 itex:44 ptex:57574 mv:3552 misc:3392 fcode:1 bcode:1 mc-var:144452 var:1084394 icount:1 skipcount:35 hbits:182;
in:123 out:123 type:2 q:1467 itex:51 ptex:69937 mv:3032 misc:3366 fcode:1 bcode:1 mc-var:139065 var:1088869 icount:1 skipcount:54 hbits:182;
in:124 out:124 type:2 q:1492 itex:0 ptex:57935 mv:3100 misc:3391 fcode:1 bcode:1 mc-var:141265 var:1098399 icount:0 skipcount:59 hbits:182;
in:125 out:125 type:2 q:1477 itex:0 ptex:63833 mv:3463 misc:3322 fcode:1 bcode:1 mc-var:135332 var:1103592 icount:0 skipcount:45 hbits:182;
in:126 out:126 type:2 q:1478 itex:165 ptex:63065 mv:3385 misc:3347 fcode:1 bcode:1 mc-var:133667 var:1104023 icount:3 skipcount:42 hbits:182;
in:127 out:127 type:2 q:1484 itex:181 ptex:61049 mv:3395 misc:3385 fcode:1 bcode:1 mc-var:135596 var:1105432 icount:2 skipcount:50 hbits:182;
in:128 out:128 type:2 q:1491 itex:180 ptex:57979 mv:2933 misc:3430 fcode:1 bcode:1 mc-var:144338 var:1102595 icount:3 skipcount:63 hbits:182;
in:129 out:129 type:2 q:1476 itex:0 ptex:57155 mv:2995 misc:3428 fcode:1 bcode:1 mc-var:144008 var:1100116 icount:0 skipcount:56 hbits:182;
in:130 out:130 type:2 q:1438 itex:86 ptex:67099 mv:2373 misc:3444 fcode:1 bcode:1 mc-var:129470 var:1098086 icount:2 skipcount:83 hbits:182;
in:131 out:131 type:2 q:1432 itex:0 ptex:61156 mv:2560 misc:3446 fcode:1 bcode:1 mc-var:118681 var:1097918 icount:0 skipcount:84 hbits:182;
in:132 out:132 type:2 q:1425 itex:132 ptex:59894 mv:2329 misc:3407 fcode:1 bcode:1 mc-var:115832 var:1088802 icount:1 skipcount:114 hbits:182;
in:133 out:133 type:2 q:1403 itex:288 ptex:60044 mv:2203 misc:3483 fcode:1 bcode:1 mc-var:105100 var:1086127 icount:2 skipcount:113 hbits:182;
in:134 out:134 type:2 q:1405 itex:133 ptex:63303 mv:2434 misc:3476 fcode:1 bcode:1 mc-var:111200 var:1092626 icount:1 skipcount:90 hbits:182;
in:135 out:135 type:1 q:1126 itex:243986 ptex:0 mv:0 misc:3024 fcode:1 bcode:1 mc-var:0 var:1095285 icount:972 skipcount:0 hbits:414;
in:136 out:136 type:2 q:1389 itex:50 ptex:43847 mv:1691 misc:3582 fcode:1 bcode:1 mc-var:82621 var:1096481 icount:1 skipcount:208 hbits:182;
in:137 out:137 type:2 q:1367 itex:0 ptex:51982 mv:1881 misc:3491 fcode:1 bcode:1 mc-var:96719 var:1098344 icount:0 skipcount:186 hbits:182;
in:138 out:138 type:2 q:1391 itex:80 ptex:56907 mv:2659 misc:3332 fcode:1 bcode:1 mc-var:126080 var:1097102 icount:2 skipcount:128 hbits:182;
in:139 out:139 type:2 q:1391 itex:636 ptex:61560 mv:3173 misc:3329 fcode:1 bcode:1 mc-var:123384 var:1095478 icount:5 skipcount:58 hbits:182;
in:140 out:140 type:2 q:1404 itex:2054 ptex:59339 mv:3421 misc:3452 fcode:1 bcode:1 mc-var:121776 var:1096492 icount:15 skipcount:24 hbits:182;
in:141 out:141 type:2 q:1453 itex:3780 ptex:60573 mv:3909 misc:3500 fcode:1 bcode:1 mc-var:151612 var:1102411 icount:26 skipcount:21 hbits:182;
in:142 out:142 type:2 q:1472 itex:4180 ptex:65357 mv:4085 misc:3444 fcode:1 bcode:1 mc-var:148644 var:1100332 icount:28 skipcount:20 hbits:182;
in:143 out:143 type:2 q:1506 itex:2935 ptex:50292 mv:4478 misc:3577 fcode:2 bcode:1 mc-var:155021 var:1084314 icount:26 skipcount:18 hbits:182;
in:144 out:144 type:2 q:1457 itex:3683 ptex:59663 mv:4139 misc:3493 fcode:2 bcode:1 mc-var:130054 var:1069195 icount:28 skipcount:15 hbits:182;
in:145 out:145 type:2 q:1463 itex:3615 ptex:59296 mv:4233 misc:3458 fcode:2 bcode:1 mc-var:137226 var:1056574 icount:26 skipcount:24 hbits:182;
in:146 out:146 type:2 q:1478 itex:2478 ptex:51800 mv:4414 misc:3502 fcode:2 bcode:1 mc-var:145076 var:1058375 icount:18 skipcount:24 hbits:182;
in:147 out:147 type:2 q:1469 itex:4196 ptex:65810 mv:4359 misc:3405 fcode:2 bcode:1 mc-var:156315 var:1059378 icount:27 skipcount:25 hbits:182;
in:148 out:148 type:2 q:1475 itex:3910 ptex:52957 mv:3716 misc:3491 fcode:1 bcode:1 mc-var:142673 var:1058415 icount:26 skipcount:33 hbits:182;
in:149 out:149 type:2 q:1464 itex:3821 ptex:65901 mv:3840 misc:3424 fcode:1 bcode:1 mc-var:148701 var:1062933 icount:23 skipcount:25 hbits:182;
in:150 out:150 type:1 q:1162 itex:234571 ptex:0 mv:0 misc:3023 fcode:1 bcode:1 mc-var:0 var:1071855 icount:972 skipcount:0 hbits:414;
in:151 out:151 type:2 q:1466 itex:2847 ptex:60286 mv:3670 misc:3479 fcode:1 bcode:1 mc-var:117694 var:1071245 icount:16 skipcount:40 hbits:182;
in:152 out:152 type:2 q:1495 itex:1424 ptex:52227 mv:3514 misc:3525 fcode:1 bcode:1 mc-var:128670 var:1057720 icount:8 skipcount:42 hbits:182;
in:153 out:153 type:2 q:1508 itex:2327 ptex:56085 mv:3803 misc:3467 fcode:1 bcode:1 mc-var:153209 var:1049063 icount:19 skipcount:51 hbits:182;
in:154 out:154 type:2 q:1526 itex:2329 ptex:60091 mv:3705 misc:3453 fcode:1 bcode:1 mc-var:177092 var:1045242 icount:14 skipcount:47 hbits:182;
in:155 out:155 type:2 q:1508 itex:1348 ptex:59926 mv:2896 misc:3488 fcode:1 bcode:1 mc-var:156823 var:1048555 icount:4 skipcount:97 hbits:182;
in:156 out:156 type:2 q:1479 itex:623 ptex:52581 mv:2272 misc:3518 fcode:1 bcode:1 mc-var:138667 var:1042407 icount:2 skipcount:125 hbits:182;
in:157 out:157 type:2 q:1477 itex:971 ptex:59917 mv:3205 misc:3381 fcode:1 bcode:1 mc-var:169476 var:1042862 icount:6 skipcount:83 hbits:182;
in:158 out:158 type:2 q:1462 itex:537 ptex:73152 mv:3748 misc:3261 fcode:1 bcode:1 mc-var:157265 var:1040991 icount:2 skipcount:54 hbits:182;
in:159 out:159 type:2 q:1487 itex:2392 ptex:57496 mv:3703 misc:3379 fcode:1 bcode:1 mc-var:149226 var:1037886 icount:11 skipcount:33 hbits:182;
in:160 out:160 type:2 q:1508 itex:1954 ptex:60198 mv:3994 misc:3352 fcode:1 bcode:1 mc-var:171132 var:1031190 icount:10 skipcount:28 hbits:182;
in:161 out:161 type:2 q:1510 itex:1967 ptex:62323 mv:3964 misc:3380 fcode:1 bcode:1 mc-var:173079 var:1023575 icount:10 skipcount:28 hbits:182;
in:162 out:162 type:2 q:1520 itex:1837 ptex:61333 mv:3950 misc:3354 fcode:1 bcode:1 mc-var:181621 var:1023135 icount:6 skipcount:26 hbits:182;
in:163 out:163 type:2 q:1508 itex:1960 ptex:61555 mv:3921 misc:3398 fcode:1 bcode:1 mc-var:171518 var:1021749 icount:7 skipcount:23 hbits:182;
in:164 out:164 type:2 q:1479 itex:220 ptex:59562 mv:3780 misc:3376 fcode:1 bcode:1 mc-var:146813 var:1023321 icount:3 skipcount:39 hbits:182;
in:165 out:165 type:1 q:1159 itex:233691 ptex:0 mv:0 misc:3047 fcode:1 bcode:1 mc-var:0 var:1019536 icount:972 skipcount:0 hbits:414;
in:166 out:166 type:2 q:1468 itex:0 ptex:59333 mv:2866 misc:3419 fcode:1 bcode:1 mc-var:131910 var:1019426 icount:0 skipcount:89 hbits:182;
in:167 out:167 type:2 q:1451 itex:52 ptex:62277 mv:2339 misc:3422 fcode:1 bcode:1 mc-var:119360 var:1021543 icount:1 skipcount:141 hbits:182;
in:168 out:168 type:2 q:1457 itex:272 ptex:62409 mv:2718 misc:3451 fcode:1 bcode:1 mc-var:119219 var:1016453 icount:3 skipcount:98 hbits:182;
in:169 out:169 type:2 q:1459 itex:160 ptex:60147 mv:2174 misc:3505 fcode:1 bcode:1 mc-var:112716 var:1016432 icount:2 skipcount:132 hbits:182;
in:170 out:170 type:2 q:1458 itex:0 ptex:60536 mv:2250 misc:3440 fcode:1 bcode:1 mc-var:111695 var:1016166 icount:0 skipcount:125 hbits:182;
in:171 out:171 type:2 q:1457 itex:96 ptex:60963 mv:2222 misc:3473 fcode:1 bcode:1 mc-var:111438 var:1014692 icount:1 skipcount:131 hbits:182;
in:172 out:172 type:2 q:1434 itex:51 ptex:51445 mv:1826 misc:3472 fcode:1 bcode:1 mc-var:96677 var:1014082 icount:1 skipcount:160 hbits:182;
in:173 out:173 type:2 q:1414 itex:1432 ptex:49906 mv:2179 misc:3485 fcode:1 bcode:1 mc-var:104545 var:1017406 icount:12 skipcount:139 hbits:182;
in:174 out:174 type:2 q:1410 itex:483 ptex:56062 mv:2793 misc:3376 fcode:1 bcode:1 mc-var:123916 var:1018663 icount:4 skipcount:89 hbits:182;
in:175 out:175 type:2 q:1399 itex:60 ptex:55294 mv:3083 misc:3389 fcode:1 bcode:1 mc-var:123235 var:1019144 icount:1 skipcount:66 hbits:182;
in:176 out:176 type:2 q:1377 itex:322 ptex:58030 mv:2979 misc:3375 fcode:1 bcode:1 mc-var:116482 var:1015671 icount:4 skipcount:64 hbits:182;
in:177 out:177 type:2 q:1373 itex:108 ptex:54777 mv:2632 misc:3373 fcode:1 bcode:1 mc-var:117038 var:1014299 icount:1 skipcount:83 hbits:182;
in:178 out:178 type:2 q:1344 itex:66 ptex:70439 mv:2524 misc:3381 fcode:1 bcode:1 mc-var:105985 var:1016460 icount:1 skipcount:65 hbits:182;
in:179 out:179 type:2 q:1383 itex:61 ptex:54995 mv:2628 misc:3446 fcode:1 bcode:1 mc-var:111760 var:1021424 icount:1 skipcount:91 hbits:182;
in:180 out:180 type:1 q:1138 itex:236570 ptex:0 mv:0 misc:3024 fcode:1 bcode:1 mc-var:0 var:1023926 icount:972 skipcount:0 hbits:414;
in:181 out:181 type:2 q:1380 itex:0 ptex:48741 mv:2358 misc:3511 fcode:1 bcode:1 mc-var:100525 var:1023617 icount:0 skipcount:141 hbits:182;
in:182 out:182 type:2 q:1347 itex:0 ptex:62451 mv:1826 misc:3549 fcode:1 bcode:1 mc-var:96169 var:1020776 icount:0 skipcount:126 hbits:182;
in:183 out:183 type:2 q:1345 itex:0 ptex:55533 mv:1813 misc:3592 fcode:1 bcode:1 mc-var:86797 var:1019019 icount:0 skipcount:128 hbits:182;
in:184 out:184 type:2 q:1344 itex:50 ptex:59523 mv:1931 misc:3538 fcode:1 bcode:1 mc-var:88268 var:1016392 icount:1 skipcount:116 hbits:182;
in:185 out:185 type:2 q:1356 itex:41 ptex:49047 mv:1981 misc:3517 fcode:1 bcode:1 mc-var:90297 var:1014437 icount:1 skipcount:164 hbits:182;
in:186 out:186 type:2 q:1339 itex:79 ptex:67187 mv:2117 misc:3555 fcode:1 bcode:1 mc-var:94740 var:1009864 icount:1 skipcount:78 hbits:182;
in:187 out:187 type:2 q:1360 itex:57 ptex:51456 mv:2022 misc:3571 fcode:1 bcode:1 mc-var:91730 var:1000888 icount:1 skipcount:116 hbits:182;
in:188 out:188 type:2 q:1354 itex:0 ptex:66949 mv:2536 misc:3469 fcode:1 bcode:1 mc-var:98866 var:994238 icount:0 skipcount:55 hbits:182;
in:189 out:189 type:2 q:1374 itex:0 ptex:49570 mv:2810 misc:3542 fcode:1 bcode:1 mc-var:96669 var:996592 icount:0 skipcount:58 hbits:182;
in:190 out:190 type:2 q:1373 itex:449 ptex:53311 mv:2883 misc:3423 fcode:1 bcode:1 mc-var:114071 var:994692 icount:3 skipcount:66 hbits:182;
in:191 out:191 type:2 q:1355 itex:224 ptex:73002 mv:3002 misc:3406 fcode:1 bcode:1 mc-var:114912 var:996514 icount:3 skipcount:41 hbits:182;
in:192 out:192 type:2 q:1388 itex:201 ptex:58961 mv:2947 misc:3485 fcode:1 bcode:1 mc-var:112916 var:999039 icount:1 skipcount:69 hbits:182;
in:193 out:193 type:2 q:1409 itex:63 ptex:61309 mv:2980 misc:3434 fcode:1 bcode:1 mc-var:128384 var:1005104 icount:1 skipcount:65 hbits:182;
in:194 out:194 type:2 q:1411 itex:450 ptex:65289 mv:3223 misc:3416 fcode:1 bcode:1 mc-var:130726 var:1009952 icount:3 skipcount:57 hbits:182;
in:195 out:195 type:1 q:1131 itex:234764 ptex:0 mv:0 misc:3022 fcode:1 bcode:1 mc-var:0 var:1016082 icount:972 skipcount:0 hbits:414;
in:196 out:196 type:2 q:1422 itex:0 ptex:57899 mv:3080 misc:3535 fcode:1 bcode:1 mc-var:117114 var:1022225 icount:0 skipcount:67 hbits:182;
in:197 out:197 type:2 q:1428 itex:93 ptex:63136 mv:2883 misc:3498 fcode:1 bcode:1 mc-var:124032 var:1026366 icount:1 skipcount:103 hbits:182;
in:198 out:198 type:2 q:1420 itex:43 ptex:58621 mv:2337 misc:3529 fcode:1 bcode:1 mc-var:112396 var:1030390 icount:1 skipcount:103 hbits:182;
in:199 out:199 type:2 q:1413 itex:0 ptex:59996 mv:2331 misc:3563 fcode:1 bcode:1 mc-var:113979 var:1032767 icount:0 skipcount:112 hbits:182;
in:200 out:200 type:2 q:1410 itex:0 ptex:59513 mv:2303 misc:3474 fcode:1 bcode:1 mc-var:115301 var:1034694 icount:0 skipcount:110 hbits:182;
in:201 out:201 type:2 q:1393 itex:98 ptex:55717 mv:2332 misc:3583 fcode:1 bcode:1 mc-var:107737 var:1035284 icount:2 skipcount:109 hbits:182;
in:202 out:202 type:2 q:1398 itex:58 ptex:57920 mv:2903 misc:3441 fcode:1 bcode:1 mc-var:125439 var:1038769 icount:1 skipcount:102 hbits:182;
in:203 out:203 type:2 q:1395 itex:0 ptex:64401 mv:2949 misc:3412 fcode:1 bcode:1 mc-var:130230 var:1038261 icount:0 skipcount:78 hbits:182;
in:204 out:204 type:2 q:1422 itex:155 ptex:67156 mv:3537 misc:3362 fcode:1 bcode:1 mc-var:145656 var:1042647 icount:3 skipcount:60 hbits:182;
in:205 out:205 type:2 q:1415 itex:125 ptex:65337 mv:3606 misc:3350 fcode:1 bcode:1 mc-var:124918 var:1045806 icount:2 skipcount:36 hbits:182;
in:206 out:206 type:2 q:1426 itex:323 ptex:61336 mv:3775 misc:3384 fcode:1 bcode:1 mc-var:127339 var:1044456 icount:6 skipcount:31 hbits:182;
in:207 out:207 type:2 q:1429 itex:341 ptex:63123 mv:3766 misc:3340 fcode:1 bcode:1 mc-var:130966 var:1043566 icount:3 skipcount:38 hbits:182;
in:208 out:208 type:2 q:1449 itex:359 ptex:70414 mv:3826 misc:3387 fcode:1 bcode:1 mc-var:147975 var:1050626 icount:5 skipcount:23 hbits:182;
in:209 out:209 type:2 q:1483 itex:497 ptex:57921 mv:3596 misc:3436 fcode:1 bcode:1 mc-var:160910 var:1059806 icount:4 skipcount:51 hbits:182;
in:210 out:210 type:1 q:1214 itex:237850 ptex:0 mv:0 misc:3024 fcode:1 bcode:1 mc-var:0 var:1058247 icount:972 skipcount:0 hbits:414;
in:211 out:211 type:2 q:1464 itex:0 ptex:62276 mv:3429 misc:3417 fcode:1 bcode:1 mc-var:139852 var:1055803 icount:0 skipcount:52 hbits:182;
in:212 out:212 type:2 q:1429 itex:111 ptex:60769 mv:3361 misc:3433 fcode:1 bcode:1 mc-var:114684 var:1053337 icount:2 skipcount:55 hbits:182;
in:213 out:213 type:2 q:1455 itex:443 ptex:66046 mv:3398 misc:3323 fcode:1 bcode:1 mc-var:139978 var:1053001 icount:2 skipcount:66 hbits:182;
in:214 out:214 type:2 q:1453 itex:409 ptex:64109 mv:3803 misc:3361 fcode:1 bcode:1 mc-var:124719 var:1057027 icount:3 skipcount:32 hbits:182;
in:215 out:215 type:2 q:1479 itex:1037 ptex:55382 mv:4023 misc:3440 fcode:1 bcode:1 mc-var:139755 var:1057848 icount:10 skipcount:23 hbits:182;
in:216 out:216 type:2 q:1495 itex:1058 ptex:58782 mv:3885 misc:3421 fcode:1 bcode:1 mc-var:170093 var:1054017 icount:7 skipcount:40 hbits:182;
in:217 out:217 type:2 q:1484 itex:719 ptex:60249 mv:3404 misc:3430 fcode:1 bcode:1 mc-var:170170 var:1052312 icount:5 skipcount:64 hbits:182;
in:218 out:218 type:2 q:1438 itex:115 ptex:67469 mv:3061 misc:3477 fcode:1 bcode:1 mc-var:139638 var:1053668 icount:2 skipcount:52 hbits:182;
in:219 out:219 type:2 q:1441 itex:550 ptex:66593 mv:3178 misc:3457 fcode:1 bcode:1 mc-var:139091 var:1051561 icount:5 skipcount:69 hbits:182;
in:220 out:220 type:2 q:1449 itex:260 ptex:62858 mv:3019 misc:3425 fcode:1 bcode:1 mc-var:136310 var:1058245 icount:3 skipcount:82 hbits:182;
in:221 out:221 type:2 q:1453 itex:0 ptex:66161 mv:3259 misc:3390 fcode:1 bcode:1 mc-var:140856 var:1065980 icount:0 skipcount:73 hbits:182;
in:222 out:222 type:2 q:1470 itex:263 ptex:68750 mv:3455 misc:3398 fcode:1 bcode:1 mc-var:151538 var:1066982 icount:2 skipcount:64 hbits:182;
in:223 out:223 type:2 q:1455 itex:141 ptex:66153 mv:3546 misc:3370 fcode:1 bcode:1 mc-var:127305 var:1055534 icount:2 skipcount:34 hbits:182;
in:224 out:224 type:2 q:1489 itex:945 ptex:60272 mv:4248 misc:3473 fcode:1 bcode:1 mc-var:154840 var:1054406 icount:10 skipcount:23 hbits:182;
in:225 out:225 type:1 q:1218 itex:238472 ptex:0 mv:0 misc:3042 fcode:1 bcode:1 mc-var:0 var:1054556 icount:972 skipcount:0 hbits:414;
in:226 out:226 type:2 q:1490 itex:2548 ptex:48986 mv:4033 misc:3603 fcode:1 bcode:1 mc-var:142863 var:1069715 icount:12 skipcount:11 hbits:182;
in:227 out:227 type:2 q:1443 itex:2981 ptex:61949 mv:3972 misc:3428 fcode:1 bcode:1 mc-var:129968 var:1084621 icount:13 skipcount:9 hbits:182;
in:228 out:228 type:2 q:1459 itex:2527 ptex:61756 mv:3994 misc:3429 fcode:1 bcode:1 mc-var:139328 var:1084838 icount:14 skipcount:8 hbits:182;
in:229 out:229 type:2 q:1505 itex:2360 ptex:56542 mv:4172 misc:3488 fcode:1 bcode:1 mc-var:170805 var:1079910 icount:14 skipcount:11 hbits:182;
in:230 out:230 type:2 q:1498 itex:705 ptex:63199 mv:4338 misc:3456 fcode:1 bcode:1 mc-var:169602 var:1070542 icount:6 skipcount:14 hbits:182;
in:231 out:231 type:2 q:1458 itex:1559 ptex:65587 mv:3500 misc:3404 fcode:1 bcode:1 mc-var:133298 var:1068781 icount:14 skipcount:41 hbits:182;
in:232 out:232 type:2 q:1475 itex:1597 ptex:55107 mv:3695 misc:3499 fcode:1 bcode:1 mc-var:142954 var:1075850 icount:11 skipcount:46 hbits:182;
in:233 out:233 type:2 q:1485 itex:1355 ptex:57578 mv:3633 misc:3468 fcode:1 bcode:1 mc-var:168608 var:1082359 icount:7 skipcount:47 hbits:182;
in:234 out:234 type:2 q:1476 itex:1733 ptex:61241 mv:3629 misc:3431 fcode:1 bcode:1 mc-var:174749 var:1079483 icount:7 skipcount:53 hbits:182;
in:235 out:235 type:2 q:1471 itex:1109 ptex:73720 mv:3343 misc:3342 fcode:1 bcode:1 mc-var:176246 var:1073037 icount:6 skipcount:55 hbits:182;
in:236 out:236 type:2 q:1454 itex:806 ptex:63130 mv:2504 misc:3594 fcode:1 bcode:1 mc-var:134687 var:1071639 icount:5 skipcount:106 hbits:182;
in:237 out:237 type:2 q:1468 itex:490 ptex:69531 mv:3136 misc:3421 fcode:1 bcode:1 mc-var:151153 var:1073538 icount:3 skipcount:84 hbits:182;
in:238 out:238 type:2 q:1456 itex:1104 ptex:58637 mv:2778 misc:3579 fcode:1 bcode:1 mc-var:127396 var:1069839 icount:6 skipcount:89 hbits:182;
in:239 out:239 type:2 q:1467 itex:541 ptex:70928 mv:3051 misc:3466 fcode:1 bcode:1 mc-var:150940 var:1073709 icount:3 skipcount:84 hbits:182;
in:240 out:240 type:1 q:1182 itex:243870 ptex:0 mv:0 misc:3020 fcode:1 bcode:1 mc-var:0 var:1075103 icount:972 skipcount:0 hbits:414;
in:241 out:241 type:2 q:1484 itex:480 ptex:52289 mv:2821 misc:3596 fcode:1 bcode:1 mc-var:131657 var:1074686 icount:1 skipcount:131 hbits:182;
in:242 out:242 type:2 q:1487 itex:531 ptex:60805 mv:3197 misc:3461 fcode:1 bcode:1 mc-var:157247 var:1084093 icount:3 skipcount:96 hbits:182;
in:243 out:243 type:2 q:1474 itex:697 ptex:61927 mv:2825 misc:3505 fcode:1 bcode:1 mc-var:148771 var:1092135 icount:5 skipcount:113 hbits:182;
in:244 out:244 type:2 q:1481 itex:1150 ptex:59477 mv:2938 misc:3517 fcode:1 bcode:1 mc-var:157719 var:1090643 icount:7 skipcount:107 hbits:182;
in:245 out:245 type:2 q:1491 itex:811 ptex:66942 mv:3592 misc:3441 fcode:1 bcode:1 mc-var:175029 var:1094569 icount:5 skipcount:76 hbits:182;
in:246 out:246 type:2 q:1502 itex:1554 ptex:66905 mv:3414 misc:3473 fcode:1 bcode:1 mc-var:172621 var:1098616 icount:9 skipcount:75 hbits:182;
in:247 out:247 type:2 q:1501 itex:1454 ptex:61076 mv:2947 misc:3533 fcode:1 bcode:1 mc-var:158073 var:1099989 icount:8 skipcount:114 hbits:182;
in:248 out:248 type:2 q:1495 itex:1046 ptex:63360 mv:3109 misc:3511 fcode:1 bcode:1 mc-var:159814 var:1112424 icount:7 skipcount:104 hbits:182;
in:249 out:249 type:2 q:1485 itex:1319 ptex:59933 mv:2664 misc:3510 fcode:1 bcode:1 mc-var:153215 var:1121560 icount:5 skipcount:114 hbits:182;
in:250 out:250 type:2 q:1474 itex:816 ptex:61207 mv:2974 misc:3509 fcode:1 bcode:1 mc-var:155357 var:1116921 icount:5 skipcount:100 hbits:182;
in:251 out:251 type:2 q:1446 itex:695 ptex:68584 mv:2810 misc:3561 fcode:1 bcode:1 mc-var:137841 var:1115435 icount:3 skipcount:74 hbits:182;
in:252 out:252 type:2 q:1477 itex:645 ptex:63463 mv:3560 misc:3478 fcode:1 bcode:1 mc-var:155207 var:1111712 icount:4 skipcount:75 hbits:182;
in:253 out:253 type:2 q:1485 itex:733 ptex:63522 mv:3438 misc:3461 fcode:1 bcode:1 mc-var:158556 var:1105991 icount:3 skipcount:74 hbits:182;
in:254 out:254 type:2 q:1492 itex:569 ptex:64511 mv:3419 misc:3407 fcode:1 bcode:1 mc-var:167059 var:1104131 icount:4 skipcount:79 hbits:182;
in:255 out:255 type:1 q:1199 itex:249097 ptex:0 mv:0 misc:3025 fcode:1 bcode:1 mc-var:0 var:1110767 icount:972 skipcount:0 hbits:414;
in:256 out:256 type:2 q:1485 itex:426 ptex:56039 mv:3290 misc:3519 fcode:1 bcode:1 mc-var:141692 var:1112361 icount:2 skipcount:131 hbits:182;
in:257 out:257 type:2 q:1483 itex:339 ptex:62811 mv:3565 misc:3399 fcode:1 bcode:1 mc-var:155036 var:1116708 icount:3 skipcount:112 hbits:182;
in:258 out:258 type:2 q:1474 itex:412 ptex:64189 mv:3449 misc:3416 fcode:1 bcode:1 mc-var:143627 var:1115863 icount:3 skipcount:101 hbits:182;
in:259 out:259 type:2 q:1506 itex:355 ptex:66026 mv:3750 misc:3367 fcode:1 bcode:1 mc-var:166476 var:1125565 icount:4 skipcount:81 hbits:182;
in:260 out:260 type:2 q:1523 itex:352 ptex:66469 mv:3759 misc:3326 fcode:1 bcode:1 mc-var:168309 var:1129701 icount:5 skipcount:71 hbits:182;
in:261 out:261 type:2 q:1531 itex:349 ptex:67971 mv:3823 misc:3355 fcode:1 bcode:1 mc-var:166943 var:1130302 icount:3 skipcount:55 hbits:182;
in:262 out:262 type:2 q:1518 itex:450 ptex:63797 mv:3316 misc:3463 fcode:1 bcode:1 mc-var:144458 var:1127847 icount:3 skipcount:71 hbits:182;
in:263 out:263 type:2 q:1524 itex:822 ptex:61371 mv:3451 misc:3430 fcode:1 bcode:1 mc-var:154689 var:1120684 icount:7 skipcount:64 hbits:182;
in:264 out:264 type:2 q:1510 itex:293 ptex:65306 mv:3299 misc:3512 fcode:1 bcode:1 mc-var:149386 var:1111717 icount:3 skipcount:47 hbits:182;
in:265 out:265 type:2 q:1525 itex:645 ptex:61941 mv:3361 misc:3407 fcode:1 bcode:1 mc-var:164516 var:1101681 icount:4 skipcount:53 hbits:182;
in:266 out:266 type:2 q:1520 itex:653 ptex:65090 mv:3477 misc:3350 fcode:1 bcode:1 mc-var:166687 var:1096502 icount:6 skipcount:71 hbits:182;
in:267 out:267 type:2 q:1502 itex:1136 ptex:62163 mv:3142 misc:3425 fcode:1 bcode:1 mc-var:151271 var:1095010 icount:11 skipcount:69 hbits:182;
in:268 out:268 type:2 q:1472 itex:1209 ptex:69493 mv:3523 misc:3289 fcode:1 bcode:1 mc-var:133635 var:1097104 icount:9 skipcount:33 hbits:182;
in:269 out:269 type:2 q:1491 itex:2977 ptex:56179 mv:3903 misc:3431 fcode:1 bcode:1 mc-var:138300 var:1094710 icount:23 skipcount:29 hbits:182;
in:270 out:270 type:1 q:1208 itex:246190 ptex:0 mv:0 misc:3044 fcode:1 bcode:1 mc-var:0 var:1081782 icount:972 skipcount:0 hbits:414;
in:271 out:271 type:2 q:1498 itex:3049 ptex:50459 mv:3997 misc:3585 fcode:1 bcode:1 mc-var:135777 var:1084016 icount:23 skipcount:15 hbits:182;
in:272 out:272 type:2 q:1485 itex:3516 ptex:52130 mv:4026 misc:3514 fcode:1 bcode:1 mc-var:142357 var:1097092 icount:30 skipcount:15 hbits:182;
in:273 out:273 type:2 q:1474 itex:2772 ptex:54393 mv:4053 misc:3488 fcode:1 bcode:1 mc-var:147820 var:1098748 icount:21 skipcount:17 hbits:182;
in:274 out:274 type:2 q:1455 itex:2718 ptex:67688 mv:3856 misc:3364 fcode:1 bcode:1 mc-var:141655 var:1102340 icount:20 skipcount:18 hbits:182;
in:275 out:275 type:2 q:1474 itex:1328 ptex:52850 mv:3846 misc:3458 fcode:1 bcode:1 mc-var:134891 var:1099666 icount:10 skipcount:14 hbits:182;
in:276 out:276 type:2 q:1456 itex:1838 ptex:63578 mv:3788 misc:3342 fcode:1 bcode:1 mc-var:134323 var:1091919 icount:13 skipcount:19 hbits:182;
in:277 out:277 type:2 q:1463 itex:923 ptex:62007 mv:3614 misc:3338 fcode:1 bcode:1 mc-var:131684 var:1086866 icount:7 skipcount:19 hbits:182;
in:278 out:278 type:2 q:1471 itex:1110 ptex:62699 mv:3728 misc:3345 fcode:1 bcode:1 mc-var:133738 var:1080232 icount:9 skipcount:24 hbits:182;
in:279 out:279 type:2 q:1480 itex:880 ptex:52070 mv:3850 misc:3458 fcode:1 bcode:1 mc-var:136451 var:1073163 icount:7 skipcount:23 hbits:182;
in:280 out:280 type:2 q:1446 itex:2191 ptex:63900 mv:3832 misc:3351 fcode:1 bcode:1 mc-var:131041 var:1063086 icount:14 skipcount:26 hbits:182;
in:281 out:281 type:2 q:1461 itex:1668 ptex:63306 mv:3969 misc:3347 fcode:1 bcode:1 mc-var:138030 var:1051852 icount:14 skipcount:14 hbits:182;
in:282 out:282 type:2 q:1481 itex:359 ptex:53897 mv:3862 misc:3396 fcode:1 bcode:1 mc-var:146498 var:1042095 icount:4 skipcount:32 hbits:182;
in:283 out:283 type:2 q:1447 itex:2211 ptex:65234 mv:3862 misc:3375 fcode:1 bcode:1 mc-var:137839 var:1029382 icount:17 skipcount:19 hbits:182;
in:284 out:284 type:2 q:1452 itex:1186 ptex:63514 mv:3850 misc:3380 fcode:1 bcode:1 mc-var:135545 var:1021276 icount:10 skipcount:17 hbits:182;
in:285 out:285 type:1 q:1166 itex:237538 ptex:0 mv:0 misc:3016 fcode:1 bcode:1 mc-var:0 var:1019512 icount:972 skipcount:0 hbits:414;
in:286 out:286 type:2 q:1453 itex:296 ptex:58539 mv:3606 misc:3433 fcode:1 bcode:1 mc-var:116009 var:1016167 icount:2 skipcount:31 hbits:182;
in:287 out:287 type:2 q:1445 itex:858 ptex:60773 mv:3742 misc:3437 fcode:1 bcode:1 mc-var:111714 var:1011739 icount:7 skipcount:35 hbits:182;
in:288 out:288 type:2 q:1453 itex:774 ptex:60104 mv:3740 misc:3376 fcode:1 bcode:1 mc-var:113086 var:1005118 icount:7 skipcount:34 hbits:182;
in:289 out:289 type:2 q:1470 itex:1248 ptex:62761 mv:3960 misc:3401 fcode:1 bcode:1 mc-var:122386 var:1004562 icount:10 skipcount:22 hbits:182;
in:290 out:290 type:2 q:1477 itex:1368 ptex:52324 mv:3986 misc:3452 fcode:1 bcode:1 mc-var:119199 var:1003136 icount:11 skipcount:37 hbits:182;
in:291 out:291 type:2 q:1464 itex:1257 ptex:67188 mv:4189 misc:3368 fcode:1 bcode:1 mc-var:126249 var:1002913 icount:9 skipcount:30 hbits:182;
in:292 out:292 type:2 q:1493 itex:523 ptex:56123 mv:4313 misc:3395 fcode:1 bcode:1 mc-var:135251 var:998258 icount:5 skipcount:39 hbits:182;
in:293 out:293 type:2 q:1475 itex:767 ptex:57419 mv:4339 misc:3445 fcode:1 bcode:1 mc-var:130696 var:1000913 icount:7 skipcount:29 hbits:182;
in:294 out:294 type:2 q:1474 itex:1042 ptex:59218 mv:4141 misc:3369 fcode:1 bcode:1 mc-var:143545 var:998124 icount:9 skipcount:34 hbits:182;
in:295 out:295 type:2 q:1467 itex:458 ptex:71615 mv:3846 misc:3339 fcode:1 bcode:1 mc-var:144334 var:995587 icount:3 skipcount:22 hbits:182;
in:296 out:296 type:2 q:1471 itex:1409 ptex:64878 mv:3662 misc:3373 fcode:1 bcode:1 mc-var:127509 var:990985 icount:12 skipcount:24 hbits:182;
in:297 out:297 type:2 q:1489 itex:1444 ptex:55096 mv:3882 misc:3404 fcode:1 bcode:1 mc-var:135569 var:983491 icount:9 skipcount:30 hbits:182;
in:298 out:298 type:2 q:1475 itex:1633 ptex:55174 mv:4036 misc:3399 fcode:1 bcode:1 mc-var:140195 var:969050 icount:10 skipcount:35 hbits:182;
in:299 out:299 type:2 q:1456 itex:627 ptex:69661 mv:3815 misc:3363 fcode:1 bcode:1 mc-var:145006 var:962709 icount:3 skipcount:27 hbits:182;
in:300 out:300 type:1 q:1150 itex:233117 ptex:0 mv:0 misc:3029 fcode:1 bcode:1 mc-var:0 var:955798 icount:972 skipcount:0 hbits:414;
in:301 out:301 type:2 q:1443 itex:77 ptex:53828 mv:2651 misc:3518 fcode:1 bcode:1 mc-var:108448 var:963169 icount:1 skipcount:124 hbits:182;
in:302 out:302 type:2 q:1416 itex:178 ptex:49907 mv:2041 misc:3492 fcode:1 bcode:1 mc-var:105579 var:971472 icount:2 skipcount:166 hbits:182;
in:303 out:303 type:2 q:1395 itex:145 ptex:56044 mv:2369 misc:3412 fcode:1 bcode:1 mc-var:116477 var:973907 icount:2 skipcount:151 hbits:182;
in:304 out:304 type:2 q:1410 itex:115 ptex:63603 mv:3309 misc:3399 fcode:1 bcode:1 mc-var:140042 var:979036 icount:1 skipcount:65 hbits:182;
in:305 out:305 type:2 q:1403 itex:416 ptex:61769 mv:2985 misc:3504 fcode:1 bcode:1 mc-var:121373 var:985496 icount:2 skipcount:55 hbits:182;
in:306 out:306 type:2 q:1408 itex:341 ptex:57416 mv:2875 misc:3530 fcode:1 bcode:1 mc-var:120624 var:986644 icount:2 skipcount:71 hbits:182;
in:307 out:307 type:2 q:1406 itex:105 ptex:58608 mv:2792 misc:3569 fcode:1 bcode:1 mc-var:124843 var:990867 icount:2 skipcount:73 hbits:182;
in:308 out:308 type:2 q:1397 itex:377 ptex:58663 mv:2695 misc:3483 fcode:1 bcode:1 mc-var:122473 var:994052 icount:2 skipcount:102 hbits:182;
in:309 out:309 type:2 q:1414 itex:747 ptex:62646 mv:3147 misc:3358 fcode:1 bcode:1 mc-var:142707 var:998947 icount:6 skipcount:82 hbits:182;
in:310 out:310 type:2 q:1406 itex:254 ptex:61968 mv:2930 misc:3490 fcode:1 bcode:1 mc-var:129162 var:991148 icount:2 skipcount:95 hbits:182;
in:311 out:311 type:2 q:1407 itex:806 ptex:61736 mv:2889 misc:3475 fcode:1 bcode:1 mc-var:130294 var:985961 icount:7 skipcount:86 hbits:182;
in:312 out:312 type:2 q:1413 itex:988 ptex:65449 mv:3022 misc:3503 fcode:1 bcode:1 mc-var:134898 var:986953 icount:10 skipcount:65 hbits:182;
in:313 out:313 type:2 q:1416 itex:292 ptex:61328 mv:2848 misc:3422 fcode:1 bcode:1 mc-var:127101 var:985086 icount:2 skipcount:99 hbits:182;
in:314 out:314 type:2 q:1439 itex:1696 ptex:64260 mv:3693 misc:3361 fcode:1 bcode:1 mc-var:151058 var:970680 icount:8 skipcount:55 hbits:182;
in:315 out:315 type:1 q:1170 itex:231509 ptex:0 mv:0 misc:2997 fcode:1 bcode:1 mc-var:0 var:968657 icount:972 skipcount:0 hbits:414;
in:316 out:316 type:2 q:1470 itex:0 ptex:65117 mv:3670 misc:3383 fcode:1 bcode:1 mc-var:153926 var:956769 icount:0 skipcount:65 hbits:182;
in:317 out:317 type:2 q:1496 itex:491 ptex:58575 mv:3926 misc:3426 fcode:1 bcode:1 mc-var:165014 var:959535 icount:2 skipcount:46 hbits:182;
in:318 out:318 type:2 q:1457 itex:706 ptex:65259 mv:3109 misc:3464 fcode:1 bcode:1 mc-var:136584 var:959148 icount:4 skipcount:82 hbits:182;
in:319 out:319 type:2 q:1500 itex:971 ptex:59547 mv:3956 misc:3400 fcode:1 bcode:1 mc-var:175795 var:965616 icount:4 skipcount:52 hbits:182;
in:320 out:320 type:2 q:1487 itex:1299 ptex:63331 mv:3810 misc:3450 fcode:1 bcode:1 mc-var:165498 var:969603 icount:7 skipcount:50 hbits:182;
in:321 out:321 type:2 q:1490 itex:2525 ptex:60547 mv:4329 misc:3385 fcode:1 bcode:1 mc-var:170083 var:958650 icount:18 skipcount:31 hbits:182;
in:322 out:322 type:2 q:1490 itex:317 ptex:63784 mv:3942 misc:3279 fcode:1 bcode:1 mc-var:173582 var:950297 icount:3 skipcount:50 hbits:182;
in:323 out:323 type:2 q:1493 itex:799 ptex:62532 mv:4149 misc:3386 fcode:1 bcode:1 mc-var:180285 var:939334 icount:8 skipcount:26 hbits:182;
in:324 out:324 type:2 q:1475 itex:597 ptex:60742 mv:3679 misc:3400 fcode:1 bcode:1 mc-var:165914 var:938481 icount:4 skipcount:56 hbits:182;
in:325 out:325 type:2 q:1456 itex:109 ptex:74510 mv:3887 misc:3344 fcode:1 bcode:1 mc-var:160444 var:933812 icount:2 skipcount:28 hbits:182;
in:326 out:326 type:2 q:1479 itex:155 ptex:59061 mv:3464 misc:3402 fcode:1 bcode:1 mc-var:158120 var:933463 icount:1 skipcount:65 hbits:182;
in:327 out:327 type:2 q:1458 itex:113 ptex:71679 mv:3331 misc:3383 fcode:1 bcode:1 mc-var:150523 var:934243 icount:2 skipcount:42 hbits:182;
in:328 out:328 type:2 q:1466 itex:406 ptex:68943 mv:3424 misc:3453 fcode:1 bcode:1 mc-var:144901 var:937081 icount:4 skipcount:49 hbits:182;
in:329 out:329 type:2 q:1487 itex:1715 ptex:55737 mv:3834 misc:3452 fcode:1 bcode:1 mc-var:152506 var:929143 icount:13 skipcount:55 hbits:182;
in:330 out:330 type:1 q:1206 itex:227156 ptex:0 mv:0 misc:3022 fcode:1 bcode:1 mc-var:0 var:927751 icount:972 skipcount:0 hbits:414;
in:331 out:331 type:2 q:1470 itex:289 ptex:59615 mv:3474 misc:3416 fcode:1 bcode:1 mc-var:139660 var:930251 icount:2 skipcount:49 hbits:182;
in:332 out:332 type:2 q:1475 itex:848 ptex:61482 mv:3353 misc:3463 fcode:1 bcode:1 mc-var:154223 var:907367 icount:9 skipcount:34 hbits:182;
in:333 out:333 type:2 q:1460 itex:840 ptex:67050 mv:3179 misc:3445 fcode:1 bcode:1 mc-var:141607 var:910176 icount:5 skipcount:42 hbits:182;
in:334 out:334 type:2 q:1463 itex:136 ptex:64558 mv:3168 misc:3404 fcode:1 bcode:1 mc-var:134577 var:912272 icount:2 skipcount:54 hbits:182;
in:335 out:335 type:2 q:1462 itex:455 ptex:66425 mv:2974 misc:3484 fcode:1 bcode:1 mc-var:130290 var:902636 icount:5 skipcount:42 hbits:182;
in:336 out:336 type:2 q:1479 itex:215 ptex:55859 mv:3424 misc:3408 fcode:1 bcode:1 mc-var:136306 var:908682 icount:4 skipcount:70 hbits:182;
in:337 out:337 type:2 q:1474 itex:78 ptex:59960 mv:3503 misc:3373 fcode:1 bcode:1 mc-var:150399 var:915978 icount:1 skipcount:69 hbits:182;
in:338 out:338 type:2 q:1464 itex:40 ptex:72133 mv:4065 misc:3308 fcode:1 bcode:1 mc-var:154318 var:921867 icount:1 skipcount:36 hbits:182;
in:339 out:339 type:2 q:1479 itex:365 ptex:56782 mv:3721 misc:3446 fcode:1 bcode:1 mc-var:147958 var:917472 icount:4 skipcount:55 hbits:182;
in:340 out:340 type:2 q:1461 itex:432 ptex:71649 mv:3579 misc:3374 fcode:1 bcode:1 mc-var:149806 var:912505 icount:3 skipcount:51 hbits:182;
in:341 out:341 type:2 q:1452 itex:481 ptex:62931 mv:2836 misc:3562 fcode:1 bcode:1 mc-var:127618 var:905462 icount:4 skipcount:72 hbits:182;
in:342 out:342 type:2 q:1449 itex:876 ptex:62477 mv:3150 misc:3435 fcode:1 bcode:1 mc-var:128980 var:880941 icount:10 skipcount:44 hbits:182;
in:343 out:343 type:2 q:1407 itex:528 ptex:47346 mv:2988 misc:3588 fcode:1 bcode:1 mc-var:101695 var:841677 icount:4 skipcount:72 hbits:182;
in:344 out:344 type:2 q:1338 itex:459 ptex:53585 mv:2663 misc:3511 fcode:1 bcode:1 mc-var:91780 var:834910 icount:3 skipcount:112 hbits:182;
in:345 out:345 type:1 q:1015 itex:229884 ptex:0 mv:0 misc:3038 fcode:1 bcode:1 mc-var:0 var:847392 icount:972 skipcount:0 hbits:414;
in:346 out:346 type:2 q:1350 itex:133 ptex:62521 mv:3080 misc:3540 fcode:1 bcode:1 mc-var:108787 var:866611 icount:1 skipcount:69 hbits:182;
in:347 out:347 type:2 q:1388 itex:59 ptex:62808 mv:3171 misc:3420 fcode:1 bcode:1 mc-var:122303 var:886968 icount:1 skipcount:83 hbits:182;
in:348 out:348 type:2 q:1429 itex:551 ptex:68359 mv:3615 misc:3405 fcode:1 bcode:1 mc-var:140579 var:891835 icount:4 skipcount:45 hbits:182;
in:349 out:349 type:2 q:1456 itex:717 ptex:69281 mv:3369 misc:3403 fcode:1 bcode:1 mc-var:138753 var:895464 icount:5 skipcount:55 hbits:182;
in:350 out:350 type:2 q:1477 itex:129 ptex:57919 mv:2803 misc:3423 fcode:1 bcode:1 mc-var:136826 var:905739 icount:2 skipcount:108 hbits:182;
in:351 out:351 type:2 q:1473 itex:53 ptex:73386 mv:3337 misc:3418 fcode:1 bcode:1 mc-var:147824 var:908698 icount:1 skipcount:46 hbits:182;
in:352 out:352 type:2 q:1492 itex:182 ptex:59211 mv:3255 misc:3450 fcode:1 bcode:1 mc-var:144405 var:914520 icount:2 skipcount:71 hbits:182;
in:353 out:353 type:2 q:1477 itex:0 ptex:61527 mv:3343 misc:3460 fcode:1 bcode:1 mc-var:145391 var:918571 icount:0 skipcount:51 hbits:182;
in:354 out:354 type:2 q:1447 itex:127 ptex:68504 mv:2594 misc:3529 fcode:1 bcode:1 mc-var:131684 var:914251 icount:2 skipcount:68 hbits:182;
in:355 out:355 type:2 q:1445 itex:59 ptex:67044 mv:2696 misc:3499 fcode:1 bcode:1 mc-var:126904 var:907977 icount:1 skipcount:64 hbits:182;
in:356 out:356 type:2 q:1456 itex:45 ptex:68779 mv:3140 misc:3470 fcode:1 bcode:1 mc-var:130848 var:902494 icount:1 skipcount:55 hbits:182;
in:357 out:357 type:2 q:1453 itex:40 ptex:62407 mv:2510 misc:3549 fcode:1 bcode:1 mc-var:119295 var:899033 icount:1 skipcount:80 hbits:182;
in:358 out:358 type:2 q:1455 itex:228 ptex:68527 mv:2740 misc:3483 fcode:1 bcode:1 mc-var:129280 var:899590 icount:2 skipcount:77 hbits:182;
in:359 out:359 type:2 q:1448 itex:184 ptex:60564 mv:2424 misc:3542 fcode:1 bcode:1 mc-var:118098 var:902764 icount:3 skipcount:97 hbits:182;
in:360 out:360 type:1 q:1153 itex:229829 ptex:0 mv:0 misc:3021 fcode:1 bcode:1 mc-var:0 var:906874 icount:972 skipcount:0 hbits:414;
in:361 out:361 type:2 q:1432 itex:0 ptex:54021 mv:2469 misc:3608 fcode:1 bcode:1 mc-var:106765 var:910179 icount:0 skipcount:114 hbits:182;
in:362 out:362 type:2 q:1434 itex:0 ptex:64792 mv:3084 misc:3462 fcode:1 bcode:1 mc-var:127669 var:913139 icount:0 skipcount:80 hbits:182;
in:363 out:363 type:2 q:1431 itex:0 ptex:61385 mv:2472 misc:3553 fcode:1 bcode:1 mc-var:119155 var:920921 icount:0 skipcount:102 hbits:182;
in:364 out:364 type:2 q:1446 itex:0 ptex:67362 mv:3167 misc:3385 fcode:1 bcode:1 mc-var:134414 var:931916 icount:0 skipcount:96 hbits:182;
in:365 out:365 type:2 q:1443 itex:142 ptex:61213 mv:2622 misc:3465 fcode:1 bcode:1 mc-var:120772 var:940203 icount:2 skipcount:106 hbits:182;
in:366 out:366 type:2 q:1458 itex:42 ptex:65520 mv:3315 misc:3405 fcode:1 bcode:1 mc-var:139466 var:948441 icount:1 skipcount:69 hbits:182;
in:367 out:367 type:2 q:1461 itex:253 ptex:63165 mv:3402 misc:3366 fcode:1 bcode:1 mc-var:136301 var:953990 icount:1 skipcount:53 hbits:182;
in:368 out:368 type:2 q:1434 itex:234 ptex:62144 mv:3592 misc:3352 fcode:1 bcode:1 mc-var:117679 var:959155 icount:2 skipcount:37 hbits:182;
in:369 out:369 type:2 q:1423 itex:434 ptex:59551 mv:3647 misc:3354 fcode:1 bcode:1 mc-var:115755 var:962141 icount:3 skipcount:26 hbits:182;
in:370 out:370 type:2 q:1416 itex:529 ptex:62499 mv:3782 misc:3344 fcode:1 bcode:1 mc-var:118874 var:960913 icount:5 skipcount:22 hbits:182;
in:371 out:371 type:2 q:1408 itex:491 ptex:58839 mv:3729 misc:3383 fcode:1 bcode:1 mc-var:113812 var:960718 icount:3 skipcount:20 hbits:182;
in:372 out:372 type:2 q:1392 itex:528 ptex:57481 mv:3673 misc:3384 fcode:1 bcode:1 mc-var:110588 var:956868 icount:4 skipcount:25 hbits:182;
in:373 out:373 type:2 q:1381 itex:148 ptex:60242 mv:3802 misc:3322 fcode:1 bcode:1 mc-var:113945 var:955641 icount:1 skipcount:22 hbits:182;
in:374 out:374 type:1 q:1096 itex:28211 ptex:0 mv:0 misc:3007 fcode:1 bcode:1 mc-var:512726 var:1944 icount:972 skipcount:0 hbits:414;
in:375 out:375 type:2 q:1211 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:0 var:1944 icount:0 skipcount:918 hbits:182;
in:376 out:376 type:2 q:946 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:2 var:1944 icount:0 skipcount:918 hbits:182;
in:377 out:377 type:2 q:641 itex:251 ptex:0 mv:104 misc:1623 fcode:1 bcode:1 mc-var:10 var:1944 icount:6 skipcount:914 hbits:182;
in:378 out:378 type:2 q:432 itex:1021 ptex:0 mv:98 misc:1771 fcode:1 bcode:1 mc-var:18 var:1944 icount:27 skipcount:896 hbits:182;
in:379 out:379 type:2 q:338 itex:1434 ptex:2918 mv:100 misc:2870 fcode:1 bcode:1 mc-var:8 var:1944 icount:37 skipcount:583 hbits:182;
in:380 out:380 type:2 q:333 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:0 var:1944 icount:0 skipcount:918 hbits:182;
in:381 out:381 type:2 q:330 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:0 var:1944 icount:0 skipcount:918 hbits:182;
in:382 out:382 type:2 q:329 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:0 var:1944 icount:0 skipcount:918 hbits:182;
in:383 out:383 type:2 q:328 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:0 var:1944 icount:0 skipcount:918 hbits:182;
in:384 out:384 type:1 q:837 itex:253391 ptex:0 mv:0 misc:3019 fcode:1 bcode:1 mc-var:13026941 var:802401 icount:972 skipcount:0 hbits:414;
in:385 out:385 type:2 q:449 itex:0 ptex:171273 mv:142 misc:3947 fcode:1 bcode:1 mc-var:21398 var:801784 icount:0 skipcount:7 hbits:182;
in:386 out:386 type:2 q:630 itex:0 ptex:87 mv:246 misc:1789 fcode:1 bcode:1 mc-var:9297 var:801451 icount:0 skipcount:885 hbits:182;
in:387 out:387 type:2 q:589 itex:0 ptex:8 mv:120 misc:1618 fcode:1 bcode:1 mc-var:9279 var:801203 icount:0 skipcount:914 hbits:182;
in:388 out:388 type:2 q:489 itex:0 ptex:19597 mv:50 misc:3499 fcode:1 bcode:1 mc-var:9277 var:800980 icount:0 skipcount:301 hbits:182;
in:389 out:389 type:2 q:459 itex:0 ptex:3245 mv:139 misc:2298 fcode:1 bcode:1 mc-var:9125 var:800769 icount:0 skipcount:766 hbits:182;
in:390 out:390 type:2 q:406 itex:0 ptex:144127 mv:0 misc:4019 fcode:1 bcode:1 mc-var:9099 var:800655 icount:0 skipcount:2 hbits:182;
in:391 out:391 type:2 q:519 itex:0 ptex:63 mv:140 misc:1663 fcode:1 bcode:1 mc-var:6254 var:800576 icount:0 skipcount:908 hbits:182;
in:392 out:392 type:2 q:496 itex:0 ptex:0 mv:108 misc:1582 fcode:1 bcode:1 mc-var:6251 var:800517 icount:0 skipcount:918 hbits:182;
in:393 out:393 type:2 q:424 itex:0 ptex:0 mv:116 misc:1598 fcode:1 bcode:1 mc-var:6251 var:800498 icount:0 skipcount:916 hbits:182;
in:394 out:394 type:2 q:361 itex:0 ptex:24263 mv:38 misc:3605 fcode:1 bcode:1 mc-var:6250 var:800498 icount:0 skipcount:253 hbits:182;
in:395 out:395 type:2 q:368 itex:0 ptex:3918 mv:116 misc:2296 fcode:1 bcode:1 mc-var:6114 var:800498 icount:0 skipcount:767 hbits:182;
in:396 out:396 type:2 q:348 itex:0 ptex:358 mv:110 misc:1702 fcode:1 bcode:1 mc-var:6091 var:800498 icount:0 skipcount:903 hbits:182;
in:397 out:397 type:2 q:318 itex:0 ptex:119 mv:108 misc:1631 fcode:1 bcode:1 mc-var:6091 var:800498 icount:0 skipcount:913 hbits:182;
in:398 out:398 type:2 q:293 itex:0 ptex:229437 mv:0 misc:3989 fcode:1 bcode:1 mc-var:6089 var:800498 icount:0 skipcount:0 hbits:182;
in:399 out:399 type:1 q:548 itex:333275 ptex:0 mv:0 misc:3023 fcode:1 bcode:1 mc-var:0 var:800498 icount:972 skipcount:0 hbits:414;
in:400 out:400 type:2 q:385 itex:0 ptex:195092 mv:78 misc:3984 fcode:1 bcode:1 mc-var:13750 var:800498 icount:0 skipcount:4 hbits:182;
in:401 out:401 type:2 q:588 itex:0 ptex:0 mv:152 misc:1658 fcode:1 bcode:1 mc-var:5928 var:800498 icount:0 skipcount:908 hbits:182;
in:402 out:402 type:2 q:565 itex:0 ptex:0 mv:116 misc:1598 fcode:1 bcode:1 mc-var:5927 var:800498 icount:0 skipcount:916 hbits:182;
in:403 out:403 type:2 q:476 itex:0 ptex:54 mv:108 misc:1608 fcode:1 bcode:1 mc-var:5926 var:800498 icount:0 skipcount:913 hbits:182;
in:404 out:404 type:2 q:583 itex:75445 ptex:294124 mv:7136 misc:3961 fcode:4 bcode:1 mc-var:618002 var:895430 icount:219 skipcount:0 hbits:182;
in:405 out:405 type:2 q:753 itex:0 ptex:153659 mv:2707 misc:3540 fcode:1 bcode:1 mc-var:94425 var:894034 icount:0 skipcount:16 hbits:182;
in:406 out:406 type:2 q:992 itex:0 ptex:104018 mv:3329 misc:3495 fcode:1 bcode:1 mc-var:102476 var:896848 icount:0 skipcount:30 hbits:182;
in:407 out:407 type:2 q:1159 itex:108 ptex:77862 mv:3548 misc:3412 fcode:1 bcode:1 mc-var:121716 var:889175 icount:2 skipcount:76 hbits:182;
in:408 out:408 type:2 q:1290 itex:13671 ptex:94868 mv:4202 misc:3749 fcode:2 bcode:1 mc-var:197394 var:960973 icount:123 skipcount:8 hbits:182;
in:409 out:409 type:2 q:1344 itex:537 ptex:85183 mv:3957 misc:3397 fcode:1 bcode:1 mc-var:157874 var:934208 icount:6 skipcount:21 hbits:182;
in:410 out:410 type:2 q:1355 itex:1806 ptex:80557 mv:3538 misc:3525 fcode:1 bcode:1 mc-var:146825 var:904666 icount:23 skipcount:20 hbits:182;
in:411 out:411 type:2 q:1338 itex:516 ptex:65912 mv:3144 misc:3470 fcode:1 bcode:1 mc-var:127115 var:916560 icount:3 skipcount:109 hbits:182;
in:412 out:412 type:2 q:1300 itex:994 ptex:63066 mv:3072 misc:3502 fcode:1 bcode:1 mc-var:124691 var:929797 icount:8 skipcount:105 hbits:182;
in:413 out:413 type:2 q:1269 itex:410 ptex:70559 mv:3273 misc:3488 fcode:1 bcode:1 mc-var:132008 var:941942 icount:5 skipcount:84 hbits:182;
in:414 out:414 type:1 q:990 itex:266004 ptex:0 mv:0 misc:3022 fcode:1 bcode:1 mc-var:0 var:943117 icount:972 skipcount:0 hbits:414;
in:415 out:415 type:2 q:1271 itex:870 ptex:64802 mv:4265 misc:3449 fcode:1 bcode:1 mc-var:132924 var:949469 icount:5 skipcount:37 hbits:182;
in:416 out:416 type:2 q:1264 itex:2081 ptex:70618 mv:4579 misc:3372 fcode:1 bcode:1 mc-var:136059 var:959781 icount:15 skipcount:36 hbits:182;
in:417 out:417 type:2 q:1269 itex:3177 ptex:70055 mv:4363 misc:3431 fcode:1 bcode:1 mc-var:134845 var:970536 icount:22 skipcount:23 hbits:182;
in:418 out:418 type:2 q:1279 itex:4754 ptex:67220 mv:4499 misc:3401 fcode:1 bcode:1 mc-var:136110 var:976039 icount:33 skipcount:16 hbits:182;
in:419 out:419 type:2 q:1277 itex:5403 ptex:67040 mv:4452 misc:3387 fcode:1 bcode:1 mc-var:129957 var:964581 icount:39 skipcount:13 hbits:182;
in:420 out:420 type:2 q:1271 itex:4690 ptex:62374 mv:4357 misc:3389 fcode:1 bcode:1 mc-var:122165 var:944224 icount:32 skipcount:18 hbits:182;
in:421 out:421 type:2 q:1254 itex:2340 ptex:63355 mv:4383 misc:3332 fcode:1 bcode:1 mc-var:116413 var:926461 icount:15 skipcount:16 hbits:182;
in:422 out:422 type:2 q:1231 itex:1688 ptex:74224 mv:4129 misc:3249 fcode:1 bcode:1 mc-var:108506 var:907963 icount:12 skipcount:21 hbits:182;
in:423 out:423 type:2 q:1239 itex:531 ptex:55048 mv:3771 misc:3436 fcode:1 bcode:1 mc-var:105255 var:895858 icount:6 skipcount:22 hbits:182;
in:424 out:424 type:2 q:1207 itex:130 ptex:75935 mv:3185 misc:3376 fcode:1 bcode:1 mc-var:105628 var:892724 icount:2 skipcount:26 hbits:182;
in:425 out:425 type:2 q:1191 itex:202 ptex:62456 mv:2546 misc:3606 fcode:1 bcode:1 mc-var:87164 var:892746 icount:4 skipcount:58 hbits:182;
in:426 out:426 type:2 q:1178 itex:100 ptex:65293 mv:2456 misc:3561 fcode:1 bcode:1 mc-var:89179 var:898322 icount:2 skipcount:62 hbits:182;
in:427 out:427 type:2 q:1169 itex:376 ptex:60779 mv:2416 misc:3551 fcode:1 bcode:1 mc-var:87906 var:902445 icount:3 skipcount:89 hbits:182;
in:428 out:428 type:2 q:1161 itex:86 ptex:67705 mv:2462 misc:3573 fcode:1 bcode:1 mc-var:93813 var:899285 icount:2 skipcount:72 hbits:182;
in:429 out:429 type:1 q:923 itex:258064 ptex:0 mv:0 misc:3042 fcode:1 bcode:1 mc-var:0 var:895342 icount:972 skipcount:0 hbits:414;
in:430 out:430 type:2 q:1157 itex:0 ptex:54715 mv:2451 misc:3636 fcode:1 bcode:1 mc-var:81002 var:895594 icount:0 skipcount:119 hbits:182;
in:431 out:431 type:2 q:1157 itex:0 ptex:65056 mv:2629 misc:3501 fcode:1 bcode:1 mc-var:94531 var:893126 icount:0 skipcount:102 hbits:182;
in:432 out:432 type:2 q:1149 itex:407 ptex:61639 mv:2436 misc:3552 fcode:1 bcode:1 mc-var:86903 var:892281 icount:4 skipcount:85 hbits:182;
in:433 out:433 type:2 q:1147 itex:533 ptex:64891 mv:2830 misc:3516 fcode:1 bcode:1 mc-var:88696 var:890366 icount:3 skipcount:71 hbits:182;
in:434 out:434 type:2 q:1166 itex:408 ptex:70004 mv:3117 misc:3377 fcode:1 bcode:1 mc-var:97394 var:892281 icount:4 skipcount:57 hbits:182;
in:435 out:435 type:2 q:1177 itex:142 ptex:67406 mv:2648 misc:3534 fcode:1 bcode:1 mc-var:92362 var:896017 icount:3 skipcount:66 hbits:182;
in:436 out:436 type:2 q:1203 itex:143 ptex:76977 mv:3287 misc:3347 fcode:1 bcode:1 mc-var:105213 var:895742 icount:2 skipcount:44 hbits:182;
in:437 out:437 type:2 q:1212 itex:114 ptex:71253 mv:2883 misc:3448 fcode:1 bcode:1 mc-var:91468 var:892298 icount:2 skipcount:53 hbits:182;
in:438 out:438 type:2 q:1220 itex:0 ptex:68915 mv:2984 misc:3463 fcode:1 bcode:1 mc-var:90359 var:891523 icount:0 skipcount:50 hbits:182;
in:439 out:439 type:2 q:1234 itex:153 ptex:67989 mv:2764 misc:3432 fcode:1 bcode:1 mc-var:96928 var:887274 icount:3 skipcount:64 hbits:182;
in:440 out:440 type:2 q:1227 itex:247 ptex:67496 mv:2834 misc:3457 fcode:1 bcode:1 mc-var:92643 var:877919 icount:4 skipcount:46 hbits:182;
in:441 out:441 type:2 q:1222 itex:74 ptex:67767 mv:2624 misc:3465 fcode:1 bcode:1 mc-var:92632 var:873139 icount:1 skipcount:67 hbits:182;
in:442 out:442 type:2 q:1249 itex:242 ptex:61042 mv:3161 misc:3445 fcode:1 bcode:1 mc-var:115075 var:874628 icount:4 skipcount:63 hbits:182;
in:443 out:443 type:2 q:1237 itex:169 ptex:82881 mv:3291 misc:3381 fcode:1 bcode:1 mc-var:119176 var:874593 icount:1 skipcount:28 hbits:182;
in:444 out:444 type:1 q:980 itex:258013 ptex:0 mv:0 misc:3037 fcode:1 bcode:1 mc-var:0 var:873557 icount:972 skipcount:0 hbits:414;
in:445 out:445 type:2 q:1303 itex:454 ptex:62713 mv:3661 misc:3406 fcode:1 bcode:1 mc-var:135007 var:865823 icount:3 skipcount:27 hbits:182;
in:446 out:446 type:2 q:1294 itex:1245 ptex:67586 mv:4160 misc:3363 fcode:1 bcode:1 mc-var:129816 var:858041 icount:7 skipcount:22 hbits:182;
in:447 out:447 type:2 q:1277 itex:3483 ptex:64752 mv:4116 misc:3427 fcode:1 bcode:1 mc-var:116768 var:852582 icount:25 skipcount:13 hbits:182;
in:448 out:448 type:2 q:1283 itex:2128 ptex:62963 mv:4513 misc:3406 fcode:1 bcode:1 mc-var:123869 var:843001 icount:14 skipcount:20 hbits:182;
in:449 out:449 type:2 q:1291 itex:1197 ptex:63837 mv:4318 misc:3386 fcode:1 bcode:1 mc-var:135423 var:829658 icount:9 skipcount:23 hbits:182;
in:450 out:450 type:2 q:1280 itex:1456 ptex:65137 mv:4644 misc:3413 fcode:2 bcode:1 mc-var:132998 var:824832 icount:12 skipcount:28 hbits:182;
in:451 out:451 type:2 q:1263 itex:1294 ptex:65791 mv:4300 misc:3457 fcode:2 bcode:1 mc-var:124112 var:824382 icount:10 skipcount:42 hbits:182;
in:452 out:452 type:2 q:1252 itex:1057 ptex:61728 mv:4513 misc:3472 fcode:2 bcode:1 mc-var:118855 var:820741 icount:11 skipcount:36 hbits:182;
in:453 out:453 type:2 q:1230 itex:1089 ptex:74882 mv:4099 misc:3476 fcode:2 bcode:1 mc-var:110938 var:823717 icount:10 skipcount:42 hbits:182;
in:454 out:454 type:2 q:1239 itex:1201 ptex:52334 mv:4124 misc:3567 fcode:2 bcode:1 mc-var:103696 var:814664 icount:13 skipcount:71 hbits:182;
in:455 out:455 type:2 q:1215 itex:1067 ptex:67094 mv:3394 misc:3519 fcode:2 bcode:1 mc-var:108958 var:816696 icount:9 skipcount:88 hbits:182;
in:456 out:456 type:2 q:1227 itex:1216 ptex:67816 mv:3531 misc:3471 fcode:2 bcode:1 mc-var:118296 var:826457 icount:11 skipcount:82 hbits:182;
in:457 out:457 type:2 q:1233 itex:1223 ptex:64247 mv:3448 misc:3508 fcode:2 bcode:1 mc-var:117822 var:820375 icount:9 skipcount:95 hbits:182;
in:458 out:458 type:2 q:1219 itex:1580 ptex:58373 mv:3715 misc:3526 fcode:2 bcode:1 mc-var:110653 var:807317 icount:15 skipcount:84 hbits:182;
in:459 out:459 type:1 q:965 itex:232190 ptex:0 mv:0 misc:3028 fcode:2 bcode:1 mc-var:0 var:812257 icount:972 skipcount:0 hbits:414;
in:460 out:460 type:2 q:1214 itex:251 ptex:59618 mv:4150 misc:3447 fcode:2 bcode:1 mc-var:110693 var:815413 icount:3 skipcount:78 hbits:182;
in:461 out:461 type:2 q:1219 itex:834 ptex:68622 mv:4223 misc:3427 fcode:2 bcode:1 mc-var:122075 var:822432 icount:10 skipcount:67 hbits:182;
in:462 out:462 type:2 q:1226 itex:1153 ptex:70607 mv:4474 misc:3368 fcode:2 bcode:1 mc-var:115210 var:829803 icount:10 skipcount:38 hbits:182;
in:463 out:463 type:2 q:1260 itex:1655 ptex:58922 mv:4488 misc:3457 fcode:2 bcode:1 mc-var:125589 var:812547 icount:13 skipcount:39 hbits:182;
in:464 out:464 type:2 q:1245 itex:1734 ptex:56523 mv:4579 misc:3454 fcode:2 bcode:1 mc-var:118438 var:802017 icount:16 skipcount:55 hbits:182;
in:465 out:465 type:2 q:1220 itex:1831 ptex:67338 mv:4321 misc:3392 fcode:2 bcode:1 mc-var:115713 var:796469 icount:14 skipcount:51 hbits:182;
in:466 out:466 type:2 q:1222 itex:1337 ptex:69373 mv:4527 misc:3373 fcode:2 bcode:1 mc-var:112313 var:808926 icount:9 skipcount:46 hbits:182;
in:467 out:467 type:2 q:1241 itex:1957 ptex:56035 mv:4250 misc:3424 fcode:1 bcode:1 mc-var:114601 var:812037 icount:17 skipcount:62 hbits:182;
in:468 out:468 type:2 q:1226 itex:2252 ptex:73731 mv:4059 misc:3400 fcode:1 bcode:1 mc-var:115774 var:815605 icount:18 skipcount:37 hbits:182;
in:469 out:469 type:2 q:1253 itex:1656 ptex:58936 mv:4304 misc:3418 fcode:2 bcode:1 mc-var:119697 var:814926 icount:14 skipcount:50 hbits:182;
in:470 out:470 type:2 q:1245 itex:1173 ptex:64019 mv:4628 misc:3382 fcode:2 bcode:1 mc-var:122238 var:818023 icount:9 skipcount:38 hbits:182;
in:471 out:471 type:2 q:1234 itex:938 ptex:79343 mv:4230 misc:3395 fcode:2 bcode:1 mc-var:117211 var:812335 icount:8 skipcount:40 hbits:182;
in:472 out:472 type:2 q:1256 itex:1440 ptex:60439 mv:4212 misc:3447 fcode:2 bcode:1 mc-var:110747 var:810685 icount:12 skipcount:49 hbits:182;
in:473 out:473 type:2 q:1250 itex:1009 ptex:64432 mv:3974 misc:3475 fcode:2 bcode:1 mc-var:114384 var:811545 icount:12 skipcount:56 hbits:182;
in:474 out:474 type:1 q:996 itex:247321 ptex:0 mv:0 misc:3017 fcode:2 bcode:1 mc-var:0 var:827828 icount:972 skipcount:0 hbits:414;
in:475 out:475 type:2 q:1257 itex:906 ptex:54576 mv:4380 misc:3588 fcode:2 bcode:1 mc-var:112694 var:836572 icount:8 skipcount:35 hbits:182;
in:476 out:476 type:2 q:1242 itex:345 ptex:61021 mv:4526 misc:3446 fcode:2 bcode:1 mc-var:118250 var:849480 icount:4 skipcount:49 hbits:182;
in:477 out:477 type:2 q:1223 itex:1251 ptex:72252 mv:3977 misc:3490 fcode:2 bcode:1 mc-var:110225 var:841270 icount:10 skipcount:52 hbits:182;
in:478 out:478 type:2 q:1247 itex:1268 ptex:53861 mv:4093 misc:3524 fcode:2 bcode:1 mc-var:112141 var:831759 icount:9 skipcount:62 hbits:182;
in:479 out:479 type:2 q:1213 itex:1053 ptex:70347 mv:4000 misc:3522 fcode:2 bcode:1 mc-var:101807 var:829872 icount:11 skipcount:49 hbits:182;
in:480 out:480 type:2 q:1218 itex:561 ptex:66670 mv:4004 misc:3439 fcode:2 bcode:1 mc-var:95799 var:832976 icount:7 skipcount:53 hbits:182;
in:481 out:481 type:2 q:1227 itex:352 ptex:67046 mv:3922 misc:3450 fcode:2 bcode:1 mc-var:94888 var:827552 icount:5 skipcount:51 hbits:182;
in:482 out:482 type:2 q:1239 itex:616 ptex:52968 mv:3833 misc:3481 fcode:1 bcode:1 mc-var:97186 var:827208 icount:7 skipcount:65 hbits:182;
in:483 out:483 type:2 q:1222 itex:616 ptex:68158 mv:3829 misc:3383 fcode:1 bcode:1 mc-var:105374 var:820841 icount:6 skipcount:44 hbits:182;
in:484 out:484 type:2 q:1227 itex:551 ptex:68109 mv:3871 misc:3367 fcode:1 bcode:1 mc-var:104922 var:819679 icount:5 skipcount:30 hbits:182;
in:485 out:485 type:2 q:1238 itex:548 ptex:55781 mv:3983 misc:3466 fcode:1 bcode:1 mc-var:106401 var:814386 icount:9 skipcount:49 hbits:182;
in:486 out:486 type:2 q:1221 itex:802 ptex:74814 mv:4420 misc:3326 fcode:1 bcode:1 mc-var:110498 var:804262 icount:10 skipcount:25 hbits:182;
in:487 out:487 type:2 q:1245 itex:1191 ptex:56889 mv:4349 misc:3461 fcode:1 bcode:1 mc-var:112387 var:798180 icount:12 skipcount:37 hbits:182;
in:488 out:488 type:2 q:1248 itex:1459 ptex:63016 mv:4323 misc:3428 fcode:1 bcode:1 mc-var:128181 var:799776 icount:13 skipcount:37 hbits:182;
in:489 out:489 type:1 q:1001 itex:246016 ptex:0 mv:0 misc:3018 fcode:1 bcode:1 mc-var:0 var:809931 icount:972 skipcount:0 hbits:414;
in:490 out:490 type:2 q:1223 itex:872 ptex:61967 mv:4002 misc:3433 fcode:1 bcode:1 mc-var:101299 var:825422 icount:9 skipcount:38 hbits:182;
in:491 out:491 type:2 q:1241 itex:303 ptex:57514 mv:4216 misc:3457 fcode:1 bcode:1 mc-var:116975 var:835010 icount:3 skipcount:39 hbits:182;
in:492 out:492 type:2 q:1227 itex:1368 ptex:71895 mv:4057 misc:3434 fcode:1 bcode:1 mc-var:114916 var:834168 icount:16 skipcount:38 hbits:182;
in:493 out:493 type:2 q:1247 itex:491 ptex:58492 mv:4324 misc:3431 fcode:1 bcode:1 mc-var:113013 var:833741 icount:5 skipcount:36 hbits:182;
in:494 out:494 type:2 q:1247 itex:1950 ptex:60216 mv:4329 misc:3475 fcode:1 bcode:1 mc-var:120740 var:831738 icount:14 skipcount:31 hbits:182;
in:495 out:495 type:2 q:1251 itex:1052 ptex:63434 mv:4111 misc:3373 fcode:1 bcode:1 mc-var:130013 var:837989 icount:9 skipcount:63 hbits:182;
in:496 out:496 type:2 q:1246 itex:954 ptex:65394 mv:4471 misc:3423 fcode:2 bcode:1 mc-var:126732 var:845926 icount:9 skipcount:44 hbits:182;
in:497 out:497 type:2 q:1223 itex:1198 ptex:75316 mv:3156 misc:3572 fcode:2 bcode:1 mc-var:106566 var:853333 icount:11 skipcount:55 hbits:182;
in:498 out:498 type:2 q:1255 itex:956 ptex:59145 mv:3406 misc:3527 fcode:2 bcode:1 mc-var:112246 var:857980 icount:6 skipcount:76 hbits:182;
in:499 out:499 type:2 q:1253 itex:1367 ptex:63083 mv:3420 misc:3500 fcode:2 bcode:1 mc-var:118535 var:870543 icount:16 skipcount:63 hbits:182;
in:500 out:500 type:2 q:1251 itex:1322 ptex:64124 mv:3223 misc:3413 fcode:1 bcode:1 mc-var:122619 var:874095 icount:14 skipcount:80 hbits:182;
in:501 out:501 type:2 q:1233 itex:713 ptex:77968 mv:3921 misc:3272 fcode:1 bcode:1 mc-var:112873 var:876469 icount:7 skipcount:22 hbits:182;
in:502 out:502 type:2 q:1252 itex:954 ptex:60940 mv:4201 misc:3347 fcode:1 bcode:1 mc-var:106657 var:875627 icount:13 skipcount:28 hbits:182;
in:503 out:503 type:2 q:1243 itex:877 ptex:59544 mv:4455 misc:3254 fcode:2 bcode:1 mc-var:105793 var:898039 icount:11 skipcount:30 hbits:182;
in:504 out:504 type:1 q:986 itex:254628 ptex:0 mv:0 misc:3022 fcode:2 bcode:1 mc-var:0 var:891277 icount:972 skipcount:0 hbits:414;
in:505 out:505 type:2 q:1261 itex:1099 ptex:52970 mv:3668 misc:3673 fcode:2 bcode:1 mc-var:119093 var:894064 icount:7 skipcount:76 hbits:182;
in:506 out:506 type:2 q:1217 itex:1343 ptex:66231 mv:2782 misc:3614 fcode:2 bcode:1 mc-var:102898 var:910243 icount:12 skipcount:96 hbits:182;
in:507 out:507 type:2 q:1221 itex:1086 ptex:67114 mv:2770 misc:3600 fcode:2 bcode:1 mc-var:102954 var:920529 icount:12 skipcount:100 hbits:182;
in:508 out:508 type:2 q:1252 itex:976 ptex:62695 mv:3367 misc:3484 fcode:1 bcode:1 mc-var:115800 var:923257 icount:10 skipcount:85 hbits:182;
in:509 out:509 type:2 q:1277 itex:926 ptex:71306 mv:3784 misc:3474 fcode:1 bcode:1 mc-var:134045 var:936714 icount:12 skipcount:41 hbits:182;
in:510 out:510 type:2 q:1312 itex:2996 ptex:74536 mv:4480 misc:3318 fcode:1 bcode:1 mc-var:147155 var:946469 icount:26 skipcount:17 hbits:182;
in:511 out:511 type:2 q:1334 itex:2951 ptex:74322 mv:4490 misc:3327 fcode:1 bcode:1 mc-var:139648 var:947129 icount:21 skipcount:22 hbits:182;
in:512 out:512 type:2 q:1374 itex:3911 ptex:60208 mv:5100 misc:3463 fcode:2 bcode:1 mc-var:154797 var:948684 icount:28 skipcount:22 hbits:182;
in:513 out:513 type:2 q:1372 itex:4724 ptex:64286 mv:5236 misc:3436 fcode:2 bcode:1 mc-var:161335 var:948651 icount:37 skipcount:18 hbits:182;
in:514 out:514 type:2 q:1369 itex:5517 ptex:64142 mv:5325 misc:3426 fcode:2 bcode:1 mc-var:163825 var:953436 icount:37 skipcount:11 hbits:182;
in:515 out:515 type:2 q:1357 itex:5970 ptex:64696 mv:5689 misc:3439 fcode:2 bcode:1 mc-var:155707 var:968904 icount:45 skipcount:15 hbits:182;
in:516 out:516 type:2 q:1355 itex:2285 ptex:81583 mv:5522 misc:3284 fcode:2 bcode:1 mc-var:154105 var:979383 icount:18 skipcount:16 hbits:182;
in:517 out:517 type:2 q:1402 itex:2407 ptex:67246 mv:5289 misc:3396 fcode:2 bcode:1 mc-var:167712 var:993970 icount:17 skipcount:18 hbits:182;
in:518 out:518 type:2 q:1419 itex:4659 ptex:69457 mv:5620 misc:3474 fcode:2 bcode:1 mc-var:184533 var:1003404 icount:31 skipcount:10 hbits:182;
in:519 out:519 type:1 q:1148 itex:220890 ptex:0 mv:0 misc:3000 fcode:2 bcode:1 mc-var:0 var:1018682 icount:972 skipcount:0 hbits:414;
in:520 out:520 type:2 q:1461 itex:10419 ptex:59520 mv:5976 misc:3567 fcode:2 bcode:1 mc-var:211689 var:1031793 icount:53 skipcount:10 hbits:182;
in:521 out:521 type:2 q:1481 itex:10964 ptex:51445 mv:5635 misc:3654 fcode:2 bcode:1 mc-var:234703 var:1040769 icount:56 skipcount:7 hbits:182;
in:522 out:522 type:2 q:1456 itex:13254 ptex:60462 mv:5923 misc:3563 fcode:2 bcode:1 mc-var:234114 var:962910 icount:69 skipcount:1 hbits:182;
in:523 out:523 type:2 q:1463 itex:12941 ptex:52331 mv:5884 misc:3630 fcode:2 bcode:1 mc-var:246264 var:976071 icount:67 skipcount:3 hbits:182;
in:524 out:524 type:2 q:1441 itex:11871 ptex:50301 mv:6677 misc:3569 fcode:3 bcode:1 mc-var:239710 var:943367 icount:60 skipcount:2 hbits:182;
in:525 out:525 type:2 q:1391 itex:9743 ptex:49110 mv:6271 misc:3654 fcode:2 bcode:1 mc-var:205913 var:949008 icount:58 skipcount:0 hbits:182;
in:526 out:526 type:2 q:1366 itex:12507 ptex:46620 mv:6386 misc:3729 fcode:2 bcode:1 mc-var:218095 var:914926 icount:71 skipcount:1 hbits:182;
in:527 out:527 type:2 q:1339 itex:12035 ptex:52176 mv:6325 misc:3562 fcode:2 bcode:1 mc-var:215261 var:895502 icount:60 skipcount:1 hbits:182;
in:528 out:528 type:2 q:1320 itex:9789 ptex:55727 mv:6918 misc:3552 fcode:3 bcode:1 mc-var:200757 var:892779 icount:59 skipcount:0 hbits:182;
in:529 out:529 type:2 q:1333 itex:10299 ptex:53717 mv:6657 misc:3593 fcode:3 bcode:1 mc-var:218386 var:943891 icount:51 skipcount:0 hbits:182;
in:530 out:530 type:2 q:1352 itex:13715 ptex:60186 mv:6371 misc:3538 fcode:3 bcode:1 mc-var:246281 var:973640 icount:60 skipcount:0 hbits:182;
in:531 out:531 type:2 q:1382 itex:12545 ptex:60512 mv:6070 misc:3531 fcode:3 bcode:1 mc-var:260224 var:1055283 icount:59 skipcount:0 hbits:182;
in:532 out:532 type:2 q:1415 itex:11033 ptex:73579 mv:6081 misc:3429 fcode:3 bcode:1 mc-var:288375 var:1101101 icount:45 skipcount:0 hbits:182;
in:533 out:533 type:2 q:1460 itex:15494 ptex:75677 mv:5542 misc:3489 fcode:2 bcode:1 mc-var:299664 var:1174171 icount:67 skipcount:2 hbits:182;
in:534 out:534 type:1 q:1204 itex:269369 ptex:0 mv:0 misc:3049 fcode:2 bcode:1 mc-var:0 var:1220718 icount:972 skipcount:0 hbits:414;
in:535 out:535 type:2 q:1536 itex:12782 ptex:70584 mv:5269 misc:3503 fcode:2 bcode:1 mc-var:308674 var:1271431 icount:45 skipcount:10 hbits:182;
in:536 out:536 type:2 q:1578 itex:13184 ptex:74989 mv:5275 misc:3426 fcode:2 bcode:1 mc-var:316500 var:1297204 icount:52 skipcount:9 hbits:182;
in:537 out:537 type:2 q:1606 itex:9428 ptex:74624 mv:5320 misc:3382 fcode:2 bcode:1 mc-var:303139 var:1333252 icount:39 skipcount:15 hbits:182;
in:538 out:538 type:2 q:1619 itex:5438 ptex:81986 mv:5126 misc:3364 fcode:2 bcode:1 mc-var:291936 var:1361748 icount:27 skipcount:22 hbits:182;
in:539 out:539 type:2 q:1619 itex:2861 ptex:76546 mv:5155 misc:3312 fcode:2 bcode:1 mc-var:254838 var:1352949 icount:16 skipcount:28 hbits:182;
in:540 out:540 type:2 q:1621 itex:3610 ptex:73908 mv:5425 misc:3323 fcode:2 bcode:1 mc-var:256144 var:1320948 icount:26 skipcount:30 hbits:182;
in:541 out:541 type:2 q:1618 itex:3663 ptex:76955 mv:5392 misc:3296 fcode:2 bcode:1 mc-var:253469 var:1321226 icount:21 skipcount:28 hbits:182;
in:542 out:542 type:2 q:1617 itex:3894 ptex:78162 mv:5159 misc:3347 fcode:1 bcode:1 mc-var:243499 var:1330058 icount:26 skipcount:19 hbits:182;
in:543 out:543 type:2 q:1618 itex:1460 ptex:77956 mv:5300 misc:3270 fcode:2 bcode:1 mc-var:230613 var:1349222 icount:15 skipcount:20 hbits:182;
in:544 out:544 type:2 q:1609 itex:1752 ptex:72879 mv:4909 misc:3278 fcode:2 bcode:1 mc-var:212239 var:1334476 icount:19 skipcount:39 hbits:182;
in:545 out:545 type:2 q:1594 itex:2806 ptex:66435 mv:4618 misc:3343 fcode:2 bcode:1 mc-var:203269 var:1320883 icount:25 skipcount:27 hbits:182;
in:546 out:546 type:2 q:1578 itex:2837 ptex:74235 mv:5208 misc:3330 fcode:2 bcode:1 mc-var:209956 var:1277474 icount:28 skipcount:15 hbits:182;
in:547 out:547 type:2 q:1578 itex:4934 ptex:66214 mv:5544 misc:3406 fcode:2 bcode:1 mc-var:206048 var:1271844 icount:44 skipcount:12 hbits:182;
in:548 out:548 type:2 q:1582 itex:5016 ptex:64192 mv:6643 misc:3455 fcode:3 bcode:1 mc-var:220706 var:1215057 icount:43 skipcount:6 hbits:182;
in:549 out:549 type:1 q:1268 itex:227019 ptex:0 mv:0 misc:3015 fcode:3 bcode:1 mc-var:0 var:1215651 icount:972 skipcount:0 hbits:414;
in:550 out:550 type:2 q:1539 itex:3258 ptex:47427 mv:6730 misc:3619 fcode:3 bcode:1 mc-var:162399 var:1171010 icount:31 skipcount:1 hbits:182;
in:551 out:551 type:2 q:1489 itex:2807 ptex:52329 mv:6803 misc:3543 fcode:3 bcode:1 mc-var:165391 var:1073773 icount:31 skipcount:0 hbits:182;
in:552 out:552 type:2 q:1453 itex:4877 ptex:61069 mv:6586 misc:3478 fcode:3 bcode:1 mc-var:164472 var:1119146 icount:42 skipcount:0 hbits:182;
in:553 out:553 type:2 q:1459 itex:4486 ptex:60560 mv:6635 misc:3497 fcode:3 bcode:1 mc-var:167622 var:1063021 icount:42 skipcount:1 hbits:182;
in:554 out:554 type:2 q:1468 itex:4808 ptex:63153 mv:5953 misc:3448 fcode:2 bcode:1 mc-var:168841 var:1034199 icount:42 skipcount:1 hbits:182;
in:555 out:555 type:2 q:1498 itex:3666 ptex:64886 mv:5783 misc:3395 fcode:2 bcode:1 mc-var:187410 var:1034656 icount:33 skipcount:1 hbits:182;
in:556 out:556 type:2 q:1508 itex:3440 ptex:65166 mv:5608 misc:3340 fcode:2 bcode:1 mc-var:185996 var:1041844 icount:29 skipcount:6 hbits:182;
in:557 out:557 type:2 q:1504 itex:3573 ptex:60144 mv:4962 misc:3371 fcode:2 bcode:1 mc-var:174994 var:1066737 icount:20 skipcount:26 hbits:182;
in:558 out:558 type:2 q:1533 itex:7826 ptex:53779 mv:5631 misc:3486 fcode:2 bcode:1 mc-var:223777 var:1043305 icount:37 skipcount:9 hbits:182;
in:559 out:559 type:2 q:1522 itex:7380 ptex:55582 mv:5388 misc:3492 fcode:2 bcode:1 mc-var:228579 var:1046075 icount:37 skipcount:3 hbits:182;
in:560 out:560 type:2 q:1522 itex:8144 ptex:60658 mv:5692 misc:3476 fcode:2 bcode:1 mc-var:255832 var:1110222 icount:39 skipcount:0 hbits:182;
in:561 out:561 type:2 q:1522 itex:7039 ptex:65429 mv:5436 misc:3418 fcode:2 bcode:1 mc-var:255918 var:1132881 icount:29 skipcount:3 hbits:182;
in:562 out:562 type:2 q:1484 itex:1178 ptex:70253 mv:4925 misc:3310 fcode:1 bcode:1 mc-var:192410 var:1150992 icount:13 skipcount:3 hbits:182;
in:563 out:563 type:2 q:1474 itex:1234 ptex:65644 mv:4693 misc:3311 fcode:1 bcode:1 mc-var:177731 var:1123929 icount:13 skipcount:10 hbits:182;
in:564 out:564 type:1 q:1171 itex:240031 ptex:0 mv:0 misc:3019 fcode:1 bcode:1 mc-var:0 var:1095793 icount:972 skipcount:0 hbits:414;
in:565 out:565 type:2 q:1451 itex:2985 ptex:48841 mv:5293 misc:3587 fcode:2 bcode:1 mc-var:139501 var:1023343 icount:34 skipcount:5 hbits:182;
in:566 out:566 type:2 q:1438 itex:4493 ptex:53935 mv:5356 misc:3474 fcode:2 bcode:1 mc-var:158124 var:1029896 icount:40 skipcount:5 hbits:182;
in:567 out:567 type:2 q:1442 itex:3756 ptex:67318 mv:5274 misc:3350 fcode:2 bcode:1 mc-var:172520 var:1052828 icount:33 skipcount:8 hbits:182;
in:568 out:568 type:2 q:1460 itex:3784 ptex:60389 mv:5034 misc:3387 fcode:2 bcode:1 mc-var:163598 var:1061654 icount:32 skipcount:14 hbits:182;
in:569 out:569 type:2 q:1471 itex:4099 ptex:65691 mv:4942 misc:3310 fcode:2 bcode:1 mc-var:167386 var:1066907 icount:38 skipcount:15 hbits:182;
in:570 out:570 type:2 q:1487 itex:3667 ptex:56455 mv:4928 misc:3400 fcode:1 bcode:1 mc-var:165992 var:1057850 icount:32 skipcount:24 hbits:182;
in:571 out:571 type:2 q:1483 itex:4006 ptex:58046 mv:5238 misc:3360 fcode:1 bcode:1 mc-var:173056 var:1071541 icount:29 skipcount:19 hbits:182;
in:572 out:572 type:2 q:1467 itex:3864 ptex:66339 mv:5154 misc:3365 fcode:1 bcode:1 mc-var:165340 var:1059068 icount:27 skipcount:6 hbits:182;
in:573 out:573 type:2 q:1466 itex:4161 ptex:59593 mv:4985 misc:3407 fcode:2 bcode:1 mc-var:152099 var:1021203 icount:37 skipcount:11 hbits:182;
in:574 out:574 type:2 q:1472 itex:4375 ptex:58954 mv:5227 misc:3422 fcode:2 bcode:1 mc-var:159830 var:1016804 icount:42 skipcount:11 hbits:182;
in:575 out:575 type:2 q:1473 itex:5563 ptex:58422 mv:5208 misc:3433 fcode:2 bcode:1 mc-var:163771 var:1027450 icount:44 skipcount:7 hbits:182;
in:576 out:576 type:2 q:1467 itex:4523 ptex:64122 mv:5108 misc:3361 fcode:2 bcode:1 mc-var:160937 var:1044226 icount:32 skipcount:21 hbits:182;
in:577 out:577 type:2 q:1456 itex:2865 ptex:61698 mv:4518 misc:3353 fcode:1 bcode:1 mc-var:143274 var:1038658 icount:14 skipcount:34 hbits:182;
in:578 out:578 type:2 q:1430 itex:1562 ptex:56269 mv:3088 misc:3443 fcode:1 bcode:1 mc-var:125328 var:1019025 icount:8 skipcount:100 hbits:182;
in:579 out:579 type:1 q:1124 itex:227299 ptex:0 mv:0 misc:3023 fcode:1 bcode:1 mc-var:0 var:1015524 icount:972 skipcount:0 hbits:414;
in:580 out:580 type:2 q:1425 itex:3130 ptex:58033 mv:4270 misc:3425 fcode:1 bcode:1 mc-var:128797 var:1013809 icount:17 skipcount:38 hbits:182;
in:581 out:581 type:2 q:1447 itex:1166 ptex:66881 mv:4483 misc:3352 fcode:1 bcode:1 mc-var:148082 var:1011164 icount:9 skipcount:20 hbits:182;
in:582 out:582 type:2 q:1484 itex:2863 ptex:54057 mv:4395 misc:3463 fcode:1 bcode:1 mc-var:162603 var:1005516 icount:17 skipcount:27 hbits:182;
in:583 out:583 type:2 q:1469 itex:4816 ptex:63477 mv:4652 misc:3457 fcode:1 bcode:1 mc-var:161473 var:1019168 icount:31 skipcount:8 hbits:182;
in:584 out:584 type:2 q:1480 itex:4289 ptex:51269 mv:4673 misc:3507 fcode:1 bcode:1 mc-var:163308 var:1023893 icount:31 skipcount:10 hbits:182;
in:585 out:585 type:2 q:1431 itex:4647 ptex:58126 mv:4934 misc:3463 fcode:2 bcode:1 mc-var:138461 var:1015725 icount:35 skipcount:12 hbits:182;
in:586 out:586 type:2 q:1427 itex:5483 ptex:51286 mv:4977 misc:3504 fcode:2 bcode:1 mc-var:141694 var:983429 icount:42 skipcount:14 hbits:182;
in:587 out:587 type:2 q:1405 itex:5243 ptex:55206 mv:5025 misc:3488 fcode:2 bcode:1 mc-var:135420 var:966077 icount:44 skipcount:12 hbits:182;
in:588 out:588 type:2 q:1409 itex:6523 ptex:51532 mv:4622 misc:3501 fcode:1 bcode:1 mc-var:144558 var:967304 icount:50 skipcount:13 hbits:182;
in:589 out:589 type:2 q:1403 itex:6349 ptex:52413 mv:4405 misc:3531 fcode:1 bcode:1 mc-var:148053 var:963502 icount:47 skipcount:14 hbits:182;
in:590 out:590 type:2 q:1391 itex:5739 ptex:55571 mv:4554 misc:3490 fcode:1 bcode:1 mc-var:146938 var:945495 icount:44 skipcount:9 hbits:182;
in:591 out:591 type:2 q:1378 itex:4310 ptex:53801 mv:4685 misc:3486 fcode:1 bcode:1 mc-var:138144 var:936381 icount:34 skipcount:9 hbits:182;
in:592 out:592 type:2 q:1346 itex:4311 ptex:61556 mv:4276 misc:3443 fcode:1 bcode:1 mc-var:121232 var:925899 icount:31 skipcount:16 hbits:182;
in:593 out:593 type:2 q:1345 itex:510 ptex:59545 mv:3921 misc:3426 fcode:1 bcode:1 mc-var:113207 var:937002 icount:7 skipcount:12 hbits:182;
in:594 out:594 type:1 q:1076 itex:222919 ptex:0 mv:0 misc:3043 fcode:1 bcode:1 mc-var:0 var:940120 icount:972 skipcount:0 hbits:414;
in:595 out:595 type:2 q:1342 itex:152 ptex:49001 mv:3974 misc:3515 fcode:1 bcode:1 mc-var:101196 var:947335 icount:1 skipcount:21 hbits:182;
in:596 out:596 type:2 q:1311 itex:180 ptex:57644 mv:3851 misc:3407 fcode:1 bcode:1 mc-var:98616 var:960148 icount:2 skipcount:17 hbits:182;
in:597 out:597 type:2 q:1322 itex:327 ptex:60987 mv:3821 misc:3299 fcode:1 bcode:1 mc-var:107663 var:950767 icount:1 skipcount:12 hbits:182;
in:598 out:598 type:2 q:1362 itex:1658 ptex:46664 mv:4067 misc:3477 fcode:1 bcode:1 mc-var:127950 var:934781 icount:11 skipcount:16 hbits:182;
in:599 out:599 type:2 q:1349 itex:3226 ptex:58062 mv:4269 misc:3349 fcode:1 bcode:1 mc-var:139129 var:938540 icount:19 skipcount:13 hbits:182;
in:600 out:600 type:2 q:1358 itex:2451 ptex:54519 mv:4536 misc:3408 fcode:1 bcode:1 mc-var:145518 var:958719 icount:12 skipcount:16 hbits:182;
in:601 out:601 type:2 q:1319 itex:459 ptex:65902 mv:3885 misc:3228 fcode:1 bcode:1 mc-var:118192 var:934926 icount:8 skipcount:31 hbits:182;
in:602 out:602 type:2 q:1347 itex:852 ptex:64557 mv:3986 misc:3223 fcode:1 bcode:1 mc-var:130178 var:925030 icount:5 skipcount:32 hbits:182;
in:603 out:603 type:2 q:1355 itex:830 ptex:66271 mv:4115 misc:3258 fcode:1 bcode:1 mc-var:121983 var:919912 icount:7 skipcount:24 hbits:182;
in:604 out:604 type:2 q:1368 itex:572 ptex:53158 mv:4007 misc:3401 fcode:1 bcode:1 mc-var:118996 var:927002 icount:8 skipcount:29 hbits:182;
in:605 out:605 type:2 q:1362 itex:729 ptex:57500 mv:3917 misc:3376 fcode:1 bcode:1 mc-var:131408 var:922542 icount:9 skipcount:29 hbits:182;
in:606 out:606 type:2 q:1349 itex:964 ptex:72226 mv:3928 misc:3260 fcode:1 bcode:1 mc-var:132431 var:919784 icount:8 skipcount:19 hbits:182;
in:607 out:607 type:2 q:1380 itex:567 ptex:57114 mv:3863 misc:3386 fcode:1 bcode:1 mc-var:135311 var:922360 icount:6 skipcount:28 hbits:182;
in:608 out:608 type:2 q:1366 itex:557 ptex:57374 mv:3520 misc:3383 fcode:1 bcode:1 mc-var:133366 var:924071 icount:7 skipcount:70 hbits:182;
in:609 out:609 type:1 q:1081 itex:234390 ptex:0 mv:0 misc:3020 fcode:1 bcode:1 mc-var:0 var:925513 icount:972 skipcount:0 hbits:414;
in:610 out:610 type:2 q:1357 itex:2540 ptex:49056 mv:4077 misc:3553 fcode:1 bcode:1 mc-var:129318 var:930418 icount:14 skipcount:33 hbits:182;
in:611 out:611 type:2 q:1331 itex:3254 ptex:65894 mv:4218 misc:3372 fcode:1 bcode:1 mc-var:128895 var:917875 icount:21 skipcount:23 hbits:182;
in:612 out:612 type:2 q:1346 itex:2246 ptex:64340 mv:4067 misc:3373 fcode:1 bcode:1 mc-var:121718 var:908342 icount:13 skipcount:30 hbits:182;
in:613 out:613 type:2 q:1354 itex:1358 ptex:63584 mv:4097 misc:3331 fcode:1 bcode:1 mc-var:111535 var:897200 icount:13 skipcount:18 hbits:182;
in:614 out:614 type:2 q:1356 itex:599 ptex:50756 mv:4173 misc:3418 fcode:1 bcode:1 mc-var:103447 var:890286 icount:5 skipcount:26 hbits:182;
in:615 out:615 type:2 q:1340 itex:498 ptex:63083 mv:4123 misc:3330 fcode:1 bcode:1 mc-var:111160 var:883083 icount:7 skipcount:23 hbits:182;
in:616 out:616 type:2 q:1328 itex:234 ptex:57428 mv:3865 misc:3339 fcode:1 bcode:1 mc-var:99783 var:881879 icount:4 skipcount:33 hbits:182;
in:617 out:617 type:2 q:1314 itex:147 ptex:52846 mv:2855 misc:3474 fcode:1 bcode:1 mc-var:97620 var:876612 icount:2 skipcount:79 hbits:182;
in:618 out:618 type:2 q:1274 itex:431 ptex:51004 mv:2725 misc:3474 fcode:1 bcode:1 mc-var:88807 var:865002 icount:5 skipcount:89 hbits:182;
in:619 out:619 type:2 q:1253 itex:543 ptex:52944 mv:3781 misc:3342 fcode:1 bcode:1 mc-var:95613 var:860856 icount:7 skipcount:46 hbits:182;
in:620 out:620 type:2 q:1239 itex:1120 ptex:58738 mv:3961 misc:3335 fcode:1 bcode:1 mc-var:97546 var:858379 icount:12 skipcount:20 hbits:182;
in:621 out:621 type:2 q:1260 itex:1514 ptex:59135 mv:4121 misc:3312 fcode:1 bcode:1 mc-var:108678 var:852867 icount:15 skipcount:10 hbits:182;
in:622 out:622 type:2 q:1266 itex:674 ptex:61435 mv:4920 misc:3325 fcode:2 bcode:1 mc-var:106747 var:867194 icount:7 skipcount:12 hbits:182;
in:623 out:623 type:2 q:1278 itex:1065 ptex:59834 mv:4546 misc:3349 fcode:1 bcode:1 mc-var:106892 var:879227 icount:12 skipcount:15 hbits:182;
in:624 out:624 type:1 q:1031 itex:223443 ptex:0 mv:0 misc:3023 fcode:1 bcode:1 mc-var:0 var:878227 icount:972 skipcount:0 hbits:414;
in:625 out:625 type:2 q:1282 itex:102 ptex:52948 mv:4278 misc:3466 fcode:1 bcode:1 mc-var:96406 var:859688 icount:2 skipcount:30 hbits:182;
in:626 out:626 type:2 q:1279 itex:43 ptex:56466 mv:4168 misc:3373 fcode:1 bcode:1 mc-var:102534 var:844433 icount:1 skipcount:35 hbits:182;
in:627 out:627 type:2 q:1273 itex:141 ptex:55947 mv:3960 misc:3370 fcode:1 bcode:1 mc-var:101757 var:830889 icount:3 skipcount:46 hbits:182;
in:628 out:628 type:2 q:1272 itex:202 ptex:59480 mv:4050 misc:3366 fcode:1 bcode:1 mc-var:106111 var:830415 icount:4 skipcount:36 hbits:182;
in:629 out:629 type:2 q:1279 itex:89 ptex:60780 mv:3989 misc:3336 fcode:1 bcode:1 mc-var:109036 var:832582 icount:2 skipcount:40 hbits:182;
in:630 out:630 type:2 q:1282 itex:98 ptex:60003 mv:4084 misc:3297 fcode:1 bcode:1 mc-var:107017 var:830943 icount:2 skipcount:30 hbits:182;
in:631 out:631 type:2 q:1289 itex:818 ptex:59436 mv:4032 misc:3372 fcode:1 bcode:1 mc-var:111246 var:836005 icount:5 skipcount:26 hbits:182;
in:632 out:632 type:2 q:1315 itex:2602 ptex:60935 mv:4262 misc:3355 fcode:1 bcode:1 mc-var:130880 var:847316 icount:10 skipcount:29 hbits:182;
in:633 out:633 type:2 q:1336 itex:4894 ptex:57814 mv:4701 misc:3409 fcode:1 bcode:1 mc-var:141449 var:864288 icount:20 skipcount:14 hbits:182;
in:634 out:634 type:2 q:1341 itex:6970 ptex:50622 mv:4423 misc:3507 fcode:1 bcode:1 mc-var:143658 var:871087 icount:28 skipcount:13 hbits:182;
in:635 out:635 type:2 q:1335 itex:7520 ptex:46729 mv:4944 misc:3505 fcode:2 bcode:1 mc-var:152839 var:860063 icount:27 skipcount:10 hbits:182;
in:636 out:636 type:2 q:1314 itex:7156 ptex:48701 mv:5020 misc:3525 fcode:2 bcode:1 mc-var:158693 var:892794 icount:31 skipcount:12 hbits:182;
in:637 out:637 type:2 q:1309 itex:7320 ptex:47191 mv:5163 misc:3504 fcode:2 bcode:1 mc-var:178669 var:895343 icount:28 skipcount:12 hbits:182;
in:638 out:638 type:2 q:1279 itex:6682 ptex:48204 mv:5263 misc:3485 fcode:2 bcode:1 mc-var:170212 var:910100 icount:28 skipcount:14 hbits:182;
in:639 out:639 type:1 q:999 itex:241351 ptex:0 mv:0 misc:3011 fcode:2 bcode:1 mc-var:0 var:942994 icount:972 skipcount:0 hbits:414;
in:640 out:640 type:2 q:1278 itex:4957 ptex:58479 mv:4852 misc:3570 fcode:2 bcode:1 mc-var:177674 var:972858 icount:18 skipcount:13 hbits:182;
in:641 out:641 type:2 q:1298 itex:5773 ptex:59528 mv:5220 misc:3481 fcode:2 bcode:1 mc-var:183798 var:1008024 icount:21 skipcount:12 hbits:182;
in:642 out:642 type:2 q:1341 itex:5204 ptex:63844 mv:4985 misc:3409 fcode:2 bcode:1 mc-var:212431 var:1036680 icount:20 skipcount:9 hbits:182;
in:643 out:643 type:2 q:1364 itex:8440 ptex:51507 mv:5260 misc:3595 fcode:2 bcode:1 mc-var:207521 var:1037816 icount:28 skipcount:10 hbits:182;
in:644 out:644 type:2 q:1375 itex:12873 ptex:47537 mv:5311 misc:3633 fcode:2 bcode:1 mc-var:229127 var:1048500 icount:48 skipcount:7 hbits:182;
in:645 out:645 type:2 q:1360 itex:12237 ptex:43705 mv:6059 misc:3657 fcode:3 bcode:1 mc-var:218960 var:1065022 icount:50 skipcount:3 hbits:182;
in:646 out:646 type:2 q:1337 itex:11393 ptex:56610 mv:5758 misc:3513 fcode:3 bcode:1 mc-var:217536 var:1073683 icount:45 skipcount:0 hbits:182;
in:647 out:647 type:2 q:1376 itex:10651 ptex:53184 mv:5482 misc:3557 fcode:3 bcode:1 mc-var:259658 var:1125969 icount:41 skipcount:3 hbits:182;
in:648 out:648 type:2 q:1360 itex:7495 ptex:87005 mv:4853 misc:3369 fcode:2 bcode:1 mc-var:227904 var:1252698 icount:27 skipcount:5 hbits:182;
in:649 out:649 type:2 q:1374 itex:2033 ptex:71880 mv:4491 misc:3342 fcode:1 bcode:1 mc-var:161161 var:1245963 icount:12 skipcount:8 hbits:182;
in:650 out:650 type:2 q:1404 itex:4350 ptex:62048 mv:5197 misc:3399 fcode:2 bcode:1 mc-var:167969 var:1222083 icount:32 skipcount:9 hbits:182;
in:651 out:651 type:2 q:1419 itex:3168 ptex:68083 mv:5163 misc:3412 fcode:2 bcode:1 mc-var:179556 var:1262338 icount:30 skipcount:7 hbits:182;
in:652 out:652 type:2 q:1421 itex:3263 ptex:72239 mv:4349 misc:3351 fcode:1 bcode:1 mc-var:168903 var:1257286 icount:23 skipcount:21 hbits:182;
in:653 out:653 type:2 q:1444 itex:5193 ptex:65023 mv:4363 misc:3383 fcode:1 bcode:1 mc-var:176592 var:1246061 icount:18 skipcount:21 hbits:182;
in:654 out:654 type:1 q:1174 itex:233622 ptex:0 mv:0 misc:3028 fcode:1 bcode:1 mc-var:0 var:1153996 icount:972 skipcount:0 hbits:414;
in:655 out:655 type:2 q:1479 itex:7652 ptex:49484 mv:4328 misc:3586 fcode:2 bcode:1 mc-var:191839 var:1216315 icount:34 skipcount:3 hbits:182;
in:656 out:656 type:2 q:1509 itex:13210 ptex:62020 mv:4413 misc:3559 fcode:1 bcode:1 mc-var:267582 var:1263155 icount:47 skipcount:0 hbits:182;
in:657 out:657 type:2 q:1509 itex:9434 ptex:61810 mv:5013 misc:3457 fcode:2 bcode:1 mc-var:241235 var:1281436 icount:34 skipcount:4 hbits:182;
in:658 out:658 type:2 q:1482 itex:3338 ptex:71630 mv:4179 misc:3343 fcode:1 bcode:1 mc-var:202777 var:1298629 icount:17 skipcount:17 hbits:182;
in:659 out:659 type:2 q:1501 itex:5848 ptex:59615 mv:5068 misc:3351 fcode:2 bcode:1 mc-var:216545 var:1272968 icount:23 skipcount:19 hbits:182;
in:660 out:660 type:2 q:1485 itex:5455 ptex:61504 mv:4945 misc:3386 fcode:2 bcode:1 mc-var:206660 var:1291351 icount:21 skipcount:14 hbits:182;
in:661 out:661 type:2 q:1470 itex:4361 ptex:76165 mv:4892 misc:3296 fcode:2 bcode:1 mc-var:200199 var:1299418 icount:20 skipcount:12 hbits:182;
in:662 out:662 type:2 q:1489 itex:4296 ptex:56699 mv:4692 misc:3443 fcode:2 bcode:1 mc-var:189841 var:1253767 icount:24 skipcount:13 hbits:182;
in:663 out:663 type:2 q:1475 itex:4511 ptex:52989 mv:5365 misc:3473 fcode:3 bcode:1 mc-var:197202 var:1253471 icount:29 skipcount:11 hbits:182;
in:664 out:664 type:2 q:1432 itex:5965 ptex:61501 mv:4960 misc:3448 fcode:2 bcode:1 mc-var:185490 var:1204239 icount:34 skipcount:4 hbits:182;
in:665 out:665 type:2 q:1433 itex:7646 ptex:61364 mv:4874 misc:3454 fcode:2 bcode:1 mc-var:194033 var:1222182 icount:43 skipcount:1 hbits:182;
in:666 out:666 type:2 q:1450 itex:6136 ptex:68781 mv:4628 misc:3409 fcode:2 bcode:1 mc-var:208970 var:1200642 icount:34 skipcount:3 hbits:182;
in:667 out:667 type:2 q:1447 itex:3124 ptex:76423 mv:4408 misc:3319 fcode:1 bcode:1 mc-var:181953 var:1192378 icount:22 skipcount:2 hbits:182;
in:668 out:668 type:2 q:1449 itex:1275 ptex:71956 mv:4043 misc:3336 fcode:1 bcode:1 mc-var:155332 var:1200504 icount:8 skipcount:9 hbits:182;
in:669 out:669 type:1 q:1160 itex:259857 ptex:0 mv:0 misc:3025 fcode:1 bcode:1 mc-var:0 var:1194748 icount:972 skipcount:0 hbits:414;
in:670 out:670 type:2 q:1464 itex:621 ptex:65644 mv:3938 misc:3391 fcode:1 bcode:1 mc-var:140242 var:1173592 icount:4 skipcount:28 hbits:182;
in:671 out:671 type:2 q:1479 itex:320 ptex:58960 mv:4192 misc:3426 fcode:1 bcode:1 mc-var:149332 var:1157350 icount:1 skipcount:20 hbits:182;
in:672 out:672 type:2 q:1452 itex:467 ptex:68880 mv:3928 misc:3311 fcode:1 bcode:1 mc-var:139672 var:1151084 icount:3 skipcount:35 hbits:182;
in:673 out:673 type:2 q:1488 itex:1873 ptex:59108 mv:4336 misc:3437 fcode:1 bcode:1 mc-var:168301 var:1172073 icount:14 skipcount:7 hbits:182;
in:674 out:674 type:2 q:1460 itex:1915 ptex:68519 mv:4292 misc:3316 fcode:1 bcode:1 mc-var:150851 var:1191071 icount:10 skipcount:9 hbits:182;
in:675 out:675 type:2 q:1476 itex:1821 ptex:58637 mv:4526 misc:3458 fcode:1 bcode:1 mc-var:159966 var:1195336 icount:13 skipcount:17 hbits:182;
in:676 out:676 type:2 q:1461 itex:2155 ptex:72774 mv:4524 misc:3317 fcode:1 bcode:1 mc-var:158907 var:1182266 icount:15 skipcount:2 hbits:182;
in:677 out:677 type:2 q:1491 itex:853 ptex:58495 mv:4415 misc:3431 fcode:1 bcode:1 mc-var:169558 var:1175857 icount:3 skipcount:3 hbits:182;
in:678 out:678 type:2 q:1457 itex:478 ptex:73843 mv:4342 misc:3315 fcode:1 bcode:1 mc-var:153574 var:1191220 icount:2 skipcount:6 hbits:182;
in:679 out:679 type:2 q:1487 itex:1073 ptex:61331 mv:4424 misc:3414 fcode:1 bcode:1 mc-var:168713 var:1205679 icount:5 skipcount:11 hbits:182;
in:680 out:680 type:2 q:1473 itex:819 ptex:73272 mv:4379 misc:3300 fcode:1 bcode:1 mc-var:165002 var:1210136 icount:8 skipcount:1 hbits:182;
in:681 out:681 type:2 q:1473 itex:1143 ptex:71584 mv:4184 misc:3331 fcode:1 bcode:1 mc-var:151940 var:1201223 icount:5 skipcount:6 hbits:182;
in:682 out:682 type:2 q:1477 itex:1656 ptex:57275 mv:4189 misc:3458 fcode:1 bcode:1 mc-var:144160 var:1197461 icount:11 skipcount:2 hbits:182;
in:683 out:683 type:2 q:1446 itex:1082 ptex:70297 mv:4024 misc:3287 fcode:1 bcode:1 mc-var:139306 var:1199805 icount:5 skipcount:4 hbits:182;
in:684 out:684 type:1 q:1132 itex:254114 ptex:0 mv:0 misc:3024 fcode:1 bcode:1 mc-var:0 var:1200171 icount:972 skipcount:0 hbits:414;
in:685 out:685 type:2 q:1463 itex:268 ptex:63096 mv:3899 misc:3435 fcode:1 bcode:1 mc-var:132537 var:1195221 icount:2 skipcount:16 hbits:182;
in:686 out:686 type:2 q:1459 itex:1353 ptex:63398 mv:3769 misc:3418 fcode:1 bcode:1 mc-var:127599 var:1189082 icount:11 skipcount:30 hbits:182;
in:687 out:687 type:2 q:1454 itex:391 ptex:65184 mv:3792 misc:3371 fcode:1 bcode:1 mc-var:123108 var:1183790 icount:4 skipcount:21 hbits:182;
in:688 out:688 type:2 q:1475 itex:603 ptex:56300 mv:3775 misc:3420 fcode:1 bcode:1 mc-var:137756 var:1183907 icount:4 skipcount:30 hbits:182;
in:689 out:689 type:2 q:1460 itex:253 ptex:70125 mv:3896 misc:3344 fcode:1 bcode:1 mc-var:141915 var:1188268 icount:1 skipcount:20 hbits:182;
in:690 out:690 type:2 q:1483 itex:408 ptex:57752 mv:3928 misc:3386 fcode:1 bcode:1 mc-var:152339 var:1186859 icount:3 skipcount:26 hbits:182;
in:691 out:691 type:2 q:1460 itex:292 ptex:74374 mv:4023 misc:3289 fcode:1 bcode:1 mc-var:148869 var:1183742 icount:1 skipcount:17 hbits:182;
in:692 out:692 type:2 q:1486 itex:671 ptex:61140 mv:4132 misc:3435 fcode:1 bcode:1 mc-var:153581 var:1176030 icount:4 skipcount:17 hbits:182;
in:693 out:693 type:2 q:1479 itex:207 ptex:64905 mv:4120 misc:3402 fcode:1 bcode:1 mc-var:154976 var:1174429 icount:3 skipcount:14 hbits:182;
in:694 out:694 type:2 q:1475 itex:1248 ptex:64058 mv:4006 misc:3370 fcode:1 bcode:1 mc-var:157373 var:1173896 icount:6 skipcount:12 hbits:182;
in:695 out:695 type:2 q:1464 itex:875 ptex:77158 mv:4082 misc:3271 fcode:1 bcode:1 mc-var:152200 var:1179491 icount:5 skipcount:3 hbits:182;
in:696 out:696 type:2 q:1497 itex:603 ptex:60006 mv:3963 misc:3398 fcode:1 bcode:1 mc-var:156256 var:1196310 icount:4 skipcount:9 hbits:182;
in:697 out:697 type:2 q:1485 itex:1053 ptex:61669 mv:4058 misc:3390 fcode:1 bcode:1 mc-var:158730 var:1209306 icount:8 skipcount:9 hbits:182;
in:698 out:698 type:2 q:1477 itex:2476 ptex:62856 mv:4084 misc:3394 fcode:1 bcode:1 mc-var:168587 var:1221516 icount:15 skipcount:10 hbits:182;
in:699 out:699 type:1 q:1176 itex:255131 ptex:0 mv:0 misc:3031 fcode:1 bcode:1 mc-var:0 var:1225864 icount:972 skipcount:0 hbits:414;
in:700 out:700 type:2 q:1480 itex:3739 ptex:53512 mv:3976 misc:3599 fcode:1 bcode:1 mc-var:159396 var:1217040 icount:17 skipcount:5 hbits:182;
in:701 out:701 type:2 q:1498 itex:3822 ptex:59227 mv:4637 misc:3548 fcode:2 bcode:1 mc-var:199226 var:1217679 icount:28 skipcount:6 hbits:182;
in:702 out:702 type:2 q:1500 itex:4604 ptex:56878 mv:4975 misc:3513 fcode:2 bcode:1 mc-var:202326 var:1199599 icount:28 skipcount:3 hbits:182;
in:703 out:703 type:2 q:1459 itex:2637 ptex:72621 mv:5201 misc:3399 fcode:2 bcode:1 mc-var:166028 var:1211801 icount:17 skipcount:5 hbits:182;
in:704 out:704 type:2 q:1496 itex:2721 ptex:56186 mv:4718 misc:3489 fcode:2 bcode:1 mc-var:175440 var:1208505 icount:20 skipcount:18 hbits:182;
in:705 out:705 type:2 q:1449 itex:2049 ptex:63947 mv:3311 misc:3535 fcode:2 bcode:1 mc-var:139366 var:1218299 icount:15 skipcount:79 hbits:182;
in:706 out:706 type:2 q:1511 itex:1786 ptex:65511 mv:4888 misc:3433 fcode:2 bcode:1 mc-var:206148 var:1217371 icount:11 skipcount:31 hbits:182;
in:707 out:707 type:2 q:1544 itex:4312 ptex:67392 mv:5161 misc:3465 fcode:2 bcode:1 mc-var:229558 var:1229068 icount:16 skipcount:11 hbits:182;
in:708 out:708 type:2 q:1569 itex:6943 ptex:65676 mv:4903 misc:3432 fcode:2 bcode:1 mc-var:243843 var:1227703 icount:33 skipcount:10 hbits:182;
in:709 out:709 type:2 q:1551 itex:1875 ptex:70302 mv:4449 misc:3424 fcode:1 bcode:1 mc-var:204621 var:1239028 icount:19 skipcount:16 hbits:182;
in:710 out:710 type:2 q:1501 itex:1491 ptex:56611 mv:3581 misc:3495 fcode:1 bcode:1 mc-var:147251 var:1242116 icount:16 skipcount:66 hbits:182;
in:711 out:711 type:2 q:1485 itex:2300 ptex:59851 mv:4292 misc:3479 fcode:1 bcode:1 mc-var:168566 var:1236541 icount:18 skipcount:37 hbits:182;
in:712 out:712 type:2 q:1496 itex:2603 ptex:63403 mv:4900 misc:3472 fcode:1 bcode:1 mc-var:196495 var:1228155 icount:22 skipcount:11 hbits:182;
in:713 out:713 type:2 q:1499 itex:3751 ptex:62693 mv:4898 misc:3468 fcode:1 bcode:1 mc-var:199371 var:1238883 icount:22 skipcount:6 hbits:182;
in:714 out:714 type:1 q:1202 itex:239407 ptex:0 mv:0 misc:3067 fcode:1 bcode:1 mc-var:0 var:1250326 icount:972 skipcount:0 hbits:414;
in:715 out:715 type:2 q:1549 itex:11127 ptex:43794 mv:5143 misc:3778 fcode:2 bcode:1 mc-var:240417 var:1226185 icount:42 skipcount:2 hbits:182;
in:716 out:716 type:2 q:1497 itex:5981 ptex:54080 mv:5262 misc:3535 fcode:2 bcode:1 mc-var:196432 var:1256735 icount:27 skipcount:1 hbits:182;
in:717 out:717 type:2 q:1476 itex:4795 ptex:56354 mv:5376 misc:3501 fcode:2 bcode:1 mc-var:194457 var:1268911 icount:22 skipcount:2 hbits:182;
in:718 out:718 type:2 q:1465 itex:3806 ptex:69679 mv:5348 misc:3361 fcode:2 bcode:1 mc-var:189501 var:1255761 icount:19 skipcount:7 hbits:182;
in:719 out:719 type:2 q:1488 itex:2100 ptex:58079 mv:5334 misc:3545 fcode:2 bcode:1 mc-var:181017 var:1246756 icount:17 skipcount:11 hbits:182;
in:720 out:720 type:2 q:1498 itex:4466 ptex:56699 mv:5144 misc:3485 fcode:2 bcode:1 mc-var:197163 var:1239153 icount:22 skipcount:11 hbits:182;
in:721 out:721 type:2 q:1524 itex:10842 ptex:45799 mv:5303 misc:3626 fcode:2 bcode:1 mc-var:239282 var:1241213 icount:40 skipcount:3 hbits:182;
in:722 out:722 type:2 q:1503 itex:10352 ptex:43456 mv:6213 misc:3613 fcode:3 bcode:1 mc-var:238499 var:1192850 icount:48 skipcount:1 hbits:182;
in:723 out:723 type:2 q:1461 itex:11651 ptex:56876 mv:5806 misc:3517 fcode:3 bcode:1 mc-var:226316 var:1268843 icount:47 skipcount:1 hbits:182;
in:724 out:724 type:2 q:1491 itex:10078 ptex:51375 mv:5425 misc:3612 fcode:2 bcode:1 mc-var:257810 var:1299817 icount:47 skipcount:2 hbits:182;
in:725 out:725 type:2 q:1425 itex:4935 ptex:53306 mv:5990 misc:3427 fcode:3 bcode:1 mc-var:173056 var:1266538 icount:29 skipcount:7 hbits:182;
in:726 out:726 type:2 q:1408 itex:5253 ptex:56788 mv:5426 misc:3431 fcode:2 bcode:1 mc-var:176530 var:1283352 icount:39 skipcount:5 hbits:182;
in:727 out:727 type:2 q:1455 itex:8261 ptex:69005 mv:5443 misc:3477 fcode:2 bcode:1 mc-var:235059 var:1295658 icount:51 skipcount:7 hbits:182;
in:728 out:728 type:2 q:1530 itex:11690 ptex:55362 mv:5789 misc:3585 fcode:2 bcode:1 mc-var:278317 var:1303529 icount:57 skipcount:8 hbits:182;
in:729 out:729 type:1 q:1282 itex:230314 ptex:0 mv:0 misc:3024 fcode:2 bcode:1 mc-var:0 var:1332375 icount:972 skipcount:0 hbits:414;
in:730 out:730 type:2 q:1542 itex:9128 ptex:55792 mv:5972 misc:3614 fcode:3 bcode:1 mc-var:248512 var:1304013 icount:37 skipcount:12 hbits:182;
in:731 out:731 type:2 q:1567 itex:11155 ptex:57183 mv:6066 misc:3550 fcode:3 bcode:1 mc-var:281636 var:1296544 icount:39 skipcount:9 hbits:182;
in:732 out:732 type:2 q:1579 itex:10675 ptex:53132 mv:5997 misc:3622 fcode:3 bcode:1 mc-var:283766 var:1301888 icount:45 skipcount:9 hbits:182;
in:733 out:733 type:2 q:1568 itex:10849 ptex:50901 mv:6777 misc:3603 fcode:3 bcode:1 mc-var:275649 var:1239701 icount:51 skipcount:6 hbits:182;
in:734 out:734 type:2 q:1537 itex:9750 ptex:48733 mv:6192 misc:3591 fcode:3 bcode:1 mc-var:247008 var:1249877 icount:49 skipcount:5 hbits:182;
in:735 out:735 type:2 q:1525 itex:10053 ptex:53505 mv:6145 misc:3547 fcode:3 bcode:1 mc-var:265751 var:1312185 icount:45 skipcount:6 hbits:182;
in:736 out:736 type:2 q:1544 itex:11600 ptex:60343 mv:6374 misc:3517 fcode:3 bcode:1 mc-var:307063 var:1340487 icount:53 skipcount:4 hbits:182;
in:737 out:737 type:2 q:1562 itex:12014 ptex:65301 mv:6347 misc:3484 fcode:3 bcode:1 mc-var:301269 var:1413165 icount:56 skipcount:13 hbits:182;
in:738 out:738 type:2 q:1582 itex:10153 ptex:74296 mv:6214 misc:3451 fcode:3 bcode:1 mc-var:282300 var:1448462 icount:48 skipcount:16 hbits:182;
in:739 out:739 type:2 q:1585 itex:2202 ptex:71654 mv:5634 misc:3344 fcode:2 bcode:1 mc-var:220010 var:1426298 icount:16 skipcount:19 hbits:182;
in:740 out:740 type:2 q:1624 itex:3019 ptex:56501 mv:5761 misc:3441 fcode:2 bcode:1 mc-var:253722 var:1404125 icount:21 skipcount:20 hbits:182;
in:741 out:741 type:2 q:1592 itex:2607 ptex:56649 mv:5868 misc:3422 fcode:2 bcode:1 mc-var:239918 var:1393621 icount:27 skipcount:24 hbits:182;
in:742 out:742 type:2 q:1543 itex:2597 ptex:67709 mv:5694 misc:3386 fcode:2 bcode:1 mc-var:218515 var:1345584 icount:22 skipcount:26 hbits:182;
in:743 out:743 type:2 q:1574 itex:4829 ptex:72371 mv:6275 misc:3407 fcode:3 bcode:1 mc-var:261623 var:1377801 icount:33 skipcount:18 hbits:182;
in:744 out:744 type:1 q:1283 itex:238803 ptex:0 mv:0 misc:3023 fcode:3 bcode:1 mc-var:0 var:1348101 icount:972 skipcount:0 hbits:414;
in:745 out:745 type:2 q:1675 itex:12907 ptex:54590 mv:6277 misc:3700 fcode:3 bcode:1 mc-var:347428 var:1370149 icount:59 skipcount:20 hbits:182;
in:746 out:746 type:2 q:1684 itex:12281 ptex:59096 mv:6160 misc:3609 fcode:3 bcode:1 mc-var:339419 var:1370136 icount:57 skipcount:23 hbits:182;
in:747 out:747 type:2 q:1687 itex:12803 ptex:59211 mv:6360 misc:3556 fcode:3 bcode:1 mc-var:336875 var:1402569 icount:57 skipcount:19 hbits:182;
in:748 out:748 type:2 q:1688 itex:10942 ptex:62328 mv:6206 misc:3550 fcode:3 bcode:1 mc-var:333270 var:1405866 icount:56 skipcount:19 hbits:182;
in:749 out:749 type:2 q:1680 itex:10958 ptex:68695 mv:5731 misc:3554 fcode:3 bcode:1 mc-var:305321 var:1418677 icount:58 skipcount:20 hbits:182;
in:750 out:750 type:2 q:1755 itex:10654 ptex:69197 mv:5963 misc:3524 fcode:3 bcode:1 mc-var:415446 var:1485737 icount:46 skipcount:31 hbits:182;
in:751 out:751 type:2 q:1753 itex:8428 ptex:75627 mv:5760 misc:3499 fcode:3 bcode:1 mc-var:354790 var:1483589 icount:39 skipcount:28 hbits:182;
in:752 out:752 type:2 q:1770 itex:4199 ptex:81936 mv:5748 misc:3423 fcode:3 bcode:1 mc-var:347643 var:1477145 icount:26 skipcount:36 hbits:182;
in:753 out:753 type:2 q:1766 itex:4386 ptex:72078 mv:5322 misc:3408 fcode:3 bcode:1 mc-var:290933 var:1479170 icount:33 skipcount:56 hbits:182;
in:754 out:754 type:2 q:1737 itex:1723 ptex:71089 mv:5164 misc:3402 fcode:3 bcode:1 mc-var:245537 var:1487326 icount:27 skipcount:59 hbits:182;
in:755 out:755 type:2 q:1752 itex:4141 ptex:68848 mv:5298 misc:3427 fcode:3 bcode:1 mc-var:284720 var:1466685 icount:33 skipcount:47 hbits:182;
in:756 out:756 type:2 q:1751 itex:3158 ptex:69447 mv:5233 misc:3388 fcode:3 bcode:1 mc-var:287062 var:1483883 icount:25 skipcount:41 hbits:182;
in:757 out:757 type:2 q:1717 itex:2252 ptex:69200 mv:5344 misc:3350 fcode:3 bcode:1 mc-var:245452 var:1456720 icount:22 skipcount:47 hbits:182;
in:758 out:758 type:2 q:1703 itex:2159 ptex:79477 mv:5498 misc:3356 fcode:3 bcode:1 mc-var:240530 var:1453998 icount:24 skipcount:43 hbits:182;
in:759 out:759 type:1 q:1351 itex:273174 ptex:0 mv:0 misc:3020 fcode:3 bcode:1 mc-var:0 var:1445663 icount:972 skipcount:0 hbits:414;
in:760 out:760 type:2 q:1740 itex:2368 ptex:61525 mv:5266 misc:3603 fcode:3 bcode:1 mc-var:225773 var:1397706 icount:23 skipcount:47 hbits:182;
in:761 out:761 type:2 q:1750 itex:1289 ptex:66030 mv:4995 misc:3432 fcode:3 bcode:1 mc-var:247762 var:1384074 icount:22 skipcount:56 hbits:182;
in:762 out:762 type:2 q:1746 itex:2578 ptex:62214 mv:4888 misc:3442 fcode:3 bcode:1 mc-var:249971 var:1367017 icount:35 skipcount:44 hbits:182;
in:763 out:763 type:2 q:1728 itex:1899 ptex:69749 mv:5468 misc:3478 fcode:3 bcode:1 mc-var:245051 var:1372688 icount:34 skipcount:30 hbits:182;
in:764 out:764 type:2 q:1742 itex:3106 ptex:68172 mv:5536 misc:3484 fcode:3 bcode:1 mc-var:258838 var:1360542 icount:45 skipcount:27 hbits:182;
in:765 out:765 type:2 q:1768 itex:2786 ptex:68863 mv:5762 misc:3447 fcode:3 bcode:1 mc-var:285911 var:1332111 icount:34 skipcount:38 hbits:182;
in:766 out:766 type:2 q:1774 itex:4123 ptex:65334 mv:5557 misc:3524 fcode:3 bcode:1 mc-var:284851 var:1321094 icount:41 skipcount:43 hbits:182;
in:767 out:767 type:2 q:1719 itex:3690 ptex:59147 mv:5448 misc:3581 fcode:3 bcode:1 mc-var:210222 var:1286836 icount:46 skipcount:35 hbits:182;
in:768 out:768 type:2 q:1725 itex:5155 ptex:56682 mv:6025 misc:3652 fcode:3 bcode:1 mc-var:253306 var:1250745 icount:61 skipcount:26 hbits:182;
in:769 out:769 type:2 q:1695 itex:5739 ptex:57924 mv:6283 misc:3600 fcode:3 bcode:1 mc-var:232851 var:1178292 icount:66 skipcount:20 hbits:182;
in:770 out:770 type:2 q:1683 itex:5784 ptex:55823 mv:6356 misc:3607 fcode:3 bcode:1 mc-var:234383 var:1179230 icount:62 skipcount:25 hbits:182;
in:771 out:771 type:2 q:1667 itex:4729 ptex:68494 mv:6297 misc:3506 fcode:3 bcode:1 mc-var:231553 var:1188969 icount:50 skipcount:16 hbits:182;
in:772 out:772 type:2 q:1688 itex:6015 ptex:69899 mv:5648 misc:3504 fcode:3 bcode:1 mc-var:232980 var:1209942 icount:58 skipcount:21 hbits:182;
in:773 out:773 type:2 q:1706 itex:3812 ptex:63812 mv:5395 misc:3447 fcode:3 bcode:1 mc-var:218714 var:1219784 icount:33 skipcount:42 hbits:182;
in:774 out:774 type:1 q:1379 itex:231014 ptex:0 mv:0 misc:3036 fcode:3 bcode:1 mc-var:0 var:1227281 icount:972 skipcount:0 hbits:414;
in:775 out:775 type:2 q:1692 itex:2177 ptex:61961 mv:5458 misc:3550 fcode:3 bcode:1 mc-var:177844 var:1224579 icount:20 skipcount:24 hbits:182;
in:776 out:776 type:2 q:1728 itex:2068 ptex:59203 mv:5310 misc:3469 fcode:3 bcode:1 mc-var:220097 var:1241850 icount:19 skipcount:45 hbits:182;
in:777 out:777 type:2 q:1712 itex:1604 ptex:62188 mv:5067 misc:3455 fcode:3 bcode:1 mc-var:207911 var:1259478 icount:18 skipcount:57 hbits:182;
in:778 out:778 type:2 q:1678 itex:1449 ptex:69226 mv:5370 misc:3373 fcode:3 bcode:1 mc-var:178757 var:1249066 icount:16 skipcount:36 hbits:182;
in:779 out:779 type:2 q:1711 itex:1674 ptex:54648 mv:4974 misc:3410 fcode:3 bcode:1 mc-var:199062 var:1245859 icount:19 skipcount:46 hbits:182;
in:780 out:780 type:2 q:1703 itex:2340 ptex:64872 mv:4588 misc:3378 fcode:2 bcode:1 mc-var:216619 var:1240283 icount:27 skipcount:30 hbits:182;
in:781 out:781 type:2 q:1666 itex:1465 ptex:67026 mv:4587 misc:3348 fcode:1 bcode:1 mc-var:172510 var:1234319 icount:14 skipcount:33 hbits:182;
in:782 out:782 type:2 q:1665 itex:1205 ptex:64422 mv:4498 misc:3325 fcode:1 bcode:1 mc-var:167035 var:1223299 icount:14 skipcount:39 hbits:182;
in:783 out:783 type:2 q:1647 itex:1162 ptex:55815 mv:3445 misc:3556 fcode:1 bcode:1 mc-var:147651 var:1201588 icount:12 skipcount:60 hbits:182;
in:784 out:784 type:2 q:1645 itex:662 ptex:64375 mv:3723 misc:3490 fcode:1 bcode:1 mc-var:171635 var:1184373 icount:13 skipcount:60 hbits:182;
in:785 out:785 type:2 q:1672 itex:843 ptex:66567 mv:4134 misc:3434 fcode:1 bcode:1 mc-var:199184 var:1171355 icount:12 skipcount:52 hbits:182;
in:786 out:786 type:2 q:1655 itex:142 ptex:64782 mv:4335 misc:3415 fcode:1 bcode:1 mc-var:171156 var:1165383 icount:3 skipcount:50 hbits:182;
in:787 out:787 type:2 q:1682 itex:630 ptex:68475 mv:4267 misc:3390 fcode:1 bcode:1 mc-var:205415 var:1166347 icount:8 skipcount:51 hbits:182;
in:788 out:788 type:2 q:1684 itex:565 ptex:62240 mv:3761 misc:3428 fcode:1 bcode:1 mc-var:195655 var:1160380 icount:11 skipcount:79 hbits:182;
in:789 out:789 type:1 q:1350 itex:240435 ptex:0 mv:0 misc:3031 fcode:1 bcode:1 mc-var:0 var:1154667 icount:972 skipcount:0 hbits:414;
in:790 out:790 type:2 q:1625 itex:425 ptex:52079 mv:4039 misc:3531 fcode:1 bcode:1 mc-var:131872 var:1149779 icount:4 skipcount:70 hbits:182;
in:791 out:791 type:2 q:1615 itex:633 ptex:56420 mv:4402 misc:3475 fcode:1 bcode:1 mc-var:155235 var:1142469 icount:5 skipcount:63 hbits:182;
in:792 out:792 type:2 q:1581 itex:851 ptex:64103 mv:4306 misc:3374 fcode:1 bcode:1 mc-var:135383 var:1122912 icount:10 skipcount:54 hbits:182;
in:793 out:793 type:2 q:1626 itex:1166 ptex:53914 mv:4374 misc:3468 fcode:1 bcode:1 mc-var:163288 var:1112110 icount:13 skipcount:57 hbits:182;
in:794 out:794 type:2 q:1640 itex:1795 ptex:54792 mv:4539 misc:3508 fcode:1 bcode:1 mc-var:187814 var:1097057 icount:20 skipcount:44 hbits:182;
in:795 out:795 type:2 q:1625 itex:1708 ptex:60829 mv:4932 misc:3485 fcode:1 bcode:1 mc-var:188037 var:1081291 icount:27 skipcount:27 hbits:182;
in:796 out:796 type:2 q:1613 itex:1618 ptex:57005 mv:4544 misc:3459 fcode:1 bcode:1 mc-var:175122 var:1063440 icount:17 skipcount:44 hbits:182;
in:797 out:797 type:2 q:1595 itex:2864 ptex:53399 mv:4482 misc:3441 fcode:1 bcode:1 mc-var:168250 var:1045054 icount:20 skipcount:70 hbits:182;
in:798 out:798 type:2 q:1579 itex:2782 ptex:69948 mv:4909 misc:3427 fcode:1 bcode:1 mc-var:170789 var:1054283 icount:32 skipcount:28 hbits:182;
in:799 out:799 type:2 q:1599 itex:2159 ptex:51927 mv:4494 misc:3558 fcode:1 bcode:1 mc-var:156777 var:1036185 icount:24 skipcount:41 hbits:182;
in:800 out:800 type:2 q:1569 itex:2224 ptex:61905 mv:4602 misc:3527 fcode:1 bcode:1 mc-var:146915 var:1010348 icount:28 skipcount:28 hbits:182;
in:801 out:801 type:2 q:1597 itex:1269 ptex:52651 mv:5173 misc:3573 fcode:2 bcode:1 mc-var:167292 var:1027397 icount:18 skipcount:32 hbits:182;
in:802 out:802 type:2 q:1575 itex:2470 ptex:63192 mv:5319 misc:3445 fcode:2 bcode:1 mc-var:163151 var:1036303 icount:29 skipcount:16 hbits:182;
in:803 out:803 type:2 q:1599 itex:1378 ptex:54003 mv:5287 misc:3510 fcode:2 bcode:1 mc-var:176904 var:1022627 icount:14 skipcount:23 hbits:182;
in:804 out:804 type:1 q:1299 itex:221535 ptex:0 mv:0 misc:3019 fcode:2 bcode:1 mc-var:0 var:1055549 icount:972 skipcount:0 hbits:414;
in:805 out:805 type:2 q:1564 itex:463 ptex:59942 mv:5244 misc:3617 fcode:2 bcode:1 mc-var:141630 var:1056722 icount:3 skipcount:22 hbits:182;
in:806 out:806 type:2 q:1594 itex:1072 ptex:47309 mv:4659 misc:3674 fcode:1 bcode:1 mc-var:165877 var:1066405 icount:13 skipcount:35 hbits:182;
in:807 out:807 type:2 q:1571 itex:1541 ptex:64815 mv:4725 misc:3473 fcode:2 bcode:1 mc-var:173484 var:1078913 icount:10 skipcount:37 hbits:182;
in:808 out:808 type:2 q:1633 itex:4502 ptex:53786 mv:4975 misc:3571 fcode:2 bcode:1 mc-var:224084 var:1067431 icount:19 skipcount:22 hbits:182;
in:809 out:809 type:2 q:1630 itex:3401 ptex:58140 mv:5184 misc:3581 fcode:2 bcode:1 mc-var:220435 var:1064491 icount:20 skipcount:23 hbits:182;
in:810 out:810 type:2 q:1590 itex:1732 ptex:67351 mv:4864 misc:3479 fcode:2 bcode:1 mc-var:177436 var:1074982 icount:12 skipcount:30 hbits:182;
in:811 out:811 type:2 q:1624 itex:2606 ptex:51923 mv:4582 misc:3651 fcode:2 bcode:1 mc-var:196122 var:1042695 icount:20 skipcount:39 hbits:182;