in:0 out:0 type:1 q:480 itex:603435 ptex:0 mv:0 misc:76537 fcode:1 bcode:1 mc-var:0 var:3181483 icount:12675;
in:1 out:1 type:2 q:327 itex:293968 ptex:17416 mv:572 misc:16948 fcode:1 bcode:1 mc-var:2324123 var:3592481 icount:391;
in:2 out:2 type:2 q:268 itex:283516 ptex:59930 mv:1383 misc:19499 fcode:1 bcode:1 mc-var:1947325 var:3380837 icount:443;
in:3 out:3 type:2 q:254 itex:290520 ptex:49442 mv:804 misc:17354 fcode:1 bcode:1 mc-var:1508880 var:3283172 icount:413;
in:4 out:4 type:2 q:248 itex:310297 ptex:54671 mv:1033 misc:17295 fcode:1 bcode:1 mc-var:1879308 var:3398216 icount:411;
in:5 out:5 type:2 q:245 itex:276551 ptex:31403 mv:671 misc:17127 fcode:1 bcode:1 mc-var:1567035 var:3127754 icount:404;
in:6 out:6 type:2 q:243 itex:263497 ptex:109645 mv:2395 misc:19631 fcode:1 bcode:1 mc-var:1657023 var:3199421 icount:370;
in:7 out:7 type:2 q:242 itex:297969 ptex:49827 mv:894 misc:17254 fcode:1 bcode:1 mc-var:1694853 var:3341777 icount:385;
in:8 out:8 type:2 q:241 itex:20341 ptex:13109 mv:318 misc:13544 fcode:1 bcode:1 mc-var:132173 var:3419016 icount:13;
in:9 out:9 type:2 q:240 itex:318828 ptex:64413 mv:761 misc:17238 fcode:1 bcode:1 mc-var:1977945 var:3530196 icount:421;
in:10 out:10 type:2 q:240 itex:231159 ptex:36265 mv:813 misc:16707 fcode:1 bcode:1 mc-var:1012273 var:3216321 icount:362;
in:11 out:11 type:2 q:239 itex:279482 ptex:54999 mv:962 misc:16629 fcode:1 bcode:1 mc-var:1442005 var:3343401 icount:346;
in:12 out:12 type:2 q:239 itex:15538 ptex:12280 mv:322 misc:13604 fcode:1 bcode:1 mc-var:111578 var:3403786 icount:14;
in:13 out:13 type:2 q:239 itex:269393 ptex:47772 mv:739 misc:17048 fcode:1 bcode:1 mc-var:1458453 var:3253016 icount:404;
in:14 out:14 type:2 q:238 itex:231294 ptex:41196 mv:432 misc:16022 fcode:1 bcode:1 mc-var:1433417 var:3546326 icount:276;
in:15 out:15 type:2 q:238 itex:302103 ptex:90245 mv:1222 misc:16854 fcode:1 bcode:1 mc-var:1545502 var:3619451 icount:346;
in:16 out:16 type:2 q:238 itex:11486 ptex:15417 mv:373 misc:13652 fcode:1 bcode:1 mc-var:94190 var:3660511 icount:9;
in:17 out:17 type:2 q:238 itex:202003 ptex:30285 mv:547 misc:16365 fcode:1 bcode:1 mc-var:1315357 var:3376878 icount:329;
in:18 out:18 type:2 q:238 itex:301902 ptex:34560 mv:592 misc:16970 fcode:1 bcode:1 mc-var:1782271 var:3460506 icount:392;
in:19 out:19 type:2 q:238 itex:214790 ptex:22765 mv:413 misc:16328 fcode:1 bcode:1 mc-var:1469353 var:3469246 icount:310;
in:20 out:20 type:2 q:238 itex:227427 ptex:29271 mv:604 misc:16586 fcode:1 bcode:1 mc-var:1178715 var:3101345 icount:355;
in:21 out:21 type:2 q:237 itex:8674 ptex:9818 mv:281 misc:13347 fcode:1 bcode:1 mc-var:77112 var:3143256 icount:6;
in:22 out:22 type:2 q:237 itex:248883 ptex:23504 mv:421 misc:16272 fcode:1 bcode:1 mc-var:1616380 var:3170432 icount:336;
in:23 out:23 type:2 q:237 itex:8905 ptex:7908 mv:184 misc:13219 fcode:1 bcode:1 mc-var:67454 var:3200658 icount:8;
in:24 out:24 type:2 q:237 itex:9231 ptex:3190 mv:76 misc:12911 fcode:1 bcode:1 mc-var:54036 var:3229193 icount:6;
in:25 out:25 type:2 q:237 itex:225069 ptex:29523 mv:487 misc:16153 fcode:1 bcode:1 mc-var:1567281 var:3220770 icount:314;
in:26 out:26 type:2 q:237 itex:9875 ptex:56031 mv:1514 misc:16036 fcode:1 bcode:1 mc-var:62330 var:3248899 icount:63;
in:27 out:27 type:2 q:237 itex:7890 ptex:6023 mv:524 misc:14179 fcode:1 bcode:1 mc-var:52103 var:3274659 icount:6;
in:28 out:28 type:2 q:237 itex:270289 ptex:30052 mv:557 misc:16998 fcode:1 bcode:1 mc-var:1861202 var:3379182 icount:367;
in:29 out:29 type:2 q:237 itex:8010 ptex:11665 mv:346 misc:13603 fcode:1 bcode:1 mc-var:63989 var:3405065 icount:5;
in:30 out:30 type:2 q:237 itex:237863 ptex:22001 mv:339 misc:16253 fcode:1 bcode:1 mc-var:1781585 var:3429207 icount:320;
in:31 out:31 type:2 q:237 itex:6300 ptex:8299 mv:237 misc:13332 fcode:1 bcode:1 mc-var:62938 var:3454610 icount:6;
in:32 out:32 type:2 q:237 itex:7249 ptex:2458 mv:72 misc:12893 fcode:1 bcode:1 mc-var:52155 var:3473465 icount:4;
in:33 out:33 type:2 q:237 itex:7273 ptex:2215 mv:28 misc:12804 fcode:1 bcode:1 mc-var:52368 var:3501113 icount:5;
in:34 out:34 type:2 q:237 itex:7550 ptex:2346 mv:14 misc:12770 fcode:1 bcode:1 mc-var:48470 var:3522930 icount:5;
in:35 out:35 type:2 q:237 itex:254499 ptex:38923 mv:489 misc:16385 fcode:1 bcode:1 mc-var:1842203 var:3528729 icount:339;
in:36 out:36 type:2 q:237 itex:6925 ptex:5209 mv:216 misc:13242 fcode:1 bcode:1 mc-var:59889 var:3552722 icount:4;
in:37 out:37 type:2 q:237 itex:5812 ptex:2885 mv:70 misc:12865 fcode:1 bcode:1 mc-var:48552 var:3579580 icount:4;
in:38 out:38 type:2 q:237 itex:6791 ptex:1495 mv:20 misc:12758 fcode:1 bcode:1 mc-var:49992 var:3597644 icount:3;
in:39 out:39 type:2 q:237 itex:314554 ptex:39760 mv:488 misc:16998 fcode:1 bcode:1 mc-var:2175383 var:3581066 icount:397;
in:40 out:40 type:2 q:237 itex:274794 ptex:40231 mv:553 misc:16798 fcode:1 bcode:1 mc-var:2084345 var:3608512 icount:356;
in:41 out:41 type:2 q:237 itex:6434 ptex:7407 mv:266 misc:13373 fcode:1 bcode:1 mc-var:56089 var:3635762 icount:6;
in:42 out:42 type:2 q:237 itex:6472 ptex:2565 mv:72 misc:12899 fcode:1 bcode:1 mc-var:47779 var:3662942 icount:4;
in:43 out:43 type:2 q:237 itex:6269 ptex:2439 mv:32 misc:12796 fcode:1 bcode:1 mc-var:45787 var:3686251 icount:3;
in:44 out:44 type:2 q:237 itex:5603 ptex:2279 mv:16 misc:12758 fcode:1 bcode:1 mc-var:42012 var:3704871 icount:4;
in:45 out:45 type:2 q:237 itex:302915 ptex:95255 mv:1123 misc:16899 fcode:1 bcode:1 mc-var:1215313 var:3578349 icount:370;
in:46 out:46 type:2 q:237 itex:6609 ptex:13041 mv:375 misc:13559 fcode:1 bcode:1 mc-var:61578 var:3599423 icount:6;
in:47 out:47 type:2 q:237 itex:26564 ptex:37017 mv:1337 misc:16274 fcode:1 bcode:1 mc-var:47472 var:3599565 icount:179;
in:48 out:48 type:2 q:236 itex:5475 ptex:3236 mv:184 misc:13097 fcode:1 bcode:1 mc-var:45284 var:3613869 icount:3;
in:49 out:49 type:2 q:236 itex:4560 ptex:3481 mv:20 misc:12771 fcode:1 bcode:1 mc-var:40793 var:3628969 icount:3;
in:50 out:50 type:2 q:236 itex:338664 ptex:37200 mv:610 misc:17342 fcode:1 bcode:1 mc-var:2199362 var:3256604 icount:452;
in:51 out:51 type:2 q:236 itex:5064 ptex:12886 mv:365 misc:13493 fcode:1 bcode:1 mc-var:58944 var:3275823 icount:3;
in:52 out:52 type:2 q:236 itex:4922 ptex:2947 mv:82 misc:12921 fcode:1 bcode:1 mc-var:41587 var:3297318 icount:4;
in:53 out:53 type:2 q:236 itex:7287 ptex:433 mv:30 misc:12794 fcode:1 bcode:1 mc-var:41183 var:3319140 icount:4;
in:54 out:54 type:2 q:236 itex:6207 ptex:442 mv:20 misc:12763 fcode:1 bcode:1 mc-var:41225 var:3340347 icount:4;
in:55 out:55 type:2 q:236 itex:4101 ptex:2678 mv:28 misc:12761 fcode:1 bcode:1 mc-var:37302 var:3356315 icount:2;
in:56 out:56 type:2 q:236 itex:299870 ptex:28765 mv:361 misc:16796 fcode:1 bcode:1 mc-var:2291256 var:3389292 icount:379;
in:57 out:57 type:2 q:236 itex:6078 ptex:9441 mv:254 misc:13355 fcode:1 bcode:1 mc-var:52125 var:3408380 icount:4;
in:58 out:58 type:2 q:236 itex:4699 ptex:2789 mv:64 misc:12880 fcode:1 bcode:1 mc-var:41132 var:3420966 icount:3;
in:59 out:59 type:2 q:236 itex:258850 ptex:27475 mv:431 misc:16092 fcode:1 bcode:1 mc-var:2000326 var:3367314 icount:310;
in:60 out:60 type:2 q:236 itex:4653 ptex:6019 mv:202 misc:13174 fcode:1 bcode:1 mc-var:45439 var:3381051 icount:4;
in:61 out:61 type:2 q:236 itex:5676 ptex:2400 mv:40 misc:12804 fcode:1 bcode:1 mc-var:38917 var:3400541 icount:3;
in:62 out:62 type:2 q:236 itex:6904 ptex:514 mv:24 misc:12782 fcode:1 bcode:1 mc-var:37702 var:3417353 icount:4;
in:63 out:63 type:2 q:236 itex:4569 ptex:2072 mv:14 misc:12753 fcode:1 bcode:1 mc-var:38220 var:3433818 icount:3;
in:64 out:64 type:2 q:236 itex:5850 ptex:1624 mv:10 misc:12748 fcode:1 bcode:1 mc-var:39212 var:3450758 icount:4;
in:65 out:65 type:2 q:236 itex:3981 ptex:2088 mv:10 misc:12737 fcode:1 bcode:1 mc-var:38593 var:3460790 icount:2;
in:66 out:66 type:2 q:236 itex:4192 ptex:2287 mv:10 misc:12727 fcode:1 bcode:1 mc-var:38846 var:3479238 icount:2;
in:67 out:67 type:2 q:236 itex:11540 ptex:52141 mv:1190 misc:15993 fcode:1 bcode:1 mc-var:39505 var:3507285 icount:122;
in:68 out:68 type:2 q:236 itex:4226 ptex:5704 mv:366 misc:13640 fcode:1 bcode:1 mc-var:38710 var:3521330 icount:2;
in:69 out:69 type:2 q:236 itex:284227 ptex:37986 mv:600 misc:16523 fcode:1 bcode:1 mc-var:2188929 var:3488327 icount:327;
in:70 out:70 type:2 q:236 itex:3060 ptex:7021 mv:344 misc:13439 fcode:1 bcode:1 mc-var:43167 var:3501142 icount:1;
in:71 out:71 type:2 q:236 itex:7095 ptex:262 mv:58 misc:12833 fcode:1 bcode:1 mc-var:38006 var:3518648 icount:4;
in:72 out:72 type:2 q:236 itex:5486 ptex:687 mv:16 misc:12763 fcode:1 bcode:1 mc-var:37666 var:3530979 icount:4;
in:73 out:73 type:2 q:236 itex:5001 ptex:1549 mv:14 misc:12732 fcode:1 bcode:1 mc-var:36795 var:3545521 icount:2;
in:74 out:74 type:2 q:236 itex:7394 ptex:589 mv:12 misc:12749 fcode:1 bcode:1 mc-var:37717 var:3562095 icount:4;
in:75 out:75 type:2 q:236 itex:4334 ptex:2099 mv:16 misc:12759 fcode:1 bcode:1 mc-var:37486 var:3578725 icount:3;
in:76 out:76 type:2 q:236 itex:5791 ptex:877 mv:12 misc:12760 fcode:1 bcode:1 mc-var:37613 var:3594370 icount:4;
in:77 out:77 type:2 q:236 itex:3008 ptex:2945 mv:14 misc:12737 fcode:1 bcode:1 mc-var:40237 var:3604070 icount:1;
in:78 out:78 type:2 q:236 itex:6752 ptex:1205 mv:14 misc:12749 fcode:1 bcode:1 mc-var:33391 var:3613052 icount:3;
in:79 out:79 type:2 q:236 itex:359810 ptex:74147 mv:775 misc:16860 fcode:1 bcode:1 mc-var:1173336 var:3593013 icount:372;
in:80 out:80 type:2 q:236 itex:5559 ptex:10643 mv:296 misc:13462 fcode:1 bcode:1 mc-var:45387 var:3607805 icount:5;
in:81 out:81 type:2 q:236 itex:6010 ptex:450 mv:40 misc:12828 fcode:1 bcode:1 mc-var:35506 var:3620507 icount:4;
in:82 out:82 type:2 q:236 itex:2907 ptex:3894 mv:22 misc:12753 fcode:1 bcode:1 mc-var:36968 var:3632644 icount:1;
in:83 out:83 type:2 q:236 itex:6361 ptex:87 mv:8 misc:12744 fcode:1 bcode:1 mc-var:35762 var:3646623 icount:4;
in:84 out:84 type:2 q:236 itex:3984 ptex:2957 mv:16 misc:12755 fcode:1 bcode:1 mc-var:34923 var:3656169 icount:2;
in:85 out:85 type:2 q:236 itex:4609 ptex:2009 mv:6 misc:12728 fcode:1 bcode:1 mc-var:35681 var:3673200 icount:3;
in:86 out:86 type:2 q:236 itex:4235 ptex:1162 mv:12 misc:12735 fcode:1 bcode:1 mc-var:35486 var:3685892 icount:2;
in:87 out:87 type:2 q:236 itex:4077 ptex:2433 mv:16 misc:12746 fcode:1 bcode:1 mc-var:34859 var:3697771 icount:2;
in:88 out:88 type:2 q:236 itex:5334 ptex:49652 mv:1596 misc:15354 fcode:1 bcode:1 mc-var:36317 var:3708037 icount:4;
in:89 out:89 type:2 q:236 itex:6370 ptex:2164 mv:256 misc:13418 fcode:1 bcode:1 mc-var:30905 var:3718076 icount:4;
in:90 out:90 type:2 q:236 itex:334102 ptex:141277 mv:1542 misc:17231 fcode:1 bcode:1 mc-var:1605257 var:3830512 icount:361;
in:91 out:91 type:2 q:236 itex:4877 ptex:12215 mv:356 misc:13504 fcode:1 bcode:1 mc-var:40900 var:3844120 icount:5;
in:92 out:92 type:2 q:236 itex:4758 ptex:2970 mv:106 misc:12942 fcode:1 bcode:1 mc-var:26451 var:3857695 icount:4;
in:93 out:93 type:2 q:236 itex:4031 ptex:2709 mv:35 misc:12769 fcode:1 bcode:1 mc-var:28494 var:3865036 icount:2;
in:94 out:94 type:2 q:236 itex:4643 ptex:2375 mv:29 misc:12761 fcode:1 bcode:1 mc-var:27312 var:3880741 icount:3;
in:95 out:95 type:2 q:236 itex:4192 ptex:1376 mv:10 misc:12742 fcode:1 bcode:1 mc-var:27967 var:3884538 icount:3;
in:96 out:96 type:2 q:236 itex:4395 ptex:1914 mv:12 misc:12743 fcode:1 bcode:1 mc-var:29723 var:3903178 icount:3;
in:97 out:97 type:2 q:236 itex:4616 ptex:688 mv:12 misc:12748 fcode:1 bcode:1 mc-var:28548 var:3907631 icount:3;
in:98 out:98 type:2 q:236 itex:4951 ptex:1551 mv:6 misc:12724 fcode:1 bcode:1 mc-var:27398 var:3916659 icount:3;
in:99 out:99 type:2 q:236 itex:2668 ptex:3595 mv:21 misc:12732 fcode:1 bcode:1 mc-var:20861 var:3924121 icount:1;
in:100 out:100 type:2 q:236 itex:350408 ptex:44311 mv:367 misc:17082 fcode:1 bcode:1 mc-var:3014166 var:3919549 icount:424;
in:101 out:101 type:2 q:236 itex:316396 ptex:30066 mv:568 misc:16826 fcode:1 bcode:1 mc-var:1944831 var:3682619 icount:380;
in:102 out:102 type:2 q:236 itex:6421 ptex:6450 mv:279 misc:13290 fcode:1 bcode:1 mc-var:31632 var:3693862 icount:5;
in:103 out:103 type:2 q:236 itex:5008 ptex:873 mv:52 misc:12827 fcode:1 bcode:1 mc-var:21804 var:3703615 icount:3;
in:104 out:104 type:2 q:236 itex:5388 ptex:44 mv:18 misc:12750 fcode:1 bcode:1 mc-var:24234 var:3713193 icount:4;
in:105 out:105 type:2 q:236 itex:5307 ptex:1050 mv:26 misc:12745 fcode:1 bcode:1 mc-var:22623 var:3727212 icount:3;
in:106 out:106 type:2 q:236 itex:0 ptex:4943 mv:98 misc:12727 fcode:1 bcode:1 mc-var:4710 var:3732110 icount:0;
in:107 out:107 type:2 q:236 itex:0 ptex:6176 mv:102 misc:12746 fcode:1 bcode:1 mc-var:6285 var:3747570 icount:0;
in:108 out:108 type:2 q:236 itex:103 ptex:3933 mv:30 misc:12718 fcode:1 bcode:1 mc-var:3889 var:3749661 icount:1;
in:109 out:109 type:2 q:236 itex:5176 ptex:51515 mv:1888 misc:15565 fcode:1 bcode:1 mc-var:8499 var:3776453 icount:59;
in:110 out:110 type:2 q:236 itex:0 ptex:5199 mv:178 misc:13031 fcode:1 bcode:1 mc-var:3142 var:3783054 icount:0;
in:111 out:111 type:2 q:236 itex:0 ptex:6043 mv:81 misc:12740 fcode:1 bcode:1 mc-var:8157 var:3789940 icount:0;
in:112 out:112 type:2 q:236 itex:319666 ptex:27853 mv:447 misc:17026 fcode:1 bcode:1 mc-var:2498816 var:3766957 icount:400;
in:113 out:113 type:2 q:236 itex:4578 ptex:8212 mv:224 misc:13290 fcode:1 bcode:1 mc-var:32101 var:3777971 icount:3;
in:114 out:114 type:2 q:236 itex:216962 ptex:77467 mv:795 misc:51768 fcode:1 bcode:1 mc-var:122977819 var:6570876 icount:4086;
in:115 out:115 type:2 q:236 itex:173905 ptex:16363 mv:568 misc:33364 fcode:1 bcode:1 mc-var:35580240 var:5587207 icount:2119;
in:116 out:116 type:2 q:236 itex:23970 ptex:17624 mv:483 misc:16963 fcode:1 bcode:1 mc-var:24800 var:5589614 icount:276;
in:117 out:117 type:2 q:236 itex:101440 ptex:25176 mv:691 misc:21901 fcode:1 bcode:1 mc-var:193389 var:5688836 icount:663;
in:118 out:118 type:2 q:236 itex:411760 ptex:102757 mv:1871 misc:30988 fcode:1 bcode:1 mc-var:3008053 var:5674245 icount:1343;
in:119 out:119 type:2 q:236 itex:85727 ptex:52298 mv:1593 misc:28294 fcode:1 bcode:1 mc-var:35639 var:5674372 icount:1066;
in:120 out:120 type:2 q:236 itex:58086 ptex:47964 mv:1394 misc:24724 fcode:1 bcode:1 mc-var:12363 var:5674253 icount:848;
in:121 out:121 type:2 q:236 itex:43347 ptex:37350 mv:1166 misc:21017 fcode:1 bcode:1 mc-var:9727 var:5685523 icount:530;
in:122 out:122 type:2 q:236 itex:48038 ptex:41561 mv:1199 misc:21010 fcode:1 bcode:1 mc-var:6769 var:5690588 icount:475;
in:123 out:123 type:2 q:236 itex:192838 ptex:27733 mv:238 misc:32999 fcode:1 bcode:1 mc-var:39572407 var:6692499 icount:2097;
in:124 out:124 type:2 q:236 itex:294620 ptex:6777 mv:226 misc:33777 fcode:1 bcode:1 mc-var:18434346 var:5908415 icount:2136;
in:125 out:125 type:2 q:236 itex:17594 ptex:21404 mv:607 misc:15523 fcode:1 bcode:1 mc-var:26355 var:5919315 icount:119;
in:126 out:126 type:2 q:236 itex:19640 ptex:28809 mv:824 misc:16207 fcode:1 bcode:1 mc-var:27613 var:5925893 icount:131;
in:127 out:127 type:2 q:236 itex:26226 ptex:55348 mv:2110 misc:18164 fcode:1 bcode:1 mc-var:32311 var:5793776 icount:201;
in:128 out:128 type:2 q:236 itex:21898 ptex:18123 mv:729 misc:16106 fcode:1 bcode:1 mc-var:29578 var:5802780 icount:142;
in:129 out:129 type:2 q:236 itex:197639 ptex:90299 mv:726 misc:33016 fcode:1 bcode:1 mc-var:1112967 var:6043079 icount:1910;
in:130 out:130 type:2 q:236 itex:244110 ptex:103583 mv:777 misc:33274 fcode:1 bcode:1 mc-var:1217803 var:5953167 icount:1896;
in:131 out:131 type:2 q:236 itex:22443 ptex:22352 mv:885 misc:16640 fcode:1 bcode:1 mc-var:27159 var:5956594 icount:173;
in:132 out:132 type:1 q:189 itex:1005431 ptex:0 mv:0 misc:77149 fcode:1 bcode:1 mc-var:0 var:5961853 icount:12675;
in:133 out:133 type:2 q:236 itex:21498 ptex:33394 mv:2103 misc:19917 fcode:1 bcode:1 mc-var:30116 var:5971073 icount:169;
in:134 out:134 type:2 q:236 itex:18857 ptex:26980 mv:857 misc:16346 fcode:1 bcode:1 mc-var:26852 var:5974892 icount:133;
in:135 out:135 type:2 q:236 itex:13567 ptex:22722 mv:587 misc:15468 fcode:1 bcode:1 mc-var:24470 var:5972051 icount:123;
in:136 out:136 type:2 q:236 itex:13460 ptex:17480 mv:514 misc:15050 fcode:1 bcode:1 mc-var:20218 var:5971348 icount:106;
in:137 out:137 type:2 q:236 itex:433718 ptex:161338 mv:2045 misc:31819 fcode:1 bcode:1 mc-var:2669784 var:5594781 icount:1486;
in:138 out:138 type:2 q:236 itex:165254 ptex:135349 mv:1755 misc:29714 fcode:1 bcode:1 mc-var:271813 var:5649358 icount:1195;
in:139 out:139 type:2 q:236 itex:13467 ptex:36759 mv:1442 misc:16732 fcode:1 bcode:1 mc-var:26235 var:5654778 icount:77;
in:140 out:140 type:2 q:236 itex:14018 ptex:24091 mv:640 misc:15251 fcode:1 bcode:1 mc-var:26653 var:5663944 icount:75;
in:141 out:141 type:2 q:236 itex:14554 ptex:23489 mv:661 misc:15224 fcode:1 bcode:1 mc-var:25426 var:5672005 icount:85;
in:142 out:142 type:2 q:236 itex:11707 ptex:22680 mv:545 misc:15052 fcode:1 bcode:1 mc-var:27502 var:5678348 icount:90;
in:143 out:143 type:2 q:236 itex:14209 ptex:13593 mv:429 misc:14745 fcode:1 bcode:1 mc-var:25816 var:5680413 icount:90;
in:144 out:144 type:2 q:236 itex:18053 ptex:24856 mv:795 misc:15600 fcode:1 bcode:1 mc-var:27456 var:5685849 icount:99;
in:145 out:145 type:2 q:236 itex:18198 ptex:33659 mv:928 misc:16223 fcode:1 bcode:1 mc-var:28934 var:5685749 icount:109;
in:146 out:146 type:2 q:236 itex:12207 ptex:22093 mv:577 misc:14907 fcode:1 bcode:1 mc-var:19647 var:5681300 icount:66;
in:147 out:147 type:2 q:236 itex:357440 ptex:106171 mv:1962 misc:21067 fcode:1 bcode:1 mc-var:2843475 var:5961941 icount:517;
in:148 out:148 type:2 q:236 itex:12927 ptex:26633 mv:1051 misc:16109 fcode:1 bcode:1 mc-var:33536 var:5953063 icount:89;
in:149 out:149 type:2 q:236 itex:13821 ptex:20826 mv:736 misc:15441 fcode:1 bcode:1 mc-var:23483 var:5958524 icount:89;
in:150 out:150 type:2 q:236 itex:13294 ptex:22391 mv:612 misc:15023 fcode:1 bcode:1 mc-var:25254 var:5960043 icount:78;
in:151 out:151 type:2 q:236 itex:319357 ptex:94694 mv:798 misc:33751 fcode:1 bcode:1 mc-var:1556946 var:6240476 icount:1946;
in:152 out:152 type:2 q:236 itex:255559 ptex:124161 mv:778 misc:33350 fcode:1 bcode:1 mc-var:3791554 var:6666714 icount:1904;
in:153 out:153 type:2 q:236 itex:445119 ptex:45820 mv:274 misc:34179 fcode:1 bcode:1 mc-var:12236841 var:6055215 icount:2072;
in:154 out:154 type:2 q:236 itex:612087 ptex:249258 mv:1575 misc:37912 fcode:1 bcode:1 mc-var:5068907 var:6328570 icount:2204;
in:155 out:155 type:2 q:236 itex:36698 ptex:73040 mv:1891 misc:20539 fcode:1 bcode:1 mc-var:41749 var:6321243 icount:269;
in:156 out:156 type:2 q:236 itex:305949 ptex:126980 mv:2574 misc:25153 fcode:1 bcode:1 mc-var:1093374 var:6116192 icount:672;
in:157 out:157 type:2 q:236 itex:40589 ptex:58131 mv:1879 misc:20257 fcode:1 bcode:1 mc-var:38573 var:6116991 icount:283;
in:158 out:158 type:2 q:236 itex:43325 ptex:73400 mv:1879 misc:20332 fcode:1 bcode:1 mc-var:40820 var:6116552 icount:289;
in:159 out:159 type:2 q:236 itex:46689 ptex:64124 mv:1778 misc:20385 fcode:1 bcode:1 mc-var:36679 var:6117349 icount:309;
in:160 out:160 type:2 q:236 itex:239416 ptex:171671 mv:1227 misc:32974 fcode:1 bcode:1 mc-var:814113 var:5957644 icount:1672;
in:161 out:161 type:2 q:236 itex:204238 ptex:201739 mv:3296 misc:31695 fcode:1 bcode:1 mc-var:457199 var:6021286 icount:1284;
in:162 out:162 type:2 q:236 itex:300369 ptex:202806 mv:2184 misc:34609 fcode:1 bcode:1 mc-var:818836 var:6222615 icount:1698;
in:163 out:163 type:2 q:236 itex:192059 ptex:299364 mv:2452 misc:32413 fcode:1 bcode:1 mc-var:330520 var:6205698 icount:1215;
in:164 out:164 type:2 q:236 itex:501915 ptex:136366 mv:805 misc:34906 fcode:1 bcode:1 mc-var:6679044 var:6772355 icount:2007;
in:165 out:165 type:2 q:236 itex:617163 ptex:100586 mv:991 misc:35332 fcode:1 bcode:1 mc-var:7540273 var:6504134 icount:2064;
in:166 out:166 type:2 q:236 itex:12910 ptex:49801 mv:1373 misc:16724 fcode:1 bcode:1 mc-var:26569 var:6540117 icount:64;
in:167 out:167 type:2 q:236 itex:214404 ptex:288051 mv:2538 misc:32599 fcode:1 bcode:1 mc-var:413135 var:6493104 icount:1150;
in:168 out:168 type:2 q:236 itex:495136 ptex:314930 mv:2673 misc:36101 fcode:1 bcode:1 mc-var:1201339 var:6817570 icount:1464;
in:169 out:169 type:2 q:236 itex:59749 ptex:119003 mv:2598 misc:24490 fcode:1 bcode:1 mc-var:53881 var:6813553 icount:387;
in:170 out:170 type:2 q:236 itex:305591 ptex:146907 mv:2810 misc:27588 fcode:1 bcode:1 mc-var:3046653 var:6254561 icount:786;
in:171 out:171 type:2 q:236 itex:53077 ptex:107656 mv:2414 misc:23421 fcode:1 bcode:1 mc-var:49699 var:6248896 icount:344;
in:172 out:172 type:2 q:236 itex:226572 ptex:225426 mv:1992 misc:32330 fcode:1 bcode:1 mc-var:422608 var:6341111 icount:1348;
in:173 out:173 type:2 q:236 itex:553635 ptex:150076 mv:816 misc:35137 fcode:1 bcode:1 mc-var:6047842 var:6914405 icount:2027;
in:174 out:174 type:2 q:236 itex:597972 ptex:115478 mv:890 misc:35556 fcode:1 bcode:1 mc-var:7234419 var:6282057 icount:2051;
in:175 out:175 type:2 q:236 itex:531779 ptex:111049 mv:815 misc:35477 fcode:1 bcode:1 mc-var:13574569 var:7188730 icount:2032;
in:176 out:176 type:2 q:236 itex:721687 ptex:82330 mv:521 misc:35822 fcode:1 bcode:1 mc-var:22275875 var:6329211 icount:2102;
in:177 out:177 type:2 q:236 itex:76565 ptex:170001 mv:2849 misc:25537 fcode:1 bcode:1 mc-var:184954 var:6331379 icount:316;
in:178 out:178 type:2 q:236 itex:310623 ptex:308012 mv:2339 misc:32330 fcode:1 bcode:1 mc-var:540012 var:6566617 icount:1219;
in:179 out:179 type:2 q:236 itex:144368 ptex:207158 mv:2948 misc:26382 fcode:1 bcode:1 mc-var:338226 var:6645001 icount:489;
in:180 out:180 type:2 q:236 itex:21486 ptex:121914 mv:2567 misc:20425 fcode:1 bcode:1 mc-var:49985 var:6761838 icount:90;
in:181 out:181 type:2 q:236 itex:21932 ptex:107357 mv:2317 misc:20434 fcode:1 bcode:1 mc-var:35970 var:6786230 icount:91;
in:182 out:182 type:2 q:236 itex:177104 ptex:286601 mv:3100 misc:31179 fcode:1 bcode:1 mc-var:176699 var:6717049 icount:843;
in:183 out:183 type:2 q:236 itex:393107 ptex:277919 mv:1821 misc:33217 fcode:1 bcode:1 mc-var:907391 var:6892171 icount:1506;
in:184 out:184 type:2 q:236 itex:371055 ptex:298709 mv:2253 misc:32975 fcode:1 bcode:1 mc-var:708019 var:6843282 icount:1358;
in:185 out:185 type:2 q:236 itex:67512 ptex:185390 mv:3060 misc:24886 fcode:1 bcode:1 mc-var:122986 var:6852118 icount:269;
in:186 out:186 type:2 q:236 itex:406241 ptex:320763 mv:3622 misc:34262 fcode:1 bcode:1 mc-var:3606606 var:6928300 icount:1025;
in:187 out:187 type:2 q:236 itex:223157 ptex:308925 mv:3203 misc:31771 fcode:1 bcode:1 mc-var:478823 var:7094183 icount:896;
in:188 out:188 type:2 q:236 itex:85901 ptex:206176 mv:3203 misc:26168 fcode:1 bcode:1 mc-var:141047 var:7089068 icount:387;
in:189 out:189 type:2 q:236 itex:197094 ptex:308802 mv:3756 misc:31364 fcode:1 bcode:1 mc-var:344033 var:7038547 icount:798;
in:190 out:190 type:2 q:236 itex:625827 ptex:346116 mv:1899 misc:35590 fcode:1 bcode:1 mc-var:2205136 var:7366304 icount:1763;
in:191 out:191 type:2 q:236 itex:457541 ptex:416757 mv:2774 misc:34208 fcode:1 bcode:1 mc-var:1417695 var:7536939 icount:1331;
in:192 out:192 type:2 q:236 itex:289556 ptex:518622 mv:3645 misc:33329 fcode:1 bcode:1 mc-var:699342 var:7458356 icount:948;
in:193 out:193 type:2 q:236 itex:342847 ptex:567835 mv:5067 misc:33891 fcode:1 bcode:1 mc-var:911362 var:7696598 icount:934;
in:194 out:194 type:2 q:236 itex:815869 ptex:274655 mv:1755 misc:37049 fcode:1 bcode:1 mc-var:7691117 var:8234792 icount:2067;
in:195 out:195 type:2 q:236 itex:984714 ptex:226986 mv:1199 misc:37109 fcode:1 bcode:1 mc-var:9651519 var:7873772 icount:2119;
in:196 out:196 type:2 q:236 itex:218244 ptex:481371 mv:4057 misc:32880 fcode:1 bcode:1 mc-var:530812 var:7843376 icount:691;
in:197 out:197 type:2 q:236 itex:357589 ptex:661116 mv:3582 misc:34369 fcode:1 bcode:1 mc-var:976862 var:8109381 icount:1049;
in:198 out:198 type:2 q:236 itex:461961 ptex:599993 mv:3417 misc:34925 fcode:1 bcode:1 mc-var:1390479 var:8484707 icount:1193;
in:199 out:199 type:2 q:236 itex:609162 ptex:542979 mv:2916 misc:35575 fcode:1 bcode:1 mc-var:1676832 var:8256042 icount:1431;
in:200 out:200 type:2 q:236 itex:252931 ptex:684594 mv:4531 misc:33688 fcode:1 bcode:1 mc-var:632813 var:8500620 icount:666;
in:201 out:201 type:2 q:236 itex:256397 ptex:617194 mv:4731 misc:33926 fcode:1 bcode:1 mc-var:436928 var:8253781 icount:757;
in:202 out:202 type:2 q:236 itex:571118 ptex:528652 mv:3147 misc:35571 fcode:1 bcode:1 mc-var:1590988 var:8563464 icount:1387;
in:203 out:203 type:2 q:236 itex:822813 ptex:480425 mv:2563 misc:36623 fcode:1 bcode:1 mc-var:2473929 var:8293612 icount:1704;
in:204 out:204 type:2 q:236 itex:140389 ptex:422823 mv:4317 misc:30071 fcode:1 bcode:1 mc-var:375513 var:8444936 icount:343;
in:205 out:205 type:2 q:236 itex:64503 ptex:359932 mv:4427 misc:29122 fcode:1 bcode:1 mc-var:126125 var:8441509 icount:218;
in:206 out:206 type:2 q:236 itex:23387 ptex:260911 mv:3928 misc:26430 fcode:1 bcode:1 mc-var:50257 var:8430911 icount:92;
in:207 out:207 type:2 q:236 itex:30245 ptex:293848 mv:4383 misc:27076 fcode:1 bcode:1 mc-var:60061 var:8439958 icount:125;
in:208 out:208 type:2 q:236 itex:89631 ptex:387662 mv:5216 misc:29155 fcode:1 bcode:1 mc-var:184763 var:8528605 icount:250;
in:209 out:209 type:2 q:236 itex:608292 ptex:442740 mv:2953 misc:34071 fcode:1 bcode:1 mc-var:1312417 var:8750859 icount:1421;
in:210 out:210 type:2 q:236 itex:173191 ptex:587983 mv:4964 misc:32670 fcode:1 bcode:1 mc-var:538600 var:9025477 icount:435;
in:211 out:211 type:2 q:236 itex:165990 ptex:617448 mv:4955 misc:33047 fcode:1 bcode:1 mc-var:504575 var:8924576 icount:459;
in:212 out:212 type:2 q:236 itex:334832 ptex:765439 mv:4688 misc:34833 fcode:1 bcode:1 mc-var:1039327 var:8674215 icount:802;
in:213 out:213 type:2 q:236 itex:236542 ptex:679809 mv:4962 misc:32479 fcode:1 bcode:1 mc-var:841528 var:8895077 icount:470;
in:214 out:214 type:2 q:236 itex:115299 ptex:339471 mv:4141 misc:28337 fcode:1 bcode:1 mc-var:412556 var:8916053 icount:278;
in:215 out:215 type:2 q:236 itex:182022 ptex:573197 mv:4405 misc:31336 fcode:1 bcode:1 mc-var:336416 var:9013254 icount:549;
in:216 out:216 type:2 q:236 itex:513934 ptex:520602 mv:3325 misc:33563 fcode:1 bcode:1 mc-var:1349950 var:9367124 icount:1229;
in:217 out:217 type:2 q:236 itex:505170 ptex:817096 mv:4352 misc:36086 fcode:1 bcode:1 mc-var:1584092 var:8603135 icount:1133;
in:218 out:218 type:2 q:236 itex:493790 ptex:894617 mv:4968 misc:35705 fcode:1 bcode:1 mc-var:1502484 var:9362198 icount:960;
in:219 out:219 type:2 q:236 itex:211396 ptex:624739 mv:4647 misc:32106 fcode:1 bcode:1 mc-var:610556 var:9540897 icount:525;
in:220 out:220 type:2 q:236 itex:400257 ptex:880221 mv:7127 misc:36091 fcode:1 bcode:1 mc-var:1416934 var:9114212 icount:843;
in:221 out:221 type:2 q:236 itex:384787 ptex:981439 mv:6762 misc:35924 fcode:1 bcode:1 mc-var:1339725 var:9799849 icount:811;
in:222 out:222 type:2 q:236 itex:297273 ptex:841621 mv:5930 misc:34976 fcode:1 bcode:1 mc-var:1078304 var:9737955 icount:529;
in:223 out:223 type:2 q:236 itex:144009 ptex:548753 mv:5369 misc:31853 fcode:1 bcode:1 mc-var:456557 var:9888507 icount:344;
in:224 out:224 type:2 q:236 itex:172656 ptex:616579 mv:5459 misc:33434 fcode:1 bcode:1 mc-var:530113 var:9923686 icount:397;
in:225 out:225 type:2 q:236 itex:177929 ptex:798468 mv:5656 misc:35019 fcode:1 bcode:1 mc-var:598716 var:10333227 icount:435;
in:226 out:226 type:2 q:236 itex:175023 ptex:686317 mv:5620 misc:34096 fcode:1 bcode:1 mc-var:610364 var:10162905 icount:401;
in:227 out:227 type:2 q:236 itex:278216 ptex:791568 mv:5472 misc:35456 fcode:1 bcode:1 mc-var:708555 var:9746543 icount:685;
in:228 out:228 type:2 q:236 itex:660230 ptex:1024509 mv:8241 misc:40740 fcode:1 bcode:1 mc-var:4730399 var:10048275 icount:1125;
in:229 out:229 type:2 q:236 itex:287360 ptex:931789 mv:7621 misc:35646 fcode:1 bcode:1 mc-var:1007108 var:9767465 icount:478;
in:230 out:230 type:2 q:236 itex:10071 ptex:220776 mv:3953 misc:24120 fcode:1 bcode:1 mc-var:60663 var:9748349 icount:36;
in:231 out:231 type:2 q:236 itex:52946 ptex:326399 mv:4141 misc:26506 fcode:1 bcode:1 mc-var:122878 var:9733962 icount:142;
in:232 out:232 type:2 q:236 itex:47111 ptex:317112 mv:4057 misc:25808 fcode:1 bcode:1 mc-var:159578 var:9752824 icount:110;
in:233 out:233 type:2 q:236 itex:3970 ptex:200378 mv:3156 misc:21856 fcode:1 bcode:1 mc-var:38895 var:9765432 icount:12;
in:234 out:234 type:2 q:236 itex:5749 ptex:179434 mv:2665 misc:20664 fcode:1 bcode:1 mc-var:33950 var:9777762 icount:19;
in:235 out:235 type:2 q:236 itex:81564 ptex:478387 mv:4923 misc:29726 fcode:1 bcode:1 mc-var:222582 var:9869632 icount:211;
in:236 out:236 type:2 q:236 itex:137177 ptex:597526 mv:5074 misc:31703 fcode:1 bcode:1 mc-var:430118 var:10072571 icount:352;
in:237 out:237 type:2 q:236 itex:127024 ptex:486913 mv:4869 misc:30402 fcode:1 bcode:1 mc-var:445179 var:10181461 icount:258;
in:238 out:238 type:2 q:236 itex:250031 ptex:685027 mv:5432 misc:33078 fcode:1 bcode:1 mc-var:640500 var:9978946 icount:596;
in:239 out:239 type:2 q:236 itex:189672 ptex:756586 mv:6272 misc:34958 fcode:1 bcode:1 mc-var:571759 var:10109366 icount:427;
in:240 out:240 type:2 q:236 itex:154735 ptex:587738 mv:5689 misc:32526 fcode:1 bcode:1 mc-var:562649 var:10265872 icount:321;
in:241 out:241 type:2 q:236 itex:137279 ptex:479451 mv:4993 misc:31117 fcode:1 bcode:1 mc-var:476213 var:10326393 icount:305;
in:242 out:242 type:2 q:236 itex:178796 ptex:659311 mv:5778 misc:34579 fcode:1 bcode:1 mc-var:537329 var:10267127 icount:386;
in:243 out:243 type:2 q:236 itex:234737 ptex:1007857 mv:6308 misc:35954 fcode:1 bcode:1 mc-var:1019565 var:10942496 icount:456;
in:244 out:244 type:2 q:236 itex:332007 ptex:1006307 mv:6125 misc:36513 fcode:1 bcode:1 mc-var:960266 var:10416153 icount:607;
in:245 out:245 type:2 q:236 itex:138647 ptex:890150 mv:6456 misc:35267 fcode:1 bcode:1 mc-var:610065 var:10754436 icount:298;
in:246 out:246 type:2 q:236 itex:173911 ptex:871959 mv:6262 misc:35940 fcode:1 bcode:1 mc-var:515261 var:10413557 icount:346;
in:247 out:247 type:2 q:236 itex:140405 ptex:871923 mv:6260 misc:35060 fcode:1 bcode:1 mc-var:506223 var:10731552 icount:309;
in:248 out:248 type:2 q:236 itex:221740 ptex:820199 mv:5954 misc:35891 fcode:1 bcode:1 mc-var:598519 var:10459589 icount:435;
in:249 out:249 type:2 q:236 itex:81352 ptex:519015 mv:5753 misc:31080 fcode:1 bcode:1 mc-var:221758 var:10424369 icount:171;
in:250 out:250 type:2 q:236 itex:22277 ptex:331328 mv:4593 misc:27010 fcode:1 bcode:1 mc-var:80359 var:10433926 icount:48;
in:251 out:251 type:2 q:236 itex:13608 ptex:225954 mv:3623 misc:23759 fcode:1 bcode:1 mc-var:56138 var:10443377 icount:38;
in:252 out:252 type:2 q:236 itex:63680 ptex:445758 mv:4884 misc:29774 fcode:1 bcode:1 mc-var:121623 var:10446178 icount:177;
in:253 out:253 type:2 q:236 itex:143103 ptex:579209 mv:5061 misc:31979 fcode:1 bcode:1 mc-var:364703 var:10625435 icount:349;
in:254 out:254 type:2 q:236 itex:325189 ptex:747019 mv:5367 misc:33721 fcode:1 bcode:1 mc-var:635078 var:10535500 icount:675;
in:255 out:255 type:2 q:236 itex:51660 ptex:408254 mv:5158 misc:29992 fcode:1 bcode:1 mc-var:110461 var:10506210 icount:141;
in:256 out:256 type:2 q:236 itex:16919 ptex:233360 mv:3731 misc:24142 fcode:1 bcode:1 mc-var:56637 var:10502787 icount:48;
in:257 out:257 type:2 q:236 itex:38498 ptex:337646 mv:4204 misc:26116 fcode:1 bcode:1 mc-var:96211 var:10502203 icount:98;
in:258 out:258 type:2 q:236 itex:133352 ptex:458449 mv:4802 misc:29581 fcode:1 bcode:1 mc-var:373458 var:10573866 icount:252;
in:259 out:259 type:2 q:236 itex:856449 ptex:385664 mv:2423 misc:35256 fcode:1 bcode:1 mc-var:2516541 var:10871504 icount:1677;
in:260 out:260 type:2 q:236 itex:966182 ptex:515380 mv:3353 misc:37709 fcode:1 bcode:1 mc-var:3084133 var:10606839 icount:1717;
in:261 out:261 type:2 q:236 itex:332990 ptex:799621 mv:5296 misc:34845 fcode:1 bcode:1 mc-var:724449 var:10757089 icount:730;
in:262 out:262 type:2 q:236 itex:132181 ptex:567209 mv:5333 misc:31941 fcode:1 bcode:1 mc-var:442484 var:10937118 icount:272;
in:263 out:263 type:2 q:236 itex:158841 ptex:657789 mv:5680 misc:32922 fcode:1 bcode:1 mc-var:468668 var:11024644 icount:330;
in:264 out:264 type:1 q:189 itex:2434810 ptex:0 mv:0 misc:76738 fcode:1 bcode:1 mc-var:0 var:11500867 icount:12675;
in:265 out:265 type:2 q:236 itex:224521 ptex:756114 mv:6122 misc:36035 fcode:1 bcode:1 mc-var:678435 var:11534381 icount:519;
in:266 out:266 type:2 q:236 itex:369717 ptex:1130043 mv:6142 misc:37578 fcode:1 bcode:1 mc-var:1876144 var:11670968 icount:636;
in:267 out:267 type:2 q:236 itex:139288 ptex:907818 mv:6461 misc:35713 fcode:1 bcode:1 mc-var:622495 var:11099382 icount:314;
in:268 out:268 type:2 q:236 itex:137321 ptex:653770 mv:5913 misc:33884 fcode:1 bcode:1 mc-var:514622 var:11200656 icount:308;
in:269 out:269 type:2 q:236 itex:573469 ptex:1180083 mv:6968 misc:40664 fcode:1 bcode:1 mc-var:5188489 var:12327377 icount:876;
in:270 out:270 type:2 q:236 itex:209691 ptex:1034840 mv:7024 misc:37605 fcode:1 bcode:1 mc-var:745348 var:12101452 icount:392;
in:271 out:271 type:2 q:236 itex:444484 ptex:1121013 mv:6397 misc:38410 fcode:1 bcode:1 mc-var:1864545 var:11365142 icount:784;
in:272 out:272 type:2 q:236 itex:427619 ptex:1124491 mv:6592 misc:38066 fcode:1 bcode:1 mc-var:1868410 var:11774211 icount:662;
in:273 out:273 type:2 q:236 itex:56016 ptex:454280 mv:5556 misc:30404 fcode:1 bcode:1 mc-var:224157 var:11792017 icount:127;
in:274 out:274 type:2 q:236 itex:12358 ptex:245430 mv:3855 misc:24381 fcode:1 bcode:1 mc-var:63786 var:11793592 icount:29;
in:275 out:275 type:2 q:236 itex:322332 ptex:943958 mv:5865 misc:35501 fcode:1 bcode:1 mc-var:1683432 var:11577683 icount:525;
in:276 out:276 type:2 q:236 itex:144539 ptex:928907 mv:7162 misc:36560 fcode:1 bcode:1 mc-var:567618 var:11842924 icount:331;
in:277 out:277 type:2 q:236 itex:282850 ptex:1153927 mv:7117 misc:37250 fcode:1 bcode:1 mc-var:1309591 var:12223819 icount:468;
in:278 out:278 type:2 q:236 itex:174911 ptex:901380 mv:6634 misc:35907 fcode:1 bcode:1 mc-var:629168 var:11874718 icount:305;
in:279 out:279 type:2 q:236 itex:35727 ptex:382888 mv:5113 misc:29096 fcode:1 bcode:1 mc-var:101743 var:11870327 icount:91;
in:280 out:280 type:2 q:236 itex:52292 ptex:447767 mv:5166 misc:29487 fcode:1 bcode:1 mc-var:174107 var:11894749 icount:130;
in:281 out:281 type:2 q:236 itex:103266 ptex:592441 mv:5788 misc:32257 fcode:1 bcode:1 mc-var:351142 var:11990909 icount:239;
in:282 out:282 type:2 q:236 itex:402495 ptex:1273878 mv:6327 misc:38204 fcode:1 bcode:1 mc-var:1616618 var:12362193 icount:752;
in:283 out:283 type:2 q:236 itex:407354 ptex:1198139 mv:6433 misc:38162 fcode:1 bcode:1 mc-var:1493981 var:11991252 icount:668;
in:284 out:284 type:2 q:236 itex:370896 ptex:1123835 mv:6586 misc:37851 fcode:1 bcode:1 mc-var:1720862 var:12258917 icount:611;
in:285 out:285 type:2 q:236 itex:150912 ptex:806327 mv:6677 misc:36076 fcode:1 bcode:1 mc-var:604556 var:12106221 icount:318;
in:286 out:286 type:2 q:236 itex:280524 ptex:1171501 mv:6954 misc:37709 fcode:1 bcode:1 mc-var:1167957 var:12563095 icount:456;
in:287 out:287 type:2 q:236 itex:252116 ptex:1081918 mv:7131 misc:37371 fcode:1 bcode:1 mc-var:876085 var:12193054 icount:444;
in:288 out:288 type:2 q:236 itex:205146 ptex:1107495 mv:6908 misc:36875 fcode:1 bcode:1 mc-var:1006464 var:12649127 icount:347;
in:289 out:289 type:2 q:236 itex:151269 ptex:885197 mv:6925 misc:36801 fcode:1 bcode:1 mc-var:597896 var:12744060 icount:299;
in:290 out:290 type:2 q:236 itex:356568 ptex:1021016 mv:6649 misc:36527 fcode:1 bcode:1 mc-var:1266325 var:12254573 icount:482;
in:291 out:291 type:2 q:236 itex:124542 ptex:647887 mv:6254 misc:33829 fcode:1 bcode:1 mc-var:399514 var:12315623 icount:290;
in:292 out:292 type:2 q:236 itex:93366 ptex:550976 mv:5973 misc:32557 fcode:1 bcode:1 mc-var:310170 var:12385373 icount:217;
in:293 out:293 type:2 q:236 itex:186817 ptex:1183369 mv:7478 misc:37352 fcode:1 bcode:1 mc-var:939322 var:12868883 icount:355;
in:294 out:294 type:2 q:236 itex:325116 ptex:1150095 mv:6631 misc:37614 fcode:1 bcode:1 mc-var:1213226 var:11904897 icount:599;
in:295 out:295 type:2 q:236 itex:443740 ptex:1121140 mv:6369 misc:37103 fcode:1 bcode:1 mc-var:2110868 var:12513410 icount:610;
in:296 out:296 type:2 q:236 itex:117856 ptex:671732 mv:6237 misc:34279 fcode:1 bcode:1 mc-var:380935 var:12511840 icount:275;
in:297 out:297 type:2 q:236 itex:131500 ptex:1111629 mv:6956 misc:36491 fcode:1 bcode:1 mc-var:740127 var:13001542 icount:259;
in:298 out:298 type:2 q:236 itex:201552 ptex:1039500 mv:7129 misc:36827 fcode:1 bcode:1 mc-var:855453 var:12616869 icount:326;
in:299 out:299 type:2 q:236 itex:328307 ptex:1132691 mv:6584 misc:36578 fcode:1 bcode:1 mc-var:1701781 var:12853829 icount:471;
in:300 out:300 type:2 q:236 itex:325458 ptex:1107010 mv:6786 misc:36786 fcode:1 bcode:1 mc-var:1543305 var:12654571 icount:444;
in:301 out:301 type:2 q:236 itex:90038 ptex:553814 mv:5795 misc:31833 fcode:1 bcode:1 mc-var:326735 var:12734904 icount:191;
in:302 out:302 type:2 q:236 itex:73790 ptex:439060 mv:4913 misc:29701 fcode:1 bcode:1 mc-var:216802 var:12767453 icount:180;
in:303 out:303 type:2 q:236 itex:94398 ptex:563246 mv:5633 misc:31683 fcode:1 bcode:1 mc-var:316714 var:12873135 icount:200;
in:304 out:304 type:2 q:236 itex:66604 ptex:514337 mv:5497 misc:30594 fcode:1 bcode:1 mc-var:225161 var:12887484 icount:138;
in:305 out:305 type:2 q:236 itex:135051 ptex:1139071 mv:7164 misc:37450 fcode:1 bcode:1 mc-var:689101 var:13313055 icount:270;
in:306 out:306 type:2 q:236 itex:139139 ptex:954841 mv:6919 misc:35957 fcode:1 bcode:1 mc-var:533001 var:12883774 icount:217;
in:307 out:307 type:2 q:236 itex:14257 ptex:240556 mv:4273 misc:25458 fcode:1 bcode:1 mc-var:68482 var:12890140 icount:37;
in:308 out:308 type:2 q:236 itex:147155 ptex:1194880 mv:7048 misc:37805 fcode:1 bcode:1 mc-var:858112 var:13448011 icount:270;
in:309 out:309 type:2 q:236 itex:240132 ptex:1056795 mv:7176 misc:37745 fcode:1 bcode:1 mc-var:850583 var:12957833 icount:352;
in:310 out:310 type:2 q:236 itex:5866 ptex:240727 mv:4396 misc:25451 fcode:1 bcode:1 mc-var:61730 var:12975571 icount:18;
in:311 out:311 type:2 q:236 itex:388260 ptex:504984 mv:5672 misc:34028 fcode:1 bcode:1 mc-var:4174032 var:12985015 icount:569;
in:312 out:312 type:2 q:236 itex:96554 ptex:550833 mv:5964 misc:31889 fcode:1 bcode:1 mc-var:381340 var:13043600 icount:196;
in:313 out:313 type:2 q:236 itex:155628 ptex:1310239 mv:7510 misc:38463 fcode:1 bcode:1 mc-var:774577 var:13713786 icount:314;
in:314 out:314 type:2 q:236 itex:212024 ptex:1115349 mv:7062 misc:38117 fcode:1 bcode:1 mc-var:861995 var:13418085 icount:349;
in:315 out:315 type:2 q:236 itex:341110 ptex:1430895 mv:6729 misc:39026 fcode:1 bcode:1 mc-var:1400480 var:13898610 icount:634;
in:316 out:316 type:2 q:236 itex:327525 ptex:1296818 mv:7338 misc:38767 fcode:1 bcode:1 mc-var:1274235 var:13381788 icount:495;
in:317 out:317 type:2 q:236 itex:679963 ptex:1468216 mv:6878 misc:40383 fcode:1 bcode:1 mc-var:2602613 var:12912846 icount:1128;
in:318 out:318 type:2 q:236 itex:162207 ptex:1377320 mv:8964 misc:38589 fcode:1 bcode:1 mc-var:681177 var:11899764 icount:368;
in:319 out:319 type:2 q:236 itex:348388 ptex:1589858 mv:8984 misc:39330 fcode:1 bcode:1 mc-var:1739829 var:13757482 icount:586;
in:320 out:320 type:2 q:236 itex:629079 ptex:970650 mv:6311 misc:40056 fcode:1 bcode:1 mc-var:2474066 var:11211712 icount:1031;
in:321 out:321 type:2 q:236 itex:763150 ptex:1125428 mv:6474 misc:39604 fcode:1 bcode:1 mc-var:3949061 var:13407881 icount:925;
in:322 out:322 type:2 q:236 itex:288943 ptex:1372069 mv:7560 misc:38444 fcode:1 bcode:1 mc-var:1563763 var:13887864 icount:419;
in:323 out:323 type:2 q:236 itex:359443 ptex:1238867 mv:7106 misc:38728 fcode:1 bcode:1 mc-var:1500717 var:13458000 icount:486;
in:324 out:324 type:2 q:236 itex:506023 ptex:1246941 mv:6802 misc:39610 fcode:1 bcode:1 mc-var:2496863 var:13077233 icount:750;
in:325 out:325 type:2 q:236 itex:497128 ptex:1321676 mv:6757 misc:38847 fcode:1 bcode:1 mc-var:2539626 var:13637254 icount:648;
in:326 out:326 type:2 q:236 itex:985242 ptex:993127 mv:5218 misc:42157 fcode:1 bcode:1 mc-var:4461377 var:10859945 icount:1665;
in:327 out:327 type:2 q:236 itex:1020557 ptex:1266341 mv:5858 misc:41052 fcode:1 bcode:1 mc-var:5136027 var:13674097 icount:1294;
in:328 out:328 type:2 q:236 itex:348125 ptex:895788 mv:5560 misc:34607 fcode:1 bcode:1 mc-var:797781 var:13525586 icount:628;
in:329 out:329 type:2 q:236 itex:70679 ptex:679528 mv:6171 misc:33230 fcode:1 bcode:1 mc-var:253673 var:13541962 icount:140;
in:330 out:330 type:2 q:236 itex:681071 ptex:1210739 mv:6216 misc:40710 fcode:1 bcode:1 mc-var:3086638 var:11992286 icount:1013;
in:331 out:331 type:2 q:236 itex:597036 ptex:1477111 mv:7130 misc:39939 fcode:1 bcode:1 mc-var:2995832 var:13736588 icount:732;
in:332 out:332 type:2 q:236 itex:109618 ptex:814708 mv:6909 misc:35205 fcode:1 bcode:1 mc-var:491607 var:13781362 icount:196;
in:333 out:333 type:2 q:236 itex:379573 ptex:962001 mv:5576 misc:35066 fcode:1 bcode:1 mc-var:1052300 var:13956367 icount:717;
in:334 out:334 type:2 q:236 itex:448312 ptex:1655206 mv:7108 misc:39622 fcode:1 bcode:1 mc-var:1701516 var:14285112 icount:723;
in:335 out:335 type:2 q:236 itex:63931 ptex:861859 mv:7302 misc:36412 fcode:1 bcode:1 mc-var:300557 var:14298217 icount:125;
in:336 out:336 type:2 q:236 itex:269569 ptex:1564017 mv:9004 misc:39042 fcode:1 bcode:1 mc-var:886620 var:14099174 icount:454;
in:337 out:337 type:2 q:236 itex:235189 ptex:1611181 mv:8730 misc:39092 fcode:1 bcode:1 mc-var:1295181 var:14389583 icount:363;
in:338 out:338 type:2 q:236 itex:317718 ptex:1219144 mv:7301 misc:37757 fcode:1 bcode:1 mc-var:1467522 var:14055153 icount:385;
in:339 out:339 type:2 q:236 itex:518442 ptex:1240140 mv:6804 misc:39454 fcode:1 bcode:1 mc-var:2551489 var:13232403 icount:729;
in:340 out:340 type:2 q:236 itex:166976 ptex:1354010 mv:7596 misc:38610 fcode:1 bcode:1 mc-var:860477 var:14169345 icount:284;
in:341 out:341 type:2 q:236 itex:154664 ptex:1421194 mv:7761 misc:38717 fcode:1 bcode:1 mc-var:613364 var:13328875 icount:308;
in:342 out:342 type:2 q:236 itex:613261 ptex:1658941 mv:7553 misc:40109 fcode:1 bcode:1 mc-var:2657633 var:14179984 icount:833;
in:343 out:343 type:2 q:236 itex:339160 ptex:1454016 mv:7931 misc:39293 fcode:1 bcode:1 mc-var:1801184 var:14128481 icount:445;
in:344 out:344 type:2 q:236 itex:352915 ptex:1493870 mv:7637 misc:39554 fcode:1 bcode:1 mc-var:1689835 var:14034115 icount:473;
in:345 out:345 type:2 q:236 itex:330254 ptex:1619474 mv:7885 misc:39259 fcode:1 bcode:1 mc-var:1790666 var:14460893 icount:485;
in:346 out:346 type:2 q:236 itex:382149 ptex:1413362 mv:7681 misc:39552 fcode:1 bcode:1 mc-var:1809631 var:14206782 icount:500;
in:347 out:347 type:2 q:236 itex:312652 ptex:980669 mv:6454 misc:35737 fcode:1 bcode:1 mc-var:820471 var:14026655 icount:545;
in:348 out:348 type:2 q:236 itex:501240 ptex:1226097 mv:6739 misc:38868 fcode:1 bcode:1 mc-var:2490537 var:13202393 icount:721;
in:349 out:349 type:2 q:236 itex:540755 ptex:1477459 mv:7190 misc:40036 fcode:1 bcode:1 mc-var:2626950 var:13894326 icount:685;
in:350 out:350 type:2 q:236 itex:83853 ptex:766447 mv:6999 misc:35813 fcode:1 bcode:1 mc-var:352101 var:13858446 icount:170;
in:351 out:351 type:2 q:236 itex:697114 ptex:1252102 mv:6739 misc:40917 fcode:1 bcode:1 mc-var:3287861 var:12525716 icount:1041;
in:352 out:352 type:2 q:236 itex:704454 ptex:1477118 mv:7001 misc:40579 fcode:1 bcode:1 mc-var:3364053 var:13845023 icount:882;
in:353 out:353 type:2 q:236 itex:899452 ptex:1260932 mv:6198 misc:41810 fcode:1 bcode:1 mc-var:4053340 var:12026442 icount:1388;
in:354 out:354 type:2 q:236 itex:1425473 ptex:640048 mv:3875 misc:44940 fcode:1 bcode:1 mc-var:3929214 var:9906909 icount:2545;
in:355 out:355 type:2 q:236 itex:1791515 ptex:310550 mv:2948 misc:51371 fcode:1 bcode:1 mc-var:9062140 var:8574362 icount:3484;
in:356 out:356 type:2 q:236 itex:1913280 ptex:281118 mv:2883 misc:46407 fcode:1 bcode:1 mc-var:11498276 var:9732465 icount:2885;
in:357 out:357 type:2 q:236 itex:1174505 ptex:956842 mv:5525 misc:42992 fcode:1 bcode:1 mc-var:4780606 var:10881770 icount:1906;
in:358 out:358 type:2 q:236 itex:625255 ptex:1182022 mv:9901 misc:41238 fcode:1 bcode:1 mc-var:1838195 var:10280422 icount:1224;
in:359 out:359 type:2 q:236 itex:1851645 ptex:388050 mv:4109 misc:46396 fcode:1 bcode:1 mc-var:6554115 var:9943934 icount:2991;
in:360 out:360 type:2 q:236 itex:1209262 ptex:510616 mv:5295 misc:43627 fcode:1 bcode:1 mc-var:8030875 var:9434837 icount:2172;
in:361 out:361 type:2 q:236 itex:473187 ptex:1108405 mv:10818 misc:40782 fcode:1 bcode:1 mc-var:1415461 var:9683331 icount:898;
in:362 out:362 type:2 q:236 itex:1301008 ptex:299494 mv:3605 misc:47421 fcode:1 bcode:1 mc-var:3144544 var:8626807 icount:3037;
in:363 out:363 type:2 q:236 itex:1260968 ptex:445654 mv:6091 misc:43727 fcode:1 bcode:1 mc-var:5407348 var:9179850 icount:2090;
in:364 out:364 type:2 q:236 itex:1099965 ptex:360209 mv:5066 misc:44328 fcode:1 bcode:1 mc-var:4066849 var:8455810 icount:2297;
in:365 out:365 type:2 q:236 itex:1382049 ptex:396646 mv:5819 misc:44470 fcode:1 bcode:1 mc-var:5867121 var:8994865 icount:2333;
in:366 out:366 type:2 q:236 itex:1129922 ptex:480518 mv:4853 misc:43627 fcode:1 bcode:1 mc-var:3622769 var:8769006 icount:2164;
in:367 out:367 type:2 q:236 itex:608176 ptex:862610 mv:8492 misc:40818 fcode:1 bcode:1 mc-var:1682531 var:8880159 icount:1114;
in:368 out:368 type:2 q:236 itex:1143525 ptex:443426 mv:5762 misc:46735 fcode:1 bcode:1 mc-var:2378074 var:8450030 icount:2797;
in:369 out:369 type:2 q:236 itex:711757 ptex:750395 mv:8902 misc:40890 fcode:1 bcode:1 mc-var:2005578 var:8930913 icount:1285;
in:370 out:370 type:2 q:236 itex:516162 ptex:739860 mv:6332 misc:35830 fcode:1 bcode:1 mc-var:1674040 var:8992839 icount:817;
in:371 out:371 type:2 q:236 itex:754624 ptex:713134 mv:7913 misc:39769 fcode:1 bcode:1 mc-var:2071470 var:8731992 icount:1262;
in:372 out:372 type:2 q:236 itex:1117429 ptex:361578 mv:5863 misc:43466 fcode:1 bcode:1 mc-var:4213419 var:8649958 icount:2203;
in:373 out:373 type:2 q:236 itex:951163 ptex:588087 mv:7288 misc:41958 fcode:1 bcode:1 mc-var:2618713 var:8993605 icount:1780;
in:374 out:374 type:2 q:236 itex:813420 ptex:692315 mv:9456 misc:41777 fcode:1 bcode:1 mc-var:2249942 var:9186341 icount:1506;
in:375 out:375 type:2 q:236 itex:925844 ptex:700332 mv:7667 misc:40005 fcode:1 bcode:1 mc-var:2695956 var:9506038 icount:1389;
in:376 out:376 type:2 q:236 itex:949423 ptex:718363 mv:8113 misc:42229 fcode:1 bcode:1 mc-var:2531969 var:9292062 icount:1690;
in:377 out:377 type:2 q:236 itex:1133129 ptex:534892 mv:6150 misc:41861 fcode:1 bcode:1 mc-var:3198212 var:9345589 icount:1985;
in:378 out:378 type:2 q:236 itex:1040473 ptex:482474 mv:6599 misc:43518 fcode:1 bcode:1 mc-var:2858573 var:9157391 icount:2041;
in:379 out:379 type:2 q:236 itex:1111937 ptex:606479 mv:7171 misc:42925 fcode:1 bcode:1 mc-var:3187519 var:9272158 icount:1895;
in:380 out:380 type:2 q:236 itex:853531 ptex:682548 mv:7001 misc:40440 fcode:1 bcode:1 mc-var:2426184 var:9307146 icount:1445;
in:381 out:381 type:2 q:236 itex:999641 ptex:695534 mv:6427 misc:41086 fcode:1 bcode:1 mc-var:2898171 var:9464391 icount:1672;
in:382 out:382 type:2 q:236 itex:1013383 ptex:700658 mv:6425 misc:40462 fcode:1 bcode:1 mc-var:3156697 var:9671769 icount:1563;
in:383 out:383 type:2 q:236 itex:993586 ptex:748771 mv:6661 misc:40038 fcode:1 bcode:1 mc-var:3148779 var:9628167 icount:1484;
in:384 out:384 type:2 q:236 itex:1392198 ptex:813557 mv:6876 misc:44937 fcode:1 bcode:1 mc-var:6058726 var:9343613 icount:1963;
in:385 out:385 type:2 q:236 itex:1132435 ptex:632218 mv:5681 misc:42218 fcode:1 bcode:1 mc-var:3378443 var:9206340 icount:1884;
in:386 out:386 type:2 q:236 itex:1074216 ptex:698747 mv:7196 misc:43073 fcode:1 bcode:1 mc-var:3128991 var:9138183 icount:1837;
in:387 out:387 type:2 q:236 itex:1020656 ptex:694824 mv:7507 misc:42165 fcode:1 bcode:1 mc-var:2947970 var:8874551 icount:1696;
in:388 out:388 type:2 q:236 itex:932884 ptex:693961 mv:6276 misc:40287 fcode:1 bcode:1 mc-var:2759150 var:8928785 icount:1509;
in:389 out:389 type:2 q:236 itex:965164 ptex:618033 mv:5475 misc:39952 fcode:1 bcode:1 mc-var:2742045 var:8729683 icount:1629;
in:390 out:390 type:2 q:236 itex:1049251 ptex:706726 mv:6008 misc:40735 fcode:1 bcode:1 mc-var:3313158 var:9065472 icount:1646;
in:391 out:391 type:2 q:236 itex:1128348 ptex:693757 mv:7116 misc:42491 fcode:1 bcode:1 mc-var:3302796 var:9187601 icount:1841;
in:392 out:392 type:2 q:236 itex:1087642 ptex:605161 mv:5648 misc:42381 fcode:1 bcode:1 mc-var:3055564 var:8851635 icount:1955;
in:393 out:393 type:2 q:236 itex:948389 ptex:601028 mv:5505 misc:42406 fcode:1 bcode:1 mc-var:2255410 var:8716280 icount:1897;
in:394 out:394 type:2 q:236 itex:1025537 ptex:634064 mv:4928 misc:40383 fcode:1 bcode:1 mc-var:3009131 var:9004372 icount:1725;
in:395 out:395 type:2 q:236 itex:1077523 ptex:755309 mv:6869 misc:42067 fcode:1 bcode:1 mc-var:2999980 var:9284893 icount:1702;
in:396 out:396 type:1 q:189 itex:2261703 ptex:0 mv:0 misc:77469 fcode:1 bcode:1 mc-var:0 var:9031685 icount:12675;
in:397 out:397 type:2 q:236 itex:1046198 ptex:754949 mv:7365 misc:43872 fcode:1 bcode:1 mc-var:3193182 var:9070647 icount:1708;
in:398 out:398 type:2 q:236 itex:1221055 ptex:636233 mv:6029 misc:43251 fcode:1 bcode:1 mc-var:3468284 var:9156475 icount:2026;
in:399 out:399 type:2 q:236 itex:1139277 ptex:722329 mv:5641 misc:41113 fcode:1 bcode:1 mc-var:3400977 var:9300795 icount:1712;
in:400 out:400 type:2 q:236 itex:1227719 ptex:636463 mv:6217 misc:43537 fcode:1 bcode:1 mc-var:3542332 var:9097072 icount:2089;
in:401 out:401 type:2 q:236 itex:1146792 ptex:733052 mv:6753 misc:42355 fcode:1 bcode:1 mc-var:3443260 var:9149134 icount:1827;
in:402 out:402 type:2 q:236 itex:1118802 ptex:746328 mv:6245 misc:42033 fcode:1 bcode:1 mc-var:3374016 var:9367851 icount:1772;
in:403 out:403 type:2 q:236 itex:1499979 ptex:812493 mv:7041 misc:46839 fcode:1 bcode:1 mc-var:8468863 var:9402085 icount:2242;
in:404 out:404 type:2 q:236 itex:1220944 ptex:675232 mv:7610 misc:45190 fcode:1 bcode:1 mc-var:3462713 var:9010024 icount:2115;
in:405 out:405 type:2 q:236 itex:1154597 ptex:732538 mv:7355 misc:43662 fcode:1 bcode:1 mc-var:3123595 var:9242469 icount:1962;
in:406 out:406 type:2 q:236 itex:1438838 ptex:630664 mv:6588 misc:44982 fcode:1 bcode:1 mc-var:3978404 var:9230437 icount:2369;
in:407 out:407 type:2 q:236 itex:1187595 ptex:760963 mv:6414 misc:42556 fcode:1 bcode:1 mc-var:3351018 var:9372360 icount:1917;
in:408 out:408 type:2 q:236 itex:1114817 ptex:760848 mv:6143 misc:41064 fcode:1 bcode:1 mc-var:3379679 var:9329651 icount:1691;
in:409 out:409 type:2 q:236 itex:1387475 ptex:736558 mv:6975 misc:43792 fcode:1 bcode:1 mc-var:3905328 var:9408331 icount:2117;
in:410 out:410 type:2 q:236 itex:1507692 ptex:671037 mv:5081 misc:42174 fcode:1 bcode:1 mc-var:4120549 var:9545463 icount:2160;
in:411 out:411 type:2 q:236 itex:1273242 ptex:670984 mv:5478 misc:43080 fcode:1 bcode:1 mc-var:3873919 var:9151634 icount:2118;
in:412 out:412 type:2 q:236 itex:1172413 ptex:840622 mv:7057 misc:42276 fcode:1 bcode:1 mc-var:3091301 var:9297420 icount:1791;
in:413 out:413 type:2 q:236 itex:1575364 ptex:683247 mv:5856 misc:44445 fcode:1 bcode:1 mc-var:4089696 var:9441594 icount:2305;
in:414 out:414 type:2 q:236 itex:1756344 ptex:630594 mv:5306 misc:45676 fcode:1 bcode:1 mc-var:4820544 var:9738952 icount:2612;
in:415 out:415 type:2 q:236 itex:2244136 ptex:721311 mv:7299 misc:51470 fcode:1 bcode:1 mc-var:5960581 var:9620894 icount:3227;
in:416 out:416 type:2 q:236 itex:2837615 ptex:99796 mv:1959 misc:51038 fcode:1 bcode:1 mc-var:11593510 var:10116036 icount:3731;
in:417 out:417 type:2 q:236 itex:2716528 ptex:610250 mv:4437 misc:47873 fcode:1 bcode:1 mc-var:5664168 var:10171661 icount:3290;
in:418 out:418 type:2 q:236 itex:2787368 ptex:706131 mv:4881 misc:47044 fcode:1 bcode:1 mc-var:6830769 var:10839599 icount:3218;
in:419 out:419 type:2 q:236 itex:3361379 ptex:59740 mv:711 misc:48978 fcode:1 bcode:1 mc-var:6608621 var:9969968 icount:3807;
in:420 out:420 type:2 q:236 itex:2338709 ptex:1226299 mv:7278 misc:45242 fcode:1 bcode:1 mc-var:5142970 var:10438731 icount:2665;
in:421 out:421 type:2 q:236 itex:4030992 ptex:141598 mv:1819 misc:53791 fcode:1 bcode:1 mc-var:11388576 var:10436545 icount:4268;
in:422 out:422 type:2 q:236 itex:4410427 ptex:82423 mv:1044 misc:49186 fcode:1 bcode:1 mc-var:13117581 var:11971813 icount:3792;