in:0 out:0 type:1 q:189 itex:14400 ptex:0 mv:0 misc:1502 fcode:1 bcode:1 mc-var:0 var:600 icount:300 skipcount:0 hbits:42; in:1 out:1 type:1 q:189 itex:14400 ptex:0 mv:0 misc:1502 fcode:1 bcode:1 mc-var:300 var:600 icount:300 skipcount:0 hbits:42; in:2 out:2 type:1 q:189 itex:14411 ptex:0 mv:0 misc:1507 fcode:1 bcode:1 mc-var:68160 var:600 icount:300 skipcount:0 hbits:42; in:3 out:3 type:1 q:189 itex:14646 ptex:0 mv:0 misc:1512 fcode:1 bcode:1 mc-var:1031 var:619 icount:300 skipcount:0 hbits:42; in:4 out:4 type:2 q:236 itex:2507 ptex:360 mv:251 misc:1184 fcode:1 bcode:1 mc-var:128 var:623 icount:52 skipcount:173 hbits:42; in:5 out:5 type:2 q:236 itex:660 ptex:701 mv:293 misc:1080 fcode:1 bcode:1 mc-var:301 var:889 icount:13 skipcount:176 hbits:42; in:6 out:6 type:2 q:236 itex:1200 ptex:411 mv:256 misc:963 fcode:1 bcode:1 mc-var:190 var:670 icount:25 skipcount:196 hbits:42; in:7 out:7 type:2 q:236 itex:1200 ptex:386 mv:182 misc:918 fcode:1 bcode:1 mc-var:134 var:632 icount:25 skipcount:204 hbits:42; in:8 out:8 type:2 q:236 itex:624 ptex:372 mv:182 misc:828 fcode:1 bcode:1 mc-var:239 var:708 icount:13 skipcount:212 hbits:42; in:9 out:9 type:2 q:236 itex:336 ptex:376 mv:170 misc:756 fcode:1 bcode:1 mc-var:157 var:641 icount:7 skipcount:224 hbits:42; in:10 out:10 type:2 q:236 itex:485 ptex:274 mv:182 misc:721 fcode:1 bcode:1 mc-var:133 var:635 icount:10 skipcount:229 hbits:42; in:11 out:11 type:2 q:236 itex:1248 ptex:472 mv:208 misc:990 fcode:1 bcode:1 mc-var:294 var:847 icount:26 skipcount:195 hbits:42; in:12 out:12 type:2 q:236 itex:720 ptex:338 mv:168 misc:804 fcode:1 bcode:1 mc-var:179 var:646 icount:15 skipcount:220 hbits:42; in:13 out:13 type:2 q:236 itex:1543 ptex:279 mv:152 misc:904 fcode:1 bcode:1 mc-var:162 var:641 icount:32 skipcount:213 hbits:42; in:14 out:14 type:2 q:236 itex:480 ptex:451 mv:238 misc:861 fcode:1 bcode:1 mc-var:290 var:863 icount:10 skipcount:206 hbits:42; in:15 out:15 type:1 q:189 itex:14653 ptex:0 mv:0 misc:1513 fcode:1 bcode:1 mc-var:0 var:636 icount:300 skipcount:0 hbits:42; in:16 out:16 type:2 q:236 itex:2887 ptex:374 mv:470 misc:1315 fcode:1 bcode:1 mc-var:143 var:633 icount:60 skipcount:146 hbits:42; in:17 out:17 type:2 q:236 itex:2784 ptex:317 mv:178 misc:1151 fcode:1 bcode:1 mc-var:130 var:626 icount:58 skipcount:183 hbits:42; in:18 out:18 type:2 q:236 itex:672 ptex:440 mv:207 misc:879 fcode:1 bcode:1 mc-var:254 var:747 icount:14 skipcount:205 hbits:42; in:19 out:19 type:2 q:236 itex:1104 ptex:277 mv:130 misc:807 fcode:1 bcode:1 mc-var:164 var:633 icount:23 skipcount:224 hbits:42; in:20 out:20 type:2 q:236 itex:1828 ptex:525 mv:115 misc:874 fcode:1 bcode:1 mc-var:193 var:683 icount:32 skipcount:219 hbits:42; in:21 out:21 type:2 q:236 itex:864 ptex:3648 mv:227 misc:971 fcode:1 bcode:1 mc-var:1501 var:2198 icount:18 skipcount:194 hbits:42; in:22 out:22 type:2 q:236 itex:672 ptex:2297 mv:231 misc:870 fcode:1 bcode:1 mc-var:438 var:2453 icount:14 skipcount:206 hbits:42; in:23 out:23 type:2 q:236 itex:288 ptex:3118 mv:236 misc:764 fcode:1 bcode:1 mc-var:783 var:3205 icount:6 skipcount:221 hbits:42; in:24 out:24 type:2 q:236 itex:480 ptex:11328 mv:276 misc:986 fcode:1 bcode:1 mc-var:5828 var:10242 icount:10 skipcount:191 hbits:42; in:25 out:25 type:2 q:236 itex:1200 ptex:9352 mv:280 misc:1086 fcode:1 bcode:1 mc-var:1862 var:14949 icount:25 skipcount:184 hbits:42; in:26 out:26 type:2 q:236 itex:192 ptex:9866 mv:197 misc:783 fcode:1 bcode:1 mc-var:2062 var:19291 icount:4 skipcount:226 hbits:42; in:27 out:27 type:1 q:189 itex:31909 ptex:0 mv:0 misc:1561 fcode:1 bcode:1 mc-var:0 var:22860 icount:300 skipcount:0 hbits:42; in:28 out:28 type:2 q:236 itex:1465 ptex:8115 mv:324 misc:1270 fcode:1 bcode:1 mc-var:1698 var:26793 icount:29 skipcount:160 hbits:42; in:29 out:29 type:2 q:236 itex:2058 ptex:9819 mv:325 misc:1324 fcode:1 bcode:1 mc-var:2155 var:31513 icount:42 skipcount:156 hbits:42; in:30 out:30 type:2 q:236 itex:1968 ptex:12537 mv:486 misc:1255 fcode:1 bcode:1 mc-var:3969 var:35392 icount:41 skipcount:160 hbits:42; in:31 out:31 type:2 q:271 itex:439 ptex:13276 mv:231 misc:892 fcode:1 bcode:1 mc-var:6548 var:33213 icount:9 skipcount:213 hbits:42; in:32 out:32 type:2 q:256 itex:336 ptex:12540 mv:245 misc:957 fcode:1 bcode:1 mc-var:2703 var:33795 icount:7 skipcount:200 hbits:42; in:33 out:33 type:2 q:236 itex:192 ptex:8983 mv:244 misc:963 fcode:1 bcode:1 mc-var:921 var:34942 icount:4 skipcount:198 hbits:42; in:34 out:34 type:2 q:236 itex:912 ptex:8254 mv:253 misc:1035 fcode:1 bcode:1 mc-var:946 var:35206 icount:19 skipcount:193 hbits:42; in:35 out:35 type:2 q:272 itex:1207 ptex:14397 mv:272 misc:1090 fcode:1 bcode:1 mc-var:3809 var:34930 icount:25 skipcount:187 hbits:42; in:36 out:36 type:2 q:256 itex:288 ptex:10245 mv:252 misc:981 fcode:1 bcode:1 mc-var:1121 var:34185 icount:6 skipcount:196 hbits:42; in:37 out:37 type:2 q:236 itex:0 ptex:607 mv:30 misc:393 fcode:1 bcode:1 mc-var:226 var:34185 icount:0 skipcount:285 hbits:42; in:38 out:38 type:2 q:236 itex:1351 ptex:9930 mv:330 misc:1235 fcode:1 bcode:1 mc-var:1209 var:35122 icount:28 skipcount:159 hbits:42; in:39 out:39 type:1 q:189 itex:44502 ptex:0 mv:0 misc:1528 fcode:1 bcode:1 mc-var:0 var:34769 icount:300 skipcount:0 hbits:42; in:40 out:40 type:2 q:276 itex:1502 ptex:15595 mv:358 misc:1303 fcode:1 bcode:1 mc-var:4610 var:34732 icount:31 skipcount:154 hbits:42; in:41 out:41 type:2 q:298 itex:96 ptex:8688 mv:123 misc:547 fcode:1 bcode:1 mc-var:2540 var:37953 icount:2 skipcount:261 hbits:42; in:42 out:42 type:2 q:294 itex:192 ptex:14048 mv:317 misc:1153 fcode:1 bcode:1 mc-var:2276 var:42590 icount:4 skipcount:170 hbits:42; in:43 out:43 type:2 q:325 itex:288 ptex:10574 mv:137 misc:607 fcode:1 bcode:1 mc-var:2799 var:46717 icount:6 skipcount:253 hbits:42; in:44 out:44 type:2 q:331 itex:192 ptex:11109 mv:135 misc:578 fcode:1 bcode:1 mc-var:2528 var:48772 icount:4 skipcount:260 hbits:42; in:45 out:45 type:2 q:337 itex:96 ptex:9598 mv:127 misc:553 fcode:1 bcode:1 mc-var:2457 var:51208 icount:2 skipcount:263 hbits:42; in:46 out:46 type:2 q:351 itex:480 ptex:11613 mv:148 misc:637 fcode:1 bcode:1 mc-var:3410 var:53520 icount:10 skipcount:250 hbits:42; in:47 out:47 type:2 q:367 itex:192 ptex:9231 mv:138 misc:597 fcode:1 bcode:1 mc-var:3645 var:52006 icount:4 skipcount:260 hbits:42; in:48 out:48 type:2 q:340 itex:283 ptex:7990 mv:123 misc:594 fcode:1 bcode:1 mc-var:1965 var:50967 icount:5 skipcount:264 hbits:42; in:49 out:49 type:2 q:328 itex:775 ptex:8627 mv:129 misc:691 fcode:1 bcode:1 mc-var:1951 var:50285 icount:16 skipcount:252 hbits:42; in:50 out:50 type:2 q:390 itex:727 ptex:14651 mv:136 misc:668 fcode:1 bcode:1 mc-var:7115 var:52492 icount:15 skipcount:257 hbits:42; in:51 out:51 type:1 q:362 itex:50790 ptex:0 mv:0 misc:1504 fcode:1 bcode:1 mc-var:0 var:52610 icount:300 skipcount:0 hbits:42; in:52 out:52 type:2 q:373 itex:720 ptex:10356 mv:108 misc:622 fcode:1 bcode:1 mc-var:2022 var:51362 icount:15 skipcount:258 hbits:42; in:53 out:53 type:2 q:385 itex:768 ptex:11095 mv:120 misc:623 fcode:1 bcode:1 mc-var:2165 var:49583 icount:16 skipcount:257 hbits:42; in:54 out:54 type:2 q:412 itex:0 ptex:11263 mv:117 misc:554 fcode:1 bcode:1 mc-var:2574 var:51509 icount:0 skipcount:267 hbits:42; in:55 out:55 type:2 q:386 itex:192 ptex:5603 mv:127 misc:572 fcode:1 bcode:1 mc-var:1125 var:49893 icount:4 skipcount:261 hbits:42; in:56 out:56 type:2 q:415 itex:144 ptex:8453 mv:118 misc:499 fcode:1 bcode:1 mc-var:3494 var:50925 icount:3 skipcount:264 hbits:42; in:57 out:57 type:2 q:362 itex:0 ptex:6365 mv:137 misc:592 fcode:1 bcode:1 mc-var:1053 var:52096 icount:0 skipcount:258 hbits:42; in:58 out:58 type:2 q:333 itex:144 ptex:4926 mv:137 misc:591 fcode:1 bcode:1 mc-var:880 var:51845 icount:3 skipcount:256 hbits:42; in:59 out:59 type:2 q:356 itex:384 ptex:11078 mv:153 misc:671 fcode:1 bcode:1 mc-var:2608 var:54238 icount:8 skipcount:249 hbits:42; in:60 out:60 type:2 q:336 itex:576 ptex:5879 mv:157 misc:690 fcode:1 bcode:1 mc-var:933 var:55280 icount:12 skipcount:243 hbits:42; in:61 out:61 type:2 q:296 itex:0 ptex:370 mv:36 misc:400 fcode:1 bcode:1 mc-var:402 var:55280 icount:0 skipcount:282 hbits:42; in:62 out:62 type:2 q:287 itex:624 ptex:19837 mv:311 misc:1226 fcode:1 bcode:1 mc-var:2349 var:55680 icount:13 skipcount:163 hbits:42; in:63 out:63 type:1 q:222 itex:63259 ptex:0 mv:0 misc:1571 fcode:1 bcode:1 mc-var:0 var:56005 icount:300 skipcount:0 hbits:42; in:64 out:64 type:2 q:306 itex:864 ptex:3570 mv:329 misc:787 fcode:1 bcode:1 mc-var:634 var:52156 icount:18 skipcount:215 hbits:42; in:65 out:65 type:2 q:317 itex:768 ptex:4833 mv:147 misc:674 fcode:1 bcode:1 mc-var:959 var:52178 icount:16 skipcount:245 hbits:42; in:66 out:66 type:2 q:306 itex:912 ptex:4204 mv:166 misc:716 fcode:1 bcode:1 mc-var:769 var:52588 icount:19 skipcount:242 hbits:42; in:67 out:67 type:2 q:299 itex:672 ptex:4712 mv:181 misc:697 fcode:1 bcode:1 mc-var:803 var:52342 icount:14 skipcount:244 hbits:42; in:68 out:68 type:2 q:342 itex:240 ptex:9700 mv:154 misc:648 fcode:1 bcode:1 mc-var:2555 var:53440 icount:5 skipcount:252 hbits:42; in:69 out:69 type:2 q:355 itex:240 ptex:9297 mv:185 misc:660 fcode:1 bcode:1 mc-var:1856 var:52750 icount:5 skipcount:246 hbits:42; in:70 out:70 type:2 q:399 itex:336 ptex:13939 mv:170 misc:673 fcode:1 bcode:1 mc-var:3043 var:53662 icount:7 skipcount:247 hbits:42; in:71 out:71 type:2 q:531 itex:336 ptex:11281 mv:158 misc:583 fcode:1 bcode:1 mc-var:9762 var:64354 icount:7 skipcount:253 hbits:42; in:72 out:72 type:2 q:497 itex:0 ptex:9807 mv:156 misc:611 fcode:1 bcode:1 mc-var:3330 var:69686 icount:0 skipcount:259 hbits:42; in:73 out:73 type:2 q:502 itex:144 ptex:10504 mv:175 misc:647 fcode:1 bcode:1 mc-var:3878 var:75141 icount:3 skipcount:251 hbits:42; in:74 out:74 type:2 q:480 itex:144 ptex:7367 mv:161 misc:630 fcode:1 bcode:1 mc-var:2340 var:78460 icount:3 skipcount:248 hbits:42; in:75 out:75 type:1 q:367 itex:58034 ptex:0 mv:0 misc:1580 fcode:1 bcode:1 mc-var:0 var:82553 icount:300 skipcount:0 hbits:42; in:76 out:76 type:2 q:594 itex:768 ptex:10988 mv:221 misc:765 fcode:1 bcode:1 mc-var:12398 var:84228 icount:16 skipcount:221 hbits:42; in:77 out:77 type:2 q:579 itex:240 ptex:10783 mv:199 misc:648 fcode:1 bcode:1 mc-var:6090 var:86570 icount:5 skipcount:237 hbits:42; in:78 out:78 type:2 q:588 itex:48 ptex:10146 mv:182 misc:630 fcode:1 bcode:1 mc-var:6079 var:87318 icount:1 skipcount:244 hbits:42; in:79 out:79 type:2 q:550 itex:96 ptex:7069 mv:197 misc:692 fcode:1 bcode:1 mc-var:3197 var:92003 icount:2 skipcount:241 hbits:42; in:80 out:80 type:2 q:521 itex:48 ptex:11383 mv:185 misc:702 fcode:1 bcode:1 mc-var:2858 var:91658 icount:1 skipcount:244 hbits:42; in:81 out:81 type:2 q:554 itex:147 ptex:7756 mv:211 misc:636 fcode:1 bcode:1 mc-var:3445 var:90917 icount:2 skipcount:243 hbits:42; in:82 out:82 type:2 q:549 itex:672 ptex:7639 mv:207 misc:752 fcode:1 bcode:1 mc-var:3193 var:89159 icount:14 skipcount:236 hbits:42; in:83 out:83 type:2 q:556 itex:240 ptex:8252 mv:222 misc:652 fcode:1 bcode:1 mc-var:3657 var:88195 icount:5 skipcount:249 hbits:42; in:84 out:84 type:2 q:540 itex:192 ptex:6841 mv:207 misc:614 fcode:1 bcode:1 mc-var:2855 var:86562 icount:4 skipcount:252 hbits:42; in:85 out:85 type:2 q:477 itex:0 ptex:4865 mv:90 misc:603 fcode:1 bcode:1 mc-var:1247 var:86562 icount:0 skipcount:257 hbits:42; in:86 out:86 type:2 q:502 itex:0 ptex:11210 mv:235 misc:697 fcode:1 bcode:1 mc-var:3650 var:84489 icount:0 skipcount:241 hbits:42; in:87 out:87 type:1 q:421 itex:67008 ptex:0 mv:0 misc:1518 fcode:1 bcode:1 mc-var:0 var:90704 icount:300 skipcount:0 hbits:42; in:88 out:88 type:2 q:604 itex:96 ptex:13684 mv:203 misc:631 fcode:1 bcode:1 mc-var:7255 var:97826 icount:2 skipcount:237 hbits:42; in:89 out:89 type:2 q:775 itex:96 ptex:9630 mv:166 misc:610 fcode:1 bcode:1 mc-var:19152 var:100973 icount:2 skipcount:242 hbits:42; in:90 out:90 type:2 q:683 itex:0 ptex:7926 mv:184 misc:616 fcode:1 bcode:1 mc-var:4660 var:109065 icount:0 skipcount:244 hbits:42; in:91 out:91 type:2 q:681 itex:0 ptex:11368 mv:204 misc:642 fcode:1 bcode:1 mc-var:6904 var:112072 icount:0 skipcount:241 hbits:42; in:92 out:92 type:2 q:669 itex:0 ptex:6341 mv:201 misc:664 fcode:1 bcode:1 mc-var:4569 var:115949 icount:0 skipcount:235 hbits:42; in:93 out:93 type:2 q:703 itex:240 ptex:12727 mv:231 misc:712 fcode:1 bcode:1 mc-var:9687 var:120105 icount:5 skipcount:227 hbits:42; in:94 out:94 type:2 q:734 itex:0 ptex:8726 mv:198 misc:658 fcode:1 bcode:1 mc-var:8304 var:117738 icount:0 skipcount:234 hbits:42; in:95 out:95 type:2 q:715 itex:0 ptex:10040 mv:233 misc:733 fcode:1 bcode:1 mc-var:6754 var:122969 icount:0 skipcount:228 hbits:42; in:96 out:96 type:2 q:693 itex:0 ptex:7818 mv:214 misc:766 fcode:1 bcode:1 mc-var:4784 var:127792 icount:0 skipcount:228 hbits:42; in:97 out:97 type:2 q:652 itex:96 ptex:5079 mv:236 misc:771 fcode:1 bcode:1 mc-var:3321 var:129008 icount:2 skipcount:224 hbits:42; in:98 out:98 type:2 q:695 itex:0 ptex:14569 mv:231 misc:734 fcode:1 bcode:1 mc-var:9367 var:128063 icount:0 skipcount:228 hbits:42; in:99 out:99 type:1 q:591 itex:72786 ptex:0 mv:0 misc:1564 fcode:1 bcode:1 mc-var:0 var:123559 icount:300 skipcount:0 hbits:42; in:100 out:100 type:2 q:733 itex:528 ptex:8771 mv:233 misc:754 fcode:1 bcode:1 mc-var:5744 var:124944 icount:11 skipcount:224 hbits:42; in:101 out:101 type:2 q:748 itex:55 ptex:8079 mv:247 misc:641 fcode:1 bcode:1 mc-var:5277 var:121988 icount:1 skipcount:236 hbits:42; in:102 out:102 type:2 q:866 itex:48 ptex:11461 mv:243 misc:614 fcode:1 bcode:1 mc-var:15594 var:120438 icount:1 skipcount:237 hbits:42; in:103 out:103 type:2 q:865 itex:0 ptex:9201 mv:216 misc:629 fcode:1 bcode:1 mc-var:10017 var:128387 icount:0 skipcount:237 hbits:42; in:104 out:104 type:2 q:842 itex:0 ptex:9395 mv:210 misc:697 fcode:1 bcode:1 mc-var:8142 var:134045 icount:0 skipcount:229 hbits:42; in:105 out:105 type:2 q:873 itex:0 ptex:12924 mv:229 misc:757 fcode:1 bcode:1 mc-var:10652 var:141681 icount:0 skipcount:225 hbits:42; in:106 out:106 type:2 q:976 itex:48 ptex:11546 mv:234 misc:682 fcode:1 bcode:1 mc-var:15656 var:140747 icount:1 skipcount:227 hbits:42; in:107 out:107 type:2 q:929 itex:0 ptex:7092 mv:220 misc:710 fcode:1 bcode:1 mc-var:7480 var:142279 icount:0 skipcount:225 hbits:42; in:108 out:108 type:2 q:904 itex:0 ptex:6493 mv:223 misc:706 fcode:1 bcode:1 mc-var:8812 var:150045 icount:0 skipcount:225 hbits:42; in:109 out:109 type:2 q:891 itex:0 ptex:10126 mv:258 misc:758 fcode:1 bcode:1 mc-var:11572 var:150607 icount:0 skipcount:219 hbits:42; in:110 out:110 type:2 q:801 itex:0 ptex:3919 mv:134 misc:705 fcode:1 bcode:1 mc-var:4042 var:150607 icount:0 skipcount:233 hbits:42; in:111 out:111 type:1 q:568 itex:77750 ptex:0 mv:0 misc:1584 fcode:1 bcode:1 mc-var:0 var:152477 icount:300 skipcount:0 hbits:42; in:112 out:112 type:2 q:745 itex:96 ptex:7204 mv:235 misc:751 fcode:1 bcode:1 mc-var:4575 var:158700 icount:2 skipcount:214 hbits:42; in:113 out:113 type:2 q:772 itex:0 ptex:7531 mv:261 misc:750 fcode:1 bcode:1 mc-var:5986 var:164231 icount:0 skipcount:208 hbits:42; in:114 out:114 type:2 q:799 itex:0 ptex:7844 mv:259 misc:767 fcode:1 bcode:1 mc-var:6572 var:169057 icount:0 skipcount:211 hbits:42; in:115 out:115 type:2 q:819 itex:0 ptex:8569 mv:263 misc:790 fcode:1 bcode:1 mc-var:6629 var:168363 icount:0 skipcount:210 hbits:42; in:116 out:116 type:2 q:845 itex:0 ptex:7932 mv:256 misc:802 fcode:1 bcode:1 mc-var:6593 var:163556 icount:0 skipcount:211 hbits:42; in:117 out:117 type:2 q:834 itex:48 ptex:5375 mv:250 misc:813 fcode:1 bcode:1 mc-var:5106 var:163971 icount:1 skipcount:211 hbits:42; in:118 out:118 type:2 q:854 itex:336 ptex:9073 mv:267 misc:850 fcode:1 bcode:1 mc-var:8166 var:158631 icount:7 skipcount:211 hbits:42; in:119 out:119 type:2 q:969 itex:240 ptex:13202 mv:269 misc:775 fcode:1 bcode:1 mc-var:15153 var:167229 icount:5 skipcount:216 hbits:42; in:120 out:120 type:2 q:973 itex:48 ptex:6580 mv:278 misc:772 fcode:1 bcode:1 mc-var:7498 var:170654 icount:1 skipcount:219 hbits:42; in:121 out:121 type:2 q:1003 itex:48 ptex:8598 mv:274 misc:726 fcode:1 bcode:1 mc-var:11614 var:174338 icount:1 skipcount:221 hbits:42; in:122 out:122 type:2 q:1004 itex:0 ptex:8158 mv:249 misc:783 fcode:1 bcode:1 mc-var:10748 var:173406 icount:0 skipcount:216 hbits:42; in:123 out:123 type:1 q:804 itex:78558 ptex:0 mv:0 misc:1520 fcode:1 bcode:1 mc-var:0 var:173460 icount:300 skipcount:0 hbits:42; in:124 out:124 type:2 q:960 itex:144 ptex:3462 mv:263 misc:737 fcode:1 bcode:1 mc-var:6380 var:174386 icount:3 skipcount:206 hbits:42; in:125 out:125 type:2 q:925 itex:0 ptex:7316 mv:255 misc:763 fcode:1 bcode:1 mc-var:9544 var:180142 icount:0 skipcount:210 hbits:42; in:126 out:126 type:2 q:978 itex:0 ptex:13987 mv:257 misc:794 fcode:1 bcode:1 mc-var:14513 var:186393 icount:0 skipcount:210 hbits:42; in:127 out:127 type:2 q:1017 itex:0 ptex:5146 mv:265 misc:803 fcode:1 bcode:1 mc-var:8278 var:192762 icount:0 skipcount:203 hbits:42; in:128 out:128 type:2 q:985 itex:0 ptex:7974 mv:273 misc:895 fcode:1 bcode:1 mc-var:8323 var:200345 icount:0 skipcount:201 hbits:42; in:129 out:129 type:2 q:1096 itex:0 ptex:11819 mv:309 misc:814 fcode:1 bcode:1 mc-var:17198 var:203053 icount:0 skipcount:200 hbits:42; in:130 out:130 type:2 q:1070 itex:0 ptex:4380 mv:283 misc:855 fcode:1 bcode:1 mc-var:7736 var:204803 icount:0 skipcount:195 hbits:42; in:131 out:131 type:2 q:1098 itex:0 ptex:12282 mv:320 misc:868 fcode:1 bcode:1 mc-var:16330 var:202622 icount:0 skipcount:195 hbits:42; in:132 out:132 type:2 q:1078 itex:48 ptex:4698 mv:282 misc:898 fcode:1 bcode:1 mc-var:7865 var:200066 icount:1 skipcount:194 hbits:42; in:133 out:133 type:2 q:1024 itex:0 ptex:4702 mv:286 misc:890 fcode:1 bcode:1 mc-var:8099 var:204716 icount:0 skipcount:195 hbits:42; in:134 out:134 type:2 q:936 itex:0 ptex:3991 mv:190 misc:889 fcode:1 bcode:1 mc-var:6133 var:204716 icount:0 skipcount:205 hbits:42; in:135 out:135 type:1 q:679 itex:93272 ptex:0 mv:0 misc:1590 fcode:1 bcode:1 mc-var:0 var:202652 icount:300 skipcount:0 hbits:42; in:136 out:136 type:2 q:963 itex:296 ptex:11575 mv:324 misc:867 fcode:1 bcode:1 mc-var:11730 var:200589 icount:6 skipcount:194 hbits:42; in:137 out:137 type:2 q:1107 itex:288 ptex:8952 mv:333 misc:841 fcode:1 bcode:1 mc-var:13928 var:198895 icount:6 skipcount:199 hbits:42; in:138 out:138 type:2 q:1089 itex:0 ptex:4361 mv:284 misc:793 fcode:1 bcode:1 mc-var:7201 var:195901 icount:0 skipcount:206 hbits:42; in:139 out:139 type:2 q:1104 itex:0 ptex:9127 mv:313 misc:790 fcode:1 bcode:1 mc-var:12304 var:193173 icount:0 skipcount:207 hbits:42; in:140 out:140 type:2 q:1109 itex:0 ptex:5690 mv:287 misc:837 fcode:1 bcode:1 mc-var:8898 var:182745 icount:0 skipcount:197 hbits:42; in:141 out:141 type:2 q:1083 itex:96 ptex:5573 mv:278 misc:883 fcode:1 bcode:1 mc-var:8598 var:182490 icount:2 skipcount:194 hbits:42; in:142 out:142 type:2 q:1125 itex:0 ptex:8625 mv:334 misc:839 fcode:1 bcode:1 mc-var:13753 var:187647 icount:0 skipcount:193 hbits:42; in:143 out:143 type:2 q:1215 itex:96 ptex:10692 mv:385 misc:849 fcode:1 bcode:1 mc-var:17878 var:188248 icount:2 skipcount:193 hbits:42; in:144 out:144 type:2 q:1239 itex:96 ptex:5672 mv:383 misc:831 fcode:1 bcode:1 mc-var:11908 var:192842 icount:2 skipcount:194 hbits:42; in:145 out:145 type:2 q:1194 itex:0 ptex:6477 mv:271 misc:874 fcode:1 bcode:1 mc-var:10660 var:198493 icount:0 skipcount:202 hbits:42; in:146 out:146 type:2 q:1188 itex:71 ptex:6371 mv:277 misc:847 fcode:1 bcode:1 mc-var:11794 var:199875 icount:1 skipcount:197 hbits:42; in:147 out:147 type:1 q:945 itex:73565 ptex:0 mv:0 misc:1569 fcode:1 bcode:1 mc-var:0 var:201331 icount:300 skipcount:0 hbits:42; in:148 out:148 type:2 q:1235 itex:0 ptex:7958 mv:351 misc:857 fcode:1 bcode:1 mc-var:14911 var:201155 icount:0 skipcount:186 hbits:42; in:149 out:149 type:2 q:1242 itex:0 ptex:4654 mv:352 misc:864 fcode:1 bcode:1 mc-var:11859 var:204211 icount:0 skipcount:183 hbits:42; in:150 out:150 type:2 q:1299 itex:0 ptex:9052 mv:376 misc:922 fcode:1 bcode:1 mc-var:22729 var:218123 icount:0 skipcount:178 hbits:42; in:151 out:151 type:2 q:1271 itex:0 ptex:5368 mv:338 misc:916 fcode:1 bcode:1 mc-var:12956 var:225951 icount:0 skipcount:178 hbits:42; in:152 out:152 type:2 q:1425 itex:0 ptex:8741 mv:315 misc:926 fcode:1 bcode:1 mc-var:38797 var:226942 icount:0 skipcount:179 hbits:42; in:153 out:153 type:2 q:1373 itex:336 ptex:8866 mv:364 misc:960 fcode:1 bcode:1 mc-var:20439 var:229677 icount:7 skipcount:178 hbits:42; in:154 out:154 type:2 q:1443 itex:240 ptex:9524 mv:397 misc:933 fcode:1 bcode:1 mc-var:23417 var:227833 icount:5 skipcount:183 hbits:42; in:155 out:155 type:2 q:1429 itex:0 ptex:5254 mv:347 misc:885 fcode:1 bcode:1 mc-var:14775 var:221023 icount:0 skipcount:190 hbits:42; in:156 out:156 type:2 q:1485 itex:0 ptex:7184 mv:314 misc:860 fcode:1 bcode:1 mc-var:27423 var:220276 icount:0 skipcount:193 hbits:42; in:157 out:157 type:2 q:1405 itex:0 ptex:5742 mv:306 misc:910 fcode:1 bcode:1 mc-var:17203 var:212227 icount:0 skipcount:180 hbits:42; in:158 out:158 type:2 q:1368 itex:0 ptex:6765 mv:321 misc:968 fcode:1 bcode:1 mc-var:18713 var:220122 icount:0 skipcount:180 hbits:42; in:159 out:159 type:1 q:1066 itex:77342 ptex:0 mv:0 misc:1520 fcode:1 bcode:1 mc-var:0 var:220122 icount:300 skipcount:0 hbits:42; in:160 out:160 type:2 q:1370 itex:0 ptex:5656 mv:374 misc:912 fcode:1 bcode:1 mc-var:16582 var:220243 icount:0 skipcount:179 hbits:42; in:161 out:161 type:2 q:1436 itex:255 ptex:10071 mv:416 misc:960 fcode:1 bcode:1 mc-var:25715 var:223625 icount:5 skipcount:176 hbits:42; in:162 out:162 type:2 q:1439 itex:576 ptex:4360 mv:333 misc:969 fcode:1 bcode:1 mc-var:14169 var:230151 icount:12 skipcount:180 hbits:42; in:163 out:163 type:2 q:1440 itex:0 ptex:7095 mv:362 misc:869 fcode:1 bcode:1 mc-var:17969 var:232798 icount:0 skipcount:188 hbits:42; in:164 out:164 type:2 q:1440 itex:48 ptex:5419 mv:369 misc:906 fcode:1 bcode:1 mc-var:16009 var:231456 icount:1 skipcount:183 hbits:42; in:165 out:165 type:2 q:1561 itex:0 ptex:8338 mv:325 misc:887 fcode:1 bcode:1 mc-var:34168 var:236679 icount:0 skipcount:188 hbits:42; in:166 out:166 type:2 q:1459 itex:0 ptex:4845 mv:357 misc:956 fcode:1 bcode:1 mc-var:14217 var:235405 icount:0 skipcount:169 hbits:42; in:167 out:167 type:2 q:1472 itex:0 ptex:6780 mv:358 misc:988 fcode:1 bcode:1 mc-var:22058 var:247408 icount:0 skipcount:167 hbits:42; in:168 out:168 type:2 q:1422 itex:0 ptex:4760 mv:369 misc:965 fcode:1 bcode:1 mc-var:15138 var:253445 icount:0 skipcount:163 hbits:42; in:169 out:169 type:2 q:1401 itex:0 ptex:6112 mv:366 misc:1008 fcode:1 bcode:1 mc-var:17840 var:258745 icount:0 skipcount:161 hbits:42; in:170 out:170 type:2 q:1394 itex:48 ptex:5839 mv:399 misc:1032 fcode:1 bcode:1 mc-var:16757 var:256145 icount:1 skipcount:160 hbits:42; in:171 out:171 type:1 q:1109 itex:81732 ptex:0 mv:0 misc:1562 fcode:1 bcode:1 mc-var:0 var:252951 icount:300 skipcount:0 hbits:42; in:172 out:172 type:2 q:1368 itex:144 ptex:2252 mv:369 misc:865 fcode:1 bcode:1 mc-var:11912 var:254213 icount:3 skipcount:168 hbits:42; in:173 out:173 type:2 q:1303 itex:0 ptex:6462 mv:386 misc:958 fcode:1 bcode:1 mc-var:15340 var:253066 icount:0 skipcount:171 hbits:42; in:174 out:174 type:2 q:1448 itex:48 ptex:9227 mv:332 misc:951 fcode:1 bcode:1 mc-var:45277 var:248949 icount:1 skipcount:175 hbits:42; in:175 out:175 type:2 q:1518 itex:0 ptex:9362 mv:434 misc:970 fcode:1 bcode:1 mc-var:26712 var:256516 icount:0 skipcount:165 hbits:42; in:176 out:176 type:2 q:1543 itex:0 ptex:3888 mv:325 misc:945 fcode:1 bcode:1 mc-var:16587 var:253570 icount:0 skipcount:169 hbits:42; in:177 out:177 type:2 q:1526 itex:0 ptex:6960 mv:336 misc:974 fcode:1 bcode:1 mc-var:21127 var:244979 icount:0 skipcount:167 hbits:42; in:178 out:178 type:2 q:1548 itex:48 ptex:6313 mv:387 misc:986 fcode:1 bcode:1 mc-var:19736 var:247498 icount:1 skipcount:162 hbits:42; in:179 out:179 type:2 q:1525 itex:480 ptex:3241 mv:353 misc:988 fcode:1 bcode:1 mc-var:15497 var:253594 icount:10 skipcount:164 hbits:42; in:180 out:180 type:2 q:1502 itex:96 ptex:6387 mv:379 misc:976 fcode:1 bcode:1 mc-var:20201 var:256452 icount:2 skipcount:168 hbits:42; in:181 out:181 type:2 q:1667 itex:0 ptex:7711 mv:365 misc:970 fcode:1 bcode:1 mc-var:43031 var:258382 icount:0 skipcount:173 hbits:42; in:182 out:182 type:2 q:1713 itex:0 ptex:7870 mv:444 misc:964 fcode:1 bcode:1 mc-var:35409 var:266738 icount:0 skipcount:170 hbits:42; in:183 out:183 type:1 q:1407 itex:67069 ptex:0 mv:0 misc:1473 fcode:1 bcode:1 mc-var:0 var:266738 icount:300 skipcount:0 hbits:42; in:184 out:184 type:2 q:1639 itex:0 ptex:2850 mv:398 misc:918 fcode:1 bcode:1 mc-var:16236 var:271765 icount:0 skipcount:159 hbits:42; in:185 out:185 type:2 q:1578 itex:0 ptex:7140 mv:407 misc:1003 fcode:1 bcode:1 mc-var:22496 var:278625 icount:0 skipcount:156 hbits:42; in:186 out:186 type:2 q:1725 itex:0 ptex:6851 mv:371 misc:1024 fcode:1 bcode:1 mc-var:48875 var:279454 icount:0 skipcount:155 hbits:42; in:187 out:187 type:2 q:1637 itex:0 ptex:4616 mv:376 misc:1030 fcode:1 bcode:1 mc-var:19964 var:274582 icount:0 skipcount:149 hbits:42; in:188 out:188 type:2 q:1573 itex:0 ptex:4682 mv:371 misc:1033 fcode:1 bcode:1 mc-var:18120 var:282134 icount:0 skipcount:150 hbits:42; in:189 out:189 type:2 q:1526 itex:192 ptex:3367 mv:391 misc:1024 fcode:1 bcode:1 mc-var:16446 var:282877 icount:4 skipcount:150 hbits:42; in:190 out:190 type:2 q:1486 itex:144 ptex:4600 mv:424 misc:1062 fcode:1 bcode:1 mc-var:18392 var:281602 icount:3 skipcount:153 hbits:42; in:191 out:191 type:2 q:1496 itex:48 ptex:5203 mv:394 misc:993 fcode:1 bcode:1 mc-var:19972 var:279670 icount:1 skipcount:159 hbits:42; in:192 out:192 type:2 q:1489 itex:144 ptex:4282 mv:381 misc:1007 fcode:1 bcode:1 mc-var:17495 var:281582 icount:3 skipcount:161 hbits:42; in:193 out:193 type:2 q:1443 itex:48 ptex:4276 mv:356 misc:1062 fcode:1 bcode:1 mc-var:14623 var:277132 icount:1 skipcount:155 hbits:42; in:194 out:194 type:2 q:1597 itex:0 ptex:9110 mv:357 misc:1019 fcode:1 bcode:1 mc-var:48020 var:279357 icount:0 skipcount:163 hbits:42; in:195 out:195 type:1 q:1401 itex:73922 ptex:0 mv:0 misc:1460 fcode:1 bcode:1 mc-var:0 var:268839 icount:300 skipcount:0 hbits:42; in:196 out:196 type:2 q:1621 itex:96 ptex:3521 mv:392 misc:965 fcode:1 bcode:1 mc-var:19875 var:270054 icount:2 skipcount:156 hbits:42; in:197 out:197 type:2 q:1632 itex:637 ptex:5860 mv:398 misc:1063 fcode:1 bcode:1 mc-var:25997 var:268294 icount:13 skipcount:157 hbits:42; in:198 out:198 type:2 q:1775 itex:96 ptex:5979 mv:387 misc:984 fcode:1 bcode:1 mc-var:35698 var:265389 icount:2 skipcount:164 hbits:42; in:199 out:199 type:2 q:1702 itex:75 ptex:4650 mv:398 misc:1003 fcode:1 bcode:1 mc-var:19645 var:270932 icount:1 skipcount:163 hbits:42; in:200 out:200 type:2 q:1771 itex:48 ptex:6698 mv:480 misc:1012 fcode:1 bcode:1 mc-var:30410 var:273464 icount:1 skipcount:160 hbits:42; in:201 out:201 type:2 q:1744 itex:0 ptex:3239 mv:407 misc:984 fcode:1 bcode:1 mc-var:19370 var:274367 icount:0 skipcount:154 hbits:42; in:202 out:202 type:2 q:1682 itex:0 ptex:5423 mv:419 misc:1052 fcode:1 bcode:1 mc-var:21870 var:270907 icount:0 skipcount:149 hbits:42; in:203 out:203 type:2 q:1658 itex:0 ptex:3114 mv:399 misc:1013 fcode:1 bcode:1 mc-var:18382 var:266742 icount:0 skipcount:146 hbits:42; in:204 out:204 type:2 q:1603 itex:48 ptex:3846 mv:414 misc:1058 fcode:1 bcode:1 mc-var:20494 var:271660 icount:1 skipcount:140 hbits:42; in:205 out:205 type:2 q:1536 itex:0 ptex:3746 mv:428 misc:1088 fcode:1 bcode:1 mc-var:17510 var:279672 icount:0 skipcount:141 hbits:42; in:206 out:206 type:2 q:1583 itex:857 ptex:9113 mv:429 misc:1159 fcode:1 bcode:1 mc-var:26588 var:282966 icount:13 skipcount:141 hbits:42; in:207 out:207 type:1 q:1304 itex:74917 ptex:0 mv:0 misc:1553 fcode:1 bcode:1 mc-var:0 var:284329 icount:300 skipcount:0 hbits:42; in:208 out:208 type:2 q:1569 itex:0 ptex:0 mv:4 misc:306 fcode:1 bcode:1 mc-var:8291 var:284329 icount:0 skipcount:299 hbits:42; in:209 out:209 type:2 q:1482 itex:48 ptex:8093 mv:469 misc:1012 fcode:1 bcode:1 mc-var:28048 var:281332 icount:1 skipcount:164 hbits:42; in:210 out:210 type:2 q:1547 itex:48 ptex:4262 mv:408 misc:960 fcode:1 bcode:1 mc-var:17990 var:282708 icount:1 skipcount:163 hbits:42; in:211 out:211 type:2 q:1691 itex:96 ptex:6363 mv:440 misc:995 fcode:1 bcode:1 mc-var:31065 var:277887 icount:2 skipcount:160 hbits:42; in:212 out:212 type:2 q:1697 itex:0 ptex:4024 mv:372 misc:1010 fcode:1 bcode:1 mc-var:19428 var:272706 icount:0 skipcount:154 hbits:42; in:213 out:213 type:2 q:1784 itex:0 ptex:6356 mv:483 misc:1047 fcode:1 bcode:1 mc-var:31340 var:281514 icount:0 skipcount:144 hbits:42; in:214 out:214 type:2 q:1877 itex:48 ptex:4995 mv:480 misc:1067 fcode:1 bcode:1 mc-var:31761 var:288399 icount:1 skipcount:139 hbits:42; in:215 out:215 type:2 q:2016 itex:528 ptex:4921 mv:442 misc:1115 fcode:1 bcode:1 mc-var:49496 var:289373 icount:11 skipcount:140 hbits:42; in:216 out:216 type:2 q:1967 itex:0 ptex:6268 mv:510 misc:1076 fcode:1 bcode:1 mc-var:35510 var:301331 icount:0 skipcount:144 hbits:42; in:217 out:217 type:2 q:1968 itex:48 ptex:4587 mv:463 misc:1060 fcode:1 bcode:1 mc-var:30259 var:309446 icount:1 skipcount:145 hbits:42; in:218 out:218 type:2 q:1942 itex:0 ptex:5680 mv:491 misc:1099 fcode:1 bcode:1 mc-var:29949 var:300370 icount:0 skipcount:140 hbits:42; in:219 out:219 type:1 q:1533 itex:69965 ptex:0 mv:0 misc:1473 fcode:1 bcode:1 mc-var:0 var:309696 icount:300 skipcount:0 hbits:42; in:220 out:220 type:2 q:1904 itex:0 ptex:1593 mv:470 misc:951 fcode:1 bcode:1 mc-var:19893 var:314176 icount:0 skipcount:132 hbits:42; in:221 out:221 type:2 q:1806 itex:0 ptex:4406 mv:446 misc:1042 fcode:1 bcode:1 mc-var:27225 var:316080 icount:0 skipcount:127 hbits:42; in:222 out:222 type:2 q:1746 itex:0 ptex:2323 mv:450 misc:1041 fcode:1 bcode:1 mc-var:21677 var:320034 icount:0 skipcount:125 hbits:42; in:223 out:223 type:2 q:1693 itex:240 ptex:6350 mv:478 misc:1162 fcode:1 bcode:1 mc-var:27073 var:317089 icount:5 skipcount:125 hbits:42; in:224 out:224 type:2 q:1761 itex:144 ptex:2932 mv:562 misc:1080 fcode:1 bcode:1 mc-var:21929 var:315335 icount:3 skipcount:133 hbits:42; in:225 out:225 type:2 q:1701 itex:0 ptex:2448 mv:438 misc:992 fcode:1 bcode:1 mc-var:18636 var:316960 icount:0 skipcount:144 hbits:42; in:226 out:226 type:2 q:1605 itex:0 ptex:2039 mv:461 misc:986 fcode:1 bcode:1 mc-var:17858 var:314268 icount:0 skipcount:147 hbits:42; in:227 out:227 type:2 q:1564 itex:144 ptex:7327 mv:470 misc:1137 fcode:1 bcode:1 mc-var:24701 var:307980 icount:3 skipcount:141 hbits:42; in:228 out:228 type:2 q:1720 itex:96 ptex:7806 mv:485 misc:1099 fcode:1 bcode:1 mc-var:37753 var:310421 icount:2 skipcount:142 hbits:42; in:229 out:229 type:2 q:1975 itex:0 ptex:6312 mv:531 misc:1091 fcode:1 bcode:1 mc-var:42490 var:314634 icount:0 skipcount:137 hbits:42; in:230 out:230 type:2 q:1981 itex:0 ptex:2678 mv:441 misc:1063 fcode:1 bcode:1 mc-var:25721 var:320389 icount:0 skipcount:128 hbits:42; in:231 out:231 type:1 q:1589 itex:78053 ptex:0 mv:0 misc:1393 fcode:1 bcode:1 mc-var:0 var:320669 icount:300 skipcount:0 hbits:42; in:232 out:232 type:2 q:1807 itex:0 ptex:0 mv:32 misc:318 fcode:1 bcode:1 mc-var:14563 var:320669 icount:0 skipcount:294 hbits:42; in:233 out:233 type:2 q:1612 itex:144 ptex:10844 mv:582 misc:1180 fcode:1 bcode:1 mc-var:42815 var:321822 icount:3 skipcount:130 hbits:42; in:234 out:234 type:2 q:1691 itex:48 ptex:7828 mv:545 misc:1145 fcode:1 bcode:1 mc-var:34412 var:327220 icount:1 skipcount:132 hbits:42; in:235 out:235 type:2 q:1908 itex:0 ptex:6851 mv:569 misc:1146 fcode:1 bcode:1 mc-var:35703 var:338541 icount:0 skipcount:127 hbits:42; in:236 out:236 type:2 q:2030 itex:0 ptex:2081 mv:474 misc:1027 fcode:1 bcode:1 mc-var:25241 var:335298 icount:0 skipcount:123 hbits:42; in:237 out:237 type:2 q:1954 itex:0 ptex:2788 mv:478 misc:1044 fcode:1 bcode:1 mc-var:27620 var:336918 icount:0 skipcount:118 hbits:42; in:238 out:238 type:2 q:1840 itex:168 ptex:2716 mv:518 misc:1092 fcode:1 bcode:1 mc-var:24560 var:340643 icount:1 skipcount:116 hbits:42; in:239 out:239 type:2 q:1803 itex:0 ptex:4848 mv:483 misc:1195 fcode:1 bcode:1 mc-var:28285 var:334696 icount:0 skipcount:114 hbits:42; in:240 out:240 type:2 q:1883 itex:336 ptex:4503 mv:498 misc:1205 fcode:1 bcode:1 mc-var:30870 var:338495 icount:7 skipcount:117 hbits:42; in:241 out:241 type:2 q:1966 itex:96 ptex:4614 mv:639 misc:1169 fcode:1 bcode:1 mc-var:32487 var:336456 icount:2 skipcount:123 hbits:42; in:242 out:242 type:2 q:2035 itex:336 ptex:4994 mv:479 misc:1149 fcode:1 bcode:1 mc-var:33755 var:337781 icount:7 skipcount:133 hbits:42; in:243 out:243 type:1 q:1684 itex:74243 ptex:0 mv:0 misc:1395 fcode:1 bcode:1 mc-var:0 var:336307 icount:300 skipcount:0 hbits:42; in:244 out:244 type:2 q:2236 itex:48 ptex:3542 mv:473 misc:1039 fcode:1 bcode:1 mc-var:45641 var:330905 icount:1 skipcount:139 hbits:42; in:245 out:245 type:2 q:2160 itex:240 ptex:3331 mv:450 misc:1105 fcode:1 bcode:1 mc-var:30260 var:333723 icount:5 skipcount:132 hbits:42; in:246 out:246 type:2 q:2143 itex:0 ptex:5010 mv:502 misc:1110 fcode:1 bcode:1 mc-var:36524 var:335596 icount:0 skipcount:132 hbits:42; in:247 out:247 type:2 q:2196 itex:0 ptex:3633 mv:516 misc:1105 fcode:1 bcode:1 mc-var:37196 var:335993 icount:0 skipcount:126 hbits:42; in:248 out:248 type:2 q:2286 itex:0 ptex:5619 mv:537 misc:1138 fcode:1 bcode:1 mc-var:55261 var:332644 icount:0 skipcount:123 hbits:42; in:249 out:249 type:2 q:2331 itex:144 ptex:3914 mv:669 misc:1199 fcode:1 bcode:1 mc-var:48265 var:322898 icount:3 skipcount:110 hbits:42; in:250 out:250 type:2 q:2276 itex:0 ptex:4034 mv:500 misc:1120 fcode:1 bcode:1 mc-var:40372 var:338552 icount:0 skipcount:120 hbits:42; in:251 out:251 type:2 q:2280 itex:48 ptex:6026 mv:560 misc:1156 fcode:1 bcode:1 mc-var:45823 var:336276 icount:1 skipcount:122 hbits:42; in:252 out:252 type:2 q:2266 itex:87 ptex:2273 mv:506 misc:1108 fcode:1 bcode:1 mc-var:31337 var:339877 icount:1 skipcount:117 hbits:42; in:253 out:253 type:2 q:2144 itex:384 ptex:3079 mv:483 misc:1180 fcode:1 bcode:1 mc-var:31448 var:343202 icount:8 skipcount:111 hbits:42; in:254 out:254 type:2 q:2076 itex:0 ptex:2739 mv:477 misc:1102 fcode:1 bcode:1 mc-var:29911 var:343887 icount:0 skipcount:117 hbits:42; in:255 out:255 type:1 q:1606 itex:74069 ptex:0 mv:0 misc:1449 fcode:1 bcode:1 mc-var:0 var:336491 icount:300 skipcount:0 hbits:42; in:256 out:256 type:2 q:1895 itex:0 ptex:7 mv:28 misc:323 fcode:1 bcode:1 mc-var:16601 var:336491 icount:0 skipcount:294 hbits:42; in:257 out:257 type:2 q:1715 itex:210 ptex:8793 mv:505 misc:1210 fcode:1 bcode:1 mc-var:50450 var:339324 icount:4 skipcount:122 hbits:42; in:258 out:258 type:2 q:1802 itex:218 ptex:6841 mv:502 misc:1213 fcode:1 bcode:1 mc-var:44122 var:332812 icount:4 skipcount:119 hbits:42; in:259 out:259 type:2 q:2001 itex:240 ptex:3546 mv:489 misc:1131 fcode:1 bcode:1 mc-var:29638 var:333855 icount:5 skipcount:123 hbits:42; in:260 out:260 type:2 q:2049 itex:255 ptex:2819 mv:484 misc:1096 fcode:1 bcode:1 mc-var:27215 var:336940 icount:5 skipcount:129 hbits:42; in:261 out:261 type:2 q:2153 itex:96 ptex:4974 mv:554 misc:1094 fcode:1 bcode:1 mc-var:42283 var:337631 icount:2 skipcount:136 hbits:42; in:262 out:262 type:2 q:2147 itex:48 ptex:2320 mv:462 misc:1024 fcode:1 bcode:1 mc-var:28468 var:336479 icount:1 skipcount:134 hbits:42; in:263 out:263 type:2 q:2110 itex:96 ptex:3914 mv:518 misc:1094 fcode:1 bcode:1 mc-var:35339 var:333595 icount:2 skipcount:129 hbits:42; in:264 out:264 type:2 q:2089 itex:0 ptex:2781 mv:491 misc:1054 fcode:1 bcode:1 mc-var:30251 var:337275 icount:0 skipcount:126 hbits:42; in:265 out:265 type:2 q:2132 itex:0 ptex:5479 mv:507 misc:1116 fcode:1 bcode:1 mc-var:44227 var:328778 icount:0 skipcount:129 hbits:42; in:266 out:266 type:2 q:2235 itex:48 ptex:4414 mv:606 misc:1130 fcode:1 bcode:1 mc-var:42252 var:330613 icount:1 skipcount:117 hbits:42; in:267 out:267 type:1 q:1870 itex:66133 ptex:0 mv:0 misc:1393 fcode:1 bcode:1 mc-var:0 var:334750 icount:300 skipcount:0 hbits:42; in:268 out:268 type:2 q:2180 itex:0 ptex:520 mv:499 misc:907 fcode:1 bcode:1 mc-var:24010 var:342911 icount:0 skipcount:126 hbits:42; in:269 out:269 type:2 q:1975 itex:48 ptex:1448 mv:473 misc:1037 fcode:1 bcode:1 mc-var:25655 var:344220 icount:1 skipcount:118 hbits:42; in:270 out:270 type:2 q:1834 itex:0 ptex:3704 mv:472 misc:1150 fcode:1 bcode:1 mc-var:27770 var:346388 icount:0 skipcount:118 hbits:42; in:271 out:271 type:2 q:1848 itex:240 ptex:2122 mv:462 misc:1078 fcode:1 bcode:1 mc-var:24611 var:347822 icount:5 skipcount:118 hbits:42; in:272 out:272 type:2 q:1898 itex:48 ptex:5308 mv:542 misc:1180 fcode:1 bcode:1 mc-var:33588 var:341827 icount:1 skipcount:114 hbits:42; in:273 out:273 type:2 q:2068 itex:0 ptex:3409 mv:514 misc:1043 fcode:1 bcode:1 mc-var:33740 var:341153 icount:0 skipcount:118 hbits:42; in:274 out:274 type:2 q:2163 itex:0 ptex:4231 mv:535 misc:1160 fcode:1 bcode:1 mc-var:40488 var:335407 icount:0 skipcount:112 hbits:42; in:275 out:275 type:2 q:2204 itex:48 ptex:3519 mv:504 misc:1103 fcode:1 bcode:1 mc-var:35797 var:336771 icount:1 skipcount:117 hbits:42; in:276 out:276 type:2 q:2215 itex:0 ptex:3448 mv:438 misc:1096 fcode:1 bcode:1 mc-var:35627 var:341785 icount:0 skipcount:130 hbits:42; in:277 out:277 type:2 q:2349 itex:288 ptex:4814 mv:455 misc:1137 fcode:1 bcode:1 mc-var:58013 var:342126 icount:6 skipcount:135 hbits:42; in:278 out:278 type:2 q:2314 itex:96 ptex:2528 mv:455 misc:1023 fcode:1 bcode:1 mc-var:36623 var:333697 icount:2 skipcount:138 hbits:42; in:279 out:279 type:1 q:1823 itex:69553 ptex:0 mv:0 misc:1389 fcode:1 bcode:1 mc-var:0 var:334603 icount:300 skipcount:0 hbits:42; in:280 out:280 type:2 q:2348 itex:288 ptex:3780 mv:456 misc:1098 fcode:1 bcode:1 mc-var:49431 var:333077 icount:6 skipcount:131 hbits:42; in:281 out:281 type:2 q:2255 itex:0 ptex:1042 mv:148 misc:672 fcode:1 bcode:1 mc-var:30625 var:333077 icount:0 skipcount:227 hbits:42; in:282 out:282 type:2 q:2042 itex:0 ptex:4924 mv:451 misc:1103 fcode:1 bcode:1 mc-var:36942 var:329490 icount:0 skipcount:136 hbits:42; in:283 out:283 type:2 q:2090 itex:48 ptex:3029 mv:447 misc:1106 fcode:1 bcode:1 mc-var:30945 var:330360 icount:1 skipcount:124 hbits:42; in:284 out:284 type:2 q:2113 itex:144 ptex:3261 mv:459 misc:1134 fcode:1 bcode:1 mc-var:31908 var:333381 icount:3 skipcount:121 hbits:42; in:285 out:285 type:2 q:2131 itex:288 ptex:2569 mv:473 misc:1132 fcode:1 bcode:1 mc-var:30267 var:337489 icount:6 skipcount:120 hbits:42; in:286 out:286 type:2 q:2121 itex:0 ptex:3004 mv:451 misc:1063 fcode:1 bcode:1 mc-var:30246 var:335362 icount:0 skipcount:130 hbits:42; in:287 out:287 type:2 q:2081 itex:48 ptex:1981 mv:446 misc:1035 fcode:1 bcode:1 mc-var:26896 var:337052 icount:1 skipcount:133 hbits:42; in:288 out:288 type:2 q:2010 itex:0 ptex:3440 mv:445 misc:1089 fcode:1 bcode:1 mc-var:28249 var:328327 icount:0 skipcount:133 hbits:42; in:289 out:289 type:2 q:1998 itex:144 ptex:2066 mv:422 misc:1030 fcode:1 bcode:1 mc-var:24604 var:324324 icount:3 skipcount:126 hbits:42; in:290 out:290 type:2 q:2024 itex:96 ptex:3976 mv:455 misc:1095 fcode:1 bcode:1 mc-var:34077 var:317355 icount:2 skipcount:129 hbits:42; in:291 out:291 type:1 q:1640 itex:71544 ptex:0 mv:0 misc:1422 fcode:1 bcode:1 mc-var:0 var:314758 icount:300 skipcount:0 hbits:42; in:292 out:292 type:2 q:1977 itex:453 ptex:275 mv:411 misc:907 fcode:1 bcode:1 mc-var:17878 var:305994 icount:9 skipcount:131 hbits:42; in:293 out:293 type:2 q:1881 itex:144 ptex:3706 mv:437 misc:1039 fcode:1 bcode:1 mc-var:25362 var:305089 icount:3 skipcount:140 hbits:42; in:294 out:294 type:2 q:1957 itex:0 ptex:2363 mv:404 misc:967 fcode:1 bcode:1 mc-var:24677 var:306313 icount:0 skipcount:146 hbits:42; in:295 out:295 type:2 q:2027 itex:144 ptex:4386 mv:510 misc:1046 fcode:1 bcode:1 mc-var:33616 var:295972 icount:3 skipcount:146 hbits:42; in:296 out:296 type:2 q:2219 itex:0 ptex:3272 mv:443 misc:979 fcode:1 bcode:1 mc-var:39936 var:303204 icount:0 skipcount:145 hbits:42; in:297 out:297 type:2 q:2171 itex:0 ptex:3316 mv:424 misc:994 fcode:1 bcode:1 mc-var:28454 var:297791 icount:0 skipcount:146 hbits:42; in:298 out:298 type:2 q:2263 itex:96 ptex:3935 mv:473 misc:1046 fcode:1 bcode:1 mc-var:38480 var:296035 icount:2 skipcount:145 hbits:42; in:299 out:299 type:2 q:2287 itex:0 ptex:3037 mv:453 misc:1028 fcode:1 bcode:1 mc-var:32220 var:299446 icount:0 skipcount:139 hbits:42; in:300 out:300 type:2 q:2250 itex:96 ptex:2587 mv:416 misc:1003 fcode:1 bcode:1 mc-var:29504 var:304294 icount:2 skipcount:138 hbits:42; in:301 out:301 type:2 q:2184 itex:672 ptex:2355 mv:405 misc:1094 fcode:1 bcode:1 mc-var:27920 var:298976 icount:14 skipcount:136 hbits:42; in:302 out:302 type:2 q:2192 itex:0 ptex:2696 mv:428 misc:1010 fcode:1 bcode:1 mc-var:30544 var:300871 icount:0 skipcount:148 hbits:42; in:303 out:303 type:1 q:1760 itex:62549 ptex:0 mv:0 misc:1417 fcode:1 bcode:1 mc-var:0 var:300647 icount:300 skipcount:0 hbits:42; in:304 out:304 type:2 q:2109 itex:0 ptex:989 mv:407 misc:882 fcode:1 bcode:1 mc-var:21947 var:301788 icount:0 skipcount:149 hbits:42; in:305 out:305 type:2 q:1926 itex:0 ptex:1311 mv:166 misc:713 fcode:1 bcode:1 mc-var:20919 var:301788 icount:0 skipcount:219 hbits:42; in:306 out:306 type:2 q:1775 itex:48 ptex:3424 mv:403 misc:1035 fcode:1 bcode:1 mc-var:23376 var:298576 icount:1 skipcount:148 hbits:42; in:307 out:307 type:2 q:1877 itex:72 ptex:6512 mv:446 misc:1088 fcode:1 bcode:1 mc-var:37684 var:296845 icount:1 skipcount:141 hbits:42; in:308 out:308 type:2 q:2105 itex:0 ptex:2647 mv:498 misc:997 fcode:1 bcode:1 mc-var:30269 var:291482 icount:0 skipcount:139 hbits:42; in:309 out:309 type:2 q:2280 itex:288 ptex:3920 mv:514 misc:1060 fcode:1 bcode:1 mc-var:44937 var:282462 icount:6 skipcount:140 hbits:42; in:310 out:310 type:2 q:2249 itex:0 ptex:2519 mv:375 misc:944 fcode:1 bcode:1 mc-var:26707 var:291250 icount:0 skipcount:154 hbits:42; in:311 out:311 type:2 q:2244 itex:0 ptex:3530 mv:437 misc:975 fcode:1 bcode:1 mc-var:32237 var:289069 icount:0 skipcount:153 hbits:42; in:312 out:312 type:2 q:2226 itex:0 ptex:2413 mv:372 misc:957 fcode:1 bcode:1 mc-var:27001 var:285091 icount:0 skipcount:154 hbits:42; in:313 out:313 type:2 q:2170 itex:336 ptex:2789 mv:407 misc:1002 fcode:1 bcode:1 mc-var:27376 var:285046 icount:7 skipcount:150 hbits:42; in:314 out:314 type:2 q:2260 itex:48 ptex:4151 mv:467 misc:1004 fcode:1 bcode:1 mc-var:37452 var:286477 icount:1 skipcount:155 hbits:42; in:315 out:315 type:1 q:1880 itex:58111 ptex:0 mv:0 misc:1391 fcode:1 bcode:1 mc-var:0 var:282231 icount:300 skipcount:0 hbits:42; in:316 out:316 type:2 q:2265 itex:240 ptex:1014 mv:360 misc:912 fcode:1 bcode:1 mc-var:24201 var:281753 icount:5 skipcount:148 hbits:42; in:317 out:317 type:2 q:2132 itex:0 ptex:1993 mv:350 misc:927 fcode:1 bcode:1 mc-var:25722 var:289919 icount:0 skipcount:150 hbits:42; in:318 out:318 type:2 q:2020 itex:192 ptex:1984 mv:363 misc:987 fcode:1 bcode:1 mc-var:23732 var:282419 icount:4 skipcount:145 hbits:42; in:319 out:319 type:2 q:1949 itex:336 ptex:1595 mv:440 misc:979 fcode:1 bcode:1 mc-var:21694 var:286838 icount:7 skipcount:146 hbits:42; in:320 out:320 type:2 q:2077 itex:0 ptex:4570 mv:367 misc:989 fcode:1 bcode:1 mc-var:43173 var:288746 icount:0 skipcount:157 hbits:42; in:321 out:321 type:2 q:2133 itex:0 ptex:3306 mv:403 misc:953 fcode:1 bcode:1 mc-var:29716 var:293097 icount:0 skipcount:155 hbits:42; in:322 out:322 type:2 q:2273 itex:0 ptex:3924 mv:469 misc:989 fcode:1 bcode:1 mc-var:40157 var:291786 icount:0 skipcount:153 hbits:42; in:323 out:323 type:2 q:2293 itex:0 ptex:2602 mv:389 misc:951 fcode:1 bcode:1 mc-var:30627 var:293244 icount:0 skipcount:155 hbits:42; in:324 out:324 type:2 q:2276 itex:48 ptex:3450 mv:394 misc:1018 fcode:1 bcode:1 mc-var:32643 var:292861 icount:1 skipcount:147 hbits:42; in:325 out:325 type:2 q:2285 itex:48 ptex:2504 mv:432 misc:974 fcode:1 bcode:1 mc-var:29967 var:282992 icount:1 skipcount:146 hbits:42; in:326 out:326 type:2 q:2251 itex:48 ptex:2607 mv:373 misc:978 fcode:1 bcode:1 mc-var:30221 var:291762 icount:1 skipcount:147 hbits:42; in:327 out:327 type:1 q:1773 itex:62011 ptex:0 mv:0 misc:1427 fcode:1 bcode:1 mc-var:0 var:289087 icount:300 skipcount:0 hbits:42; in:328 out:328 type:2 q:2209 itex:0 ptex:1878 mv:354 misc:926 fcode:1 bcode:1 mc-var:26034 var:281713 icount:0 skipcount:153 hbits:42; in:329 out:329 type:2 q:2108 itex:0 ptex:1718 mv:325 misc:915 fcode:1 bcode:1 mc-var:24327 var:288630 icount:0 skipcount:154 hbits:42; in:330 out:330 type:2 q:1977 itex:0 ptex:684 mv:104 misc:562 fcode:1 bcode:1 mc-var:21359 var:288630 icount:0 skipcount:249 hbits:42; in:331 out:331 type:2 q:1735 itex:240 ptex:2859 mv:347 misc:1016 fcode:1 bcode:1 mc-var:20262 var:283724 icount:5 skipcount:154 hbits:42; in:332 out:332 type:2 q:1791 itex:96 ptex:3556 mv:348 misc:958 fcode:1 bcode:1 mc-var:22021 var:282182 icount:2 skipcount:162 hbits:42; in:333 out:333 type:2 q:1899 itex:48 ptex:1996 mv:354 misc:904 fcode:1 bcode:1 mc-var:19773 var:276973 icount:1 skipcount:164 hbits:42; in:334 out:334 type:2 q:1928 itex:0 ptex:3075 mv:339 misc:912 fcode:1 bcode:1 mc-var:22254 var:276800 icount:0 skipcount:168 hbits:42; in:335 out:335 type:2 q:1950 itex:0 ptex:951 mv:309 misc:826 fcode:1 bcode:1 mc-var:19169 var:272323 icount:0 skipcount:165 hbits:42; in:336 out:336 type:2 q:1798 itex:0 ptex:1729 mv:308 misc:897 fcode:1 bcode:1 mc-var:17314 var:262361 icount:0 skipcount:164 hbits:42; in:337 out:337 type:2 q:1806 itex:144 ptex:4992 mv:360 misc:958 fcode:1 bcode:1 mc-var:24809 var:259927 icount:3 skipcount:172 hbits:42; in:338 out:338 type:2 q:1963 itex:48 ptex:1668 mv:329 misc:873 fcode:1 bcode:1 mc-var:20297 var:259490 icount:1 skipcount:170 hbits:42; in:339 out:339 type:1 q:1697 itex:60131 ptex:0 mv:0 misc:1435 fcode:1 bcode:1 mc-var:0 var:257001 icount:300 skipcount:0 hbits:42; in:340 out:340 type:2 q:2130 itex:0 ptex:3659 mv:343 misc:900 fcode:1 bcode:1 mc-var:38541 var:258604 icount:0 skipcount:173 hbits:42; in:341 out:341 type:2 q:2114 itex:0 ptex:1824 mv:346 misc:876 fcode:1 bcode:1 mc-var:23863 var:253500 icount:0 skipcount:165 hbits:42; in:342 out:342 type:2 q:1988 itex:144 ptex:1602 mv:325 misc:903 fcode:1 bcode:1 mc-var:18894 var:252351 icount:3 skipcount:161 hbits:42; in:343 out:343 type:2 q:1948 itex:0 ptex:2902 mv:352 misc:896 fcode:1 bcode:1 mc-var:22424 var:253822 icount:0 skipcount:163 hbits:42; in:344 out:344 type:2 q:2105 itex:0 ptex:3988 mv:382 misc:948 fcode:1 bcode:1 mc-var:35311 var:249504 icount:0 skipcount:163 hbits:42; in:345 out:345 type:2 q:2280 itex:0 ptex:4188 mv:452 misc:958 fcode:1 bcode:1 mc-var:38932 var:253451 icount:0 skipcount:162 hbits:42; in:346 out:346 type:2 q:2284 itex:0 ptex:2177 mv:295 misc:902 fcode:1 bcode:1 mc-var:24519 var:251569 icount:0 skipcount:167 hbits:42; in:347 out:347 type:2 q:2213 itex:0 ptex:2108 mv:309 misc:893 fcode:1 bcode:1 mc-var:24245 var:250491 icount:0 skipcount:171 hbits:42; in:348 out:348 type:2 q:2132 itex:144 ptex:2664 mv:284 misc:914 fcode:1 bcode:1 mc-var:24068 var:246941 icount:3 skipcount:170 hbits:42; in:349 out:349 type:2 q:2077 itex:0 ptex:1174 mv:300 misc:812 fcode:1 bcode:1 mc-var:20328 var:242309 icount:0 skipcount:179 hbits:42; in:350 out:350 type:2 q:2055 itex:144 ptex:4814 mv:364 misc:924 fcode:1 bcode:1 mc-var:34426 var:236195 icount:3 skipcount:179 hbits:42; in:351 out:351 type:1 q:1626 itex:56467 ptex:0 mv:0 misc:1435 fcode:1 bcode:1 mc-var:0 var:235064 icount:300 skipcount:0 hbits:42; in:352 out:352 type:2 q:2023 itex:48 ptex:612 mv:285 misc:709 fcode:1 bcode:1 mc-var:14363 var:226343 icount:1 skipcount:187 hbits:42; in:353 out:353 type:2 q:1870 itex:624 ptex:1949 mv:327 misc:906 fcode:1 bcode:1 mc-var:16744 var:220472 icount:13 skipcount:181 hbits:42; in:354 out:354 type:2 q:1843 itex:0 ptex:0 mv:0 misc:302 fcode:1 bcode:1 mc-var:14176 var:220472 icount:0 skipcount:300 hbits:42; in:355 out:355 type:2 q:1653 itex:0 ptex:3497 mv:305 misc:844 fcode:1 bcode:1 mc-var:17398 var:219965 icount:0 skipcount:191 hbits:42; in:356 out:356 type:2 q:1694 itex:48 ptex:2279 mv:301 misc:850 fcode:1 bcode:1 mc-var:15024 var:216527 icount:1 skipcount:188 hbits:42; in:357 out:357 type:2 q:1891 itex:0 ptex:4141 mv:306 misc:855 fcode:1 bcode:1 mc-var:38007 var:219837 icount:0 skipcount:190 hbits:42; in:358 out:358 type:2 q:1945 itex:0 ptex:2317 mv:328 misc:833 fcode:1 bcode:1 mc-var:21293 var:218829 icount:0 skipcount:187 hbits:42; in:359 out:359 type:2 q:2121 itex:48 ptex:4895 mv:360 misc:895 fcode:1 bcode:1 mc-var:40199 var:218200 icount:1 skipcount:178 hbits:42; in:360 out:360 type:2 q:2172 itex:0 ptex:3355 mv:302 misc:861 fcode:1 bcode:1 mc-var:23604 var:218404 icount:0 skipcount:180 hbits:42; in:361 out:361 type:2 q:2375 itex:144 ptex:3324 mv:316 misc:886 fcode:1 bcode:1 mc-var:40759 var:216188 icount:3 skipcount:185 hbits:42; in:362 out:362 type:2 q:2299 itex:240 ptex:2020 mv:269 misc:893 fcode:1 bcode:1 mc-var:22705 var:213062 icount:5 skipcount:178 hbits:42; in:363 out:363 type:1 q:1779 itex:47824 ptex:0 mv:0 misc:1502 fcode:1 bcode:1 mc-var:0 var:218856 icount:300 skipcount:0 hbits:42; in:364 out:364 type:2 q:2127 itex:48 ptex:575 mv:254 misc:737 fcode:1 bcode:1 mc-var:14883 var:215619 icount:1 skipcount:187 hbits:42; in:365 out:365 type:2 q:1898 itex:336 ptex:1791 mv:265 misc:822 fcode:1 bcode:1 mc-var:15638 var:215067 icount:7 skipcount:187 hbits:42; in:366 out:366 type:2 q:1883 itex:0 ptex:3131 mv:306 misc:809 fcode:1 bcode:1 mc-var:18663 var:207396 icount:0 skipcount:195 hbits:42; in:367 out:367 type:2 q:1908 itex:48 ptex:1771 mv:268 misc:775 fcode:1 bcode:1 mc-var:15454 var:199455 icount:1 skipcount:195 hbits:42; in:368 out:368 type:2 q:1850 itex:144 ptex:1662 mv:280 misc:768 fcode:1 bcode:1 mc-var:14226 var:195343 icount:3 skipcount:194 hbits:42; in:369 out:369 type:2 q:1793 itex:0 ptex:1965 mv:252 misc:733 fcode:1 bcode:1 mc-var:13813 var:190502 icount:0 skipcount:201 hbits:42; in:370 out:370 type:2 q:1853 itex:0 ptex:3763 mv:312 misc:795 fcode:1 bcode:1 mc-var:20899 var:186477 icount:0 skipcount:199 hbits:42; in:371 out:371 type:2 q:1969 itex:192 ptex:2734 mv:309 misc:803 fcode:1 bcode:1 mc-var:19786 var:175041 icount:4 skipcount:196 hbits:42; in:372 out:372 type:2 q:1951 itex:0 ptex:1519 mv:257 misc:710 fcode:1 bcode:1 mc-var:14395 var:178478 icount:0 skipcount:206 hbits:42; in:373 out:373 type:2 q:2060 itex:48 ptex:3228 mv:250 misc:760 fcode:1 bcode:1 mc-var:33042 var:179530 icount:1 skipcount:207 hbits:42; in:374 out:374 type:2 q:1946 itex:0 ptex:1923 mv:260 misc:751 fcode:1 bcode:1 mc-var:16174 var:180087 icount:0 skipcount:205 hbits:42; in:375 out:375 type:1 q:1465 itex:51116 ptex:0 mv:0 misc:1514 fcode:1 bcode:1 mc-var:0 var:179163 icount:300 skipcount:0 hbits:42; in:376 out:376 type:2 q:1859 itex:0 ptex:2200 mv:281 misc:733 fcode:1 bcode:1 mc-var:13914 var:179629 icount:0 skipcount:196 hbits:42; in:377 out:377 type:2 q:1934 itex:0 ptex:3084 mv:309 misc:781 fcode:1 bcode:1 mc-var:20598 var:177266 icount:0 skipcount:196 hbits:42; in:378 out:378 type:2 q:1878 itex:0 ptex:44 mv:10 misc:320 fcode:1 bcode:1 mc-var:11873 var:177266 icount:0 skipcount:296 hbits:42; in:379 out:379 type:2 q:1674 itex:48 ptex:2745 mv:330 misc:795 fcode:1 bcode:1 mc-var:12998 var:171603 icount:1 skipcount:190 hbits:42; in:380 out:380 type:2 q:1664 itex:96 ptex:2121 mv:240 misc:765 fcode:1 bcode:1 mc-var:11721 var:177558 icount:2 skipcount:198 hbits:42; in:381 out:381 type:2 q:1679 itex:0 ptex:2321 mv:231 misc:758 fcode:1 bcode:1 mc-var:11493 var:175473 icount:0 skipcount:200 hbits:42; in:382 out:382 type:2 q:1673 itex:0 ptex:1609 mv:240 misc:733 fcode:1 bcode:1 mc-var:9814 var:169588 icount:0 skipcount:202 hbits:42; in:383 out:383 type:2 q:1636 itex:48 ptex:1513 mv:237 misc:720 fcode:1 bcode:1 mc-var:9859 var:165372 icount:1 skipcount:204 hbits:42; in:384 out:384 type:2 q:1650 itex:0 ptex:3175 mv:241 misc:750 fcode:1 bcode:1 mc-var:13221 var:159279 icount:0 skipcount:207 hbits:42; in:385 out:385 type:2 q:1681 itex:207 ptex:1620 mv:251 misc:704 fcode:1 bcode:1 mc-var:10029 var:154627 icount:4 skipcount:211 hbits:42; in:386 out:386 type:2 q:1640 itex:48 ptex:1422 mv:206 misc:658 fcode:1 bcode:1 mc-var:8943 var:150957 icount:1 skipcount:220 hbits:42; in:387 out:387 type:1 q:1279 itex:46801 ptex:0 mv:0 misc:1493 fcode:1 bcode:1 mc-var:0 var:144308 icount:300 skipcount:0 hbits:42; in:388 out:388 type:2 q:1724 itex:720 ptex:3241 mv:258 misc:787 fcode:1 bcode:1 mc-var:16825 var:133104 icount:15 skipcount:215 hbits:42; in:389 out:389 type:2 q:1835 itex:0 ptex:2286 mv:241 misc:639 fcode:1 bcode:1 mc-var:13428 var:137853 icount:0 skipcount:227 hbits:42; in:390 out:390 type:2 q:1883 itex:0 ptex:2316 mv:278 misc:676 fcode:1 bcode:1 mc-var:15318 var:140163 icount:0 skipcount:224 hbits:42; in:391 out:391 type:2 q:1810 itex:0 ptex:2035 mv:223 misc:676 fcode:1 bcode:1 mc-var:10932 var:141084 icount:0 skipcount:223 hbits:42; in:392 out:392 type:2 q:1802 itex:0 ptex:2622 mv:259 misc:677 fcode:1 bcode:1 mc-var:12665 var:143199 icount:0 skipcount:222 hbits:42; in:393 out:393 type:2 q:1783 itex:0 ptex:1835 mv:216 misc:683 fcode:1 bcode:1 mc-var:10438 var:143238 icount:0 skipcount:214 hbits:42; in:394 out:394 type:2 q:1764 itex:0 ptex:2506 mv:233 misc:707 fcode:1 bcode:1 mc-var:11734 var:140010 icount:0 skipcount:214 hbits:42; in:395 out:395 type:2 q:1738 itex:144 ptex:1233 mv:257 misc:700 fcode:1 bcode:1 mc-var:9678 var:137793 icount:3 skipcount:206 hbits:42; in:396 out:396 type:2 q:1756 itex:111 ptex:2731 mv:243 misc:713 fcode:1 bcode:1 mc-var:15168 var:141765 icount:2 skipcount:214 hbits:42; in:397 out:397 type:2 q:1764 itex:144 ptex:2634 mv:227 misc:721 fcode:1 bcode:1 mc-var:12601 var:141875 icount:3 skipcount:216 hbits:42; in:398 out:398 type:2 q:1843 itex:0 ptex:2944 mv:238 misc:696 fcode:1 bcode:1 mc-var:14915 var:140738 icount:0 skipcount:220 hbits:42; in:399 out:399 type:1 q:1539 itex:41790 ptex:0 mv:0 misc:1488 fcode:1 bcode:1 mc-var:0 var:140563 icount:300 skipcount:0 hbits:42; in:400 out:400 type:2 q:1802 itex:48 ptex:941 mv:190 misc:603 fcode:1 bcode:1 mc-var:9104 var:139488 icount:1 skipcount:230 hbits:42; in:401 out:401 type:2 q:1651 itex:55 ptex:1165 mv:189 misc:621 fcode:1 bcode:1 mc-var:8512 var:138010 icount:1 skipcount:231 hbits:42; in:402 out:402 type:2 q:1689 itex:192 ptex:4198 mv:204 misc:668 fcode:1 bcode:1 mc-var:18421 var:138058 icount:4 skipcount:231 hbits:42; in:403 out:403 type:2 q:1682 itex:0 ptex:23 mv:4 misc:315 fcode:1 bcode:1 mc-var:8390 var:138058 icount:0 skipcount:298 hbits:42; in:404 out:404 type:2 q:1501 itex:0 ptex:4066 mv:193 misc:619 fcode:1 bcode:1 mc-var:13962 var:134549 icount:0 skipcount:237 hbits:42; in:405 out:405 type:2 q:1543 itex:0 ptex:2270 mv:167 misc:641 fcode:1 bcode:1 mc-var:9185 var:137996 icount:0 skipcount:230 hbits:42; in:406 out:406 type:2 q:1616 itex:0 ptex:2483 mv:184 misc:651 fcode:1 bcode:1 mc-var:11368 var:138913 icount:0 skipcount:228 hbits:42; in:407 out:407 type:2 q:1746 itex:0 ptex:2816 mv:200 misc:654 fcode:1 bcode:1 mc-var:16854 var:137208 icount:0 skipcount:228 hbits:42; in:408 out:408 type:2 q:1776 itex:0 ptex:2942 mv:229 misc:699 fcode:1 bcode:1 mc-var:14697 var:135824 icount:0 skipcount:222 hbits:42; in:409 out:409 type:2 q:1791 itex:0 ptex:2779 mv:190 misc:701 fcode:1 bcode:1 mc-var:12533 var:142326 icount:0 skipcount:221 hbits:42; in:410 out:410 type:2 q:1760 itex:0 ptex:1675 mv:177 misc:682 fcode:1 bcode:1 mc-var:9562 var:141044 icount:0 skipcount:221 hbits:42; in:411 out:411 type:1 q:1384 itex:40067 ptex:0 mv:0 misc:1555 fcode:1 bcode:1 mc-var:0 var:137854 icount:300 skipcount:0 hbits:42; in:412 out:412 type:2 q:1825 itex:48 ptex:2792 mv:256 misc:662 fcode:1 bcode:1 mc-var:16289 var:134364 icount:1 skipcount:224 hbits:42; in:413 out:413 type:2 q:1810 itex:0 ptex:2732 mv:199 misc:651 fcode:1 bcode:1 mc-var:12262 var:127352 icount:0 skipcount:230 hbits:42; in:414 out:414 type:2 q:1812 itex:48 ptex:2454 mv:229 misc:643 fcode:1 bcode:1 mc-var:11255 var:123577 icount:1 skipcount:229 hbits:42; in:415 out:415 type:2 q:1733 itex:0 ptex:962 mv:146 misc:578 fcode:1 bcode:1 mc-var:7600 var:117832 icount:0 skipcount:236 hbits:42; in:416 out:416 type:2 q:1590 itex:0 ptex:1894 mv:174 misc:610 fcode:1 bcode:1 mc-var:7879 var:110171 icount:0 skipcount:235 hbits:42; in:417 out:417 type:2 q:1566 itex:240 ptex:2361 mv:180 misc:641 fcode:1 bcode:1 mc-var:8994 var:107455 icount:5 skipcount:237 hbits:42; in:418 out:418 type:2 q:1537 itex:48 ptex:1278 mv:161 misc:575 fcode:1 bcode:1 mc-var:6447 var:100663 icount:1 skipcount:244 hbits:42; in:419 out:419 type:2 q:1599 itex:131 ptex:2635 mv:178 misc:590 fcode:1 bcode:1 mc-var:13111 var:99251 icount:2 skipcount:246 hbits:42; in:420 out:420 type:2 q:1565 itex:48 ptex:2488 mv:154 misc:548 fcode:1 bcode:1 mc-var:8492 var:96431 icount:1 skipcount:252 hbits:42; in:421 out:421 type:2 q:1675 itex:0 ptex:2307 mv:169 misc:538 fcode:1 bcode:1 mc-var:13180 var:94715 icount:0 skipcount:255 hbits:42; in:422 out:422 type:2 q:1697 itex:0 ptex:3922 mv:176 misc:572 fcode:1 bcode:1 mc-var:13902 var:101280 icount:0 skipcount:247 hbits:42; in:423 out:423 type:1 q:1376 itex:34647 ptex:0 mv:0 misc:1511 fcode:1 bcode:1 mc-var:0 var:99340 icount:300 skipcount:0 hbits:42; in:424 out:424 type:2 q:1671 itex:0 ptex:1301 mv:145 misc:584 fcode:1 bcode:1 mc-var:6994 var:100013 icount:0 skipcount:241 hbits:42; in:425 out:425 type:2 q:1523 itex:0 ptex:792 mv:139 misc:547 fcode:1 bcode:1 mc-var:5226 var:104210 icount:0 skipcount:241 hbits:42; in:426 out:426 type:2 q:1558 itex:0 ptex:3973 mv:156 misc:605 fcode:1 bcode:1 mc-var:15177 var:105739 icount:0 skipcount:241 hbits:42; in:427 out:427 type:2 q:1510 itex:0 ptex:65 mv:12 misc:337 fcode:1 bcode:1 mc-var:6056 var:105739 icount:0 skipcount:294 hbits:42; in:428 out:428 type:2 q:1310 itex:0 ptex:3576 mv:158 misc:600 fcode:1 bcode:1 mc-var:7941 var:102719 icount:0 skipcount:241 hbits:42; in:429 out:429 type:2 q:1386 itex:0 ptex:4068 mv:169 misc:601 fcode:1 bcode:1 mc-var:10144 var:100379 icount:0 skipcount:240 hbits:42; in:430 out:430 type:2 q:1515 itex:96 ptex:2203 mv:170 misc:585 fcode:1 bcode:1 mc-var:7438 var:94228 icount:2 skipcount:240 hbits:42; in:431 out:431 type:2 q:1533 itex:48 ptex:1765 mv:219 misc:590 fcode:1 bcode:1 mc-var:6699 var:89913 icount:1 skipcount:239 hbits:42; in:432 out:432 type:2 q:1465 itex:0 ptex:1553 mv:126 misc:551 fcode:1 bcode:1 mc-var:5155 var:85624 icount:0 skipcount:247 hbits:42; in:433 out:433 type:2 q:1369 itex:48 ptex:682 mv:117 misc:511 fcode:1 bcode:1 mc-var:4199 var:80475 icount:1 skipcount:251 hbits:42; in:434 out:434 type:2 q:1272 itex:384 ptex:2058 mv:116 misc:584 fcode:1 bcode:1 mc-var:5280 var:78306 icount:8 skipcount:255 hbits:42; in:435 out:435 type:1 q:939 itex:37555 ptex:0 mv:0 misc:1507 fcode:1 bcode:1 mc-var:0 var:69910 icount:300 skipcount:0 hbits:42; in:436 out:436 type:2 q:1369 itex:0 ptex:2478 mv:117 misc:483 fcode:1 bcode:1 mc-var:7216 var:74756 icount:0 skipcount:265 hbits:42; in:437 out:437 type:2 q:1353 itex:48 ptex:1954 mv:116 misc:480 fcode:1 bcode:1 mc-var:4791 var:70500 icount:1 skipcount:265 hbits:42; in:438 out:438 type:2 q:1382 itex:0 ptex:1941 mv:125 misc:484 fcode:1 bcode:1 mc-var:5735 var:73274 icount:0 skipcount:264 hbits:42; in:439 out:439 type:2 q:1313 itex:0 ptex:1398 mv:117 misc:507 fcode:1 bcode:1 mc-var:3822 var:74879 icount:0 skipcount:255 hbits:42; in:440 out:440 type:2 q:1283 itex:0 ptex:1784 mv:124 misc:506 fcode:1 bcode:1 mc-var:4498 var:73358 icount:0 skipcount:258 hbits:42; in:441 out:441 type:2 q:1237 itex:0 ptex:1657 mv:114 misc:539 fcode:1 bcode:1 mc-var:3615 var:73546 icount:0 skipcount:251 hbits:42; in:442 out:442 type:2 q:1213 itex:0 ptex:1522 mv:111 misc:541 fcode:1 bcode:1 mc-var:3465 var:74781 icount:0 skipcount:249 hbits:42; in:443 out:443 type:2 q:1162 itex:0 ptex:1030 mv:117 misc:563 fcode:1 bcode:1 mc-var:2816 var:77285 icount:0 skipcount:249 hbits:42; in:444 out:444 type:2 q:1101 itex:0 ptex:1405 mv:114 misc:567 fcode:1 bcode:1 mc-var:2745 var:76247 icount:0 skipcount:252 hbits:42; in:445 out:445 type:2 q:1066 itex:48 ptex:1059 mv:111 misc:556 fcode:1 bcode:1 mc-var:2471 var:74118 icount:1 skipcount:248 hbits:42; in:446 out:446 type:2 q:1142 itex:0 ptex:3351 mv:155 misc:548 fcode:1 bcode:1 mc-var:5534 var:69526 icount:0 skipcount:252 hbits:42; in:447 out:447 type:1 q:974 itex:32946 ptex:0 mv:0 misc:1548 fcode:1 bcode:1 mc-var:0 var:65524 icount:300 skipcount:0 hbits:42; in:448 out:448 type:2 q:1163 itex:96 ptex:1149 mv:135 misc:490 fcode:1 bcode:1 mc-var:2659 var:62258 icount:2 skipcount:258 hbits:42; in:449 out:449 type:2 q:1204 itex:0 ptex:2245 mv:90 misc:479 fcode:1 bcode:1 mc-var:4276 var:60456 icount:0 skipcount:265 hbits:42; in:450 out:450 type:2 q:1176 itex:48 ptex:949 mv:101 misc:476 fcode:1 bcode:1 mc-var:2758 var:55096 icount:1 skipcount:265 hbits:42; in:451 out:451 type:2 q:1105 itex:192 ptex:1622 mv:152 misc:496 fcode:1 bcode:1 mc-var:2681 var:50983 icount:4 skipcount:265 hbits:42; in:452 out:452 type:2 q:1052 itex:0 ptex:35 mv:26 misc:329 fcode:1 bcode:1 mc-var:1753 var:50983 icount:0 skipcount:293 hbits:42; in:453 out:453 type:2 q:883 itex:0 ptex:1633 mv:95 misc:478 fcode:1 bcode:1 mc-var:1640 var:52055 icount:0 skipcount:274 hbits:42; in:454 out:454 type:2 q:859 itex:336 ptex:805 mv:142 misc:547 fcode:1 bcode:1 mc-var:1332 var:51744 icount:7 skipcount:264 hbits:42; in:455 out:455 type:2 q:893 itex:96 ptex:1121 mv:127 misc:462 fcode:1 bcode:1 mc-var:1837 var:52631 icount:2 skipcount:269 hbits:42; in:456 out:456 type:2 q:877 itex:48 ptex:1393 mv:104 misc:469 fcode:1 bcode:1 mc-var:1537 var:52361 icount:1 skipcount:269 hbits:42; in:457 out:457 type:2 q:979 itex:0 ptex:2991 mv:99 misc:460 fcode:1 bcode:1 mc-var:3270 var:52553 icount:0 skipcount:269 hbits:42; in:458 out:458 type:2 q:1037 itex:0 ptex:1366 mv:103 misc:473 fcode:1 bcode:1 mc-var:2223 var:51380 icount:0 skipcount:264 hbits:42; in:459 out:459 type:1 q:876 itex:32479 ptex:0 mv:0 misc:1535 fcode:1 bcode:1 mc-var:0 var:54501 icount:300 skipcount:0 hbits:42; in:460 out:460 type:2 q:1140 itex:0 ptex:2401 mv:116 misc:505 fcode:1 bcode:1 mc-var:4554 var:58323 icount:0 skipcount:261 hbits:42; in:461 out:461 type:2 q:1103 itex:0 ptex:1053 mv:81 misc:488 fcode:1 bcode:1 mc-var:2246 var:57744 icount:0 skipcount:261 hbits:42; in:462 out:462 type:2 q:1148 itex:0 ptex:2403 mv:117 misc:486 fcode:1 bcode:1 mc-var:4845 var:59707 icount:0 skipcount:261 hbits:42; in:463 out:463 type:2 q:1123 itex:0 ptex:1252 mv:83 misc:479 fcode:1 bcode:1 mc-var:2892 var:57643 icount:0 skipcount:261 hbits:42; in:464 out:464 type:2 q:1049 itex:288 ptex:1256 mv:69 misc:521 fcode:1 bcode:1 mc-var:2315 var:54061 icount:6 skipcount:261 hbits:42; in:465 out:465 type:2 q:1003 itex:96 ptex:807 mv:104 misc:471 fcode:1 bcode:1 mc-var:1891 var:52653 icount:2 skipcount:266 hbits:42; in:466 out:466 type:2 q:1008 itex:48 ptex:2296 mv:87 misc:471 fcode:1 bcode:1 mc-var:3253 var:52479 icount:1 skipcount:267 hbits:42; in:467 out:467 type:2 q:997 itex:0 ptex:1572 mv:55 misc:459 fcode:1 bcode:1 mc-var:2046 var:50540 icount:0 skipcount:274 hbits:42; in:468 out:468 type:2 q:970 itex:0 ptex:1336 mv:61 misc:473 fcode:1 bcode:1 mc-var:1743 var:52480 icount:0 skipcount:273 hbits:42; in:469 out:469 type:2 q:1133 itex:0 ptex:2248 mv:50 misc:428 fcode:1 bcode:1 mc-var:7064 var:52074 icount:0 skipcount:276 hbits:42; in:470 out:470 type:2 q:1071 itex:0 ptex:2225 mv:59 misc:442 fcode:1 bcode:1 mc-var:3105 var:52599 icount:0 skipcount:274 hbits:42; in:471 out:471 type:1 q:807 itex:34504 ptex:0 mv:0 misc:1494 fcode:1 bcode:1 mc-var:0 var:52257 icount:300 skipcount:0 hbits:42; in:472 out:472 type:2 q:1043 itex:0 ptex:883 mv:51 misc:408 fcode:1 bcode:1 mc-var:2161 var:51016 icount:0 skipcount:276 hbits:42; in:473 out:473 type:2 q:1093 itex:0 ptex:3235 mv:62 misc:429 fcode:1 bcode:1 mc-var:5701 var:50641 icount:0 skipcount:276 hbits:42; in:474 out:474 type:2 q:1113 itex:0 ptex:2354 mv:74 misc:426 fcode:1 bcode:1 mc-var:3448 var:47507 icount:0 skipcount:276 hbits:42; in:475 out:475 type:2 q:1274 itex:0 ptex:2309 mv:54 misc:427 fcode:1 bcode:1 mc-var:7603 var:49393 icount:0 skipcount:276 hbits:42; in:476 out:476 type:2 q:1177 itex:0 ptex:677 mv:44 misc:421 fcode:1 bcode:1 mc-var:1953 var:49393 icount:0 skipcount:278 hbits:42; in:477 out:477 type:2 q:1098 itex:0 ptex:2738 mv:63 misc:429 fcode:1 bcode:1 mc-var:3882 var:44439 icount:0 skipcount:276 hbits:42; in:478 out:478 type:2 q:1102 itex:0 ptex:2196 mv:66 misc:432 fcode:1 bcode:1 mc-var:3088 var:41036 icount:0 skipcount:276 hbits:42; in:479 out:479 type:2 q:1059 itex:0 ptex:1187 mv:56 misc:427 fcode:1 bcode:1 mc-var:1992 var:36085 icount:0 skipcount:276 hbits:42; in:480 out:480 type:2 q:966 itex:0 ptex:937 mv:51 misc:458 fcode:1 bcode:1 mc-var:1465 var:31943 icount:0 skipcount:276 hbits:42; in:481 out:481 type:2 q:901 itex:160 ptex:1130 mv:57 misc:443 fcode:1 bcode:1 mc-var:1578 var:26360 icount:2 skipcount:276 hbits:42; in:482 out:482 type:2 q:875 itex:407 ptex:1680 mv:110 misc:473 fcode:1 bcode:1 mc-var:1660 var:21165 icount:7 skipcount:272 hbits:42; in:483 out:483 type:1 q:680 itex:20842 ptex:0 mv:0 misc:1508 fcode:1 bcode:1 mc-var:0 var:19440 icount:300 skipcount:0 hbits:42; in:484 out:484 type:2 q:799 itex:96 ptex:261 mv:23 misc:362 fcode:1 bcode:1 mc-var:547 var:18661 icount:2 skipcount:288 hbits:42; in:485 out:485 type:2 q:798 itex:96 ptex:1793 mv:23 misc:366 fcode:1 bcode:1 mc-var:1646 var:19558 icount:2 skipcount:289 hbits:42; in:486 out:486 type:2 q:888 itex:0 ptex:1049 mv:20 misc:353 fcode:1 bcode:1 mc-var:2846 var:17363 icount:0 skipcount:291 hbits:42; in:487 out:487 type:2 q:792 itex:0 ptex:1556 mv:21 misc:349 fcode:1 bcode:1 mc-var:1314 var:18772 icount:0 skipcount:291 hbits:42; in:488 out:488 type:2 q:803 itex:48 ptex:1655 mv:21 misc:354 fcode:1 bcode:1 mc-var:1680 var:18352 icount:1 skipcount:290 hbits:42; in:489 out:489 type:2 q:747 itex:0 ptex:782 mv:21 misc:363 fcode:1 bcode:1 mc-var:800 var:18978 icount:0 skipcount:291 hbits:42; in:490 out:490 type:2 q:835 itex:144 ptex:2044 mv:20 misc:374 fcode:1 bcode:1 mc-var:3416 var:19085 icount:3 skipcount:288 hbits:42; in:491 out:491 type:2 q:774 itex:0 ptex:1119 mv:21 misc:362 fcode:1 bcode:1 mc-var:1121 var:17995 icount:0 skipcount:291 hbits:42; in:492 out:492 type:2 q:752 itex:0 ptex:1740 mv:23 misc:363 fcode:1 bcode:1 mc-var:1310 var:17583 icount:0 skipcount:291 hbits:42; in:493 out:493 type:2 q:764 itex:96 ptex:1559 mv:23 misc:384 fcode:1 bcode:1 mc-var:1278 var:15399 icount:2 skipcount:289 hbits:42; in:494 out:494 type:2 q:704 itex:96 ptex:624 mv:21 misc:377 fcode:1 bcode:1 mc-var:552 var:14141 icount:2 skipcount:289 hbits:42; in:495 out:495 type:1 q:514 itex:20495 ptex:0 mv:0 misc:1519 fcode:1 bcode:1 mc-var:0 var:11036 icount:300 skipcount:0 hbits:42; in:496 out:496 type:2 q:664 itex:0 ptex:640 mv:25 misc:349 fcode:1 bcode:1 mc-var:637 var:9491 icount:0 skipcount:291 hbits:42; in:497 out:497 type:2 q:583 itex:0 ptex:375 mv:25 misc:350 fcode:1 bcode:1 mc-var:391 var:6592 icount:0 skipcount:291 hbits:42; in:498 out:498 type:2 q:528 itex:127 ptex:262 mv:48 misc:353 fcode:1 bcode:1 mc-var:447 var:1485 icount:2 skipcount:289 hbits:42; in:499 out:499 type:2 q:450 itex:192 ptex:138 mv:8 misc:348 fcode:1 bcode:1 mc-var:237 var:1305 icount:4 skipcount:294 hbits:42; in:500 out:500 type:2 q:384 itex:192 ptex:99 mv:48 misc:411 fcode:1 bcode:1 mc-var:145 var:1305 icount:4 skipcount:282 hbits:42; in:501 out:501 type:2 q:369 itex:816 ptex:87 mv:39 misc:536 fcode:1 bcode:1 mc-var:194 var:1151 icount:17 skipcount:268 hbits:42; in:502 out:502 type:2 q:413 itex:288 ptex:45 mv:34 misc:375 fcode:1 bcode:1 mc-var:280 var:767 icount:6 skipcount:290 hbits:42; in:503 out:503 type:2 q:400 itex:48 ptex:30 mv:30 misc:354 fcode:1 bcode:1 mc-var:259 var:764 icount:1 skipcount:291 hbits:42; in:504 out:504 type:2 q:351 itex:144 ptex:30 mv:12 misc:364 fcode:1 bcode:1 mc-var:200 var:672 icount:3 skipcount:291 hbits:42; in:505 out:505 type:2 q:313 itex:816 ptex:7 mv:13 misc:466 fcode:1 bcode:1 mc-var:175 var:645 icount:17 skipcount:280 hbits:42; in:506 out:506 type:2 q:354 itex:432 ptex:5 mv:2 misc:391 fcode:1 bcode:1 mc-var:291 var:809 icount:9 skipcount:290 hbits:42; in:507 out:507 type:1 q:315 itex:14565 ptex:0 mv:0 misc:1505 fcode:1 bcode:1 mc-var:0 var:646 icount:300 skipcount:0 hbits:42; in:508 out:508 type:2 q:333 itex:432 ptex:0 mv:0 misc:382 fcode:1 bcode:1 mc-var:165 var:640 icount:9 skipcount:291 hbits:42; in:509 out:509 type:2 q:347 itex:384 ptex:20 mv:50 misc:424 fcode:1 bcode:1 mc-var:288 var:807 icount:8 skipcount:280 hbits:42; in:510 out:510 type:2 q:328 itex:432 ptex:15 mv:15 misc:408 fcode:1 bcode:1 mc-var:182 var:638 icount:9 skipcount:287 hbits:42; in:511 out:511 type:2 q:317 itex:336 ptex:0 mv:12 misc:370 fcode:1 bcode:1 mc-var:160 var:644 icount:7 skipcount:291 hbits:42; in:512 out:512 type:2 q:330 itex:96 ptex:40 mv:16 misc:366 fcode:1 bcode:1 mc-var:292 var:845 icount:2 skipcount:290 hbits:42; in:513 out:513 type:2 q:300 itex:432 ptex:5 mv:6 misc:395 fcode:1 bcode:1 mc-var:213 var:669 icount:9 skipcount:289 hbits:42; in:514 out:514 type:2 q:288 itex:240 ptex:504 mv:173 misc:817 fcode:1 bcode:1 mc-var:182 var:651 icount:5 skipcount:214 hbits:42; in:515 out:515 type:2 q:334 itex:672 ptex:15 mv:4 misc:443 fcode:1 bcode:1 mc-var:210 var:667 icount:14 skipcount:284 hbits:42; in:516 out:516 type:2 q:369 itex:288 ptex:45 mv:23 misc:410 fcode:1 bcode:1 mc-var:300 var:909 icount:6 skipcount:284 hbits:42; in:517 out:517 type:2 q:343 itex:96 ptex:15 mv:25 misc:350 fcode:1 bcode:1 mc-var:195 var:663 icount:2 skipcount:292 hbits:42; in:518 out:518 type:2 q:308 itex:384 ptex:5 mv:2 misc:383 fcode:1 bcode:1 mc-var:191 var:664 icount:8 skipcount:291 hbits:42; in:519 out:519 type:1 q:219 itex:14747 ptex:0 mv:0 misc:1515 fcode:1 bcode:1 mc-var:0 var:761 icount:300 skipcount:0 hbits:42; in:520 out:520 type:2 q:290 itex:1632 ptex:361 mv:354 misc:1043 fcode:1 bcode:1 mc-var:165 var:639 icount:34 skipcount:177 hbits:42; in:521 out:521 type:2 q:381 itex:720 ptex:5 mv:2 misc:447 fcode:1 bcode:1 mc-var:163 var:635 icount:15 skipcount:284 hbits:42; in:522 out:522 type:2 q:435 itex:240 ptex:0 mv:0 misc:350 fcode:1 bcode:1 mc-var:297 var:857 icount:5 skipcount:295 hbits:42; in:523 out:523 type:2 q:392 itex:0 ptex:0 mv:0 misc:302 fcode:1 bcode:1 mc-var:195 var:650 icount:0 skipcount:300 hbits:42; in:524 out:524 type:2 q:329 itex:288 ptex:10 mv:4 misc:368 fcode:1 bcode:1 mc-var:183 var:643 icount:6 skipcount:292 hbits:42; in:525 out:525 type:2 q:299 itex:288 ptex:0 mv:0 misc:358 fcode:1 bcode:1 mc-var:179 var:643 icount:6 skipcount:294 hbits:42; in:526 out:526 type:2 q:296 itex:144 ptex:10 mv:12 misc:344 fcode:1 bcode:1 mc-var:293 var:856 icount:3 skipcount:294 hbits:42; in:527 out:527 type:2 q:264 itex:528 ptex:485 mv:166 misc:883 fcode:1 bcode:1 mc-var:203 var:657 icount:11 skipcount:206 hbits:42; in:528 out:528 type:2 q:303 itex:336 ptex:0 mv:0 misc:366 fcode:1 bcode:1 mc-var:179 var:648 icount:7 skipcount:293 hbits:42; in:529 out:529 type:2 q:320 itex:528 ptex:10 mv:12 misc:416 fcode:1 bcode:1 mc-var:296 var:861 icount:11 skipcount:286 hbits:42; in:530 out:530 type:2 q:322 itex:432 ptex:40 mv:16 misc:430 fcode:1 bcode:1 mc-var:296 var:890 icount:9 skipcount:283 hbits:42; in:531 out:531 type:1 q:259 itex:14760 ptex:0 mv:0 misc:1518 fcode:1 bcode:1 mc-var:0 var:630 icount:300 skipcount:0 hbits:42; in:532 out:532 type:2 q:290 itex:384 ptex:583 mv:203 misc:940 fcode:1 bcode:1 mc-var:136 var:632 icount:8 skipcount:194 hbits:42; in:533 out:533 type:2 q:359 itex:240 ptex:5 mv:2 misc:351 fcode:1 bcode:1 mc-var:240 var:709 icount:5 skipcount:294 hbits:42; in:534 out:534 type:2 q:339 itex:672 ptex:40 mv:35 misc:483 fcode:1 bcode:1 mc-var:191 var:659 icount:14 skipcount:275 hbits:42; in:535 out:535 type:2 q:336 itex:96 ptex:5 mv:7 misc:330 fcode:1 bcode:1 mc-var:168 var:639 icount:2 skipcount:296 hbits:42; in:536 out:536 type:2 q:318 itex:432 ptex:5 mv:2 misc:391 fcode:1 bcode:1 mc-var:265 var:760 icount:9 skipcount:290 hbits:42; in:537 out:537 type:2 q:301 itex:672 ptex:5 mv:8 misc:441 fcode:1 bcode:1 mc-var:235 var:701 icount:14 skipcount:284 hbits:42; in:538 out:538 type:2 q:290 itex:240 ptex:615 mv:218 misc:917 fcode:1 bcode:1 mc-var:165 var:640 icount:5 skipcount:192 hbits:42; in:539 out:539 type:2 q:356 itex:144 ptex:20 mv:8 misc:354 fcode:1 bcode:1 mc-var:295 var:829 icount:3 skipcount:293 hbits:42; in:540 out:540 type:2 q:326 itex:240 ptex:0 mv:0 misc:350 fcode:1 bcode:1 mc-var:205 var:660 icount:5 skipcount:295 hbits:42; in:541 out:541 type:2 q:290 itex:192 ptex:320 mv:110 misc:640 fcode:1 bcode:1 mc-var:174 var:642 icount:4 skipcount:242 hbits:42; in:542 out:542 type:2 q:315 itex:288 ptex:10 mv:8 misc:372 fcode:1 bcode:1 mc-var:289 var:820 icount:6 skipcount:291 hbits:42; in:543 out:543 type:1 q:271 itex:14760 ptex:0 mv:0 misc:1518 fcode:1 bcode:1 mc-var:0 var:688 icount:300 skipcount:0 hbits:42; in:544 out:544 type:2 q:285 itex:672 ptex:517 mv:216 misc:953 fcode:1 bcode:1 mc-var:169 var:652 icount:14 skipcount:193 hbits:42; in:545 out:545 type:2 q:319 itex:240 ptex:5 mv:8 misc:361 fcode:1 bcode:1 mc-var:135 var:636 icount:5 skipcount:293 hbits:42; in:546 out:546 type:2 q:304 itex:192 ptex:5 mv:25 misc:360 fcode:1 bcode:1 mc-var:135 var:634 icount:4 skipcount:291 hbits:42; in:547 out:547 type:2 q:277 itex:432 ptex:567 mv:178 misc:901 fcode:1 bcode:1 mc-var:127 var:635 icount:9 skipcount:203 hbits:42; in:548 out:548 type:2 q:416 itex:248 ptex:2529 mv:143 misc:670 fcode:1 bcode:1 mc-var:846 var:1224 icount:5 skipcount:233 hbits:42; in:549 out:549 type:2 q:468 itex:0 ptex:98 mv:52 misc:368 fcode:1 bcode:1 mc-var:429 var:1224 icount:0 skipcount:284 hbits:42; in:550 out:550 type:2 q:670 itex:96 ptex:12021 mv:247 misc:658 fcode:1 bcode:1 mc-var:10999 var:11259 icount:2 skipcount:232 hbits:42; in:551 out:551 type:2 q:949 itex:576 ptex:14446 mv:234 misc:742 fcode:1 bcode:1 mc-var:24307 var:45909 icount:12 skipcount:222 hbits:42; in:552 out:552 type:2 q:1265 itex:624 ptex:12991 mv:194 misc:821 fcode:1 bcode:1 mc-var:40193 var:115144 icount:13 skipcount:221 hbits:42; in:553 out:553 type:2 q:1490 itex:144 ptex:3174 mv:140 misc:684 fcode:1 bcode:1 mc-var:12814 var:149642 icount:3 skipcount:230 hbits:42; in:554 out:554 type:2 q:1475 itex:192 ptex:3093 mv:126 misc:699 fcode:1 bcode:1 mc-var:11323 var:170520 icount:4 skipcount:233 hbits:42; in:555 out:555 type:1 q:1167 itex:44126 ptex:0 mv:0 misc:1504 fcode:1 bcode:1 mc-var:0 var:180403 icount:300 skipcount:0 hbits:42; in:556 out:556 type:2 q:1323 itex:0 ptex:1594 mv:116 misc:608 fcode:1 bcode:1 mc-var:5389 var:188544 icount:0 skipcount:245 hbits:42; in:557 out:557 type:2 q:1203 itex:0 ptex:2512 mv:136 misc:654 fcode:1 bcode:1 mc-var:6005 var:194362 icount:0 skipcount:238 hbits:42; in:558 out:558 type:2 q:1288 itex:48 ptex:5777 mv:196 misc:657 fcode:1 bcode:1 mc-var:15136 var:198850 icount:1 skipcount:234 hbits:42; in:559 out:559 type:2 q:1323 itex:0 ptex:3784 mv:162 misc:596 fcode:1 bcode:1 mc-var:9673 var:198336 icount:0 skipcount:245 hbits:42; in:560 out:560 type:2 q:1319 itex:0 ptex:3993 mv:148 misc:649 fcode:1 bcode:1 mc-var:8681 var:198226 icount:0 skipcount:236 hbits:42; in:561 out:561 type:2 q:1397 itex:48 ptex:3709 mv:166 misc:635 fcode:1 bcode:1 mc-var:12324 var:199340 icount:1 skipcount:240 hbits:42; in:562 out:562 type:2 q:1317 itex:144 ptex:3107 mv:120 misc:651 fcode:1 bcode:1 mc-var:7075 var:198526 icount:3 skipcount:238 hbits:42; in:563 out:563 type:2 q:1313 itex:0 ptex:3185 mv:146 misc:603 fcode:1 bcode:1 mc-var:8565 var:198369 icount:0 skipcount:245 hbits:42; in:564 out:564 type:2 q:1249 itex:48 ptex:2299 mv:112 misc:603 fcode:1 bcode:1 mc-var:6534 var:198174 icount:1 skipcount:244 hbits:42; in:565 out:565 type:2 q:1272 itex:48 ptex:4506 mv:166 misc:622 fcode:1 bcode:1 mc-var:11889 var:198947 icount:1 skipcount:241 hbits:42; in:566 out:566 type:2 q:1232 itex:0 ptex:3000 mv:116 misc:594 fcode:1 bcode:1 mc-var:6810 var:197893 icount:0 skipcount:246 hbits:42; in:567 out:567 type:1 q:954 itex:51419 ptex:0 mv:0 misc:1547 fcode:1 bcode:1 mc-var:0 var:197140 icount:300 skipcount:0 hbits:42; in:568 out:568 type:2 q:1210 itex:0 ptex:3261 mv:140 misc:629 fcode:1 bcode:1 mc-var:6549 var:197112 icount:0 skipcount:240 hbits:42; in:569 out:569 type:2 q:1155 itex:0 ptex:1709 mv:112 misc:609 fcode:1 bcode:1 mc-var:4487 var:196550 icount:0 skipcount:245 hbits:42; in:570 out:570 type:2 q:1175 itex:0 ptex:4903 mv:156 misc:659 fcode:1 bcode:1 mc-var:9203 var:197635 icount:0 skipcount:236 hbits:42; in:571 out:571 type:2 q:1123 itex:0 ptex:808 mv:72 misc:494 fcode:1 bcode:1 mc-var:3736 var:200163 icount:0 skipcount:264 hbits:42; in:572 out:572 type:2 q:982 itex:0 ptex:2351 mv:116 misc:643 fcode:1 bcode:1 mc-var:3395 var:198913 icount:0 skipcount:242 hbits:42; in:573 out:573 type:2 q:1057 itex:48 ptex:5848 mv:175 misc:679 fcode:1 bcode:1 mc-var:7995 var:198367 icount:1 skipcount:231 hbits:42; in:574 out:574 type:2 q:1081 itex:0 ptex:121 mv:22 misc:359 fcode:1 bcode:1 mc-var:3673 var:198367 icount:0 skipcount:290 hbits:42; in:575 out:575 type:2 q:935 itex:0 ptex:2822 mv:124 misc:636 fcode:1 bcode:1 mc-var:4116 var:196660 icount:0 skipcount:240 hbits:42; in:576 out:576 type:2 q:908 itex:0 ptex:2282 mv:132 misc:672 fcode:1 bcode:1 mc-var:3448 var:197637 icount:0 skipcount:236 hbits:42; in:577 out:577 type:2 q:874 itex:0 ptex:1500 mv:108 misc:654 fcode:1 bcode:1 mc-var:2615 var:197033 icount:0 skipcount:246 hbits:42; in:578 out:578 type:2 q:962 itex:0 ptex:7016 mv:166 misc:672 fcode:1 bcode:1 mc-var:7983 var:197964 icount:0 skipcount:234 hbits:42; in:579 out:579 type:1 q:840 itex:55320 ptex:0 mv:0 misc:1550 fcode:1 bcode:1 mc-var:0 var:198500 icount:300 skipcount:0 hbits:42; in:580 out:580 type:2 q:1183 itex:48 ptex:4713 mv:164 misc:657 fcode:1 bcode:1 mc-var:22379 var:199785 icount:1 skipcount:233 hbits:42; in:581 out:581 type:2 q:1165 itex:0 ptex:3596 mv:128 misc:650 fcode:1 bcode:1 mc-var:6328 var:198598 icount:0 skipcount:238 hbits:42; in:582 out:582 type:2 q:1333 itex:0 ptex:4593 mv:170 misc:667 fcode:1 bcode:1 mc-var:21503 var:198845 icount:0 skipcount:234 hbits:42; in:583 out:583 type:2 q:1240 itex:0 ptex:1922 mv:116 misc:616 fcode:1 bcode:1 mc-var:5462 var:198366 icount:0 skipcount:242 hbits:42; in:584 out:584 type:2 q:1325 itex:0 ptex:5077 mv:174 misc:643 fcode:1 bcode:1 mc-var:17993 var:198731 icount:0 skipcount:235 hbits:42; in:585 out:585 type:2 q:1290 itex:0 ptex:4375 mv:150 misc:641 fcode:1 bcode:1 mc-var:8964 var:198604 icount:0 skipcount:240 hbits:42; in:586 out:586 type:2 q:1281 itex:0 ptex:2961 mv:122 misc:627 fcode:1 bcode:1 mc-var:6847 var:196689 icount:0 skipcount:240 hbits:42; in:587 out:587 type:2 q:1226 itex:0 ptex:2352 mv:128 misc:654 fcode:1 bcode:1 mc-var:5597 var:197944 icount:0 skipcount:237 hbits:42; in:588 out:588 type:2 q:1134 itex:0 ptex:477 mv:60 misc:461 fcode:1 bcode:1 mc-var:4255 var:197573 icount:0 skipcount:271 hbits:42; in:589 out:589 type:2 q:1009 itex:0 ptex:4148 mv:128 misc:674 fcode:1 bcode:1 mc-var:6273 var:197626 icount:0 skipcount:236 hbits:42; in:590 out:590 type:2 q:1036 itex:0 ptex:3657 mv:130 misc:651 fcode:1 bcode:1 mc-var:5451 var:198136 icount:0 skipcount:236 hbits:42; in:591 out:591 type:1 q:850 itex:55028 ptex:0 mv:0 misc:1546 fcode:1 bcode:1 mc-var:0 var:198109 icount:300 skipcount:0 hbits:42; in:592 out:592 type:2 q:1157 itex:0 ptex:3943 mv:144 misc:607 fcode:1 bcode:1 mc-var:8173 var:196483 icount:0 skipcount:243 hbits:42; in:593 out:593 type:2 q:1191 itex:0 ptex:3748 mv:148 misc:646 fcode:1 bcode:1 mc-var:6559 var:199587 icount:0 skipcount:241 hbits:42; in:594 out:594 type:2 q:1305 itex:0 ptex:4136 mv:186 misc:644 fcode:1 bcode:1 mc-var:10255 var:198367 icount:0 skipcount:236 hbits:42; in:595 out:595 type:2 q:1197 itex:0 ptex:1245 mv:106 misc:599 fcode:1 bcode:1 mc-var:3551 var:197975 icount:0 skipcount:247 hbits:42; in:596 out:596 type:2 q:1152 itex:0 ptex:3520 mv:130 misc:612 fcode:1 bcode:1 mc-var:6443 var:198004 icount:0 skipcount:244 hbits:42; in:597 out:597 type:2 q:1101 itex:0 ptex:1807 mv:106 misc:605 fcode:1 bcode:1 mc-var:3996 var:196597 icount:0 skipcount:247 hbits:42; in:598 out:598 type:2 q:1018 itex:0 ptex:27 mv:6 misc:317 fcode:1 bcode:1 mc-var:3367 var:196597 icount:0 skipcount:297 hbits:42; in:599 out:599 type:2 q:843 itex:0 ptex:4372 mv:135 misc:715 fcode:1 bcode:1 mc-var:3832 var:197205 icount:0 skipcount:234 hbits:42; in:600 out:600 type:2 q:902 itex:0 ptex:2254 mv:116 misc:636 fcode:1 bcode:1 mc-var:3413 var:198266 icount:0 skipcount:243 hbits:42; in:601 out:601 type:2 q:931 itex:0 ptex:2959 mv:120 misc:631 fcode:1 bcode:1 mc-var:3919 var:198482 icount:0 skipcount:241 hbits:42; in:602 out:602 type:2 q:1011 itex:0 ptex:4105 mv:144 misc:653 fcode:1 bcode:1 mc-var:5636 var:198772 icount:0 skipcount:238 hbits:42; in:603 out:603 type:1 q:873 itex:55316 ptex:0 mv:0 misc:1554 fcode:1 bcode:1 mc-var:0 var:197660 icount:300 skipcount:0 hbits:42; in:604 out:604 type:2 q:1016 itex:0 ptex:1187 mv:78 misc:501 fcode:1 bcode:1 mc-var:2975 var:198525 icount:0 skipcount:265 hbits:42; in:605 out:605 type:2 q:1004 itex:0 ptex:3386 mv:118 misc:638 fcode:1 bcode:1 mc-var:5062 var:199018 icount:0 skipcount:241 hbits:42; in:606 out:606 type:2 q:995 itex:0 ptex:2018 mv:94 misc:590 fcode:1 bcode:1 mc-var:3484 var:199540 icount:0 skipcount:253 hbits:42; in:607 out:607 type:2 q:935 itex:0 ptex:549 mv:66 misc:503 fcode:1 bcode:1 mc-var:2600 var:197969 icount:0 skipcount:267 hbits:42; in:608 out:608 type:2 q:949 itex:0 ptex:8016 mv:154 misc:644 fcode:1 bcode:1 mc-var:8848 var:199776 icount:0 skipcount:237 hbits:42; in:609 out:609 type:2 q:1007 itex:0 ptex:561 mv:66 misc:499 fcode:1 bcode:1 mc-var:3080 var:199288 icount:0 skipcount:267 hbits:42; in:610 out:610 type:2 q:1015 itex:0 ptex:4935 mv:148 misc:651 fcode:1 bcode:1 mc-var:7645 var:198995 icount:0 skipcount:238 hbits:42; in:611 out:611 type:2 q:1061 itex:0 ptex:3109 mv:132 misc:645 fcode:1 bcode:1 mc-var:5184 var:196857 icount:0 skipcount:235 hbits:42; in:612 out:612 type:2 q:1136 itex:0 ptex:3984 mv:138 misc:636 fcode:1 bcode:1 mc-var:7184 var:199833 icount:0 skipcount:239 hbits:42; in:613 out:613 type:2 q:1231 itex:0 ptex:4643 mv:152 misc:627 fcode:1 bcode:1 mc-var:9004 var:198487 icount:0 skipcount:239 hbits:42; in:614 out:614 type:2 q:1193 itex:0 ptex:1548 mv:96 misc:562 fcode:1 bcode:1 mc-var:4341 var:198796 icount:0 skipcount:253 hbits:42; in:615 out:615 type:1 q:924 itex:50921 ptex:0 mv:0 misc:1525 fcode:1 bcode:1 mc-var:0 var:198256 icount:300 skipcount:0 hbits:42; in:616 out:616 type:2 q:1193 itex:48 ptex:3689 mv:142 misc:623 fcode:1 bcode:1 mc-var:7886 var:197306 icount:1 skipcount:243 hbits:42; in:617 out:617 type:2 q:1130 itex:0 ptex:1175 mv:102 misc:593 fcode:1 bcode:1 mc-var:4063 var:199146 icount:0 skipcount:249 hbits:42; in:618 out:618 type:2 q:1102 itex:0 ptex:4256 mv:128 misc:630 fcode:1 bcode:1 mc-var:7418 var:199103 icount:0 skipcount:245 hbits:42; in:619 out:619 type:2 q:1157 itex:0 ptex:3274 mv:114 misc:586 fcode:1 bcode:1 mc-var:7146 var:197303 icount:0 skipcount:250 hbits:42; in:620 out:620 type:2 q:1089 itex:0 ptex:1310 mv:94 misc:570 fcode:1 bcode:1 mc-var:3717 var:197498 icount:0 skipcount:253 hbits:42; in:621 out:621 type:2 q:984 itex:0 ptex:1658 mv:110 misc:630 fcode:1 bcode:1 mc-var:3304 var:196636 icount:0 skipcount:245 hbits:42; in:622 out:622 type:2 q:1017 itex:0 ptex:5154 mv:163 misc:665 fcode:1 bcode:1 mc-var:7250 var:196390 icount:0 skipcount:234 hbits:42; in:623 out:623 type:2 q:1037 itex:0 ptex:96 mv:24 misc:358 fcode:1 bcode:1 mc-var:3703 var:196390 icount:0 skipcount:289 hbits:42; in:624 out:624 type:2 q:926 itex:0 ptex:4149 mv:128 misc:641 fcode:1 bcode:1 mc-var:5584 var:198047 icount:0 skipcount:242 hbits:42; in:625 out:625 type:2 q:994 itex:0 ptex:5950 mv:136 misc:656 fcode:1 bcode:1 mc-var:5874 var:197717 icount:0 skipcount:236 hbits:42; in:626 out:626 type:2 q:1044 itex:0 ptex:760 mv:68 misc:482 fcode:1 bcode:1 mc-var:3018 var:198416 icount:0 skipcount:267 hbits:42; in:627 out:627 type:1 q:876 itex:55544 ptex:0 mv:0 misc:1550 fcode:1 bcode:1 mc-var:0 var:198943 icount:300 skipcount:0 hbits:42; in:628 out:628 type:2 q:956 itex:0 ptex:1523 mv:96 misc:563 fcode:1 bcode:1 mc-var:2947 var:198369 icount:0 skipcount:255 hbits:42; in:629 out:629 type:2 q:978 itex:0 ptex:4571 mv:134 misc:629 fcode:1 bcode:1 mc-var:6065 var:196507 icount:0 skipcount:240 hbits:42; in:630 out:630 type:2 q:1102 itex:0 ptex:4801 mv:158 misc:663 fcode:1 bcode:1 mc-var:7157 var:198669 icount:0 skipcount:236 hbits:42; in:631 out:631 type:2 q:1292 itex:0 ptex:4181 mv:180 misc:645 fcode:1 bcode:1 mc-var:11098 var:198489 icount:0 skipcount:238 hbits:42; in:632 out:632 type:2 q:1258 itex:0 ptex:2456 mv:124 misc:626 fcode:1 bcode:1 mc-var:5641 var:198432 icount:0 skipcount:240 hbits:42; in:633 out:633 type:2 q:1386 itex:0 ptex:4146 mv:186 misc:618 fcode:1 bcode:1 mc-var:16184 var:195731 icount:0 skipcount:239 hbits:42; in:634 out:634 type:2 q:1297 itex:0 ptex:3314 mv:112 misc:580 fcode:1 bcode:1 mc-var:7058 var:198748 icount:0 skipcount:249 hbits:42; in:635 out:635 type:2 q:1291 itex:0 ptex:3996 mv:128 misc:618 fcode:1 bcode:1 mc-var:7995 var:196673 icount:0 skipcount:242 hbits:42; in:636 out:636 type:2 q:1263 itex:0 ptex:2441 mv:118 misc:615 fcode:1 bcode:1 mc-var:5722 var:198076 icount:0 skipcount:243 hbits:42; in:637 out:637 type:2 q:1185 itex:0 ptex:1969 mv:104 misc:581 fcode:1 bcode:1 mc-var:4683 var:198148 icount:0 skipcount:249 hbits:42; in:638 out:638 type:2 q:1119 itex:0 ptex:3355 mv:124 misc:655 fcode:1 bcode:1 mc-var:5024 var:197848 icount:0 skipcount:238 hbits:42; in:639 out:639 type:1 q:843 itex:55389 ptex:0 mv:0 misc:1553 fcode:1 bcode:1 mc-var:0 var:197862 icount:300 skipcount:0 hbits:42; in:640 out:640 type:2 q:1263 itex:0 ptex:4828 mv:218 misc:672 fcode:1 bcode:1 mc-var:14916 var:199388 icount:0 skipcount:229 hbits:42; in:641 out:641 type:2 q:1194 itex:0 ptex:1845 mv:122 misc:639 fcode:1 bcode:1 mc-var:4423 var:199357 icount:0 skipcount:240 hbits:42; in:642 out:642 type:2 q:1337 itex:0 ptex:4284 mv:162 misc:624 fcode:1 bcode:1 mc-var:18448 var:196381 icount:0 skipcount:239 hbits:42; in:643 out:643 type:2 q:1231 itex:0 ptex:2537 mv:118 misc:615 fcode:1 bcode:1 mc-var:5365 var:198182 icount:0 skipcount:243 hbits:42; in:644 out:644 type:2 q:1355 itex:0 ptex:5263 mv:170 misc:645 fcode:1 bcode:1 mc-var:22028 var:200888 icount:0 skipcount:237 hbits:42; in:645 out:645 type:2 q:1346 itex:0 ptex:4653 mv:172 misc:613 fcode:1 bcode:1 mc-var:10563 var:197059 icount:0 skipcount:240 hbits:42; in:646 out:646 type:2 q:1320 itex:0 ptex:2800 mv:122 misc:628 fcode:1 bcode:1 mc-var:6671 var:192377 icount:0 skipcount:240 hbits:42; in:647 out:647 type:2 q:1231 itex:0 ptex:1637 mv:116 misc:613 fcode:1 bcode:1 mc-var:4683 var:192377 icount:0 skipcount:242 hbits:42; in:648 out:648 type:2 q:1168 itex:0 ptex:3039 mv:124 misc:619 fcode:1 bcode:1 mc-var:6065 var:183683 icount:0 skipcount:240 hbits:42; in:649 out:649 type:2 q:1276 itex:96 ptex:4882 mv:198 misc:670 fcode:1 bcode:1 mc-var:12793 var:172251 icount:2 skipcount:234 hbits:42; in:650 out:650 type:2 q:1408 itex:864 ptex:4617 mv:193 misc:804 fcode:1 bcode:1 mc-var:15279 var:146593 icount:18 skipcount:217 hbits:42; in:651 out:651 type:1 q:1232 itex:38525 ptex:0 mv:0 misc:1465 fcode:1 bcode:1 mc-var:0 var:102829 icount:300 skipcount:0 hbits:42; in:652 out:652 type:2 q:1651 itex:48 ptex:6432 mv:401 misc:645 fcode:1 bcode:1 mc-var:31659 var:32944 icount:1 skipcount:233 hbits:42; in:653 out:653 type:2 q:1682 itex:3482 ptex:776 mv:387 misc:737 fcode:1 bcode:1 mc-var:17082 var:7296 icount:35 skipcount:234 hbits:42; in:654 out:654 type:2 q:1521 itex:2016 ptex:0 mv:275 misc:747 fcode:1 bcode:1 mc-var:888 var:848 icount:42 skipcount:236 hbits:42; in:655 out:655 type:2 q:1264 itex:336 ptex:0 mv:12 misc:370 fcode:1 bcode:1 mc-var:383 var:905 icount:7 skipcount:292 hbits:42; in:656 out:656 type:2 q:958 itex:1296 ptex:0 mv:0 misc:550 fcode:1 bcode:1 mc-var:226 var:626 icount:27 skipcount:273 hbits:42; in:657 out:657 type:2 q:812 itex:624 ptex:0 mv:0 misc:422 fcode:1 bcode:1 mc-var:203 var:631 icount:13 skipcount:287 hbits:42; in:658 out:658 type:2 q:716 itex:384 ptex:0 mv:0 misc:374 fcode:1 bcode:1 mc-var:269 var:692 icount:8 skipcount:292 hbits:42; in:659 out:659 type:2 q:595 itex:336 ptex:5 mv:2 misc:375 fcode:1 bcode:1 mc-var:211 var:640 icount:7 skipcount:292 hbits:42; in:660 out:660 type:2 q:498 itex:384 ptex:64 mv:38 misc:432 fcode:1 bcode:1 mc-var:193 var:637 icount:8 skipcount:280 hbits:42; in:661 out:661 type:2 q:463 itex:1632 ptex:66 mv:18 misc:658 fcode:1 bcode:1 mc-var:301 var:846 icount:34 skipcount:257 hbits:42; in:662 out:662 type:2 q:468 itex:288 ptex:14 mv:4 misc:364 fcode:1 bcode:1 mc-var:210 var:654 icount:6 skipcount:292 hbits:42; in:663 out:663 type:1 q:379 itex:14565 ptex:0 mv:0 misc:1505 fcode:1 bcode:1 mc-var:0 var:636 icount:300 skipcount:0 hbits:42; in:664 out:664 type:2 q:443 itex:240 ptex:0 mv:6 misc:352 fcode:1 bcode:1 mc-var:297 var:861 icount:5 skipcount:294 hbits:42; in:665 out:665 type:2 q:394 itex:96 ptex:40 mv:16 misc:366 fcode:1 bcode:1 mc-var:299 var:905 icount:2 skipcount:290 hbits:42; in:666 out:666 type:2 q:335 itex:96 ptex:35 mv:14 misc:365 fcode:1 bcode:1 mc-var:238 var:720 icount:2 skipcount:291 hbits:42; in:667 out:667 type:2 q:283 itex:384 ptex:606 mv:204 misc:948 fcode:1 bcode:1 mc-var:179 var:644 icount:8 skipcount:192 hbits:42; in:668 out:668 type:2 q:339 itex:288 ptex:5 mv:15 misc:370 fcode:1 bcode:1 mc-var:280 var:789 icount:6 skipcount:291 hbits:42; in:669 out:669 type:2 q:314 itex:288 ptex:0 mv:0 misc:358 fcode:1 bcode:1 mc-var:184 var:643 icount:6 skipcount:294 hbits:42; in:670 out:670 type:2 q:284 itex:192 ptex:453 mv:160 misc:769 fcode:1 bcode:1 mc-var:165 var:642 icount:4 skipcount:218 hbits:42; in:671 out:671 type:2 q:299 itex:0 ptex:0 mv:4 misc:306 fcode:1 bcode:1 mc-var:157 var:642 icount:0 skipcount:299 hbits:42; in:672 out:672 type:2 q:273 itex:768 ptex:615 mv:312 misc:1047 fcode:1 bcode:1 mc-var:189 var:669 icount:16 skipcount:173 hbits:42; in:673 out:673 type:2 q:318 itex:432 ptex:30 mv:12 misc:420 fcode:1 bcode:1 mc-var:152 var:651 icount:9 skipcount:285 hbits:42; in:674 out:674 type:2 q:386 itex:144 ptex:2601 mv:60 misc:497 fcode:1 bcode:1 mc-var:644 var:1044 icount:3 skipcount:268 hbits:42; in:675 out:675 type:1 q:362 itex:26872 ptex:0 mv:0 misc:1486 fcode:1 bcode:1 mc-var:0 var:5899 icount:300 skipcount:0 hbits:42; in:676 out:676 type:2 q:596 itex:720 ptex:7833 mv:97 misc:596 fcode:1 bcode:1 mc-var:7888 var:20554 icount:15 skipcount:258 hbits:42; in:677 out:677 type:2 q:879 itex:240 ptex:7609 mv:62 misc:543 fcode:1 bcode:1 mc-var:12455 var:49074 icount:5 skipcount:267 hbits:42; in:678 out:678 type:2 q:1045 itex:48 ptex:4313 mv:84 misc:457 fcode:1 bcode:1 mc-var:6814 var:61707 icount:1 skipcount:271 hbits:42; in:679 out:679 type:2 q:1124 itex:0 ptex:3054 mv:76 misc:460 fcode:1 bcode:1 mc-var:6556 var:70289 icount:0 skipcount:273 hbits:42; in:680 out:680 type:2 q:1043 itex:192 ptex:2380 mv:54 misc:516 fcode:1 bcode:1 mc-var:3445 var:76357 icount:4 skipcount:269 hbits:42; in:681 out:681 type:2 q:1089 itex:480 ptex:3792 mv:78 misc:552 fcode:1 bcode:1 mc-var:6555 var:79851 icount:10 skipcount:262 hbits:42; in:682 out:682 type:2 q:1007 itex:48 ptex:1168 mv:56 misc:462 fcode:1 bcode:1 mc-var:2345 var:82410 icount:1 skipcount:272 hbits:42; in:683 out:683 type:2 q:954 itex:912 ptex:3571 mv:64 misc:651 fcode:1 bcode:1 mc-var:3762 var:82435 icount:19 skipcount:253 hbits:42; in:684 out:684 type:2 q:928 itex:96 ptex:1239 mv:56 misc:487 fcode:1 bcode:1 mc-var:1832 var:83641 icount:2 skipcount:270 hbits:42; in:685 out:685 type:2 q:862 itex:48 ptex:2028 mv:58 misc:488 fcode:1 bcode:1 mc-var:1901 var:84806 icount:1 skipcount:271 hbits:42; in:686 out:686 type:2 q:801 itex:288 ptex:969 mv:58 misc:523 fcode:1 bcode:1 mc-var:1434 var:83146 icount:6 skipcount:266 hbits:42; in:687 out:687 type:1 q:593 itex:37195 ptex:0 mv:0 misc:1539 fcode:1 bcode:1 mc-var:0 var:81503 icount:300 skipcount:0 hbits:42; in:688 out:688 type:2 q:749 itex:48 ptex:2011 mv:56 misc:475 fcode:1 bcode:1 mc-var:1471 var:82574 icount:1 skipcount:272 hbits:42; in:689 out:689 type:2 q:693 itex:0 ptex:600 mv:52 misc:458 fcode:1 bcode:1 mc-var:872 var:82642 icount:0 skipcount:274 hbits:42; in:690 out:690 type:2 q:723 itex:0 ptex:4379 mv:62 misc:469 fcode:1 bcode:1 mc-var:3242 var:82802 icount:0 skipcount:273 hbits:42; in:691 out:691 type:2 q:739 itex:0 ptex:1911 mv:62 misc:457 fcode:1 bcode:1 mc-var:1533 var:82416 icount:0 skipcount:272 hbits:42; in:692 out:692 type:2 q:869 itex:0 ptex:4561 mv:86 misc:463 fcode:1 bcode:1 mc-var:5426 var:81884 icount:0 skipcount:271 hbits:42; in:693 out:693 type:2 q:1034 itex:0 ptex:3169 mv:76 misc:449 fcode:1 bcode:1 mc-var:8519 var:85727 icount:0 skipcount:272 hbits:42; in:694 out:694 type:2 q:940 itex:0 ptex:2215 mv:52 misc:443 fcode:1 bcode:1 mc-var:2387 var:81422 icount:0 skipcount:274 hbits:42; in:695 out:695 type:2 q:924 itex:0 ptex:3177 mv:69 misc:448 fcode:1 bcode:1 mc-var:3459 var:81858 icount:0 skipcount:273 hbits:42; in:696 out:696 type:2 q:840 itex:0 ptex:1158 mv:54 misc:450 fcode:1 bcode:1 mc-var:1388 var:81858 icount:0 skipcount:273 hbits:42; in:697 out:697 type:2 q:808 itex:96 ptex:2902 mv:56 misc:464 fcode:1 bcode:1 mc-var:2378 var:82515 icount:2 skipcount:271 hbits:42; in:698 out:698 type:2 q:939 itex:0 ptex:4500 mv:90 misc:448 fcode:1 bcode:1 mc-var:6220 var:84437 icount:0 skipcount:272 hbits:42; in:699 out:699 type:1 q:857 itex:32152 ptex:0 mv:0 misc:1526 fcode:1 bcode:1 mc-var:0 var:82899 icount:300 skipcount:0 hbits:42; in:700 out:700 type:2 q:975 itex:0 ptex:3295 mv:72 misc:455 fcode:1 bcode:1 mc-var:4006 var:83660 icount:0 skipcount:274 hbits:42; in:701 out:701 type:2 q:897 itex:0 ptex:1043 mv:54 misc:445 fcode:1 bcode:1 mc-var:1678 var:82598 icount:0 skipcount:275 hbits:42; in:702 out:702 type:2 q:932 itex:0 ptex:4236 mv:77 misc:453 fcode:1 bcode:1 mc-var:5857 var:82506 icount:0 skipcount:272 hbits:42; in:703 out:703 type:2 q:936 itex:0 ptex:3359 mv:66 misc:469 fcode:1 bcode:1 mc-var:3641 var:84412 icount:0 skipcount:272 hbits:42; in:704 out:704 type:2 q:873 itex:0 ptex:1725 mv:56 misc:457 fcode:1 bcode:1 mc-var:1706 var:81829 icount:0 skipcount:273 hbits:42; in:705 out:705 type:2 q:787 itex:0 ptex:461 mv:45 misc:412 fcode:1 bcode:1 mc-var:1205 var:82668 icount:0 skipcount:281 hbits:42; in:706 out:706 type:2 q:773 itex:103 ptex:4054 mv:70 misc:467 fcode:1 bcode:1 mc-var:3936 var:82099 icount:1 skipcount:272 hbits:42; in:707 out:707 type:2 q:797 itex:0 ptex:2495 mv:60 misc:459 fcode:1 bcode:1 mc-var:2621 var:84154 icount:0 skipcount:273 hbits:42; in:708 out:708 type:2 q:906 itex:0 ptex:3844 mv:74 misc:456 fcode:1 bcode:1 mc-var:6361 var:82439 icount:0 skipcount:273 hbits:42; in:709 out:709 type:2 q:975 itex:0 ptex:3581 mv:81 misc:456 fcode:1 bcode:1 mc-var:6712 var:83129 icount:0 skipcount:272 hbits:42; in:710 out:710 type:2 q:986 itex:0 ptex:4361 mv:78 misc:455 fcode:1 bcode:1 mc-var:5568 var:84143 icount:0 skipcount:272 hbits:42; in:711 out:711 type:1 q:797 itex:32251 ptex:0 mv:0 misc:1531 fcode:1 bcode:1 mc-var:0 var:82840 icount:300 skipcount:0 hbits:42; in:712 out:712 type:2 q:932 itex:48 ptex:1728 mv:58 misc:468 fcode:1 bcode:1 mc-var:2266 var:81705 icount:1 skipcount:272 hbits:42; in:713 out:713 type:2 q:900 itex:240 ptex:2641 mv:62 misc:495 fcode:1 bcode:1 mc-var:2921 var:82920 icount:5 skipcount:268 hbits:42; in:714 out:714 type:2 q:876 itex:288 ptex:2403 mv:58 misc:513 fcode:1 bcode:1 mc-var:2334 var:82379 icount:6 skipcount:267 hbits:42; in:715 out:715 type:2 q:889 itex:0 ptex:2114 mv:62 misc:454 fcode:1 bcode:1 mc-var:2703 var:81187 icount:0 skipcount:273 hbits:42; in:716 out:716 type:2 q:810 itex:0 ptex:1208 mv:63 misc:447 fcode:1 bcode:1 mc-var:1541 var:82920 icount:0 skipcount:274 hbits:42; in:717 out:717 type:2 q:752 itex:336 ptex:2810 mv:67 misc:545 fcode:1 bcode:1 mc-var:1847 var:82470 icount:7 skipcount:264 hbits:42; in:718 out:718 type:2 q:832 itex:96 ptex:3319 mv:71 misc:488 fcode:1 bcode:1 mc-var:3041 var:82474 icount:2 skipcount:269 hbits:42; in:719 out:719 type:2 q:819 itex:0 ptex:1506 mv:52 misc:456 fcode:1 bcode:1 mc-var:1723 var:84625 icount:0 skipcount:274 hbits:42; in:720 out:720 type:2 q:735 itex:0 ptex:955 mv:52 misc:455 fcode:1 bcode:1 mc-var:1122 var:84625 icount:0 skipcount:274 hbits:42; in:721 out:721 type:2 q:736 itex:144 ptex:4111 mv:58 misc:493 fcode:1 bcode:1 mc-var:2858 var:81671 icount:3 skipcount:269 hbits:42; in:722 out:722 type:2 q:749 itex:0 ptex:1910 mv:65 misc:463 fcode:1 bcode:1 mc-var:1579 var:82456 icount:0 skipcount:273 hbits:42; in:723 out:723 type:1 q:609 itex:37074 ptex:0 mv:0 misc:1540 fcode:1 bcode:1 mc-var:0 var:81423 icount:300 skipcount:0 hbits:42; in:724 out:724 type:2 q:858 itex:96 ptex:4097 mv:103 misc:470 fcode:1 bcode:1 mc-var:4852 var:81981 icount:2 skipcount:269 hbits:42; in:725 out:725 type:2 q:840 itex:0 ptex:2191 mv:60 misc:451 fcode:1 bcode:1 mc-var:2048 var:81057 icount:0 skipcount:273 hbits:42; in:726 out:726 type:2 q:851 itex:0 ptex:3395 mv:58 misc:449 fcode:1 bcode:1 mc-var:2808 var:82495 icount:0 skipcount:274 hbits:42; in:727 out:727 type:2 q:865 itex:0 ptex:2768 mv:60 misc:458 fcode:1 bcode:1 mc-var:2410 var:83398 icount:0 skipcount:272 hbits:42; in:728 out:728 type:2 q:810 itex:0 ptex:880 mv:50 misc:436 fcode:1 bcode:1 mc-var:1349 var:80373 icount:0 skipcount:275 hbits:42; in:729 out:729 type:2 q:818 itex:48 ptex:3784 mv:78 misc:480 fcode:1 bcode:1 mc-var:3801 var:80378 icount:1 skipcount:271 hbits:42; in:730 out:730 type:2 q:783 itex:48 ptex:1561 mv:54 misc:455 fcode:1 bcode:1 mc-var:1677 var:83180 icount:1 skipcount:274 hbits:42; in:731 out:731 type:2 q:848 itex:0 ptex:4509 mv:96 misc:465 fcode:1 bcode:1 mc-var:4928 var:82042 icount:0 skipcount:272 hbits:42; in:732 out:732 type:2 q:860 itex:0 ptex:3062 mv:58 misc:446 fcode:1 bcode:1 mc-var:2786 var:81624 icount:0 skipcount:273 hbits:42; in:733 out:733 type:2 q:815 itex:0 ptex:1297 mv:52 misc:449 fcode:1 bcode:1 mc-var:1585 var:81185 icount:0 skipcount:274 hbits:42; in:734 out:734 type:2 q:775 itex:48 ptex:2394 mv:52 misc:448 fcode:1 bcode:1 mc-var:2121 var:79975 icount:1 skipcount:273 hbits:42; in:735 out:735 type:1 q:588 itex:37383 ptex:0 mv:0 misc:1535 fcode:1 bcode:1 mc-var:0 var:82246 icount:300 skipcount:0 hbits:42; in:736 out:736 type:2 q:757 itex:0 ptex:2581 mv:54 misc:451 fcode:1 bcode:1 mc-var:1844 var:80910 icount:0 skipcount:273 hbits:42; in:737 out:737 type:2 q:707 itex:0 ptex:1074 mv:54 misc:462 fcode:1 bcode:1 mc-var:985 var:80457 icount:0 skipcount:275 hbits:42; in:738 out:738 type:2 q:845 itex:0 ptex:4270 mv:86 misc:458 fcode:1 bcode:1 mc-var:7475 var:81222 icount:0 skipcount:271 hbits:42; in:739 out:739 type:2 q:829 itex:0 ptex:3518 mv:58 misc:462 fcode:1 bcode:1 mc-var:3080 var:83417 icount:0 skipcount:272 hbits:42; in:740 out:740 type:2 q:878 itex:48 ptex:4077 mv:64 misc:465 fcode:1 bcode:1 mc-var:3620 var:82610 icount:1 skipcount:271 hbits:42; in:741 out:741 type:2 q:864 itex:0 ptex:1935 mv:60 misc:467 fcode:1 bcode:1 mc-var:1950 var:79701 icount:0 skipcount:272 hbits:42; in:742 out:742 type:2 q:831 itex:0 ptex:2098 mv:54 misc:446 fcode:1 bcode:1 mc-var:2040 var:82073 icount:0 skipcount:273 hbits:42; in:743 out:743 type:2 q:822 itex:48 ptex:2728 mv:58 misc:460 fcode:1 bcode:1 mc-var:2570 var:82788 icount:1 skipcount:271 hbits:42; in:744 out:744 type:2 q:852 itex:0 ptex:3765 mv:64 misc:457 fcode:1 bcode:1 mc-var:3315 var:79897 icount:0 skipcount:273 hbits:42; in:745 out:745 type:2 q:787 itex:0 ptex:33 mv:6 misc:319 fcode:1 bcode:1 mc-var:1168 var:79897 icount:0 skipcount:297 hbits:42; in:746 out:746 type:2 q:662 itex:0 ptex:1670 mv:52 misc:468 fcode:1 bcode:1 mc-var:1502 var:80545 icount:0 skipcount:274 hbits:42; in:747 out:747 type:1 q:429 itex:41041 ptex:0 mv:0 misc:1533 fcode:1 bcode:1 mc-var:0 var:81083 icount:300 skipcount:0 hbits:42; in:748 out:748 type:2 q:585 itex:48 ptex:1000 mv:50 misc:460 fcode:1 bcode:1 mc-var:834 var:83019 icount:1 skipcount:274 hbits:42; in:749 out:749 type:2 q:543 itex:384 ptex:1172 mv:52 misc:542 fcode:1 bcode:1 mc-var:864 var:82186 icount:8 skipcount:266 hbits:42; in:750 out:750 type:2 q:608 itex:144 ptex:4865 mv:62 misc:503 fcode:1 bcode:1 mc-var:2270 var:81436 icount:3 skipcount:269 hbits:42; in:751 out:751 type:2 q:818 itex:48 ptex:3522 mv:90 misc:458 fcode:1 bcode:1 mc-var:5560 var:80617 icount:1 skipcount:271 hbits:42; in:752 out:752 type:2 q:757 itex:0 ptex:2010 mv:52 misc:448 fcode:1 bcode:1 mc-var:1399 var:81852 icount:0 skipcount:274 hbits:42; in:753 out:753 type:2 q:812 itex:0 ptex:3785 mv:71 misc:462 fcode:1 bcode:1 mc-var:3338 var:82873 icount:0 skipcount:271 hbits:42; in:754 out:754 type:2 q:921 itex:0 ptex:3255 mv:76 misc:451 fcode:1 bcode:1 mc-var:5347 var:80918 icount:0 skipcount:272 hbits:42; in:755 out:755 type:2 q:1023 itex:0 ptex:2108 mv:80 misc:450 fcode:1 bcode:1 mc-var:9246 var:79275 icount:0 skipcount:272 hbits:42; in:756 out:756 type:2 q:896 itex:0 ptex:1913 mv:52 misc:441 fcode:1 bcode:1 mc-var:2191 var:82197 icount:0 skipcount:274 hbits:42; in:757 out:757 type:2 q:794 itex:0 ptex:2324 mv:58 misc:464 fcode:1 bcode:1 mc-var:1946 var:80882 icount:0 skipcount:272 hbits:42; in:758 out:758 type:2 q:749 itex:0 ptex:2631 mv:54 misc:465 fcode:1 bcode:1 mc-var:1679 var:79934 icount:0 skipcount:273 hbits:42; in:759 out:759 type:1 q:563 itex:36867 ptex:0 mv:0 misc:1539 fcode:1 bcode:1 mc-var:0 var:80905 icount:300 skipcount:0 hbits:42; in:760 out:760 type:2 q:700 itex:0 ptex:695 mv:50 misc:445 fcode:1 bcode:1 mc-var:942 var:82350 icount:0 skipcount:275 hbits:42; in:761 out:761 type:2 q:840 itex:96 ptex:3409 mv:96 misc:485 fcode:1 bcode:1 mc-var:9732 var:82694 icount:2 skipcount:267 hbits:42; in:762 out:762 type:2 q:733 itex:0 ptex:2645 mv:56 misc:449 fcode:1 bcode:1 mc-var:1805 var:81570 icount:0 skipcount:273 hbits:42; in:763 out:763 type:2 q:728 itex:0 ptex:2894 mv:58 misc:446 fcode:1 bcode:1 mc-var:1904 var:81266 icount:0 skipcount:273 hbits:42; in:764 out:764 type:2 q:772 itex:192 ptex:2986 mv:66 misc:482 fcode:1 bcode:1 mc-var:2468 var:82394 icount:4 skipcount:268 hbits:42; in:765 out:765 type:2 q:816 itex:0 ptex:3404 mv:60 misc:454 fcode:1 bcode:1 mc-var:2761 var:82299 icount:0 skipcount:273 hbits:42; in:766 out:766 type:2 q:829 itex:0 ptex:2363 mv:58 misc:457 fcode:1 bcode:1 mc-var:2290 var:80454 icount:0 skipcount:272 hbits:42; in:767 out:767 type:2 q:873 itex:0 ptex:4349 mv:65 misc:456 fcode:1 bcode:1 mc-var:3920 var:80998 icount:0 skipcount:272 hbits:42; in:768 out:768 type:2 q:849 itex:48 ptex:1957 mv:58 misc:471 fcode:1 bcode:1 mc-var:1908 var:82116 icount:1 skipcount:272 hbits:42; in:769 out:769 type:2 q:758 itex:0 ptex:1040 mv:54 misc:456 fcode:1 bcode:1 mc-var:1079 var:82116 icount:0 skipcount:273 hbits:42; in:770 out:770 type:2 q:674 itex:0 ptex:648 mv:54 misc:456 fcode:1 bcode:1 mc-var:1047 var:82343 icount:0 skipcount:273 hbits:42; in:771 out:771 type:1 q:472 itex:41689 ptex:0 mv:0 misc:1533 fcode:1 bcode:1 mc-var:0 var:81968 icount:300 skipcount:0 hbits:42; in:772 out:772 type:2 q:766 itex:133 ptex:4515 mv:82 misc:484 fcode:1 bcode:1 mc-var:8205 var:77597 icount:2 skipcount:270 hbits:42; in:773 out:773 type:2 q:688 itex:96 ptex:1932 mv:56 misc:482 fcode:1 bcode:1 mc-var:1393 var:76586 icount:2 skipcount:271 hbits:42; in:774 out:774 type:2 q:763 itex:48 ptex:5260 mv:72 misc:466 fcode:1 bcode:1 mc-var:3983 var:70421 icount:1 skipcount:271 hbits:42; in:775 out:775 type:2 q:833 itex:816 ptex:2800 mv:68 misc:610 fcode:1 bcode:1 mc-var:2926 var:60154 icount:17 skipcount:255 hbits:42; in:776 out:776 type:2 q:941 itex:672 ptex:3025 mv:76 misc:585 fcode:1 bcode:1 mc-var:4748 var:41319 icount:14 skipcount:259 hbits:42; in:777 out:777 type:2 q:1153 itex:0 ptex:4102 mv:179 misc:453 fcode:1 bcode:1 mc-var:14695 var:12992 icount:0 skipcount:273 hbits:42; in:778 out:778 type:2 q:1085 itex:2570 ptex:416 mv:81 misc:531 fcode:1 bcode:1 mc-var:6379 var:2965 icount:22 skipcount:271 hbits:42; in:779 out:779 type:2 q:874 itex:1344 ptex:0 mv:109 misc:577 fcode:1 bcode:1 mc-var:379 var:684 icount:28 skipcount:264 hbits:42; in:780 out:780 type:2 q:723 itex:528 ptex:0 mv:0 misc:406 fcode:1 bcode:1 mc-var:322 var:904 icount:11 skipcount:289 hbits:42; in:781 out:781 type:2 q:560 itex:1008 ptex:0 mv:0 misc:494 fcode:1 bcode:1 mc-var:151 var:624 icount:21 skipcount:279 hbits:42; in:782 out:782 type:2 q:495 itex:768 ptex:15 mv:6 misc:465 fcode:1 bcode:1 mc-var:158 var:639 icount:16 skipcount:281 hbits:42; in:783 out:783 type:1 q:344 itex:14550 ptex:0 mv:0 misc:1504 fcode:1 bcode:1 mc-var:0 var:707 icount:300 skipcount:0 hbits:42; in:784 out:784 type:2 q:444 itex:864 ptex:0 mv:8 misc:470 fcode:1 bcode:1 mc-var:143 var:636 icount:18 skipcount:280 hbits:42; in:785 out:785 type:2 q:415 itex:96 ptex:0 mv:0 misc:318 fcode:1 bcode:1 mc-var:151 var:633 icount:2 skipcount:298 hbits:42; in:786 out:786 type:2 q:379 itex:144 ptex:37 mv:14 misc:363 fcode:1 bcode:1 mc-var:292 var:841 icount:3 skipcount:290 hbits:42; in:787 out:787 type:2 q:330 itex:240 ptex:45 mv:18 misc:399 fcode:1 bcode:1 mc-var:300 var:916 icount:5 skipcount:286 hbits:42; in:788 out:788 type:2 q:286 itex:432 ptex:737 mv:234 misc:1051 fcode:1 bcode:1 mc-var:241 var:714 icount:9 skipcount:176 hbits:42; in:789 out:789 type:2 q:302 itex:480 ptex:10 mv:10 misc:410 fcode:1 bcode:1 mc-var:174 var:639 icount:10 skipcount:287 hbits:42; in:790 out:790 type:2 q:307 itex:432 ptex:20 mv:12 misc:414 fcode:1 bcode:1 mc-var:270 var:769 icount:9 skipcount:286 hbits:42; in:791 out:791 type:2 q:283 itex:432 ptex:501 mv:166 misc:859 fcode:1 bcode:1 mc-var:205 var:679 icount:9 skipcount:209 hbits:42; in:792 out:792 type:2 q:291 itex:96 ptex:450 mv:166 misc:782 fcode:1 bcode:1 mc-var:162 var:644 icount:2 skipcount:217 hbits:42; in:793 out:793 type:2 q:296 itex:0 ptex:0 mv:0 misc:302 fcode:1 bcode:1 mc-var:151 var:644 icount:0 skipcount:300 hbits:42; in:794 out:794 type:2 q:279 itex:144 ptex:534 mv:172 misc:820 fcode:1 bcode:1 mc-var:294 var:860 icount:3 skipcount:211 hbits:42; in:795 out:795 type:1 q:209 itex:14701 ptex:0 mv:0 misc:1505 fcode:1 bcode:1 mc-var:0 var:649 icount:300 skipcount:0 hbits:42; in:796 out:796 type:2 q:271 itex:1104 ptex:393 mv:206 misc:919 fcode:1 bcode:1 mc-var:171 var:641 icount:23 skipcount:200 hbits:42; in:797 out:797 type:2 q:309 itex:240 ptex:0 mv:5 misc:353 fcode:1 bcode:1 mc-var:174 var:648 icount:5 skipcount:294 hbits:42; in:798 out:798 type:2 q:287 itex:384 ptex:534 mv:180 misc:868 fcode:1 bcode:1 mc-var:159 var:641 icount:8 skipcount:207 hbits:42; in:799 out:799 type:2 q:352 itex:288 ptex:1593 mv:36 misc:457 fcode:1 bcode:1 mc-var:473 var:864 icount:6 skipcount:278 hbits:42; in:800 out:800 type:2 q:514 itex:48 ptex:4925 mv:45 misc:372 fcode:1 bcode:1 mc-var:3064 var:3512 icount:1 skipcount:288 hbits:42; in:801 out:801 type:2 q:704 itex:144 ptex:4709 mv:30 misc:403 fcode:1 bcode:1 mc-var:6334 var:11833 icount:3 skipcount:286 hbits:42; in:802 out:802 type:2 q:835 itex:0 ptex:4751 mv:22 misc:393 fcode:1 bcode:1 mc-var:8229 var:26802 icount:0 skipcount:289 hbits:42; in:803 out:803 type:2 q:827 itex:144 ptex:3566 mv:28 misc:420 fcode:1 bcode:1 mc-var:4051 var:34240 icount:3 skipcount:285 hbits:42; in:804 out:804 type:2 q:747 itex:0 ptex:2276 mv:24 misc:402 fcode:1 bcode:1 mc-var:1513 var:36661 icount:0 skipcount:288 hbits:42; in:805 out:805 type:2 q:784 itex:336 ptex:3204 mv:32 misc:442 fcode:1 bcode:1 mc-var:3456 var:39103 icount:7 skipcount:281 hbits:42; in:806 out:806 type:2 q:717 itex:192 ptex:1857 mv:22 misc:407 fcode:1 bcode:1 mc-var:1309 var:41650 icount:4 skipcount:285 hbits:42; in:807 out:807 type:1 q:520 itex:29990 ptex:0 mv:0 misc:1512 fcode:1 bcode:1 mc-var:0 var:43894 icount:300 skipcount:0 hbits:42; in:808 out:808 type:2 q:624 itex:576 ptex:869 mv:37 misc:508 fcode:1 bcode:1 mc-var:611 var:43816 icount:12 skipcount:274 hbits:42; in:809 out:809 type:2 q:655 itex:192 ptex:2474 mv:22 misc:406 fcode:1 bcode:1 mc-var:1769 var:43609 icount:4 skipcount:285 hbits:42; in:810 out:810 type:2 q:597 itex:48 ptex:1224 mv:22 misc:392 fcode:1 bcode:1 mc-var:713 var:43894 icount:1 skipcount:288 hbits:42; in:811 out:811 type:2 q:594 itex:96 ptex:2735 mv:22 misc:401 fcode:1 bcode:1 mc-var:1391 var:44552 icount:2 skipcount:287 hbits:42; in:812 out:812 type:2 q:557 itex:240 ptex:1133 mv:24 misc:425 fcode:1 bcode:1 mc-var:656 var:43443 icount:5 skipcount:283 hbits:42; in:813 out:813 type:2 q:522 itex:48 ptex:1597 mv:33 misc:424 fcode:1 bcode:1 mc-var:641 var:44435 icount:1 skipcount:284 hbits:42; in:814 out:814 type:2 q:498 itex:48 ptex:1226 mv:24 misc:404 fcode:1 bcode:1 mc-var:579 var:44337 icount:1 skipcount:287 hbits:42; in:814 out:814 type:2 q:498 itex:48 ptex:1226 mv:24 misc:404 fcode:1 bcode:1 mc-var:579 var:44337 icount:1 skipcount:287 hbits:42;