in:0 out:0 type:1 q:480 itex:119962 ptex:0 mv:0 misc:25810 fcode:1 bcode:1 mc-var:0 var:1651513 icount:4275;
in:1 out:1 type:2 q:327 itex:6597 ptex:0 mv:0 misc:5051 fcode:1 bcode:1 mc-var:846037 var:1668557 icount:83;
in:2 out:2 type:2 q:269 itex:1210 ptex:6057 mv:274 misc:5667 fcode:1 bcode:1 mc-var:832117 var:1666358 icount:75;
in:3 out:3 type:2 q:254 itex:4112 ptex:775 mv:10 misc:4367 fcode:1 bcode:1 mc-var:8115 var:1407005 icount:4;
in:4 out:4 type:2 q:248 itex:1969 ptex:1762 mv:4 misc:4369 fcode:1 bcode:1 mc-var:222 var:1398865 icount:6;
in:5 out:5 type:2 q:245 itex:3754 ptex:0 mv:0 misc:4374 fcode:1 bcode:1 mc-var:4460 var:1396576 icount:8;
in:6 out:6 type:2 q:243 itex:855 ptex:0 mv:0 misc:4337 fcode:1 bcode:1 mc-var:97 var:1391266 icount:6;
in:7 out:7 type:2 q:242 itex:426 ptex:0 mv:0 misc:4302 fcode:1 bcode:1 mc-var:35 var:1391168 icount:2;
in:8 out:8 type:2 q:241 itex:2048 ptex:110 mv:8 misc:4330 fcode:1 bcode:1 mc-var:4494 var:1395363 icount:2;
in:9 out:9 type:2 q:240 itex:0 ptex:2705 mv:12 misc:4323 fcode:1 bcode:1 mc-var:941 var:1399591 icount:0;
in:10 out:10 type:2 q:240 itex:2100 ptex:546 mv:10 misc:4360 fcode:1 bcode:1 mc-var:2143 var:1393696 icount:4;
in:11 out:11 type:2 q:239 itex:1716 ptex:0 mv:0 misc:4364 fcode:1 bcode:1 mc-var:144 var:1391196 icount:8;
in:12 out:12 type:2 q:239 itex:2463 ptex:249 mv:8 misc:4328 fcode:1 bcode:1 mc-var:7952 var:1398852 icount:2;
in:13 out:13 type:2 q:239 itex:486 ptex:0 mv:24 misc:4322 fcode:1 bcode:1 mc-var:16 var:1391168 icount:4;
in:14 out:14 type:2 q:238 itex:1496 ptex:114 mv:8 misc:4326 fcode:1 bcode:1 mc-var:1778 var:1392894 icount:2;
in:15 out:15 type:2 q:238 itex:0 ptex:714 mv:4 misc:4298 fcode:1 bcode:1 mc-var:89 var:1392318 icount:0;
in:16 out:16 type:2 q:238 itex:138 ptex:35 mv:39 misc:4324 fcode:1 bcode:1 mc-var:3 var:1391158 icount:2;
in:17 out:17 type:2 q:238 itex:0 ptex:267 mv:12 misc:4297 fcode:1 bcode:1 mc-var:7 var:1391165 icount:0;
in:18 out:18 type:2 q:238 itex:0 ptex:435 mv:6 misc:4295 fcode:1 bcode:1 mc-var:14 var:1391185 icount:0;
in:19 out:19 type:2 q:238 itex:1094 ptex:0 mv:0 misc:4298 fcode:1 bcode:1 mc-var:329 var:1391578 icount:2;
in:20 out:20 type:2 q:238 itex:0 ptex:1738 mv:12 misc:4322 fcode:1 bcode:1 mc-var:850 var:1393322 icount:0;
in:21 out:21 type:2 q:237 itex:0 ptex:3311 mv:32 misc:4321 fcode:1 bcode:1 mc-var:1339 var:1397353 icount:0;
in:22 out:22 type:2 q:237 itex:535 ptex:0 mv:24 misc:4321 fcode:1 bcode:1 mc-var:24 var:1391176 icount:4;
in:23 out:23 type:2 q:237 itex:3222 ptex:0 mv:0 misc:4370 fcode:1 bcode:1 mc-var:8425 var:1399669 icount:8;
in:24 out:24 type:2 q:237 itex:1998 ptex:0 mv:0 misc:4362 fcode:1 bcode:1 mc-var:168 var:1391395 icount:8;
in:25 out:25 type:2 q:237 itex:475 ptex:0 mv:0 misc:4301 fcode:1 bcode:1 mc-var:24 var:1391176 icount:2;
in:26 out:26 type:2 q:237 itex:1418 ptex:110 mv:8 misc:4328 fcode:1 bcode:1 mc-var:1427 var:1392633 icount:2;
in:27 out:27 type:2 q:237 itex:1719 ptex:298 mv:4 misc:4339 fcode:1 bcode:1 mc-var:497 var:1391340 icount:4;
in:28 out:28 type:2 q:237 itex:1404 ptex:0 mv:0 misc:4372 fcode:1 bcode:1 mc-var:169 var:1391146 icount:9;
in:29 out:29 type:2 q:237 itex:3083 ptex:0 mv:0 misc:4381 fcode:1 bcode:1 mc-var:395 var:1391340 icount:9;
in:30 out:30 type:2 q:237 itex:2066 ptex:0 mv:0 misc:4414 fcode:1 bcode:1 mc-var:169 var:1391169 icount:12;
in:31 out:31 type:2 q:237 itex:660 ptex:0 mv:0 misc:4316 fcode:1 bcode:1 mc-var:114 var:1391142 icount:4;
in:32 out:32 type:2 q:237 itex:909 ptex:186 mv:9 misc:4320 fcode:1 bcode:1 mc-var:67 var:1391215 icount:3;
in:33 out:33 type:2 q:237 itex:3039 ptex:873 mv:2 misc:4382 fcode:1 bcode:1 mc-var:1080 var:1392577 icount:8;
in:34 out:34 type:2 q:237 itex:2487 ptex:0 mv:0 misc:4369 fcode:1 bcode:1 mc-var:346 var:1391966 icount:9;
in:35 out:35 type:2 q:237 itex:3739 ptex:249 mv:8 misc:4356 fcode:1 bcode:1 mc-var:9493 var:1404753 icount:4;
in:36 out:36 type:2 q:237 itex:0 ptex:4362 mv:22 misc:4344 fcode:1 bcode:1 mc-var:1051 var:1398945 icount:0;
in:37 out:37 type:2 q:237 itex:191 ptex:3073 mv:8 misc:4368 fcode:1 bcode:1 mc-var:22 var:1399329 icount:4;
in:38 out:38 type:2 q:237 itex:3011 ptex:297 mv:8 misc:4364 fcode:1 bcode:1 mc-var:467 var:1391540 icount:6;
in:39 out:39 type:2 q:237 itex:1072 ptex:0 mv:0 misc:4360 fcode:1 bcode:1 mc-var:123 var:1391196 icount:8;
in:40 out:40 type:2 q:237 itex:4084 ptex:470 mv:8 misc:4358 fcode:1 bcode:1 mc-var:2325 var:1393713 icount:4;
in:41 out:41 type:2 q:237 itex:1649 ptex:0 mv:0 misc:4359 fcode:1 bcode:1 mc-var:853 var:1391602 icount:8;
in:42 out:42 type:2 q:237 itex:3767 ptex:249 mv:8 misc:4352 fcode:1 bcode:1 mc-var:12233 var:1405862 icount:4;
in:43 out:43 type:2 q:237 itex:4084 ptex:321 mv:12 misc:4359 fcode:1 bcode:1 mc-var:4666 var:1393713 icount:4;
in:44 out:44 type:2 q:237 itex:191 ptex:4505 mv:8 misc:4368 fcode:1 bcode:1 mc-var:1271 var:1397739 icount:4;
in:45 out:45 type:2 q:237 itex:3472 ptex:297 mv:8 misc:4375 fcode:1 bcode:1 mc-var:1516 var:1392785 icount:7;
in:46 out:46 type:2 q:237 itex:1154 ptex:0 mv:0 misc:4382 fcode:1 bcode:1 mc-var:177 var:1391148 icount:10;
in:47 out:47 type:2 q:237 itex:3844 ptex:0 mv:0 misc:4396 fcode:1 bcode:1 mc-var:2391 var:1392785 icount:10;
in:48 out:48 type:2 q:237 itex:1068 ptex:0 mv:0 misc:4388 fcode:1 bcode:1 mc-var:157 var:1391142 icount:10;
in:49 out:49 type:2 q:237 itex:3844 ptex:0 mv:0 misc:4396 fcode:1 bcode:1 mc-var:2288 var:1392785 icount:10;
in:50 out:50 type:2 q:237 itex:1525 ptex:0 mv:0 misc:4403 fcode:1 bcode:1 mc-var:169 var:1391159 icount:11;
in:51 out:51 type:2 q:237 itex:0 ptex:718 mv:24 misc:4298 fcode:1 bcode:1 mc-var:11 var:1391159 icount:0;
in:52 out:52 type:2 q:237 itex:0 ptex:365 mv:12 misc:4311 fcode:1 bcode:1 mc-var:9 var:1391167 icount:0;
in:53 out:53 type:2 q:237 itex:0 ptex:840 mv:24 misc:4320 fcode:1 bcode:1 mc-var:36 var:1391214 icount:0;
in:54 out:54 type:2 q:237 itex:2345 ptex:110 mv:8 misc:4361 fcode:1 bcode:1 mc-var:2011 var:1393410 icount:5;
in:55 out:55 type:2 q:237 itex:3331 ptex:1945 mv:30 misc:4358 fcode:1 bcode:1 mc-var:10236 var:1410151 icount:4;
in:56 out:56 type:2 q:237 itex:1019 ptex:0 mv:24 misc:4365 fcode:1 bcode:1 mc-var:47 var:1391194 icount:7;
in:57 out:57 type:2 q:237 itex:2320 ptex:113 mv:8 misc:4367 fcode:1 bcode:1 mc-var:1579 var:1392870 icount:5;
in:58 out:58 type:2 q:237 itex:1792 ptex:0 mv:0 misc:4368 fcode:1 bcode:1 mc-var:497 var:1391622 icount:9;
in:59 out:59 type:2 q:236 itex:1095 ptex:0 mv:0 misc:4337 fcode:1 bcode:1 mc-var:173 var:1391214 icount:5;
in:60 out:60 type:2 q:236 itex:0 ptex:1228 mv:17 misc:4323 fcode:1 bcode:1 mc-var:277 var:1391622 icount:0;
in:61 out:61 type:2 q:236 itex:3782 ptex:110 mv:8 misc:4364 fcode:1 bcode:1 mc-var:8301 var:1401854 icount:5;
in:62 out:62 type:2 q:236 itex:2047 ptex:5 mv:37 misc:4359 fcode:1 bcode:1 mc-var:2932 var:1392159 icount:6;
in:63 out:63 type:2 q:236 itex:5091 ptex:469 mv:8 misc:4368 fcode:1 bcode:1 mc-var:5483 var:1400572 icount:5;
in:64 out:64 type:2 q:236 itex:1169 ptex:0 mv:0 misc:4375 fcode:1 bcode:1 mc-var:72 var:1391214 icount:9;
in:65 out:65 type:2 q:236 itex:0 ptex:419 mv:8 misc:4317 fcode:1 bcode:1 mc-var:10 var:1391233 icount:0;
in:66 out:66 type:2 q:236 itex:2345 ptex:110 mv:8 misc:4361 fcode:1 bcode:1 mc-var:1906 var:1393410 icount:5;
in:67 out:67 type:2 q:236 itex:3472 ptex:298 mv:4 misc:4378 fcode:1 bcode:1 mc-var:2549 var:1392884 icount:7;
in:68 out:68 type:2 q:236 itex:1430 ptex:0 mv:0 misc:4426 fcode:1 bcode:1 mc-var:168 var:1391164 icount:13;
in:69 out:69 type:2 q:236 itex:5007 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:2387 var:1392884 icount:13;
in:70 out:70 type:2 q:236 itex:1511 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:154 var:1391147 icount:13;
in:71 out:71 type:2 q:236 itex:5007 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:2478 var:1392884 icount:13;
in:72 out:72 type:2 q:236 itex:1692 ptex:0 mv:0 misc:4420 fcode:1 bcode:1 mc-var:154 var:1391150 icount:13;
in:73 out:73 type:2 q:236 itex:4179 ptex:628 mv:8 misc:4417 fcode:1 bcode:1 mc-var:2358 var:1392861 icount:9;
in:74 out:74 type:2 q:236 itex:2268 ptex:0 mv:0 misc:4396 fcode:1 bcode:1 mc-var:206 var:1391251 icount:11;
in:75 out:75 type:2 q:236 itex:3248 ptex:110 mv:8 misc:4378 fcode:1 bcode:1 mc-var:5396 var:1396991 icount:6;
in:76 out:76 type:2 q:236 itex:4355 ptex:298 mv:4 misc:4399 fcode:1 bcode:1 mc-var:1659 var:1391654 icount:9;
in:77 out:77 type:2 q:236 itex:1688 ptex:0 mv:0 misc:4424 fcode:1 bcode:1 mc-var:169 var:1391165 icount:13;
in:78 out:78 type:2 q:236 itex:4743 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:676 var:1391654 icount:13;
in:79 out:79 type:2 q:236 itex:1634 ptex:0 mv:0 misc:4422 fcode:1 bcode:1 mc-var:150 var:1391150 icount:13;
in:80 out:80 type:2 q:236 itex:4743 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:676 var:1391654 icount:13;
in:81 out:81 type:2 q:236 itex:1163 ptex:0 mv:0 misc:4413 fcode:1 bcode:1 mc-var:149 var:1391137 icount:12;
in:82 out:82 type:2 q:236 itex:4727 ptex:0 mv:0 misc:4417 fcode:1 bcode:1 mc-var:676 var:1391654 icount:12;
in:83 out:83 type:2 q:236 itex:1137 ptex:0 mv:0 misc:4407 fcode:1 bcode:1 mc-var:170 var:1391150 icount:12;
in:84 out:84 type:2 q:236 itex:4727 ptex:0 mv:0 misc:4417 fcode:1 bcode:1 mc-var:781 var:1391654 icount:12;
in:85 out:85 type:2 q:236 itex:1115 ptex:0 mv:0 misc:4413 fcode:1 bcode:1 mc-var:152 var:1391140 icount:12;
in:86 out:86 type:2 q:236 itex:4727 ptex:0 mv:0 misc:4417 fcode:1 bcode:1 mc-var:676 var:1391654 icount:12;
in:87 out:87 type:2 q:236 itex:1259 ptex:918 mv:4 misc:4443 fcode:1 bcode:1 mc-var:155 var:1390128 icount:13;
in:88 out:88 type:2 q:236 itex:4743 ptex:564 mv:14 misc:4447 fcode:1 bcode:1 mc-var:716 var:1391654 icount:13;
in:89 out:89 type:2 q:236 itex:2161 ptex:43 mv:2 misc:4458 fcode:1 bcode:1 mc-var:162 var:1391160 icount:15;
in:90 out:90 type:2 q:236 itex:4775 ptex:48 mv:2 misc:4447 fcode:1 bcode:1 mc-var:755 var:1391654 icount:15;
in:91 out:91 type:2 q:236 itex:1639 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:186 var:1391177 icount:13;
in:92 out:92 type:2 q:236 itex:4743 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:676 var:1391654 icount:13;
in:93 out:93 type:2 q:236 itex:1850 ptex:0 mv:0 misc:4422 fcode:1 bcode:1 mc-var:171 var:1391160 icount:13;
in:94 out:94 type:2 q:236 itex:4743 ptex:0 mv:0 misc:4425 fcode:1 bcode:1 mc-var:676 var:1391654 icount:13;
in:95 out:95 type:2 q:236 itex:1185 ptex:0 mv:0 misc:4415 fcode:1 bcode:1 mc-var:160 var:1391143 icount:12;
in:96 out:96 type:2 q:236 itex:4727 ptex:0 mv:0 misc:4417 fcode:1 bcode:1 mc-var:676 var:1391654 icount:12;
in:97 out:97 type:2 q:236 itex:1633 ptex:0 mv:0 misc:4423 fcode:1 bcode:1 mc-var:157 var:1391154 icount:13;
in:98 out:98 type:2 q:236 itex:914 ptex:0 mv:0 misc:4302 fcode:1 bcode:1 mc-var:104 var:1391136 icount:3;
in:99 out:99 type:2 q:236 itex:426 ptex:2602 mv:36 misc:4368 fcode:1 bcode:1 mc-var:2666 var:1393246 icount:2;
in:100 out:100 type:2 q:236 itex:2181 ptex:14558 mv:562 misc:5403 fcode:1 bcode:1 mc-var:1969 var:1629665 icount:10;
in:101 out:101 type:2 q:236 itex:905 ptex:591 mv:30 misc:4378 fcode:1 bcode:1 mc-var:86 var:1629695 icount:3;
in:102 out:102 type:2 q:236 itex:519 ptex:1913 mv:21 misc:4355 fcode:1 bcode:1 mc-var:611 var:1630354 icount:1;
in:103 out:103 type:2 q:236 itex:4744 ptex:122 mv:10 misc:4396 fcode:1 bcode:1 mc-var:10685 var:1643797 icount:7;
in:104 out:104 type:2 q:236 itex:3053 ptex:37 mv:13 misc:4369 fcode:1 bcode:1 mc-var:3703 var:1633515 icount:7;
in:105 out:105 type:2 q:236 itex:5288 ptex:213 mv:11 misc:4408 fcode:1 bcode:1 mc-var:2352 var:1630719 icount:10;
in:106 out:106 type:2 q:236 itex:1866 ptex:0 mv:0 misc:4406 fcode:1 bcode:1 mc-var:546 var:1629689 icount:12;
in:107 out:107 type:2 q:236 itex:1911 ptex:703 mv:6 misc:4348 fcode:1 bcode:1 mc-var:1711 var:1631382 icount:4;
in:108 out:108 type:2 q:236 itex:0 ptex:2815 mv:22 misc:4363 fcode:1 bcode:1 mc-var:1103 var:1634506 icount:0;
in:109 out:109 type:2 q:236 itex:6008 ptex:205 mv:13 misc:4406 fcode:1 bcode:1 mc-var:2938 var:1631762 icount:10;
in:110 out:110 type:2 q:236 itex:1389 ptex:0 mv:0 misc:4419 fcode:1 bcode:1 mc-var:216 var:1629674 icount:13;
in:111 out:111 type:2 q:236 itex:1597 ptex:0 mv:0 misc:4339 fcode:1 bcode:1 mc-var:189 var:1629705 icount:5;
in:112 out:112 type:2 q:236 itex:3110 ptex:0 mv:0 misc:4354 fcode:1 bcode:1 mc-var:6184 var:1636409 icount:6;
in:113 out:113 type:2 q:236 itex:3342 ptex:1662 mv:27 misc:4441 fcode:1 bcode:1 mc-var:3600 var:1636162 icount:7;
in:114 out:114 type:2 q:236 itex:4576 ptex:912 mv:4 misc:4436 fcode:1 bcode:1 mc-var:5579 var:1643290 icount:12;
in:115 out:115 type:2 q:236 itex:2386 ptex:159 mv:18 misc:4445 fcode:1 bcode:1 mc-var:2771 var:1632840 icount:11;
in:116 out:116 type:2 q:236 itex:3489 ptex:780 mv:35 misc:4472 fcode:1 bcode:1 mc-var:8056 var:1636880 icount:10;
in:117 out:117 type:2 q:236 itex:634 ptex:4428 mv:57 misc:4457 fcode:1 bcode:1 mc-var:472 var:1636554 icount:2;
in:118 out:118 type:2 q:236 itex:5234 ptex:3343 mv:28 misc:4499 fcode:1 bcode:1 mc-var:10201 var:1648511 icount:8;
in:119 out:119 type:2 q:236 itex:1671 ptex:1616 mv:32 misc:4457 fcode:1 bcode:1 mc-var:2015 var:1633098 icount:8;
in:120 out:120 type:2 q:236 itex:3332 ptex:0 mv:0 misc:4548 fcode:1 bcode:1 mc-var:315 var:1629754 icount:22;
in:121 out:121 type:2 q:236 itex:2197 ptex:1549 mv:56 misc:4446 fcode:1 bcode:1 mc-var:2618 var:1632637 icount:5;
in:122 out:122 type:2 q:236 itex:1001 ptex:3497 mv:34 misc:4436 fcode:1 bcode:1 mc-var:1917 var:1637902 icount:3;
in:123 out:123 type:2 q:236 itex:4054 ptex:0 mv:0 misc:4554 fcode:1 bcode:1 mc-var:3320 var:1633500 icount:22;
in:124 out:124 type:2 q:236 itex:3543 ptex:1122 mv:20 misc:4419 fcode:1 bcode:1 mc-var:1970 var:1633277 icount:6;
in:125 out:125 type:2 q:236 itex:9145 ptex:45 mv:6 misc:4604 fcode:1 bcode:1 mc-var:26602 var:1652162 icount:28;
in:126 out:126 type:2 q:236 itex:27872 ptex:822 mv:16 misc:4690 fcode:1 bcode:1 mc-var:111821 var:1713855 icount:31;
in:127 out:127 type:2 q:236 itex:60850 ptex:6245 mv:46 misc:5211 fcode:1 bcode:1 mc-var:233962 var:1798314 icount:68;
in:128 out:128 type:2 q:236 itex:133981 ptex:9446 mv:45 misc:5736 fcode:1 bcode:1 mc-var:542859 var:1988474 icount:126;
in:129 out:129 type:2 q:236 itex:254793 ptex:25678 mv:191 misc:7218 fcode:1 bcode:1 mc-var:978713 var:2213465 icount:247;
in:130 out:130 type:2 q:236 itex:469145 ptex:37890 mv:338 misc:9075 fcode:1 bcode:1 mc-var:1880507 var:2723207 icount:414;
in:131 out:131 type:2 q:236 itex:528185 ptex:55124 mv:443 misc:10568 fcode:1 bcode:1 mc-var:2188793 var:2767091 icount:548;
in:132 out:132 type:1 q:190 itex:553965 ptex:0 mv:0 misc:25927 fcode:1 bcode:1 mc-var:0 var:2302656 icount:4275;
in:133 out:133 type:2 q:236 itex:531968 ptex:58473 mv:704 misc:13247 fcode:1 bcode:1 mc-var:1138508 var:2349932 icount:789;
in:134 out:134 type:2 q:236 itex:575548 ptex:91030 mv:846 misc:13600 fcode:1 bcode:1 mc-var:1245133 var:2616604 icount:802;
in:135 out:135 type:2 q:236 itex:707870 ptex:136359 mv:1099 misc:14048 fcode:1 bcode:1 mc-var:1897695 var:3181636 icount:822;
in:136 out:136 type:2 q:236 itex:621075 ptex:99078 mv:737 misc:14670 fcode:1 bcode:1 mc-var:1345283 var:2716003 icount:902;
in:137 out:137 type:2 q:236 itex:644676 ptex:145044 mv:1059 misc:14645 fcode:1 bcode:1 mc-var:1418873 var:3017311 icount:837;
in:138 out:138 type:2 q:236 itex:518633 ptex:153106 mv:1044 misc:14585 fcode:1 bcode:1 mc-var:1105790 var:2723451 icount:796;
in:139 out:139 type:2 q:236 itex:483335 ptex:169165 mv:1205 misc:14527 fcode:1 bcode:1 mc-var:901107 var:2697450 icount:744;
in:140 out:140 type:2 q:236 itex:410350 ptex:84972 mv:940 misc:15018 fcode:1 bcode:1 mc-var:506894 var:2183187 icount:908;
in:141 out:141 type:2 q:236 itex:414302 ptex:193238 mv:1448 misc:14308 fcode:1 bcode:1 mc-var:793032 var:2582008 icount:648;
in:142 out:142 type:2 q:236 itex:368120 ptex:81030 mv:901 misc:14917 fcode:1 bcode:1 mc-var:469599 var:2094012 icount:868;
in:143 out:143 type:2 q:236 itex:315419 ptex:191905 mv:1502 misc:14054 fcode:1 bcode:1 mc-var:517191 var:2343816 icount:569;
in:144 out:144 type:2 q:236 itex:257803 ptex:250328 mv:1648 misc:13685 fcode:1 bcode:1 mc-var:499283 var:2542172 icount:446;
in:145 out:145 type:2 q:236 itex:202949 ptex:160651 mv:1404 misc:12028 fcode:1 bcode:1 mc-var:423660 var:2454366 icount:334;
in:146 out:146 type:2 q:236 itex:211766 ptex:311621 mv:1844 misc:13457 fcode:1 bcode:1 mc-var:451013 var:2611738 icount:332;
in:147 out:147 type:2 q:236 itex:187755 ptex:248091 mv:1806 misc:12764 fcode:1 bcode:1 mc-var:461424 var:2740489 icount:259;
in:148 out:148 type:2 q:236 itex:139246 ptex:218747 mv:1755 misc:12596 fcode:1 bcode:1 mc-var:310278 var:2541144 icount:237;
in:149 out:149 type:2 q:237 itex:122912 ptex:224191 mv:1917 misc:12540 fcode:1 bcode:1 mc-var:272313 var:2509244 icount:211;
in:150 out:150 type:2 q:237 itex:81005 ptex:111092 mv:1274 misc:9301 fcode:1 bcode:1 mc-var:228960 var:2463892 icount:128;
in:151 out:151 type:2 q:237 itex:99933 ptex:293532 mv:2039 misc:12760 fcode:1 bcode:1 mc-var:245403 var:2638896 icount:138;
in:152 out:152 type:2 q:237 itex:51288 ptex:83137 mv:1063 misc:8400 fcode:1 bcode:1 mc-var:124206 var:2643608 icount:81;
in:153 out:153 type:2 q:237 itex:309983 ptex:142177 mv:1023 misc:14553 fcode:1 bcode:1 mc-var:293159 var:2215768 icount:766;
in:154 out:154 type:2 q:237 itex:186753 ptex:360774 mv:1964 misc:13357 fcode:1 bcode:1 mc-var:349477 var:2638486 icount:287;
in:155 out:155 type:2 q:237 itex:25162 ptex:59658 mv:916 misc:7408 fcode:1 bcode:1 mc-var:74244 var:2625173 icount:43;
in:156 out:156 type:2 q:237 itex:9408 ptex:54193 mv:698 misc:6453 fcode:1 bcode:1 mc-var:40598 var:2619703 icount:21;
in:157 out:157 type:2 q:237 itex:16916 ptex:40774 mv:651 misc:6387 fcode:1 bcode:1 mc-var:43151 var:2637280 icount:28;
in:158 out:158 type:2 q:237 itex:10284 ptex:36275 mv:534 misc:6035 fcode:1 bcode:1 mc-var:20507 var:2625777 icount:17;
in:159 out:159 type:2 q:237 itex:6441 ptex:27942 mv:543 misc:5882 fcode:1 bcode:1 mc-var:12518 var:2624025 icount:14;
in:160 out:160 type:2 q:237 itex:312072 ptex:115504 mv:1103 misc:14657 fcode:1 bcode:1 mc-var:271660 var:2193703 icount:786;
in:161 out:161 type:2 q:237 itex:36359 ptex:342016 mv:2252 misc:12717 fcode:1 bcode:1 mc-var:106091 var:2410588 icount:76;
in:162 out:162 type:2 q:237 itex:36103 ptex:341543 mv:2148 misc:12494 fcode:1 bcode:1 mc-var:91655 var:2624594 icount:59;
in:163 out:163 type:2 q:237 itex:2232 ptex:29207 mv:788 misc:6501 fcode:1 bcode:1 mc-var:13070 var:2615867 icount:7;
in:164 out:164 type:2 q:237 itex:2698 ptex:20674 mv:487 misc:5557 fcode:1 bcode:1 mc-var:11599 var:2623762 icount:3;
in:165 out:165 type:2 q:237 itex:860 ptex:29127 mv:557 misc:5912 fcode:1 bcode:1 mc-var:6327 var:2619785 icount:2;
in:166 out:166 type:2 q:237 itex:1812 ptex:23723 mv:441 misc:5560 fcode:1 bcode:1 mc-var:13049 var:2625229 icount:3;
in:167 out:167 type:2 q:237 itex:2798 ptex:20119 mv:382 misc:5517 fcode:1 bcode:1 mc-var:9509 var:2621391 icount:5;
in:168 out:168 type:2 q:237 itex:2588 ptex:19178 mv:366 misc:5460 fcode:1 bcode:1 mc-var:8875 var:2625230 icount:5;
in:169 out:169 type:2 q:237 itex:2370 ptex:20952 mv:371 misc:5419 fcode:1 bcode:1 mc-var:19775 var:2630476 icount:4;
in:170 out:170 type:2 q:237 itex:859 ptex:25671 mv:401 misc:5429 fcode:1 bcode:1 mc-var:12158 var:2627768 icount:2;
in:171 out:171 type:2 q:237 itex:0 ptex:24366 mv:418 misc:5360 fcode:1 bcode:1 mc-var:6271 var:2630086 icount:0;
in:172 out:172 type:2 q:237 itex:546 ptex:21265 mv:380 misc:5281 fcode:1 bcode:1 mc-var:5556 var:2631518 icount:1;
in:173 out:173 type:2 q:237 itex:1915 ptex:17065 mv:376 misc:5276 fcode:1 bcode:1 mc-var:12322 var:2639259 icount:2;
in:174 out:174 type:2 q:237 itex:4050 ptex:24162 mv:446 misc:5470 fcode:1 bcode:1 mc-var:25004 var:2643240 icount:4;
in:175 out:175 type:2 q:237 itex:5407 ptex:22556 mv:408 misc:5573 fcode:1 bcode:1 mc-var:23272 var:2647217 icount:8;
in:176 out:176 type:2 q:237 itex:6574 ptex:27116 mv:403 misc:5483 fcode:1 bcode:1 mc-var:38765 var:2652059 icount:10;
in:177 out:177 type:2 q:237 itex:10236 ptex:32645 mv:466 misc:5853 fcode:1 bcode:1 mc-var:47144 var:2656779 icount:13;
in:178 out:178 type:2 q:237 itex:3718 ptex:45851 mv:581 misc:6082 fcode:1 bcode:1 mc-var:37595 var:2650954 icount:8;
in:179 out:179 type:2 q:237 itex:9249 ptex:34120 mv:490 misc:5797 fcode:1 bcode:1 mc-var:49934 var:2674565 icount:10;
in:180 out:180 type:2 q:237 itex:307911 ptex:126934 mv:987 misc:14552 fcode:1 bcode:1 mc-var:290773 var:2262065 icount:791;
in:181 out:181 type:2 q:237 itex:27481 ptex:266688 mv:2150 misc:12345 fcode:1 bcode:1 mc-var:96129 var:2417743 icount:49;
in:182 out:182 type:2 q:237 itex:52723 ptex:203089 mv:2130 misc:12570 fcode:1 bcode:1 mc-var:93461 var:2299792 icount:135;
in:183 out:183 type:2 q:237 itex:184501 ptex:364065 mv:1991 misc:13427 fcode:1 bcode:1 mc-var:326405 var:2722546 icount:285;
in:184 out:184 type:2 q:237 itex:22479 ptex:43362 mv:880 misc:6967 fcode:1 bcode:1 mc-var:57072 var:2727719 icount:28;
in:185 out:185 type:2 q:237 itex:14120 ptex:48809 mv:716 misc:6667 fcode:1 bcode:1 mc-var:48738 var:2721381 icount:22;
in:186 out:186 type:2 q:237 itex:82708 ptex:282710 mv:2100 misc:12954 fcode:1 bcode:1 mc-var:114438 var:2536768 icount:200;
in:187 out:187 type:2 q:237 itex:7355 ptex:37347 mv:1024 misc:7138 fcode:1 bcode:1 mc-var:20683 var:2530588 icount:12;
in:188 out:188 type:2 q:237 itex:7872 ptex:29714 mv:562 misc:5772 fcode:1 bcode:1 mc-var:32425 var:2544336 icount:11;
in:189 out:189 type:2 q:237 itex:10371 ptex:33441 mv:552 misc:5812 fcode:1 bcode:1 mc-var:40026 var:2553631 icount:14;
in:190 out:190 type:2 q:237 itex:12281 ptex:29504 mv:478 misc:5617 fcode:1 bcode:1 mc-var:23006 var:2542733 icount:18;
in:191 out:191 type:2 q:237 itex:8879 ptex:29095 mv:475 misc:5679 fcode:1 bcode:1 mc-var:29535 var:2534758 icount:18;
in:192 out:192 type:2 q:237 itex:10013 ptex:35183 mv:552 misc:5940 fcode:1 bcode:1 mc-var:21852 var:2523690 icount:19;
in:193 out:193 type:2 q:237 itex:7363 ptex:32501 mv:570 misc:5902 fcode:1 bcode:1 mc-var:19949 var:2517304 icount:15;
in:194 out:194 type:2 q:237 itex:4327 ptex:27302 mv:547 misc:5888 fcode:1 bcode:1 mc-var:13996 var:2516506 icount:7;
in:195 out:195 type:2 q:237 itex:3582 ptex:25641 mv:534 misc:5859 fcode:1 bcode:1 mc-var:6763 var:2513709 icount:9;
in:196 out:196 type:2 q:237 itex:246 ptex:25586 mv:474 misc:5630 fcode:1 bcode:1 mc-var:6456 var:2514115 icount:1;
in:197 out:197 type:2 q:237 itex:3056 ptex:32003 mv:483 misc:5698 fcode:1 bcode:1 mc-var:14294 var:2516735 icount:5;
in:198 out:198 type:2 q:237 itex:1697 ptex:29913 mv:480 misc:5694 fcode:1 bcode:1 mc-var:15521 var:2523839 icount:3;
in:199 out:199 type:2 q:237 itex:4416 ptex:26028 mv:433 misc:5667 fcode:1 bcode:1 mc-var:19102 var:2528219 icount:6;
in:200 out:200 type:2 q:237 itex:4117 ptex:23237 mv:387 misc:5459 fcode:1 bcode:1 mc-var:10982 var:2524754 icount:7;
in:201 out:201 type:2 q:237 itex:1636 ptex:22567 mv:393 misc:5356 fcode:1 bcode:1 mc-var:10969 var:2525898 icount:3;
in:202 out:202 type:2 q:237 itex:795 ptex:20872 mv:435 misc:5514 fcode:1 bcode:1 mc-var:5017 var:2527142 icount:4;
in:203 out:203 type:2 q:237 itex:4487 ptex:21547 mv:438 misc:5480 fcode:1 bcode:1 mc-var:13811 var:2535489 icount:6;
in:204 out:204 type:2 q:237 itex:3616 ptex:19624 mv:398 misc:5434 fcode:1 bcode:1 mc-var:7081 var:2530763 icount:5;
in:205 out:205 type:2 q:237 itex:0 ptex:21470 mv:432 misc:5450 fcode:1 bcode:1 mc-var:6748 var:2531579 icount:0;
in:206 out:206 type:2 q:237 itex:1962 ptex:21208 mv:408 misc:5454 fcode:1 bcode:1 mc-var:7949 var:2534769 icount:4;
in:207 out:207 type:2 q:237 itex:6607 ptex:20819 mv:415 misc:5591 fcode:1 bcode:1 mc-var:10575 var:2535626 icount:10;
in:208 out:208 type:2 q:237 itex:5008 ptex:27431 mv:469 misc:5644 fcode:1 bcode:1 mc-var:12441 var:2537564 icount:8;
in:209 out:209 type:2 q:237 itex:2653 ptex:27461 mv:511 misc:5855 fcode:1 bcode:1 mc-var:15479 var:2541103 icount:8;
in:210 out:210 type:2 q:237 itex:86518 ptex:227408 mv:1978 misc:12856 fcode:1 bcode:1 mc-var:66124 var:2403894 icount:252;
in:211 out:211 type:2 q:237 itex:23038 ptex:272413 mv:2163 misc:12482 fcode:1 bcode:1 mc-var:70221 var:2550047 icount:49;
in:212 out:212 type:2 q:237 itex:9593 ptex:26615 mv:861 misc:6739 fcode:1 bcode:1 mc-var:31186 var:2557972 icount:14;
in:213 out:213 type:2 q:237 itex:13920 ptex:29400 mv:531 misc:5973 fcode:1 bcode:1 mc-var:64822 var:2588718 icount:18;
in:214 out:214 type:2 q:237 itex:45258 ptex:229521 mv:2205 misc:12640 fcode:1 bcode:1 mc-var:79316 var:2487349 icount:106;
in:215 out:215 type:2 q:237 itex:159828 ptex:185658 mv:1708 misc:13790 fcode:1 bcode:1 mc-var:179195 var:2357491 icount:461;
in:216 out:216 type:2 q:237 itex:65546 ptex:270452 mv:2333 misc:13093 fcode:1 bcode:1 mc-var:194985 var:2569514 icount:90;
in:217 out:217 type:2 q:237 itex:70524 ptex:223480 mv:2062 misc:12366 fcode:1 bcode:1 mc-var:202820 var:2694274 icount:91;
in:218 out:218 type:2 q:237 itex:119472 ptex:226773 mv:2147 misc:13448 fcode:1 bcode:1 mc-var:254358 var:2545552 icount:250;
in:219 out:219 type:2 q:237 itex:253789 ptex:116320 mv:1312 misc:14755 fcode:1 bcode:1 mc-var:211478 var:2278942 icount:732;
in:220 out:220 type:2 q:237 itex:160561 ptex:298448 mv:2145 misc:13838 fcode:1 bcode:1 mc-var:298838 var:2623399 icount:278;
in:221 out:221 type:2 q:237 itex:62734 ptex:217589 mv:2139 misc:12578 fcode:1 bcode:1 mc-var:165226 var:2654586 icount:97;
in:222 out:222 type:2 q:237 itex:54868 ptex:195938 mv:1971 misc:12415 fcode:1 bcode:1 mc-var:128891 var:2668378 icount:94;
in:223 out:223 type:2 q:237 itex:46101 ptex:59686 mv:1081 misc:7876 fcode:1 bcode:1 mc-var:153613 var:2691572 icount:68;
in:224 out:224 type:2 q:237 itex:40245 ptex:51346 mv:775 misc:7314 fcode:1 bcode:1 mc-var:137843 var:2653385 icount:72;
in:225 out:225 type:2 q:237 itex:32584 ptex:48627 mv:771 misc:6930 fcode:1 bcode:1 mc-var:122312 var:2655735 icount:45;
in:226 out:226 type:2 q:237 itex:27002 ptex:41005 mv:650 misc:6479 fcode:1 bcode:1 mc-var:80143 var:2622121 icount:44;
in:227 out:227 type:2 q:237 itex:18458 ptex:36427 mv:556 misc:6255 fcode:1 bcode:1 mc-var:36186 var:2597635 icount:38;
in:228 out:228 type:2 q:237 itex:14864 ptex:41082 mv:605 misc:6321 fcode:1 bcode:1 mc-var:46724 var:2603750 icount:26;
in:229 out:229 type:2 q:237 itex:10036 ptex:30890 mv:494 misc:6044 fcode:1 bcode:1 mc-var:26329 var:2600186 icount:25;
in:230 out:230 type:2 q:237 itex:7839 ptex:33174 mv:544 misc:6163 fcode:1 bcode:1 mc-var:33140 var:2591609 icount:21;
in:231 out:231 type:2 q:237 itex:9476 ptex:30657 mv:525 misc:6006 fcode:1 bcode:1 mc-var:22741 var:2588666 icount:17;
in:232 out:232 type:2 q:237 itex:5555 ptex:38642 mv:581 misc:6086 fcode:1 bcode:1 mc-var:23276 var:2591153 icount:15;
in:233 out:233 type:2 q:237 itex:9064 ptex:31814 mv:513 misc:5889 fcode:1 bcode:1 mc-var:21694 var:2593828 icount:17;
in:234 out:234 type:2 q:237 itex:8917 ptex:28280 mv:519 misc:5900 fcode:1 bcode:1 mc-var:23261 var:2585947 icount:15;
in:235 out:235 type:2 q:237 itex:18652 ptex:28764 mv:522 misc:5998 fcode:1 bcode:1 mc-var:51173 var:2612940 icount:27;
in:236 out:236 type:2 q:237 itex:21287 ptex:35006 mv:590 misc:6253 fcode:1 bcode:1 mc-var:71170 var:2602379 icount:30;
in:237 out:237 type:2 q:237 itex:296292 ptex:91217 mv:903 misc:15484 fcode:1 bcode:1 mc-var:231025 var:2244282 icount:904;
in:238 out:238 type:2 q:237 itex:137948 ptex:316974 mv:2162 misc:13700 fcode:1 bcode:1 mc-var:207879 var:2545279 icount:248;
in:239 out:239 type:2 q:237 itex:16777 ptex:211346 mv:2073 misc:12236 fcode:1 bcode:1 mc-var:49592 var:2598510 icount:37;
in:240 out:240 type:2 q:237 itex:13963 ptex:36137 mv:806 misc:6854 fcode:1 bcode:1 mc-var:47967 var:2623303 icount:22;
in:241 out:241 type:2 q:237 itex:13624 ptex:46127 mv:660 misc:6405 fcode:1 bcode:1 mc-var:48815 var:2618586 icount:18;
in:242 out:242 type:2 q:237 itex:11488 ptex:46219 mv:654 misc:6343 fcode:1 bcode:1 mc-var:53591 var:2625514 icount:14;
in:243 out:243 type:2 q:237 itex:18925 ptex:147606 mv:1814 misc:11327 fcode:1 bcode:1 mc-var:50565 var:2558138 icount:43;
in:244 out:244 type:2 q:237 itex:13869 ptex:144307 mv:1786 misc:11350 fcode:1 bcode:1 mc-var:54540 var:2620246 icount:29;
in:245 out:245 type:2 q:237 itex:6829 ptex:39356 mv:826 misc:6645 fcode:1 bcode:1 mc-var:30800 var:2611294 icount:19;
in:246 out:246 type:2 q:237 itex:10338 ptex:25815 mv:529 misc:5918 fcode:1 bcode:1 mc-var:33230 var:2631523 icount:18;
in:247 out:247 type:2 q:237 itex:6392 ptex:27819 mv:458 misc:5787 fcode:1 bcode:1 mc-var:15553 var:2627764 icount:15;
in:248 out:248 type:2 q:237 itex:11555 ptex:27441 mv:506 misc:5946 fcode:1 bcode:1 mc-var:40785 var:2643823 icount:20;
in:249 out:249 type:2 q:237 itex:10939 ptex:37054 mv:572 misc:6051 fcode:1 bcode:1 mc-var:46896 var:2643341 icount:21;
in:250 out:250 type:2 q:237 itex:14944 ptex:30259 mv:479 misc:5814 fcode:1 bcode:1 mc-var:36994 var:2657012 icount:24;
in:251 out:251 type:2 q:237 itex:20352 ptex:30041 mv:497 misc:5862 fcode:1 bcode:1 mc-var:62019 var:2658220 icount:28;
in:252 out:252 type:2 q:237 itex:15785 ptex:42580 mv:553 misc:6074 fcode:1 bcode:1 mc-var:70460 var:2664800 icount:22;
in:253 out:253 type:2 q:237 itex:26822 ptex:44519 mv:681 misc:6386 fcode:1 bcode:1 mc-var:63892 var:2660038 icount:38;
in:254 out:254 type:2 q:237 itex:10477 ptex:43516 mv:638 misc:6257 fcode:1 bcode:1 mc-var:41322 var:2639259 icount:23;
in:255 out:255 type:2 q:237 itex:13931 ptex:43922 mv:643 misc:6328 fcode:1 bcode:1 mc-var:31060 var:2622277 icount:24;
in:256 out:256 type:2 q:237 itex:10032 ptex:39028 mv:624 misc:6292 fcode:1 bcode:1 mc-var:29849 var:2627154 icount:21;
in:257 out:257 type:2 q:237 itex:12350 ptex:38861 mv:605 misc:6296 fcode:1 bcode:1 mc-var:26344 var:2619972 icount:25;
in:258 out:258 type:2 q:237 itex:8422 ptex:33050 mv:599 misc:6081 fcode:1 bcode:1 mc-var:23414 var:2608089 icount:18;
in:259 out:259 type:2 q:237 itex:5399 ptex:25725 mv:468 misc:5744 fcode:1 bcode:1 mc-var:16690 var:2604555 icount:12;
in:260 out:260 type:2 q:237 itex:2166 ptex:32867 mv:536 misc:5991 fcode:1 bcode:1 mc-var:7652 var:2602492 icount:9;
in:261 out:261 type:2 q:237 itex:6271 ptex:26616 mv:469 misc:5748 fcode:1 bcode:1 mc-var:26866 var:2615793 icount:7;
in:262 out:262 type:2 q:237 itex:3626 ptex:29343 mv:444 misc:5731 fcode:1 bcode:1 mc-var:18195 var:2610868 icount:7;
in:263 out:263 type:2 q:237 itex:38359 ptex:220202 mv:2115 misc:12684 fcode:1 bcode:1 mc-var:41096 var:2509558 icount:117;
in:264 out:264 type:1 q:190 itex:582549 ptex:0 mv:0 misc:26287 fcode:1 bcode:1 mc-var:0 var:2589882 icount:4275;
in:265 out:265 type:2 q:237 itex:27456 ptex:124870 mv:2389 misc:11981 fcode:1 bcode:1 mc-var:116828 var:2671621 icount:31;
in:266 out:266 type:2 q:237 itex:186272 ptex:237841 mv:1915 misc:14436 fcode:1 bcode:1 mc-var:269144 var:2517299 icount:444;
in:267 out:267 type:2 q:237 itex:118603 ptex:150457 mv:1745 misc:11923 fcode:1 bcode:1 mc-var:444068 var:2748368 icount:129;
in:268 out:268 type:2 q:237 itex:219666 ptex:277503 mv:2112 misc:13983 fcode:1 bcode:1 mc-var:880124 var:3092840 icount:212;
in:269 out:269 type:2 q:237 itex:411745 ptex:194777 mv:1646 misc:16024 fcode:1 bcode:1 mc-var:883885 var:2820455 icount:733;
in:270 out:270 type:2 q:237 itex:266125 ptex:197298 mv:2119 misc:14946 fcode:1 bcode:1 mc-var:695822 var:2689449 icount:429;
in:271 out:271 type:2 q:237 itex:255444 ptex:243298 mv:2317 misc:15229 fcode:1 bcode:1 mc-var:717510 var:2902168 icount:330;
in:272 out:272 type:2 q:237 itex:263624 ptex:111808 mv:1561 misc:12703 fcode:1 bcode:1 mc-var:692045 var:2864318 icount:351;
in:273 out:273 type:2 q:237 itex:413582 ptex:70498 mv:807 misc:18737 fcode:1 bcode:1 mc-var:449891 var:2310193 icount:1242;
in:274 out:274 type:2 q:237 itex:607543 ptex:215653 mv:1872 misc:17636 fcode:1 bcode:1 mc-var:1229147 var:3225266 icount:866;
in:275 out:275 type:2 q:237 itex:295002 ptex:138743 mv:1457 misc:12614 fcode:1 bcode:1 mc-var:842348 var:3088328 icount:401;
in:276 out:276 type:2 q:237 itex:253335 ptex:215426 mv:2277 misc:15650 fcode:1 bcode:1 mc-var:566910 var:2824747 icount:407;
in:277 out:277 type:2 q:237 itex:340417 ptex:436392 mv:2550 misc:16777 fcode:1 bcode:1 mc-var:807676 var:3293833 icount:462;
in:278 out:278 type:2 q:237 itex:231009 ptex:132653 mv:1453 misc:11677 fcode:1 bcode:1 mc-var:581081 var:3206303 icount:324;
in:279 out:279 type:2 q:237 itex:455283 ptex:166184 mv:1376 misc:18485 fcode:1 bcode:1 mc-var:446193 var:2640052 icount:1056;
in:280 out:280 type:2 q:237 itex:130111 ptex:209845 mv:2386 misc:15306 fcode:1 bcode:1 mc-var:191666 var:2466864 icount:314;
in:281 out:281 type:2 q:237 itex:113049 ptex:120926 mv:1921 misc:12840 fcode:1 bcode:1 mc-var:223200 var:2486844 icount:253;
in:282 out:282 type:2 q:237 itex:197772 ptex:395485 mv:2877 misc:16746 fcode:1 bcode:1 mc-var:343013 var:2822138 icount:347;
in:283 out:283 type:2 q:237 itex:113836 ptex:399088 mv:2812 misc:15968 fcode:1 bcode:1 mc-var:280573 var:2973214 icount:203;
in:284 out:284 type:2 q:237 itex:55656 ptex:99460 mv:1558 misc:10222 fcode:1 bcode:1 mc-var:140834 var:2898606 icount:114;
in:285 out:285 type:2 q:237 itex:51916 ptex:88119 mv:1275 misc:9258 fcode:1 bcode:1 mc-var:106852 var:2903149 icount:96;
in:286 out:286 type:2 q:237 itex:28841 ptex:85137 mv:1136 misc:8358 fcode:1 bcode:1 mc-var:76746 var:2855239 icount:64;
in:287 out:287 type:2 q:237 itex:35954 ptex:63517 mv:923 misc:7774 fcode:1 bcode:1 mc-var:100185 var:2866698 icount:59;
in:288 out:288 type:2 q:237 itex:20791 ptex:62747 mv:962 misc:7508 fcode:1 bcode:1 mc-var:67689 var:2842578 icount:45;
in:289 out:289 type:2 q:237 itex:14892 ptex:66210 mv:934 misc:7300 fcode:1 bcode:1 mc-var:39571 var:2833686 icount:33;
in:290 out:290 type:2 q:237 itex:16658 ptex:57353 mv:798 misc:6863 fcode:1 bcode:1 mc-var:52070 var:2841927 icount:29;
in:291 out:291 type:2 q:237 itex:14954 ptex:44670 mv:693 misc:6555 fcode:1 bcode:1 mc-var:37393 var:2826663 icount:26;
in:292 out:292 type:2 q:237 itex:6072 ptex:42083 mv:661 misc:6424 fcode:1 bcode:1 mc-var:21435 var:2814707 icount:18;
in:293 out:293 type:2 q:237 itex:4116 ptex:36825 mv:625 misc:6258 fcode:1 bcode:1 mc-var:10597 var:2814159 icount:11;
in:294 out:294 type:2 q:237 itex:5224 ptex:33587 mv:573 misc:6080 fcode:1 bcode:1 mc-var:16415 var:2819353 icount:9;
in:295 out:295 type:2 q:237 itex:7003 ptex:36608 mv:572 misc:6073 fcode:1 bcode:1 mc-var:15755 var:2819629 icount:10;
in:296 out:296 type:2 q:237 itex:8587 ptex:31328 mv:560 misc:6077 fcode:1 bcode:1 mc-var:21820 var:2818307 icount:17;
in:297 out:297 type:2 q:237 itex:241587 ptex:270560 mv:2249 misc:17012 fcode:1 bcode:1 mc-var:159749 var:2490717 icount:643;
in:298 out:298 type:2 q:237 itex:81944 ptex:457313 mv:2965 misc:15986 fcode:1 bcode:1 mc-var:170132 var:2816852 icount:144;
in:299 out:299 type:2 q:237 itex:3647 ptex:38457 mv:945 misc:6943 fcode:1 bcode:1 mc-var:15243 var:2812694 icount:7;
in:300 out:300 type:2 q:237 itex:2555 ptex:29361 mv:546 misc:5866 fcode:1 bcode:1 mc-var:14043 var:2807612 icount:5;
in:301 out:301 type:2 q:237 itex:3434 ptex:25054 mv:445 misc:5659 fcode:1 bcode:1 mc-var:12590 var:2811125 icount:5;
in:302 out:302 type:2 q:237 itex:3961 ptex:29233 mv:495 misc:5855 fcode:1 bcode:1 mc-var:12883 var:2806944 icount:7;
in:303 out:303 type:2 q:237 itex:5640 ptex:136252 mv:1888 misc:11668 fcode:1 bcode:1 mc-var:13671 var:2765233 icount:16;
in:304 out:304 type:2 q:237 itex:3414 ptex:140752 mv:1928 misc:11762 fcode:1 bcode:1 mc-var:19231 var:2808213 icount:8;
in:305 out:305 type:2 q:237 itex:4497 ptex:37386 mv:829 misc:6696 fcode:1 bcode:1 mc-var:22140 var:2814124 icount:6;
in:306 out:306 type:2 q:237 itex:5704 ptex:40607 mv:650 misc:6231 fcode:1 bcode:1 mc-var:24659 var:2811847 icount:8;
in:307 out:307 type:2 q:237 itex:4491 ptex:40851 mv:641 misc:5985 fcode:1 bcode:1 mc-var:20600 var:2810882 icount:7;
in:308 out:308 type:2 q:237 itex:8894 ptex:37623 mv:536 misc:5995 fcode:1 bcode:1 mc-var:28248 var:2818526 icount:10;
in:309 out:309 type:2 q:237 itex:6150 ptex:37443 mv:599 misc:6184 fcode:1 bcode:1 mc-var:16422 var:2813629 icount:9;
in:310 out:310 type:2 q:237 itex:3093 ptex:33108 mv:562 misc:6005 fcode:1 bcode:1 mc-var:12822 var:2811781 icount:8;
in:311 out:311 type:2 q:237 itex:5072 ptex:28117 mv:515 misc:5848 fcode:1 bcode:1 mc-var:14890 var:2814477 icount:10;
in:312 out:312 type:2 q:237 itex:1735 ptex:27902 mv:539 misc:5936 fcode:1 bcode:1 mc-var:14770 var:2815384 icount:4;
in:313 out:313 type:2 q:237 itex:2942 ptex:26968 mv:497 misc:5841 fcode:1 bcode:1 mc-var:16773 var:2807636 icount:6;
in:314 out:314 type:2 q:237 itex:3346 ptex:29605 mv:506 misc:5823 fcode:1 bcode:1 mc-var:16098 var:2793262 icount:8;
in:315 out:315 type:2 q:237 itex:5907 ptex:29992 mv:541 misc:5880 fcode:1 bcode:1 mc-var:20754 var:2772935 icount:10;
in:316 out:316 type:2 q:237 itex:5561 ptex:32348 mv:581 misc:5982 fcode:1 bcode:1 mc-var:15043 var:2758874 icount:10;
in:317 out:317 type:2 q:237 itex:4210 ptex:33158 mv:587 misc:5941 fcode:1 bcode:1 mc-var:10888 var:2748549 icount:10;
in:318 out:318 type:2 q:237 itex:6897 ptex:25697 mv:491 misc:5787 fcode:1 bcode:1 mc-var:13458 var:2739304 icount:13;
in:319 out:319 type:2 q:237 itex:4623 ptex:29703 mv:516 misc:5798 fcode:1 bcode:1 mc-var:23431 var:2736393 icount:8;
in:320 out:320 type:2 q:237 itex:4447 ptex:34175 mv:648 misc:6074 fcode:1 bcode:1 mc-var:10033 var:2726497 icount:8;
in:321 out:321 type:2 q:237 itex:2849 ptex:30856 mv:611 misc:6060 fcode:1 bcode:1 mc-var:11198 var:2725867 icount:6;
in:322 out:322 type:2 q:237 itex:3416 ptex:27473 mv:516 misc:5859 fcode:1 bcode:1 mc-var:16106 var:2728821 icount:6;
in:323 out:323 type:2 q:237 itex:1072 ptex:29268 mv:533 misc:5791 fcode:1 bcode:1 mc-var:10409 var:2720740 icount:4;
in:324 out:324 type:2 q:237 itex:2416 ptex:31074 mv:536 misc:5886 fcode:1 bcode:1 mc-var:8365 var:2719927 icount:5;
in:325 out:325 type:2 q:237 itex:1632 ptex:36973 mv:587 misc:5944 fcode:1 bcode:1 mc-var:9873 var:2719440 icount:4;
in:326 out:326 type:2 q:237 itex:1749 ptex:30857 mv:547 misc:5911 fcode:1 bcode:1 mc-var:6680 var:2717198 icount:4;