in:0 out:0 type:1 q:480 itex:418537 ptex:0 mv:0 misc:6059 fcode:1 bcode:1 mc-var:0 var:793955 icount:1200 skipcount:0 hbits:12;
in:1 out:1 type:2 q:327 itex:84497 ptex:322885 mv:3669 misc:10317 fcode:1 bcode:1 mc-var:109912 var:805037 icount:362 skipcount:0 hbits:8;
in:2 out:2 type:2 q:257 itex:109007 ptex:461413 mv:3608 misc:10316 fcode:1 bcode:1 mc-var:106285 var:812614 icount:364 skipcount:0 hbits:8;
in:3 out:3 type:2 q:302 itex:77936 ptex:302496 mv:3862 misc:10314 fcode:1 bcode:1 mc-var:97859 var:820015 icount:349 skipcount:0 hbits:8;
in:4 out:4 type:2 q:454 itex:69198 ptex:226612 mv:3789 misc:10337 fcode:1 bcode:1 mc-var:111485 var:824491 icount:369 skipcount:0 hbits:8;
in:5 out:5 type:2 q:709 itex:53890 ptex:126572 mv:3856 misc:10258 fcode:1 bcode:1 mc-var:117013 var:828031 icount:373 skipcount:0 hbits:8;
in:6 out:6 type:2 q:1022 itex:34611 ptex:62260 mv:3748 misc:10285 fcode:1 bcode:1 mc-var:121851 var:816160 icount:366 skipcount:1 hbits:8;
in:7 out:7 type:2 q:1343 itex:25088 ptex:37274 mv:3803 misc:9691 fcode:1 bcode:1 mc-var:110700 var:807369 icount:337 skipcount:31 hbits:8;
in:8 out:8 type:2 q:1637 itex:14892 ptex:19214 mv:4018 misc:7812 fcode:1 bcode:1 mc-var:112528 var:820510 icount:236 skipcount:104 hbits:8;
in:9 out:9 type:2 q:1893 itex:8257 ptex:13883 mv:4267 misc:6577 fcode:1 bcode:1 mc-var:107324 var:831950 icount:154 skipcount:160 hbits:8;
in:10 out:10 type:2 q:2110 itex:4460 ptex:9699 mv:3369 misc:5224 fcode:1 bcode:1 mc-var:104346 var:819002 icount:86 skipcount:358 hbits:8;
in:11 out:11 type:2 q:2227 itex:3021 ptex:8916 mv:3538 misc:4981 fcode:1 bcode:1 mc-var:109761 var:824012 icount:51 skipcount:344 hbits:8;
in:12 out:12 type:2 q:2237 itex:5555 ptex:9049 mv:3965 misc:5647 fcode:1 bcode:1 mc-var:113851 var:816426 icount:92 skipcount:236 hbits:8;
in:13 out:13 type:2 q:2246 itex:5445 ptex:8308 mv:3510 misc:5409 fcode:1 bcode:1 mc-var:113239 var:804936 icount:90 skipcount:293 hbits:8;
in:14 out:14 type:2 q:2243 itex:5978 ptex:9675 mv:3705 misc:5778 fcode:1 bcode:1 mc-var:116256 var:815655 icount:104 skipcount:249 hbits:8;
in:15 out:15 type:2 q:2239 itex:5360 ptex:9836 mv:3994 misc:5818 fcode:1 bcode:1 mc-var:106487 var:816220 icount:100 skipcount:229 hbits:8;
in:16 out:16 type:2 q:2267 itex:6714 ptex:10319 mv:3650 misc:5933 fcode:1 bcode:1 mc-var:119573 var:823632 icount:117 skipcount:266 hbits:8;
in:17 out:17 type:2 q:2288 itex:5998 ptex:10882 mv:3652 misc:5908 fcode:1 bcode:1 mc-var:119259 var:831010 icount:111 skipcount:253 hbits:8;
in:18 out:18 type:2 q:2301 itex:4983 ptex:9297 mv:3354 misc:5414 fcode:1 bcode:1 mc-var:117615 var:825526 icount:101 skipcount:345 hbits:8;
in:19 out:19 type:2 q:2275 itex:4097 ptex:10603 mv:3739 misc:5505 fcode:1 bcode:1 mc-var:110604 var:822299 icount:75 skipcount:319 hbits:8;
in:20 out:20 type:2 q:2282 itex:3758 ptex:11661 mv:3782 misc:5687 fcode:1 bcode:1 mc-var:124825 var:811722 icount:71 skipcount:281 hbits:8;
in:21 out:21 type:2 q:2277 itex:3928 ptex:10858 mv:3225 misc:5445 fcode:1 bcode:1 mc-var:120794 var:800545 icount:76 skipcount:342 hbits:8;
in:22 out:22 type:2 q:2262 itex:4483 ptex:11240 mv:3260 misc:5393 fcode:1 bcode:1 mc-var:119516 var:808814 icount:84 skipcount:383 hbits:8;
in:23 out:23 type:2 q:2265 itex:4193 ptex:11698 mv:3392 misc:5469 fcode:1 bcode:1 mc-var:126020 var:802714 icount:75 skipcount:362 hbits:8;
in:24 out:24 type:2 q:2259 itex:6063 ptex:10641 mv:3163 misc:5437 fcode:1 bcode:1 mc-var:121558 var:776188 icount:96 skipcount:382 hbits:8;
in:25 out:25 type:2 q:2276 itex:5565 ptex:11598 mv:3338 misc:5619 fcode:1 bcode:1 mc-var:132084 var:767903 icount:92 skipcount:345 hbits:8;
in:26 out:26 type:2 q:2279 itex:5729 ptex:11257 mv:3437 misc:5617 fcode:1 bcode:1 mc-var:125636 var:765324 icount:97 skipcount:328 hbits:8;
in:27 out:27 type:2 q:2273 itex:5492 ptex:9653 mv:3730 misc:5765 fcode:1 bcode:1 mc-var:115811 var:752078 icount:96 skipcount:269 hbits:8;
in:28 out:28 type:2 q:2277 itex:4359 ptex:12173 mv:3426 misc:5450 fcode:1 bcode:1 mc-var:122977 var:770116 icount:75 skipcount:365 hbits:8;
in:29 out:29 type:2 q:2284 itex:4789 ptex:12041 mv:3792 misc:5594 fcode:1 bcode:1 mc-var:126183 var:768101 icount:79 skipcount:317 hbits:8;
in:30 out:30 type:2 q:2286 itex:4890 ptex:11398 mv:3680 misc:5544 fcode:1 bcode:1 mc-var:122107 var:768352 icount:77 skipcount:327 hbits:8;
in:31 out:31 type:2 q:2298 itex:3434 ptex:11775 mv:3682 misc:5381 fcode:1 bcode:1 mc-var:130982 var:773826 icount:51 skipcount:337 hbits:8;
in:32 out:32 type:2 q:2269 itex:3086 ptex:10878 mv:3665 misc:5339 fcode:1 bcode:1 mc-var:115603 var:774523 icount:53 skipcount:342 hbits:8;
in:33 out:33 type:2 q:2241 itex:3931 ptex:10326 mv:3803 misc:5420 fcode:1 bcode:1 mc-var:111814 var:767527 icount:61 skipcount:323 hbits:8;
in:34 out:34 type:2 q:2240 itex:6767 ptex:11305 mv:3462 misc:5706 fcode:1 bcode:1 mc-var:121373 var:774408 icount:111 skipcount:332 hbits:8;
in:35 out:35 type:2 q:2264 itex:7310 ptex:10345 mv:3224 misc:5729 fcode:1 bcode:1 mc-var:123116 var:763364 icount:115 skipcount:346 hbits:8;
in:36 out:36 type:2 q:2268 itex:7683 ptex:9706 mv:3041 misc:5658 fcode:1 bcode:1 mc-var:113445 var:761548 icount:116 skipcount:348 hbits:8;
in:37 out:37 type:2 q:2293 itex:6904 ptex:10540 mv:3296 misc:5804 fcode:1 bcode:1 mc-var:126020 var:768732 icount:116 skipcount:296 hbits:8;
in:38 out:38 type:2 q:2306 itex:5347 ptex:10229 mv:3211 misc:5517 fcode:1 bcode:1 mc-var:127899 var:779737 icount:99 skipcount:357 hbits:8;
in:39 out:39 type:2 q:2283 itex:4522 ptex:11277 mv:2963 misc:5358 fcode:1 bcode:1 mc-var:118447 var:782660 icount:82 skipcount:411 hbits:8;
in:40 out:40 type:2 q:2276 itex:4194 ptex:11875 mv:3463 misc:5532 fcode:1 bcode:1 mc-var:125237 var:793533 icount:71 skipcount:339 hbits:8;
in:41 out:41 type:2 q:2266 itex:3974 ptex:11157 mv:3325 misc:5288 fcode:1 bcode:1 mc-var:120512 var:801164 icount:61 skipcount:377 hbits:8;
in:42 out:42 type:2 q:2235 itex:5232 ptex:9543 mv:3884 misc:5669 fcode:1 bcode:1 mc-var:108046 var:799214 icount:84 skipcount:276 hbits:8;
in:43 out:43 type:2 q:2238 itex:3163 ptex:11567 mv:3401 misc:5189 fcode:1 bcode:1 mc-var:114813 var:819839 icount:52 skipcount:400 hbits:8;
in:44 out:44 type:2 q:2224 itex:3535 ptex:10553 mv:3277 misc:5083 fcode:1 bcode:1 mc-var:112101 var:817324 icount:59 skipcount:427 hbits:8;
in:45 out:45 type:2 q:2215 itex:4368 ptex:10565 mv:3942 misc:5613 fcode:1 bcode:1 mc-var:118463 var:816608 icount:71 skipcount:277 hbits:8;
in:46 out:46 type:2 q:2216 itex:3729 ptex:11400 mv:3594 misc:5469 fcode:1 bcode:1 mc-var:118065 var:827090 icount:70 skipcount:335 hbits:8;
in:47 out:47 type:2 q:2202 itex:4361 ptex:10036 mv:3124 misc:5119 fcode:1 bcode:1 mc-var:108203 var:811371 icount:77 skipcount:437 hbits:8;
in:48 out:48 type:2 q:2203 itex:4294 ptex:10944 mv:3235 misc:5327 fcode:1 bcode:1 mc-var:118712 var:798661 icount:74 skipcount:394 hbits:8;
in:49 out:49 type:2 q:2200 itex:4227 ptex:10026 mv:3409 misc:5242 fcode:1 bcode:1 mc-var:117647 var:791768 icount:70 skipcount:377 hbits:8;
in:50 out:50 type:2 q:2188 itex:4581 ptex:10695 mv:3520 misc:5532 fcode:1 bcode:1 mc-var:116331 var:783344 icount:82 skipcount:328 hbits:8;
in:51 out:51 type:2 q:2180 itex:3208 ptex:12719 mv:3359 misc:5186 fcode:1 bcode:1 mc-var:109318 var:792269 icount:55 skipcount:422 hbits:8;
in:52 out:52 type:2 q:2198 itex:2016 ptex:12210 mv:3608 misc:5206 fcode:1 bcode:1 mc-var:117954 var:811050 icount:46 skipcount:377 hbits:8;
in:53 out:53 type:2 q:2185 itex:2852 ptex:10961 mv:3059 misc:4952 fcode:1 bcode:1 mc-var:113029 var:814126 icount:53 skipcount:465 hbits:8;
in:54 out:54 type:2 q:2173 itex:3305 ptex:12522 mv:3421 misc:5424 fcode:1 bcode:1 mc-var:119111 var:805545 icount:58 skipcount:368 hbits:8;
in:55 out:55 type:2 q:2181 itex:4586 ptex:11098 mv:3607 misc:5469 fcode:1 bcode:1 mc-var:120297 var:817074 icount:80 skipcount:325 hbits:8;
in:56 out:56 type:2 q:2184 itex:4867 ptex:10054 mv:3269 misc:5202 fcode:1 bcode:1 mc-var:116699 var:813770 icount:79 skipcount:409 hbits:8;
in:57 out:57 type:2 q:2164 itex:5085 ptex:11566 mv:2801 misc:5300 fcode:1 bcode:1 mc-var:106066 var:813776 icount:83 skipcount:445 hbits:8;
in:58 out:58 type:2 q:2176 itex:4669 ptex:11617 mv:3308 misc:5366 fcode:1 bcode:1 mc-var:110649 var:812698 icount:77 skipcount:399 hbits:8;
in:59 out:59 type:2 q:2205 itex:4565 ptex:11643 mv:3397 misc:5507 fcode:1 bcode:1 mc-var:122849 var:817892 icount:87 skipcount:328 hbits:8;
in:60 out:60 type:2 q:2187 itex:3889 ptex:10074 mv:2712 misc:4973 fcode:1 bcode:1 mc-var:104295 var:806120 icount:70 skipcount:469 hbits:8;
in:61 out:61 type:2 q:2163 itex:4412 ptex:11737 mv:2767 misc:5260 fcode:1 bcode:1 mc-var:106034 var:801644 icount:77 skipcount:449 hbits:8;
in:62 out:62 type:2 q:2155 itex:4798 ptex:10649 mv:2638 misc:5131 fcode:1 bcode:1 mc-var:102187 var:798011 icount:81 skipcount:458 hbits:8;
in:63 out:63 type:2 q:2162 itex:5045 ptex:10346 mv:2862 misc:5395 fcode:1 bcode:1 mc-var:109921 var:789132 icount:93 skipcount:397 hbits:8;
in:64 out:64 type:2 q:2179 itex:5544 ptex:12880 mv:3128 misc:5448 fcode:1 bcode:1 mc-var:121710 var:809896 icount:88 skipcount:390 hbits:8;
in:65 out:65 type:2 q:2180 itex:4394 ptex:11078 mv:2479 misc:5097 fcode:1 bcode:1 mc-var:105446 var:816446 icount:75 skipcount:478 hbits:8;
in:66 out:66 type:2 q:2184 itex:3958 ptex:10394 mv:2944 misc:5000 fcode:1 bcode:1 mc-var:115525 var:810669 icount:71 skipcount:441 hbits:8;
in:67 out:67 type:2 q:2180 itex:4660 ptex:13671 mv:3382 misc:5551 fcode:1 bcode:1 mc-var:125629 var:823709 icount:75 skipcount:375 hbits:8;
in:68 out:68 type:2 q:2198 itex:4907 ptex:10894 mv:3138 misc:5245 fcode:1 bcode:1 mc-var:122411 var:827584 icount:73 skipcount:397 hbits:8;
in:69 out:69 type:2 q:2190 itex:5124 ptex:10203 mv:2590 misc:4955 fcode:1 bcode:1 mc-var:118378 var:815082 icount:74 skipcount:487 hbits:8;
in:70 out:70 type:2 q:2203 itex:3959 ptex:11576 mv:3342 misc:5259 fcode:1 bcode:1 mc-var:141527 var:814690 icount:69 skipcount:390 hbits:8;
in:71 out:71 type:2 q:2171 itex:3770 ptex:13458 mv:3023 misc:5317 fcode:1 bcode:1 mc-var:120604 var:800426 icount:63 skipcount:441 hbits:8;
in:72 out:72 type:2 q:2178 itex:4625 ptex:11098 mv:3104 misc:5189 fcode:1 bcode:1 mc-var:122767 var:792176 icount:68 skipcount:454 hbits:8;
in:73 out:73 type:2 q:2169 itex:4855 ptex:11526 mv:2995 misc:5216 fcode:1 bcode:1 mc-var:118351 var:799723 icount:76 skipcount:457 hbits:8;
in:74 out:74 type:2 q:2181 itex:8253 ptex:9613 mv:3442 misc:5788 fcode:1 bcode:1 mc-var:126835 var:775188 icount:129 skipcount:310 hbits:8;
in:75 out:75 type:2 q:2198 itex:7857 ptex:9520 mv:2406 misc:5177 fcode:1 bcode:1 mc-var:123280 var:756915 icount:120 skipcount:481 hbits:8;
in:76 out:76 type:2 q:2216 itex:8484 ptex:8978 mv:2365 misc:5261 fcode:1 bcode:1 mc-var:135460 var:774611 icount:129 skipcount:471 hbits:8;
in:77 out:77 type:2 q:2206 itex:6413 ptex:11036 mv:2981 misc:5458 fcode:1 bcode:1 mc-var:126898 var:789294 icount:110 skipcount:384 hbits:8;
in:78 out:78 type:2 q:2210 itex:6093 ptex:11502 mv:2999 misc:5710 fcode:1 bcode:1 mc-var:128032 var:796069 icount:117 skipcount:347 hbits:8;
in:79 out:79 type:2 q:2202 itex:5006 ptex:11825 mv:3011 misc:5542 fcode:1 bcode:1 mc-var:116625 var:810514 icount:101 skipcount:375 hbits:8;
in:80 out:80 type:2 q:2195 itex:4476 ptex:10395 mv:2867 misc:5214 fcode:1 bcode:1 mc-var:111411 var:810263 icount:83 skipcount:404 hbits:8;
in:81 out:81 type:2 q:2164 itex:3288 ptex:11365 mv:2835 misc:5272 fcode:1 bcode:1 mc-var:103810 var:805947 icount:58 skipcount:417 hbits:8;
in:82 out:82 type:2 q:2149 itex:2151 ptex:11705 mv:3111 misc:5185 fcode:1 bcode:1 mc-var:106972 var:808248 icount:45 skipcount:406 hbits:8;
in:83 out:83 type:2 q:2132 itex:3376 ptex:12261 mv:3167 misc:5388 fcode:1 bcode:1 mc-var:108234 var:808261 icount:59 skipcount:380 hbits:8;
in:84 out:84 type:2 q:2139 itex:3465 ptex:11534 mv:3355 misc:5470 fcode:1 bcode:1 mc-var:112307 var:800512 icount:62 skipcount:337 hbits:8;
in:85 out:85 type:2 q:2136 itex:3973 ptex:10739 mv:3467 misc:5573 fcode:1 bcode:1 mc-var:109880 var:793168 icount:81 skipcount:319 hbits:8;
in:86 out:86 type:2 q:2149 itex:4310 ptex:12779 mv:3527 misc:5680 fcode:1 bcode:1 mc-var:119881 var:796181 icount:82 skipcount:326 hbits:8;
in:87 out:87 type:2 q:2154 itex:4036 ptex:12332 mv:3195 misc:5357 fcode:1 bcode:1 mc-var:110043 var:793347 icount:74 skipcount:415 hbits:8;
in:88 out:88 type:2 q:2160 itex:4079 ptex:11793 mv:3021 misc:5259 fcode:1 bcode:1 mc-var:109949 var:796539 icount:76 skipcount:433 hbits:8;
in:89 out:89 type:2 q:2174 itex:3822 ptex:11976 mv:3215 misc:5235 fcode:1 bcode:1 mc-var:121119 var:796220 icount:70 skipcount:397 hbits:8;
in:90 out:90 type:2 q:2168 itex:4138 ptex:12498 mv:3408 misc:5364 fcode:1 bcode:1 mc-var:118264 var:808708 icount:68 skipcount:382 hbits:8;
in:91 out:91 type:2 q:2181 itex:2712 ptex:11740 mv:3458 misc:5258 fcode:1 bcode:1 mc-var:124587 var:822242 icount:49 skipcount:363 hbits:8;
in:92 out:92 type:2 q:2157 itex:3414 ptex:12850 mv:3316 misc:5396 fcode:1 bcode:1 mc-var:116919 var:821173 icount:63 skipcount:389 hbits:8;
in:93 out:93 type:2 q:2148 itex:3697 ptex:12731 mv:3083 misc:5257 fcode:1 bcode:1 mc-var:111889 var:826066 icount:63 skipcount:410 hbits:8;
in:94 out:94 type:2 q:2144 itex:5081 ptex:10740 mv:2459 misc:4920 fcode:1 bcode:1 mc-var:108225 var:811022 icount:83 skipcount:519 hbits:8;
in:95 out:95 type:2 q:2162 itex:7069 ptex:10802 mv:3027 misc:5638 fcode:1 bcode:1 mc-var:127947 var:802195 icount:117 skipcount:368 hbits:8;
in:96 out:96 type:2 q:2179 itex:6876 ptex:12382 mv:3412 misc:6042 fcode:1 bcode:1 mc-var:126826 var:804932 icount:118 skipcount:260 hbits:8;
in:97 out:97 type:2 q:2172 itex:6232 ptex:9686 mv:1920 misc:5074 fcode:1 bcode:1 mc-var:101558 var:809819 icount:115 skipcount:533 hbits:8;
in:98 out:98 type:2 q:2155 itex:5770 ptex:10113 mv:2546 misc:5259 fcode:1 bcode:1 mc-var:102302 var:812116 icount:107 skipcount:458 hbits:8;
in:99 out:99 type:2 q:2149 itex:4238 ptex:10679 mv:2519 misc:5124 fcode:1 bcode:1 mc-var:105751 var:814907 icount:89 skipcount:450 hbits:8;
in:100 out:100 type:2 q:2133 itex:4149 ptex:11810 mv:2852 misc:5149 fcode:1 bcode:1 mc-var:106869 var:826023 icount:78 skipcount:431 hbits:8;
in:101 out:101 type:2 q:2118 itex:3808 ptex:10417 mv:2394 misc:4821 fcode:1 bcode:1 mc-var:101037 var:824593 icount:73 skipcount:516 hbits:8;
in:102 out:102 type:2 q:2081 itex:3491 ptex:9230 mv:2040 misc:4567 fcode:1 bcode:1 mc-var:93768 var:827729 icount:70 skipcount:579 hbits:8;
in:103 out:103 type:2 q:2056 itex:6414 ptex:11576 mv:2343 misc:5347 fcode:1 bcode:1 mc-var:104793 var:814976 icount:103 skipcount:455 hbits:8;
in:104 out:104 type:2 q:2082 itex:5841 ptex:11499 mv:2812 misc:5360 fcode:1 bcode:1 mc-var:106924 var:821950 icount:112 skipcount:418 hbits:8;
in:105 out:105 type:2 q:2103 itex:5719 ptex:10381 mv:2438 misc:5142 fcode:1 bcode:1 mc-var:104911 var:820772 icount:102 skipcount:468 hbits:8;
in:106 out:106 type:2 q:2119 itex:6005 ptex:10595 mv:2921 misc:5471 fcode:1 bcode:1 mc-var:112672 var:812426 icount:110 skipcount:389 hbits:8;
in:107 out:107 type:2 q:2159 itex:5747 ptex:12909 mv:3410 misc:5758 fcode:1 bcode:1 mc-var:133945 var:794400 icount:110 skipcount:325 hbits:8;
in:108 out:108 type:2 q:2184 itex:6736 ptex:10275 mv:2474 misc:4939 fcode:1 bcode:1 mc-var:131178 var:800254 icount:101 skipcount:513 hbits:8;
in:109 out:109 type:2 q:2225 itex:8114 ptex:10848 mv:2862 misc:5152 fcode:1 bcode:1 mc-var:172641 var:810457 icount:103 skipcount:452 hbits:8;
in:110 out:110 type:2 q:2186 itex:6420 ptex:10807 mv:2511 misc:4750 fcode:1 bcode:1 mc-var:128195 var:813513 icount:94 skipcount:547 hbits:8;
in:111 out:111 type:2 q:2164 itex:4732 ptex:13748 mv:2815 misc:5009 fcode:1 bcode:1 mc-var:125738 var:812639 icount:65 skipcount:494 hbits:8;
in:112 out:112 type:2 q:2159 itex:4542 ptex:12606 mv:2910 misc:5054 fcode:1 bcode:1 mc-var:119034 var:801522 icount:79 skipcount:486 hbits:8;
in:113 out:113 type:2 q:2167 itex:6837 ptex:10988 mv:2566 misc:4969 fcode:1 bcode:1 mc-var:125739 var:785555 icount:99 skipcount:514 hbits:8;
in:114 out:114 type:2 q:2165 itex:7022 ptex:11284 mv:2195 misc:5019 fcode:1 bcode:1 mc-var:123225 var:807594 icount:107 skipcount:532 hbits:8;
in:115 out:115 type:2 q:2168 itex:7165 ptex:10151 mv:2331 misc:5033 fcode:1 bcode:1 mc-var:123833 var:816582 icount:100 skipcount:512 hbits:8;
in:116 out:116 type:2 q:2168 itex:7344 ptex:11035 mv:2575 misc:5206 fcode:1 bcode:1 mc-var:128161 var:813014 icount:107 skipcount:442 hbits:8;
in:117 out:117 type:2 q:2158 itex:5226 ptex:11133 mv:3020 misc:5253 fcode:1 bcode:1 mc-var:116272 var:829453 icount:83 skipcount:395 hbits:8;
in:118 out:118 type:2 q:2145 itex:5384 ptex:10477 mv:2890 misc:5209 fcode:1 bcode:1 mc-var:111905 var:824915 icount:95 skipcount:420 hbits:8;
in:119 out:119 type:2 q:2131 itex:5310 ptex:10005 mv:3350 misc:5559 fcode:1 bcode:1 mc-var:108905 var:813636 icount:89 skipcount:298 hbits:8;
in:120 out:120 type:2 q:2126 itex:5895 ptex:8385 mv:3542 misc:5722 fcode:1 bcode:1 mc-var:109334 var:804932 icount:118 skipcount:267 hbits:8;
in:121 out:121 type:2 q:2105 itex:5094 ptex:8886 mv:3701 misc:5639 fcode:1 bcode:1 mc-var:101945 var:796307 icount:107 skipcount:271 hbits:8;
in:122 out:122 type:2 q:2100 itex:3842 ptex:9847 mv:3688 misc:5591 fcode:1 bcode:1 mc-var:104917 var:782388 icount:78 skipcount:270 hbits:8;
in:123 out:123 type:2 q:2081 itex:4977 ptex:8156 mv:3614 misc:5589 fcode:1 bcode:1 mc-var:98872 var:768963 icount:92 skipcount:268 hbits:8;
in:124 out:124 type:2 q:2060 itex:5702 ptex:10066 mv:3721 misc:5943 fcode:1 bcode:1 mc-var:95174 var:746351 icount:100 skipcount:244 hbits:8;
in:125 out:125 type:2 q:2150 itex:5811 ptex:7096 mv:3771 misc:5650 fcode:1 bcode:1 mc-var:146041 var:716774 icount:99 skipcount:233 hbits:8;
in:126 out:126 type:2 q:2097 itex:4642 ptex:9599 mv:4112 misc:5671 fcode:1 bcode:1 mc-var:109222 var:711859 icount:91 skipcount:254 hbits:8;
in:127 out:127 type:2 q:2073 itex:5191 ptex:8708 mv:3849 misc:5772 fcode:1 bcode:1 mc-var:101208 var:726972 icount:99 skipcount:251 hbits:8;
in:128 out:128 type:2 q:2067 itex:3690 ptex:10630 mv:3895 misc:5665 fcode:1 bcode:1 mc-var:100184 var:750231 icount:71 skipcount:274 hbits:8;
in:129 out:129 type:2 q:2093 itex:4880 ptex:10120 mv:3934 misc:5674 fcode:1 bcode:1 mc-var:114907 var:758869 icount:87 skipcount:281 hbits:8;
in:130 out:130 type:2 q:2101 itex:6038 ptex:8834 mv:3806 misc:5658 fcode:1 bcode:1 mc-var:113492 var:768258 icount:100 skipcount:269 hbits:8;
in:131 out:131 type:2 q:2099 itex:5168 ptex:11162 mv:4108 misc:5722 fcode:1 bcode:1 mc-var:110657 var:781548 icount:89 skipcount:275 hbits:8;
in:132 out:132 type:2 q:2128 itex:5705 ptex:12863 mv:3699 misc:5669 fcode:1 bcode:1 mc-var:119626 var:808848 icount:90 skipcount:290 hbits:8;
in:133 out:133 type:2 q:2179 itex:5582 ptex:12633 mv:3491 misc:5494 fcode:1 bcode:1 mc-var:135546 var:813313 icount:86 skipcount:339 hbits:8;
in:134 out:134 type:2 q:2171 itex:6412 ptex:11502 mv:3530 misc:5684 fcode:1 bcode:1 mc-var:116184 var:815205 icount:92 skipcount:297 hbits:8;
in:135 out:135 type:2 q:2197 itex:5603 ptex:10033 mv:2999 misc:4997 fcode:1 bcode:1 mc-var:130134 var:812323 icount:73 skipcount:407 hbits:8;
in:136 out:136 type:2 q:2180 itex:6159 ptex:12471 mv:3059 misc:5287 fcode:1 bcode:1 mc-var:130768 var:802253 icount:83 skipcount:399 hbits:8;
in:137 out:137 type:2 q:2165 itex:5934 ptex:11059 mv:2889 misc:5174 fcode:1 bcode:1 mc-var:118091 var:795297 icount:82 skipcount:401 hbits:8;
in:138 out:138 type:2 q:2155 itex:5449 ptex:12572 mv:3547 misc:5568 fcode:1 bcode:1 mc-var:117092 var:801150 icount:76 skipcount:306 hbits:8;
in:139 out:139 type:2 q:2170 itex:4270 ptex:12031 mv:2812 misc:5015 fcode:1 bcode:1 mc-var:120429 var:790726 icount:64 skipcount:440 hbits:8;
in:140 out:140 type:2 q:2161 itex:4075 ptex:12419 mv:3050 misc:5184 fcode:1 bcode:1 mc-var:122546 var:788898 icount:61 skipcount:403 hbits:8;
in:141 out:141 type:2 q:2136 itex:3019 ptex:12230 mv:2827 misc:4900 fcode:1 bcode:1 mc-var:111856 var:792506 icount:39 skipcount:453 hbits:8;
in:142 out:142 type:2 q:2099 itex:2027 ptex:10121 mv:2271 misc:4285 fcode:1 bcode:1 mc-var:103166 var:788737 icount:29 skipcount:584 hbits:8;
in:143 out:143 type:2 q:2068 itex:2977 ptex:12279 mv:3259 misc:5181 fcode:1 bcode:1 mc-var:122033 var:787353 icount:48 skipcount:360 hbits:8;
in:144 out:144 type:2 q:2065 itex:3460 ptex:13246 mv:3268 misc:5122 fcode:1 bcode:1 mc-var:123951 var:796716 icount:45 skipcount:403 hbits:8;
in:145 out:145 type:2 q:2038 itex:1310 ptex:13506 mv:2713 misc:4975 fcode:1 bcode:1 mc-var:98439 var:795949 icount:25 skipcount:457 hbits:8;
in:146 out:146 type:2 q:2050 itex:2020 ptex:14095 mv:2938 misc:5107 fcode:1 bcode:1 mc-var:112279 var:801925 icount:32 skipcount:418 hbits:8;
in:147 out:147 type:2 q:2035 itex:2055 ptex:12123 mv:2246 misc:4736 fcode:1 bcode:1 mc-var:97256 var:804450 icount:30 skipcount:521 hbits:8;
in:148 out:148 type:2 q:2022 itex:2925 ptex:11906 mv:2757 misc:4876 fcode:1 bcode:1 mc-var:101915 var:796321 icount:42 skipcount:459 hbits:8;
in:149 out:149 type:2 q:2005 itex:3228 ptex:10910 mv:2225 misc:4725 fcode:1 bcode:1 mc-var:95750 var:800650 icount:54 skipcount:533 hbits:8;
in:150 out:150 type:2 q:2026 itex:2889 ptex:13700 mv:2985 misc:5130 fcode:1 bcode:1 mc-var:119668 var:821663 icount:48 skipcount:415 hbits:8;
in:151 out:151 type:2 q:2045 itex:3619 ptex:14418 mv:2882 misc:5105 fcode:1 bcode:1 mc-var:120040 var:832603 icount:53 skipcount:436 hbits:8;
in:152 out:152 type:2 q:2056 itex:2866 ptex:12519 mv:2605 misc:4786 fcode:1 bcode:1 mc-var:110218 var:832765 icount:40 skipcount:500 hbits:8;
in:153 out:153 type:2 q:2097 itex:5692 ptex:13280 mv:2676 misc:5016 fcode:1 bcode:1 mc-var:145657 var:847421 icount:81 skipcount:479 hbits:8;
in:154 out:154 type:2 q:2128 itex:6668 ptex:13295 mv:2848 misc:5357 fcode:1 bcode:1 mc-var:152014 var:839243 icount:108 skipcount:403 hbits:8;
in:155 out:155 type:2 q:2112 itex:3463 ptex:13037 mv:3029 misc:4935 fcode:1 bcode:1 mc-var:118567 var:847871 icount:52 skipcount:448 hbits:8;
in:156 out:156 type:2 q:2099 itex:3488 ptex:12190 mv:2665 misc:4617 fcode:1 bcode:1 mc-var:115172 var:853859 icount:44 skipcount:526 hbits:8;
in:157 out:157 type:2 q:2077 itex:4320 ptex:10537 mv:2393 misc:4646 fcode:1 bcode:1 mc-var:112998 var:848782 icount:62 skipcount:540 hbits:8;
in:158 out:158 type:2 q:2059 itex:4861 ptex:13081 mv:2550 misc:4884 fcode:1 bcode:1 mc-var:118789 var:848121 icount:59 skipcount:495 hbits:8;
in:159 out:159 type:2 q:2077 itex:4905 ptex:10792 mv:2675 misc:4956 fcode:1 bcode:1 mc-var:125194 var:833620 icount:76 skipcount:443 hbits:8;
in:160 out:160 type:2 q:2087 itex:6246 ptex:11816 mv:2757 misc:5077 fcode:1 bcode:1 mc-var:137903 var:827393 icount:85 skipcount:433 hbits:8;
in:161 out:161 type:2 q:2073 itex:4253 ptex:11164 mv:2771 misc:4932 fcode:1 bcode:1 mc-var:117921 var:822229 icount:65 skipcount:462 hbits:8;
in:162 out:162 type:2 q:2055 itex:2797 ptex:14141 mv:2650 misc:5124 fcode:1 bcode:1 mc-var:115371 var:824928 icount:47 skipcount:439 hbits:8;
in:163 out:163 type:2 q:2045 itex:3466 ptex:11980 mv:2571 misc:5039 fcode:1 bcode:1 mc-var:106699 var:816735 icount:58 skipcount:464 hbits:8;
in:164 out:164 type:2 q:2023 itex:4119 ptex:10894 mv:2600 misc:5107 fcode:1 bcode:1 mc-var:98602 var:821937 icount:66 skipcount:446 hbits:8;
in:165 out:165 type:2 q:2039 itex:3829 ptex:12607 mv:2989 misc:5143 fcode:1 bcode:1 mc-var:115102 var:816352 icount:54 skipcount:417 hbits:8;
in:166 out:166 type:2 q:2059 itex:4508 ptex:12751 mv:2741 misc:5176 fcode:1 bcode:1 mc-var:121456 var:805535 icount:64 skipcount:423 hbits:8;
in:167 out:167 type:2 q:2129 itex:8169 ptex:12886 mv:3056 misc:5585 fcode:1 bcode:1 mc-var:170018 var:830353 icount:113 skipcount:349 hbits:8;
in:168 out:168 type:2 q:2131 itex:7324 ptex:10962 mv:2243 misc:5175 fcode:1 bcode:1 mc-var:134479 var:810118 icount:118 skipcount:492 hbits:8;
in:169 out:169 type:2 q:2117 itex:5427 ptex:9847 mv:2021 misc:4473 fcode:1 bcode:1 mc-var:125308 var:822583 icount:68 skipcount:581 hbits:8;
in:170 out:170 type:2 q:2206 itex:51112 ptex:29847 mv:3649 misc:10000 fcode:1 bcode:1 mc-var:1159416 var:1130274 icount:585 skipcount:59 hbits:8;
in:171 out:171 type:2 q:2332 itex:39733 ptex:19893 mv:3145 misc:9925 fcode:1 bcode:1 mc-var:670152 var:867621 icount:634 skipcount:80 hbits:8;
in:172 out:172 type:2 q:2325 itex:3600 ptex:10465 mv:2840 misc:4639 fcode:1 bcode:1 mc-var:130764 var:865432 icount:43 skipcount:506 hbits:8;
in:173 out:173 type:2 q:2270 itex:3264 ptex:12972 mv:2930 misc:4858 fcode:1 bcode:1 mc-var:136962 var:870271 icount:40 skipcount:462 hbits:8;
in:174 out:174 type:2 q:2215 itex:3253 ptex:12006 mv:2864 misc:4829 fcode:1 bcode:1 mc-var:127730 var:869122 icount:51 skipcount:464 hbits:8;
in:175 out:175 type:2 q:2153 itex:3357 ptex:11866 mv:2256 misc:4657 fcode:1 bcode:1 mc-var:113823 var:874281 icount:49 skipcount:549 hbits:8;
in:176 out:176 type:2 q:2130 itex:4184 ptex:11801 mv:2835 misc:4788 fcode:1 bcode:1 mc-var:125978 var:882270 icount:52 skipcount:484 hbits:8;
in:177 out:177 type:2 q:2127 itex:4167 ptex:12548 mv:2959 misc:4982 fcode:1 bcode:1 mc-var:134693 var:872565 icount:49 skipcount:429 hbits:8;
in:178 out:178 type:2 q:2116 itex:4106 ptex:12498 mv:2817 misc:4843 fcode:1 bcode:1 mc-var:127151 var:870957 icount:55 skipcount:480 hbits:8;
in:179 out:179 type:2 q:2110 itex:4002 ptex:11601 mv:2959 misc:5062 fcode:1 bcode:1 mc-var:126116 var:863658 icount:60 skipcount:406 hbits:8;
in:180 out:180 type:2 q:2099 itex:4111 ptex:11494 mv:3122 misc:5185 fcode:1 bcode:1 mc-var:123291 var:872736 icount:63 skipcount:383 hbits:8;
in:181 out:181 type:2 q:2089 itex:5253 ptex:12006 mv:3214 misc:5423 fcode:1 bcode:1 mc-var:119145 var:872984 icount:78 skipcount:336 hbits:8;
in:182 out:182 type:2 q:2117 itex:2537 ptex:12782 mv:3068 misc:5005 fcode:1 bcode:1 mc-var:129153 var:885171 icount:43 skipcount:397 hbits:8;
in:183 out:183 type:2 q:2114 itex:3782 ptex:10927 mv:3158 misc:5133 fcode:1 bcode:1 mc-var:130440 var:865285 icount:55 skipcount:360 hbits:8;
in:184 out:184 type:2 q:2081 itex:3423 ptex:9876 mv:4227 misc:5562 fcode:1 bcode:1 mc-var:116252 var:831716 icount:68 skipcount:225 hbits:8;
in:185 out:185 type:2 q:2038 itex:2980 ptex:9888 mv:4282 misc:5658 fcode:1 bcode:1 mc-var:97620 var:818051 icount:60 skipcount:211 hbits:8;
in:186 out:186 type:2 q:2038 itex:4481 ptex:10037 mv:4437 misc:5925 fcode:1 bcode:1 mc-var:103402 var:806218 icount:92 skipcount:191 hbits:8;
in:187 out:187 type:2 q:2064 itex:2796 ptex:11600 mv:4464 misc:5700 fcode:1 bcode:1 mc-var:108765 var:820416 icount:64 skipcount:212 hbits:8;
in:188 out:188 type:2 q:2092 itex:3343 ptex:13397 mv:3697 misc:5547 fcode:1 bcode:1 mc-var:118455 var:845474 icount:68 skipcount:299 hbits:8;
in:189 out:189 type:2 q:2118 itex:3168 ptex:12618 mv:3278 misc:5368 fcode:1 bcode:1 mc-var:122733 var:849606 icount:58 skipcount:325 hbits:8;
in:190 out:190 type:2 q:2114 itex:2587 ptex:11946 mv:2910 misc:4877 fcode:1 bcode:1 mc-var:118865 var:842584 icount:43 skipcount:443 hbits:8;
in:191 out:191 type:2 q:2062 itex:3885 ptex:11444 mv:3800 misc:5719 fcode:1 bcode:1 mc-var:98953 var:820588 icount:66 skipcount:246 hbits:8;
in:192 out:192 type:2 q:2061 itex:4192 ptex:11778 mv:3463 misc:5727 fcode:1 bcode:1 mc-var:98505 var:840362 icount:71 skipcount:266 hbits:8;
in:193 out:193 type:2 q:2101 itex:3123 ptex:11050 mv:2928 misc:5131 fcode:1 bcode:1 mc-var:114781 var:852489 icount:61 skipcount:396 hbits:8;
in:194 out:194 type:2 q:2099 itex:3983 ptex:11102 mv:2778 misc:5001 fcode:1 bcode:1 mc-var:122145 var:857261 icount:66 skipcount:445 hbits:8;
in:195 out:195 type:2 q:2080 itex:2783 ptex:12414 mv:2984 misc:5099 fcode:1 bcode:1 mc-var:118726 var:863403 icount:54 skipcount:411 hbits:8;
in:196 out:196 type:2 q:2053 itex:2992 ptex:13461 mv:2600 misc:5195 fcode:1 bcode:1 mc-var:108761 var:864384 icount:55 skipcount:455 hbits:8;
in:197 out:197 type:2 q:2071 itex:3752 ptex:10970 mv:3100 misc:5082 fcode:1 bcode:1 mc-var:120202 var:860352 icount:55 skipcount:388 hbits:8;
in:198 out:198 type:2 q:2054 itex:5052 ptex:13353 mv:2706 misc:5425 fcode:1 bcode:1 mc-var:112688 var:839371 icount:86 skipcount:407 hbits:8;
in:199 out:199 type:2 q:2058 itex:4561 ptex:11949 mv:2552 misc:5298 fcode:1 bcode:1 mc-var:102039 var:842160 icount:80 skipcount:433 hbits:8;
in:200 out:200 type:2 q:2075 itex:2950 ptex:11131 mv:2498 misc:4781 fcode:1 bcode:1 mc-var:108956 var:860420 icount:56 skipcount:492 hbits:8;
in:201 out:201 type:2 q:2047 itex:2909 ptex:13269 mv:2911 misc:5207 fcode:1 bcode:1 mc-var:104701 var:859981 icount:62 skipcount:423 hbits:8;
in:202 out:202 type:2 q:2056 itex:2484 ptex:13777 mv:3226 misc:5329 fcode:1 bcode:1 mc-var:110074 var:859019 icount:55 skipcount:372 hbits:8;
in:203 out:203 type:2 q:2073 itex:3303 ptex:11695 mv:3106 misc:5152 fcode:1 bcode:1 mc-var:114439 var:865273 icount:67 skipcount:389 hbits:8;
in:204 out:204 type:2 q:2075 itex:2840 ptex:12994 mv:3238 misc:5160 fcode:1 bcode:1 mc-var:119357 var:866827 icount:62 skipcount:403 hbits:8;
in:205 out:205 type:2 q:2062 itex:3331 ptex:13664 mv:3726 misc:5575 fcode:1 bcode:1 mc-var:111195 var:875807 icount:66 skipcount:314 hbits:8;
in:206 out:206 type:2 q:2079 itex:4170 ptex:9523 mv:3475 misc:5464 fcode:1 bcode:1 mc-var:111746 var:873031 icount:76 skipcount:283 hbits:8;
in:207 out:207 type:2 q:2080 itex:4026 ptex:11694 mv:3151 misc:5297 fcode:1 bcode:1 mc-var:120560 var:871967 icount:70 skipcount:349 hbits:8;
in:208 out:208 type:2 q:2075 itex:5032 ptex:10274 mv:3333 misc:5673 fcode:1 bcode:1 mc-var:118848 var:851745 icount:86 skipcount:274 hbits:8;
in:209 out:209 type:2 q:2080 itex:5505 ptex:8063 mv:3793 misc:5511 fcode:1 bcode:1 mc-var:124208 var:791314 icount:89 skipcount:270 hbits:8;
in:210 out:210 type:2 q:2036 itex:6526 ptex:8912 mv:4526 misc:5924 fcode:1 bcode:1 mc-var:103731 var:749692 icount:107 skipcount:210 hbits:8;
in:211 out:211 type:2 q:2044 itex:7080 ptex:8685 mv:4856 misc:6235 fcode:1 bcode:1 mc-var:101501 var:757973 icount:129 skipcount:148 hbits:8;
in:212 out:212 type:2 q:2064 itex:7096 ptex:7525 mv:5026 misc:6097 fcode:1 bcode:1 mc-var:97511 var:759643 icount:132 skipcount:135 hbits:8;
in:213 out:213 type:2 q:2111 itex:4889 ptex:12393 mv:4735 misc:5951 fcode:1 bcode:1 mc-var:116081 var:799223 icount:91 skipcount:174 hbits:8;
in:214 out:214 type:2 q:2106 itex:4115 ptex:7962 mv:4712 misc:5667 fcode:1 bcode:1 mc-var:95196 var:750483 icount:81 skipcount:187 hbits:8;
in:215 out:215 type:2 q:2121 itex:4372 ptex:13197 mv:4664 misc:6047 fcode:1 bcode:1 mc-var:120813 var:778648 icount:91 skipcount:182 hbits:8;
in:216 out:216 type:2 q:2143 itex:2889 ptex:14950 mv:3692 misc:5485 fcode:1 bcode:1 mc-var:120034 var:799260 icount:60 skipcount:311 hbits:8;
in:217 out:217 type:2 q:2139 itex:3061 ptex:12046 mv:3599 misc:5374 fcode:1 bcode:1 mc-var:110237 var:806416 icount:56 skipcount:327 hbits:8;
in:218 out:218 type:2 q:2154 itex:3310 ptex:14066 mv:3664 misc:5320 fcode:1 bcode:1 mc-var:132964 var:829254 icount:56 skipcount:347 hbits:8;
in:219 out:219 type:2 q:2141 itex:2444 ptex:14059 mv:3120 misc:4977 fcode:1 bcode:1 mc-var:121831 var:857410 icount:44 skipcount:450 hbits:8;
in:220 out:220 type:2 q:2122 itex:2217 ptex:13934 mv:2964 misc:4893 fcode:1 bcode:1 mc-var:119353 var:867121 icount:38 skipcount:463 hbits:8;
in:221 out:221 type:2 q:2128 itex:2989 ptex:13798 mv:3214 misc:5087 fcode:1 bcode:1 mc-var:137072 var:864621 icount:52 skipcount:416 hbits:8;
in:222 out:222 type:2 q:2114 itex:2613 ptex:15119 mv:3464 misc:5180 fcode:1 bcode:1 mc-var:129985 var:869571 icount:42 skipcount:379 hbits:8;
in:223 out:223 type:2 q:2116 itex:3515 ptex:13133 mv:2943 misc:4809 fcode:1 bcode:1 mc-var:129035 var:855639 icount:51 skipcount:477 hbits:8;
in:224 out:224 type:2 q:2114 itex:3052 ptex:12959 mv:3314 misc:5027 fcode:1 bcode:1 mc-var:134133 var:848707 icount:43 skipcount:389 hbits:8;
in:225 out:225 type:2 q:2109 itex:3685 ptex:13241 mv:3206 misc:5036 fcode:1 bcode:1 mc-var:138302 var:848046 icount:45 skipcount:396 hbits:8;
in:226 out:226 type:2 q:2094 itex:3438 ptex:13621 mv:2929 misc:4868 fcode:1 bcode:1 mc-var:129022 var:852778 icount:47 skipcount:458 hbits:8;
in:227 out:227 type:2 q:2089 itex:3652 ptex:12781 mv:3337 misc:5230 fcode:1 bcode:1 mc-var:128968 var:839206 icount:56 skipcount:360 hbits:8;
in:228 out:228 type:2 q:2075 itex:4594 ptex:12210 mv:3515 misc:5417 fcode:1 bcode:1 mc-var:119391 var:817249 icount:76 skipcount:358 hbits:8;
in:229 out:229 type:2 q:2089 itex:4854 ptex:13122 mv:3365 misc:5275 fcode:1 bcode:1 mc-var:125329 var:819590 icount:78 skipcount:391 hbits:8;
in:230 out:230 type:2 q:2070 itex:3420 ptex:11299 mv:2627 misc:4742 fcode:1 bcode:1 mc-var:101861 var:826143 icount:63 skipcount:537 hbits:8;
in:231 out:231 type:2 q:2054 itex:4737 ptex:14404 mv:3213 misc:5478 fcode:1 bcode:1 mc-var:108259 var:819720 icount:81 skipcount:412 hbits:8;
in:232 out:232 type:2 q:2094 itex:4689 ptex:13181 mv:3443 misc:5391 fcode:1 bcode:1 mc-var:116464 var:821235 icount:84 skipcount:401 hbits:8;
in:233 out:233 type:2 q:2090 itex:5196 ptex:10694 mv:2683 misc:4955 fcode:1 bcode:1 mc-var:101524 var:823717 icount:99 skipcount:510 hbits:8;
in:234 out:234 type:2 q:2095 itex:5306 ptex:9606 mv:3927 misc:5569 fcode:1 bcode:1 mc-var:113381 var:801750 icount:102 skipcount:297 hbits:8;
in:235 out:235 type:2 q:2082 itex:4771 ptex:8675 mv:3307 misc:5079 fcode:1 bcode:1 mc-var:109012 var:801299 icount:93 skipcount:425 hbits:8;
in:236 out:236 type:2 q:2038 itex:5330 ptex:9064 mv:4685 misc:5937 fcode:1 bcode:1 mc-var:99722 var:785856 icount:110 skipcount:200 hbits:8;
in:237 out:237 type:2 q:2045 itex:5273 ptex:9321 mv:5199 misc:6231 fcode:1 bcode:1 mc-var:104008 var:792019 icount:116 skipcount:132 hbits:8;
in:238 out:238 type:2 q:2055 itex:6443 ptex:9280 mv:4819 misc:6226 fcode:1 bcode:1 mc-var:99259 var:788099 icount:125 skipcount:165 hbits:8;
in:239 out:239 type:2 q:2083 itex:4429 ptex:10730 mv:4557 misc:5900 fcode:1 bcode:1 mc-var:103150 var:800191 icount:97 skipcount:206 hbits:8;
in:240 out:240 type:2 q:2109 itex:4703 ptex:14869 mv:3502 misc:5662 fcode:1 bcode:1 mc-var:112973 var:818903 icount:101 skipcount:329 hbits:8;
in:241 out:241 type:2 q:2143 itex:3512 ptex:12784 mv:3119 misc:5041 fcode:1 bcode:1 mc-var:116695 var:830585 icount:69 skipcount:445 hbits:8;
in:242 out:242 type:2 q:2112 itex:3760 ptex:8471 mv:3443 misc:5294 fcode:1 bcode:1 mc-var:102816 var:816979 icount:79 skipcount:323 hbits:8;
in:243 out:243 type:2 q:2067 itex:3754 ptex:8627 mv:3689 misc:5530 fcode:1 bcode:1 mc-var:104029 var:814663 icount:83 skipcount:260 hbits:8;
in:244 out:244 type:2 q:2044 itex:2622 ptex:15621 mv:3381 misc:5416 fcode:1 bcode:1 mc-var:113196 var:836959 icount:53 skipcount:356 hbits:8;
in:245 out:245 type:2 q:2030 itex:2616 ptex:10519 mv:3474 misc:5399 fcode:1 bcode:1 mc-var:93313 var:820179 icount:59 skipcount:314 hbits:8;
in:246 out:246 type:2 q:2020 itex:2861 ptex:11391 mv:3925 misc:5663 fcode:1 bcode:1 mc-var:99067 var:822810 icount:62 skipcount:263 hbits:8;
in:247 out:247 type:2 q:2013 itex:2737 ptex:10699 mv:3768 misc:5436 fcode:1 bcode:1 mc-var:95820 var:825694 icount:58 skipcount:313 hbits:8;
in:248 out:248 type:2 q:2030 itex:3587 ptex:11957 mv:3091 misc:5333 fcode:1 bcode:1 mc-var:112416 var:824544 icount:62 skipcount:368 hbits:8;
in:249 out:249 type:2 q:2026 itex:3864 ptex:13296 mv:3173 misc:5443 fcode:1 bcode:1 mc-var:107571 var:821228 icount:76 skipcount:374 hbits:8;
in:250 out:250 type:1 q:1617 itex:136747 ptex:0 mv:0 misc:7185 fcode:1 bcode:1 mc-var:0 var:795137 icount:1200 skipcount:0 hbits:12;
in:251 out:251 type:2 q:2041 itex:7316 ptex:9836 mv:4281 misc:6519 fcode:1 bcode:1 mc-var:101290 var:792117 icount:179 skipcount:150 hbits:8;
in:252 out:252 type:2 q:2090 itex:3596 ptex:8663 mv:3351 misc:5110 fcode:1 bcode:1 mc-var:106834 var:794340 icount:76 skipcount:350 hbits:8;
in:253 out:253 type:2 q:2044 itex:3364 ptex:9026 mv:4002 misc:5472 fcode:1 bcode:1 mc-var:93562 var:788905 icount:72 skipcount:260 hbits:8;
in:254 out:254 type:2 q:2046 itex:4741 ptex:11730 mv:3992 misc:5857 fcode:1 bcode:1 mc-var:110780 var:796892 icount:89 skipcount:234 hbits:8;
in:255 out:255 type:2 q:2062 itex:4156 ptex:13191 mv:3317 misc:5520 fcode:1 bcode:1 mc-var:106624 var:781020 icount:79 skipcount:347 hbits:8;
in:256 out:256 type:2 q:2078 itex:4899 ptex:9488 mv:2507 misc:4730 fcode:1 bcode:1 mc-var:104706 var:777023 icount:75 skipcount:506 hbits:8;
in:257 out:257 type:2 q:2062 itex:4006 ptex:13118 mv:3047 misc:5181 fcode:1 bcode:1 mc-var:108352 var:773052 icount:70 skipcount:426 hbits:8;
in:258 out:258 type:2 q:2072 itex:2539 ptex:11462 mv:3041 misc:4902 fcode:1 bcode:1 mc-var:110698 var:782109 icount:53 skipcount:450 hbits:8;
in:259 out:259 type:2 q:2046 itex:2627 ptex:13829 mv:3461 misc:5371 fcode:1 bcode:1 mc-var:106388 var:801638 icount:49 skipcount:345 hbits:8;
in:260 out:260 type:2 q:2059 itex:2672 ptex:13642 mv:3483 misc:5435 fcode:1 bcode:1 mc-var:110400 var:820959 icount:51 skipcount:323 hbits:8;
in:261 out:261 type:2 q:2058 itex:2017 ptex:10477 mv:3749 misc:5293 fcode:1 bcode:1 mc-var:103009 var:816515 icount:40 skipcount:298 hbits:8;
in:262 out:262 type:2 q:2052 itex:2503 ptex:15239 mv:4242 misc:5856 fcode:1 bcode:1 mc-var:114108 var:860454 icount:59 skipcount:228 hbits:8;
in:263 out:263 type:2 q:2076 itex:2590 ptex:11709 mv:3237 misc:5160 fcode:1 bcode:1 mc-var:110507 var:865688 icount:57 skipcount:359 hbits:8;
in:264 out:264 type:2 q:2054 itex:1840 ptex:14848 mv:3093 misc:5291 fcode:1 bcode:1 mc-var:104373 var:872767 icount:39 skipcount:379 hbits:8;
in:265 out:265 type:2 q:2058 itex:1717 ptex:13562 mv:3102 misc:5091 fcode:1 bcode:1 mc-var:104974 var:884300 icount:28 skipcount:405 hbits:8;
in:266 out:266 type:2 q:2057 itex:2176 ptex:14087 mv:3581 misc:5500 fcode:1 bcode:1 mc-var:108325 var:880686 icount:41 skipcount:313 hbits:8;
in:267 out:267 type:2 q:2066 itex:1663 ptex:11180 mv:3105 misc:4884 fcode:1 bcode:1 mc-var:108741 var:879436 icount:35 skipcount:418 hbits:8;
in:268 out:268 type:2 q:2037 itex:2610 ptex:13855 mv:2968 misc:5327 fcode:1 bcode:1 mc-var:109761 var:879591 icount:48 skipcount:372 hbits:8;
in:269 out:269 type:2 q:2029 itex:1751 ptex:12768 mv:3052 misc:5149 fcode:1 bcode:1 mc-var:103772 var:870070 icount:38 skipcount:379 hbits:8;
in:270 out:270 type:2 q:2021 itex:1125 ptex:13519 mv:3126 misc:5062 fcode:1 bcode:1 mc-var:105723 var:867530 icount:23 skipcount:392 hbits:8;
in:271 out:271 type:2 q:2034 itex:1639 ptex:14522 mv:3664 misc:5431 fcode:1 bcode:1 mc-var:119973 var:868430 icount:34 skipcount:303 hbits:8;
in:272 out:272 type:2 q:2037 itex:3036 ptex:14430 mv:3386 misc:5428 fcode:1 bcode:1 mc-var:112793 var:860681 icount:61 skipcount:359 hbits:8;
in:273 out:273 type:2 q:2046 itex:3305 ptex:14341 mv:3592 misc:5410 fcode:1 bcode:1 mc-var:106316 var:858065 icount:61 skipcount:379 hbits:8;
in:274 out:274 type:2 q:2067 itex:4573 ptex:11464 mv:3072 misc:5027 fcode:1 bcode:1 mc-var:105730 var:857258 icount:81 skipcount:453 hbits:8;
in:275 out:275 type:2 q:2046 itex:3847 ptex:12511 mv:2939 misc:5215 fcode:1 bcode:1 mc-var:93988 var:860437 icount:74 skipcount:454 hbits:8;
in:276 out:276 type:2 q:2044 itex:2950 ptex:13006 mv:3131 misc:5081 fcode:1 bcode:1 mc-var:94392 var:870549 icount:53 skipcount:459 hbits:8;
in:277 out:277 type:2 q:2034 itex:3714 ptex:10626 mv:2757 misc:4879 fcode:1 bcode:1 mc-var:89565 var:871587 icount:70 skipcount:512 hbits:8;
in:278 out:278 type:2 q:2030 itex:3104 ptex:12099 mv:3187 misc:4994 fcode:1 bcode:1 mc-var:98734 var:871440 icount:64 skipcount:458 hbits:8;
in:279 out:279 type:2 q:2015 itex:3007 ptex:11453 mv:3180 misc:5056 fcode:1 bcode:1 mc-var:93801 var:868327 icount:62 skipcount:442 hbits:8;
in:280 out:280 type:2 q:2016 itex:2749 ptex:12507 mv:2981 misc:4971 fcode:1 bcode:1 mc-var:101049 var:861491 icount:48 skipcount:467 hbits:8;
in:281 out:281 type:2 q:2007 itex:3294 ptex:11091 mv:3342 misc:5105 fcode:1 bcode:1 mc-var:98824 var:851039 icount:59 skipcount:423 hbits:8;
in:282 out:282 type:2 q:2019 itex:3627 ptex:13206 mv:3661 misc:5450 fcode:1 bcode:1 mc-var:111588 var:846007 icount:63 skipcount:333 hbits:8;
in:283 out:283 type:2 q:2047 itex:3987 ptex:13041 mv:3286 misc:5246 fcode:1 bcode:1 mc-var:117030 var:846158 icount:68 skipcount:401 hbits:8;
in:284 out:284 type:2 q:2058 itex:2936 ptex:14123 mv:3628 misc:5497 fcode:1 bcode:1 mc-var:115039 var:845315 icount:61 skipcount:317 hbits:8;
in:285 out:285 type:2 q:2065 itex:3413 ptex:11989 mv:3091 misc:5227 fcode:1 bcode:1 mc-var:111200 var:845308 icount:68 skipcount:381 hbits:8;
in:286 out:286 type:2 q:2042 itex:3348 ptex:13787 mv:2937 misc:5200 fcode:1 bcode:1 mc-var:102030 var:849290 icount:65 skipcount:429 hbits:8;
in:287 out:287 type:2 q:2041 itex:2570 ptex:13085 mv:3362 misc:5071 fcode:1 bcode:1 mc-var:100611 var:835634 icount:46 skipcount:414 hbits:8;
in:288 out:288 type:2 q:2055 itex:3380 ptex:13872 mv:3431 misc:5461 fcode:1 bcode:1 mc-var:111189 var:842989 icount:74 skipcount:371 hbits:8;
in:289 out:289 type:2 q:2061 itex:2567 ptex:13714 mv:3534 misc:5241 fcode:1 bcode:1 mc-var:106508 var:849672 icount:53 skipcount:385 hbits:8;
in:290 out:290 type:2 q:2051 itex:2729 ptex:13581 mv:3315 misc:5183 fcode:1 bcode:1 mc-var:99545 var:850029 icount:57 skipcount:419 hbits:8;
in:291 out:291 type:2 q:2041 itex:2557 ptex:12550 mv:2779 misc:4930 fcode:1 bcode:1 mc-var:94675 var:861074 icount:55 skipcount:488 hbits:8;
in:292 out:292 type:2 q:2037 itex:2429 ptex:11470 mv:3214 misc:5079 fcode:1 bcode:1 mc-var:102499 var:864268 icount:57 skipcount:419 hbits:8;
in:293 out:293 type:2 q:2023 itex:3028 ptex:12995 mv:3703 misc:5410 fcode:1 bcode:1 mc-var:106525 var:870014 icount:65 skipcount:332 hbits:8;
in:294 out:294 type:2 q:2028 itex:2911 ptex:13853 mv:3216 misc:5188 fcode:1 bcode:1 mc-var:106110 var:875643 icount:64 skipcount:413 hbits:8;
in:295 out:295 type:2 q:2040 itex:2696 ptex:13224 mv:3334 misc:5258 fcode:1 bcode:1 mc-var:109090 var:877968 icount:64 skipcount:388 hbits:8;
in:296 out:296 type:2 q:2047 itex:2647 ptex:13735 mv:3271 misc:5267 fcode:1 bcode:1 mc-var:112236 var:854951 icount:57 skipcount:392 hbits:8;
in:297 out:297 type:2 q:2053 itex:3919 ptex:12963 mv:3055 misc:5231 fcode:1 bcode:1 mc-var:114870 var:844022 icount:69 skipcount:421 hbits:8;
in:298 out:298 type:2 q:2062 itex:3294 ptex:14192 mv:3141 misc:5109 fcode:1 bcode:1 mc-var:119362 var:851748 icount:57 skipcount:445 hbits:8;
in:299 out:299 type:2 q:2051 itex:4032 ptex:13055 mv:3120 misc:5073 fcode:1 bcode:1 mc-var:107473 var:863139 icount:63 skipcount:450 hbits:8;
in:300 out:300 type:2 q:2061 itex:2856 ptex:12869 mv:2815 misc:4844 fcode:1 bcode:1 mc-var:114086 var:862675 icount:49 skipcount:500 hbits:8;
in:301 out:301 type:2 q:2051 itex:3729 ptex:13783 mv:3211 misc:5189 fcode:1 bcode:1 mc-var:116248 var:839597 icount:60 skipcount:427 hbits:8;
in:302 out:302 type:2 q:2040 itex:3372 ptex:12206 mv:2828 misc:5018 fcode:1 bcode:1 mc-var:104969 var:814097 icount:62 skipcount:470 hbits:8;
in:303 out:303 type:2 q:2018 itex:2759 ptex:11802 mv:2695 misc:4744 fcode:1 bcode:1 mc-var:100374 var:816765 icount:46 skipcount:521 hbits:8;
in:304 out:304 type:2 q:1997 itex:2682 ptex:11855 mv:3260 misc:4955 fcode:1 bcode:1 mc-var:101988 var:817985 icount:46 skipcount:463 hbits:8;
in:305 out:305 type:2 q:1979 itex:1783 ptex:13222 mv:3062 misc:4917 fcode:1 bcode:1 mc-var:99577 var:832176 icount:38 skipcount:473 hbits:8;
in:306 out:306 type:2 q:1975 itex:1893 ptex:13135 mv:2945 misc:4891 fcode:1 bcode:1 mc-var:102240 var:846930 icount:42 skipcount:483 hbits:8;
in:307 out:307 type:2 q:1973 itex:2289 ptex:13297 mv:3096 misc:4966 fcode:1 bcode:1 mc-var:104367 var:849109 icount:43 skipcount:450 hbits:8;
in:308 out:308 type:2 q:1974 itex:2126 ptex:13228 mv:3114 misc:4892 fcode:1 bcode:1 mc-var:103818 var:847838 icount:33 skipcount:465 hbits:8;
in:309 out:309 type:2 q:1986 itex:2284 ptex:14173 mv:3041 misc:4942 fcode:1 bcode:1 mc-var:112125 var:866942 icount:40 skipcount:451 hbits:8;
in:310 out:310 type:2 q:1991 itex:2404 ptex:14538 mv:2971 misc:4951 fcode:1 bcode:1 mc-var:110077 var:885065 icount:43 skipcount:449 hbits:8;
in:311 out:311 type:2 q:1983 itex:2320 ptex:12855 mv:2710 misc:4691 fcode:1 bcode:1 mc-var:99160 var:893985 icount:37 skipcount:518 hbits:8;
in:312 out:312 type:2 q:1986 itex:2134 ptex:13629 mv:3244 misc:4873 fcode:1 bcode:1 mc-var:108778 var:901142 icount:37 skipcount:449 hbits:8;
in:313 out:313 type:2 q:1985 itex:3040 ptex:12515 mv:2820 misc:4697 fcode:1 bcode:1 mc-var:107613 var:898721 icount:42 skipcount:512 hbits:8;
in:314 out:314 type:2 q:1991 itex:1743 ptex:14878 mv:2848 misc:4715 fcode:1 bcode:1 mc-var:116048 var:901545 icount:30 skipcount:509 hbits:8;
in:315 out:315 type:2 q:1981 itex:1634 ptex:14009 mv:2795 misc:4786 fcode:1 bcode:1 mc-var:107466 var:900950 icount:30 skipcount:498 hbits:8;
in:316 out:316 type:2 q:1980 itex:1389 ptex:14609 mv:2867 misc:4655 fcode:1 bcode:1 mc-var:111670 var:892855 icount:23 skipcount:500 hbits:8;
in:317 out:317 type:2 q:1950 itex:1819 ptex:12201 mv:2586 misc:4666 fcode:1 bcode:1 mc-var:95251 var:899516 icount:35 skipcount:529 hbits:8;
in:318 out:318 type:2 q:1935 itex:1052 ptex:16412 mv:3093 misc:5051 fcode:1 bcode:1 mc-var:100743 var:912669 icount:21 skipcount:442 hbits:8;
in:319 out:319 type:2 q:1944 itex:1250 ptex:14938 mv:2829 misc:4943 fcode:1 bcode:1 mc-var:94068 var:916761 icount:21 skipcount:472 hbits:8;
in:320 out:320 type:2 q:1965 itex:1502 ptex:12561 mv:3142 misc:4811 fcode:1 bcode:1 mc-var:100611 var:919385 icount:30 skipcount:452 hbits:8;
in:321 out:321 type:2 q:1956 itex:2261 ptex:13429 mv:2829 misc:4793 fcode:1 bcode:1 mc-var:101431 var:919488 icount:40 skipcount:496 hbits:8;
in:322 out:322 type:2 q:1938 itex:2396 ptex:14369 mv:2669 misc:5006 fcode:1 bcode:1 mc-var:93235 var:912082 icount:41 skipcount:485 hbits:8;
in:323 out:323 type:2 q:1937 itex:2300 ptex:13519 mv:2672 misc:4989 fcode:1 bcode:1 mc-var:88333 var:901446 icount:46 skipcount:484 hbits:8;
in:324 out:324 type:2 q:1941 itex:2533 ptex:12138 mv:2608 misc:4993 fcode:1 bcode:1 mc-var:88924 var:883008 icount:46 skipcount:481 hbits:8;
in:325 out:325 type:2 q:1931 itex:2586 ptex:11564 mv:2517 misc:4781 fcode:1 bcode:1 mc-var:88142 var:856062 icount:50 skipcount:511 hbits:8;
in:326 out:326 type:2 q:1926 itex:2436 ptex:13669 mv:2741 misc:5034 fcode:1 bcode:1 mc-var:94762 var:855655 icount:50 skipcount:472 hbits:8;
in:327 out:327 type:2 q:1959 itex:2439 ptex:13171 mv:3111 misc:4983 fcode:1 bcode:1 mc-var:109998 var:858472 icount:46 skipcount:433 hbits:8;
in:328 out:328 type:2 q:1951 itex:2399 ptex:11833 mv:3206 misc:5058 fcode:1 bcode:1 mc-var:101764 var:848608 icount:48 skipcount:401 hbits:8;
in:329 out:329 type:2 q:1912 itex:2111 ptex:12871 mv:2503 misc:4859 fcode:1 bcode:1 mc-var:86584 var:839394 icount:40 skipcount:496 hbits:8;
in:330 out:330 type:2 q:1931 itex:2402 ptex:14648 mv:2997 misc:5233 fcode:1 bcode:1 mc-var:104212 var:834594 icount:49 skipcount:417 hbits:8;
in:331 out:331 type:2 q:1942 itex:2753 ptex:14691 mv:2767 misc:5109 fcode:1 bcode:1 mc-var:98308 var:837272 icount:50 skipcount:444 hbits:8;
in:332 out:332 type:2 q:1961 itex:1485 ptex:12684 mv:2863 misc:4792 fcode:1 bcode:1 mc-var:98706 var:834871 icount:33 skipcount:458 hbits:8;
in:333 out:333 type:2 q:1962 itex:2487 ptex:12456 mv:2866 misc:4951 fcode:1 bcode:1 mc-var:109064 var:831925 icount:43 skipcount:423 hbits:8;
in:334 out:334 type:2 q:1958 itex:2241 ptex:14536 mv:3051 misc:5012 fcode:1 bcode:1 mc-var:113491 var:842613 icount:37 skipcount:426 hbits:8;
in:335 out:335 type:2 q:1975 itex:2037 ptex:15234 mv:3224 misc:5249 fcode:1 bcode:1 mc-var:120135 var:847197 icount:45 skipcount:386 hbits:8;
in:336 out:336 type:2 q:1955 itex:1840 ptex:13032 mv:2616 misc:4856 fcode:1 bcode:1 mc-var:98410 var:860646 icount:41 skipcount:481 hbits:8;
in:337 out:337 type:2 q:1936 itex:2018 ptex:16197 mv:2745 misc:5168 fcode:1 bcode:1 mc-var:98149 var:866517 icount:41 skipcount:451 hbits:8;
in:338 out:338 type:2 q:1962 itex:1987 ptex:13350 mv:2832 misc:4871 fcode:1 bcode:1 mc-var:102605 var:872591 icount:42 skipcount:474 hbits:8;
in:339 out:339 type:2 q:1958 itex:1826 ptex:13919 mv:2938 misc:4949 fcode:1 bcode:1 mc-var:102628 var:881276 icount:37 skipcount:449 hbits:8;
in:340 out:340 type:2 q:1946 itex:2077 ptex:12150 mv:2737 misc:4820 fcode:1 bcode:1 mc-var:98504 var:874971 icount:36 skipcount:476 hbits:8;
in:341 out:341 type:2 q:1946 itex:1651 ptex:13563 mv:3225 misc:4961 fcode:1 bcode:1 mc-var:111539 var:874080 icount:36 skipcount:421 hbits:8;
in:342 out:342 type:2 q:1922 itex:1654 ptex:17539 mv:2996 misc:5275 fcode:1 bcode:1 mc-var:99396 var:879633 icount:35 skipcount:411 hbits:8;
in:343 out:343 type:2 q:1945 itex:969 ptex:12593 mv:2730 misc:4564 fcode:1 bcode:1 mc-var:95760 var:875528 icount:22 skipcount:511 hbits:8;
in:344 out:344 type:2 q:1934 itex:1150 ptex:16488 mv:2951 misc:4987 fcode:1 bcode:1 mc-var:102635 var:867745 icount:22 skipcount:460 hbits:8;
in:345 out:345 type:2 q:1943 itex:1652 ptex:16469 mv:2939 misc:5052 fcode:1 bcode:1 mc-var:99844 var:873422 icount:31 skipcount:455 hbits:8;
in:346 out:346 type:2 q:1964 itex:1179 ptex:12788 mv:2723 misc:4630 fcode:1 bcode:1 mc-var:100409 var:869869 icount:26 skipcount:504 hbits:8;
in:347 out:347 type:2 q:1927 itex:1291 ptex:14765 mv:2447 misc:4729 fcode:1 bcode:1 mc-var:92222 var:880387 icount:26 skipcount:521 hbits:8;
in:348 out:348 type:2 q:1914 itex:1611 ptex:13922 mv:2322 misc:4697 fcode:1 bcode:1 mc-var:91374 var:886897 icount:32 skipcount:526 hbits:8;
in:349 out:349 type:2 q:1903 itex:1492 ptex:13771 mv:2393 misc:4688 fcode:1 bcode:1 mc-var:91204 var:881898 icount:28 skipcount:529 hbits:8;
in:350 out:350 type:2 q:1894 itex:1736 ptex:13496 mv:2257 misc:4655 fcode:1 bcode:1 mc-var:91806 var:883102 icount:36 skipcount:536 hbits:8;
in:351 out:351 type:2 q:1883 itex:1762 ptex:13646 mv:2409 misc:4759 fcode:1 bcode:1 mc-var:91634 var:883868 icount:40 skipcount:519 hbits:8;
in:352 out:352 type:2 q:1875 itex:1946 ptex:13122 mv:2359 misc:4773 fcode:1 bcode:1 mc-var:90406 var:881579 icount:41 skipcount:515 hbits:8;
in:353 out:353 type:2 q:1870 itex:1530 ptex:12855 mv:2433 misc:4590 fcode:1 bcode:1 mc-var:91273 var:877346 icount:29 skipcount:537 hbits:8;
in:354 out:354 type:2 q:1864 itex:1583 ptex:13868 mv:2609 misc:4844 fcode:1 bcode:1 mc-var:95315 var:875842 icount:32 skipcount:486 hbits:8;
in:355 out:355 type:2 q:1873 itex:2253 ptex:15238 mv:2788 misc:5041 fcode:1 bcode:1 mc-var:99902 var:870320 icount:41 skipcount:448 hbits:8;
in:356 out:356 type:2 q:1894 itex:2966 ptex:13786 mv:2546 misc:4870 fcode:1 bcode:1 mc-var:98294 var:863287 icount:50 skipcount:495 hbits:8;
in:357 out:357 type:2 q:1896 itex:2349 ptex:13111 mv:2531 misc:4809 fcode:1 bcode:1 mc-var:92992 var:856333 icount:37 skipcount:505 hbits:8;
in:358 out:358 type:2 q:1890 itex:1829 ptex:13653 mv:2407 misc:4703 fcode:1 bcode:1 mc-var:92285 var:854688 icount:35 skipcount:523 hbits:8;
in:359 out:359 type:2 q:1878 itex:1509 ptex:12777 mv:2392 misc:4674 fcode:1 bcode:1 mc-var:90151 var:860719 icount:27 skipcount:536 hbits:8;
in:360 out:360 type:2 q:1852 itex:1261 ptex:12864 mv:2322 misc:4569 fcode:1 bcode:1 mc-var:86481 var:861520 icount:24 skipcount:552 hbits:8;
in:361 out:361 type:2 q:1822 itex:1993 ptex:14699 mv:2458 misc:5138 fcode:1 bcode:1 mc-var:81515 var:852216 icount:38 skipcount:481 hbits:8;
in:362 out:362 type:2 q:1839 itex:2500 ptex:11264 mv:2306 misc:4602 fcode:1 bcode:1 mc-var:82716 var:845555 icount:44 skipcount:557 hbits:8;
in:363 out:363 type:2 q:1832 itex:3215 ptex:11189 mv:2234 misc:4738 fcode:1 bcode:1 mc-var:85593 var:838612 icount:54 skipcount:543 hbits:8;
in:364 out:364 type:2 q:1829 itex:3014 ptex:11969 mv:2526 misc:4771 fcode:1 bcode:1 mc-var:89868 var:817952 icount:47 skipcount:522 hbits:8;
in:365 out:365 type:2 q:1815 itex:5020 ptex:12802 mv:2269 misc:5157 fcode:1 bcode:1 mc-var:83276 var:810429 icount:70 skipcount:495 hbits:8;
in:366 out:366 type:2 q:1842 itex:4285 ptex:11089 mv:2198 misc:4900 fcode:1 bcode:1 mc-var:83734 var:812113 icount:75 skipcount:528 hbits:8;
in:367 out:367 type:2 q:1849 itex:4402 ptex:10560 mv:2351 misc:4943 fcode:1 bcode:1 mc-var:85365 var:812422 icount:72 skipcount:500 hbits:8;
in:368 out:368 type:2 q:1843 itex:3583 ptex:10487 mv:2292 misc:4846 fcode:1 bcode:1 mc-var:84603 var:819999 icount:63 skipcount:520 hbits:8;
in:369 out:369 type:2 q:1835 itex:3058 ptex:11369 mv:2260 misc:4633 fcode:1 bcode:1 mc-var:88747 var:830060 icount:47 skipcount:540 hbits:8;
in:370 out:370 type:2 q:1835 itex:3344 ptex:11408 mv:2318 misc:4778 fcode:1 bcode:1 mc-var:96180 var:837750 icount:47 skipcount:513 hbits:8;
in:371 out:371 type:2 q:1809 itex:3077 ptex:13802 mv:2131 misc:5086 fcode:1 bcode:1 mc-var:86670 var:851367 icount:48 skipcount:495 hbits:8;
in:372 out:372 type:2 q:1823 itex:3053 ptex:14019 mv:2401 misc:5103 fcode:1 bcode:1 mc-var:87689 var:856027 icount:48 skipcount:480 hbits:8;
in:373 out:373 type:2 q:1832 itex:2270 ptex:10709 mv:2137 misc:4620 fcode:1 bcode:1 mc-var:81593 var:855274 icount:46 skipcount:548 hbits:8;
in:374 out:374 type:2 q:1814 itex:1811 ptex:14610 mv:2584 misc:5067 fcode:1 bcode:1 mc-var:86245 var:860371 icount:30 skipcount:464 hbits:8;
in:375 out:375 type:2 q:1823 itex:2467 ptex:13758 mv:2338 misc:5077 fcode:1 bcode:1 mc-var:85211 var:862373 icount:46 skipcount:470 hbits:8;
in:376 out:376 type:2 q:1849 itex:2407 ptex:12830 mv:2626 misc:4809 fcode:1 bcode:1 mc-var:92772 var:870160 icount:46 skipcount:488 hbits:8;
in:377 out:377 type:2 q:1842 itex:2227 ptex:12709 mv:2565 misc:4899 fcode:1 bcode:1 mc-var:88916 var:875519 icount:45 skipcount:491 hbits:8;
in:378 out:378 type:2 q:1843 itex:2163 ptex:14358 mv:2848 misc:5087 fcode:1 bcode:1 mc-var:93964 var:874083 icount:45 skipcount:429 hbits:8;
in:379 out:379 type:2 q:1844 itex:1654 ptex:13631 mv:2314 misc:4769 fcode:1 bcode:1 mc-var:88088 var:870208 icount:38 skipcount:518 hbits:8;
in:380 out:380 type:2 q:1848 itex:1822 ptex:15064 mv:2638 misc:4948 fcode:1 bcode:1 mc-var:94343 var:878117 icount:37 skipcount:463 hbits:8;
in:381 out:381 type:2 q:1844 itex:2047 ptex:12671 mv:2311 misc:4803 fcode:1 bcode:1 mc-var:86849 var:870758 icount:40 skipcount:523 hbits:8;
in:382 out:382 type:2 q:1835 itex:2244 ptex:13296 mv:2309 misc:4807 fcode:1 bcode:1 mc-var:89195 var:856859 icount:44 skipcount:523 hbits:8;
in:383 out:383 type:2 q:1831 itex:2474 ptex:13745 mv:2504 misc:4845 fcode:1 bcode:1 mc-var:90911 var:854241 icount:42 skipcount:500 hbits:8;
in:384 out:384 type:2 q:1864 itex:1464 ptex:15579 mv:3226 misc:5099 fcode:1 bcode:1 mc-var:107150 var:845530 icount:30 skipcount:410 hbits:8;
in:385 out:385 type:2 q:1857 itex:2057 ptex:14102 mv:2556 misc:4965 fcode:1 bcode:1 mc-var:91933 var:840300 icount:45 skipcount:495 hbits:8;
in:386 out:386 type:2 q:1859 itex:1948 ptex:13736 mv:2687 misc:4917 fcode:1 bcode:1 mc-var:94163 var:848709 icount:35 skipcount:478 hbits:8;
in:387 out:387 type:2 q:1852 itex:1707 ptex:13099 mv:2586 misc:4768 fcode:1 bcode:1 mc-var:92051 var:850640 icount:34 skipcount:515 hbits:8;
in:388 out:388 type:2 q:1843 itex:2418 ptex:13470 mv:2819 misc:4981 fcode:1 bcode:1 mc-var:95574 var:838507 icount:46 skipcount:469 hbits:8;
in:389 out:389 type:2 q:1859 itex:2549 ptex:13834 mv:3293 misc:5292 fcode:1 bcode:1 mc-var:104694 var:836425 icount:50 skipcount:387 hbits:8;
in:390 out:390 type:2 q:1864 itex:2812 ptex:15236 mv:3417 misc:5327 fcode:1 bcode:1 mc-var:100516 var:823965 icount:51 skipcount:392 hbits:8;
in:391 out:391 type:2 q:1901 itex:2515 ptex:16353 mv:3219 misc:5273 fcode:1 bcode:1 mc-var:107741 var:820968 icount:50 skipcount:417 hbits:8;
in:392 out:392 type:2 q:1920 itex:2663 ptex:14893 mv:3349 misc:5199 fcode:1 bcode:1 mc-var:102302 var:821805 icount:47 skipcount:417 hbits:8;
in:393 out:393 type:2 q:1931 itex:4042 ptex:14506 mv:3082 misc:5330 fcode:1 bcode:1 mc-var:102573 var:824595 icount:66 skipcount:427 hbits:8;
in:394 out:394 type:2 q:1949 itex:2775 ptex:12503 mv:3090 misc:4864 fcode:1 bcode:1 mc-var:104540 var:834313 icount:56 skipcount:491 hbits:8;
in:395 out:395 type:2 q:1912 itex:3180 ptex:13605 mv:3096 misc:5207 fcode:1 bcode:1 mc-var:93738 var:838323 icount:56 skipcount:455 hbits:8;
in:396 out:396 type:2 q:1906 itex:3638 ptex:13887 mv:3263 misc:5316 fcode:1 bcode:1 mc-var:94706 var:842083 icount:55 skipcount:413 hbits:8;
in:397 out:397 type:2 q:1911 itex:3087 ptex:13393 mv:3108 misc:5276 fcode:1 bcode:1 mc-var:93121 var:843670 icount:46 skipcount:425 hbits:8;
in:398 out:398 type:2 q:1920 itex:3729 ptex:13081 mv:3101 misc:5345 fcode:1 bcode:1 mc-var:98462 var:840903 icount:59 skipcount:423 hbits:8;
in:399 out:399 type:2 q:1918 itex:2494 ptex:13533 mv:2925 misc:5088 fcode:1 bcode:1 mc-var:96459 var:846458 icount:38 skipcount:447 hbits:8;
in:400 out:400 type:2 q:1897 itex:3466 ptex:12010 mv:2704 misc:5044 fcode:1 bcode:1 mc-var:91186 var:847813 icount:49 skipcount:469 hbits:8;
in:401 out:401 type:2 q:1876 itex:2870 ptex:11399 mv:2767 misc:5012 fcode:1 bcode:1 mc-var:89551 var:845320 icount:48 skipcount:454 hbits:8;
in:402 out:402 type:2 q:1852 itex:3057 ptex:12957 mv:2819 misc:5247 fcode:1 bcode:1 mc-var:90445 var:840889 icount:50 skipcount:432 hbits:8;
in:403 out:403 type:2 q:1867 itex:2683 ptex:13317 mv:3199 misc:5337 fcode:1 bcode:1 mc-var:100252 var:832672 icount:43 skipcount:379 hbits:8;
in:404 out:404 type:2 q:1857 itex:1818 ptex:13330 mv:2936 misc:5148 fcode:1 bcode:1 mc-var:91978 var:837112 icount:33 skipcount:415 hbits:8;
in:405 out:405 type:2 q:1842 itex:2050 ptex:12886 mv:3082 misc:5230 fcode:1 bcode:1 mc-var:88965 var:830964 icount:36 skipcount:404 hbits:8;
in:406 out:406 type:2 q:1828 itex:1768 ptex:12321 mv:2791 misc:4968 fcode:1 bcode:1 mc-var:85791 var:832811 icount:30 skipcount:448 hbits:8;
in:407 out:407 type:2 q:1807 itex:1917 ptex:15452 mv:2725 misc:5394 fcode:1 bcode:1 mc-var:84610 var:843249 icount:34 skipcount:410 hbits:8;
in:408 out:408 type:2 q:1825 itex:2506 ptex:15022 mv:2927 misc:5425 fcode:1 bcode:1 mc-var:85269 var:844983 icount:47 skipcount:408 hbits:8;
in:409 out:409 type:2 q:1838 itex:2080 ptex:10912 mv:2733 misc:4915 fcode:1 bcode:1 mc-var:80064 var:849546 icount:41 skipcount:460 hbits:8;
in:410 out:410 type:2 q:1821 itex:2653 ptex:14511 mv:2797 misc:5335 fcode:1 bcode:1 mc-var:84679 var:852074 icount:47 skipcount:420 hbits:8;
in:411 out:411 type:2 q:1828 itex:1815 ptex:11938 mv:2769 misc:4990 fcode:1 bcode:1 mc-var:81906 var:845568 icount:39 skipcount:453 hbits:8;
in:412 out:412 type:2 q:1830 itex:1830 ptex:13604 mv:3159 misc:5239 fcode:1 bcode:1 mc-var:92160 var:842727 icount:38 skipcount:400 hbits:8;
in:413 out:413 type:2 q:1845 itex:1306 ptex:14555 mv:3171 misc:5096 fcode:1 bcode:1 mc-var:100212 var:849958 icount:27 skipcount:394 hbits:8;
in:414 out:414 type:2 q:1836 itex:1656 ptex:14139 mv:3146 misc:5315 fcode:1 bcode:1 mc-var:93470 var:847709 icount:40 skipcount:382 hbits:8;
in:415 out:415 type:2 q:1831 itex:1924 ptex:13141 mv:2884 misc:4947 fcode:1 bcode:1 mc-var:90259 var:847908 icount:35 skipcount:451 hbits:8;
in:416 out:416 type:2 q:1810 itex:1843 ptex:15951 mv:3142 misc:5520 fcode:1 bcode:1 mc-var:84371 var:853439 icount:36 skipcount:376 hbits:8;
in:417 out:417 type:2 q:1836 itex:1949 ptex:12182 mv:2967 misc:5094 fcode:1 bcode:1 mc-var:86411 var:851961 icount:44 skipcount:426 hbits:8;
in:418 out:418 type:2 q:1811 itex:2452 ptex:14047 mv:2778 misc:5379 fcode:1 bcode:1 mc-var:79411 var:851597 icount:47 skipcount:424 hbits:8;
in:419 out:419 type:2 q:1831 itex:1688 ptex:13472 mv:3019 misc:5077 fcode:1 bcode:1 mc-var:86958 var:854201 icount:38 skipcount:432 hbits:8;
in:420 out:420 type:2 q:1818 itex:1624 ptex:15000 mv:2893 misc:5259 fcode:1 bcode:1 mc-var:81626 var:847976 icount:26 skipcount:420 hbits:8;
in:421 out:421 type:2 q:1820 itex:1963 ptex:13967 mv:2790 misc:5280 fcode:1 bcode:1 mc-var:79312 var:849635 icount:39 skipcount:420 hbits:8;
in:422 out:422 type:2 q:1821 itex:1457 ptex:13937 mv:2679 misc:5175 fcode:1 bcode:1 mc-var:78925 var:851925 icount:32 skipcount:436 hbits:8;
in:423 out:423 type:2 q:1839 itex:2074 ptex:13418 mv:2972 misc:5248 fcode:1 bcode:1 mc-var:90394 var:850654 icount:48 skipcount:397 hbits:8;
in:424 out:424 type:2 q:1810 itex:2419 ptex:13711 mv:2419 misc:5435 fcode:1 bcode:1 mc-var:76902 var:852715 icount:52 skipcount:416 hbits:8;
in:425 out:425 type:2 q:1800 itex:2373 ptex:11949 mv:2623 misc:5271 fcode:1 bcode:1 mc-var:73595 var:850170 icount:48 skipcount:425 hbits:8;
in:426 out:426 type:2 q:1805 itex:2185 ptex:13846 mv:2769 misc:5440 fcode:1 bcode:1 mc-var:82189 var:847715 icount:47 skipcount:390 hbits:8;
in:427 out:427 type:2 q:1825 itex:1842 ptex:15207 mv:2967 misc:5456 fcode:1 bcode:1 mc-var:89236 var:850589 icount:38 skipcount:364 hbits:8;
in:428 out:428 type:2 q:1814 itex:1730 ptex:12722 mv:2490 misc:5250 fcode:1 bcode:1 mc-var:76477 var:852167 icount:37 skipcount:430 hbits:8;
in:429 out:429 type:2 q:1798 itex:2199 ptex:12782 mv:2465 misc:5346 fcode:1 bcode:1 mc-var:77058 var:849266 icount:49 skipcount:420 hbits:8;
in:430 out:430 type:2 q:1787 itex:1301 ptex:12386 mv:2583 misc:5146 fcode:1 bcode:1 mc-var:76695 var:848623 icount:29 skipcount:418 hbits:8;
in:431 out:431 type:2 q:1783 itex:1757 ptex:14897 mv:2962 misc:5576 fcode:1 bcode:1 mc-var:84698 var:851101 icount:36 skipcount:343 hbits:8;
in:432 out:432 type:2 q:1793 itex:1876 ptex:14226 mv:2772 misc:5166 fcode:1 bcode:1 mc-var:82151 var:848850 icount:41 skipcount:428 hbits:8;
in:433 out:433 type:2 q:1798 itex:2031 ptex:13303 mv:2664 misc:5074 fcode:1 bcode:1 mc-var:81605 var:848178 icount:38 skipcount:454 hbits:8;
in:434 out:434 type:2 q:1822 itex:2773 ptex:15565 mv:3033 misc:5477 fcode:1 bcode:1 mc-var:96010 var:843702 icount:51 skipcount:373 hbits:8;
in:435 out:435 type:2 q:1830 itex:2643 ptex:12368 mv:2822 misc:5055 fcode:1 bcode:1 mc-var:86404 var:855116 icount:49 skipcount:448 hbits:8;
in:436 out:436 type:2 q:1835 itex:3541 ptex:13644 mv:2847 misc:5168 fcode:1 bcode:1 mc-var:95490 var:853189 icount:54 skipcount:425 hbits:8;
in:437 out:437 type:2 q:1820 itex:3745 ptex:12729 mv:2524 misc:5242 fcode:1 bcode:1 mc-var:84165 var:854631 icount:57 skipcount:441 hbits:8;
in:438 out:438 type:2 q:1812 itex:4117 ptex:13736 mv:2446 misc:5341 fcode:1 bcode:1 mc-var:82182 var:851771 icount:61 skipcount:443 hbits:8;
in:439 out:439 type:2 q:1833 itex:3101 ptex:10653 mv:2591 misc:4927 fcode:1 bcode:1 mc-var:86384 var:852300 icount:50 skipcount:482 hbits:8;
in:440 out:440 type:2 q:1802 itex:3275 ptex:13111 mv:2404 misc:5234 fcode:1 bcode:1 mc-var:83644 var:840838 icount:49 skipcount:460 hbits:8;
in:441 out:441 type:2 q:1817 itex:4892 ptex:13363 mv:2545 misc:5400 fcode:1 bcode:1 mc-var:94063 var:837093 icount:70 skipcount:437 hbits:8;
in:442 out:442 type:2 q:1829 itex:4525 ptex:11036 mv:2766 misc:5049 fcode:1 bcode:1 mc-var:90487 var:831234 icount:67 skipcount:453 hbits:8;
in:443 out:443 type:2 q:1823 itex:5297 ptex:12541 mv:2621 misc:5261 fcode:1 bcode:1 mc-var:91238 var:822250 icount:68 skipcount:453 hbits:8;
in:444 out:444 type:2 q:1861 itex:3659 ptex:13724 mv:3470 misc:5331 fcode:1 bcode:1 mc-var:107842 var:839858 icount:56 skipcount:369 hbits:8;
in:445 out:445 type:2 q:1842 itex:3770 ptex:12404 mv:2735 misc:4971 fcode:1 bcode:1 mc-var:88854 var:846151 icount:59 skipcount:482 hbits:8;
in:446 out:446 type:2 q:1825 itex:2635 ptex:14578 mv:2939 misc:5264 fcode:1 bcode:1 mc-var:86337 var:846703 icount:41 skipcount:436 hbits:8;
in:447 out:447 type:2 q:1854 itex:3306 ptex:13222 mv:3447 misc:5305 fcode:1 bcode:1 mc-var:99848 var:848056 icount:63 skipcount:384 hbits:8;
in:448 out:448 type:2 q:1842 itex:2602 ptex:12873 mv:3172 misc:5161 fcode:1 bcode:1 mc-var:90020 var:848059 icount:52 skipcount:437 hbits:8;
in:449 out:449 type:2 q:1844 itex:5026 ptex:12547 mv:2729 misc:5138 fcode:1 bcode:1 mc-var:97532 var:834156 icount:83 skipcount:470 hbits:8;
in:450 out:450 type:2 q:1856 itex:7003 ptex:11130 mv:2306 misc:5217 fcode:1 bcode:1 mc-var:102149 var:831083 icount:112 skipcount:490 hbits:8;
in:451 out:451 type:2 q:1862 itex:6551 ptex:11161 mv:2429 misc:5163 fcode:1 bcode:1 mc-var:102930 var:808638 icount:101 skipcount:476 hbits:8;
in:452 out:452 type:2 q:1853 itex:6731 ptex:10557 mv:2682 misc:5214 fcode:1 bcode:1 mc-var:97862 var:794076 icount:100 skipcount:443 hbits:8;
in:453 out:453 type:2 q:1875 itex:6153 ptex:12999 mv:3188 misc:5708 fcode:1 bcode:1 mc-var:112196 var:784471 icount:96 skipcount:335 hbits:8;
in:454 out:454 type:2 q:1867 itex:4108 ptex:13156 mv:2880 misc:5304 fcode:1 bcode:1 mc-var:94470 var:791739 icount:79 skipcount:440 hbits:8;
in:455 out:455 type:2 q:1862 itex:4283 ptex:12775 mv:2823 misc:5383 fcode:1 bcode:1 mc-var:93447 var:783301 icount:81 skipcount:404 hbits:8;
in:456 out:456 type:2 q:1847 itex:4670 ptex:11683 mv:2609 misc:5366 fcode:1 bcode:1 mc-var:87060 var:775797 icount:89 skipcount:426 hbits:8;
in:457 out:457 type:2 q:1832 itex:5243 ptex:10531 mv:2223 misc:5211 fcode:1 bcode:1 mc-var:84528 var:775754 icount:95 skipcount:479 hbits:8;
in:458 out:458 type:2 q:1833 itex:6662 ptex:11322 mv:2510 misc:5346 fcode:1 bcode:1 mc-var:93980 var:779756 icount:111 skipcount:431 hbits:8;
in:459 out:459 type:2 q:1880 itex:8794 ptex:11264 mv:2739 misc:5803 fcode:1 bcode:1 mc-var:117189 var:771936 icount:131 skipcount:341 hbits:8;
in:460 out:460 type:2 q:1891 itex:7996 ptex:9554 mv:2288 misc:5362 fcode:1 bcode:1 mc-var:105333 var:772575 icount:122 skipcount:461 hbits:8;
in:461 out:461 type:2 q:1870 itex:7490 ptex:11629 mv:2709 misc:5292 fcode:1 bcode:1 mc-var:96413 var:757582 icount:107 skipcount:448 hbits:8;
in:462 out:462 type:2 q:1876 itex:7267 ptex:10705 mv:2538 misc:5250 fcode:1 bcode:1 mc-var:96001 var:757553 icount:102 skipcount:468 hbits:8;
in:463 out:463 type:2 q:1915 itex:7221 ptex:13701 mv:3327 misc:5671 fcode:1 bcode:1 mc-var:119952 var:781485 icount:101 skipcount:346 hbits:8;
in:464 out:464 type:2 q:1942 itex:5784 ptex:15195 mv:3163 misc:5418 fcode:1 bcode:1 mc-var:116928 var:801568 icount:85 skipcount:406 hbits:8;
in:465 out:465 type:2 q:1958 itex:4201 ptex:12173 mv:2328 misc:4666 fcode:1 bcode:1 mc-var:113954 var:811339 icount:65 skipcount:552 hbits:8;
in:466 out:466 type:2 q:1916 itex:4546 ptex:13538 mv:2626 misc:5042 fcode:1 bcode:1 mc-var:107024 var:805088 icount:65 skipcount:491 hbits:8;
in:467 out:467 type:2 q:1891 itex:4661 ptex:12687 mv:2803 misc:5097 fcode:1 bcode:1 mc-var:101712 var:794212 icount:70 skipcount:475 hbits:8;
in:468 out:468 type:2 q:1869 itex:4144 ptex:13453 mv:2672 misc:5115 fcode:1 bcode:1 mc-var:96435 var:780908 icount:70 skipcount:479 hbits:8;
in:469 out:469 type:2 q:1860 itex:4636 ptex:12511 mv:2610 misc:5163 fcode:1 bcode:1 mc-var:95345 var:774567 icount:81 skipcount:481 hbits:8;
in:470 out:470 type:2 q:1877 itex:5540 ptex:13805 mv:3096 misc:5383 fcode:1 bcode:1 mc-var:109481 var:773504 icount:85 skipcount:416 hbits:8;
in:471 out:471 type:2 q:1894 itex:6044 ptex:12948 mv:2980 misc:5372 fcode:1 bcode:1 mc-var:108312 var:776043 icount:82 skipcount:422 hbits:8;
in:472 out:472 type:2 q:1899 itex:5595 ptex:13341 mv:2871 misc:5169 fcode:1 bcode:1 mc-var:104436 var:780904 icount:79 skipcount:454 hbits:8;
in:473 out:473 type:2 q:1900 itex:6529 ptex:12183 mv:2336 misc:5136 fcode:1 bcode:1 mc-var:101691 var:787680 icount:90 skipcount:492 hbits:8;
in:474 out:474 type:2 q:1931 itex:6276 ptex:14675 mv:2868 misc:5429 fcode:1 bcode:1 mc-var:122997 var:812460 icount:89 skipcount:418 hbits:8;
in:475 out:475 type:2 q:1920 itex:5425 ptex:12748 mv:2363 misc:5152 fcode:1 bcode:1 mc-var:102187 var:830227 icount:77 skipcount:479 hbits:8;
in:476 out:476 type:2 q:1908 itex:4645 ptex:11745 mv:1996 misc:4862 fcode:1 bcode:1 mc-var:101974 var:835036 icount:73 skipcount:541 hbits:8;
in:477 out:477 type:2 q:1901 itex:5224 ptex:10981 mv:2255 misc:4892 fcode:1 bcode:1 mc-var:116511 var:847217 icount:73 skipcount:509 hbits:8;
in:478 out:478 type:2 q:1849 itex:2768 ptex:13372 mv:2581 misc:4879 fcode:1 bcode:1 mc-var:100680 var:856615 icount:46 skipcount:500 hbits:8;
in:479 out:479 type:2 q:1811 itex:4061 ptex:15466 mv:2789 misc:5436 fcode:1 bcode:1 mc-var:93432 var:847464 icount:59 skipcount:417 hbits:8;
in:480 out:480 type:2 q:1842 itex:5616 ptex:11885 mv:2314 misc:4977 fcode:1 bcode:1 mc-var:99591 var:852956 icount:83 skipcount:493 hbits:8;
in:481 out:481 type:2 q:1839 itex:5660 ptex:12723 mv:2603 misc:5246 fcode:1 bcode:1 mc-var:95879 var:858141 icount:96 skipcount:455 hbits:8;
in:482 out:482 type:2 q:1857 itex:4844 ptex:13000 mv:2885 misc:5143 fcode:1 bcode:1 mc-var:101278 var:843778 icount:70 skipcount:440 hbits:8;
in:483 out:483 type:2 q:1850 itex:5882 ptex:11162 mv:2390 misc:5094 fcode:1 bcode:1 mc-var:93784 var:829449 icount:95 skipcount:490 hbits:8;
in:484 out:484 type:2 q:1839 itex:4322 ptex:12207 mv:2947 misc:5204 fcode:1 bcode:1 mc-var:92547 var:831916 icount:68 skipcount:441 hbits:8;
in:485 out:485 type:2 q:1844 itex:4104 ptex:12932 mv:2886 misc:5174 fcode:1 bcode:1 mc-var:98497 var:828861 icount:71 skipcount:464 hbits:8;
in:486 out:486 type:2 q:1843 itex:4413 ptex:13830 mv:3091 misc:5386 fcode:1 bcode:1 mc-var:98437 var:815547 icount:73 skipcount:425 hbits:8;
in:487 out:487 type:2 q:1852 itex:4368 ptex:13175 mv:2924 misc:5309 fcode:1 bcode:1 mc-var:96793 var:796426 icount:72 skipcount:426 hbits:8;
in:488 out:488 type:2 q:1857 itex:4881 ptex:12760 mv:2807 misc:5264 fcode:1 bcode:1 mc-var:97696 var:774651 icount:78 skipcount:454 hbits:8;
in:489 out:489 type:2 q:1870 itex:5655 ptex:13037 mv:2807 misc:5197 fcode:1 bcode:1 mc-var:103999 var:786572 icount:78 skipcount:451 hbits:8;
in:490 out:490 type:2 q:1887 itex:5551 ptex:13582 mv:2849 misc:5114 fcode:1 bcode:1 mc-var:108978 var:798243 icount:72 skipcount:476 hbits:8;
in:491 out:491 type:2 q:1903 itex:7492 ptex:13447 mv:2835 misc:5410 fcode:1 bcode:1 mc-var:112933 var:797416 icount:103 skipcount:429 hbits:8;
in:492 out:492 type:2 q:1909 itex:6409 ptex:14142 mv:2840 misc:5377 fcode:1 bcode:1 mc-var:103120 var:807132 icount:95 skipcount:440 hbits:8;
in:493 out:493 type:2 q:1933 itex:5258 ptex:14895 mv:3237 misc:5474 fcode:1 bcode:1 mc-var:107443 var:815958 icount:85 skipcount:413 hbits:8;
in:494 out:494 type:2 q:1925 itex:5082 ptex:12614 mv:2744 misc:5256 fcode:1 bcode:1 mc-var:93705 var:806434 icount:87 skipcount:459 hbits:8;
in:495 out:495 type:2 q:1910 itex:4239 ptex:12577 mv:2514 misc:5094 fcode:1 bcode:1 mc-var:92791 var:817234 icount:70 skipcount:480 hbits:8;
in:496 out:496 type:2 q:1901 itex:4453 ptex:14154 mv:3129 misc:5640 fcode:1 bcode:1 mc-var:100151 var:821186 icount:84 skipcount:366 hbits:8;
in:497 out:497 type:2 q:1896 itex:3943 ptex:13380 mv:3285 misc:5504 fcode:1 bcode:1 mc-var:95235 var:814299 icount:75 skipcount:381 hbits:8;
in:498 out:498 type:2 q:1888 itex:3550 ptex:12729 mv:2658 misc:5319 fcode:1 bcode:1 mc-var:92861 var:823989 icount:70 skipcount:437 hbits:8;
in:499 out:499 type:2 q:1876 itex:4992 ptex:11489 mv:2661 misc:5250 fcode:1 bcode:1 mc-var:96085 var:819324 icount:83 skipcount:448 hbits:8;
in:500 out:500 type:1 q:1490 itex:149349 ptex:0 mv:0 misc:7087 fcode:1 bcode:1 mc-var:0 var:821607 icount:1200 skipcount:0 hbits:12;
in:501 out:501 type:2 q:1893 itex:12326 ptex:12519 mv:3678 misc:7109 fcode:1 bcode:1 mc-var:106914 var:830053 icount:245 skipcount:169 hbits:8;
in:502 out:502 type:2 q:1970 itex:7831 ptex:9548 mv:3397 misc:5472 fcode:1 bcode:1 mc-var:104115 var:820106 icount:120 skipcount:349 hbits:8;
in:503 out:503 type:2 q:1991 itex:4884 ptex:11597 mv:3448 misc:5151 fcode:1 bcode:1 mc-var:112126 var:823567 icount:75 skipcount:382 hbits:8;
in:504 out:504 type:2 q:1985 itex:3806 ptex:13245 mv:3534 misc:5303 fcode:1 bcode:1 mc-var:118227 var:836283 icount:63 skipcount:359 hbits:8;
in:505 out:505 type:2 q:1950 itex:3844 ptex:12022 mv:2973 misc:4921 fcode:1 bcode:1 mc-var:104119 var:836049 icount:64 skipcount:477 hbits:8;
in:506 out:506 type:2 q:1920 itex:3426 ptex:15874 mv:3292 misc:5328 fcode:1 bcode:1 mc-var:104232 var:831221 icount:57 skipcount:428 hbits:8;
in:507 out:507 type:2 q:1938 itex:2809 ptex:15762 mv:3483 misc:5426 fcode:1 bcode:1 mc-var:109286 var:840515 icount:56 skipcount:382 hbits:8;
in:508 out:508 type:2 q:1968 itex:3872 ptex:13530 mv:3683 misc:5291 fcode:1 bcode:1 mc-var:120792 var:850730 icount:60 skipcount:368 hbits:8;
in:509 out:509 type:2 q:1952 itex:5608 ptex:11751 mv:3408 misc:5105 fcode:1 bcode:1 mc-var:109392 var:836635 icount:76 skipcount:429 hbits:8;
in:510 out:510 type:2 q:1943 itex:7173 ptex:14341 mv:3709 misc:5705 fcode:1 bcode:1 mc-var:110124 var:855103 icount:99 skipcount:355 hbits:8;
in:511 out:511 type:2 q:1989 itex:7616 ptex:12791 mv:3311 misc:5490 fcode:1 bcode:1 mc-var:118866 var:848830 icount:118 skipcount:391 hbits:8;
in:512 out:512 type:2 q:1998 itex:8657 ptex:11364 mv:2973 misc:5686 fcode:1 bcode:1 mc-var:110959 var:833231 icount:151 skipcount:388 hbits:8;
in:513 out:513 type:2 q:2002 itex:9105 ptex:10815 mv:2666 misc:5462 fcode:1 bcode:1 mc-var:107941 var:810348 icount:149 skipcount:443 hbits:8;
in:514 out:514 type:2 q:1996 itex:8119 ptex:11132 mv:2935 misc:5462 fcode:1 bcode:1 mc-var:102614 var:813058 icount:136 skipcount:430 hbits:8;
in:515 out:515 type:2 q:2030 itex:7713 ptex:12251 mv:3161 misc:5379 fcode:1 bcode:1 mc-var:126051 var:821867 icount:118 skipcount:418 hbits:8;
in:516 out:516 type:2 q:2034 itex:7602 ptex:10913 mv:2834 misc:5267 fcode:1 bcode:1 mc-var:124082 var:829270 icount:115 skipcount:459 hbits:8;
in:517 out:517 type:2 q:2021 itex:6650 ptex:12085 mv:3085 misc:5180 fcode:1 bcode:1 mc-var:124945 var:830316 icount:115 skipcount:458 hbits:8;
in:518 out:518 type:2 q:2003 itex:7111 ptex:11919 mv:3049 misc:5321 fcode:1 bcode:1 mc-var:120868 var:813599 icount:126 skipcount:456 hbits:8;
in:519 out:519 type:2 q:1990 itex:7077 ptex:9953 mv:2750 misc:5004 fcode:1 bcode:1 mc-var:116163 var:806302 icount:107 skipcount:500 hbits:8;
in:520 out:520 type:2 q:1949 itex:5638 ptex:11234 mv:2936 misc:4904 fcode:1 bcode:1 mc-var:104813 var:786726 icount:98 skipcount:518 hbits:8;
in:521 out:521 type:2 q:1958 itex:5273 ptex:12173 mv:3326 misc:5116 fcode:1 bcode:1 mc-var:126011 var:759024 icount:93 skipcount:446 hbits:8;
in:522 out:522 type:2 q:1933 itex:6079 ptex:14613 mv:3500 misc:5648 fcode:1 bcode:1 mc-var:111730 var:710816 icount:103 skipcount:386 hbits:8;
in:523 out:523 type:2 q:1970 itex:5542 ptex:11936 mv:3636 misc:5382 fcode:1 bcode:1 mc-var:120040 var:692010 icount:102 skipcount:369 hbits:8;
in:524 out:524 type:2 q:1956 itex:5109 ptex:9832 mv:3137 misc:4930 fcode:1 bcode:1 mc-var:108199 var:674705 icount:92 skipcount:487 hbits:8;
in:525 out:525 type:2 q:1909 itex:5080 ptex:13810 mv:3206 misc:5376 fcode:1 bcode:1 mc-var:99006 var:672120 icount:92 skipcount:452 hbits:8;
in:526 out:526 type:2 q:1920 itex:6328 ptex:12883 mv:3554 misc:5531 fcode:1 bcode:1 mc-var:101456 var:661257 icount:111 skipcount:412 hbits:8;
in:527 out:527 type:2 q:1965 itex:8058 ptex:10317 mv:3123 misc:5102 fcode:1 bcode:1 mc-var:115688 var:665522 icount:133 skipcount:496 hbits:8;
in:528 out:528 type:2 q:1977 itex:7536 ptex:11230 mv:3216 misc:5138 fcode:1 bcode:1 mc-var:118556 var:693506 icount:121 skipcount:473 hbits:8;
in:529 out:529 type:2 q:1978 itex:8027 ptex:12050 mv:3437 misc:5422 fcode:1 bcode:1 mc-var:118054 var:702631 icount:126 skipcount:412 hbits:8;
in:530 out:530 type:2 q:1982 itex:10343 ptex:11107 mv:2785 misc:5501 fcode:1 bcode:1 mc-var:111463 var:696905 icount:173 skipcount:476 hbits:8;
in:531 out:531 type:2 q:2006 itex:7782 ptex:11634 mv:3442 misc:5326 fcode:1 bcode:1 mc-var:114050 var:706257 icount:121 skipcount:430 hbits:8;
in:532 out:532 type:2 q:2012 itex:10789 ptex:11661 mv:2996 misc:5538 fcode:1 bcode:1 mc-var:113068 var:720925 icount:162 skipcount:449 hbits:8;
in:533 out:533 type:2 q:2023 itex:10461 ptex:10313 mv:2764 misc:5270 fcode:1 bcode:1 mc-var:105581 var:726089 icount:153 skipcount:501 hbits:8;
in:534 out:534 type:2 q:2037 itex:10632 ptex:11377 mv:2954 misc:5645 fcode:1 bcode:1 mc-var:110089 var:728414 icount:170 skipcount:418 hbits:8;
in:535 out:535 type:2 q:2058 itex:10018 ptex:11634 mv:2886 misc:5462 fcode:1 bcode:1 mc-var:112332 var:740021 icount:158 skipcount:465 hbits:8;
in:536 out:536 type:2 q:2084 itex:7927 ptex:10602 mv:3305 misc:5422 fcode:1 bcode:1 mc-var:123071 var:740628 icount:136 skipcount:401 hbits:8;
in:537 out:537 type:2 q:2057 itex:6834 ptex:12461 mv:3059 misc:5174 fcode:1 bcode:1 mc-var:112798 var:762294 icount:105 skipcount:479 hbits:8;
in:538 out:538 type:2 q:2030 itex:5988 ptex:11653 mv:3093 misc:5034 fcode:1 bcode:1 mc-var:105461 var:767813 icount:98 skipcount:492 hbits:8;
in:539 out:539 type:2 q:2010 itex:5710 ptex:11833 mv:3211 misc:5166 fcode:1 bcode:1 mc-var:108617 var:759190 icount:97 skipcount:446 hbits:8;
in:540 out:540 type:2 q:1997 itex:6136 ptex:11529 mv:2913 misc:5238 fcode:1 bcode:1 mc-var:111691 var:758076 icount:100 skipcount:457 hbits:8;
in:541 out:541 type:2 q:1963 itex:4543 ptex:11448 mv:3083 misc:4982 fcode:1 bcode:1 mc-var:99758 var:744748 icount:87 skipcount:489 hbits:8;
in:542 out:542 type:2 q:1930 itex:4894 ptex:13787 mv:2982 misc:5369 fcode:1 bcode:1 mc-var:96662 var:755283 icount:79 skipcount:448 hbits:8;
in:543 out:543 type:2 q:1978 itex:3827 ptex:13403 mv:3627 misc:5127 fcode:1 bcode:1 mc-var:124472 var:763777 icount:71 skipcount:414 hbits:8;
in:544 out:544 type:2 q:1955 itex:4079 ptex:12484 mv:3122 misc:4987 fcode:1 bcode:1 mc-var:107115 var:749828 icount:77 skipcount:483 hbits:8;
in:545 out:545 type:2 q:1938 itex:4252 ptex:16230 mv:3123 misc:5427 fcode:1 bcode:1 mc-var:108293 var:766053 icount:80 skipcount:444 hbits:8;
in:546 out:546 type:2 q:1952 itex:3861 ptex:12206 mv:3023 misc:4910 fcode:1 bcode:1 mc-var:103904 var:771965 icount:72 skipcount:495 hbits:8;
in:547 out:547 type:2 q:1956 itex:3221 ptex:13476 mv:3592 misc:5183 fcode:1 bcode:1 mc-var:116938 var:771702 icount:64 skipcount:393 hbits:8;
in:548 out:548 type:2 q:1938 itex:3815 ptex:16602 mv:3282 misc:5293 fcode:1 bcode:1 mc-var:109283 var:777710 icount:58 skipcount:433 hbits:8;
in:549 out:549 type:2 q:1964 itex:3933 ptex:13450 mv:3072 misc:5073 fcode:1 bcode:1 mc-var:113039 var:792586 icount:76 skipcount:455 hbits:8;
in:550 out:550 type:2 q:1951 itex:4235 ptex:11892 mv:2814 misc:4731 fcode:1 bcode:1 mc-var:106797 var:804800 icount:58 skipcount:520 hbits:8;
in:551 out:551 type:2 q:1957 itex:4153 ptex:14299 mv:3336 misc:5164 fcode:1 bcode:1 mc-var:127332 var:814393 icount:63 skipcount:414 hbits:8;
in:552 out:552 type:2 q:1946 itex:3742 ptex:12270 mv:2753 misc:4819 fcode:1 bcode:1 mc-var:115698 var:815381 icount:60 skipcount:501 hbits:8;
in:553 out:553 type:2 q:1921 itex:3305 ptex:17141 mv:3165 misc:5373 fcode:1 bcode:1 mc-var:114617 var:823442 icount:57 skipcount:404 hbits:8;
in:554 out:554 type:2 q:1929 itex:3436 ptex:16406 mv:2778 misc:5156 fcode:1 bcode:1 mc-var:105596 var:821275 icount:65 skipcount:475 hbits:8;
in:555 out:555 type:2 q:1971 itex:3000 ptex:13751 mv:2982 misc:5019 fcode:1 bcode:1 mc-var:121586 var:813272 icount:57 skipcount:449 hbits:8;
in:556 out:556 type:2 q:1951 itex:2310 ptex:14080 mv:2865 misc:4897 fcode:1 bcode:1 mc-var:112774 var:832289 icount:45 skipcount:484 hbits:8;
in:557 out:557 type:2 q:1922 itex:2434 ptex:14777 mv:2349 misc:4896 fcode:1 bcode:1 mc-var:107893 var:851244 icount:45 skipcount:516 hbits:8;
in:558 out:558 type:2 q:1917 itex:2353 ptex:14536 mv:2469 misc:4834 fcode:1 bcode:1 mc-var:114813 var:846867 icount:37 skipcount:507 hbits:8;
in:559 out:559 type:2 q:1911 itex:2164 ptex:14543 mv:2732 misc:4769 fcode:1 bcode:1 mc-var:119040 var:837776 icount:33 skipcount:510 hbits:8;
in:560 out:560 type:2 q:1877 itex:3663 ptex:14021 mv:2730 misc:4890 fcode:1 bcode:1 mc-var:104397 var:820065 icount:59 skipcount:501 hbits:8;
in:561 out:561 type:2 q:1876 itex:2244 ptex:15851 mv:3076 misc:4893 fcode:1 bcode:1 mc-var:104367 var:820502 icount:32 skipcount:466 hbits:8;
in:562 out:562 type:2 q:1889 itex:2434 ptex:16146 mv:3053 misc:5055 fcode:1 bcode:1 mc-var:105442 var:815810 icount:44 skipcount:455 hbits:8;
in:563 out:563 type:2 q:1902 itex:1929 ptex:15997 mv:3258 misc:5088 fcode:1 bcode:1 mc-var:103103 var:802188 icount:40 skipcount:430 hbits:8;
in:564 out:564 type:2 q:1908 itex:3511 ptex:15743 mv:2975 misc:5179 fcode:1 bcode:1 mc-var:100431 var:799475 icount:65 skipcount:450 hbits:8;
in:565 out:565 type:2 q:1922 itex:2812 ptex:14934 mv:2938 misc:5060 fcode:1 bcode:1 mc-var:98402 var:798049 icount:55 skipcount:474 hbits:8;
in:566 out:566 type:2 q:1935 itex:2786 ptex:16495 mv:3084 misc:5251 fcode:1 bcode:1 mc-var:104225 var:805327 icount:59 skipcount:443 hbits:8;
in:567 out:567 type:2 q:1956 itex:2849 ptex:13160 mv:2937 misc:4782 fcode:1 bcode:1 mc-var:107667 var:814798 icount:56 skipcount:512 hbits:8;
in:568 out:568 type:2 q:1939 itex:2661 ptex:15191 mv:3042 misc:4954 fcode:1 bcode:1 mc-var:108741 var:820974 icount:51 skipcount:499 hbits:8;
in:569 out:569 type:2 q:1922 itex:3122 ptex:14936 mv:2978 misc:4868 fcode:1 bcode:1 mc-var:101686 var:816265 icount:52 skipcount:509 hbits:8;
in:570 out:570 type:2 q:1925 itex:3874 ptex:15378 mv:3116 misc:5136 fcode:1 bcode:1 mc-var:104666 var:801464 icount:62 skipcount:470 hbits:8;
in:571 out:571 type:2 q:1956 itex:5824 ptex:12913 mv:2905 misc:5038 fcode:1 bcode:1 mc-var:115906 var:792250 icount:91 skipcount:493 hbits:8;
in:572 out:572 type:2 q:1963 itex:5667 ptex:13742 mv:3027 misc:5100 fcode:1 bcode:1 mc-var:115472 var:800073 icount:94 skipcount:487 hbits:8;
in:573 out:573 type:2 q:1986 itex:6021 ptex:14909 mv:3372 misc:5290 fcode:1 bcode:1 mc-var:126532 var:804985 icount:98 skipcount:425 hbits:8;
in:574 out:574 type:2 q:1986 itex:6226 ptex:12169 mv:2757 misc:5008 fcode:1 bcode:1 mc-var:111140 var:796838 icount:104 skipcount:520 hbits:8;
in:575 out:575 type:2 q:1962 itex:6612 ptex:11776 mv:2808 misc:5180 fcode:1 bcode:1 mc-var:101606 var:787301 icount:116 skipcount:487 hbits:8;
in:576 out:576 type:2 q:1968 itex:7274 ptex:11059 mv:2825 misc:5274 fcode:1 bcode:1 mc-var:109765 var:764173 icount:130 skipcount:486 hbits:8;
in:577 out:577 type:2 q:1960 itex:8844 ptex:10859 mv:2362 misc:5287 fcode:1 bcode:1 mc-var:105851 var:752923 icount:155 skipcount:512 hbits:8;
in:578 out:578 type:2 q:1973 itex:10853 ptex:10241 mv:2270 misc:5460 fcode:1 bcode:1 mc-var:111248 var:744739 icount:185 skipcount:487 hbits:8;
in:579 out:579 type:2 q:1987 itex:11282 ptex:10292 mv:2839 misc:5755 fcode:1 bcode:1 mc-var:109419 var:729148 icount:182 skipcount:399 hbits:8;
in:580 out:580 type:2 q:2031 itex:12655 ptex:10945 mv:2626 misc:5910 fcode:1 bcode:1 mc-var:122414 var:737922 icount:214 skipcount:420 hbits:8;
in:581 out:581 type:2 q:2064 itex:11449 ptex:9877 mv:2601 misc:5417 fcode:1 bcode:1 mc-var:121027 var:739807 icount:183 skipcount:464 hbits:8;
in:582 out:582 type:2 q:2099 itex:11213 ptex:10044 mv:2552 misc:5167 fcode:1 bcode:1 mc-var:141921 var:738720 icount:156 skipcount:517 hbits:8;
in:583 out:583 type:2 q:2077 itex:10606 ptex:9875 mv:2665 misc:5390 fcode:1 bcode:1 mc-var:125479 var:714402 icount:168 skipcount:479 hbits:8;
in:584 out:584 type:2 q:2067 itex:9156 ptex:9299 mv:2625 misc:5120 fcode:1 bcode:1 mc-var:126543 var:713124 icount:144 skipcount:506 hbits:8;
in:585 out:585 type:2 q:2064 itex:10580 ptex:10477 mv:2566 misc:5321 fcode:1 bcode:1 mc-var:143516 var:718786 icount:173 skipcount:501 hbits:8;
in:586 out:586 type:2 q:2039 itex:10909 ptex:11899 mv:2803 misc:5405 fcode:1 bcode:1 mc-var:125345 var:738947 icount:154 skipcount:473 hbits:8;
in:587 out:587 type:2 q:2063 itex:8781 ptex:10231 mv:2719 misc:5133 fcode:1 bcode:1 mc-var:132520 var:754324 icount:145 skipcount:515 hbits:8;
in:588 out:588 type:2 q:2043 itex:7888 ptex:12134 mv:2765 misc:5317 fcode:1 bcode:1 mc-var:125895 var:730611 icount:128 skipcount:486 hbits:8;
in:589 out:589 type:2 q:2021 itex:8202 ptex:10738 mv:2889 misc:5091 fcode:1 bcode:1 mc-var:114972 var:737610 icount:122 skipcount:505 hbits:8;
in:590 out:590 type:2 q:2006 itex:8201 ptex:10412 mv:2651 misc:5120 fcode:1 bcode:1 mc-var:112910 var:738246 icount:136 skipcount:518 hbits:8;
in:591 out:591 type:2 q:1990 itex:7295 ptex:10167 mv:2740 misc:5206 fcode:1 bcode:1 mc-var:109946 var:733400 icount:120 skipcount:474 hbits:8;
in:592 out:592 type:2 q:1955 itex:6386 ptex:9527 mv:2805 misc:5074 fcode:1 bcode:1 mc-var:98343 var:728928 icount:109 skipcount:476 hbits:8;
in:593 out:593 type:2 q:1944 itex:8321 ptex:14103 mv:3314 misc:5822 fcode:1 bcode:1 mc-var:108105 var:735347 icount:128 skipcount:366 hbits:8;
in:594 out:594 type:2 q:1960 itex:5761 ptex:9835 mv:2746 misc:5002 fcode:1 bcode:1 mc-var:93981 var:739573 icount:97 skipcount:480 hbits:8;
in:595 out:595 type:2 q:1935 itex:5359 ptex:13260 mv:2897 misc:5380 fcode:1 bcode:1 mc-var:91707 var:749855 icount:95 skipcount:447 hbits:8;
in:596 out:596 type:2 q:1949 itex:3616 ptex:11281 mv:2989 misc:4970 fcode:1 bcode:1 mc-var:96859 var:765271 icount:73 skipcount:464 hbits:8;
in:597 out:597 type:2 q:1924 itex:4470 ptex:12825 mv:2859 misc:5454 fcode:1 bcode:1 mc-var:96302 var:768853 icount:85 skipcount:427 hbits:8;
in:598 out:598 type:2 q:1920 itex:3996 ptex:13348 mv:2922 misc:5398 fcode:1 bcode:1 mc-var:96147 var:770876 icount:74 skipcount:411 hbits:8;
in:599 out:599 type:2 q:1926 itex:3090 ptex:13794 mv:2994 misc:5186 fcode:1 bcode:1 mc-var:99196 var:788469 icount:56 skipcount:436 hbits:8;
in:600 out:600 type:2 q:1920 itex:3260 ptex:13225 mv:3232 misc:5323 fcode:1 bcode:1 mc-var:97207 var:790671 icount:66 skipcount:393 hbits:8;
in:601 out:601 type:2 q:1905 itex:2797 ptex:12730 mv:3006 misc:5171 fcode:1 bcode:1 mc-var:91935 var:794426 icount:53 skipcount:428 hbits:8;
in:602 out:602 type:2 q:1910 itex:2412 ptex:15019 mv:3586 misc:5559 fcode:1 bcode:1 mc-var:103303 var:805986 icount:53 skipcount:330 hbits:8;
in:603 out:603 type:2 q:1896 itex:2109 ptex:12933 mv:3059 misc:5099 fcode:1 bcode:1 mc-var:89050 var:814708 icount:41 skipcount:436 hbits:8;
in:604 out:604 type:2 q:1906 itex:2207 ptex:14780 mv:3451 misc:5418 fcode:1 bcode:1 mc-var:104378 var:823979 icount:46 skipcount:363 hbits:8;
in:605 out:605 type:2 q:1914 itex:1784 ptex:15882 mv:3609 misc:5397 fcode:1 bcode:1 mc-var:104754 var:846860 icount:34 skipcount:355 hbits:8;
in:606 out:606 type:2 q:1919 itex:2350 ptex:15694 mv:3236 misc:5416 fcode:1 bcode:1 mc-var:100789 var:853130 icount:50 skipcount:388 hbits:8;
in:607 out:607 type:2 q:1908 itex:1724 ptex:12527 mv:2803 misc:5114 fcode:1 bcode:1 mc-var:88836 var:863450 icount:37 skipcount:444 hbits:8;
in:608 out:608 type:2 q:1873 itex:1610 ptex:11748 mv:2685 misc:4957 fcode:1 bcode:1 mc-var:85873 var:866895 icount:37 skipcount:453 hbits:8;
in:609 out:609 type:2 q:1837 itex:2412 ptex:12450 mv:2633 misc:5089 fcode:1 bcode:1 mc-var:87175 var:864112 icount:49 skipcount:460 hbits:8;
in:610 out:610 type:2 q:1845 itex:2293 ptex:15116 mv:3139 misc:5340 fcode:1 bcode:1 mc-var:101436 var:862319 icount:46 skipcount:404 hbits:8;
in:611 out:611 type:2 q:1852 itex:3200 ptex:12421 mv:2930 misc:5225 fcode:1 bcode:1 mc-var:95310 var:865224 icount:63 skipcount:433 hbits:8;
in:612 out:612 type:2 q:1851 itex:3071 ptex:13075 mv:2857 misc:5133 fcode:1 bcode:1 mc-var:95532 var:862125 icount:55 skipcount:452 hbits:8;
in:613 out:613 type:2 q:1848 itex:3358 ptex:13284 mv:2966 misc:5304 fcode:1 bcode:1 mc-var:94312 var:861135 icount:63 skipcount:436 hbits:8;
in:614 out:614 type:2 q:1849 itex:3585 ptex:12272 mv:2877 misc:5266 fcode:1 bcode:1 mc-var:91577 var:855525 icount:65 skipcount:432 hbits:8;
in:615 out:615 type:2 q:1853 itex:4193 ptex:11681 mv:2647 misc:5135 fcode:1 bcode:1 mc-var:94095 var:844198 icount:67 skipcount:461 hbits:8;
in:616 out:616 type:2 q:1847 itex:4385 ptex:12885 mv:2553 misc:5305 fcode:1 bcode:1 mc-var:93190 var:844027 icount:74 skipcount:459 hbits:8;
in:617 out:617 type:2 q:1856 itex:3323 ptex:13780 mv:2798 misc:5243 fcode:1 bcode:1 mc-var:94472 var:845736 icount:60 skipcount:451 hbits:8;
in:618 out:618 type:2 q:1869 itex:2662 ptex:13053 mv:2918 misc:5175 fcode:1 bcode:1 mc-var:96570 var:846838 icount:49 skipcount:457 hbits:8;
in:619 out:619 type:2 q:1871 itex:3012 ptex:13834 mv:2882 misc:5280 fcode:1 bcode:1 mc-var:100404 var:855527 icount:59 skipcount:429 hbits:8;
in:620 out:620 type:2 q:1877 itex:3873 ptex:14086 mv:2863 misc:5258 fcode:1 bcode:1 mc-var:102416 var:857503 icount:63 skipcount:441 hbits:8;
in:621 out:621 type:2 q:1883 itex:3831 ptex:12480 mv:2577 misc:5040 fcode:1 bcode:1 mc-var:99482 var:862497 icount:60 skipcount:471 hbits:8;
in:622 out:622 type:2 q:1880 itex:4343 ptex:13206 mv:2866 misc:5201 fcode:1 bcode:1 mc-var:102686 var:872863 icount:71 skipcount:433 hbits:8;
in:623 out:623 type:2 q:1889 itex:4589 ptex:14537 mv:3193 misc:5529 fcode:1 bcode:1 mc-var:105217 var:878850 icount:72 skipcount:374 hbits:8;
in:624 out:624 type:2 q:1912 itex:5180 ptex:14093 mv:2962 misc:5493 fcode:1 bcode:1 mc-var:104673 var:880438 icount:81 skipcount:395 hbits:8;
in:625 out:625 type:2 q:1920 itex:4390 ptex:12916 mv:2906 misc:5204 fcode:1 bcode:1 mc-var:97712 var:875693 icount:66 skipcount:441 hbits:8;
in:626 out:626 type:2 q:1911 itex:2302 ptex:13032 mv:2886 misc:4996 fcode:1 bcode:1 mc-var:93883 var:873321 icount:41 skipcount:468 hbits:8;
in:627 out:627 type:2 q:1880 itex:1951 ptex:12973 mv:3031 misc:5101 fcode:1 bcode:1 mc-var:89219 var:859895 icount:37 skipcount:440 hbits:8;
in:628 out:628 type:2 q:1855 itex:1750 ptex:12903 mv:2770 misc:4993 fcode:1 bcode:1 mc-var:88613 var:866928 icount:31 skipcount:468 hbits:8;
in:629 out:629 type:2 q:1836 itex:2554 ptex:12892 mv:2892 misc:5110 fcode:1 bcode:1 mc-var:90881 var:883038 icount:46 skipcount:448 hbits:8;
in:630 out:630 type:2 q:1833 itex:2901 ptex:12768 mv:2937 misc:4970 fcode:1 bcode:1 mc-var:94484 var:884930 icount:46 skipcount:474 hbits:8;
in:631 out:631 type:2 q:1836 itex:3064 ptex:13470 mv:2770 misc:5088 fcode:1 bcode:1 mc-var:98962 var:894249 icount:52 skipcount:460 hbits:8;
in:632 out:632 type:2 q:1835 itex:4543 ptex:12454 mv:2807 misc:5164 fcode:1 bcode:1 mc-var:96923 var:895315 icount:69 skipcount:450 hbits:8;
in:633 out:633 type:2 q:1839 itex:4959 ptex:12266 mv:2641 misc:5206 fcode:1 bcode:1 mc-var:95600 var:881458 icount:77 skipcount:448 hbits:8;
in:634 out:634 type:2 q:1854 itex:5398 ptex:13277 mv:2823 misc:5430 fcode:1 bcode:1 mc-var:99471 var:883816 icount:84 skipcount:395 hbits:8;
in:635 out:635 type:2 q:1866 itex:5159 ptex:12484 mv:2501 misc:5320 fcode:1 bcode:1 mc-var:93811 var:887065 icount:83 skipcount:433 hbits:8;
in:636 out:636 type:2 q:1870 itex:4504 ptex:12907 mv:2738 misc:5379 fcode:1 bcode:1 mc-var:91975 var:885328 icount:80 skipcount:421 hbits:8;
in:637 out:637 type:2 q:1882 itex:4152 ptex:13151 mv:2662 misc:5235 fcode:1 bcode:1 mc-var:95933 var:889587 icount:69 skipcount:434 hbits:8;
in:638 out:638 type:2 q:1886 itex:4133 ptex:12431 mv:2623 misc:5157 fcode:1 bcode:1 mc-var:96686 var:894564 icount:62 skipcount:441 hbits:8;
in:639 out:639 type:2 q:1896 itex:5235 ptex:12704 mv:2462 misc:5303 fcode:1 bcode:1 mc-var:107163 var:900346 icount:81 skipcount:432 hbits:8;
in:640 out:640 type:2 q:1907 itex:5267 ptex:12063 mv:2484 misc:5210 fcode:1 bcode:1 mc-var:112928 var:906500 icount:71 skipcount:445 hbits:8;
in:641 out:641 type:2 q:1906 itex:5727 ptex:13142 mv:2851 misc:5408 fcode:1 bcode:1 mc-var:115239 var:913219 icount:72 skipcount:403 hbits:8;
in:642 out:642 type:2 q:1935 itex:5506 ptex:14442 mv:2890 misc:5250 fcode:1 bcode:1 mc-var:128247 var:917888 icount:65 skipcount:426 hbits:8;
in:643 out:643 type:2 q:1937 itex:6829 ptex:12808 mv:2345 misc:5154 fcode:1 bcode:1 mc-var:117340 var:932580 icount:81 skipcount:477 hbits:8;
in:644 out:644 type:2 q:1959 itex:5591 ptex:12581 mv:2700 misc:5064 fcode:1 bcode:1 mc-var:129873 var:958109 icount:88 skipcount:473 hbits:8;
in:645 out:645 type:2 q:1944 itex:5669 ptex:16226 mv:3030 misc:5627 fcode:1 bcode:1 mc-var:122190 var:940244 icount:87 skipcount:380 hbits:8;
in:646 out:646 type:2 q:1947 itex:4654 ptex:12173 mv:2664 misc:5157 fcode:1 bcode:1 mc-var:107216 var:934591 icount:86 skipcount:457 hbits:8;
in:647 out:647 type:2 q:1950 itex:5663 ptex:12864 mv:2680 misc:5081 fcode:1 bcode:1 mc-var:120319 var:914524 icount:105 skipcount:496 hbits:8;
in:648 out:648 type:2 q:1938 itex:6512 ptex:14240 mv:2671 misc:5481 fcode:1 bcode:1 mc-var:114748 var:895219 icount:107 skipcount:441 hbits:8;
in:649 out:649 type:2 q:1955 itex:6377 ptex:12469 mv:2984 misc:5338 fcode:1 bcode:1 mc-var:115732 var:889145 icount:104 skipcount:422 hbits:8;
in:650 out:650 type:2 q:1967 itex:5905 ptex:12556 mv:3269 misc:5542 fcode:1 bcode:1 mc-var:120594 var:881667 icount:104 skipcount:360 hbits:8;
in:651 out:651 type:2 q:1983 itex:4580 ptex:15717 mv:3651 misc:5700 fcode:1 bcode:1 mc-var:130435 var:872936 icount:91 skipcount:322 hbits:8;
in:652 out:652 type:2 q:1976 itex:5295 ptex:14065 mv:2975 misc:5337 fcode:1 bcode:1 mc-var:113409 var:870497 icount:104 skipcount:431 hbits:8;
in:653 out:653 type:2 q:1992 itex:6715 ptex:13261 mv:3490 misc:5678 fcode:1 bcode:1 mc-var:124427 var:863033 icount:114 skipcount:335 hbits:8;
in:654 out:654 type:2 q:2002 itex:6862 ptex:11273 mv:3221 misc:5548 fcode:1 bcode:1 mc-var:122468 var:855345 icount:110 skipcount:346 hbits:8;
in:655 out:655 type:2 q:1964 itex:7555 ptex:9803 mv:3668 misc:5862 fcode:1 bcode:1 mc-var:102171 var:846124 icount:123 skipcount:261 hbits:8;
in:656 out:656 type:2 q:1966 itex:7863 ptex:8650 mv:4095 misc:6120 fcode:1 bcode:1 mc-var:109179 var:826018 icount:140 skipcount:194 hbits:8;
in:657 out:657 type:2 q:1960 itex:7979 ptex:8090 mv:4085 misc:6070 fcode:1 bcode:1 mc-var:107527 var:814891 icount:143 skipcount:210 hbits:8;
in:658 out:658 type:2 q:1970 itex:7993 ptex:10982 mv:5192 misc:6545 fcode:1 bcode:1 mc-var:119197 var:733226 icount:167 skipcount:145 hbits:8;
in:659 out:659 type:2 q:1964 itex:9138 ptex:8148 mv:5113 misc:6529 fcode:1 bcode:1 mc-var:98304 var:722785 icount:184 skipcount:139 hbits:8;
in:660 out:660 type:2 q:1974 itex:6748 ptex:9214 mv:5323 misc:6427 fcode:1 bcode:1 mc-var:96778 var:738988 icount:153 skipcount:134 hbits:8;
in:661 out:661 type:2 q:1987 itex:5660 ptex:12209 mv:4892 misc:6263 fcode:1 bcode:1 mc-var:101117 var:773083 icount:122 skipcount:166 hbits:8;
in:662 out:662 type:2 q:2005 itex:4247 ptex:11760 mv:4679 misc:6122 fcode:1 bcode:1 mc-var:104093 var:783910 icount:100 skipcount:192 hbits:8;
in:663 out:663 type:2 q:2011 itex:4527 ptex:14476 mv:4599 misc:6030 fcode:1 bcode:1 mc-var:111564 var:781074 icount:95 skipcount:234 hbits:8;
in:664 out:664 type:2 q:2040 itex:5643 ptex:14634 mv:3956 misc:6111 fcode:1 bcode:1 mc-var:123478 var:786738 icount:115 skipcount:251 hbits:8;
in:665 out:665 type:2 q:2062 itex:7291 ptex:14177 mv:3932 misc:6224 fcode:1 bcode:1 mc-var:128576 var:790992 icount:131 skipcount:242 hbits:8;
in:666 out:666 type:2 q:2089 itex:7095 ptex:9341 mv:3547 misc:5745 fcode:1 bcode:1 mc-var:134683 var:777443 icount:119 skipcount:300 hbits:8;
in:667 out:667 type:2 q:2057 itex:8337 ptex:12671 mv:4045 misc:6099 fcode:1 bcode:1 mc-var:130880 var:784942 icount:125 skipcount:238 hbits:8;
in:668 out:668 type:2 q:2062 itex:5362 ptex:14715 mv:4195 misc:5912 fcode:1 bcode:1 mc-var:129416 var:801422 icount:93 skipcount:262 hbits:8;
in:669 out:669 type:2 q:2057 itex:5068 ptex:14957 mv:3993 misc:5870 fcode:1 bcode:1 mc-var:121927 var:804822 icount:90 skipcount:310 hbits:8;
in:670 out:670 type:2 q:2071 itex:3887 ptex:12849 mv:4007 misc:5425 fcode:1 bcode:1 mc-var:129147 var:804531 icount:76 skipcount:349 hbits:8;
in:671 out:671 type:2 q:2056 itex:4920 ptex:16794 mv:3710 misc:5616 fcode:1 bcode:1 mc-var:135064 var:818448 icount:72 skipcount:359 hbits:8;
in:672 out:672 type:2 q:2046 itex:5199 ptex:15122 mv:3521 misc:5526 fcode:1 bcode:1 mc-var:120417 var:819778 icount:83 skipcount:380 hbits:8;
in:673 out:673 type:2 q:2041 itex:5343 ptex:13998 mv:3319 misc:5380 fcode:1 bcode:1 mc-var:115839 var:816906 icount:90 skipcount:408 hbits:8;
in:674 out:674 type:2 q:2064 itex:5642 ptex:14462 mv:3627 misc:5717 fcode:1 bcode:1 mc-var:137207 var:815846 icount:112 skipcount:324 hbits:8;
in:675 out:675 type:2 q:2053 itex:5746 ptex:16405 mv:3263 misc:5722 fcode:1 bcode:1 mc-var:124780 var:806114 icount:112 skipcount:366 hbits:8;
in:676 out:676 type:2 q:2059 itex:5394 ptex:15981 mv:3417 misc:5824 fcode:1 bcode:1 mc-var:119782 var:799357 icount:104 skipcount:319 hbits:8;
in:677 out:677 type:2 q:2077 itex:5831 ptex:13422 mv:2977 misc:5426 fcode:1 bcode:1 mc-var:124092 var:799852 icount:111 skipcount:407 hbits:8;
in:678 out:678 type:2 q:2076 itex:5769 ptex:11972 mv:3506 misc:5561 fcode:1 bcode:1 mc-var:130703 var:788747 icount:108 skipcount:339 hbits:8;
in:679 out:679 type:2 q:2043 itex:5304 ptex:15248 mv:3940 misc:5924 fcode:1 bcode:1 mc-var:120651 var:784197 icount:104 skipcount:272 hbits:8;
in:680 out:680 type:2 q:2047 itex:4805 ptex:14846 mv:3989 misc:5944 fcode:1 bcode:1 mc-var:119220 var:781640 icount:107 skipcount:277 hbits:8;
in:681 out:681 type:2 q:2058 itex:4894 ptex:15008 mv:3943 misc:6155 fcode:1 bcode:1 mc-var:121819 var:772259 icount:115 skipcount:245 hbits:8;
in:682 out:682 type:2 q:2054 itex:6055 ptex:11846 mv:4249 misc:6090 fcode:1 bcode:1 mc-var:112517 var:770707 icount:124 skipcount:241 hbits:8;
in:683 out:683 type:2 q:2048 itex:6510 ptex:11584 mv:4264 misc:6106 fcode:1 bcode:1 mc-var:111821 var:769192 icount:132 skipcount:219 hbits:8;
in:684 out:684 type:2 q:2040 itex:6975 ptex:12221 mv:4239 misc:6205 fcode:1 bcode:1 mc-var:108275 var:755172 icount:133 skipcount:235 hbits:8;
in:685 out:685 type:2 q:2056 itex:6496 ptex:13029 mv:4217 misc:6106 fcode:1 bcode:1 mc-var:113250 var:755154 icount:129 skipcount:231 hbits:8;
in:686 out:686 type:2 q:2058 itex:6112 ptex:12364 mv:4271 misc:5997 fcode:1 bcode:1 mc-var:108178 var:752619 icount:121 skipcount:228 hbits:8;
in:687 out:687 type:2 q:2058 itex:6514 ptex:12339 mv:4377 misc:6170 fcode:1 bcode:1 mc-var:107755 var:750411 icount:132 skipcount:223 hbits:8;
in:688 out:688 type:2 q:2067 itex:8019 ptex:9413 mv:4669 misc:6083 fcode:1 bcode:1 mc-var:110873 var:688588 icount:150 skipcount:201 hbits:8;
in:689 out:689 type:2 q:2084 itex:7046 ptex:14417 mv:4703 misc:6122 fcode:1 bcode:1 mc-var:125618 var:723001 icount:134 skipcount:228 hbits:8;
in:690 out:690 type:2 q:2108 itex:5861 ptex:13254 mv:4230 misc:5943 fcode:1 bcode:1 mc-var:126297 var:735170 icount:114 skipcount:262 hbits:8;
in:691 out:691 type:2 q:2100 itex:4863 ptex:13053 mv:4172 misc:5728 fcode:1 bcode:1 mc-var:121265 var:735381 icount:90 skipcount:295 hbits:8;
in:692 out:692 type:2 q:2083 itex:4882 ptex:11240 mv:4200 misc:5774 fcode:1 bcode:1 mc-var:120205 var:724780 icount:93 skipcount:258 hbits:8;
in:693 out:693 type:2 q:2058 itex:4963 ptex:14201 mv:4109 misc:5887 fcode:1 bcode:1 mc-var:121946 var:740718 icount:86 skipcount:274 hbits:8;
in:694 out:694 type:2 q:2044 itex:5128 ptex:10634 mv:4211 misc:5907 fcode:1 bcode:1 mc-var:112416 var:747420 icount:102 skipcount:232 hbits:8;
in:695 out:695 type:2 q:2002 itex:6174 ptex:9819 mv:4080 misc:5927 fcode:1 bcode:1 mc-var:99296 var:765083 icount:122 skipcount:248 hbits:8;
in:696 out:696 type:2 q:1976 itex:6881 ptex:9374 mv:4351 misc:6170 fcode:1 bcode:1 mc-var:93930 var:764335 icount:137 skipcount:214 hbits:8;
in:697 out:697 type:2 q:1979 itex:7662 ptex:9565 mv:4414 misc:6191 fcode:1 bcode:1 mc-var:97389 var:770982 icount:159 skipcount:209 hbits:8;
in:698 out:698 type:2 q:1999 itex:7102 ptex:9882 mv:4206 misc:6202 fcode:1 bcode:1 mc-var:102539 var:777404 icount:149 skipcount:218 hbits:8;
in:699 out:699 type:2 q:2007 itex:6226 ptex:9941 mv:4316 misc:6133 fcode:1 bcode:1 mc-var:103353 var:776465 icount:137 skipcount:215 hbits:8;
in:700 out:700 type:2 q:1989 itex:5413 ptex:9342 mv:4311 misc:5982 fcode:1 bcode:1 mc-var:94807 var:776382 icount:117 skipcount:227 hbits:8;
in:701 out:701 type:2 q:1992 itex:6239 ptex:11533 mv:4240 misc:6036 fcode:1 bcode:1 mc-var:106909 var:785128 icount:129 skipcount:225 hbits:8;
in:702 out:702 type:2 q:1993 itex:6706 ptex:10505 mv:4204 misc:6169 fcode:1 bcode:1 mc-var:101257 var:797448 icount:140 skipcount:234 hbits:8;
in:703 out:703 type:2 q:1997 itex:6020 ptex:10853 mv:4159 misc:6128 fcode:1 bcode:1 mc-var:100166 var:803878 icount:130 skipcount:225 hbits:8;
in:704 out:704 type:2 q:1990 itex:5572 ptex:10281 mv:4199 misc:6084 fcode:1 bcode:1 mc-var:95102 var:792954 icount:126 skipcount:221 hbits:8;
in:705 out:705 type:2 q:2005 itex:6135 ptex:10772 mv:3866 misc:6035 fcode:1 bcode:1 mc-var:107716 var:792664 icount:127 skipcount:252 hbits:8;
in:706 out:706 type:2 q:2019 itex:6596 ptex:13317 mv:4179 misc:6076 fcode:1 bcode:1 mc-var:116504 var:810770 icount:122 skipcount:242 hbits:8;
in:707 out:707 type:2 q:2052 itex:6661 ptex:13607 mv:4055 misc:6061 fcode:1 bcode:1 mc-var:123473 var:813336 icount:123 skipcount:263 hbits:8;
in:708 out:708 type:2 q:2048 itex:5742 ptex:11960 mv:4031 misc:6051 fcode:1 bcode:1 mc-var:106991 var:801905 icount:115 skipcount:255 hbits:8;
in:709 out:709 type:2 q:2052 itex:4440 ptex:15237 mv:4004 misc:6103 fcode:1 bcode:1 mc-var:111615 var:808401 icount:100 skipcount:257 hbits:8;
in:710 out:710 type:2 q:2062 itex:5652 ptex:12943 mv:3782 misc:5831 fcode:1 bcode:1 mc-var:110988 var:800724 icount:99 skipcount:290 hbits:8;
in:711 out:711 type:2 q:2087 itex:7590 ptex:11606 mv:3522 misc:5762 fcode:1 bcode:1 mc-var:128346 var:821698 icount:119 skipcount:304 hbits:8;
in:712 out:712 type:2 q:2098 itex:6909 ptex:11981 mv:3452 misc:5546 fcode:1 bcode:1 mc-var:136811 var:848993 icount:103 skipcount:340 hbits:8;
in:713 out:713 type:2 q:2079 itex:6686 ptex:11149 mv:4121 misc:5892 fcode:1 bcode:1 mc-var:129177 var:845455 icount:109 skipcount:240 hbits:8;
in:714 out:714 type:2 q:2067 itex:6748 ptex:12571 mv:4208 misc:6137 fcode:1 bcode:1 mc-var:129352 var:859698 icount:120 skipcount:213 hbits:8;
in:715 out:715 type:2 q:2074 itex:7629 ptex:14167 mv:3040 misc:5932 fcode:1 bcode:1 mc-var:130554 var:882560 icount:138 skipcount:354 hbits:8;
in:716 out:716 type:2 q:2086 itex:9327 ptex:11630 mv:3383 misc:6172 fcode:1 bcode:1 mc-var:127427 var:872877 icount:161 skipcount:283 hbits:8;
in:717 out:717 type:2 q:2084 itex:7748 ptex:11434 mv:4033 misc:6161 fcode:1 bcode:1 mc-var:117196 var:880296 icount:137 skipcount:237 hbits:8;
in:718 out:718 type:2 q:2082 itex:6555 ptex:11468 mv:4060 misc:6053 fcode:1 bcode:1 mc-var:113852 var:891871 icount:125 skipcount:250 hbits:8;
in:719 out:719 type:2 q:2072 itex:6595 ptex:11994 mv:3767 misc:6196 fcode:1 bcode:1 mc-var:111084 var:898788 icount:133 skipcount:248 hbits:8;
in:720 out:720 type:2 q:2078 itex:5901 ptex:10892 mv:3114 misc:5813 fcode:1 bcode:1 mc-var:116338 var:898029 icount:119 skipcount:317 hbits:8;
in:721 out:721 type:2 q:2065 itex:5297 ptex:12049 mv:3815 misc:5855 fcode:1 bcode:1 mc-var:122001 var:897315 icount:104 skipcount:247 hbits:8;
in:722 out:722 type:2 q:2028 itex:4515 ptex:13993 mv:2895 misc:5477 fcode:1 bcode:1 mc-var:105452 var:904304 icount:81 skipcount:413 hbits:8;
in:723 out:723 type:2 q:2025 itex:3913 ptex:14808 mv:3249 misc:5366 fcode:1 bcode:1 mc-var:110770 var:905991 icount:69 skipcount:403 hbits:8;
in:724 out:724 type:2 q:2052 itex:4718 ptex:15582 mv:3259 misc:5441 fcode:1 bcode:1 mc-var:129275 var:908959 icount:77 skipcount:394 hbits:8;
in:725 out:725 type:2 q:2076 itex:6203 ptex:13297 mv:3340 misc:5504 fcode:1 bcode:1 mc-var:138076 var:924456 icount:110 skipcount:382 hbits:8;
in:726 out:726 type:2 q:2084 itex:5714 ptex:14033 mv:3529 misc:5620 fcode:1 bcode:1 mc-var:141779 var:921326 icount:94 skipcount:337 hbits:8;
in:727 out:727 type:2 q:2078 itex:5550 ptex:14899 mv:3579 misc:5716 fcode:1 bcode:1 mc-var:135135 var:912263 icount:98 skipcount:337 hbits:8;
in:728 out:728 type:2 q:2068 itex:4875 ptex:14256 mv:3816 misc:5725 fcode:1 bcode:1 mc-var:122541 var:911718 icount:94 skipcount:321 hbits:8;
in:729 out:729 type:2 q:2057 itex:5089 ptex:15207 mv:3290 misc:5534 fcode:1 bcode:1 mc-var:114391 var:915615 icount:87 skipcount:415 hbits:8;
in:730 out:730 type:2 q:2074 itex:4705 ptex:14372 mv:3369 misc:5378 fcode:1 bcode:1 mc-var:121428 var:910343 icount:91 skipcount:431 hbits:8;
in:731 out:731 type:2 q:2071 itex:3001 ptex:13336 mv:3287 misc:5032 fcode:1 bcode:1 mc-var:119942 var:902746 icount:53 skipcount:469 hbits:8;
in:732 out:732 type:2 q:2062 itex:4493 ptex:17356 mv:3774 misc:5561 fcode:1 bcode:1 mc-var:134967 var:903055 icount:65 skipcount:380 hbits:8;
in:733 out:733 type:2 q:2063 itex:4341 ptex:12486 mv:3307 misc:5114 fcode:1 bcode:1 mc-var:119909 var:905921 icount:66 skipcount:453 hbits:8;
in:734 out:734 type:2 q:2050 itex:5114 ptex:15447 mv:3673 misc:5566 fcode:1 bcode:1 mc-var:126013 var:906493 icount:75 skipcount:379 hbits:8;
in:735 out:735 type:2 q:2056 itex:5317 ptex:15423 mv:3618 misc:5626 fcode:1 bcode:1 mc-var:121399 var:906031 icount:78 skipcount:381 hbits:8;
in:736 out:736 type:2 q:2072 itex:5701 ptex:12311 mv:3176 misc:5300 fcode:1 bcode:1 mc-var:120828 var:909199 icount:93 skipcount:425 hbits:8;
in:737 out:737 type:2 q:2070 itex:4690 ptex:13444 mv:3689 misc:5401 fcode:1 bcode:1 mc-var:126232 var:918034 icount:76 skipcount:372 hbits:8;
in:738 out:738 type:2 q:2034 itex:4399 ptex:13910 mv:3350 misc:5525 fcode:1 bcode:1 mc-var:106808 var:914260 icount:78 skipcount:388 hbits:8;
in:739 out:739 type:2 q:2029 itex:5131 ptex:13170 mv:3377 misc:5562 fcode:1 bcode:1 mc-var:108469 var:900437 icount:86 skipcount:367 hbits:8;
in:740 out:740 type:2 q:2044 itex:5490 ptex:13818 mv:3617 misc:5947 fcode:1 bcode:1 mc-var:118371 var:894568 icount:105 skipcount:279 hbits:8;
in:741 out:741 type:2 q:2036 itex:6283 ptex:12804 mv:3083 misc:5518 fcode:1 bcode:1 mc-var:104184 var:896825 icount:109 skipcount:406 hbits:8;
in:742 out:742 type:2 q:2037 itex:6693 ptex:13118 mv:3203 misc:5586 fcode:1 bcode:1 mc-var:103860 var:900002 icount:112 skipcount:379 hbits:8;
in:743 out:743 type:2 q:2063 itex:6132 ptex:11470 mv:3387 misc:5555 fcode:1 bcode:1 mc-var:114007 var:901658 icount:116 skipcount:351 hbits:8;
in:744 out:744 type:2 q:2054 itex:7747 ptex:13939 mv:3267 misc:5727 fcode:1 bcode:1 mc-var:111314 var:909683 icount:124 skipcount:371 hbits:8;
in:745 out:745 type:2 q:2079 itex:6827 ptex:11231 mv:3315 misc:5491 fcode:1 bcode:1 mc-var:114528 var:908867 icount:111 skipcount:370 hbits:8;
in:746 out:746 type:2 q:2075 itex:4539 ptex:13290 mv:3609 misc:5322 fcode:1 bcode:1 mc-var:115147 var:909286 icount:79 skipcount:390 hbits:8;
in:747 out:747 type:2 q:2074 itex:3266 ptex:12699 mv:3676 misc:5423 fcode:1 bcode:1 mc-var:122833 var:896177 icount:58 skipcount:315 hbits:8;
in:748 out:748 type:2 q:2046 itex:2932 ptex:15915 mv:3445 misc:5452 fcode:1 bcode:1 mc-var:119355 var:886824 icount:49 skipcount:374 hbits:8;
in:749 out:749 type:2 q:2033 itex:2999 ptex:14906 mv:3362 misc:5501 fcode:1 bcode:1 mc-var:112940 var:876492 icount:58 skipcount:359 hbits:8;
in:750 out:750 type:1 q:1616 itex:145948 ptex:0 mv:0 misc:7168 fcode:1 bcode:1 mc-var:0 var:876582 icount:1200 skipcount:0 hbits:12;
in:751 out:751 type:2 q:2051 itex:7974 ptex:10835 mv:3851 misc:6356 fcode:1 bcode:1 mc-var:118216 var:866976 icount:165 skipcount:192 hbits:8;
in:752 out:752 type:2 q:2059 itex:4971 ptex:12421 mv:3514 misc:5446 fcode:1 bcode:1 mc-var:107670 var:871935 icount:88 skipcount:360 hbits:8;
in:753 out:753 type:2 q:2054 itex:4101 ptex:12328 mv:3190 misc:5189 fcode:1 bcode:1 mc-var:105068 var:870221 icount:70 skipcount:440 hbits:8;
in:754 out:754 type:2 q:2035 itex:4546 ptex:12073 mv:3067 misc:5146 fcode:1 bcode:1 mc-var:101739 var:858945 icount:78 skipcount:444 hbits:8;
in:755 out:755 type:2 q:2019 itex:4416 ptex:11732 mv:2807 misc:5109 fcode:1 bcode:1 mc-var:99988 var:851831 icount:82 skipcount:460 hbits:8;
in:756 out:756 type:2 q:2035 itex:5261 ptex:13198 mv:3330 misc:5667 fcode:1 bcode:1 mc-var:121048 var:851332 icount:99 skipcount:322 hbits:8;
in:757 out:757 type:2 q:2018 itex:3972 ptex:12498 mv:3270 misc:5284 fcode:1 bcode:1 mc-var:100434 var:842491 icount:75 skipcount:413 hbits:8;
in:758 out:758 type:2 q:2010 itex:3161 ptex:12186 mv:3493 misc:5264 fcode:1 bcode:1 mc-var:100492 var:839483 icount:66 skipcount:400 hbits:8;
in:759 out:759 type:2 q:1998 itex:3719 ptex:12695 mv:3046 misc:5068 fcode:1 bcode:1 mc-var:101100 var:842354 icount:71 skipcount:459 hbits:8;
in:760 out:760 type:2 q:1990 itex:3681 ptex:11696 mv:3154 misc:5109 fcode:1 bcode:1 mc-var:100903 var:840512 icount:72 skipcount:453 hbits:8;
in:761 out:761 type:2 q:1985 itex:4469 ptex:12761 mv:3193 misc:5193 fcode:1 bcode:1 mc-var:105417 var:838703 icount:80 skipcount:430 hbits:8;
in:762 out:762 type:2 q:1984 itex:4187 ptex:12231 mv:3046 misc:5016 fcode:1 bcode:1 mc-var:102136 var:842268 icount:67 skipcount:469 hbits:8;
in:763 out:763 type:2 q:1981 itex:3804 ptex:12766 mv:3020 misc:5002 fcode:1 bcode:1 mc-var:102512 var:839654 icount:62 skipcount:476 hbits:8;
in:764 out:764 type:2 q:1995 itex:4684 ptex:13720 mv:3031 misc:5181 fcode:1 bcode:1 mc-var:112286 var:822042 icount:77 skipcount:458 hbits:8;
in:765 out:765 type:2 q:2043 itex:6057 ptex:14418 mv:3036 misc:5065 fcode:1 bcode:1 mc-var:136309 var:827535 icount:76 skipcount:470 hbits:8;
in:766 out:766 type:2 q:2080 itex:6282 ptex:11194 mv:2818 misc:4898 fcode:1 bcode:1 mc-var:144552 var:858481 icount:76 skipcount:491 hbits:8;
in:767 out:767 type:2 q:2051 itex:6056 ptex:13474 mv:2823 misc:5111 fcode:1 bcode:1 mc-var:127795 var:874633 icount:83 skipcount:467 hbits:8;
in:768 out:768 type:2 q:2058 itex:5524 ptex:12740 mv:2622 misc:5122 fcode:1 bcode:1 mc-var:131945 var:878132 icount:80 skipcount:479 hbits:8;
in:769 out:769 type:2 q:2036 itex:4082 ptex:13393 mv:2995 misc:5074 fcode:1 bcode:1 mc-var:118478 var:858192 icount:64 skipcount:456 hbits:8;
in:770 out:770 type:2 q:2043 itex:3202 ptex:15191 mv:3561 misc:5446 fcode:1 bcode:1 mc-var:130193 var:849960 icount:57 skipcount:353 hbits:8;
in:771 out:771 type:2 q:2009 itex:2967 ptex:13036 mv:2948 misc:5113 fcode:1 bcode:1 mc-var:100537 var:854091 icount:57 skipcount:452 hbits:8;
in:772 out:772 type:2 q:1997 itex:3436 ptex:13372 mv:2712 misc:4968 fcode:1 bcode:1 mc-var:104738 var:847884 icount:65 skipcount:494 hbits:8;
in:773 out:773 type:2 q:1983 itex:3689 ptex:12435 mv:2772 misc:4968 fcode:1 bcode:1 mc-var:101548 var:851315 icount:62 skipcount:481 hbits:8;
in:774 out:774 type:2 q:1974 itex:3953 ptex:12371 mv:2758 misc:4990 fcode:1 bcode:1 mc-var:102892 var:841027 icount:69 skipcount:481 hbits:8;
in:775 out:775 type:2 q:1962 itex:4654 ptex:12287 mv:2392 misc:4907 fcode:1 bcode:1 mc-var:100342 var:826199 icount:82 skipcount:513 hbits:8;
in:776 out:776 type:2 q:1953 itex:5616 ptex:10280 mv:2070 misc:4738 fcode:1 bcode:1 mc-var:97446 var:822760 icount:93 skipcount:563 hbits:8;
in:777 out:777 type:2 q:1938 itex:5722 ptex:13358 mv:2508 misc:5324 fcode:1 bcode:1 mc-var:98376 var:812627 icount:96 skipcount:456 hbits:8;
in:778 out:778 type:2 q:1983 itex:5332 ptex:12992 mv:2748 misc:5408 fcode:1 bcode:1 mc-var:111892 var:803398 icount:119 skipcount:425 hbits:8;
in:779 out:779 type:2 q:1995 itex:3384 ptex:13093 mv:2585 misc:4890 fcode:1 bcode:1 mc-var:106323 var:807502 icount:75 skipcount:510 hbits:8;
in:780 out:780 type:2 q:1993 itex:3502 ptex:13917 mv:3080 misc:5301 fcode:1 bcode:1 mc-var:110566 var:813237 icount:74 skipcount:395 hbits:8;
in:781 out:781 type:2 q:1988 itex:2680 ptex:14529 mv:3091 misc:5204 fcode:1 bcode:1 mc-var:105116 var:803882 icount:65 skipcount:430 hbits:8;
in:782 out:782 type:2 q:1980 itex:3391 ptex:12934 mv:2927 misc:5004 fcode:1 bcode:1 mc-var:99453 var:801197 icount:75 skipcount:476 hbits:8;
in:783 out:783 type:2 q:1982 itex:3412 ptex:12731 mv:3063 misc:5098 fcode:1 bcode:1 mc-var:104918 var:808011 icount:73 skipcount:440 hbits:8;
in:784 out:784 type:2 q:1988 itex:2751 ptex:13148 mv:3533 misc:5248 fcode:1 bcode:1 mc-var:112304 var:808407 icount:59 skipcount:367 hbits:8;
in:785 out:785 type:2 q:1957 itex:2428 ptex:12836 mv:2864 misc:4968 fcode:1 bcode:1 mc-var:95508 var:817758 icount:63 skipcount:467 hbits:8;
in:786 out:786 type:2 q:1951 itex:3013 ptex:12234 mv:2926 misc:4995 fcode:1 bcode:1 mc-var:102826 var:812555 icount:68 skipcount:460 hbits:8;
in:787 out:787 type:2 q:1937 itex:3735 ptex:16258 mv:2925 misc:5546 fcode:1 bcode:1 mc-var:101727 var:810111 icount:76 skipcount:407 hbits:8;
in:788 out:788 type:2 q:1961 itex:3699 ptex:12715 mv:2949 misc:5061 fcode:1 bcode:1 mc-var:96441 var:798820 icount:80 skipcount:480 hbits:8;
in:789 out:789 type:2 q:1963 itex:3511 ptex:12621 mv:2782 misc:5062 fcode:1 bcode:1 mc-var:95901 var:804591 icount:73 skipcount:489 hbits:8;
in:790 out:790 type:2 q:1984 itex:3151 ptex:13186 mv:3393 misc:5214 fcode:1 bcode:1 mc-var:111724 var:780803 icount:62 skipcount:407 hbits:8;
in:791 out:791 type:2 q:1963 itex:2569 ptex:12604 mv:3003 misc:4920 fcode:1 bcode:1 mc-var:97848 var:770355 icount:55 skipcount:472 hbits:8;
in:792 out:792 type:2 q:1962 itex:3092 ptex:13504 mv:3222 misc:5142 fcode:1 bcode:1 mc-var:108484 var:776543 icount:58 skipcount:422 hbits:8;
in:793 out:793 type:2 q:1981 itex:3073 ptex:13440 mv:2887 misc:4912 fcode:1 bcode:1 mc-var:120036 var:789177 icount:49 skipcount:485 hbits:8;
in:794 out:794 type:2 q:1970 itex:3745 ptex:13167 mv:2818 misc:5142 fcode:1 bcode:1 mc-var:114665 var:803243 icount:66 skipcount:433 hbits:8;
in:795 out:795 type:2 q:1964 itex:2987 ptex:14251 mv:2774 misc:4980 fcode:1 bcode:1 mc-var:113221 var:808711 icount:51 skipcount:441 hbits:8;
in:796 out:796 type:2 q:1966 itex:4277 ptex:12328 mv:2992 misc:5211 fcode:1 bcode:1 mc-var:114156 var:787190 icount:67 skipcount:397 hbits:8;
in:797 out:797 type:2 q:1955 itex:3480 ptex:13175 mv:3114 misc:5343 fcode:1 bcode:1 mc-var:107455 var:780208 icount:69 skipcount:377 hbits:8;
in:798 out:798 type:2 q:1960 itex:3602 ptex:13245 mv:2685 misc:5308 fcode:1 bcode:1 mc-var:109633 var:781147 icount:71 skipcount:409 hbits:8;
in:799 out:799 type:2 q:1965 itex:3751 ptex:13021 mv:3184 misc:5420 fcode:1 bcode:1 mc-var:112292 var:778010 icount:74 skipcount:362 hbits:8;
in:800 out:800 type:2 q:1968 itex:3504 ptex:14626 mv:2932 misc:5242 fcode:1 bcode:1 mc-var:111251 var:793365 icount:64 skipcount:418 hbits:8;
in:801 out:801 type:2 q:2078 itex:25615 ptex:24425 mv:2796 misc:7412 fcode:1 bcode:1 mc-var:535126 var:926582 icount:298 skipcount:288 hbits:8;
in:802 out:802 type:2 q:2212 itex:20492 ptex:13882 mv:2808 misc:7410 fcode:1 bcode:1 mc-var:260086 var:777396 icount:357 skipcount:256 hbits:8;
in:803 out:803 type:2 q:2184 itex:2475 ptex:10714 mv:3050 misc:4857 fcode:1 bcode:1 mc-var:119130 var:784890 icount:45 skipcount:422 hbits:8;
in:804 out:804 type:2 q:2092 itex:2763 ptex:12800 mv:2643 misc:5122 fcode:1 bcode:1 mc-var:107776 var:781037 icount:65 skipcount:466 hbits:8;
in:805 out:805 type:2 q:2145 itex:116348 ptex:13625 mv:1406 misc:10941 fcode:1 bcode:1 mc-var:4077497 var:1264420 icount:898 skipcount:58 hbits:8;
in:806 out:806 type:2 q:2261 itex:74732 ptex:8506 mv:1081 misc:10873 fcode:1 bcode:1 mc-var:2584622 var:794744 icount:927 skipcount:79 hbits:8;
in:807 out:807 type:2 q:2229 itex:2624 ptex:10109 mv:2708 misc:4767 fcode:1 bcode:1 mc-var:102651 var:784212 icount:46 skipcount:481 hbits:8;
in:808 out:808 type:2 q:2117 itex:2709 ptex:11218 mv:2621 misc:4812 fcode:1 bcode:1 mc-var:104742 var:768264 icount:48 skipcount:491 hbits:8;
in:809 out:809 type:2 q:2080 itex:3256 ptex:11701 mv:2743 misc:4836 fcode:1 bcode:1 mc-var:130906 var:777207 icount:43 skipcount:466 hbits:8;
in:810 out:810 type:2 q:2024 itex:3012 ptex:14240 mv:3195 misc:5177 fcode:1 bcode:1 mc-var:114740 var:792757 icount:46 skipcount:413 hbits:8;
in:811 out:811 type:2 q:2029 itex:2847 ptex:15208 mv:3448 misc:5353 fcode:1 bcode:1 mc-var:118972 var:793456 icount:52 skipcount:359 hbits:8;
in:812 out:812 type:2 q:2032 itex:2751 ptex:13725 mv:3286 misc:5094 fcode:1 bcode:1 mc-var:108268 var:793713 icount:47 skipcount:425 hbits:8;
in:813 out:813 type:2 q:2029 itex:3896 ptex:12619 mv:2901 misc:4976 fcode:1 bcode:1 mc-var:104729 var:785807 icount:66 skipcount:476 hbits:8;
in:814 out:814 type:2 q:2047 itex:4132 ptex:13958 mv:3309 misc:5337 fcode:1 bcode:1 mc-var:117763 var:780812 icount:72 skipcount:415 hbits:8;
in:815 out:815 type:2 q:2064 itex:3553 ptex:11772 mv:3179 misc:4944 fcode:1 bcode:1 mc-var:117788 var:769445 icount:54 skipcount:427 hbits:8;
in:816 out:816 type:2 q:2032 itex:2963 ptex:13327 mv:2874 misc:4956 fcode:1 bcode:1 mc-var:104911 var:762559 icount:51 skipcount:486 hbits:8;
in:817 out:817 type:2 q:2039 itex:4387 ptex:13571 mv:3269 misc:5357 fcode:1 bcode:1 mc-var:117072 var:773507 icount:69 skipcount:370 hbits:8;
in:818 out:818 type:2 q:2039 itex:4793 ptex:13218 mv:2953 misc:5116 fcode:1 bcode:1 mc-var:107482 var:782631 icount:72 skipcount:469 hbits:8;
in:819 out:819 type:2 q:2046 itex:5032 ptex:11794 mv:2706 misc:5084 fcode:1 bcode:1 mc-var:105540 var:782294 icount:76 skipcount:480 hbits:8;
in:820 out:820 type:2 q:2055 itex:3667 ptex:12450 mv:3032 misc:5123 fcode:1 bcode:1 mc-var:113111 var:794617 icount:58 skipcount:432 hbits:8;
in:821 out:821 type:2 q:2047 itex:3035 ptex:13314 mv:3232 misc:5171 fcode:1 bcode:1 mc-var:112040 var:820388 icount:58 skipcount:420 hbits:8;
in:822 out:822 type:2 q:2035 itex:3143 ptex:12815 mv:3126 misc:5068 fcode:1 bcode:1 mc-var:107616 var:801842 icount:57 skipcount:446 hbits:8;
in:823 out:823 type:2 q:2040 itex:4481 ptex:12042 mv:2932 misc:5041 fcode:1 bcode:1 mc-var:115970 var:780916 icount:60 skipcount:462 hbits:8;
in:824 out:824 type:2 q:2031 itex:5355 ptex:11064 mv:2759 misc:5006 fcode:1 bcode:1 mc-var:112180 var:769147 icount:79 skipcount:481 hbits:8;
in:825 out:825 type:2 q:2036 itex:6414 ptex:11701 mv:2671 misc:4990 fcode:1 bcode:1 mc-var:120588 var:765768 icount:89 skipcount:491 hbits:8;
in:826 out:826 type:2 q:2017 itex:6637 ptex:9819 mv:2499 misc:4933 fcode:1 bcode:1 mc-var:102969 var:758105 icount:102 skipcount:516 hbits:8;
in:827 out:827 type:2 q:2033 itex:6292 ptex:12002 mv:3131 misc:5327 fcode:1 bcode:1 mc-var:119074 var:769654 icount:98 skipcount:411 hbits:8;
in:828 out:828 type:2 q:2055 itex:5696 ptex:12749 mv:3199 misc:5100 fcode:1 bcode:1 mc-var:121587 var:762117 icount:82 skipcount:446 hbits:8;
in:829 out:829 type:2 q:2042 itex:4930 ptex:10848 mv:2684 misc:4746 fcode:1 bcode:1 mc-var:103314 var:745952 icount:71 skipcount:537 hbits:8;
in:830 out:830 type:2 q:2038 itex:4123 ptex:11692 mv:3353 misc:5016 fcode:1 bcode:1 mc-var:112882 var:723673 icount:67 skipcount:453 hbits:8;
in:831 out:831 type:2 q:2027 itex:4715 ptex:12464 mv:3324 misc:5097 fcode:1 bcode:1 mc-var:110530 var:726588 icount:77 skipcount:452 hbits:8;
in:832 out:832 type:2 q:2017 itex:5039 ptex:11654 mv:3178 misc:5145 fcode:1 bcode:1 mc-var:101853 var:731460 icount:92 skipcount:446 hbits:8;
in:833 out:833 type:2 q:2011 itex:3908 ptex:11151 mv:3062 misc:4831 fcode:1 bcode:1 mc-var:97621 var:720866 icount:69 skipcount:497 hbits:8;
in:834 out:834 type:2 q:2028 itex:4515 ptex:12358 mv:3534 misc:5321 fcode:1 bcode:1 mc-var:116762 var:715346 icount:96 skipcount:415 hbits:8;
in:835 out:835 type:2 q:2042 itex:5330 ptex:13290 mv:3302 misc:5278 fcode:1 bcode:1 mc-var:119566 var:728660 icount:96 skipcount:429 hbits:8;
in:836 out:836 type:2 q:2036 itex:5484 ptex:11388 mv:2786 misc:5046 fcode:1 bcode:1 mc-var:103145 var:740864 icount:101 skipcount:490 hbits:8;
in:837 out:837 type:2 q:2024 itex:5466 ptex:11106 mv:2599 misc:4965 fcode:1 bcode:1 mc-var:98693 var:740067 icount:103 skipcount:519 hbits:8;
in:838 out:838 type:2 q:2038 itex:5854 ptex:11482 mv:2828 misc:5076 fcode:1 bcode:1 mc-var:112292 var:737929 icount:106 skipcount:490 hbits:8;
in:839 out:839 type:2 q:2026 itex:4229 ptex:11708 mv:2750 misc:4769 fcode:1 bcode:1 mc-var:102623 var:768907 icount:84 skipcount:540 hbits:8;
in:840 out:840 type:2 q:2010 itex:5206 ptex:10858 mv:2606 misc:4794 fcode:1 bcode:1 mc-var:102031 var:765460 icount:93 skipcount:534 hbits:8;
in:841 out:841 type:2 q:2015 itex:4901 ptex:12449 mv:2746 misc:4856 fcode:1 bcode:1 mc-var:112635 var:783288 icount:82 skipcount:511 hbits:8;
in:842 out:842 type:2 q:2022 itex:5202 ptex:12872 mv:3142 misc:5144 fcode:1 bcode:1 mc-var:115514 var:788740 icount:99 skipcount:453 hbits:8;
in:843 out:843 type:2 q:2042 itex:5952 ptex:13100 mv:3339 misc:5297 fcode:1 bcode:1 mc-var:119432 var:793607 icount:104 skipcount:431 hbits:8;
in:844 out:844 type:2 q:2045 itex:5970 ptex:11405 mv:2986 misc:5023 fcode:1 bcode:1 mc-var:106840 var:802192 icount:94 skipcount:487 hbits:8;
in:845 out:845 type:2 q:2047 itex:7152 ptex:11173 mv:2939 misc:5152 fcode:1 bcode:1 mc-var:107537 var:829260 icount:104 skipcount:476 hbits:8;
in:846 out:846 type:2 q:2071 itex:6447 ptex:10747 mv:2993 misc:5061 fcode:1 bcode:1 mc-var:118158 var:827010 icount:107 skipcount:490 hbits:8;
in:847 out:847 type:2 q:2073 itex:6026 ptex:10953 mv:3175 misc:5022 fcode:1 bcode:1 mc-var:120999 var:832724 icount:92 skipcount:465 hbits:8;
in:848 out:848 type:2 q:2038 itex:5541 ptex:12249 mv:3010 misc:5104 fcode:1 bcode:1 mc-var:102488 var:839125 icount:91 skipcount:491 hbits:8;
in:849 out:849 type:2 q:2027 itex:5970 ptex:11331 mv:3032 misc:5171 fcode:1 bcode:1 mc-var:97223 var:833097 icount:106 skipcount:481 hbits:8;
in:850 out:850 type:2 q:2036 itex:4430 ptex:12016 mv:3172 misc:5022 fcode:1 bcode:1 mc-var:101332 var:836352 icount:84 skipcount:480 hbits:8;
in:851 out:851 type:2 q:2042 itex:4067 ptex:13666 mv:3279 misc:5140 fcode:1 bcode:1 mc-var:106750 var:849772 icount:77 skipcount:462 hbits:8;
in:852 out:852 type:2 q:2054 itex:3911 ptex:14963 mv:3611 misc:5419 fcode:1 bcode:1 mc-var:109674 var:866027 icount:75 skipcount:397 hbits:8;
in:853 out:853 type:2 q:2063 itex:4825 ptex:11539 mv:3014 misc:4982 fcode:1 bcode:1 mc-var:103484 var:872314 icount:84 skipcount:479 hbits:8;
in:854 out:854 type:2 q:2063 itex:4596 ptex:11951 mv:3120 misc:4965 fcode:1 bcode:1 mc-var:110081 var:881254 icount:79 skipcount:474 hbits:8;
in:855 out:855 type:2 q:2047 itex:4946 ptex:12460 mv:2952 misc:5050 fcode:1 bcode:1 mc-var:106376 var:881480 icount:73 skipcount:472 hbits:8;
in:856 out:856 type:2 q:2065 itex:4633 ptex:10970 mv:2957 misc:4680 fcode:1 bcode:1 mc-var:121435 var:871046 icount:63 skipcount:504 hbits:8;
in:857 out:857 type:2 q:2025 itex:5187 ptex:12400 mv:2704 misc:5021 fcode:1 bcode:1 mc-var:107205 var:854717 icount:81 skipcount:482 hbits:8;
in:858 out:858 type:2 q:2010 itex:4183 ptex:11728 mv:3128 misc:5161 fcode:1 bcode:1 mc-var:101430 var:849616 icount:78 skipcount:436 hbits:8;
in:859 out:859 type:2 q:2013 itex:3604 ptex:12233 mv:3043 misc:5024 fcode:1 bcode:1 mc-var:108133 var:842724 icount:70 skipcount:452 hbits:8;
in:860 out:860 type:2 q:2028 itex:3079 ptex:13707 mv:3374 misc:5136 fcode:1 bcode:1 mc-var:122733 var:836338 icount:57 skipcount:387 hbits:8;
in:861 out:861 type:2 q:2011 itex:2216 ptex:14069 mv:3331 misc:5152 fcode:1 bcode:1 mc-var:108345 var:828012 icount:41 skipcount:389 hbits:8;
in:862 out:862 type:2 q:1985 itex:2506 ptex:11958 mv:2750 misc:4986 fcode:1 bcode:1 mc-var:95379 var:826816 icount:47 skipcount:454 hbits:8;
in:863 out:863 type:2 q:1969 itex:2450 ptex:12984 mv:2664 misc:4798 fcode:1 bcode:1 mc-var:99548 var:823642 icount:43 skipcount:495 hbits:8;
in:864 out:864 type:2 q:1948 itex:2813 ptex:11348 mv:2577 misc:4766 fcode:1 bcode:1 mc-var:94209 var:829853 icount:48 skipcount:497 hbits:8;
in:865 out:865 type:2 q:1950 itex:2670 ptex:12568 mv:2975 misc:4931 fcode:1 bcode:1 mc-var:109000 var:834857 icount:47 skipcount:441 hbits:8;
in:866 out:866 type:2 q:1924 itex:2300 ptex:15508 mv:2851 misc:5301 fcode:1 bcode:1 mc-var:94882 var:843794 icount:44 skipcount:420 hbits:8;
in:867 out:867 type:2 q:1961 itex:2901 ptex:11326 mv:3339 misc:5306 fcode:1 bcode:1 mc-var:104241 var:837223 icount:55 skipcount:339 hbits:8;
in:868 out:868 type:2 q:1963 itex:2608 ptex:14065 mv:3439 misc:5344 fcode:1 bcode:1 mc-var:105946 var:847659 icount:48 skipcount:343 hbits:8;
in:869 out:869 type:2 q:1960 itex:2966 ptex:12214 mv:2696 misc:4924 fcode:1 bcode:1 mc-var:96249 var:856453 icount:48 skipcount:480 hbits:8;
in:870 out:870 type:2 q:1970 itex:3440 ptex:13237 mv:2859 misc:5048 fcode:1 bcode:1 mc-var:108272 var:860532 icount:53 skipcount:464 hbits:8;
in:871 out:871 type:2 q:1985 itex:3765 ptex:13074 mv:3168 misc:5297 fcode:1 bcode:1 mc-var:113905 var:863055 icount:53 skipcount:369 hbits:8;
in:872 out:872 type:2 q:1999 itex:3381 ptex:15314 mv:3315 misc:5318 fcode:1 bcode:1 mc-var:116109 var:868900 icount:48 skipcount:366 hbits:8;
in:873 out:873 type:2 q:2024 itex:2426 ptex:14706 mv:3189 misc:5207 fcode:1 bcode:1 mc-var:117680 var:861997 icount:41 skipcount:400 hbits:8;
in:874 out:874 type:2 q:2005 itex:2195 ptex:13743 mv:2814 misc:4984 fcode:1 bcode:1 mc-var:101329 var:868478 icount:42 skipcount:454 hbits:8;
in:875 out:875 type:2 q:2024 itex:2610 ptex:13545 mv:3363 misc:5218 fcode:1 bcode:1 mc-var:122593 var:860121 icount:46 skipcount:377 hbits:8;
in:876 out:876 type:2 q:2036 itex:3325 ptex:15213 mv:3561 misc:5533 fcode:1 bcode:1 mc-var:132883 var:864034 icount:55 skipcount:317 hbits:8;
in:877 out:877 type:2 q:2046 itex:3809 ptex:14505 mv:3474 misc:5444 fcode:1 bcode:1 mc-var:127217 var:862882 icount:59 skipcount:345 hbits:8;
in:878 out:878 type:2 q:2027 itex:4015 ptex:12097 mv:2616 misc:4944 fcode:1 bcode:1 mc-var:106066 var:855863 icount:57 skipcount:487 hbits:8;
in:879 out:879 type:2 q:2005 itex:2881 ptex:12460 mv:2913 misc:4786 fcode:1 bcode:1 mc-var:104057 var:846078 icount:44 skipcount:479 hbits:8;
in:880 out:880 type:2 q:1994 itex:2894 ptex:12542 mv:3652 misc:5296 fcode:1 bcode:1 mc-var:111008 var:851337 icount:48 skipcount:333 hbits:8;
in:881 out:881 type:2 q:1996 itex:3277 ptex:13803 mv:3176 misc:5288 fcode:1 bcode:1 mc-var:115283 var:851133 icount:52 skipcount:373 hbits:8;
in:882 out:882 type:2 q:1971 itex:3343 ptex:11904 mv:2713 misc:5024 fcode:1 bcode:1 mc-var:95953 var:842251 icount:55 skipcount:461 hbits:8;
in:883 out:883 type:2 q:1963 itex:2547 ptex:12255 mv:2789 misc:4985 fcode:1 bcode:1 mc-var:100905 var:842515 icount:45 skipcount:440 hbits:8;
in:884 out:884 type:2 q:1956 itex:2698 ptex:11917 mv:2794 misc:5039 fcode:1 bcode:1 mc-var:105698 var:833356 icount:47 skipcount:423 hbits:8;
in:885 out:885 type:2 q:1938 itex:2382 ptex:15645 mv:3172 misc:5529 fcode:1 bcode:1 mc-var:103896 var:834814 icount:43 skipcount:350 hbits:8;
in:886 out:886 type:2 q:1951 itex:1620 ptex:13097 mv:2484 misc:4871 fcode:1 bcode:1 mc-var:97929 var:848390 icount:35 skipcount:477 hbits:8;
in:887 out:887 type:2 q:1944 itex:1994 ptex:16162 mv:3212 misc:5400 fcode:1 bcode:1 mc-var:102065 var:846092 icount:38 skipcount:392 hbits:8;
in:888 out:888 type:2 q:1978 itex:1769 ptex:12998 mv:3272 misc:5097 fcode:1 bcode:1 mc-var:108015 var:848926 icount:34 skipcount:369 hbits:8;
in:889 out:889 type:2 q:1948 itex:1717 ptex:11419 mv:2403 misc:4701 fcode:1 bcode:1 mc-var:93274 var:848208 icount:33 skipcount:506 hbits:8;
in:890 out:890 type:2 q:1930 itex:2907 ptex:16458 mv:2954 misc:5305 fcode:1 bcode:1 mc-var:106757 var:850621 icount:40 skipcount:424 hbits:8;
in:891 out:891 type:2 q:1960 itex:2103 ptex:13843 mv:2965 misc:4793 fcode:1 bcode:1 mc-var:105735 var:857642 icount:34 skipcount:480 hbits:8;
in:892 out:892 type:2 q:1959 itex:2329 ptex:13664 mv:2942 misc:4889 fcode:1 bcode:1 mc-var:104258 var:865933 icount:37 skipcount:461 hbits:8;
in:893 out:893 type:2 q:1950 itex:2776 ptex:13107 mv:2819 misc:4858 fcode:1 bcode:1 mc-var:100963 var:865037 icount:43 skipcount:496 hbits:8;
in:894 out:894 type:2 q:1938 itex:3665 ptex:14444 mv:2927 misc:5284 fcode:1 bcode:1 mc-var:98042 var:868844 icount:59 skipcount:435 hbits:8;
in:895 out:895 type:2 q:1962 itex:2760 ptex:12345 mv:2762 misc:4885 fcode:1 bcode:1 mc-var:100499 var:867997 icount:46 skipcount:471 hbits:8;
in:896 out:896 type:2 q:1944 itex:3169 ptex:14905 mv:2769 misc:5189 fcode:1 bcode:1 mc-var:95553 var:870097 icount:52 skipcount:445 hbits:8;
in:897 out:897 type:2 q:1960 itex:2315 ptex:11788 mv:2941 misc:4788 fcode:1 bcode:1 mc-var:96799 var:867690 icount:45 skipcount:492 hbits:8;
in:898 out:898 type:2 q:1977 itex:3130 ptex:14294 mv:3393 misc:5175 fcode:1 bcode:1 mc-var:118930 var:881955 icount:53 skipcount:391 hbits:8;
in:899 out:899 type:2 q:1947 itex:2554 ptex:11595 mv:2780 misc:4783 fcode:1 bcode:1 mc-var:92572 var:881586 icount:48 skipcount:498 hbits:8;
in:900 out:900 type:2 q:1914 itex:2472 ptex:13907 mv:2842 misc:5291 fcode:1 bcode:1 mc-var:89699 var:865628 icount:47 skipcount:431 hbits:8;
in:901 out:901 type:2 q:1966 itex:4156 ptex:12890 mv:3388 misc:5350 fcode:1 bcode:1 mc-var:118237 var:873090 icount:70 skipcount:378 hbits:8;
in:902 out:902 type:2 q:1963 itex:3171 ptex:13384 mv:3005 misc:4984 fcode:1 bcode:1 mc-var:103777 var:875827 icount:51 skipcount:454 hbits:8;
in:903 out:903 type:2 q:1963 itex:3362 ptex:13961 mv:3154 misc:5227 fcode:1 bcode:1 mc-var:104100 var:882074 icount:65 skipcount:415 hbits:8;
in:904 out:904 type:2 q:1968 itex:2794 ptex:13146 mv:3041 misc:5091 fcode:1 bcode:1 mc-var:101291 var:887497 icount:58 skipcount:439 hbits:8;
in:905 out:905 type:2 q:1976 itex:2372 ptex:14412 mv:2976 misc:5064 fcode:1 bcode:1 mc-var:108630 var:902895 icount:53 skipcount:441 hbits:8;
in:906 out:906 type:2 q:1980 itex:2847 ptex:13805 mv:2758 misc:4958 fcode:1 bcode:1 mc-var:110891 var:919526 icount:56 skipcount:469 hbits:8;
in:907 out:907 type:2 q:1978 itex:2880 ptex:14340 mv:2694 misc:4846 fcode:1 bcode:1 mc-var:112406 var:921044 icount:55 skipcount:499 hbits:8;
in:908 out:908 type:2 q:1969 itex:4138 ptex:11227 mv:2570 misc:4825 fcode:1 bcode:1 mc-var:108176 var:909539 icount:67 skipcount:515 hbits:8;
in:909 out:909 type:2 q:1933 itex:5174 ptex:14384 mv:2629 misc:5373 fcode:1 bcode:1 mc-var:97964 var:911119 icount:84 skipcount:446 hbits:8;
in:910 out:910 type:2 q:1952 itex:3906 ptex:10633 mv:2707 misc:4866 fcode:1 bcode:1 mc-var:95542 var:888099 icount:70 skipcount:499 hbits:8;
in:911 out:911 type:2 q:1948 itex:5101 ptex:12198 mv:3006 misc:5127 fcode:1 bcode:1 mc-var:102756 var:884714 icount:84 skipcount:452 hbits:8;
in:912 out:912 type:2 q:1962 itex:3654 ptex:11824 mv:2746 misc:4808 fcode:1 bcode:1 mc-var:105841 var:892677 icount:64 skipcount:512 hbits:8;
in:913 out:913 type:2 q:1974 itex:3799 ptex:14707 mv:3469 misc:5233 fcode:1 bcode:1 mc-var:121367 var:890026 icount:62 skipcount:417 hbits:8;
in:914 out:914 type:2 q:1970 itex:3160 ptex:12517 mv:3023 misc:4860 fcode:1 bcode:1 mc-var:105212 var:884971 icount:56 skipcount:503 hbits:8;
in:915 out:915 type:2 q:1953 itex:3277 ptex:11832 mv:2896 misc:4811 fcode:1 bcode:1 mc-var:102695 var:869793 icount:51 skipcount:505 hbits:8;
in:916 out:916 type:2 q:1940 itex:4040 ptex:15665 mv:3236 misc:5499 fcode:1 bcode:1 mc-var:105888 var:856673 icount:64 skipcount:400 hbits:8;
in:917 out:917 type:2 q:1967 itex:4353 ptex:11945 mv:2867 misc:5107 fcode:1 bcode:1 mc-var:102964 var:844373 icount:75 skipcount:467 hbits:8;
in:918 out:918 type:2 q:1972 itex:5181 ptex:12136 mv:2762 misc:5017 fcode:1 bcode:1 mc-var:105713 var:828509 icount:88 skipcount:489 hbits:8;
in:919 out:919 type:2 q:1970 itex:4153 ptex:11634 mv:3054 misc:4871 fcode:1 bcode:1 mc-var:103315 var:838588 icount:66 skipcount:480 hbits:8;
in:920 out:920 type:2 q:1973 itex:4476 ptex:13559 mv:2897 misc:5012 fcode:1 bcode:1 mc-var:112481 var:861528 icount:71 skipcount:469 hbits:8;
in:921 out:921 type:2 q:1981 itex:3813 ptex:13607 mv:3441 misc:5235 fcode:1 bcode:1 mc-var:112890 var:874836 icount:65 skipcount:401 hbits:8;
in:922 out:922 type:2 q:1994 itex:3886 ptex:14324 mv:3196 misc:5186 fcode:1 bcode:1 mc-var:115354 var:885400 icount:68 skipcount:429 hbits:8;
in:923 out:923 type:2 q:2020 itex:4167 ptex:14876 mv:4030