in:0 out:0 type:1 q:480 itex:298272 ptex:0 mv:0 misc:17316 fcode:1 bcode:1 mc-var:0 var:1293164 icount:2850;
in:1 out:1 type:2 q:327 itex:90291 ptex:10447 mv:411 misc:5315 fcode:1 bcode:1 mc-var:829021 var:1268874 icount:194;
in:2 out:2 type:2 q:269 itex:41333 ptex:17929 mv:786 misc:5872 fcode:1 bcode:1 mc-var:692531 var:1273646 icount:76;
in:3 out:3 type:2 q:254 itex:95427 ptex:8055 mv:350 misc:5176 fcode:1 bcode:1 mc-var:325567 var:1101265 icount:173;
in:4 out:4 type:2 q:249 itex:98570 ptex:72610 mv:1052 misc:5984 fcode:1 bcode:1 mc-var:335200 var:1103307 icount:153;
in:5 out:5 type:2 q:246 itex:14600 ptex:4923 mv:112 misc:3197 fcode:1 bcode:1 mc-var:63299 var:1112834 icount:13;
in:6 out:6 type:2 q:245 itex:183181 ptex:5959 mv:98 misc:20162 fcode:1 bcode:1 mc-var:45072201 var:3100419 icount:1838;
in:7 out:7 type:2 q:244 itex:42388 ptex:63701 mv:517 misc:12002 fcode:1 bcode:1 mc-var:164753 var:3026274 icount:827;
in:8 out:8 type:2 q:243 itex:99899 ptex:152934 mv:1959 misc:7496 fcode:1 bcode:1 mc-var:437622 var:3038477 icount:244;
in:9 out:9 type:2 q:243 itex:28583 ptex:23238 mv:613 misc:5214 fcode:1 bcode:1 mc-var:71909 var:3037743 icount:101;
in:10 out:10 type:2 q:242 itex:162553 ptex:152748 mv:1379 misc:13976 fcode:1 bcode:1 mc-var:847781 var:3309456 icount:988;
in:11 out:11 type:2 q:243 itex:78519 ptex:249825 mv:2338 misc:14158 fcode:1 bcode:1 mc-var:1478049 var:3062638 icount:862;
in:12 out:12 type:2 q:243 itex:204950 ptex:147631 mv:1466 misc:14313 fcode:1 bcode:1 mc-var:1223556 var:2857410 icount:1007;
in:13 out:13 type:2 q:242 itex:134814 ptex:58166 mv:582 misc:12614 fcode:1 bcode:1 mc-var:337216 var:2992688 icount:847;
in:14 out:14 type:2 q:242 itex:148723 ptex:94982 mv:1665 misc:9502 fcode:1 bcode:1 mc-var:228641 var:3072533 icount:387;
in:15 out:15 type:2 q:242 itex:117846 ptex:119659 mv:1805 misc:11426 fcode:1 bcode:1 mc-var:141369 var:3072750 icount:492;
in:16 out:16 type:2 q:242 itex:275204 ptex:142556 mv:2007 misc:13945 fcode:1 bcode:1 mc-var:444292 var:3017712 icount:789;
in:17 out:17 type:2 q:242 itex:182092 ptex:111186 mv:1678 misc:11748 fcode:1 bcode:1 mc-var:182171 var:3088468 icount:529;
in:18 out:18 type:2 q:242 itex:197935 ptex:132579 mv:1270 misc:12240 fcode:1 bcode:1 mc-var:185896 var:3110922 icount:645;
in:19 out:19 type:2 q:242 itex:165168 ptex:175708 mv:1687 misc:12069 fcode:1 bcode:1 mc-var:179409 var:3233775 icount:518;
in:20 out:20 type:2 q:243 itex:296985 ptex:234128 mv:2115 misc:14452 fcode:1 bcode:1 mc-var:630121 var:3285839 icount:699;
in:21 out:21 type:2 q:243 itex:337273 ptex:207250 mv:1393 misc:13252 fcode:1 bcode:1 mc-var:361094 var:3401919 icount:698;
in:22 out:22 type:2 q:243 itex:296615 ptex:285025 mv:1730 misc:13558 fcode:1 bcode:1 mc-var:353730 var:3493993 icount:598;
in:23 out:23 type:2 q:243 itex:373330 ptex:443842 mv:3093 misc:15167 fcode:1 bcode:1 mc-var:442012 var:3229267 icount:704;
in:24 out:24 type:2 q:244 itex:600752 ptex:417770 mv:3324 misc:16154 fcode:1 bcode:1 mc-var:626758 var:2996689 icount:955;
in:25 out:25 type:2 q:244 itex:324260 ptex:459853 mv:2083 misc:13844 fcode:1 bcode:1 mc-var:375561 var:3198879 icount:461;
in:26 out:26 type:2 q:245 itex:291286 ptex:572687 mv:2635 misc:13960 fcode:1 bcode:1 mc-var:402946 var:3372266 icount:402;
in:27 out:27 type:2 q:245 itex:312967 ptex:676376 mv:2860 misc:14613 fcode:1 bcode:1 mc-var:514982 var:3437995 icount:439;
in:28 out:28 type:2 q:246 itex:312363 ptex:617553 mv:2608 misc:14124 fcode:1 bcode:1 mc-var:410061 var:3574879 icount:362;
in:29 out:29 type:2 q:247 itex:325044 ptex:681925 mv:2957 misc:14482 fcode:1 bcode:1 mc-var:496321 var:3817890 icount:345;
in:30 out:30 type:2 q:248 itex:535278 ptex:862507 mv:3950 misc:18409 fcode:1 bcode:1 mc-var:1073896 var:3669748 icount:717;
in:31 out:31 type:2 q:248 itex:295144 ptex:742663 mv:3078 misc:14899 fcode:1 bcode:1 mc-var:444798 var:3844346 icount:301;
in:32 out:32 type:2 q:249 itex:246265 ptex:776057 mv:2921 misc:14533 fcode:1 bcode:1 mc-var:403101 var:3983596 icount:263;
in:33 out:33 type:2 q:250 itex:146711 ptex:785045 mv:3208 misc:14260 fcode:1 bcode:1 mc-var:307279 var:3979752 icount:168;
in:34 out:34 type:2 q:251 itex:191404 ptex:784906 mv:3214 misc:14492 fcode:1 bcode:1 mc-var:360290 var:4087069 icount:191;
in:35 out:35 type:2 q:252 itex:224020 ptex:823999 mv:3177 misc:15324 fcode:1 bcode:1 mc-var:373577 var:4122864 icount:235;
in:36 out:36 type:2 q:253 itex:193930 ptex:822725 mv:3194 misc:14551 fcode:1 bcode:1 mc-var:375596 var:4234501 icount:205;
in:37 out:37 type:2 q:254 itex:187060 ptex:861108 mv:3302 misc:14426 fcode:1 bcode:1 mc-var:392734 var:4366747 icount:162;
in:38 out:38 type:2 q:256 itex:207814 ptex:946474 mv:3667 misc:15701 fcode:1 bcode:1 mc-var:417947 var:4307797 icount:229;
in:39 out:39 type:2 q:257 itex:189538 ptex:875967 mv:3127 misc:14880 fcode:1 bcode:1 mc-var:399718 var:4467814 icount:214;
in:40 out:40 type:2 q:260 itex:345972 ptex:920908 mv:4200 misc:17200 fcode:1 bcode:1 mc-var:1070583 var:4515897 icount:361;
in:41 out:41 type:2 q:262 itex:468937 ptex:821907 mv:3184 misc:17436 fcode:1 bcode:1 mc-var:520619 var:4344153 icount:650;
in:42 out:42 type:2 q:264 itex:228339 ptex:848952 mv:3472 misc:15077 fcode:1 bcode:1 mc-var:395492 var:4463776 icount:183;
in:43 out:43 type:2 q:267 itex:169399 ptex:872510 mv:3335 misc:14708 fcode:1 bcode:1 mc-var:404031 var:4510115 icount:148;
in:44 out:44 type:2 q:270 itex:110733 ptex:863194 mv:3494 misc:14555 fcode:1 bcode:1 mc-var:302294 var:4556242 icount:84;
in:45 out:45 type:2 q:273 itex:197218 ptex:1158641 mv:4454 misc:15175 fcode:1 bcode:1 mc-var:387317 var:4609034 icount:220;
in:46 out:46 type:2 q:278 itex:372903 ptex:1244634 mv:5703 misc:16680 fcode:1 bcode:1 mc-var:569750 var:4116550 icount:474;
in:47 out:47 type:2 q:285 itex:116541 ptex:861115 mv:3603 misc:15077 fcode:1 bcode:1 mc-var:338654 var:4211539 icount:113;
in:48 out:48 type:2 q:294 itex:301612 ptex:921168 mv:3263 misc:16309 fcode:1 bcode:1 mc-var:430153 var:4139654 icount:435;
in:49 out:49 type:2 q:307 itex:126909 ptex:618517 mv:3346 misc:14668 fcode:1 bcode:1 mc-var:383296 var:4245848 icount:129;
in:50 out:50 type:2 q:323 itex:199747 ptex:681674 mv:3626 misc:16473 fcode:1 bcode:1 mc-var:813605 var:4244426 icount:254;
in:51 out:51 type:2 q:337 itex:72563 ptex:641429 mv:3506 misc:14494 fcode:1 bcode:1 mc-var:302116 var:4364153 icount:60;
in:52 out:52 type:2 q:356 itex:138312 ptex:761259 mv:3395 misc:14754 fcode:1 bcode:1 mc-var:458539 var:4342402 icount:120;
in:53 out:53 type:2 q:380 itex:125072 ptex:778837 mv:3946 misc:15289 fcode:1 bcode:1 mc-var:373358 var:4360464 icount:123;
in:54 out:54 type:2 q:409 itex:131914 ptex:681999 mv:3718 misc:14945 fcode:1 bcode:1 mc-var:393914 var:4470463 icount:102;
in:55 out:55 type:2 q:443 itex:71448 ptex:502559 mv:3295 misc:14082 fcode:1 bcode:1 mc-var:286628 var:4509502 icount:72;
in:56 out:56 type:2 q:483 itex:91883 ptex:523939 mv:3449 misc:14273 fcode:1 bcode:1 mc-var:334098 var:4518598 icount:83;
in:57 out:57 type:2 q:529 itex:82249 ptex:542362 mv:3625 misc:14316 fcode:1 bcode:1 mc-var:332545 var:4539732 icount:72;
in:58 out:58 type:2 q:582 itex:72140 ptex:519318 mv:4493 misc:14785 fcode:1 bcode:1 mc-var:372709 var:4532809 icount:83;
in:59 out:59 type:2 q:640 itex:88346 ptex:480337 mv:3864 misc:14093 fcode:1 bcode:1 mc-var:365489 var:4515821 icount:84;
in:60 out:60 type:2 q:703 itex:147018 ptex:375286 mv:3952 misc:15152 fcode:1 bcode:1 mc-var:850958 var:4563842 icount:217;
in:61 out:61 type:2 q:772 itex:45937 ptex:323464 mv:3484 misc:13203 fcode:1 bcode:1 mc-var:325329 var:4601741 icount:54;
in:62 out:62 type:2 q:845 itex:72447 ptex:328228 mv:3715 misc:13570 fcode:1 bcode:1 mc-var:418532 var:4658904 icount:79;
in:63 out:63 type:2 q:911 itex:53715 ptex:301956 mv:3434 misc:13063 fcode:1 bcode:1 mc-var:393212 var:4766173 icount:64;
in:64 out:64 type:2 q:969 itex:47242 ptex:296067 mv:3543 misc:13276 fcode:1 bcode:1 mc-var:359546 var:4782442 icount:56;
in:65 out:65 type:2 q:1021 itex:36575 ptex:238834 mv:3707 misc:13364 fcode:1 bcode:1 mc-var:330898 var:4807124 icount:45;
in:66 out:66 type:2 q:1064 itex:38687 ptex:235652 mv:3457 misc:13196 fcode:1 bcode:1 mc-var:347633 var:4842551 icount:48;
in:67 out:67 type:2 q:1102 itex:32116 ptex:250639 mv:3672 misc:13205 fcode:1 bcode:1 mc-var:338996 var:4798728 icount:41;
in:68 out:68 type:2 q:1132 itex:46689 ptex:218204 mv:3698 misc:13377 fcode:1 bcode:1 mc-var:399918 var:4834782 icount:63;
in:69 out:69 type:2 q:1157 itex:40081 ptex:224586 mv:3736 misc:13357 fcode:1 bcode:1 mc-var:374588 var:4888585 icount:54;
in:70 out:70 type:2 q:1176 itex:96422 ptex:236260 mv:4484 misc:15298 fcode:1 bcode:1 mc-var:639977 var:4815507 icount:197;
in:71 out:71 type:2 q:1190 itex:39952 ptex:261748 mv:5716 misc:14784 fcode:1 bcode:1 mc-var:444432 var:4494474 icount:58;
in:72 out:72 type:2 q:1198 itex:27240 ptex:256462 mv:4205 misc:13213 fcode:1 bcode:1 mc-var:422748 var:4411525 icount:36;
in:73 out:73 type:2 q:1201 itex:19130 ptex:241120 mv:4171 misc:13739 fcode:1 bcode:1 mc-var:362500 var:4496397 icount:26;
in:74 out:74 type:2 q:1200 itex:34601 ptex:253936 mv:4177 misc:13630 fcode:1 bcode:1 mc-var:418702 var:4483979 icount:46;
in:75 out:75 type:2 q:1195 itex:36760 ptex:225184 mv:3569 misc:13359 fcode:1 bcode:1 mc-var:379747 var:4487972 icount:46;
in:76 out:76 type:2 q:1190 itex:38748 ptex:232700 mv:3730 misc:13510 fcode:1 bcode:1 mc-var:402435 var:4481868 icount:47;
in:77 out:77 type:2 q:1184 itex:54909 ptex:230510 mv:4018 misc:13835 fcode:1 bcode:1 mc-var:434968 var:4591720 icount:68;
in:78 out:78 type:2 q:1177 itex:33535 ptex:221789 mv:3810 misc:13746 fcode:1 bcode:1 mc-var:374840 var:4611837 icount:43;
in:79 out:79 type:2 q:1171 itex:46832 ptex:232236 mv:3785 misc:13739 fcode:1 bcode:1 mc-var:432591 var:4635928 icount:60;
in:80 out:80 type:2 q:1166 itex:89855 ptex:291825 mv:4959 misc:15993 fcode:1 bcode:1 mc-var:1150919 var:4637008 icount:195;
in:81 out:81 type:2 q:1158 itex:37514 ptex:229609 mv:3791 misc:13774 fcode:1 bcode:1 mc-var:385225 var:4694278 icount:46;
in:82 out:82 type:2 q:1151 itex:45316 ptex:244562 mv:3752 misc:13490 fcode:1 bcode:1 mc-var:401884 var:4575676 icount:57;
in:83 out:83 type:2 q:1143 itex:38237 ptex:238318 mv:3919 misc:13718 fcode:1 bcode:1 mc-var:409022 var:4658744 icount:47;
in:84 out:84 type:2 q:1138 itex:343454 ptex:190460 mv:5205 misc:17161 fcode:1 bcode:1 mc-var:1276154 var:4451591 icount:629;
in:85 out:85 type:2 q:1131 itex:28816 ptex:228757 mv:3956 misc:14031 fcode:1 bcode:1 mc-var:369262 var:4416540 icount:39;
in:86 out:86 type:2 q:1123 itex:41847 ptex:248024 mv:3840 misc:13665 fcode:1 bcode:1 mc-var:437641 var:4436326 icount:55;
in:87 out:87 type:2 q:1116 itex:48802 ptex:294537 mv:4380 misc:15209 fcode:1 bcode:1 mc-var:449927 var:4567057 icount:59;
in:88 out:88 type:2 q:1109 itex:37357 ptex:285893 mv:3929 misc:14029 fcode:1 bcode:1 mc-var:391291 var:4603405 icount:44;
in:89 out:89 type:2 q:1102 itex:41687 ptex:266327 mv:3825 misc:13993 fcode:1 bcode:1 mc-var:379731 var:4651835 icount:48;
in:90 out:90 type:2 q:1095 itex:44978 ptex:268495 mv:3867 misc:14188 fcode:1 bcode:1 mc-var:421712 var:4663063 icount:60;
in:91 out:91 type:2 q:1087 itex:42233 ptex:263569 mv:4013 misc:14209 fcode:1 bcode:1 mc-var:442454 var:4762130 icount:54;
in:92 out:92 type:2 q:1080 itex:35275 ptex:269112 mv:3781 misc:13960 fcode:1 bcode:1 mc-var:367330 var:4768902 icount:45;
in:93 out:93 type:2 q:1073 itex:53306 ptex:270875 mv:3972 misc:14343 fcode:1 bcode:1 mc-var:444501 var:4770709 icount:68;
in:94 out:94 type:2 q:1066 itex:39327 ptex:286762 mv:4838 misc:15185 fcode:1 bcode:1 mc-var:404421 var:4761470 icount:49;
in:95 out:95 type:2 q:1059 itex:32410 ptex:247644 mv:4059 misc:13871 fcode:1 bcode:1 mc-var:357641 var:4827272 icount:40;
in:96 out:96 type:2 q:1052 itex:36700 ptex:281988 mv:3848 misc:13640 fcode:1 bcode:1 mc-var:382698 var:4822204 icount:44;
in:97 out:97 type:2 q:1045 itex:48169 ptex:362278 mv:5458 misc:15463 fcode:1 bcode:1 mc-var:578301 var:4568153 icount:69;
in:98 out:98 type:2 q:1038 itex:58012 ptex:330301 mv:3928 misc:13839 fcode:1 bcode:1 mc-var:571633 var:4515472 icount:70;
in:99 out:99 type:2 q:1032 itex:51764 ptex:324917 mv:3684 misc:13675 fcode:1 bcode:1 mc-var:540163 var:4637590 icount:66;
in:100 out:100 type:2 q:1025 itex:78036 ptex:260366 mv:4024 misc:15214 fcode:1 bcode:1 mc-var:698327 var:4705727 icount:155;
in:101 out:101 type:2 q:1018 itex:36069 ptex:256862 mv:3618 misc:13619 fcode:1 bcode:1 mc-var:379213 var:4682449 icount:49;
in:102 out:102 type:2 q:1012 itex:36674 ptex:257953 mv:3668 misc:13529 fcode:1 bcode:1 mc-var:374519 var:4717084 icount:44;
in:103 out:103 type:2 q:1005 itex:57360 ptex:253145 mv:3653 misc:13698 fcode:1 bcode:1 mc-var:440135 var:4726017 icount:77;
in:104 out:104 type:2 q:998 itex:63227 ptex:323030 mv:4240 misc:15863 fcode:1 bcode:1 mc-var:474788 var:4782315 icount:74;
in:105 out:105 type:2 q:992 itex:43142 ptex:292979 mv:3865 misc:14254 fcode:1 bcode:1 mc-var:406621 var:4815823 icount:51;
in:106 out:106 type:2 q:985 itex:28413 ptex:291681 mv:3511 misc:13875 fcode:1 bcode:1 mc-var:313077 var:4794091 icount:32;
in:107 out:107 type:2 q:979 itex:322766 ptex:264197 mv:4014 misc:14679 fcode:1 bcode:1 mc-var:453845 var:4823953 icount:364;
in:108 out:108 type:2 q:973 itex:37370 ptex:316251 mv:3841 misc:14418 fcode:1 bcode:1 mc-var:401655 var:4921154 icount:43;
in:109 out:109 type:2 q:967 itex:34493 ptex:314624 mv:3835 misc:14272 fcode:1 bcode:1 mc-var:371295 var:4977092 icount:40;
in:110 out:110 type:2 q:961 itex:39192 ptex:297349 mv:3849 misc:14434 fcode:1 bcode:1 mc-var:348774 var:4994313 icount:46;
in:111 out:111 type:2 q:955 itex:42010 ptex:295259 mv:3867 misc:14400 fcode:1 bcode:1 mc-var:370953 var:5013858 icount:48;
in:112 out:112 type:2 q:949 itex:39090 ptex:300622 mv:3985 misc:14343 fcode:1 bcode:1 mc-var:367473 var:5033402 icount:44;
in:113 out:113 type:2 q:943 itex:48878 ptex:367825 mv:4078 misc:14403 fcode:1 bcode:1 mc-var:425188 var:5124459 icount:57;
in:114 out:114 type:2 q:937 itex:52667 ptex:336977 mv:4006 misc:14350 fcode:1 bcode:1 mc-var:425832 var:5096854 icount:56;
in:115 out:115 type:2 q:932 itex:36084 ptex:324473 mv:4069 misc:14470 fcode:1 bcode:1 mc-var:365328 var:5107997 icount:41;
in:116 out:116 type:2 q:926 itex:57525 ptex:338344 mv:4104 misc:14827 fcode:1 bcode:1 mc-var:424726 var:5184470 icount:62;
in:117 out:117 type:2 q:920 itex:31764 ptex:342457 mv:4007 misc:14388 fcode:1 bcode:1 mc-var:355811 var:5125052 icount:34;
in:118 out:118 type:2 q:915 itex:35036 ptex:326911 mv:3949 misc:14584 fcode:1 bcode:1 mc-var:338988 var:5134995 icount:40;
in:119 out:119 type:2 q:909 itex:36704 ptex:330862 mv:3995 misc:14487 fcode:1 bcode:1 mc-var:380879 var:5185838 icount:40;
in:120 out:120 type:2 q:905 itex:86580 ptex:361714 mv:4501 misc:16157 fcode:1 bcode:1 mc-var:835117 var:5236275 icount:153;
in:121 out:121 type:2 q:899 itex:56326 ptex:344092 mv:4012 misc:14682 fcode:1 bcode:1 mc-var:413265 var:5313311 icount:63;
in:122 out:122 type:2 q:894 itex:35127 ptex:353634 mv:4123 misc:14812 fcode:1 bcode:1 mc-var:408640 var:5264500 icount:43;
in:123 out:123 type:2 q:889 itex:42856 ptex:379777 mv:5453 misc:16578 fcode:1 bcode:1 mc-var:433660 var:4974179 icount:76;
in:124 out:124 type:2 q:884 itex:54101 ptex:439175 mv:4837 misc:16807 fcode:1 bcode:1 mc-var:422864 var:4933521 icount:62;
in:125 out:125 type:2 q:879 itex:47165 ptex:402720 mv:4189 misc:15534 fcode:1 bcode:1 mc-var:368749 var:4933951 icount:49;
in:126 out:126 type:2 q:874 itex:45817 ptex:403250 mv:4230 misc:15391 fcode:1 bcode:1 mc-var:385587 var:4973482 icount:49;
in:127 out:127 type:2 q:869 itex:39470 ptex:430294 mv:4245 misc:15175 fcode:1 bcode:1 mc-var:420364 var:5054090 icount:40;
in:128 out:128 type:2 q:864 itex:40080 ptex:441345 mv:4208 misc:15183 fcode:1 bcode:1 mc-var:410278 var:5078722 icount:42;
in:129 out:129 type:2 q:860 itex:35454 ptex:421119 mv:4093 misc:15030 fcode:1 bcode:1 mc-var:396277 var:5005378 icount:40;
in:130 out:130 type:2 q:855 itex:40064 ptex:413712 mv:4057 misc:15415 fcode:1 bcode:1 mc-var:352085 var:5068716 icount:43;
in:131 out:131 type:2 q:851 itex:30032 ptex:407152 mv:4271 misc:15353 fcode:1 bcode:1 mc-var:343795 var:5049508 icount:30;
in:132 out:132 type:1 q:271 itex:2314644 ptex:0 mv:0 misc:15456 fcode:1 bcode:1 mc-var:0 var:5070917 icount:2850;
in:133 out:133 type:2 q:846 itex:30821 ptex:425183 mv:3777 misc:15163 fcode:1 bcode:1 mc-var:336469 var:5149476 icount:31;
in:134 out:134 type:2 q:842 itex:38059 ptex:490731 mv:3921 misc:15161 fcode:1 bcode:1 mc-var:402916 var:5064338 icount:40;
in:135 out:135 type:2 q:838 itex:39430 ptex:503083 mv:4546 misc:15925 fcode:1 bcode:1 mc-var:410462 var:5049969 icount:39;
in:136 out:136 type:2 q:834 itex:46867 ptex:461608 mv:4137 misc:15284 fcode:1 bcode:1 mc-var:415371 var:5061658 icount:47;
in:137 out:137 type:2 q:830 itex:34337 ptex:423105 mv:3983 misc:15015 fcode:1 bcode:1 mc-var:345885 var:5060953 icount:37;
in:138 out:138 type:2 q:826 itex:43632 ptex:432580 mv:4071 misc:15197 fcode:1 bcode:1 mc-var:373228 var:5058608 icount:46;
in:139 out:139 type:2 q:822 itex:41073 ptex:444125 mv:4269 misc:15325 fcode:1 bcode:1 mc-var:389639 var:5068358 icount:41;
in:140 out:140 type:2 q:819 itex:94332 ptex:434380 mv:4281 misc:16511 fcode:1 bcode:1 mc-var:505140 var:5136703 icount:158;
in:141 out:141 type:2 q:815 itex:35668 ptex:459054 mv:4132 misc:15482 fcode:1 bcode:1 mc-var:383899 var:5130546 icount:40;
in:142 out:142 type:2 q:811 itex:40205 ptex:437489 mv:4029 misc:15189 fcode:1 bcode:1 mc-var:367780 var:5197098 icount:41;
in:143 out:143 type:2 q:807 itex:46945 ptex:439142 mv:4294 misc:15419 fcode:1 bcode:1 mc-var:363681 var:5139299 icount:51;
in:144 out:144 type:2 q:804 itex:37350 ptex:442990 mv:4106 misc:15242 fcode:1 bcode:1 mc-var:380384 var:5165154 icount:41;
in:145 out:145 type:2 q:800 itex:32643 ptex:441360 mv:3967 misc:15110 fcode:1 bcode:1 mc-var:365568 var:5154486 icount:35;
in:146 out:146 type:2 q:797 itex:44146 ptex:494473 mv:4025 misc:15316 fcode:1 bcode:1 mc-var:429194 var:5187239 icount:49;
in:147 out:147 type:2 q:793 itex:40635 ptex:456831 mv:4404 misc:15522 fcode:1 bcode:1 mc-var:383604 var:5159343 icount:46;
in:148 out:148 type:2 q:790 itex:520878 ptex:351206 mv:4795 misc:17985 fcode:1 bcode:1 mc-var:811499 var:4998077 icount:706;
in:149 out:149 type:2 q:787 itex:29075 ptex:483559 mv:4097 misc:15805 fcode:1 bcode:1 mc-var:362316 var:5051336 icount:31;
in:150 out:150 type:2 q:783 itex:37976 ptex:471448 mv:5006 misc:16506 fcode:1 bcode:1 mc-var:402962 var:4754854 icount:49;
in:151 out:151 type:2 q:780 itex:32720 ptex:466117 mv:4019 misc:15336 fcode:1 bcode:1 mc-var:396625 var:4830574 icount:34;
in:152 out:152 type:2 q:777 itex:32753 ptex:451073 mv:4115 misc:15419 fcode:1 bcode:1 mc-var:382915 var:4869258 icount:35;
in:153 out:153 type:2 q:774 itex:44973 ptex:465038 mv:4185 misc:15516 fcode:1 bcode:1 mc-var:447958 var:4885065 icount:49;
in:154 out:154 type:2 q:771 itex:34039 ptex:437178 mv:3920 misc:15359 fcode:1 bcode:1 mc-var:376143 var:4920506 icount:34;
in:155 out:155 type:2 q:767 itex:44780 ptex:450549 mv:4020 misc:15315 fcode:1 bcode:1 mc-var:408946 var:4909450 icount:47;
in:156 out:156 type:2 q:764 itex:40591 ptex:563290 mv:4396 misc:16611 fcode:1 bcode:1 mc-var:392606 var:4969151 icount:41;
in:157 out:157 type:2 q:761 itex:45259 ptex:537568 mv:4167 misc:15846 fcode:1 bcode:1 mc-var:381506 var:5065727 icount:43;
in:158 out:158 type:2 q:758 itex:37447 ptex:517350 mv:3995 misc:15656 fcode:1 bcode:1 mc-var:363674 var:4999821 icount:38;
in:159 out:159 type:2 q:755 itex:41440 ptex:510117 mv:3964 misc:15679 fcode:1 bcode:1 mc-var:351963 var:5040759 icount:39;
in:160 out:160 type:2 q:753 itex:102059 ptex:572617 mv:5140 misc:18120 fcode:1 bcode:1 mc-var:537825 var:4913872 icount:192;
in:161 out:161 type:2 q:750 itex:49507 ptex:530244 mv:4194 misc:16079 fcode:1 bcode:1 mc-var:403801 var:5010638 icount:51;
in:162 out:162 type:2 q:747 itex:55162 ptex:513649 mv:4093 misc:15736 fcode:1 bcode:1 mc-var:364788 var:4982546 icount:52;
in:163 out:163 type:2 q:744 itex:45725 ptex:521538 mv:4018 misc:15727 fcode:1 bcode:1 mc-var:386137 var:5066742 icount:46;
in:164 out:164 type:2 q:742 itex:60536 ptex:638950 mv:4050 misc:15768 fcode:1 bcode:1 mc-var:533006 var:5130472 icount:61;
in:165 out:165 type:2 q:739 itex:42402 ptex:508612 mv:4098 misc:15760 fcode:1 bcode:1 mc-var:353076 var:5163749 icount:44;
in:166 out:166 type:2 q:737 itex:38451 ptex:512449 mv:3985 misc:15787 fcode:1 bcode:1 mc-var:344977 var:5202257 icount:38;
in:167 out:167 type:2 q:734 itex:27199 ptex:506139 mv:4108 misc:15730 fcode:1 bcode:1 mc-var:336351 var:5234918 icount:29;
in:168 out:168 type:2 q:732 itex:70313 ptex:694132 mv:4238 misc:15829 fcode:1 bcode:1 mc-var:697990 var:5216440 icount:64;
in:169 out:169 type:2 q:729 itex:56629 ptex:608405 mv:4371 misc:16067 fcode:1 bcode:1 mc-var:424605 var:5229238 icount:53;
in:170 out:170 type:2 q:727 itex:38183 ptex:549653 mv:4079 misc:15973 fcode:1 bcode:1 mc-var:363062 var:5270709 icount:45;
in:171 out:171 type:2 q:724 itex:40081 ptex:548603 mv:4049 misc:15755 fcode:1 bcode:1 mc-var:373097 var:5346868 icount:38;
in:172 out:172 type:2 q:722 itex:30578 ptex:541290 mv:4042 misc:15722 fcode:1 bcode:1 mc-var:359112 var:5394339 icount:31;
in:173 out:173 type:2 q:720 itex:402611 ptex:443599 mv:4441 misc:16317 fcode:1 bcode:1 mc-var:491826 var:5427388 icount:372;
in:174 out:174 type:2 q:718 itex:31121 ptex:539086 mv:4033 misc:15904 fcode:1 bcode:1 mc-var:353800 var:5407595 icount:32;
in:175 out:175 type:2 q:715 itex:44255 ptex:542250 mv:4020 misc:15779 fcode:1 bcode:1 mc-var:375236 var:5353148 icount:43;
in:176 out:176 type:2 q:713 itex:37749 ptex:538102 mv:4126 misc:15775 fcode:1 bcode:1 mc-var:363049 var:5423988 icount:36;
in:177 out:177 type:2 q:711 itex:50777 ptex:612029 mv:4841 misc:16865 fcode:1 bcode:1 mc-var:438949 var:5157365 icount:64;
in:178 out:178 type:2 q:709 itex:40238 ptex:555739 mv:4071 misc:16144 fcode:1 bcode:1 mc-var:373502 var:5166165 icount:51;
in:179 out:179 type:2 q:707 itex:50659 ptex:659868 mv:4876 misc:17341 fcode:1 bcode:1 mc-var:492747 var:5114941 icount:53;