in:0 out:0 type:1 q:480 itex:294544 ptex:0 mv:0 misc:17316 fcode:1 bcode:1 mc-var:0 var:1300795 icount:2850;
in:1 out:1 type:2 q:327 itex:203689 ptex:12330 mv:397 misc:21304 fcode:1 bcode:1 mc-var:46275914 var:2659278 icount:1953;
in:2 out:2 type:2 q:269 itex:35784 ptex:94429 mv:1192 misc:5947 fcode:1 bcode:1 mc-var:750012 var:2816163 icount:57;
in:3 out:3 type:2 q:255 itex:109830 ptex:63636 mv:538 misc:13356 fcode:1 bcode:1 mc-var:2301837 var:3488315 icount:991;
in:4 out:4 type:2 q:250 itex:108292 ptex:46039 mv:612 misc:12905 fcode:1 bcode:1 mc-var:335347 var:3501460 icount:963;
in:5 out:5 type:2 q:247 itex:17998 ptex:27192 mv:343 misc:3587 fcode:1 bcode:1 mc-var:88034 var:3518293 icount:13;
in:6 out:6 type:2 q:246 itex:58313 ptex:82138 mv:965 misc:12416 fcode:1 bcode:1 mc-var:1009320 var:3279892 icount:857;
in:7 out:7 type:2 q:244 itex:45309 ptex:45767 mv:374 misc:11662 fcode:1 bcode:1 mc-var:386744 var:3099379 icount:848;
in:8 out:8 type:2 q:244 itex:110290 ptex:145939 mv:1658 misc:13777 fcode:1 bcode:1 mc-var:482102 var:2962765 icount:947;
in:9 out:9 type:2 q:243 itex:76342 ptex:45455 mv:1181 misc:11174 fcode:1 bcode:1 mc-var:91708 var:2945923 icount:511;
in:10 out:10 type:2 q:243 itex:179728 ptex:176470 mv:2038 misc:14988 fcode:1 bcode:1 mc-var:718423 var:2964844 icount:1012;
in:11 out:11 type:2 q:243 itex:65153 ptex:193006 mv:2607 misc:8242 fcode:1 bcode:1 mc-var:242176 var:2990788 icount:143;
in:12 out:12 type:2 q:243 itex:185610 ptex:148034 mv:2473 misc:10051 fcode:1 bcode:1 mc-var:502745 var:2995285 icount:350;
in:13 out:13 type:2 q:243 itex:167925 ptex:115530 mv:1460 misc:13885 fcode:1 bcode:1 mc-var:301192 var:2982480 icount:835;
in:14 out:14 type:2 q:243 itex:273634 ptex:92760 mv:1169 misc:14757 fcode:1 bcode:1 mc-var:852573 var:3283770 icount:976;
in:15 out:15 type:2 q:243 itex:151583 ptex:97020 mv:892 misc:13049 fcode:1 bcode:1 mc-var:145541 var:3273887 icount:804;
in:16 out:16 type:2 q:243 itex:204167 ptex:196723 mv:3028 misc:12570 fcode:1 bcode:1 mc-var:446619 var:3212983 icount:509;
in:17 out:17 type:2 q:243 itex:314331 ptex:133019 mv:1767 misc:14947 fcode:1 bcode:1 mc-var:1352944 var:3011957 icount:890;
in:18 out:18 type:2 q:243 itex:272237 ptex:229602 mv:1874 misc:14639 fcode:1 bcode:1 mc-var:327748 var:3113343 icount:772;
in:19 out:19 type:2 q:243 itex:229827 ptex:240561 mv:2096 misc:14540 fcode:1 bcode:1 mc-var:165603 var:3178603 icount:630;
in:20 out:20 type:2 q:244 itex:372743 ptex:265400 mv:1981 misc:15428 fcode:1 bcode:1 mc-var:643925 var:3192258 icount:794;
in:21 out:21 type:2 q:244 itex:241775 ptex:363699 mv:2465 misc:14069 fcode:1 bcode:1 mc-var:266645 var:3331229 icount:451;
in:22 out:22 type:2 q:245 itex:327557 ptex:386031 mv:2506 misc:14466 fcode:1 bcode:1 mc-var:304544 var:3415399 icount:488;
in:23 out:23 type:2 q:245 itex:306421 ptex:461359 mv:2749 misc:15191 fcode:1 bcode:1 mc-var:288310 var:3490450 icount:420;
in:24 out:24 type:2 q:245 itex:498097 ptex:536601 mv:3810 misc:17548 fcode:1 bcode:1 mc-var:404235 var:3252948 icount:805;
in:25 out:25 type:2 q:246 itex:421661 ptex:571078 mv:3050 misc:16131 fcode:1 bcode:1 mc-var:436680 var:3383684 icount:476;
in:26 out:26 type:2 q:247 itex:912611 ptex:523891 mv:3989 misc:18637 fcode:1 bcode:1 mc-var:1339210 var:3073927 icount:1216;
in:27 out:27 type:2 q:248 itex:429555 ptex:716434 mv:2776 misc:16083 fcode:1 bcode:1 mc-var:478857 var:3186651 icount:477;
in:28 out:28 type:2 q:249 itex:466970 ptex:740479 mv:3011 misc:16476 fcode:1 bcode:1 mc-var:456683 var:3219409 icount:513;
in:29 out:29 type:2 q:250 itex:355624 ptex:797409 mv:3261 misc:15626 fcode:1 bcode:1 mc-var:488154 var:3321044 icount:343;
in:30 out:30 type:2 q:252 itex:600214 ptex:825789 mv:3489 misc:18916 fcode:1 bcode:1 mc-var:1129855 var:3369641 icount:804;
in:31 out:31 type:2 q:253 itex:273111 ptex:783453 mv:3197 misc:15071 fcode:1 bcode:1 mc-var:360712 var:3413900 icount:276;
in:32 out:32 type:2 q:255 itex:269376 ptex:837940 mv:3300 misc:14808 fcode:1 bcode:1 mc-var:394728 var:3518000 icount:252;
in:33 out:33 type:2 q:257 itex:260892 ptex:883971 mv:3283 misc:14726 fcode:1 bcode:1 mc-var:418969 var:3699790 icount:262;
in:34 out:34 type:2 q:259 itex:195388 ptex:899893 mv:3153 misc:14398 fcode:1 bcode:1 mc-var:344446 var:3750379 icount:186;
in:35 out:35 type:2 q:261 itex:253891 ptex:933903 mv:3304 misc:14990 fcode:1 bcode:1 mc-var:415743 var:3814796 icount:256;
in:36 out:36 type:2 q:264 itex:690507 ptex:779659 mv:2410 misc:17368 fcode:1 bcode:1 mc-var:748939 var:3883732 icount:867;
in:37 out:37 type:2 q:267 itex:174899 ptex:890036 mv:3148 misc:14749 fcode:1 bcode:1 mc-var:327508 var:3883127 icount:185;
in:38 out:38 type:2 q:271 itex:211266 ptex:901885 mv:3298 misc:14759 fcode:1 bcode:1 mc-var:384533 var:3891082 icount:173;
in:39 out:39 type:2 q:275 itex:148817 ptex:934174 mv:3512 misc:14833 fcode:1 bcode:1 mc-var:348133 var:3967812 icount:137;
in:40 out:40 type:2 q:283 itex:291595 ptex:1002968 mv:4380 misc:17305 fcode:1 bcode:1 mc-var:1067843 var:4063492 icount:308;
in:41 out:41 type:2 q:289 itex:159247 ptex:928161 mv:3530 misc:15126 fcode:1 bcode:1 mc-var:356693 var:4114140 icount:143;
in:42 out:42 type:2 q:298 itex:159624 ptex:711714 mv:3346 misc:14780 fcode:1 bcode:1 mc-var:416628 var:4137297 icount:166;
in:43 out:43 type:2 q:308 itex:171390 ptex:795845 mv:3676 misc:15305 fcode:1 bcode:1 mc-var:405981 var:4231153 icount:187;
in:44 out:44 type:2 q:319 itex:97530 ptex:739731 mv:3372 misc:14663 fcode:1 bcode:1 mc-var:322465 var:4239528 icount:124;
in:45 out:45 type:2 q:334 itex:116516 ptex:786042 mv:3250 misc:14568 fcode:1 bcode:1 mc-var:346904 var:4243105 icount:128;
in:46 out:46 type:2 q:354 itex:117471 ptex:819635 mv:3402 misc:14748 fcode:1 bcode:1 mc-var:367186 var:4312107 icount:140;
in:47 out:47 type:2 q:379 itex:491560 ptex:734491 mv:4251 misc:15866 fcode:1 bcode:1 mc-var:505852 var:4277947 icount:461;
in:48 out:48 type:2 q:410 itex:194822 ptex:874828 mv:5174 misc:15840 fcode:1 bcode:1 mc-var:474929 var:3943020 icount:241;
in:49 out:49 type:2 q:447 itex:164198 ptex:713101 mv:3205 misc:14600 fcode:1 bcode:1 mc-var:516827 var:3920408 icount:194;
in:50 out:50 type:2 q:491 itex:173786 ptex:721672 mv:3837 misc:16225 fcode:1 bcode:1 mc-var:919480 var:4058993 icount:268;
in:51 out:51 type:2 q:541 itex:68185 ptex:575086 mv:3571 misc:13782 fcode:1 bcode:1 mc-var:393083 var:4140364 icount:65;
in:52 out:52 type:2 q:598 itex:79315 ptex:588226 mv:3635 misc:14008 fcode:1 bcode:1 mc-var:401461 var:4140746 icount:76;
in:53 out:53 type:2 q:661 itex:84114 ptex:488668 mv:3645 misc:13837 fcode:1 bcode:1 mc-var:398731 var:4156607 icount:78;
in:54 out:54 type:2 q:730 itex:90961 ptex:516392 mv:3782 misc:13945 fcode:1 bcode:1 mc-var:502443 var:4283445 icount:93;
in:55 out:55 type:2 q:805 itex:47381 ptex:455458 mv:3891 misc:13838 fcode:1 bcode:1 mc-var:479686 var:4330832 icount:50;
in:56 out:56 type:2 q:884 itex:39772 ptex:446812 mv:3626 misc:13718 fcode:1 bcode:1 mc-var:399844 var:4293678 icount:45;
in:57 out:57 type:2 q:967 itex:39415 ptex:436092 mv:3792 misc:13893 fcode:1 bcode:1 mc-var:530464 var:4388944 icount:74;
in:58 out:58 type:2 q:1053 itex:41497 ptex:326905 mv:4330 misc:13740 fcode:1 bcode:1 mc-var:452110 var:4381889 icount:51;
in:59 out:59 type:2 q:1140 itex:37540 ptex:271080 mv:3854 misc:13174 fcode:1 bcode:1 mc-var:435394 var:4434728 icount:49;
in:60 out:60 type:2 q:1229 itex:74952 ptex:295636 mv:3983 misc:14589 fcode:1 bcode:1 mc-var:750227 var:4471899 icount:164;
in:61 out:61 type:2 q:1319 itex:19190 ptex:253832 mv:4348 misc:13454 fcode:1 bcode:1 mc-var:447742 var:4579525 icount:28;
in:62 out:62 type:2 q:1408 itex:12411 ptex:218648 mv:4101 misc:12656 fcode:1 bcode:1 mc-var:452077 var:4604289 icount:17;
in:63 out:63 type:2 q:1486 itex:17332 ptex:168617 mv:3662 misc:12229 fcode:1 bcode:1 mc-var:444967 var:4595662 icount:29;
in:64 out:64 type:2 q:1555 itex:22215 ptex:214146 mv:4806 misc:13329 fcode:1 bcode:1 mc-var:524729 var:4543357 icount:41;
in:65 out:65 type:2 q:1614 itex:10700 ptex:182266 mv:4517 misc:12701 fcode:1 bcode:1 mc-var:503069 var:4552778 icount:16;
in:66 out:66 type:2 q:1666 itex:13502 ptex:172218 mv:3979 misc:12669 fcode:1 bcode:1 mc-var:483750 var:4517605 icount:23;
in:67 out:67 type:2 q:1711 itex:5269 ptex:144246 mv:3580 misc:11849 fcode:1 bcode:1 mc-var:450193 var:4539178 icount:9;
in:68 out:68 type:2 q:1750 itex:7152 ptex:154493 mv:3621 misc:11918 fcode:1 bcode:1 mc-var:513278 var:4586271 icount:12;
in:69 out:69 type:2 q:1783 itex:10859 ptex:157185 mv:3692 misc:12008 fcode:1 bcode:1 mc-var:533613 var:4631281 icount:18;
in:70 out:70 type:2 q:1810 itex:40061 ptex:177655 mv:5016 misc:14388 fcode:1 bcode:1 mc-var:842229 var:4578585 icount:127;
in:71 out:71 type:2 q:1833 itex:13289 ptex:157803 mv:3893 misc:12223 fcode:1 bcode:1 mc-var:590937 var:4591013 icount:29;
in:72 out:72 type:2 q:1851 itex:9979 ptex:130982 mv:3723 misc:11780 fcode:1 bcode:1 mc-var:552288 var:4663295 icount:19;
in:73 out:73 type:2 q:1865 itex:6171 ptex:137638 mv:5669 misc:13114 fcode:1 bcode:1 mc-var:550917 var:4304723 icount:18;
in:74 out:74 type:2 q:1876 itex:5727 ptex:135542 mv:4148 misc:12055 fcode:1 bcode:1 mc-var:521817 var:4289517 icount:10;
in:75 out:75 type:2 q:1883 itex:4696 ptex:126440 mv:3616 misc:11608 fcode:1 bcode:1 mc-var:506559 var:4312861 icount:7;
in:76 out:76 type:2 q:1886 itex:7707 ptex:130286 mv:3782 misc:11985 fcode:1 bcode:1 mc-var:555628 var:4343868 icount:11;
in:77 out:77 type:2 q:1887 itex:6648 ptex:150115 mv:3986 misc:12243 fcode:1 bcode:1 mc-var:584455 var:4343419 icount:10;
in:78 out:78 type:2 q:1884 itex:7794 ptex:133420 mv:3708 misc:12318 fcode:1 bcode:1 mc-var:547094 var:4309875 icount:14;
in:79 out:79 type:2 q:1878 itex:6598 ptex:185335 mv:3993 misc:12610 fcode:1 bcode:1 mc-var:677668 var:4265044 icount:24;
in:80 out:80 type:2 q:1869 itex:46848 ptex:186098 mv:5248 misc:14822 fcode:1 bcode:1 mc-var:1252347 var:4353207 icount:175;
in:81 out:81 type:2 q:1858 itex:12793 ptex:130766 mv:3848 misc:12129 fcode:1 bcode:1 mc-var:537963 var:4354245 icount:26;
in:82 out:82 type:2 q:1844 itex:10850 ptex:133461 mv:3845 misc:11836 fcode:1 bcode:1 mc-var:554331 var:4395304 icount:19;
in:83 out:83 type:2 q:1831 itex:9747 ptex:128657 mv:3583 misc:11613 fcode:1 bcode:1 mc-var:548031 var:4394459 icount:18;
in:84 out:84 type:2 q:1817 itex:1953 ptex:166559 mv:4127 misc:12889 fcode:1 bcode:1 mc-var:521472 var:4467099 icount:3;
in:85 out:85 type:2 q:1804 itex:9024 ptex:146715 mv:3861 misc:12352 fcode:1 bcode:1 mc-var:498713 var:4425236 icount:19;
in:86 out:86 type:2 q:1792 itex:220720 ptex:139426 mv:5441 misc:15597 fcode:1 bcode:1 mc-var:1721805 var:4161190 icount:554;
in:87 out:87 type:2 q:1779 itex:8818 ptex:176419 mv:3994 misc:12577 fcode:1 bcode:1 mc-var:604426 var:4140827 icount:27;
in:88 out:88 type:2 q:1766 itex:9110 ptex:213014 mv:3952 misc:12708 fcode:1 bcode:1 mc-var:725512 var:4102412 icount:32;
in:89 out:89 type:2 q:1753 itex:9540 ptex:159032 mv:3824 misc:12580 fcode:1 bcode:1 mc-var:574188 var:4232079 icount:17;
in:90 out:90 type:2 q:1741 itex:13733 ptex:190403 mv:3656 misc:12528 fcode:1 bcode:1 mc-var:690479 var:4340154 icount:37;
in:91 out:91 type:2 q:1728 itex:14053 ptex:160801 mv:4381 misc:12973 fcode:1 bcode:1 mc-var:589025 var:4304560 icount:22;
in:92 out:92 type:2 q:1716 itex:11949 ptex:162634 mv:4004 misc:12509 fcode:1 bcode:1 mc-var:561606 var:4341728 icount:18;
in:93 out:93 type:2 q:1703 itex:10958 ptex:188731 mv:3963 misc:13284 fcode:1 bcode:1 mc-var:552195 var:4409082 icount:18;
in:94 out:94 type:2 q:1691 itex:13609 ptex:157363 mv:3589 misc:12399 fcode:1 bcode:1 mc-var:502568 var:4436246 icount:22;
in:95 out:95 type:2 q:1679 itex:13229 ptex:157769 mv:3585 misc:12465 fcode:1 bcode:1 mc-var:542351 var:4442831 icount:25;
in:96 out:96 type:2 q:1666 itex:9504 ptex:172943 mv:3695 misc:12586 fcode:1 bcode:1 mc-var:531043 var:4422753 icount:16;
in:97 out:97 type:2 q:1654 itex:14667 ptex:153999 mv:3479 misc:12327 fcode:1 bcode:1 mc-var:531222 var:4489104 icount:23;
in:98 out:98 type:2 q:1642 itex:18442 ptex:170078 mv:3392 misc:12240 fcode:1 bcode:1 mc-var:560641 var:4540935 icount:30;
in:99 out:99 type:2 q:1631 itex:11853 ptex:181024 mv:5383 misc:13940 fcode:1 bcode:1 mc-var:563146 var:4222538 icount:18;
in:100 out:100 type:2 q:1619 itex:9060 ptex:163960 mv:3703 misc:12653 fcode:1 bcode:1 mc-var:524079 var:4231582 icount:14;
in:101 out:101 type:2 q:1607 itex:40775 ptex:160866 mv:3684 misc:13675 fcode:1 bcode:1 mc-var:989960 var:4349678 icount:117;
in:102 out:102 type:2 q:1596 itex:12994 ptex:168836 mv:3802 misc:13168 fcode:1 bcode:1 mc-var:539101 var:4266452 icount:22;
in:103 out:103 type:2 q:1584 itex:12591 ptex:187403 mv:3654 misc:13688 fcode:1 bcode:1 mc-var:506836 var:4310968 icount:20;
in:104 out:104 type:2 q:1573 itex:17465 ptex:202458 mv:3547 misc:12810 fcode:1 bcode:1 mc-var:611586 var:4386392 icount:26;
in:105 out:105 type:2 q:1562 itex:11145 ptex:203825 mv:3863 misc:12791 fcode:1 bcode:1 mc-var:555215 var:4394179 icount:17;
in:106 out:106 type:2 q:1551 itex:8799 ptex:179877 mv:3598 misc:12598 fcode:1 bcode:1 mc-var:471572 var:4412075 icount:13;
in:107 out:107 type:2 q:1540 itex:17229 ptex:173796 mv:3686 misc:12697 fcode:1 bcode:1 mc-var:504774 var:4462554 icount:25;
in:108 out:108 type:2 q:1529 itex:13970 ptex:183852 mv:3673 misc:12753 fcode:1 bcode:1 mc-var:508413 var:4472177 icount:22;
in:109 out:109 type:2 q:1519 itex:9148 ptex:178190 mv:3740 misc:12650 fcode:1 bcode:1 mc-var:475868 var:4482728 icount:13;
in:110 out:110 type:2 q:1508 itex:207217 ptex:177354 mv:3795 misc:13298 fcode:1 bcode:1 mc-var:658897 var:4432554 icount:330;
in:111 out:111 type:2 q:1498 itex:18210 ptex:206460 mv:3724 misc:12838 fcode:1 bcode:1 mc-var:559030 var:4570413 icount:27;
in:112 out:112 type:2 q:1488 itex:16896 ptex:193566 mv:3779 misc:13087 fcode:1 bcode:1 mc-var:512770 var:4607347 icount:25;
in:113 out:113 type:2 q:1478 itex:14258 ptex:194369 mv:3747 misc:12962 fcode:1 bcode:1 mc-var:505957 var:4655677 icount:21;
in:114 out:114 type:2 q:1468 itex:12136 ptex:251779 mv:4338 misc:14331 fcode:1 bcode:1 mc-var:553016 var:4658195 icount:19;
in:115 out:115 type:2 q:1458 itex:13333 ptex:229557 mv:4093 misc:13609 fcode:1 bcode:1 mc-var:559931 var:4732923 icount:19;
in:116 out:116 type:2 q:1448 itex:10623 ptex:226041 mv:3872 misc:13256 fcode:1 bcode:1 mc-var:484799 var:4755701 icount:14;
in:117 out:117 type:2 q:1438 itex:22240 ptex:229101 mv:4077 misc:13558 fcode:1 bcode:1 mc-var:552597 var:4769924 icount:33;
in:118 out:118 type:2 q:1429 itex:15739 ptex:232813 mv:4002 misc:13478 fcode:1 bcode:1 mc-var:533501 var:4784727 icount:23;
in:119 out:119 type:2 q:1419 itex:16446 ptex:234415 mv:3813 misc:13558 fcode:1 bcode:1 mc-var:563222 var:4828946 icount:25;
in:120 out:120 type:2 q:1410 itex:16981 ptex:240802 mv:3868 misc:13437 fcode:1 bcode:1 mc-var:581423 var:4826975 icount:24;
in:121 out:121 type:2 q:1401 itex:44260 ptex:252075 mv:4622 misc:14939 fcode:1 bcode:1 mc-var:922169 var:4799020 icount:114;
in:122 out:122 type:2 q:1391 itex:13269 ptex:236034 mv:4148 misc:13693 fcode:1 bcode:1 mc-var:510402 var:4810486 icount:24;
in:123 out:123 type:2 q:1382 itex:20333 ptex:239411 mv:4005 misc:13595 fcode:1 bcode:1 mc-var:528947 var:4880016 icount:28;
in:124 out:124 type:2 q:1373 itex:16488 ptex:248058 mv:3891 misc:13587 fcode:1 bcode:1 mc-var:514658 var:4883868 icount:24;
in:125 out:125 type:2 q:1364 itex:26101 ptex:285301 mv:5809 misc:14965 fcode:1 bcode:1 mc-var:602607 var:4521373 icount:48;
in:126 out:126 type:2 q:1356 itex:21360 ptex:244018 mv:4172 misc:13858 fcode:1 bcode:1 mc-var:503691 var:4551321 icount:27;
in:127 out:127 type:2 q:1347 itex:38447 ptex:341357 mv:4538 misc:15074 fcode:1 bcode:1 mc-var:655409 var:4605007 icount:54;
in:128 out:128 type:2 q:1339 itex:16570 ptex:291396 mv:4141 misc:14253 fcode:1 bcode:1 mc-var:509290 var:4653144 icount:21;
in:129 out:129 type:2 q:1330 itex:26293 ptex:287426 mv:4134 misc:14203 fcode:1 bcode:1 mc-var:530048 var:4677699 icount:33;
in:130 out:130 type:2 q:1322 itex:14102 ptex:287479 mv:3931 misc:14000 fcode:1 bcode:1 mc-var:489325 var:4631125 icount:18;
in:131 out:131 type:2 q:1314 itex:19213 ptex:293049 mv:4003 misc:14071 fcode:1 bcode:1 mc-var:517951 var:4715035 icount:26;
in:132 out:132 type:1 q:234 itex:2295473 ptex:0 mv:0 misc:15523 fcode:1 bcode:1 mc-var:0 var:4734961 icount:2850;
in:133 out:133 type:2 q:1306 itex:13332 ptex:321663 mv:3614 misc:14007 fcode:1 bcode:1 mc-var:428645 var:4725116 icount:17;
in:134 out:134 type:2 q:1298 itex:19935 ptex:333670 mv:3702 misc:14005 fcode:1 bcode:1 mc-var:504309 var:4722540 icount:29;
in:135 out:135 type:2 q:1290 itex:20917 ptex:328549 mv:3757 misc:14073 fcode:1 bcode:1 mc-var:476634 var:4816710 icount:30;
in:136 out:136 type:2 q:1282 itex:26558 ptex:327258 mv:3701 misc:14075 fcode:1 bcode:1 mc-var:524553 var:4832822 icount:36;
in:137 out:137 type:2 q:1274 itex:22762 ptex:326191 mv:3816 misc:14127 fcode:1 bcode:1 mc-var:478009 var:4843367 icount:32;
in:138 out:138 type:2 q:1267 itex:17138 ptex:329880 mv:4011 misc:14067 fcode:1 bcode:1 mc-var:495548 var:4850396 icount:24;
in:139 out:139 type:2 q:1259 itex:15166 ptex:332678 mv:3881 misc:14187 fcode:1 bcode:1 mc-var:518054 var:4884178 icount:22;
in:140 out:140 type:2 q:1252 itex:18013 ptex:328913 mv:3715 misc:14031 fcode:1 bcode:1 mc-var:512844 var:4856874 icount:26;
in:141 out:141 type:2 q:1245 itex:65673 ptex:348998 mv:4341 misc:15652 fcode:1 bcode:1 mc-var:737075 var:4843867 icount:142;
in:142 out:142 type:2 q:1237 itex:22579 ptex:401932 mv:4055 misc:14770 fcode:1 bcode:1 mc-var:508236 var:4836344 icount:30;
in:143 out:143 type:2 q:1230 itex:13580 ptex:383103 mv:3815 misc:14254 fcode:1 bcode:1 mc-var:477490 var:4879875 icount:19;
in:144 out:144 type:2 q:1223 itex:11884 ptex:374960 mv:3746 misc:14218 fcode:1 bcode:1 mc-var:465428 var:4922385 icount:16;
in:145 out:145 type:2 q:1216 itex:15904 ptex:378787 mv:3954 misc:14403 fcode:1 bcode:1 mc-var:468763 var:4884363 icount:20;
in:146 out:146 type:2 q:1209 itex:17587 ptex:401549 mv:3949 misc:14499 fcode:1 bcode:1 mc-var:528131 var:4838278 icount:27;
in:147 out:147 type:2 q:1203 itex:27756 ptex:385116 mv:4016 misc:14360 fcode:1 bcode:1 mc-var:509222 var:4856588 icount:36;
in:148 out:148 type:2 q:1196 itex:25848 ptex:382723 mv:3787 misc:14346 fcode:1 bcode:1 mc-var:481242 var:4879076 icount:33;
in:149 out:149 type:2 q:1189 itex:32736 ptex:401561 mv:3997 misc:14674 fcode:1 bcode:1 mc-var:567486 var:4897762 icount:45;
in:150 out:150 type:2 q:1183 itex:439505 ptex:280287 mv:4937 misc:17263 fcode:1 bcode:1 mc-var:1123892 var:4691493 icount:710;
in:151 out:151 type:2 q:1177 itex:25962 ptex:420327 mv:3755 misc:14668 fcode:1 bcode:1 mc-var:595047 var:4703426 icount:34;
in:152 out:152 type:2 q:1170 itex:23467 ptex:398568 mv:5116 misc:15289 fcode:1 bcode:1 mc-var:553733 var:4359893 icount:36;
in:153 out:153 type:2 q:1164 itex:22756 ptex:368866 mv:4092 misc:14870 fcode:1 bcode:1 mc-var:516549 var:4395061 icount:30;
in:154 out:154 type:2 q:1158 itex:30793 ptex:373675 mv:4003 misc:14729 fcode:1 bcode:1 mc-var:555608 var:4502667 icount:39;
in:155 out:155 type:2 q:1151 itex:23718 ptex:369848 mv:3803 misc:14543 fcode:1 bcode:1 mc-var:500245 var:4495155 icount:29;
in:156 out:156 type:2 q:1145 itex:28253 ptex:404476 mv:3980 misc:14667 fcode:1 bcode:1 mc-var:557253 var:4570653 icount:35;
in:157 out:157 type:2 q:1139 itex:14990 ptex:391346 mv:3928 misc:14640 fcode:1 bcode:1 mc-var:523499 var:4588469 icount:20;
in:158 out:158 type:2 q:1133 itex:32357 ptex:392857 mv:3996 misc:14726 fcode:1 bcode:1 mc-var:546907 var:4675267 icount:44;
in:159 out:159 type:2 q:1127 itex:24704 ptex:392751 mv:3939 misc:14710 fcode:1 bcode:1 mc-var:513370 var:4673071 icount:31;
in:160 out:160 type:2 q:1121 itex:24038 ptex:393326 mv:3989 misc:14751 fcode:1 bcode:1 mc-var:536223 var:4711505 icount:31;
in:161 out:161 type:2 q:1116 itex:71972 ptex:500674 mv:4838 misc:17316 fcode:1 bcode:1 mc-var:725915 var:4637296 icount:175;
in:162 out:162 type:2 q:1110 itex:22506 ptex:457970 mv:4097 misc:15019 fcode:1 bcode:1 mc-var:533946 var:4698297 icount:29;
in:163 out:163 type:2 q:1104 itex:25355 ptex:452003 mv:4071 misc:14995 fcode:1 bcode:1 mc-var:504285 var:4719811 icount:35;
in:164 out:164 type:2 q:1099 itex:27944 ptex:453242 mv:3926 misc:15008 fcode:1 bcode:1 mc-var:554694 var:4718514 icount:36;
in:165 out:165 type:2 q:1093 itex:28298 ptex:453028 mv:3802 misc:14792 fcode:1 bcode:1 mc-var:498018 var:4720325 icount:34;
in:166 out:166 type:2 q:1088 itex:26616 ptex:458786 mv:3972 misc:14890 fcode:1 bcode:1 mc-var:548011 var:4779690 icount:34;
in:167 out:167 type:2 q:1082 itex:19124 ptex:452329 mv:3872 misc:14843 fcode:1 bcode:1 mc-var:498821 var:4803001 icount:25;
in:168 out:168 type:2 q:1077 itex:20038 ptex:456388 mv:4030 misc:14896 fcode:1 bcode:1 mc-var:514204 var:4827491 icount:25;
in:169 out:169 type:2 q:1072 itex:16916 ptex:460326 mv:3887 misc:14815 fcode:1 bcode:1 mc-var:491742 var:4852420 icount:21;
in:170 out:170 type:2 q:1066 itex:31927 ptex:465319 mv:3965 misc:14949 fcode:1 bcode:1 mc-var:525643 var:4888614 icount:39;
in:171 out:171 type:2 q:1061 itex:30201 ptex:470407 mv:4068 misc:14972 fcode:1 bcode:1 mc-var:547706 var:4957887 icount:40;
in:172 out:172 type:2 q:1056 itex:24297 ptex:475115 mv:4009 misc:14971 fcode:1 bcode:1 mc-var:522484 var:4924895 icount:30;
in:173 out:173 type:2 q:1051 itex:21935 ptex:465484 mv:3982 misc:14975 fcode:1 bcode:1 mc-var:499848 var:4963760 icount:27;
in:174 out:174 type:2 q:1046 itex:22511 ptex:474732 mv:3950 misc:14903 fcode:1 bcode:1 mc-var:536131 var:4949576 icount:29;
in:175 out:175 type:2 q:1041 itex:331903 ptex:359669 mv:4336 misc:15844 fcode:1 bcode:1 mc-var:763266 var:4951313 icount:397;
in:176 out:176 type:2 q:1036 itex:29513 ptex:475200 mv:3877 misc:15050 fcode:1 bcode:1 mc-var:575445 var:5033285 icount:36;
in:177 out:177 type:2 q:1032 itex:29745 ptex:488182 mv:4051 misc:15182 fcode:1 bcode:1 mc-var:548498 var:5085779 icount:36;
in:178 out:178 type:2 q:1027 itex:25275 ptex:481121 mv:3958 misc:15174 fcode:1 bcode:1 mc-var:560025 var:5095108 icount:32;
in:179 out:179 type:2 q:1022 itex:28466 ptex:481451 mv:3937 misc:15130 fcode:1 bcode:1 mc-var:577047 var:5123614 icount:38;
in:180 out:180 type:2 q:1017 itex:31277 ptex:542782 mv:5546 misc:16971 fcode:1 bcode:1 mc-var:734658 var:4823517 icount:43;