in:0 out:0 type:1 q:480 itex:300893 ptex:0 mv:0 misc:17327 fcode:1 bcode:1 mc-var:0 var:1310863 icount:2850;
in:1 out:1 type:2 q:327 itex:91533 ptex:25801 mv:647 misc:5507 fcode:1 bcode:1 mc-var:843966 var:1290037 icount:180;
in:2 out:2 type:2 q:269 itex:41671 ptex:50543 mv:1332 misc:6182 fcode:1 bcode:1 mc-var:689915 var:1292805 icount:64;
in:3 out:3 type:2 q:254 itex:93833 ptex:8827 mv:525 misc:5447 fcode:1 bcode:1 mc-var:316592 var:1119821 icount:159;
in:4 out:4 type:2 q:250 itex:235674 ptex:87261 mv:659 misc:21374 fcode:1 bcode:1 mc-var:30491042 var:2547173 icount:1846;
in:5 out:5 type:2 q:247 itex:42702 ptex:55329 mv:802 misc:8503 fcode:1 bcode:1 mc-var:120786 var:2559839 icount:405;
in:6 out:6 type:2 q:245 itex:58324 ptex:72329 mv:1137 misc:10682 fcode:1 bcode:1 mc-var:112771 var:2600810 icount:533;
in:7 out:7 type:2 q:244 itex:43238 ptex:34582 mv:570 misc:9538 fcode:1 bcode:1 mc-var:64036 var:2604436 icount:548;
in:8 out:8 type:2 q:244 itex:114452 ptex:121447 mv:1548 misc:8185 fcode:1 bcode:1 mc-var:423547 var:2539443 icount:311;
in:9 out:9 type:2 q:243 itex:71753 ptex:31196 mv:789 misc:10838 fcode:1 bcode:1 mc-var:66876 var:2548468 icount:642;
in:10 out:10 type:2 q:243 itex:194529 ptex:141958 mv:1837 misc:11564 fcode:1 bcode:1 mc-var:1322246 var:2275997 icount:692;
in:11 out:11 type:2 q:243 itex:89111 ptex:48150 mv:735 misc:10884 fcode:1 bcode:1 mc-var:170719 var:2341892 icount:588;
in:12 out:12 type:2 q:243 itex:178548 ptex:94906 mv:1205 misc:12661 fcode:1 bcode:1 mc-var:405001 var:2307337 icount:794;
in:13 out:13 type:2 q:243 itex:68636 ptex:44089 mv:687 misc:11868 fcode:1 bcode:1 mc-var:68485 var:2313696 icount:755;
in:14 out:14 type:2 q:243 itex:151578 ptex:90432 mv:1246 misc:13464 fcode:1 bcode:1 mc-var:248346 var:2450066 icount:834;
in:15 out:15 type:2 q:242 itex:52770 ptex:79821 mv:1643 misc:10230 fcode:1 bcode:1 mc-var:77424 var:2175150 icount:488;
in:16 out:16 type:2 q:243 itex:227088 ptex:131311 mv:1423 misc:14498 fcode:1 bcode:1 mc-var:3250957 var:2266531 icount:1085;
in:17 out:17 type:2 q:243 itex:199689 ptex:130826 mv:1674 misc:13627 fcode:1 bcode:1 mc-var:541675 var:2292326 icount:816;
in:18 out:18 type:2 q:243 itex:94688 ptex:97399 mv:1245 misc:12996 fcode:1 bcode:1 mc-var:229004 var:2337220 icount:746;
in:19 out:19 type:2 q:243 itex:50045 ptex:62046 mv:1248 misc:9037 fcode:1 bcode:1 mc-var:89103 var:2426664 icount:329;
in:20 out:20 type:2 q:243 itex:369949 ptex:92512 mv:1117 misc:13614 fcode:1 bcode:1 mc-var:1036212 var:2733578 icount:888;
in:21 out:21 type:2 q:243 itex:69836 ptex:101802 mv:1557 misc:8757 fcode:1 bcode:1 mc-var:176618 var:2778611 icount:178;
in:22 out:22 type:2 q:243 itex:150799 ptex:153186 mv:1626 misc:12029 fcode:1 bcode:1 mc-var:319296 var:2918912 icount:527;
in:23 out:23 type:2 q:243 itex:111536 ptex:323905 mv:3300 misc:13019 fcode:1 bcode:1 mc-var:320178 var:2999271 icount:363;
in:24 out:24 type:2 q:243 itex:452672 ptex:240772 mv:1854 misc:15750 fcode:1 bcode:1 mc-var:1992710 var:3373956 icount:1011;
in:25 out:25 type:2 q:243 itex:162487 ptex:227802 mv:1857 misc:12942 fcode:1 bcode:1 mc-var:465145 var:3275776 icount:547;
in:26 out:26 type:2 q:243 itex:139400 ptex:195892 mv:1907 misc:11897 fcode:1 bcode:1 mc-var:417983 var:3480731 icount:352;
in:27 out:27 type:2 q:243 itex:275910 ptex:299577 mv:2423 misc:13290 fcode:1 bcode:1 mc-var:731947 var:3733338 icount:534;
in:28 out:28 type:2 q:243 itex:212992 ptex:309598 mv:1972 misc:12790 fcode:1 bcode:1 mc-var:604502 var:4025404 icount:455;
in:29 out:29 type:2 q:244 itex:306393 ptex:358068 mv:3016 misc:14899 fcode:1 bcode:1 mc-var:997703 var:4114706 icount:534;
in:30 out:30 type:2 q:244 itex:213172 ptex:353042 mv:2560 misc:13234 fcode:1 bcode:1 mc-var:651559 var:4349651 icount:402;
in:31 out:31 type:2 q:244 itex:210982 ptex:330949 mv:2501 misc:13120 fcode:1 bcode:1 mc-var:726482 var:4566187 icount:367;
in:32 out:32 type:2 q:244 itex:134849 ptex:415486 mv:2761 misc:12904 fcode:1 bcode:1 mc-var:411319 var:4465139 icount:261;
in:33 out:33 type:2 q:244 itex:130153 ptex:292213 mv:2667 misc:12479 fcode:1 bcode:1 mc-var:365423 var:4604154 icount:226;
in:34 out:34 type:2 q:244 itex:358537 ptex:341981 mv:2997 misc:13437 fcode:1 bcode:1 mc-var:531206 var:4698223 icount:549;
in:35 out:35 type:2 q:245 itex:267081 ptex:394353 mv:2213 misc:13025 fcode:1 bcode:1 mc-var:725900 var:4609742 icount:464;
in:36 out:36 type:2 q:245 itex:53396 ptex:333655 mv:2761 misc:12316 fcode:1 bcode:1 mc-var:166654 var:4584356 icount:110;
in:37 out:37 type:2 q:245 itex:141330 ptex:535320 mv:4230 misc:14040 fcode:1 bcode:1 mc-var:474340 var:4467616 icount:269;
in:38 out:38 type:2 q:245 itex:245864 ptex:454214 mv:2932 misc:13750 fcode:1 bcode:1 mc-var:751508 var:4768301 icount:344;
in:39 out:39 type:2 q:245 itex:335087 ptex:551522 mv:3690 misc:15805 fcode:1 bcode:1 mc-var:1260157 var:5099257 icount:480;
in:40 out:40 type:2 q:246 itex:242932 ptex:599035 mv:3536 misc:14505 fcode:1 bcode:1 mc-var:787392 var:5197248 icount:350;
in:41 out:41 type:2 q:246 itex:199206 ptex:688874 mv:3453 misc:14499 fcode:1 bcode:1 mc-var:727537 var:5329594 icount:277;
in:42 out:42 type:2 q:246 itex:239767 ptex:685517 mv:3819 misc:14489 fcode:1 bcode:1 mc-var:781655 var:5006922 icount:312;
in:43 out:43 type:2 q:247 itex:233155 ptex:512325 mv:3037 misc:13683 fcode:1 bcode:1 mc-var:637122 var:4985593 icount:309;
in:44 out:44 type:2 q:247 itex:114514 ptex:486881 mv:3404 misc:13825 fcode:1 bcode:1 mc-var:372534 var:5011745 icount:161;
in:45 out:45 type:2 q:247 itex:74092 ptex:409683 mv:3157 misc:13444 fcode:1 bcode:1 mc-var:250635 var:5068641 icount:106;
in:46 out:46 type:2 q:247 itex:53221 ptex:437627 mv:3260 misc:13396 fcode:1 bcode:1 mc-var:199068 var:5048298 icount:87;
in:47 out:47 type:2 q:247 itex:61640 ptex:431695 mv:3444 misc:13629 fcode:1 bcode:1 mc-var:236049 var:5056885 icount:76;
in:48 out:48 type:2 q:248 itex:303183 ptex:538197 mv:3773 misc:15655 fcode:1 bcode:1 mc-var:1085940 var:5142484 icount:374;
in:49 out:49 type:2 q:248 itex:170528 ptex:540997 mv:3389 misc:14206 fcode:1 bcode:1 mc-var:555426 var:5330407 icount:211;
in:50 out:50 type:2 q:248 itex:97836 ptex:617598 mv:3650 misc:13812 fcode:1 bcode:1 mc-var:333428 var:5281507 icount:137;
in:51 out:51 type:2 q:248 itex:78782 ptex:479874 mv:3457 misc:13663 fcode:1 bcode:1 mc-var:286423 var:5217297 icount:101;
in:52 out:52 type:2 q:248 itex:63910 ptex:452528 mv:3507 misc:13775 fcode:1 bcode:1 mc-var:220141 var:5309993 icount:79;
in:53 out:53 type:2 q:249 itex:111874 ptex:500733 mv:3512 misc:13833 fcode:1 bcode:1 mc-var:341558 var:5296731 icount:131;
in:54 out:54 type:2 q:249 itex:159364 ptex:575356 mv:3442 misc:14118 fcode:1 bcode:1 mc-var:577410 var:5513601 icount:191;
in:55 out:55 type:2 q:249 itex:220677 ptex:604725 mv:3596 misc:14546 fcode:1 bcode:1 mc-var:683907 var:5491853 icount:262;
in:56 out:56 type:2 q:250 itex:273481 ptex:759111 mv:3750 misc:15098 fcode:1 bcode:1 mc-var:766389 var:5642152 icount:338;
in:57 out:57 type:2 q:250 itex:201213 ptex:762920 mv:5046 misc:15941 fcode:1 bcode:1 mc-var:671016 var:5514883 icount:294;
in:58 out:58 type:2 q:250 itex:285810 ptex:612909 mv:4037 misc:16292 fcode:1 bcode:1 mc-var:1004706 var:5464257 icount:340;
in:59 out:59 type:2 q:251 itex:100591 ptex:562007 mv:3824 misc:14602 fcode:1 bcode:1 mc-var:340258 var:5440607 icount:120;
in:60 out:60 type:2 q:251 itex:86361 ptex:525040 mv:3701 misc:14346 fcode:1 bcode:1 mc-var:313335 var:5450267 icount:106;
in:61 out:61 type:2 q:251 itex:119298 ptex:775497 mv:4871 misc:15094 fcode:1 bcode:1 mc-var:441713 var:5533128 icount:155;
in:62 out:62 type:2 q:252 itex:170429 ptex:670116 mv:4065 misc:15062 fcode:1 bcode:1 mc-var:582617 var:5573946 icount:197;
in:63 out:63 type:2 q:252 itex:131225 ptex:800022 mv:4737 misc:15272 fcode:1 bcode:1 mc-var:488553 var:5760522 icount:159;
in:64 out:64 type:2 q:252 itex:78403 ptex:690208 mv:4419 misc:15234 fcode:1 bcode:1 mc-var:332829 var:5819715 icount:104;
in:65 out:65 type:2 q:253 itex:69689 ptex:676646 mv:4018 misc:14639 fcode:1 bcode:1 mc-var:308668 var:5833396 icount:87;
in:66 out:66 type:2 q:253 itex:34034 ptex:491478 mv:3868 misc:14356 fcode:1 bcode:1 mc-var:175631 var:5826351 icount:39;
in:67 out:67 type:2 q:253 itex:89825 ptex:584174 mv:3844 misc:14637 fcode:1 bcode:1 mc-var:302071 var:5752875 icount:103;
in:68 out:68 type:2 q:254 itex:232204 ptex:700229 mv:4885 misc:17354 fcode:1 bcode:1 mc-var:813662 var:5751354 icount:287;
in:69 out:69 type:2 q:254 itex:111892 ptex:588633 mv:4151 misc:15372 fcode:1 bcode:1 mc-var:436750 var:5762626 icount:131;
in:70 out:70 type:2 q:255 itex:87631 ptex:568393 mv:3907 misc:14877 fcode:1 bcode:1 mc-var:365532 var:5804165 icount:89;
in:71 out:71 type:2 q:255 itex:160149 ptex:803389 mv:4061 misc:15849 fcode:1 bcode:1 mc-var:574381 var:5873299 icount:193;
in:72 out:72 type:2 q:255 itex:45489 ptex:486226 mv:3823 misc:14854 fcode:1 bcode:1 mc-var:223063 var:5875751 icount:56;
in:73 out:73 type:2 q:256 itex:128091 ptex:715105 mv:4340 misc:15344 fcode:1 bcode:1 mc-var:512904 var:5856918 icount:162;
in:74 out:74 type:2 q:256 itex:617150 ptex:701008 mv:4877 misc:17405 fcode:1 bcode:1 mc-var:729594 var:5748394 icount:721;
in:75 out:75 type:2 q:257 itex:70175 ptex:706351 mv:4038 misc:15828 fcode:1 bcode:1 mc-var:346349 var:5631764 icount:92;
in:76 out:76 type:2 q:258 itex:119525 ptex:632799 mv:4017 misc:15291 fcode:1 bcode:1 mc-var:464869 var:5790339 icount:144;
in:77 out:77 type:2 q:258 itex:227031 ptex:651336 mv:4635 misc:17494 fcode:1 bcode:1 mc-var:1078113 var:5818219 icount:281;
in:78 out:78 type:2 q:259 itex:86233 ptex:648222 mv:4073 misc:15632 fcode:1 bcode:1 mc-var:360297 var:5862164 icount:102;
in:79 out:79 type:2 q:259 itex:97532 ptex:857639 mv:5400 misc:16261 fcode:1 bcode:1 mc-var:493741 var:5610807 icount:142;
in:80 out:80 type:2 q:260 itex:216086 ptex:710635 mv:3832 misc:15631 fcode:1 bcode:1 mc-var:705850 var:5621956 icount:248;
in:81 out:81 type:2 q:261 itex:122705 ptex:707370 mv:4109 misc:15360 fcode:1 bcode:1 mc-var:515860 var:5695491 icount:146;
in:82 out:82 type:2 q:262 itex:130795 ptex:735198 mv:4046 misc:15545 fcode:1 bcode:1 mc-var:513238 var:5821509 icount:151;
in:83 out:83 type:2 q:262 itex:99215 ptex:667632 mv:4049 misc:15384 fcode:1 bcode:1 mc-var:414638 var:5779356 icount:118;
in:84 out:84 type:2 q:263 itex:168574 ptex:707763 mv:4114 misc:15637 fcode:1 bcode:1 mc-var:615260 var:5961793 icount:190;
in:85 out:85 type:2 q:264 itex:122162 ptex:730216 mv:4256 misc:15654 fcode:1 bcode:1 mc-var:502160 var:5832106 icount:146;
in:86 out:86 type:2 q:265 itex:15611 ptex:454312 mv:3790 misc:15191 fcode:1 bcode:1 mc-var:119147 var:5870291 icount:18;
in:87 out:87 type:2 q:265 itex:31552 ptex:514087 mv:3955 misc:15214 fcode:1 bcode:1 mc-var:176023 var:5913464 icount:35;
in:88 out:88 type:2 q:266 itex:83249 ptex:668866 mv:4236 misc:15713 fcode:1 bcode:1 mc-var:355149 var:5946067 icount:100;
in:89 out:89 type:2 q:267 itex:143304 ptex:710453 mv:3999 misc:15468 fcode:1 bcode:1 mc-var:573339 var:6085733 icount:153;
in:90 out:90 type:2 q:268 itex:114470 ptex:664736 mv:3922 misc:15640 fcode:1 bcode:1 mc-var:517967 var:6180160 icount:127;
in:91 out:91 type:2 q:269 itex:42154 ptex:573146 mv:3919 misc:15317 fcode:1 bcode:1 mc-var:212810 var:6194259 icount:45;
in:92 out:92 type:2 q:270 itex:64982 ptex:678026 mv:4269 misc:15339 fcode:1 bcode:1 mc-var:291250 var:6144552 icount:80;
in:93 out:93 type:2 q:271 itex:98811 ptex:633153 mv:3902 misc:15302 fcode:1 bcode:1 mc-var:389831 var:6179139 icount:106;
in:94 out:94 type:2 q:272 itex:117631 ptex:731457 mv:4124 misc:15676 fcode:1 bcode:1 mc-var:489438 var:6239995 icount:124;
in:95 out:95 type:2 q:273 itex:51162 ptex:572870 mv:3889 misc:15439 fcode:1 bcode:1 mc-var:272693 var:6236802 icount:63;
in:96 out:96 type:2 q:275 itex:486745 ptex:746090 mv:4666 misc:17651 fcode:1 bcode:1 mc-var:1067424 var:6325407 icount:529;
in:97 out:97 type:2 q:276 itex:174646 ptex:868278 mv:4682 misc:16290 fcode:1 bcode:1 mc-var:661147 var:6330671 icount:201;
in:98 out:98 type:2 q:278 itex:82601 ptex:701365 mv:4170 misc:15696 fcode:1 bcode:1 mc-var:339340 var:6321285 icount:93;
in:99 out:99 type:2 q:280 itex:127168 ptex:761157 mv:4267 misc:15824 fcode:1 bcode:1 mc-var:504034 var:6437727 icount:139;
in:100 out:100 type:2 q:281 itex:43684 ptex:561760 mv:3959 misc:15501 fcode:1 bcode:1 mc-var:220994 var:6454091 icount:44;
in:101 out:101 type:2 q:283 itex:85538 ptex:679339 mv:4082 misc:15665 fcode:1 bcode:1 mc-var:369254 var:6471870 icount:98;
in:102 out:102 type:2 q:285 itex:76741 ptex:973706 mv:5405 misc:16604 fcode:1 bcode:1 mc-var:376742 var:6220698 icount:123;
in:103 out:103 type:2 q:289 itex:121797 ptex:732863 mv:4196 misc:16056 fcode:1 bcode:1 mc-var:480797 var:6314417 icount:138;
in:104 out:104 type:2 q:292 itex:91758 ptex:685799 mv:4208 misc:15955 fcode:1 bcode:1 mc-var:405694 var:6345563 icount:106;
in:105 out:105 type:2 q:295 itex:62904 ptex:474586 mv:4003 misc:15491 fcode:1 bcode:1 mc-var:329152 var:6452488 icount:75;
in:106 out:106 type:2 q:298 itex:97756 ptex:545764 mv:4169 misc:15951 fcode:1 bcode:1 mc-var:455924 var:6395793 icount:131;
in:107 out:107 type:2 q:300 itex:32164 ptex:447982 mv:4079 misc:15655 fcode:1 bcode:1 mc-var:194430 var:6448345 icount:47;
in:108 out:108 type:2 q:303 itex:77794 ptex:502295 mv:4167 misc:15848 fcode:1 bcode:1 mc-var:325203 var:6488608 icount:98;
in:109 out:109 type:2 q:306 itex:69693 ptex:495358 mv:4115 misc:15930 fcode:1 bcode:1 mc-var:402939 var:6488039 icount:89;
in:110 out:110 type:2 q:309 itex:101019 ptex:516067 mv:4062 misc:15988 fcode:1 bcode:1 mc-var:453823 var:6544059 icount:129;
in:111 out:111 type:2 q:312 itex:109910 ptex:514741 mv:4093 misc:16144 fcode:1 bcode:1 mc-var:474152 var:6555459 icount:135;
in:112 out:112 type:2 q:315 itex:46695 ptex:450873 mv:4065 misc:15871 fcode:1 bcode:1 mc-var:268163 var:6569698 icount:63;
in:113 out:113 type:2 q:317 itex:41307 ptex:497455 mv:4223 misc:15775 fcode:1 bcode:1 mc-var:267452 var:6706097 icount:48;
in:114 out:114 type:2 q:320 itex:31401 ptex:503264 mv:4130 misc:15693 fcode:1 bcode:1 mc-var:226997 var:6570761 icount:44;
in:115 out:115 type:2 q:324 itex:209722 ptex:560745 mv:4619 misc:17666 fcode:1 bcode:1 mc-var:1093290 var:6623968 icount:274;
in:116 out:116 type:2 q:328 itex:176009 ptex:826010 mv:4734 misc:16927 fcode:1 bcode:1 mc-var:724327 var:5972820 icount:254;
in:117 out:117 type:2 q:333 itex:109827 ptex:593079 mv:4262 misc:15968 fcode:1 bcode:1 mc-var:544786 var:6266946 icount:132;
in:118 out:118 type:2 q:338 itex:94457 ptex:588437 mv:4154 misc:15872 fcode:1 bcode:1 mc-var:454893 var:6275644 icount:132;
in:119 out:119 type:2 q:345 itex:187873 ptex:622445 mv:3794 misc:16056 fcode:1 bcode:1 mc-var:872131 var:6526879 icount:273;
in:120 out:120 type:2 q:350 itex:42226 ptex:453494 mv:4090 misc:15838 fcode:1 bcode:1 mc-var:259493 var:6521992 icount:52;
in:121 out:121 type:2 q:357 itex:101562 ptex:616467 mv:4371 misc:15936 fcode:1 bcode:1 mc-var:527895 var:6262357 icount:146;
in:122 out:122 type:2 q:362 itex:20621 ptex:389401 mv:3926 misc:15732 fcode:1 bcode:1 mc-var:163339 var:6285085 icount:27;
in:123 out:123 type:2 q:369 itex:64227 ptex:718550 mv:5579 misc:16300 fcode:1 bcode:1 mc-var:431540 var:6327193 icount:89;
in:124 out:124 type:2 q:377 itex:254745 ptex:633663 mv:4049 misc:16639 fcode:1 bcode:1 mc-var:897914 var:6279803 icount:330;
in:125 out:125 type:2 q:388 itex:259582 ptex:590641 mv:3555 misc:16462 fcode:1 bcode:1 mc-var:1089508 var:6478901 icount:373;
in:126 out:126 type:2 q:401 itex:45854 ptex:528523 mv:4204 misc:15851 fcode:1 bcode:1 mc-var:362607 var:6307378 icount:67;
in:127 out:127 type:2 q:415 itex:51798 ptex:532693 mv:5242 misc:17075 fcode:1 bcode:1 mc-var:404703 var:6254604 icount:99;
in:128 out:128 type:2 q:432 itex:41337 ptex:410444 mv:4379 misc:16264 fcode:1 bcode:1 mc-var:319901 var:6251208 icount:73;
in:129 out:129 type:2 q:447 itex:27436 ptex:333595 mv:4185 misc:15856 fcode:1 bcode:1 mc-var:219998 var:6251567 icount:47;
in:130 out:130 type:2 q:460 itex:31560 ptex:382343 mv:4154 misc:15495 fcode:1 bcode:1 mc-var:287489 var:6198023 icount:53;
in:131 out:131 type:2 q:471 itex:40596 ptex:375525 mv:4214 misc:16057 fcode:1 bcode:1 mc-var:297334 var:6233705 icount:62;
in:132 out:132 type:1 q:1585 itex:736116 ptex:0 mv:0 misc:17392 fcode:1 bcode:1 mc-var:0 var:6260079 icount:2850;
in:133 out:133 type:2 q:481 itex:67917 ptex:657583 mv:4961 misc:18723 fcode:1 bcode:1 mc-var:445017 var:6229626 icount:116;
in:134 out:134 type:2 q:493 itex:140281 ptex:435231 mv:4872 misc:18368 fcode:1 bcode:1 mc-var:995442 var:6238401 icount:211;
in:135 out:135 type:2 q:507 itex:542522 ptex:422854 mv:4865 misc:18551 fcode:1 bcode:1 mc-var:606885 var:6218084 icount:808;
in:136 out:136 type:2 q:523 itex:61880 ptex:431464 mv:4193 misc:16263 fcode:1 bcode:1 mc-var:417702 var:6240590 icount:97;
in:137 out:137 type:2 q:540 itex:10471 ptex:238306 mv:3805 misc:15066 fcode:1 bcode:1 mc-var:161350 var:6245295 icount:17;
in:138 out:138 type:2 q:556 itex:20167 ptex:269968 mv:4079 misc:15450 fcode:1 bcode:1 mc-var:221436 var:6236714 icount:32;
in:139 out:139 type:2 q:569 itex:15500 ptex:266081 mv:3944 misc:15483 fcode:1 bcode:1 mc-var:196468 var:6324397 icount:29;
in:140 out:140 type:2 q:579 itex:56317 ptex:340010 mv:4205 misc:15836 fcode:1 bcode:1 mc-var:436751 var:6318028 icount:97;
in:141 out:141 type:2 q:587 itex:53565 ptex:472556 mv:4799 misc:16824 fcode:1 bcode:1 mc-var:515601 var:6203929 icount:96;
in:142 out:142 type:2 q:593 itex:37674 ptex:310176 mv:4226 misc:16076 fcode:1 bcode:1 mc-var:319292 var:6243296 icount:69;
in:143 out:143 type:2 q:597 itex:35876 ptex:299409 mv:4144 misc:15795 fcode:1 bcode:1 mc-var:341934 var:6262773 icount:63;
in:144 out:144 type:2 q:599 itex:9983 ptex:254630 mv:4155 misc:15312 fcode:1 bcode:1 mc-var:169474 var:6277893 icount:14;
in:145 out:145 type:2 q:601 itex:17031 ptex:274431 mv:4083 misc:15567 fcode:1 bcode:1 mc-var:225119 var:6321729 icount:30;
in:146 out:146 type:2 q:603 itex:28660 ptex:282271 mv:4112 misc:15461 fcode:1 bcode:1 mc-var:261964 var:6328279 icount:49;
in:147 out:147 type:2 q:603 itex:15332 ptex:270592 mv:4208 misc:15348 fcode:1 bcode:1 mc-var:200212 var:6385667 icount:25;
in:148 out:148 type:2 q:604 itex:37729 ptex:356244 mv:4550 misc:15877 fcode:1 bcode:1 mc-var:358365 var:6352131 icount:69;
in:149 out:149 type:2 q:605 itex:53265 ptex:336960 mv:4345 misc:15910 fcode:1 bcode:1 mc-var:410770 var:6427325 icount:88;
in:150 out:150 type:2 q:606 itex:42545 ptex:322203 mv:4148 misc:15720 fcode:1 bcode:1 mc-var:383741 var:6489503 icount:70;
in:151 out:151 type:2 q:606 itex:40639 ptex:336711 mv:4546 misc:16024 fcode:1 bcode:1 mc-var:334081 var:6503820 icount:74;
in:152 out:152 type:2 q:606 itex:41633 ptex:307037 mv:4217 misc:15849 fcode:1 bcode:1 mc-var:332782 var:6510263 icount:66;
in:153 out:153 type:2 q:606 itex:48772 ptex:369069 mv:4688 misc:16127 fcode:1 bcode:1 mc-var:428663 var:6568634 icount:88;
in:154 out:154 type:2 q:606 itex:114067 ptex:420379 mv:6193 misc:19561 fcode:1 bcode:1 mc-var:533146 var:6214752 icount:222;
in:155 out:155 type:2 q:606 itex:46796 ptex:338430 mv:4874 misc:16748 fcode:1 bcode:1 mc-var:405725 var:6212655 icount:85;
in:156 out:156 type:2 q:607 itex:287424 ptex:405723 mv:3851 misc:16962 fcode:1 bcode:1 mc-var:1409470 var:6165133 icount:478;
in:157 out:157 type:2 q:607 itex:154739 ptex:429192 mv:4039 misc:16038 fcode:1 bcode:1 mc-var:856245 var:6162545 icount:268;
in:158 out:158 type:2 q:608 itex:147143 ptex:458634 mv:4396 misc:16131 fcode:1 bcode:1 mc-var:942852 var:6203788 icount:239;
in:159 out:159 type:2 q:607 itex:26610 ptex:318872 mv:4298 misc:15988 fcode:1 bcode:1 mc-var:260187 var:6204095 icount:41;
in:160 out:160 type:2 q:607 itex:271468 ptex:328711 mv:4687 misc:16718 fcode:1 bcode:1 mc-var:424330 var:6239061 icount:419;
in:161 out:161 type:2 q:607 itex:9984 ptex:258127 mv:4082 misc:15983 fcode:1 bcode:1 mc-var:167218 var:6255496 icount:16;
in:162 out:162 type:2 q:607 itex:65146 ptex:373069 mv:4178 misc:15903 fcode:1 bcode:1 mc-var:458530 var:6460182 icount:98;
in:163 out:163 type:2 q:607 itex:75795 ptex:463130 mv:4843 misc:16936 fcode:1 bcode:1 mc-var:550160 var:6338828 icount:121;
in:164 out:164 type:2 q:606 itex:77971 ptex:385646 mv:4536 misc:16335 fcode:1 bcode:1 mc-var:510677 var:6361007 icount:122;
in:165 out:165 type:2 q:607 itex:248581 ptex:404133 mv:3550 misc:16592 fcode:1 bcode:1 mc-var:1227392 var:6525323 icount:437;
in:166 out:166 type:2 q:606 itex:25483 ptex:329565 mv:4386 misc:15902 fcode:1 bcode:1 mc-var:317309 var:6515082 icount:43;
in:167 out:167 type:2 q:606 itex:49521 ptex:335783 mv:4302 misc:16090 fcode:1 bcode:1 mc-var:388104 var:6581748 icount:79;
in:168 out:168 type:2 q:605 itex:26130 ptex:309665 mv:4407 misc:15806 fcode:1 bcode:1 mc-var:277681 var:6596699 icount:43;
in:169 out:169 type:2 q:604 itex:36028 ptex:340353 mv:4397 misc:16070 fcode:1 bcode:1 mc-var:323084 var:6482039 icount:57;
in:170 out:170 type:2 q:603 itex:20969 ptex:299824 mv:4147 misc:15764 fcode:1 bcode:1 mc-var:253422 var:6474363 icount:33;
in:171 out:171 type:2 q:602 itex:44725 ptex:414095 mv:4957 misc:17023 fcode:1 bcode:1 mc-var:472513 var:6405508 icount:76;