in:0 out:0 type:1 q:480 itex:295464 ptex:0 mv:0 misc:17244 fcode:1 bcode:1 mc-var:0 var:1293523 icount:2850;
in:1 out:1 type:2 q:327 itex:95065 ptex:21930 mv:559 misc:5478 fcode:1 bcode:1 mc-var:850983 var:1274870 icount:185;
in:2 out:2 type:2 q:269 itex:41265 ptex:16133 mv:841 misc:5705 fcode:1 bcode:1 mc-var:682652 var:1279534 icount:63;
in:3 out:3 type:2 q:254 itex:95127 ptex:45592 mv:1352 misc:6257 fcode:1 bcode:1 mc-var:326393 var:1115468 icount:162;
in:4 out:4 type:2 q:249 itex:95575 ptex:49765 mv:597 misc:4799 fcode:1 bcode:1 mc-var:340961 var:1110053 icount:139;
in:5 out:5 type:2 q:246 itex:13226 ptex:5029 mv:197 misc:3236 fcode:1 bcode:1 mc-var:54438 var:1120238 icount:13;
in:6 out:6 type:2 q:244 itex:15914 ptex:6708 mv:76 misc:3102 fcode:1 bcode:1 mc-var:66192 var:1128818 icount:14;
in:7 out:7 type:2 q:242 itex:12381 ptex:38375 mv:670 misc:4110 fcode:1 bcode:1 mc-var:57958 var:1143849 icount:7;
in:8 out:8 type:2 q:242 itex:87184 ptex:110756 mv:1402 misc:5714 fcode:1 bcode:1 mc-var:364358 var:1088917 icount:146;
in:9 out:9 type:2 q:241 itex:10922 ptex:10673 mv:411 misc:3554 fcode:1 bcode:1 mc-var:63064 var:1095433 icount:11;
in:10 out:10 type:2 q:241 itex:114857 ptex:93305 mv:1083 misc:5275 fcode:1 bcode:1 mc-var:477009 var:1177998 icount:158;
in:11 out:11 type:2 q:240 itex:16462 ptex:62459 mv:1103 misc:4656 fcode:1 bcode:1 mc-var:73277 var:1195384 icount:17;
in:12 out:12 type:2 q:241 itex:207011 ptex:106866 mv:928 misc:21315 fcode:1 bcode:1 mc-var:30597962 var:2588680 icount:1860;
in:13 out:13 type:2 q:240 itex:26613 ptex:21782 mv:599 misc:4798 fcode:1 bcode:1 mc-var:98249 var:2597795 icount:58;
in:14 out:14 type:2 q:240 itex:103292 ptex:46807 mv:655 misc:5510 fcode:1 bcode:1 mc-var:210566 var:2642222 icount:150;
in:15 out:15 type:2 q:240 itex:86674 ptex:93753 mv:662 misc:12583 fcode:1 bcode:1 mc-var:2785052 var:3022075 icount:858;
in:16 out:16 type:2 q:240 itex:159782 ptex:122443 mv:1318 misc:13985 fcode:1 bcode:1 mc-var:483139 var:2890078 icount:1005;
in:17 out:17 type:2 q:240 itex:130818 ptex:55058 mv:601 misc:12395 fcode:1 bcode:1 mc-var:371693 var:3042501 icount:842;
in:18 out:18 type:2 q:240 itex:128191 ptex:96525 mv:651 misc:12297 fcode:1 bcode:1 mc-var:799331 var:2870925 icount:839;
in:19 out:19 type:2 q:240 itex:146051 ptex:84138 mv:1592 misc:10291 fcode:1 bcode:1 mc-var:188256 var:2984231 icount:495;
in:20 out:20 type:2 q:240 itex:449741 ptex:103050 mv:1521 misc:15320 fcode:1 bcode:1 mc-var:1845324 var:2494513 icount:1140;
in:21 out:21 type:2 q:240 itex:169809 ptex:139469 mv:1114 misc:12448 fcode:1 bcode:1 mc-var:239825 var:2594385 icount:670;
in:22 out:22 type:2 q:240 itex:224044 ptex:192195 mv:1389 misc:12852 fcode:1 bcode:1 mc-var:366058 var:2689882 icount:687;
in:23 out:23 type:2 q:241 itex:282726 ptex:219817 mv:1260 misc:13101 fcode:1 bcode:1 mc-var:595569 var:2784429 icount:732;
in:24 out:24 type:2 q:241 itex:360138 ptex:220007 mv:1287 misc:12808 fcode:1 bcode:1 mc-var:580955 var:3117275 icount:656;
in:25 out:25 type:2 q:241 itex:415220 ptex:321453 mv:1695 misc:13536 fcode:1 bcode:1 mc-var:741245 var:3485287 icount:638;
in:26 out:26 type:2 q:241 itex:263801 ptex:444866 mv:2259 misc:13250 fcode:1 bcode:1 mc-var:533390 var:3764329 icount:441;
in:27 out:27 type:2 q:241 itex:274109 ptex:439145 mv:2127 misc:13123 fcode:1 bcode:1 mc-var:529613 var:4073269 icount:438;
in:28 out:28 type:2 q:242 itex:253375 ptex:467605 mv:2248 misc:12972 fcode:1 bcode:1 mc-var:538782 var:4135707 icount:378;
in:29 out:29 type:2 q:242 itex:289488 ptex:491672 mv:2246 misc:13586 fcode:1 bcode:1 mc-var:628629 var:4137745 icount:466;
in:30 out:30 type:2 q:242 itex:331745 ptex:621702 mv:3650 misc:16167 fcode:1 bcode:1 mc-var:1021185 var:4235684 icount:463;
in:31 out:31 type:2 q:242 itex:216598 ptex:503858 mv:2742 misc:13650 fcode:1 bcode:1 mc-var:423921 var:4247912 icount:305;
in:32 out:32 type:2 q:243 itex:207992 ptex:519410 mv:2667 misc:13323 fcode:1 bcode:1 mc-var:422054 var:4408565 icount:270;
in:33 out:33 type:2 q:243 itex:353156 ptex:766285 mv:2783 misc:14712 fcode:1 bcode:1 mc-var:747682 var:4332071 icount:504;
in:34 out:34 type:2 q:244 itex:256926 ptex:639294 mv:2855 misc:14101 fcode:1 bcode:1 mc-var:530249 var:4545995 icount:354;
in:35 out:35 type:2 q:244 itex:76825 ptex:543073 mv:2928 misc:13374 fcode:1 bcode:1 mc-var:187458 var:4524691 icount:177;
in:36 out:36 type:2 q:244 itex:206006 ptex:581289 mv:2873 misc:13720 fcode:1 bcode:1 mc-var:449428 var:4562166 icount:281;
in:37 out:37 type:2 q:245 itex:121622 ptex:554699 mv:2994 misc:13445 fcode:1 bcode:1 mc-var:276322 var:4603313 icount:177;
in:38 out:38 type:2 q:245 itex:149909 ptex:571806 mv:2960 misc:13637 fcode:1 bcode:1 mc-var:318798 var:4627669 icount:218;
in:39 out:39 type:2 q:245 itex:158385 ptex:552836 mv:2911 misc:13444 fcode:1 bcode:1 mc-var:343291 var:4736581 icount:193;
in:40 out:40 type:2 q:246 itex:331032 ptex:774834 mv:3965 misc:16833 fcode:1 bcode:1 mc-var:1098139 var:4798407 icount:414;
in:41 out:41 type:2 q:246 itex:107730 ptex:633171 mv:3346 misc:14121 fcode:1 bcode:1 mc-var:299311 var:4867267 icount:144;
in:42 out:42 type:2 q:247 itex:491162 ptex:685335 mv:3343 misc:15088 fcode:1 bcode:1 mc-var:488868 var:4810433 icount:542;
in:43 out:43 type:2 q:247 itex:327290 ptex:870616 mv:3998 misc:15512 fcode:1 bcode:1 mc-var:706962 var:4655341 icount:423;
in:44 out:44 type:2 q:248 itex:279729 ptex:866047 mv:3372 misc:14788 fcode:1 bcode:1 mc-var:717248 var:4924692 icount:313;
in:45 out:45 type:2 q:249 itex:383024 ptex:837520 mv:3070 misc:15010 fcode:1 bcode:1 mc-var:971182 var:5150413 icount:437;
in:46 out:46 type:2 q:250 itex:174065 ptex:745843 mv:3404 misc:14568 fcode:1 bcode:1 mc-var:481991 var:5238115 icount:190;
in:47 out:47 type:2 q:250 itex:145735 ptex:674772 mv:3233 misc:14252 fcode:1 bcode:1 mc-var:416885 var:5400560 icount:164;
in:48 out:48 type:2 q:251 itex:118545 ptex:737057 mv:3438 misc:14576 fcode:1 bcode:1 mc-var:374636 var:5509819 icount:137;
in:49 out:49 type:2 q:252 itex:102004 ptex:696095 mv:3491 misc:14506 fcode:1 bcode:1 mc-var:296243 var:5562588 icount:128;
in:50 out:50 type:2 q:253 itex:249397 ptex:823499 mv:3860 misc:16844 fcode:1 bcode:1 mc-var:982739 var:5583699 icount:281;
in:51 out:51 type:2 q:254 itex:104860 ptex:781302 mv:3769 misc:14893 fcode:1 bcode:1 mc-var:342592 var:5613784 icount:103;
in:52 out:52 type:2 q:255 itex:178638 ptex:766027 mv:3463 misc:14792 fcode:1 bcode:1 mc-var:452420 var:5625662 icount:195;
in:53 out:53 type:2 q:256 itex:140033 ptex:870702 mv:3468 misc:14565 fcode:1 bcode:1 mc-var:478878 var:5599217 icount:138;
in:54 out:54 type:2 q:257 itex:198417 ptex:963264 mv:3501 misc:14994 fcode:1 bcode:1 mc-var:692540 var:5689586 icount:236;
in:55 out:55 type:2 q:258 itex:101224 ptex:730172 mv:3451 misc:14505 fcode:1 bcode:1 mc-var:348095 var:5753333 icount:102;
in:56 out:56 type:2 q:259 itex:133319 ptex:1000031 mv:4084 misc:15622 fcode:1 bcode:1 mc-var:452916 var:5522279 icount:153;
in:57 out:57 type:2 q:261 itex:115977 ptex:778517 mv:3650 misc:15064 fcode:1 bcode:1 mc-var:385793 var:5584576 icount:110;
in:58 out:58 type:2 q:262 itex:81536 ptex:711799 mv:3656 misc:14681 fcode:1 bcode:1 mc-var:282979 var:5609900 icount:77;
in:59 out:59 type:2 q:264 itex:83493 ptex:727607 mv:3673 misc:14667 fcode:1 bcode:1 mc-var:287212 var:5635118 icount:86;
in:60 out:60 type:2 q:266 itex:296056 ptex:810737 mv:3893 misc:16858 fcode:1 bcode:1 mc-var:956577 var:5687514 icount:309;
in:61 out:61 type:2 q:268 itex:117781 ptex:890918 mv:4031 misc:15990 fcode:1 bcode:1 mc-var:380142 var:5550561 icount:119;
in:62 out:62 type:2 q:270 itex:107619 ptex:725582 mv:3587 misc:15060 fcode:1 bcode:1 mc-var:354532 var:5623222 icount:101;
in:63 out:63 type:2 q:272 itex:85113 ptex:749532 mv:3783 misc:14972 fcode:1 bcode:1 mc-var:296925 var:5671664 icount:85;
in:64 out:64 type:2 q:275 itex:186519 ptex:1013463 mv:3484 misc:15206 fcode:1 bcode:1 mc-var:712959 var:5674706 icount:177;
in:65 out:65 type:2 q:279 itex:113577 ptex:889468 mv:3763 misc:15256 fcode:1 bcode:1 mc-var:409266 var:5549010 icount:114;
in:66 out:66 type:2 q:283 itex:155567 ptex:1099728 mv:4966 misc:16435 fcode:1 bcode:1 mc-var:456688 var:5279441 icount:191;
in:67 out:67 type:2 q:288 itex:115273 ptex:805533 mv:3792 misc:15498 fcode:1 bcode:1 mc-var:369367 var:5362286 icount:98;
in:68 out:68 type:2 q:296 itex:107062 ptex:649310 mv:3746 misc:15266 fcode:1 bcode:1 mc-var:436495 var:5465618 icount:114;
in:69 out:69 type:2 q:304 itex:162320 ptex:670241 mv:4687 misc:17560 fcode:1 bcode:1 mc-var:798392 var:5422955 icount:225;
in:70 out:70 type:2 q:314 itex:137533 ptex:820392 mv:3845 misc:15606 fcode:1 bcode:1 mc-var:673361 var:5529039 icount:170;
in:71 out:71 type:2 q:323 itex:36420 ptex:532029 mv:3772 misc:15179 fcode:1 bcode:1 mc-var:224795 var:5555694 icount:40;
in:72 out:72 type:2 q:334 itex:63730 ptex:657052 mv:3957 misc:15253 fcode:1 bcode:1 mc-var:347980 var:5560685 icount:61;
in:73 out:73 type:2 q:349 itex:81476 ptex:642898 mv:3823 misc:15323 fcode:1 bcode:1 mc-var:381234 var:5640810 icount:77;
in:74 out:74 type:2 q:366 itex:112265 ptex:673525 mv:3949 misc:15413 fcode:1 bcode:1 mc-var:423758 var:5686846 icount:110;
in:75 out:75 type:2 q:388 itex:128845 ptex:875012 mv:4331 misc:16180 fcode:1 bcode:1 mc-var:561994 var:5437628 icount:133;
in:76 out:76 type:2 q:413 itex:98405 ptex:525335 mv:3807 misc:15213 fcode:1 bcode:1 mc-var:431285 var:5463333 icount:106;
in:77 out:77 type:2 q:442 itex:125241 ptex:730503 mv:4565 misc:15643 fcode:1 bcode:1 mc-var:597874 var:5569874 icount:133;
in:78 out:78 type:2 q:476 itex:79340 ptex:524604 mv:3837 misc:15155 fcode:1 bcode:1 mc-var:347924 var:5551523 icount:82;
in:79 out:79 type:2 q:514 itex:149318 ptex:532548 mv:4740 misc:17378 fcode:1 bcode:1 mc-var:974274 var:5552682 icount:223;
in:80 out:80 type:2 q:557 itex:60205 ptex:444546 mv:3874 misc:14935 fcode:1 bcode:1 mc-var:405755 var:5603818 icount:86;
in:81 out:81 type:2 q:604 itex:468727 ptex:470738 mv:5003 misc:17396 fcode:1 bcode:1 mc-var:806602 var:5426640 icount:615;
in:82 out:82 type:2 q:655 itex:66560 ptex:339174 mv:3720 misc:14986 fcode:1 bcode:1 mc-var:459019 var:5541585 icount:90;
in:83 out:83 type:2 q:711 itex:67712 ptex:359457 mv:3807 misc:14864 fcode:1 bcode:1 mc-var:435430 var:5518392 icount:85;
in:84 out:84 type:2 q:770 itex:50631 ptex:377807 mv:3819 misc:14471 fcode:1 bcode:1 mc-var:514597 var:5643654 icount:71;
in:85 out:85 type:2 q:833 itex:40858 ptex:286730 mv:3989 misc:14975 fcode:1 bcode:1 mc-var:407528 var:5641751 icount:60;
in:86 out:86 type:2 q:900 itex:28563 ptex:228089 mv:3827 misc:14561 fcode:1 bcode:1 mc-var:348705 var:5676045 icount:40;
in:87 out:87 type:2 q:961 itex:48138 ptex:266351 mv:4160 misc:14999 fcode:1 bcode:1 mc-var:475061 var:5735423 icount:74;
in:88 out:88 type:2 q:1016 itex:26400 ptex:179529 mv:3864 misc:14575 fcode:1 bcode:1 mc-var:350882 var:5740411 icount:41;
in:89 out:89 type:2 q:1066 itex:32736 ptex:188574 mv:3905 misc:14705 fcode:1 bcode:1 mc-var:390733 var:5731006 icount:48;
in:90 out:90 type:2 q:1110 itex:41011 ptex:285627 mv:4629 misc:15197 fcode:1 bcode:1 mc-var:505982 var:5898440 icount:67;
in:91 out:91 type:2 q:1150 itex:35521 ptex:223795 mv:5375 misc:16085 fcode:1 bcode:1 mc-var:491568 var:5548504 icount:63;
in:92 out:92 type:2 q:1184 itex:30135 ptex:184435 mv:4166 misc:14760 fcode:1 bcode:1 mc-var:403588 var:5641490 icount:48;
in:93 out:93 type:2 q:1214 itex:27826 ptex:178344 mv:3939 misc:14427 fcode:1 bcode:1 mc-var:397951 var:5757833 icount:47;
in:94 out:94 type:2 q:1240 itex:32156 ptex:198614 mv:4909 misc:16177 fcode:1 bcode:1 mc-var:498902 var:5487532 icount:58;
in:95 out:95 type:2 q:1261 itex:18329 ptex:139591 mv:4225 misc:14551 fcode:1 bcode:1 mc-var:363760 var:5540706 icount:34;
in:96 out:96 type:2 q:1278 itex:33622 ptex:213853 mv:4182 misc:14167 fcode:1 bcode:1 mc-var:614441 var:5601268 icount:55;
in:97 out:97 type:2 q:1291 itex:30802 ptex:159730 mv:4115 misc:14849 fcode:1 bcode:1 mc-var:478561 var:5622574 icount:51;
in:98 out:98 type:2 q:1301 itex:17768 ptex:174452 mv:3969 misc:14267 fcode:1 bcode:1 mc-var:382739 var:5588770 icount:31;
in:99 out:99 type:2 q:1307 itex:77044 ptex:174534 mv:4286 misc:16032 fcode:1 bcode:1 mc-var:1099474 var:5619564 icount:171;
in:100 out:100 type:2 q:1309 itex:19777 ptex:152398 mv:3914 misc:14519 fcode:1 bcode:1 mc-var:381069 var:5636124 icount:36;
in:101 out:101 type:2 q:1309 itex:20503 ptex:158993 mv:4036 misc:14572 fcode:1 bcode:1 mc-var:411486 var:5715903 icount:35;
in:102 out:102 type:2 q:1305 itex:30916 ptex:166341 mv:3996 misc:14835 fcode:1 bcode:1 mc-var:478140 var:5822628 icount:51;
in:103 out:103 type:2 q:1298 itex:20918 ptex:224924 mv:3912 misc:13934 fcode:1 bcode:1 mc-var:571584 var:5951348 icount:39;
in:104 out:104 type:2 q:1290 itex:160340 ptex:148597 mv:4137 misc:14894 fcode:1 bcode:1 mc-var:465499 var:5890940 icount:289;
in:105 out:105 type:2 q:1283 itex:28925 ptex:177062 mv:4140 misc:14809 fcode:1 bcode:1 mc-var:481389 var:5925816 icount:54;
in:106 out:106 type:2 q:1275 itex:36072 ptex:173710 mv:4050 misc:14984 fcode:1 bcode:1 mc-var:488672 var:6084190 icount:62;
in:107 out:107 type:2 q:1267 itex:28025 ptex:149530 mv:3839 misc:14934 fcode:1 bcode:1 mc-var:429952 var:6106908 icount:50;
in:108 out:108 type:2 q:1259 itex:17085 ptex:157945 mv:3885 misc:14749 fcode:1 bcode:1 mc-var:351701 var:6109136 icount:34;
in:109 out:109 type:2 q:1251 itex:25893 ptex:163489 mv:3854 misc:14532 fcode:1 bcode:1 mc-var:433146 var:6048301 icount:47;
in:110 out:110 type:2 q:1243 itex:19974 ptex:159988 mv:3968 misc:14862 fcode:1 bcode:1 mc-var:410666 var:6120340 icount:38;
in:111 out:111 type:2 q:1235 itex:42338 ptex:231081 mv:4311 misc:16150 fcode:1 bcode:1 mc-var:459303 var:6044446 icount:74;
in:112 out:112 type:2 q:1227 itex:27650 ptex:189958 mv:4055 misc:15273 fcode:1 bcode:1 mc-var:437631 var:6150857 icount:47;
in:113 out:113 type:2 q:1220 itex:35480 ptex:191912 mv:4092 misc:15300 fcode:1 bcode:1 mc-var:453421 var:6123084 icount:61;
in:114 out:114 type:2 q:1212 itex:17154 ptex:175537 mv:4005 misc:15112 fcode:1 bcode:1 mc-var:335072 var:6171234 icount:29;
in:115 out:115 type:2 q:1204 itex:23756 ptex:192810 mv:4046 misc:15052 fcode:1 bcode:1 mc-var:382015 var:6207248 icount:40;
in:116 out:116 type:2 q:1196 itex:37240 ptex:270258 mv:5822 misc:16928 fcode:1 bcode:1 mc-var:528120 var:5897404 icount:63;
in:117 out:117 type:2 q:1189 itex:29037 ptex:190003 mv:4244 misc:15564 fcode:1 bcode:1 mc-var:404034 var:5917928 icount:46;
in:118 out:118 type:2 q:1181 itex:34027 ptex:228802 mv:4633 misc:16194 fcode:1 bcode:1 mc-var:488117 var:5968860 icount:59;
in:119 out:119 type:2 q:1174 itex:79434 ptex:216881 mv:4665 misc:16884 fcode:1 bcode:1 mc-var:946871 var:5971074 icount:170;
in:120 out:120 type:2 q:1167 itex:31392 ptex:195326 mv:4367 misc:15459 fcode:1 bcode:1 mc-var:434982 var:6035849 icount:54;
in:121 out:121 type:2 q:1159 itex:35260 ptex:218012 mv:4744 misc:16488 fcode:1 bcode:1 mc-var:467447 var:5935050 icount:59;
in:122 out:122 type:2 q:1152 itex:20882 ptex:183460 mv:4294 misc:15420 fcode:1 bcode:1 mc-var:376100 var:5965571 icount:37;
in:123 out:123 type:2 q:1145 itex:40503 ptex:198049 mv:4322 misc:15310 fcode:1 bcode:1 mc-var:453936 var:6012980 icount:69;
in:124 out:124 type:2 q:1137 itex:34183 ptex:185267 mv:4096 misc:15262 fcode:1 bcode:1 mc-var:419775 var:6042796 icount:58;
in:125 out:125 type:2 q:1130 itex:26399 ptex:174641 mv:4117 misc:15371 fcode:1 bcode:1 mc-var:348873 var:5989652 icount:48;
in:126 out:126 type:2 q:1123 itex:31834 ptex:205705 mv:4373 misc:15672 fcode:1 bcode:1 mc-var:446266 var:6156219 icount:51;
in:127 out:127 type:2 q:1116 itex:21625 ptex:253498 mv:4471 misc:16446 fcode:1 bcode:1 mc-var:370502 var:6156854 icount:35;
in:128 out:128 type:2 q:1109 itex:15255 ptex:202257 mv:4010 misc:15494 fcode:1 bcode:1 mc-var:318014 var:6143989 icount:27;
in:129 out:129 type:2 q:1102 itex:40811 ptex:250076 mv:4479 misc:16386 fcode:1 bcode:1 mc-var:461929 var:6111809 icount:62;
in:130 out:130 type:2 q:1095 itex:46110 ptex:255024 mv:4494 misc:15756 fcode:1 bcode:1 mc-var:516338 var:6174857 icount:74;
in:131 out:131 type:2 q:1089 itex:33219 ptex:250436 mv:4217 misc:15112 fcode:1 bcode:1 mc-var:433483 var:5960409 icount:51;
in:132 out:132 type:1 q:249 itex:2162015 ptex:0 mv:0 misc:15493 fcode:1 bcode:1 mc-var:0 var:5993210 icount:2850;
in:133 out:133 type:2 q:1082 itex:25149 ptex:209217 mv:3710 misc:15564 fcode:1 bcode:1 mc-var:299387 var:5972068 icount:42;
in:134 out:134 type:2 q:1076 itex:32042 ptex:283557 mv:4518 misc:15939 fcode:1 bcode:1 mc-var:406388 var:6008185 icount:48;
in:135 out:135 type:2 q:1069 itex:38007 ptex:237254 mv:3974 misc:15453 fcode:1 bcode:1 mc-var:392604 var:6034863 icount:57;
in:136 out:136 type:2 q:1063 itex:25964 ptex:241121 mv:4101 misc:15574 fcode:1 bcode:1 mc-var:395477 var:6086870 icount:41;
in:137 out:137 type:2 q:1057 itex:27870 ptex:248516 mv:4208 misc:15774 fcode:1 bcode:1 mc-var:410235 var:6121021 icount:43;
in:138 out:138 type:2 q:1051 itex:36558 ptex:245860 mv:4057 misc:15637 fcode:1 bcode:1 mc-var:417799 var:6168987 icount:61;
in:139 out:139 type:2 q:1045 itex:77748 ptex:255923 mv:4611 misc:16894 fcode:1 bcode:1 mc-var:863101 var:6037926 icount:161;
in:140 out:140 type:2 q:1039 itex:31218 ptex:251604 mv:4396 misc:16078 fcode:1 bcode:1 mc-var:389549 var:6061047 icount:50;
in:141 out:141 type:2 q:1033 itex:24179 ptex:229165 mv:4321 misc:15895 fcode:1 bcode:1 mc-var:344928 var:6018162 icount:38;
in:142 out:142 type:2 q:1027 itex:18645 ptex:210667 mv:4037 misc:15675 fcode:1 bcode:1 mc-var:289829 var:6041874 icount:30;
in:143 out:143 type:2 q:1021 itex:30042 ptex:266835 mv:5175 misc:17324 fcode:1 bcode:1 mc-var:422679 var:5838256 icount:45;
in:144 out:144 type:2 q:1015 itex:405045 ptex:209744 mv:4890 misc:18289 fcode:1 bcode:1 mc-var:676999 var:5716867 icount:687;
in:145 out:145 type:2 q:1010 itex:40145 ptex:260578 mv:4087 misc:15942 fcode:1 bcode:1 mc-var:444909 var:5853979 icount:66;
in:146 out:146 type:2 q:1004 itex:42633 ptex:257638 mv:4118 misc:16123 fcode:1 bcode:1 mc-var:467936 var:5850794 icount:74;
in:147 out:147 type:2 q:998 itex:28635 ptex:306919 mv:4369 misc:16901 fcode:1 bcode:1 mc-var:381783 var:5901230 icount:40;
in:148 out:148 type:2 q:993 itex:23255 ptex:274879 mv:4094 misc:16012 fcode:1 bcode:1 mc-var:365238 var:5914530 icount:34;
in:149 out:149 type:2 q:987 itex:23020 ptex:268352 mv:4159 misc:15901 fcode:1 bcode:1 mc-var:355835 var:5908000 icount:35;
in:150 out:150 type:2 q:982 itex:17248 ptex:261389 mv:4200 misc:15923 fcode:1 bcode:1 mc-var:314679 var:5924085 icount:23;
in:151 out:151 type:2 q:977 itex:33529 ptex:270830 mv:4142 misc:15987 fcode:1 bcode:1 mc-var:384036 var:5958599 icount:52;
in:152 out:152 type:2 q:971 itex:26347 ptex:268690 mv:4176 misc:15907 fcode:1 bcode:1 mc-var:368584 var:5969779 icount:40;
in:153 out:153 type:2 q:966 itex:46909 ptex:336136 mv:4648 misc:16659 fcode:1 bcode:1 mc-var:469733 var:5958559 icount:65;
in:154 out:154 type:2 q:961 itex:41209 ptex:298421 mv:4234 misc:16064 fcode:1 bcode:1 mc-var:434550 var:6112829 icount:57;
in:155 out:155 type:2 q:956 itex:34756 ptex:288916 mv:4056 misc:15784 fcode:1 bcode:1 mc-var:390662 var:6122989 icount:48;
in:156 out:156 type:2 q:951 itex:32877 ptex:288259 mv:4118 misc:16114 fcode:1 bcode:1 mc-var:396520 var:6144278 icount:45;
in:157 out:157 type:2 q:946 itex:37509 ptex:290077 mv:4255 misc:15895 fcode:1 bcode:1 mc-var:398827 var:6189154 icount:50;
in:158 out:158 type:2 q:941 itex:27707 ptex:271378 mv:4072 misc:15779 fcode:1 bcode:1 mc-var:362020 var:6281531 icount:41;
in:159 out:159 type:2 q:936 itex:85866 ptex:293491 mv:4815 misc:18108 fcode:1 bcode:1 mc-var:532848 var:6211061 icount:192;
in:160 out:160 type:2 q:931 itex:27527 ptex:261822 mv:4297 misc:16258 fcode:1 bcode:1 mc-var:324870 var:6198168 icount:43;
in:161 out:161 type:2 q:926 itex:28433 ptex:289161 mv:4150 misc:15608 fcode:1 bcode:1 mc-var:371108 var:6242340 icount:43;
in:162 out:162 type:2 q:921 itex:19269 ptex:273130 mv:4152 misc:15833 fcode:1 bcode:1 mc-var:330716 var:6328989 icount:31;
in:163 out:163 type:2 q:916 itex:40006 ptex:313868 mv:4332 misc:15674 fcode:1 bcode:1 mc-var:453321 var:6257013 icount:60;
in:164 out:164 type:2 q:912 itex:31840 ptex:281874 mv:4174 misc:15848 fcode:1 bcode:1 mc-var:362852 var:6287991 icount:45;
in:165 out:165 type:2 q:907 itex:21983 ptex:264345 mv:4108 misc:15956 fcode:1 bcode:1 mc-var:306390 var:6319963 icount:32;
in:166 out:166 type:2 q:902 itex:39094 ptex:294214 mv:4274 misc:16074 fcode:1 bcode:1 mc-var:443847 var:6389989 icount:60;
in:167 out:167 type:2 q:898 itex:42629 ptex:292260 mv:4331 misc:16108 fcode:1 bcode:1 mc-var:452539 var:6418576 icount:63;
in:168 out:168 type:2 q:893 itex:41409 ptex:284014 mv:4173 misc:15988 fcode:1 bcode:1 mc-var:393476 var:6381252 icount:60;
in:169 out:169 type:2 q:889 itex:269099 ptex:243746 mv:4294 misc:16413 fcode:1 bcode:1 mc-var:410665 var:6448647 icount:381;
in:170 out:170 type:2 q:885 itex:38936 ptex:294871 mv:4077 misc:16092 fcode:1 bcode:1 mc-var:413893 var:6570658 icount:57;
in:171 out:171 type:2 q:880 itex:43895 ptex:431297 mv:5229 misc:17659 fcode:1 bcode:1 mc-var:465686 var:6312263 icount:61;
in:172 out:172 type:2 q:876 itex:37209 ptex:350263 mv:4320 misc:16408 fcode:1 bcode:1 mc-var:387555 var:6356787 icount:51;
in:173 out:173 type:2 q:872 itex:40319 ptex:382083 mv:4353 misc:16141 fcode:1 bcode:1 mc-var:430861 var:6326196 icount:54;
in:174 out:174 type:2 q:868 itex:23474 ptex:375384 mv:4713 misc:16509 fcode:1 bcode:1 mc-var:364710 var:6318005 icount:32;
in:175 out:175 type:2 q:864 itex:40179 ptex:359995 mv:4247 misc:16291 fcode:1 bcode:1 mc-var:409795 var:6229616 icount:54;
in:176 out:176 type:2 q:859 itex:32942 ptex:365893 mv:4165 misc:16096 fcode:1 bcode:1 mc-var:371954 var:6385024 icount:45;
in:177 out:177 type:2 q:855 itex:33193 ptex:348604 mv:4238 misc:16109 fcode:1 bcode:1 mc-var:371816 var:6330520 icount:46;
in:178 out:178 type:2 q:851 itex:28074 ptex:384836 mv:4788 misc:17502 fcode:1 bcode:1 mc-var:437630 var:6387277 icount:38;