in:0 out:0 type:1 q:4.145556 itex:4814 ptex:0 mv:0 misc:1800 fcode:1 bcode:1 mc-var:0 var:600 icount:300;
in:1 out:1 type:2 q:2.772525 itex:0 ptex:0 mv:0 misc:300 fcode:1 bcode:1 mc-var:0 var:600 icount:0;
in:2 out:2 type:1 q:2.490221 itex:37960 ptex:0 mv:0 misc:2054 fcode:1 bcode:1 mc-var:5646878 var:296474 icount:300;
in:3 out:3 type:2 q:2.155471 itex:86 ptex:4879 mv:984 misc:1096 fcode:3 bcode:1 mc-var:977 var:311522 icount:2;
in:4 out:4 type:2 q:2.062442 itex:86 ptex:6821 mv:1162 misc:1236 fcode:2 bcode:1 mc-var:957 var:323260 icount:2;
in:5 out:5 type:2 q:2.046901 itex:29 ptex:4144 mv:815 misc:969 fcode:2 bcode:1 mc-var:682 var:326592 icount:1;
in:6 out:6 type:2 q:2.051230 itex:60 ptex:7107 mv:1179 misc:1388 fcode:2 bcode:1 mc-var:936 var:320054 icount:1;
in:7 out:7 type:2 q:2.060830 itex:37 ptex:4179 mv:562 misc:916 fcode:1 bcode:1 mc-var:629 var:308239 icount:1;
in:8 out:8 type:2 q:2.085041 itex:644 ptex:8317 mv:1092 misc:1298 fcode:3 bcode:1 mc-var:1827 var:278614 icount:1;
in:9 out:9 type:2 q:2.090896 itex:0 ptex:4153 mv:563 misc:896 fcode:1 bcode:1 mc-var:710 var:251984 icount:0;
in:10 out:10 type:2 q:2.116008 itex:690 ptex:12731 mv:1152 misc:1450 fcode:3 bcode:1 mc-var:2125 var:211365 icount:12;
in:11 out:11 type:2 q:2.136578 itex:904 ptex:6392 mv:633 misc:1177 fcode:1 bcode:1 mc-var:1203 var:196911 icount:20;
in:12 out:12 type:2 q:2.192020 itex:435 ptex:13766 mv:1245 misc:1379 fcode:3 bcode:1 mc-var:4013 var:201429 icount:2;
in:13 out:13 type:2 q:2.211531 itex:0 ptex:8802 mv:1307 misc:1182 fcode:3 bcode:1 mc-var:2309 var:217632 icount:0;
in:14 out:14 type:2 q:2.256866 itex:476 ptex:14080 mv:1332 misc:1374 fcode:4 bcode:1 mc-var:4650 var:248404 icount:2;
in:15 out:15 type:2 q:2.257050 itex:0 ptex:10097 mv:1184 misc:1150 fcode:4 bcode:1 mc-var:2230 var:266161 icount:0;
in:16 out:16 type:2 q:2.304678 itex:30 ptex:15312 mv:1326 misc:1403 fcode:4 bcode:1 mc-var:4452 var:277234 icount:1;
in:17 out:17 type:2 q:2.306612 itex:0 ptex:11580 mv:1090 misc:1092 fcode:4 bcode:1 mc-var:2360 var:273147 icount:0;
in:18 out:18 type:2 q:2.367300 itex:923 ptex:15254 mv:1287 misc:1410 fcode:4 bcode:1 mc-var:4855 var:246903 icount:2;
in:19 out:19 type:2 q:2.345565 itex:340 ptex:12211 mv:1252 misc:1324 fcode:4 bcode:1 mc-var:1907 var:221586 icount:1;
in:20 out:20 type:2 q:2.392124 itex:1193 ptex:14193 mv:1416 misc:1592 fcode:4 bcode:1 mc-var:3044 var:176213 icount:3;
in:21 out:21 type:2 q:2.367618 itex:0 ptex:12529 mv:1283 misc:1322 fcode:4 bcode:1 mc-var:1283 var:144946 icount:0;
in:22 out:22 type:2 q:2.416588 itex:280 ptex:13870 mv:1329 misc:1557 fcode:4 bcode:1 mc-var:2056 var:108587 icount:5;
in:23 out:23 type:2 q:2.429519 itex:0 ptex:10811 mv:915 misc:1150 fcode:4 bcode:1 mc-var:1625 var:98393 icount:0;
in:24 out:24 type:2 q:2.465446 itex:153 ptex:15751 mv:1432 misc:1480 fcode:4 bcode:1 mc-var:2575 var:110633 icount:2;
in:25 out:25 type:2 q:2.474644 itex:0 ptex:11553 mv:944 misc:1036 fcode:4 bcode:1 mc-var:1910 var:129109 icount:0;
in:26 out:26 type:2 q:2.485115 itex:178 ptex:13640 mv:1173 misc:1308 fcode:4 bcode:1 mc-var:2264 var:151276 icount:2;
in:27 out:27 type:2 q:2.482907 itex:401 ptex:10596 mv:693 misc:1026 fcode:3 bcode:1 mc-var:1865 var:161396 icount:1;
in:28 out:28 type:2 q:2.495047 itex:0 ptex:13671 mv:1013 misc:1289 fcode:3 bcode:1 mc-var:2419 var:167772 icount:0;
in:29 out:29 type:2 q:2.486983 itex:485 ptex:11502 mv:743 misc:1052 fcode:3 bcode:1 mc-var:1872 var:166793 icount:1;
in:30 out:30 type:2 q:2.492286 itex:130 ptex:13745 mv:1148 misc:1440 fcode:3 bcode:1 mc-var:2024 var:159549 icount:3;
in:31 out:31 type:2 q:2.485812 itex:0 ptex:11124 mv:760 misc:1149 fcode:3 bcode:1 mc-var:1494 var:153639 icount:0;
in:32 out:32 type:2 q:2.491359 itex:80 ptex:10972 mv:904 misc:1138 fcode:3 bcode:1 mc-var:1673 var:150742 icount:2;
in:33 out:33 type:2 q:2.481668 itex:0 ptex:10174 mv:830 misc:1305 fcode:3 bcode:1 mc-var:1531 var:151753 icount:0;
in:34 out:34 type:2 q:2.475214 itex:0 ptex:9310 mv:658 misc:962 fcode:3 bcode:1 mc-var:1563 var:152615 icount:0;
in:35 out:35 type:2 q:2.391095 itex:0 ptex:4315 mv:283 misc:768 fcode:1 bcode:1 mc-var:619 var:152817 icount:0;
in:36 out:36 type:2 q:2.336868 itex:0 ptex:4934 mv:399 misc:803 fcode:1 bcode:1 mc-var:733 var:153067 icount:0;
in:37 out:37 type:2 q:2.286371 itex:0 ptex:3685 mv:238 misc:647 fcode:1 bcode:1 mc-var:539 var:153007 icount:0;
in:38 out:38 type:2 q:2.266087 itex:0 ptex:5130 mv:374 misc:782 fcode:1 bcode:1 mc-var:779 var:153183 icount:0;
in:39 out:39 type:2 q:2.238596 itex:0 ptex:3343 mv:282 misc:701 fcode:1 bcode:1 mc-var:513 var:153346 icount:0;
in:40 out:40 type:2 q:2.224145 itex:0 ptex:4189 mv:306 misc:704 fcode:1 bcode:1 mc-var:628 var:153298 icount:0;
in:41 out:41 type:2 q:2.216622 itex:0 ptex:4978 mv:280 misc:787 fcode:1 bcode:1 mc-var:637 var:153331 icount:0;
in:42 out:42 type:2 q:2.232906 itex:0 ptex:7042 mv:430 misc:876 fcode:1 bcode:1 mc-var:890 var:153239 icount:0;
in:43 out:43 type:2 q:2.237783 itex:46 ptex:4877 mv:266 misc:759 fcode:1 bcode:1 mc-var:639 var:153047 icount:2;
in:44 out:44 type:2 q:2.256691 itex:0 ptex:6488 mv:362 misc:795 fcode:1 bcode:1 mc-var:1031 var:152875 icount:0;
in:45 out:45 type:2 q:2.249947 itex:0 ptex:5912 mv:372 misc:837 fcode:1 bcode:1 mc-var:753 var:152721 icount:0;
in:46 out:46 type:2 q:2.268885 itex:0 ptex:7010 mv:416 misc:819 fcode:1 bcode:1 mc-var:1111 var:152958 icount:0;
in:47 out:47 type:2 q:2.257130 itex:0 ptex:5412 mv:304 misc:756 fcode:1 bcode:1 mc-var:732 var:152815 icount:0;
in:48 out:48 type:2 q:2.253531 itex:0 ptex:5677 mv:274 misc:699 fcode:1 bcode:1 mc-var:826 var:152608 icount:0;
in:49 out:49 type:2 q:2.238991 itex:0 ptex:4717 mv:221 misc:663 fcode:1 bcode:1 mc-var:669 var:152633 icount:0;
in:50 out:50 type:2 q:2.234224 itex:0 ptex:5318 mv:371 misc:771 fcode:1 bcode:1 mc-var:810 var:152083 icount:0;
in:51 out:51 type:2 q:2.222735 itex:0 ptex:4123 mv:245 misc:683 fcode:1 bcode:1 mc-var:655 var:152161 icount:0;
in:52 out:52 type:2 q:2.814361 itex:12756 ptex:5495 mv:961 misc:1422 fcode:4 bcode:1 mc-var:183564 var:219853 icount:55;
in:53 out:53 type:2 q:2.442675 itex:60 ptex:4693 mv:222 misc:878 fcode:1 bcode:1 mc-var:912 var:221586 icount:2;
in:54 out:54 type:2 q:2.271085 itex:32 ptex:1444 mv:90 misc:427 fcode:1 bcode:1 mc-var:265 var:221645 icount:1;
in:55 out:55 type:2 q:2.183420 itex:0 ptex:1123 mv:56 misc:401 fcode:1 bcode:1 mc-var:244 var:221764 icount:0;
in:56 out:56 type:2 q:2.139853 itex:0 ptex:1569 mv:42 misc:384 fcode:1 bcode:1 mc-var:318 var:221801 icount:0;
in:57 out:57 type:2 q:2.132365 itex:0 ptex:4170 mv:121 misc:556 fcode:1 bcode:1 mc-var:671 var:221950 icount:0;
in:58 out:58 type:2 q:2.133899 itex:69 ptex:3135 mv:105 misc:548 fcode:1 bcode:1 mc-var:466 var:222086 icount:1;
in:59 out:59 type:2 q:2.145803 itex:0 ptex:3582 mv:88 misc:462 fcode:1 bcode:1 mc-var:638 var:222377 icount:0;
in:60 out:60 type:2 q:2.139941 itex:0 ptex:2733 mv:73 misc:459 fcode:1 bcode:1 mc-var:437 var:222569 icount:0;
in:61 out:61 type:2 q:2.146555 itex:0 ptex:3617 mv:68 misc:425 fcode:1 bcode:1 mc-var:700 var:222415 icount:0;
in:62 out:62 type:2 q:2.139490 itex:0 ptex:3209 mv:71 misc:447 fcode:1 bcode:1 mc-var:499 var:222569 icount:0;
in:63 out:63 type:2 q:2.140791 itex:0 ptex:3454 mv:97 misc:492 fcode:1 bcode:1 mc-var:583 var:222353 icount:0;
in:64 out:64 type:2 q:2.132080 itex:0 ptex:2760 mv:51 misc:416 fcode:1 bcode:1 mc-var:396 var:222619 icount:0;
in:65 out:65 type:2 q:2.132159 itex:0 ptex:2792 mv:66 misc:436 fcode:1 bcode:1 mc-var:509 var:222636 icount:0;
in:66 out:66 type:2 q:2.120282 itex:0 ptex:2572 mv:59 misc:426 fcode:1 bcode:1 mc-var:351 var:222520 icount:0;
in:67 out:67 type:2 q:2.119418 itex:0 ptex:2504 mv:64 misc:437 fcode:1 bcode:1 mc-var:431 var:222625 icount:0;
in:68 out:68 type:2 q:2.108094 itex:0 ptex:1927 mv:42 misc:410 fcode:1 bcode:1 mc-var:288 var:222607 icount:0;
in:69 out:69 type:2 q:2.099992 itex:0 ptex:1796 mv:30 misc:384 fcode:1 bcode:1 mc-var:283 var:222716 icount:0;
in:70 out:70 type:2 q:2.094288 itex:0 ptex:2120 mv:42 misc:412 fcode:1 bcode:1 mc-var:297 var:222750 icount:0;
in:71 out:71 type:2 q:2.097545 itex:66 ptex:3450 mv:220 misc:697 fcode:1 bcode:1 mc-var:395 var:223116 icount:3;
in:72 out:72 type:2 q:2.102533 itex:0 ptex:1876 mv:124 misc:507 fcode:1 bcode:1 mc-var:277 var:223380 icount:0;
in:73 out:73 type:2 q:2.100041 itex:0 ptex:2116 mv:134 misc:592 fcode:1 bcode:1 mc-var:286 var:223513 icount:0;
in:74 out:74 type:2 q:2.551942 itex:23915 ptex:5501 mv:838 misc:1719 fcode:5 bcode:1 mc-var:254370 var:169793 icount:76;
in:75 out:75 type:2 q:2.418538 itex:2313 ptex:10410 mv:267 misc:1099 fcode:1 bcode:1 mc-var:11413 var:171783 icount:2;
in:76 out:76 type:2 q:2.330623 itex:2417 ptex:4785 mv:99 misc:560 fcode:1 bcode:1 mc-var:4738 var:170393 icount:2;
in:77 out:77 type:2 q:2.320531 itex:2222 ptex:7098 mv:180 misc:639 fcode:1 bcode:1 mc-var:9251 var:171887 icount:2;
in:78 out:78 type:2 q:2.253023 itex:0 ptex:6581 mv:101 misc:519 fcode:1 bcode:1 mc-var:2813 var:171751 icount:0;
in:79 out:79 type:2 q:2.220014 itex:0 ptex:6781 mv:120 misc:622 fcode:1 bcode:1 mc-var:2218 var:171111 icount:0;
in:80 out:80 type:2 q:2.270722 itex:4619 ptex:4360 mv:114 misc:617 fcode:1 bcode:1 mc-var:7490 var:164465 icount:6;
in:81 out:81 type:2 q:2.313760 itex:6178 ptex:4389 mv:79 misc:569 fcode:1 bcode:1 mc-var:12816 var:171118 icount:6;
in:82 out:82 type:2 q:2.244747 itex:1096 ptex:4529 mv:70 misc:501 fcode:1 bcode:1 mc-var:2557 var:170600 icount:1;
in:83 out:83 type:2 q:2.201597 itex:0 ptex:6683 mv:72 misc:473 fcode:1 bcode:1 mc-var:1685 var:171054 icount:0;
in:84 out:84 type:2 q:2.168997 itex:0 ptex:5922 mv:78 misc:510 fcode:1 bcode:1 mc-var:699 var:171839 icount:0;
in:85 out:85 type:2 q:2.190641 itex:0 ptex:5890 mv:83 misc:514 fcode:1 bcode:1 mc-var:1296 var:171111 icount:0;
in:86 out:86 type:2 q:2.185328 itex:0 ptex:5191 mv:70 misc:500 fcode:1 bcode:1 mc-var:972 var:171112 icount:0;
in:87 out:87 type:2 q:2.235101 itex:0 ptex:8874 mv:87 misc:492 fcode:1 bcode:1 mc-var:3692 var:171297 icount:0;
in:88 out:88 type:2 q:2.232693 itex:0 ptex:7976 mv:148 misc:670 fcode:1 bcode:1 mc-var:2385 var:171184 icount:0;
in:89 out:89 type:2 q:2.243547 itex:1170 ptex:6955 mv:116 misc:619 fcode:1 bcode:1 mc-var:2853 var:171689 icount:1;
in:90 out:90 type:2 q:2.236254 itex:0 ptex:7411 mv:112 misc:552 fcode:1 bcode:1 mc-var:2263 var:171990 icount:0;
in:91 out:91 type:2 q:2.282781 itex:3016 ptex:6012 mv:109 misc:600 fcode:1 bcode:1 mc-var:6190 var:172133 icount:3;
in:92 out:92 type:2 q:2.254237 itex:0 ptex:7931 mv:100 misc:538 fcode:1 bcode:1 mc-var:3036 var:171895 icount:0;
in:93 out:93 type:2 q:2.250032 itex:0 ptex:7967 mv:104 misc:520 fcode:1 bcode:1 mc-var:3418 var:172734 icount:0;
in:94 out:94 type:2 q:2.244176 itex:0 ptex:8242 mv:105 misc:538 fcode:1 bcode:1 mc-var:3241 var:171273 icount:0;
in:95 out:95 type:2 q:2.459238 itex:16674 ptex:6458 mv:1092 misc:1388 fcode:4 bcode:1 mc-var:58845 var:166444 icount:43;
in:96 out:96 type:2 q:2.271847 itex:0 ptex:5911 mv:169 misc:669 fcode:1 bcode:1 mc-var:628 var:166908 icount:0;
in:97 out:97 type:2 q:2.251979 itex:0 ptex:8135 mv:200 misc:689 fcode:1 bcode:1 mc-var:1439 var:166672 icount:0;
in:98 out:98 type:2 q:2.210815 itex:0 ptex:5495 mv:117 misc:560 fcode:1 bcode:1 mc-var:562 var:166462 icount:0;
in:99 out:99 type:2 q:2.229976 itex:0 ptex:7544 mv:150 misc:588 fcode:1 bcode:1 mc-var:1376 var:166042 icount:0;
in:100 out:100 type:2 q:2.210763 itex:88 ptex:6458 mv:102 misc:561 fcode:1 bcode:1 mc-var:757 var:166182 icount:1;
in:101 out:101 type:2 q:2.226742 itex:0 ptex:8574 mv:245 misc:645 fcode:1 bcode:1 mc-var:1272 var:166176 icount:0;
in:102 out:102 type:2 q:2.213168 itex:0 ptex:6418 mv:137 misc:590 fcode:1 bcode:1 mc-var:692 var:166284 icount:0;
in:103 out:103 type:2 q:2.225395 itex:0 ptex:7635 mv:222 misc:653 fcode:1 bcode:1 mc-var:1070 var:166035 icount:0;
in:104 out:104 type:2 q:2.225437 itex:0 ptex:7000 mv:114 misc:579 fcode:1 bcode:1 mc-var:948 var:165499 icount:0;
in:105 out:105 type:2 q:2.239507 itex:0 ptex:8446 mv:213 misc:647 fcode:1 bcode:1 mc-var:1390 var:165157 icount:0;
in:106 out:106 type:2 q:2.226876 itex:0 ptex:8363 mv:243 misc:778 fcode:1 bcode:1 mc-var:892 var:165298 icount:0;
in:107 out:107 type:2 q:2.255959 itex:0 ptex:10032 mv:313 misc:809 fcode:1 bcode:1 mc-var:1497 var:165451 icount:0;
in:108 out:108 type:2 q:2.241364 itex:0 ptex:7476 mv:238 misc:735 fcode:1 bcode:1 mc-var:785 var:166026 icount:0;
in:109 out:109 type:2 q:2.264167 itex:42 ptex:9339 mv:273 misc:777 fcode:1 bcode:1 mc-var:1429 var:166396 icount:1;
in:110 out:110 type:2 q:2.249229 itex:0 ptex:7441 mv:175 misc:637 fcode:1 bcode:1 mc-var:879 var:166729 icount:0;
in:111 out:111 type:2 q:2.274478 itex:0 ptex:9282 mv:321 misc:763 fcode:1 bcode:1 mc-var:1777 var:166806 icount:0;
in:112 out:112 type:2 q:2.237344 itex:0 ptex:6169 mv:163 misc:629 fcode:1 bcode:1 mc-var:693 var:167561 icount:0;
in:113 out:113 type:2 q:2.253258 itex:0 ptex:9411 mv:300 misc:764 fcode:1 bcode:1 mc-var:1527 var:168212 icount:0;
in:114 out:114 type:2 q:2.247010 itex:0 ptex:9007 mv:253 misc:741 fcode:1 bcode:1 mc-var:1086 var:168876 icount:0;
in:115 out:115 type:2 q:2.272586 itex:0 ptex:9967 mv:419 misc:785 fcode:1 bcode:1 mc-var:1667 var:169662 icount:0;
in:116 out:116 type:2 q:2.247206 itex:0 ptex:7335 mv:189 misc:658 fcode:1 bcode:1 mc-var:783 var:170185 icount:0;
in:117 out:117 type:2 q:2.278121 itex:52 ptex:10696 mv:302 misc:769 fcode:1 bcode:1 mc-var:1856 var:170933 icount:1;
in:118 out:118 type:2 q:2.254314 itex:0 ptex:7992 mv:248 misc:688 fcode:1 bcode:1 mc-var:863 var:171571 icount:0;
in:119 out:119 type:2 q:2.270328 itex:0 ptex:10192 mv:269 misc:723 fcode:1 bcode:1 mc-var:1419 var:172137 icount:0;
in:120 out:120 type:2 q:2.271524 itex:136 ptex:14824 mv:1311 misc:1910 fcode:2 bcode:1 mc-var:1211 var:172719 icount:5;
in:121 out:121 type:2 q:2.332519 itex:0 ptex:8976 mv:517 misc:876 fcode:2 bcode:1 mc-var:1561 var:172650 icount:0;
in:122 out:122 type:2 q:2.302187 itex:40 ptex:8396 mv:184 misc:612 fcode:1 bcode:1 mc-var:929 var:172611 icount:1;
in:123 out:123 type:2 q:2.568656 itex:9398 ptex:3282 mv:731 misc:759 fcode:4 bcode:1 mc-var:24291 var:174765 icount:18;
in:124 out:124 type:2 q:2.377583 itex:0 ptex:6526 mv:109 misc:560 fcode:1 bcode:1 mc-var:1452 var:175195 icount:0;
in:125 out:125 type:2 q:2.318198 itex:0 ptex:6057 mv:78 misc:458 fcode:1 bcode:1 mc-var:2363 var:174733 icount:0;
in:126 out:126 type:2 q:2.285429 itex:0 ptex:6575 mv:90 misc:503 fcode:1 bcode:1 mc-var:3147 var:175883 icount:0;
in:127 out:127 type:2 q:2.271854 itex:1302 ptex:6306 mv:74 misc:453 fcode:1 bcode:1 mc-var:4259 var:177031 icount:1;
in:128 out:128 type:2 q:2.224955 itex:0 ptex:6007 mv:66 misc:476 fcode:1 bcode:1 mc-var:1881 var:177817 icount:0;
in:129 out:129 type:2 q:2.229268 itex:0 ptex:7106 mv:65 misc:429 fcode:1 bcode:1 mc-var:3288 var:175319 icount:0;
in:130 out:130 type:2 q:2.243505 itex:1332 ptex:5796 mv:44 misc:412 fcode:1 bcode:1 mc-var:4751 var:178015 icount:1;
in:131 out:131 type:2 q:2.255028 itex:2682 ptex:4373 mv:55 misc:439 fcode:1 bcode:1 mc-var:6630 var:176467 icount:2;
in:132 out:132 type:2 q:2.228883 itex:2772 ptex:3275 mv:46 misc:418 fcode:1 bcode:1 mc-var:4273 var:175812 icount:2;
in:133 out:133 type:2 q:2.208495 itex:0 ptex:6135 mv:71 misc:435 fcode:1 bcode:1 mc-var:3720 var:174973 icount:0;
in:134 out:134 type:2 q:2.180881 itex:0 ptex:5322 mv:40 misc:389 fcode:1 bcode:1 mc-var:2036 var:175279 icount:0;
in:135 out:135 type:2 q:2.172885 itex:0 ptex:7354 mv:427 misc:863 fcode:2 bcode:1 mc-var:2009 var:175864 icount:0;
in:136 out:136 type:2 q:2.196159 itex:30 ptex:6162 mv:254 misc:672 fcode:1 bcode:1 mc-var:2405 var:176559 icount:1;
in:137 out:137 type:2 q:2.220038 itex:2566 ptex:3868 mv:157 misc:756 fcode:1 bcode:1 mc-var:3648 var:176573 icount:2;
in:138 out:138 type:2 q:2.184564 itex:0 ptex:5395 mv:246 misc:1016 fcode:1 bcode:1 mc-var:1258 var:176598 icount:0;
in:139 out:139 type:2 q:2.562101 itex:18369 ptex:3303 mv:384 misc:1700 fcode:3 bcode:1 mc-var:158916 var:127235 icount:92;
in:140 out:140 type:2 q:2.303427 itex:47 ptex:6662 mv:635 misc:1593 fcode:1 bcode:1 mc-var:698 var:126769 icount:2;
in:141 out:141 type:2 q:2.261000 itex:0 ptex:7043 mv:839 misc:1451 fcode:2 bcode:1 mc-var:977 var:125645 icount:0;
in:142 out:142 type:2 q:2.233345 itex:0 ptex:5059 mv:563 misc:1236 fcode:1 bcode:1 mc-var:653 var:124754 icount:0;
in:143 out:143 type:2 q:2.230310 itex:0 ptex:7243 mv:674 misc:1238 fcode:1 bcode:1 mc-var:905 var:124294 icount:0;
in:144 out:144 type:2 q:2.223038 itex:0 ptex:5900 mv:591 misc:1302 fcode:1 bcode:1 mc-var:694 var:123688 icount:0;
in:145 out:145 type:2 q:2.224180 itex:0 ptex:6920 mv:689 misc:1499 fcode:1 bcode:1 mc-var:778 var:123242 icount:0;
in:146 out:146 type:2 q:2.228431 itex:0 ptex:5537 mv:626 misc:1427 fcode:1 bcode:1 mc-var:752 var:122698 icount:0;
in:147 out:147 type:2 q:2.218687 itex:30 ptex:5536 mv:617 misc:1241 fcode:1 bcode:1 mc-var:653 var:121991 icount:1;
in:148 out:148 type:2 q:2.220606 itex:0 ptex:5061 mv:569 misc:1273 fcode:1 bcode:1 mc-var:787 var:121500 icount:0;
in:149 out:149 type:2 q:2.214462 itex:0 ptex:6876 mv:760 misc:1549 fcode:1 bcode:1 mc-var:802 var:121247 icount:0;
in:150 out:150 type:2 q:2.213330 itex:0 ptex:5584 mv:662 misc:1514 fcode:1 bcode:1 mc-var:658 var:120320 icount:0;
in:151 out:151 type:2 q:2.217941 itex:0 ptex:6279 mv:668 misc:1270 fcode:1 bcode:1 mc-var:750 var:119414 icount:0;
in:152 out:152 type:2 q:2.219222 itex:0 ptex:4958 mv:576 misc:1202 fcode:1 bcode:1 mc-var:737 var:118529 icount:0;
in:153 out:153 type:2 q:2.213937 itex:0 ptex:6917 mv:719 misc:1345 fcode:1 bcode:1 mc-var:794 var:117816 icount:0;
in:154 out:154 type:2 q:2.213098 itex:0 ptex:4900 mv:588 misc:1325 fcode:1 bcode:1 mc-var:679 var:117090 icount:0;
in:155 out:155 type:2 q:2.209504 itex:0 ptex:6109 mv:676 misc:1230 fcode:1 bcode:1 mc-var:737 var:117300 icount:0;
in:156 out:156 type:2 q:2.209085 itex:0 ptex:5157 mv:596 misc:1325 fcode:1 bcode:1 mc-var:711 var:117410 icount:0;
in:157 out:157 type:2 q:2.204584 itex:0 ptex:6303 mv:700 misc:1430 fcode:1 bcode:1 mc-var:703 var:117321 icount:0;
in:158 out:158 type:2 q:2.211281 itex:0 ptex:5584 mv:718 misc:1371 fcode:1 bcode:1 mc-var:747 var:116875 icount:0;
in:159 out:159 type:2 q:2.211104 itex:0 ptex:6208 mv:755 misc:1502 fcode:1 bcode:1 mc-var:741 var:116943 icount:0;
in:160 out:160 type:2 q:2.219140 itex:0 ptex:5095 mv:610 misc:1337 fcode:1 bcode:1 mc-var:832 var:116482 icount:0;
in:161 out:161 type:2 q:2.213920 itex:0 ptex:6330 mv:832 misc:1509 fcode:1 bcode:1 mc-var:840 var:116536 icount:0;
in:162 out:162 type:2 q:2.212378 itex:0 ptex:5882 mv:669 misc:1486 fcode:1 bcode:1 mc-var:756 var:116001 icount:0;
in:163 out:163 type:2 q:2.211549 itex:0 ptex:6601 mv:768 misc:1511 fcode:1 bcode:1 mc-var:742 var:115898 icount:0;
in:164 out:164 type:2 q:2.216159 itex:0 ptex:5566 mv:591 misc:1249 fcode:1 bcode:1 mc-var:735 var:115503 icount:0;
in:165 out:165 type:2 q:2.218318 itex:0 ptex:6393 mv:755 misc:1382 fcode:1 bcode:1 mc-var:855 var:115675 icount:0;
in:166 out:166 type:2 q:2.600072 itex:17938 ptex:8034 mv:1386 misc:1548 fcode:5 bcode:1 mc-var:61749 var:198729 icount:45;
in:167 out:167 type:2 q:2.462594 itex:1643 ptex:15227 mv:359 misc:1254 fcode:1 bcode:1 mc-var:5350 var:200808 icount:2;
in:168 out:168 type:2 q:2.365853 itex:0 ptex:9574 mv:230 misc:893 fcode:1 bcode:1 mc-var:1972 var:201509 icount:0;
in:169 out:169 type:2 q:2.337138 itex:0 ptex:13432 mv:266 misc:796 fcode:1 bcode:1 mc-var:2543 var:200639 icount:0;
in:170 out:170 type:2 q:2.329443 itex:0 ptex:10061 mv:248 misc:837 fcode:1 bcode:1 mc-var:2260 var:200811 icount:0;
in:171 out:171 type:2 q:2.329848 itex:772 ptex:11018 mv:188 misc:760 fcode:1 bcode:1 mc-var:2841 var:199989 icount:1;
in:172 out:172 type:2 q:2.288869 itex:0 ptex:9147 mv:193 misc:743 fcode:1 bcode:1 mc-var:1392 var:200204 icount:0;
in:173 out:173 type:2 q:2.308769 itex:0 ptex:12695 mv:298 misc:922 fcode:1 bcode:1 mc-var:2651 var:199894 icount:0;
in:174 out:174 type:2 q:2.303215 itex:0 ptex:10323 mv:239 misc:852 fcode:1 bcode:1 mc-var:1903 var:199731 icount:0;
in:175 out:175 type:2 q:2.318056 itex:0 ptex:10604 mv:264 misc:805 fcode:1 bcode:1 mc-var:2632 var:199090 icount:0;
in:176 out:176 type:2 q:2.298110 itex:0 ptex:9730 mv:215 misc:751 fcode:1 bcode:1 mc-var:1903 var:199562 icount:0;
in:177 out:177 type:2 q:2.311939 itex:0 ptex:11615 mv:283 misc:864 fcode:1 bcode:1 mc-var:2886 var:197385 icount:0;
in:178 out:178 type:2 q:2.307163 itex:0 ptex:11338 mv:258 misc:876 fcode:1 bcode:1 mc-var:2405 var:197062 icount:0;
in:179 out:179 type:2 q:2.363342 itex:2891 ptex:8862 mv:258 misc:861 fcode:1 bcode:1 mc-var:5516 var:195806 icount:4;
in:180 out:180 type:2 q:2.305977 itex:0 ptex:10176 mv:215 misc:826 fcode:1 bcode:1 mc-var:1969 var:197212 icount:0;
in:181 out:181 type:2 q:2.328868 itex:1626 ptex:10072 mv:283 misc:984 fcode:1 bcode:1 mc-var:3792 var:195998 icount:2;
in:182 out:182 type:2 q:2.293659 itex:0 ptex:11277 mv:387 misc:1335 fcode:1 bcode:1 mc-var:1853 var:196899 icount:0;
in:183 out:183 type:2 q:2.340744 itex:2060 ptex:9826 mv:341 misc:1089 fcode:1 bcode:1 mc-var:3784 var:196282 icount:3;
in:184 out:184 type:2 q:2.324177 itex:0 ptex:9410 mv:213 misc:745 fcode:1 bcode:1 mc-var:2492 var:197516 icount:0;
in:185 out:185 type:2 q:2.323499 itex:0 ptex:12123 mv:307 misc:933 fcode:1 bcode:1 mc-var:3309 var:196514 icount:0;
in:186 out:186 type:1 q:2.192300 itex:57731 ptex:0 mv:0 misc:1647 fcode:1 bcode:1 mc-var:928118 var:79610 icount:300;
in:187 out:187 type:2 q:2.459321 itex:19864 ptex:28263 mv:2157 misc:2587 fcode:3 bcode:1 mc-var:16515 var:60415 icount:106;
in:188 out:188 type:2 q:2.627245 itex:3602 ptex:23970 mv:2587 misc:1792 fcode:2 bcode:1 mc-var:14076 var:70824 icount:21;
in:189 out:189 type:2 q:2.710696 itex:7937 ptex:18016 mv:1930 misc:1914 fcode:2 bcode:1 mc-var:15349 var:71798 icount:44;
in:190 out:190 type:2 q:2.723292 itex:4033 ptex:18375 mv:1936 misc:1563 fcode:2 bcode:1 mc-var:14189 var:82099 icount:15;
in:191 out:191 type:2 q:2.744254 itex:10095 ptex:15318 mv:1834 misc:1715 fcode:2 bcode:1 mc-var:18395 var:62047 icount:51;
in:192 out:192 type:2 q:2.794301 itex:11721 ptex:14786 mv:1941 misc:1673 fcode:2 bcode:1 mc-var:25480 var:72749 icount:45;
in:193 out:193 type:2 q:2.680327 itex:3331 ptex:19490 mv:2125 misc:1724 fcode:2 bcode:1 mc-var:10284 var:65746 icount:20;
in:194 out:194 type:2 q:2.655953 itex:2386 ptex:16920 mv:1963 misc:1520 fcode:1 bcode:1 mc-var:9839 var:66226 icount:10;
in:195 out:195 type:2 q:2.700910 itex:9634 ptex:13619 mv:1865 misc:1756 fcode:2 bcode:1 mc-var:16163 var:46681 icount:60;
in:196 out:196 type:2 q:2.676995 itex:2844 ptex:18043 mv:2002 misc:1561 fcode:2 bcode:1 mc-var:12282 var:62518 icount:15;
in:197 out:197 type:2 q:2.651363 itex:6716 ptex:13217 mv:2086 misc:1682 fcode:3 bcode:1 mc-var:10809 var:45039 icount:39;
in:198 out:198 type:2 q:2.675244 itex:7115 ptex:16292 mv:2029 misc:1627 fcode:2 bcode:1 mc-var:13919 var:55266 icount:31;
in:199 out:199 type:2 q:2.703865 itex:8484 ptex:15805 mv:1930 misc:1676 fcode:3 bcode:1 mc-var:15000 var:53140 icount:47;
in:200 out:200 type:2 q:2.677685 itex:2464 ptex:20858 mv:1951 misc:1626 fcode:2 bcode:1 mc-var:10581 var:66006 icount:14;
in:201 out:201 type:2 q:3.523265 itex:44839 ptex:8867 mv:650 misc:2145 fcode:5 bcode:1 mc-var:334344 var:219284 icount:187;
in:202 out:202 type:2 q:3.672972 itex:42497 ptex:14422 mv:884 misc:2155 fcode:4 bcode:1 mc-var:245746 var:252141 icount:174;
in:203 out:203 type:2 q:3.663546 itex:36725 ptex:19778 mv:1335 misc:1963 fcode:4 bcode:1 mc-var:190546 var:239001 icount:136;
in:204 out:204 type:1 q:3.104234 itex:27847 ptex:0 mv:0 misc:1834 fcode:4 bcode:1 mc-var:192952 var:101327 icount:300;
in:205 out:205 type:2 q:2.841881 itex:80 ptex:2818 mv:761 misc:1407 fcode:1 bcode:1 mc-var:908 var:100614 icount:2;
in:206 out:206 type:2 q:2.501526 itex:0 ptex:2412 mv:410 misc:913 fcode:1 bcode:1 mc-var:823 var:100719 icount:0;
in:207 out:207 type:2 q:2.335855 itex:28 ptex:11404 mv:616 misc:1873 fcode:1 bcode:1 mc-var:836 var:101035 icount:1;
in:208 out:208 type:2 q:2.315900 itex:0 ptex:4777 mv:427 misc:1038 fcode:1 bcode:1 mc-var:587 var:101322 icount:0;
in:209 out:209 type:2 q:2.293416 itex:51 ptex:4773 mv:415 misc:1075 fcode:1 bcode:1 mc-var:677 var:101456 icount:2;
in:210 out:210 type:2 q:2.254967 itex:0 ptex:2295 mv:266 misc:756 fcode:1 bcode:1 mc-var:484 var:101623 icount:0;
in:211 out:211 type:2 q:2.226613 itex:0 ptex:4434 mv:399 misc:1009 fcode:1 bcode:1 mc-var:708 var:101885 icount:0;
in:212 out:212 type:2 q:2.207233 itex:0 ptex:2609 mv:281 misc:804 fcode:1 bcode:1 mc-var:551 var:101857 icount:0;
in:213 out:213 type:2 q:2.185989 itex:109 ptex:3623 mv:458 misc:1110 fcode:1 bcode:1 mc-var:554 var:102208 icount:4;
in:214 out:214 type:2 q:2.188810 itex:0 ptex:3723 mv:301 misc:855 fcode:1 bcode:1 mc-var:642 var:102076 icount:0;
in:215 out:215 type:2 q:2.186848 itex:0 ptex:4415 mv:322 misc:912 fcode:1 bcode:1 mc-var:642 var:102478 icount:0;
in:216 out:216 type:2 q:2.192724 itex:0 ptex:4980 mv:354 misc:980 fcode:1 bcode:1 mc-var:686 var:102772 icount:0;
in:217 out:217 type:2 q:2.207473 itex:0 ptex:6279 mv:442 misc:1020 fcode:1 bcode:1 mc-var:807 var:102904 icount:0;
in:218 out:218 type:2 q:2.209428 itex:0 ptex:3338 mv:346 misc:941 fcode:1 bcode:1 mc-var:567 var:102963 icount:0;
in:219 out:219 type:2 q:2.852096 itex:28532 ptex:3845 mv:867 misc:1992 fcode:4 bcode:1 mc-var:219654 var:170506 icount:119;
in:220 out:220 type:2 q:2.479043 itex:0 ptex:10603 mv:437 misc:1306 fcode:1 bcode:1 mc-var:1195 var:171275 icount:0;
in:221 out:221 type:2 q:2.421382 itex:0 ptex:11007 mv:517 misc:1124 fcode:1 bcode:1 mc-var:1749 var:171782 icount:0;
in:222 out:222 type:2 q:2.382368 itex:0 ptex:10203 mv:365 misc:1020 fcode:1 bcode:1 mc-var:1303 var:172663 icount:0;
in:223 out:223 type:2 q:2.426313 itex:0 ptex:12475 mv:512 misc:1020 fcode:1 bcode:1 mc-var:2745 var:173670 icount:0;
in:224 out:224 type:2 q:2.395360 itex:0 ptex:10955 mv:453 misc:1047 fcode:1 bcode:1 mc-var:1593 var:173742 icount:0;
in:225 out:225 type:2 q:2.427829 itex:0 ptex:14703 mv:565 misc:1272 fcode:1 bcode:1 mc-var:2690 var:175101 icount:0;
in:226 out:226 type:2 q:2.434433 itex:0 ptex:11901 mv:361 misc:979 fcode:1 bcode:1 mc-var:2176 var:177124 icount:0;
in:227 out:227 type:2 q:2.447980 itex:0 ptex:13878 mv:570 misc:1105 fcode:1 bcode:1 mc-var:2719 var:179576 icount:0;
in:228 out:228 type:2 q:2.408358 itex:0 ptex:9528 mv:330 misc:902 fcode:1 bcode:1 mc-var:1459 var:180935 icount:0;
in:229 out:229 type:2 q:2.378720 itex:0 ptex:10433 mv:385 misc:993 fcode:1 bcode:1 mc-var:1366 var:181391 icount:0;
in:230 out:230 type:2 q:2.358534 itex:0 ptex:7927 mv:343 misc:989 fcode:1 bcode:1 mc-var:1132 var:179895 icount:0;
in:231 out:231 type:2 q:2.413505 itex:0 ptex:13779 mv:646 misc:1096 fcode:1 bcode:1 mc-var:3192 var:175841 icount:0;
in:232 out:232 type:2 q:2.426038 itex:0 ptex:12352 mv:505 misc:1066 fcode:1 bcode:1 mc-var:2699 var:173456 icount:0;
in:233 out:233 type:2 q:2.415870 itex:0 ptex:11883 mv:559 misc:1042 fcode:1 bcode:1 mc-var:2263 var:171475 icount:0;
in:234 out:234 type:2 q:2.442117 itex:0 ptex:12052 mv:476 misc:1089 fcode:1 bcode:1 mc-var:3181 var:170120 icount:0;
in:235 out:235 type:2 q:2.409291 itex:0 ptex:12015 mv:663 misc:1209 fcode:1 bcode:1 mc-var:2066 var:170205 icount:0;
in:236 out:236 type:2 q:3.232737 itex:24656 ptex:4599 mv:649 misc:2216 fcode:4 bcode:1 mc-var:210075 var:104111 icount:143;
in:237 out:237 type:2 q:2.733158 itex:0 ptex:1257 mv:280 misc:731 fcode:1 bcode:1 mc-var:680 var:103657 icount:0;
in:238 out:238 type:2 q:2.402362 itex:69 ptex:7594 mv:410 misc:1458 fcode:1 bcode:1 mc-var:639 var:104039 icount:3;
in:239 out:239 type:2 q:2.350677 itex:243 ptex:7038 mv:646 misc:1265 fcode:1 bcode:1 mc-var:989 var:103733 icount:1;
in:240 out:240 type:2 q:2.379535 itex:2047 ptex:10090 mv:1401 misc:2012 fcode:2 bcode:1 mc-var:2170 var:101197 icount:8;
in:241 out:241 type:2 q:2.430127 itex:1944 ptex:8817 mv:879 misc:1425 fcode:1 bcode:1 mc-var:2749 var:102989 icount:5;
in:242 out:242 type:2 q:2.341488 itex:0 ptex:5843 mv:527 misc:1511 fcode:1 bcode:1 mc-var:658 var:103379 icount:0;
in:243 out:243 type:2 q:2.308991 itex:0 ptex:5777 mv:572 misc:1349 fcode:1 bcode:1 mc-var:727 var:103527 icount:0;
in:244 out:244 type:2 q:2.283361 itex:0 ptex:4659 mv:610 misc:1033 fcode:1 bcode:1 mc-var:646 var:103717 icount:0;
in:245 out:245 type:2 q:2.281481 itex:0 ptex:7522 mv:879 misc:1340 fcode:1 bcode:1 mc-var:987 var:104327 icount:0;
in:246 out:246 type:2 q:2.281063 itex:0 ptex:5942 mv:614 misc:1197 fcode:1 bcode:1 mc-var:830 var:104086 icount:0;
in:247 out:247 type:2 q:2.283591 itex:0 ptex:8618 mv:860 misc:1439 fcode:1 bcode:1 mc-var:973 var:103573 icount:0;
in:248 out:248 type:2 q:2.291602 itex:0 ptex:6314 mv:803 misc:1488 fcode:1 bcode:1 mc-var:830 var:103346 icount:0;
in:249 out:249 type:2 q:2.292920 itex:0 ptex:7477 mv:763 misc:1281 fcode:1 bcode:1 mc-var:863 var:103726 icount:0;
in:250 out:250 type:2 q:2.291747 itex:0 ptex:6106 mv:595 misc:1336 fcode:1 bcode:1 mc-var:786 var:104048 icount:0;
in:251 out:251 type:2 q:2.279468 itex:0 ptex:5654 mv:630 misc:1240 fcode:1 bcode:1 mc-var:712 var:104761 icount:0;
in:252 out:252 type:2 q:2.267061 itex:0 ptex:5207 mv:573 misc:1213 fcode:1 bcode:1 mc-var:680 var:104736 icount:0;
in:253 out:253 type:2 q:2.260270 itex:0 ptex:5711 mv:588 misc:1322 fcode:1 bcode:1 mc-var:744 var:105052 icount:0;
in:254 out:254 type:2 q:2.251165 itex:0 ptex:4418 mv:431 misc:1014 fcode:1 bcode:1 mc-var:658 var:105119 icount:0;
in:255 out:255 type:2 q:2.243012 itex:0 ptex:5593 mv:525 misc:1138 fcode:1 bcode:1 mc-var:772 var:105333 icount:0;
in:256 out:256 type:2 q:2.243431 itex:0 ptex:5581 mv:516 misc:1105 fcode:1 bcode:1 mc-var:815 var:105419 icount:0;
in:257 out:257 type:2 q:2.234500 itex:0 ptex:4037 mv:360 misc:1034 fcode:1 bcode:1 mc-var:678 var:105467 icount:0;
in:258 out:258 type:2 q:2.886824 itex:18843 ptex:4589 mv:1598 misc:1384 fcode:5 bcode:1 mc-var:215125 var:322022 icount:50;
in:259 out:259 type:2 q:2.436782 itex:0 ptex:4204 mv:222 misc:918 fcode:1 bcode:1 mc-var:341 var:322052 icount:0;
in:260 out:260 type:2 q:2.293853 itex:0 ptex:3317 mv:185 misc:626 fcode:1 bcode:1 mc-var:356 var:322438 icount:0;
in:261 out:261 type:2 q:2.220632 itex:0 ptex:2296 mv:111 misc:564 fcode:1 bcode:1 mc-var:300 var:322751 icount:0;
in:262 out:262 type:2 q:2.180927 itex:0 ptex:3352 mv:138 misc:673 fcode:1 bcode:1 mc-var:352 var:322910 icount:0;
in:263 out:263 type:2 q:2.169680 itex:0 ptex:3717 mv:106 misc:573 fcode:1 bcode:1 mc-var:409 var:322795 icount:0;
in:264 out:264 type:2 q:2.172301 itex:0 ptex:5320 mv:102 misc:540 fcode:1 bcode:1 mc-var:528 var:323052 icount:0;
in:265 out:265 type:2 q:2.165987 itex:0 ptex:2475 mv:78 misc:502 fcode:1 bcode:1 mc-var:330 var:323104 icount:0;
in:266 out:266 type:2 q:2.153838 itex:0 ptex:3282 mv:94 misc:542 fcode:1 bcode:1 mc-var:365 var:323325 icount:0;
in:267 out:267 type:2 q:2.148803 itex:0 ptex:3655 mv:411 misc:999 fcode:2 bcode:1 mc-var:370 var:323677 icount:0;
in:268 out:268 type:2 q:2.163909 itex:0 ptex:5395 mv:319 misc:959 fcode:1 bcode:1 mc-var:495 var:323556 icount:0;
in:269 out:269 type:2 q:2.167845 itex:0 ptex:2367 mv:229 misc:778 fcode:1 bcode:1 mc-var:330 var:323504 icount:0;
in:270 out:270 type:2 q:2.162094 itex:0 ptex:4705 mv:413 misc:1249 fcode:1 bcode:1 mc-var:398 var:323118 icount:0;
in:271 out:271 type:2 q:2.166003 itex:0 ptex:1956 mv:174 misc:752 fcode:1 bcode:1 mc-var:317 var:323012 icount:0;
in:272 out:272 type:2 q:2.151842 itex:0 ptex:2053 mv:201 misc:836 fcode:1 bcode:1 mc-var:325 var:323603 icount:0;
in:273 out:273 type:2 q:2.137631 itex:0 ptex:1397 mv:140 misc:662 fcode:1 bcode:1 mc-var:309 var:323367 icount:0;
in:274 out:274 type:2 q:2.122766 itex:0 ptex:2459 mv:225 misc:875 fcode:1 bcode:1 mc-var:340 var:324083 icount:0;
in:275 out:275 type:2 q:2.803333 itex:26918 ptex:4998 mv:765 misc:1386 fcode:4 bcode:1 mc-var:488139 var:272967 icount:67;
in:276 out:276 type:2 q:2.473267 itex:0 ptex:15921 mv:358 misc:1057 fcode:1 bcode:1 mc-var:3720 var:273917 icount:0;
in:277 out:277 type:2 q:2.408945 itex:0 ptex:14494 mv:438 misc:935 fcode:1 bcode:1 mc-var:2939 var:274265 icount:0;
in:278 out:278 type:2 q:2.435719 itex:0 ptex:15153 mv:410 misc:963 fcode:1 bcode:1 mc-var:4233 var:275086 icount:0;
in:279 out:279 type:2 q:2.423909 itex:394 ptex:13909 mv:437 misc:1103 fcode:1 bcode:1 mc-var:3136 var:275733 icount:2;
in:280 out:280 type:2 q:2.423959 itex:0 ptex:13512 mv:437 misc:992 fcode:1 bcode:1 mc-var:3003 var:275748 icount:0;
in:281 out:281 type:2 q:2.434704 itex:0 ptex:13680 mv:377 misc:875 fcode:1 bcode:1 mc-var:3422 var:276410 icount:0;
in:282 out:282 type:2 q:2.434829 itex:0 ptex:13226 mv:298 misc:838 fcode:1 bcode:1 mc-var:3436 var:276127 icount:0;
in:283 out:283 type:2 q:2.418766 itex:0 ptex:12478 mv:297 misc:811 fcode:1 bcode:1 mc-var:3016 var:276447 icount:0;
in:284 out:284 type:2 q:2.431553 itex:0 ptex:14689 mv:352 misc:806 fcode:1 bcode:1 mc-var:4036 var:276318 icount:0;
in:285 out:285 type:2 q:2.446439 itex:0 ptex:16945 mv:384 misc:842 fcode:1 bcode:1 mc-var:4422 var:276723 icount:0;
in:286 out:286 type:2 q:2.437038 itex:0 ptex:13556 mv:387 misc:993 fcode:1 bcode:1 mc-var:3178 var:277498 icount:0;
in:287 out:287 type:2 q:2.405571 itex:0 ptex:10706 mv:325 misc:849 fcode:1 bcode:1 mc-var:2222 var:277891 icount:0;
in:288 out:288 type:2 q:2.377564 itex:0 ptex:11340 mv:293 misc:806 fcode:1 bcode:1 mc-var:1999 var:279033 icount:0;
in:289 out:289 type:2 q:2.345925 itex:0 ptex:9516 mv:239 misc:785 fcode:1 bcode:1 mc-var:1402 var:279517 icount:0;
in:290 out:290 type:2 q:2.341551 itex:0 ptex:11181 mv:215 misc:799 fcode:1 bcode:1 mc-var:1648 var:280043 icount:0;
in:291 out:291 type:2 q:2.318635 itex:29 ptex:8538 mv:228 misc:863 fcode:1 bcode:1 mc-var:1067 var:279781 icount:1;
in:292 out:292 type:2 q:2.288037 itex:0 ptex:7085 mv:183 misc:753 fcode:1 bcode:1 mc-var:743 var:279904 icount:0;
in:293 out:293 type:2 q:2.259672 itex:0 ptex:5163 mv:165 misc:732 fcode:1 bcode:1 mc-var:576 var:279799 icount:0;
in:294 out:294 type:2 q:2.248562 itex:0 ptex:6718 mv:162 misc:721 fcode:1 bcode:1 mc-var:757 var:280304 icount:0;
in:295 out:295 type:2 q:2.251368 itex:0 ptex:7693 mv:208 misc:736 fcode:1 bcode:1 mc-var:900 var:279563 icount:0;
in:296 out:296 type:2 q:3.047508 itex:25998 ptex:3720 mv:380 misc:1982 fcode:3 bcode:1 mc-var:265401 var:114767 icount:135;
in:297 out:297 type:2 q:2.604149 itex:0 ptex:2779 mv:841 misc:1244 fcode:1 bcode:1 mc-var:935 var:113638 icount:0;
in:298 out:298 type:2 q:2.376753 itex:0 ptex:8415 mv:725 misc:1428 fcode:1 bcode:1 mc-var:945 var:113712 icount:0;
in:299 out:299 type:2 q:2.315590 itex:0 ptex:5554 mv:511 misc:1104 fcode:1 bcode:1 mc-var:830 var:113971 icount:0;
in:300 out:300 type:2 q:2.279860 itex:0 ptex:7796 mv:632 misc:1261 fcode:1 bcode:1 mc-var:839 var:113726 icount:0;
in:301 out:301 type:2 q:2.255724 itex:0 ptex:3998 mv:398 misc:1145 fcode:1 bcode:1 mc-var:544 var:113739 icount:0;
in:302 out:302 type:2 q:2.228235 itex:0 ptex:2915 mv:240 misc:869 fcode:1 bcode:1 mc-var:509 var:113989 icount:0;
in:303 out:303 type:2 q:2.200219 itex:0 ptex:3855 mv:360 misc:1047 fcode:1 bcode:1 mc-var:537 var:113939 icount:0;
in:304 out:304 type:2 q:2.189975 itex:0 ptex:3530 mv:217 misc:763 fcode:1 bcode:1 mc-var:570 var:114115 icount:0;
in:305 out:305 type:2 q:2.189639 itex:0 ptex:5672 mv:519 misc:1100 fcode:1 bcode:1 mc-var:804 var:114147 icount:0;
in:306 out:306 type:2 q:2.183851 itex:0 ptex:2987 mv:296 misc:925 fcode:1 bcode:1 mc-var:509 var:114007 icount:0;
in:307 out:307 type:2 q:2.172368 itex:0 ptex:2976 mv:233 misc:836 fcode:1 bcode:1 mc-var:514 var:114012 icount:0;
in:308 out:308 type:2 q:2.161427 itex:0 ptex:3211 mv:253 misc:785 fcode:1 bcode:1 mc-var:516 var:114212 icount:0;
in:309 out:309 type:2 q:2.157214 itex:0 ptex:3122 mv:195 misc:730 fcode:1 bcode:1 mc-var:558 var:114442 icount:0;
in:310 out:310 type:2 q:2.167231 itex:675 ptex:850 mv:1865 misc:1174 fcode:5 bcode:1 mc-var:943 var:157113 icount:14;
in:311 out:311 type:2 q:2.135977 itex:183 ptex:1074 mv:454 misc:924 fcode:1 bcode:1 mc-var:292 var:157724 icount:2;
in:312 out:312 type:2 q:2.154639 itex:963 ptex:994 mv:374 misc:639 fcode:1 bcode:1 mc-var:1199 var:158844 icount:5;
in:313 out:313 type:2 q:2.222886 itex:6301 ptex:1406 mv:152 misc:555 fcode:1 bcode:1 mc-var:9634 var:168616 icount:11;
in:314 out:314 type:2 q:2.210932 itex:0 ptex:9275 mv:116 misc:491 fcode:1 bcode:1 mc-var:4227 var:180873 icount:0;
in:315 out:315 type:2 q:2.150753 itex:0 ptex:1114 mv:159 misc:538 fcode:1 bcode:1 mc-var:336 var:181052 icount:0;
in:316 out:316 type:2 q:2.114273 itex:0 ptex:1090 mv:103 misc:512 fcode:1 bcode:1 mc-var:292 var:180605 icount:0;
in:317 out:317 type:2 q:2.094254 itex:0 ptex:705 mv:57 misc:408 fcode:1 bcode:1 mc-var:288 var:180184 icount:0;
in:318 out:318 type:2 q:2.082811 itex:0 ptex:1618 mv:44 misc:372 fcode:1 bcode:1 mc-var:405 var:179642 icount:0;
in:319 out:319 type:2 q:2.075761 itex:0 ptex:973 mv:42 misc:402 fcode:1 bcode:1 mc-var:295 var:179835 icount:0;
in:320 out:320 type:2 q:2.068446 itex:0 ptex:488 mv:24 misc:350 fcode:1 bcode:1 mc-var:257 var:179433 icount:0;
in:321 out:321 type:2 q:2.060294 itex:0 ptex:750 mv:34 misc:375 fcode:1 bcode:1 mc-var:282 var:178954 icount:0;
in:322 out:322 type:2 q:2.057674 itex:0 ptex:1061 mv:38 misc:386 fcode:1 bcode:1 mc-var:320 var:178164 icount:0;
in:323 out:323 type:2 q:2.057631 itex:0 ptex:955 mv:30 misc:364 fcode:1 bcode:1 mc-var:291 var:178010 icount:0;
in:324 out:324 type:2 q:2.057144 itex:0 ptex:970 mv:67 misc:446 fcode:1 bcode:1 mc-var:275 var:177753 icount:0;
in:325 out:325 type:2 q:2.060197 itex:30 ptex:1697 mv:269 misc:538 fcode:1 bcode:1 mc-var:323 var:176468 icount:1;
in:326 out:326 type:2 q:2.085329 itex:481 ptex:257 mv:386 misc:535 fcode:3 bcode:1 mc-var:835 var:158259 icount:5;
in:327 out:327 type:2 q:2.070253 itex:141 ptex:243 mv:83 misc:414 fcode:1 bcode:1 mc-var:253 var:158344 icount:2;
in:328 out:328 type:2 q:2.058322 itex:234 ptex:341 mv:294 misc:605 fcode:1 bcode:1 mc-var:241 var:158349 icount:6;
in:329 out:329 type:2 q:2.068941 itex:704 ptex:778 mv:589 misc:765 fcode:2 bcode:1 mc-var:671 var:158425 icount:9;
in:330 out:330 type:2 q:2.134530 itex:7354 ptex:2555 mv:452 misc:787 fcode:1 bcode:1 mc-var:6846 var:163450 icount:23;
in:331 out:331 type:2 q:2.255869 itex:22982 ptex:4266 mv:265 misc:841 fcode:1 bcode:1 mc-var:24138 var:199154 icount:32;
in:332 out:332 type:2 q:2.326706 itex:30 ptex:25329 mv:289 misc:711 fcode:1 bcode:1 mc-var:12824 var:244066 icount:1;
in:333 out:333 type:2 q:2.223592 itex:0 ptex:2379 mv:68 misc:479 fcode:1 bcode:1 mc-var:369 var:244605 icount:0;
in:334 out:334 type:2 q:2.165244 itex:0 ptex:2436 mv:106 misc:591 fcode:1 bcode:1 mc-var:340 var:244940 icount:0;
in:335 out:335 type:2 q:2.135042 itex:0 ptex:1225 mv:66 misc:483 fcode:1 bcode:1 mc-var:321 var:244732 icount:0;
in:336 out:336 type:2 q:2.110160 itex:0 ptex:1539 mv:56 misc:450 fcode:1 bcode:1 mc-var:339 var:244995 icount:0;
in:337 out:337 type:2 q:2.094238 itex:0 ptex:751 mv:40 misc:410 fcode:1 bcode:1 mc-var:322 var:245204 icount:0;
in:338 out:338 type:2 q:2.077724 itex:0 ptex:758 mv:64 misc:476 fcode:1 bcode:1 mc-var:310 var:245249 icount:0;
in:339 out:339 type:2 q:2.067311 itex:0 ptex:778 mv:46 misc:422 fcode:1 bcode:1 mc-var:309 var:245056 icount:0;
in:340 out:340 type:2 q:2.060594 itex:0 ptex:723 mv:44 misc:417 fcode:1 bcode:1 mc-var:307 var:245104 icount:0;
in:341 out:341 type:2 q:2.056017 itex:0 ptex:643 mv:34 misc:393 fcode:1 bcode:1 mc-var:307 var:245247 icount:0;
in:342 out:342 type:2 q:2.052088 itex:0 ptex:704 mv:40 misc:410 fcode:1 bcode:1 mc-var:305 var:245226 icount:0;
in:343 out:343 type:2 q:2.050491 itex:0 ptex:890 mv:44 misc:430 fcode:1 bcode:1 mc-var:314 var:245205 icount:0;
in:344 out:344 type:2 q:2.050992 itex:0 ptex:543 mv:38 misc:403 fcode:1 bcode:1 mc-var:304 var:245317 icount:0;
in:345 out:345 type:2 q:2.048635 itex:0 ptex:523 mv:34 misc:390 fcode:1 bcode:1 mc-var:304 var:245300 icount:0;
in:346 out:346 type:2 q:2.046014 itex:0 ptex:513 mv:40 misc:409 fcode:1 bcode:1 mc-var:303 var:245140 icount:0;
in:347 out:347 type:2 q:2.044072 itex:0 ptex:399 mv:30 misc:377 fcode:1 bcode:1 mc-var:297 var:245176 icount:0;
in:348 out:348 type:2 q:2.169719 itex:20075 ptex:78 mv:928 misc:686 fcode:3 bcode:1 mc-var:108468 var:236725 icount:18;
in:349 out:349 type:2 q:2.098480 itex:0 ptex:842 mv:58 misc:462 fcode:1 bcode:1 mc-var:232 var:236887 icount:0;
in:350 out:350 type:2 q:2.073017 itex:0 ptex:1111 mv:64 misc:486 fcode:1 bcode:1 mc-var:251 var:237181 icount:0;
in:351 out:351 type:2 q:2.064050 itex:0 ptex:894 mv:44 misc:421 fcode:1 bcode:1 mc-var:238 var:237358 icount:0;
in:352 out:352 type:2 q:2.058156 itex:0 ptex:530 mv:30 misc:380 fcode:1 bcode:1 mc-var:226 var:237450 icount:0;
in:353 out:353 type:2 q:2.052010 itex:0 ptex:776 mv:34 misc:396 fcode:1 bcode:1 mc-var:239 var:237456 icount:0;
in:354 out:354 type:2 q:2.049601 itex:0 ptex:840 mv:67 misc:402 fcode:1 bcode:1 mc-var:245 var:237427 icount:0;
in:355 out:355 type:2 q:2.048373 itex:0 ptex:511 mv:45 misc:380 fcode:1 bcode:1 mc-var:223 var:237557 icount:0;
in:356 out:356 type:2 q:2.045764 itex:0 ptex:527 mv:24 misc:363 fcode:1 bcode:1 mc-var:235 var:237558 icount:0;
in:357 out:357 type:2 q:2.042575 itex:0 ptex:462 mv:30 misc:386 fcode:1 bcode:1 mc-var:221 var:237332 icount:0;
in:358 out:358 type:2 q:2.040588 itex:0 ptex:460 mv:46 misc:377 fcode:1 bcode:1 mc-var:231 var:237552 icount:0;
in:359 out:359 type:2 q:2.039072 itex:0 ptex:401 mv:26 misc:371 fcode:1 bcode:1 mc-var:229 var:237439 icount:0;
in:360 out:360 type:2 q:2.037124 itex:0 ptex:1076 mv:128 misc:675 fcode:1 bcode:1 mc-var:222 var:237436 icount:0;
in:361 out:361 type:2 q:2.043925 itex:0 ptex:493 mv:42 misc:418 fcode:1 bcode:1 mc-var:212 var:237399 icount:0;
in:362 out:362 type:1 q:2.026260 itex:4877 ptex:0 mv:0 misc:1807 fcode:1 bcode:1 mc-var:1024464 var:601 icount:300;
in:363 out:363 type:1 q:2.026260 itex:5488 ptex:0 mv:0 misc:1901 fcode:1 bcode:1 mc-var:7595 var:608 icount:300;