{"size": 37303, "ext": "rktd", "max_stars_repo_path": "gm-pepm-2018/nepls-2017/src/tr-data/tetris-v6.4-2016-07-25T06:46:31.rktd", "max_stars_repo_name": "nuprl/retic_performance", "max_stars_repo_stars_event_min_datetime": "2018-08-03T02:41:29.000Z", "max_stars_repo_stars_event_max_datetime": "2021-03-19T03:18:47.000Z", "max_issues_repo_path": "gm-pepm-2018/nepls-2017/src/tr-data/tetris-v6.4-2016-07-25T06:46:31.rktd", "max_issues_repo_name": "nuprl/retic_performance", "max_issues_repo_issues_event_min_datetime": "2018-02-04T17:53:56.000Z", "max_issues_repo_issues_event_max_datetime": "2018-11-10T17:06:57.000Z", "max_forks_repo_path": "gm-pepm-2018/nepls-2017/src/tr-data/tetris-v6.4-2016-07-25T06:46:31.rktd", "max_forks_repo_name": "nuprl/retic_performance", "max_forks_repo_forks_event_min_datetime": "2018-08-04T00:14:12.000Z", "max_forks_repo_forks_event_max_datetime": "2018-08-04T00:14:12.000Z"}
{"max_stars_count": 3, "max_issues_count": 3, "max_forks_count": 1, "avg_line_length": 70.6496212121, "max_line_length": 287, "alphanum_fraction": 0.7205050532}
;; data0
;; #(-v 6.4 -i 1 benchmarks/forth benchmarks/fsm benchmarks/mbta benchmarks/morsecode benchmarks/zombie benchmarks/zordoz.6.3 benchmarks/lnm benchmarks/suffixtree benchmarks/kcfa benchmarks/take5 benchmarks/acquire benchmarks/tetris benchmarks/synth)
;; 6.4
;; binaries in /home/ben/code/racket/6.4/bin/
;; base @ <unknown-commit>
;; typed-racket @ 495da1bd
;; 2017-02-22T13:50:39
;; #(-v (6.4 6.3) benchmarks/morsecode benchmarks/fsm benchmarks/forth benchmarks/take5 benchmarks/zordoz.6.3 benchmarks/zombie benchmarks/suffixtree benchmarks/snake benchmarks/tetris benchmarks/synth benchmarks/kcfa benchmarks/lnm benchmarks/mbta benchmarks/acquire benchmarks/dungeon)
;; 6.4
;; binaries in /home/ben/code/racket/6.4/bin/
;; base @ <unknown-commit>
;; typed-racket @ 495da1bd
;; 2016-06-02T02:48:58
#(
( 2150 2147 2144 2138 2172 2151 2147 2152 2156 #| data0 |# 2139)
( 3389 3392 3386 3383 3387 3394 3396 3382 3383 #| data0 |# 3391)
( 3374 3398 3406 3374 3372 3362 3382 3407 3407 #| data0 |# 3388)
( 3435 3422 3411 3463 3440 3430 3427 3412 3402 #| data0 |# 3428)
( 3326 3351 3323 3330 3354 3309 3326 3394 3313 #| data0 |# 3326)
( 3463 3471 3393 3402 3441 3447 3400 3424 3395 #| data0 |# 3410)
( 3400 3425 3428 3384 3379 3395 3407 3389 3381 #| data0 |# 3426)
( 3447 3454 3431 3420 3465 3431 3551 3421 3452 #| data0 |# 3430)
( 3565 3633 3590 3571 3607 3573 3582 3587 3563 #| data0 |# 3625)
( 3632 3594 3579 3622 3605 3660 3705 3642 3650 #| data0 |# 3687)
( 3644 3687 3634 3625 3624 3630 3640 3617 3624 #| data0 |# 3625)
( 3636 3640 3631 3663 3641 3644 3638 3631 3683 #| data0 |# 3639)
( 3574 3582 3579 3542 3566 3579 3567 3600 3588 #| data0 |# 3581)
( 3631 3628 3627 3642 3637 3614 3626 3636 3628 #| data0 |# 3643)
( 3626 3593 3624 3630 3672 3653 3629 3696 3607 #| data0 |# 3650)
( 3645 3674 3662 3645 3653 3636 3677 3637 3625 #| data0 |# 3667)
( 12485 12192 12025 12111 12022 12043 12806 12025 12086 #| data0 |# 12189)
( 13216 13058 12967 13202 13146 13099 12960 13062 13140 #| data0 |# 13013)
( 13426 13018 13057 12977 13040 13071 13343 13037 13138 #| data0 |# 12982)
( 13088 13155 13201 13020 13170 13052 13081 13039 13230 #| data0 |# 13683)
( 13375 13009 16127 13091 13049 13002 13155 13099 13037 #| data0 |# 13056)
( 13306 13187 13057 13015 13070 13031 13073 13084 13089 #| data0 |# 13166)
( 13015 14871 13195 12999 13075 13156 13277 13141 13544 #| data0 |# 13229)
( 13129 12995 13010 14411 13046 13015 13213 12995 13120 #| data0 |# 13102)
( 13293 13248 13339 13235 13538 13236 13235 13209 13216 #| data0 |# 13276)
( 13405 13311 13343 13304 13262 13398 13433 13189 13291 #| data0 |# 13319)
( 13286 13511 15638 13384 13332 13330 13421 13386 13382 #| data0 |# 13201)
( 13439 13472 13419 13470 14131 13451 13268 13664 13364 #| data0 |# 13446)
( 13485 13315 13375 13362 13381 13388 13319 13230 13359 #| data0 |# 13305)
( 13298 14048 13332 13366 13411 13282 13353 13190 13263 #| data0 |# 13266)
( 13432 13445 13380 13462 13374 13473 13415 13431 13357 #| data0 |# 13445)
( 13440 13372 13387 13181 13469 13407 13411 13318 13181 #| data0 |# 13407)
( 2398 2380 2354 2385 2378 2358 2381 2369 2366 #| data0 |# 2369)
( 3408 3385 3412 3378 3381 3388 3406 3415 3383 #| data0 |# 3424)
( 3360 3363 3396 3365 3369 3369 3374 3384 3373 #| data0 |# 3363)
( 3414 3446 3407 3418 3428 3424 3465 3408 3428 #| data0 |# 3424)
( 3338 3382 3324 3351 3360 3363 3338 3325 3325 #| data0 |# 3349)
( 3398 3426 3377 3414 3399 3409 3402 3394 3389 #| data0 |# 3459)
( 3410 3389 3378 3391 3412 3384 3385 3394 3394 #| data0 |# 3404)
( 3464 3418 3412 3427 3463 3423 3480 3454 3453 #| data0 |# 3454)
( 3587 3583 3624 3568 3579 3536 3538 3596 3548 #| data0 |# 3590)
( 3633 3596 3630 3605 3645 3597 3578 3626 3596 #| data0 |# 3620)
( 3653 3639 3631 3572 3631 3627 3610 3620 3624 #| data0 |# 3649)
( 3626 3644 3652 3622 3679 3653 3667 3658 3667 #| data0 |# 3652)
( 3571 3547 3571 3578 3580 3583 3598 3593 3573 #| data0 |# 3628)
( 3771 3644 3628 3629 3642 3639 3639 3631 3623 #| data0 |# 3624)
( 3640 3612 3654 3610 3660 3636 3626 3645 3629 #| data0 |# 3690)
( 3635 3637 3649 3621 3672 3633 3623 3653 3657 #| data0 |# 3687)
( 12060 12143 12091 12071 12063 12130 12167 12067 12141 #| data0 |# 12054)
( 13079 13072 13420 13473 13021 13231 13037 13025 13053 #| data0 |# 13118)
( 13475 13101 13001 13061 13120 13040 12969 13019 12983 #| data0 |# 13020)
( 13281 13086 12978 13154 13099 13171 13152 13004 13285 #| data0 |# 13042)
( 13003 13070 13409 12988 13733 12998 15953 13135 14083 #| data0 |# 13069)
( 13083 13027 13110 13092 13114 13953 13153 13203 13091 #| data0 |# 13060)
( 13032 13008 13120 13151 13095 13105 13177 13081 13249 #| data0 |# 13160)
( 13015 12961 13067 12947 13242 12982 13106 13065 13057 #| data0 |# 12999)
( 13256 13204 13435 13432 13222 13272 13551 13238 13362 #| data0 |# 13432)
( 13246 13181 14796 13370 13312 13172 13295 13280 13223 #| data0 |# 13247)
( 13393 13196 13223 13257 13351 13254 13325 13334 13416 #| data0 |# 13531)
( 13783 13669 13739 13682 16538 13685 13553 13789 13658 #| data0 |# 13297)
( 13364 13372 13348 13414 13451 13395 13276 13376 13381 #| data0 |# 13167)
( 13360 14042 13171 13368 13381 16374 13313 14080 13291 #| data0 |# 16422)
( 13408 13699 13319 13465 13328 13330 13352 13444 13297 #| data0 |# 13378)
( 13234 13154 13270 13243 13156 13303 13201 13351 13294 #| data0 |# 13127)
( 34823 37137 35379 34100 34162 34352 34422 33488 34900 #| data0 |# 35221)
( 34801 34460 34882 34910 34047 34621 34813 35125 33483 #| data0 |# 35790)
( 35840 38441 33331 35583 35184 34697 33811 38881 36534 #| data0 |# 33725)
( 33870 33646 33705 35974 36917 33470 33590 33884 33916 #| data0 |# 33871)
( 33721 37096 34531 34936 35288 34342 35070 35611 33904 #| data0 |# 33569)
( 34298 34256 35621 35081 34476 36027 35587 35689 36544 #| data0 |# 34892)
( 34142 37837 37809 35918 35055 33569 35978 34439 35126 #| data0 |# 36092)
( 36191 33890 34095 34731 33986 36512 33256 35004 34718 #| data0 |# 35064)
( 34047 35733 33096 33226 33653 33921 34570 34572 33283 #| data0 |# 35983)
( 33805 33586 33991 34838 37692 37398 34388 33042 35420 #| data0 |# 33709)
( 34782 38803 38191 33768 32922 34659 35238 34242 35006 #| data0 |# 34434)
( 34814 35914 33486 34826 35124 36002 37691 38212 38406 #| data0 |# 33695)
( 36649 34040 33188 37312 33285 33921 33730 34424 33947 #| data0 |# 33105)
( 34050 34976 33272 33046 35896 35748 34055 34184 37189 #| data0 |# 34297)
( 34018 35425 36668 33474 38618 35980 33866 35061 33253 #| data0 |# 35089)
( 36262 35768 33787 32725 33920 35692 34687 34164 35526 #| data0 |# 35240)
( 45418 42891 42794 42571 45943 45741 44397 45316 45052 #| data0 |# 48336)
( 47826 42215 48138 42583 43882 45683 45082 45295 47109 #| data0 |# 42044)
( 43705 43756 48118 44674 44154 45271 49252 43329 46026 #| data0 |# 43204)
( 43294 42038 45834 43491 43181 44756 42979 44533 45169 #| data0 |# 45201)
( 44540 47154 46190 45336 43847 44324 43471 44007 42576 #| data0 |# 44025)
( 44530 44399 44302 47976 43751 44104 42776 46990 43387 #| data0 |# 46658)
( 45880 43642 50061 43857 44864 44234 44758 44143 44799 #| data0 |# 47379)
( 44228 46972 44146 43542 44371 44344 45516 46383 42246 #| data0 |# 44729)
( 42901 42657 45240 43328 43142 42264 43405 43148 44352 #| data0 |# 44243)
( 42996 42488 44031 43897 44823 47466 50298 44590 43914 #| data0 |# 44619)
( 46666 45021 44048 43253 44610 47936 46196 45534 47664 #| data0 |# 43275)
( 43348 45134 44293 41937 42773 44451 43828 42652 43133 #| data0 |# 42175)
( 43440 44893 46765 44225 45954 43648 42829 45960 44652 #| data0 |# 47562)
( 43395 45508 43114 43237 41438 43591 46723 45775 43315 #| data0 |# 46144)
( 45061 44123 42782 42187 41277 44094 42764 44328 44974 #| data0 |# 41762)
( 43352 44425 45976 44796 44906 42248 43405 43351 44943 #| data0 |# 42801)
( 33366 33720 35081 33655 36176 34404 34912 34200 34416 #| data0 |# 34334)
( 35199 34005 33299 35477 33889 34565 35322 33793 35726 #| data0 |# 34170)
( 36374 35230 34912 35892 34820 34250 34918 34069 33845 #| data0 |# 35444)
( 33903 34684 34785 35856 33518 38335 35549 35846 36021 #| data0 |# 38283)
( 34413 34487 35158 34048 34255 35904 35738 36133 34043 #| data0 |# 33372)
( 36185 35231 34867 35712 34622 35033 34483 35649 35790 #| data0 |# 34531)
( 35916 34050 34389 34799 35805 34623 36108 34917 35677 #| data0 |# 34269)
( 34521 40046 33788 35408 35893 36299 33275 34738 40349 #| data0 |# 33458)
( 34267 33943 33138 33883 33606 35431 33797 33400 33821 #| data0 |# 35135)
( 34690 33036 33977 34439 35818 35761 33348 33822 36340 #| data0 |# 34377)
( 34438 33940 32975 34077 33965 33234 38806 38766 34334 #| data0 |# 35076)
( 40077 34180 38155 34942 35045 38224 35436 35189 35562 #| data0 |# 34447)
( 33925 33265 34071 33597 35685 34061 34493 34556 33279 #| data0 |# 36232)
( 34188 35356 35243 33955 37857 37520 34058 34796 35560 #| data0 |# 34680)
( 35071 34728 36332 33168 33147 33278 34173 34134 36103 #| data0 |# 33920)
( 35906 34234 34784 33026 35261 34310 34738 35818 39368 #| data0 |# 33117)
( 44983 48125 42981 43969 46115 43567 45667 42652 46191 #| data0 |# 44786)
( 44835 46842 44873 42938 42692 43773 44525 48392 45522 #| data0 |# 48513)
( 44816 42535 41729 42650 45858 43487 44691 43069 45662 #| data0 |# 44322)
( 43190 43935 42213 43739 45536 44528 42450 44419 42038 #| data0 |# 45003)
( 45378 46770 44431 43311 44154 44044 44082 42480 43773 #| data0 |# 48212)
( 47254 45679 46616 41844 42308 42652 45520 43686 42364 #| data0 |# 46031)
( 46647 46535 48895 46796 43426 47029 46531 47138 43490 #| data0 |# 49083)
( 43530 43311 43620 44606 44598 44297 43646 44936 43336 #| data0 |# 44375)
( 48630 41963 41972 43934 43692 43057 44268 44032 42876 #| data0 |# 43230)
( 46682 44900 40891 47357 44079 45314 47959 44191 44726 #| data0 |# 44710)
( 42263 45443 43492 45723 42890 43052 44190 44182 45266 #| data0 |# 46484)
( 43481 41987 43384 42290 47547 42132 42018 43960 43904 #| data0 |# 44072)
( 44973 42410 45254 42409 43774 42649 45870 43108 44914 #| data0 |# 43965)
( 43644 44073 44828 47336 43207 43806 44881 44001 45284 #| data0 |# 43783)
( 47979 44142 44608 42538 46699 45595 45091 43241 45806 #| data0 |# 45073)
( 42759 42600 42547 44216 45089 42485 43699 44196 43550 #| data0 |# 43278)
( 70400 67655 69718 70906 74792 72128 68303 70885 75060 #| data0 |# 69645)
( 72011 68201 69060 72240 73568 73062 71819 69498 74281 #| data0 |# 68871)
( 74768 71106 67821 67436 66941 72862 66333 66974 68727 #| data0 |# 68880)
( 73006 68161 67345 76695 72996 69926 76642 69627 69434 #| data0 |# 67821)
( 71755 75085 69202 71073 72789 69013 69300 71825 71557 #| data0 |# 73058)
( 68318 71348 85814 77594 77500 72589 71787 73400 80217 #| data0 |# 70964)
( 74502 68594 66961 70569 75419 72650 69354 70238 67337 #| data0 |# 68054)
( 69906 69438 69219 66499 68781 68723 67320 76188 67372 #| data0 |# 66518)
( 70512 69379 71019 70060 70590 73783 71478 79488 77728 #| data0 |# 70644)
( 66787 78337 75937 71392 73208 76334 69887 68547 67271 #| data0 |# 68206)
( 72944 72590 69487 72625 69851 68390 75162 67989 75417 #| data0 |# 72592)
( 75540 70374 68307 71376 69610 75024 77532 69350 69110 #| data0 |# 70925)
( 72616 69721 67655 68521 66667 67712 76658 71600 71778 #| data0 |# 69222)
( 73204 76622 68272 71784 70961 71248 72178 67754 77167 #| data0 |# 69370)
( 69991 69630 69865 67990 73315 68049 74744 69096 69046 #| data0 |# 68330)
( 68424 71185 75060 74035 70498 70143 69535 68360 67622 #| data0 |# 71587)
( 9364 9372 9483 9485 9502 9346 9475 9383 9469 #| data0 |# 9838)
( 9400 9453 9433 9407 9377 9446 9415 9442 9396 #| data0 |# 9532)
( 9436 9448 9424 9384 9358 9414 9368 9413 9401 #| data0 |# 9451)
( 9414 9410 9384 9351 9434 9360 9395 9430 9373 #| data0 |# 9381)
( 9462 9414 9525 9431 9409 9338 9401 9629 9402 #| data0 |# 9389)
( 9418 9529 9427 9452 9396 9454 9371 9503 9373 #| data0 |# 9500)
( 9396 9464 9505 9429 9514 9602 9457 9420 9402 #| data0 |# 9448)
( 9429 9394 9440 9394 9398 9348 9462 9436 9392 #| data0 |# 9477)
( 9624 10102 9678 9669 9790 9686 9721 9643 9634 #| data0 |# 9661)
( 9762 9573 9670 9826 9732 9678 9612 9600 9710 #| data0 |# 11368)
( 9617 9713 9791 9636 9668 9601 9670 9839 9677 #| data0 |# 9562)
( 9550 9682 9628 9625 9517 9578 9584 9656 9585 #| data0 |# 9962)
( 9581 9953 9593 9692 9641 9635 9612 9680 9781 #| data0 |# 9698)
( 9592 9647 9652 9615 9622 9620 9656 9631 9722 #| data0 |# 9560)
( 9674 9686 9676 9654 9629 9688 9709 9696 9704 #| data0 |# 9691)
( 9629 9672 9674 9641 9704 9622 9724 9637 9675 #| data0 |# 9616)
( 69861 74441 72587 72068 68809 74140 69385 71769 71742 #| data0 |# 69540)
( 68788 70131 71113 72504 73445 67545 73679 75148 68009 #| data0 |# 71463)
( 68126 69147 73433 69289 69993 72411 67406 70084 77225 #| data0 |# 70737)
( 68903 73458 71969 67959 67912 69153 76679 74768 68422 #| data0 |# 68605)
( 74212 68307 74123 73200 73917 70282 73675 70128 71218 #| data0 |# 68402)
( 65723 69938 67176 69128 68632 67472 71568 69199 68331 #| data0 |# 70507)
( 74292 71463 67781 73196 69365 71875 73337 72229 73624 #| data0 |# 67238)
( 69386 68804 69112 69460 70382 68220 69571 77464 71152 #| data0 |# 68733)
( 72846 69699 73287 72249 73144 75276 73815 72252 70249 #| data0 |# 71931)
( 73515 70105 70656 68230 67891 70220 72656 72591 75386 #| data0 |# 68549)
( 69100 67748 69523 69534 68076 74423 68901 68424 70110 #| data0 |# 72281)
( 68662 70039 77126 69517 77349 70515 73345 72506 67477 #| data0 |# 70653)
( 77841 67375 75793 70038 70108 70855 69184 69600 69014 #| data0 |# 67573)
( 70201 73576 71046 70119 79716 78458 72553 74897 68224 #| data0 |# 70231)
( 71239 72763 68437 71338 71074 72345 67933 70292 72783 #| data0 |# 71038)
( 68535 76962 70469 74897 69235 71759 68834 69665 68324 #| data0 |# 67835)
( 9425 9510 9399 9434 9883 9415 9478 9404 9424 #| data0 |# 9533)
( 9449 9458 9434 9455 9409 9492 9436 9497 9543 #| data0 |# 9528)
( 9436 9455 9407 9428 9466 9816 9464 9356 9380 #| data0 |# 9386)
( 9433 9446 9404 9450 9501 9388 9379 9369 9437 #| data0 |# 9405)
( 9370 9381 9435 9409 9419 9443 9461 9410 9432 #| data0 |# 9367)
( 9483 10058 9452 9787 9522 9417 9461 9470 9446 #| data0 |# 9445)
( 9457 9558 9445 9451 9441 9437 9455 9445 9444 #| data0 |# 9409)
( 9459 9485 9346 9352 9416 9394 9378 9509 9460 #| data0 |# 9428)
( 9644 9649 9699 9695 9585 9678 9588 9633 9679 #| data0 |# 9627)
( 9660 9699 9675 9674 9679 9679 9682 10523 9718 #| data0 |# 9753)
( 9617 10032 9697 9652 9720 9715 9643 9581 9676 #| data0 |# 9808)
( 10016 9607 9629 9557 9698 9601 9679 9681 9602 #| data0 |# 9636)
( 9701 9678 9623 9741 9730 9625 9729 9628 9717 #| data0 |# 9660)
( 9606 11230 9638 9641 9756 9713 9756 9634 9685 #| data0 |# 9727)
( 9631 9692 9684 9809 9634 9779 14568 9632 9678 #| data0 |# 9676)
( 9666 9624 9600 9578 9675 9636 9591 9591 9659 #| data0 |# 9721)
( 71152 65595 68477 65598 65727 64225 65602 70601 67771 #| data0 |# 63345)
( 68950 64007 64214 65972 70987 67464 74641 63960 64746 #| data0 |# 64495)
( 67031 64890 66197 68787 64683 65794 66454 64531 65235 #| data0 |# 64028)
( 63620 66482 65016 69927 66907 63686 64495 70305 67410 #| data0 |# 64193)
( 69785 62948 68746 72684 68209 63737 69015 70889 63136 #| data0 |# 62888)
( 63945 67568 64165 70414 60242 64018 68735 64924 64430 #| data0 |# 67935)
( 68485 63295 65231 70806 62497 69072 62911 65111 64109 #| data0 |# 65940)
( 67643 63951 67221 66424 64411 63091 67675 65056 64125 #| data0 |# 64344)
( 63941 68125 66089 64805 64342 64370 64621 63587 62157 #| data0 |# 62802)
( 63677 62647 68360 67772 69752 68715 70765 68837 63712 #| data0 |# 61203)
( 67291 67929 64891 67500 67337 67073 67959 65108 68381 #| data0 |# 64950)
( 66453 69434 69149 62486 65796 64833 69783 63906 69750 #| data0 |# 61250)
( 64955 70829 62084 72819 62571 63729 69276 67614 64759 #| data0 |# 63399)
( 59837 70017 68091 62895 66061 62673 67286 62564 69965 #| data0 |# 63694)
( 68302 66842 65248 66540 69950 63444 62678 65750 67636 #| data0 |# 63448)
( 63053 67969 62363 64222 65871 61920 64334 61500 62686 #| data0 |# 59458)
( 3554 3515 3542 3516 3524 3505 3515 3503 3523 #| data0 |# 3539)
( 3562 3506 3536 3568 3519 3545 3518 3498 3532 #| data0 |# 3547)
( 3507 3475 3503 3492 3491 3500 3499 3502 3518 #| data0 |# 3536)
( 3498 3507 3505 3464 3490 3460 3507 3514 3506 #| data0 |# 3521)
( 3535 3551 3572 3519 3545 3536 3563 3546 3568 #| data0 |# 3540)
( 3530 3555 3538 3521 3548 3524 3517 3518 3513 #| data0 |# 3575)
( 3543 3528 3527 3524 3565 3521 3531 3535 3538 #| data0 |# 3552)
( 3512 3506 3483 3508 3500 3502 3480 3468 3482 #| data0 |# 3509)
( 3133 3148 3122 3111 3130 3126 3124 3112 3133 #| data0 |# 3153)
( 3129 3106 3120 3115 3123 3115 3130 3110 3138 #| data0 |# 3149)
( 3151 3106 3150 3113 3112 3112 3126 3111 3114 #| data0 |# 3150)
( 3054 3074 3095 3066 3121 3078 3095 3069 3074 #| data0 |# 3101)
( 3235 3122 3128 3136 3134 3163 3138 3162 3153 #| data0 |# 3142)
( 3131 3140 3136 3141 3123 3139 3130 3122 3115 #| data0 |# 3136)
( 3151 3140 3147 3141 3150 3162 3161 3146 3170 #| data0 |# 3149)
( 3081 3090 3091 3092 3095 3072 3101 3079 3067 #| data0 |# 3086)
( 65437 64265 62259 65483 64408 62924 65225 67148 66725 #| data0 |# 62937)
( 64808 61332 61841 63169 69601 64261 67593 66488 67564 #| data0 |# 63330)
( 64262 67172 72048 64022 65107 63472 64292 63451 69355 #| data0 |# 63389)
( 62511 69961 61523 64162 62737 62575 63361 64602 64021 #| data0 |# 63520)
( 68428 62354 62003 68451 64655 64593 70778 65150 64723 #| data0 |# 63792)
( 68713 64806 63085 63382 61388 69127 68468 59758 71889 #| data0 |# 63115)
( 65809 69192 65099 62960 65304 63469 63635 63375 69395 #| data0 |# 63706)
( 62272 63362 65611 64394 62211 62617 63088 61517 66529 #| data0 |# 62197)
( 63742 66599 67094 64389 62161 67393 64624 61823 64000 #| data0 |# 63946)
( 63036 60454 67987 60761 63123 67082 68667 65127 65178 #| data0 |# 63291)
( 63406 64315 63120 69168 66678 62136 67665 63245 65034 #| data0 |# 61584)
( 69942 62854 64404 64480 67704 64369 67917 67765 62637 #| data0 |# 61949)
( 73552 67352 66906 63701 62696 67305 68619 62373 69939 #| data0 |# 64383)
( 66455 67992 66709 63827 68187 63619 61059 64690 62130 #| data0 |# 64575)
( 60389 62792 60195 67735 63517 66789 62730 63584 70544 #| data0 |# 63274)
( 63371 66815 71389 63207 65664 60657 63254 64004 63992 #| data0 |# 65879)
( 3505 3532 3522 3535 3506 3548 3539 3515 3516 #| data0 |# 3534)
( 3516 3518 3549 3523 3530 3522 3540 3508 3522 #| data0 |# 3561)
( 3511 3523 3509 3514 3546 3486 3514 3516 3507 #| data0 |# 3514)
( 3487 3503 3487 3486 3495 3480 3471 3499 3488 #| data0 |# 3497)
( 3526 3576 3552 3520 3561 3542 3530 3527 3568 #| data0 |# 3542)
( 3541 3547 3542 3559 3542 3555 3556 3536 3547 #| data0 |# 3536)
( 3531 3538 3556 3529 3509 3536 3538 3572 3548 #| data0 |# 3545)
( 3520 3505 3501 3519 3483 3468 3498 3493 3477 #| data0 |# 3494)
( 3133 3144 3124 3121 3145 3132 3126 3133 3164 #| data0 |# 3131)
( 3113 3110 3149 3116 3115 3102 3143 3122 3115 #| data0 |# 3126)
( 3113 3141 3105 3117 3114 3116 3108 3119 3108 #| data0 |# 3146)
( 3072 3110 3080 3065 3078 3082 3079 3086 3074 #| data0 |# 3100)
( 3186 3137 3194 3191 3167 3147 3169 3134 3148 #| data0 |# 3152)
( 3131 3133 3126 3123 3112 3122 3122 3140 3119 #| data0 |# 3112)
( 3156 3154 3170 3150 3144 3175 3157 3147 3140 #| data0 |# 3155)
( 3073 3073 3069 3072 3075 3077 3072 3095 3091 #| data0 |# 3079)
( 3311 3308 3328 3302 3344 3292 3314 3312 3311 #| data0 |# 3337)
( 3418 3413 3398 3398 3403 3393 3402 3439 3410 #| data0 |# 3426)
( 3422 3378 3393 3368 3400 3383 3401 3377 3374 #| data0 |# 3419)
( 3415 3398 3414 3460 3437 3409 3411 3405 3394 #| data0 |# 3416)
( 3324 3374 3368 3372 3376 3378 3351 3348 3380 #| data0 |# 3395)
( 3392 3387 3447 3457 3385 3399 3437 3399 3384 #| data0 |# 3417)
( 3397 3385 3386 3393 3392 3386 3385 3361 3400 #| data0 |# 3418)
( 3405 3415 3464 3401 3436 3410 3421 3415 3409 #| data0 |# 3464)
( 3584 3589 3574 3580 3586 3555 3578 3573 3579 #| data0 |# 3591)
( 3647 3616 3623 3615 3613 3604 3676 3645 3597 #| data0 |# 3634)
( 3629 3626 3615 3650 3668 3639 3634 3634 3627 #| data0 |# 3629)
( 3652 3650 3635 3626 3632 3667 3645 3641 3654 #| data0 |# 3650)
( 3584 3572 3569 3580 3586 3613 3623 3569 3591 #| data0 |# 3575)
( 3628 3623 3627 3623 3635 3648 3626 3641 3640 #| data0 |# 3623)
( 3636 3716 3628 3657 3618 3641 3662 3660 3627 #| data0 |# 3639)
( 3645 3666 3669 3655 3667 3631 3623 3690 3640 #| data0 |# 3705)
( 13032 13112 13114 13038 13024 13068 13046 13275 12981 #| data0 |# 12993)
( 13166 13028 13243 13130 12968 13093 13230 13056 13184 #| data0 |# 14309)
( 13138 13174 13078 13149 13154 13095 13106 13138 13090 #| data0 |# 13162)
( 13103 13184 13076 13097 13304 13660 14361 13024 13157 #| data0 |# 13137)
( 13000 13097 12952 13063 13111 13054 13018 13224 13059 #| data0 |# 13049)
( 13357 12902 12935 12995 13574 12919 13053 12973 13469 #| data0 |# 13016)
( 13039 13177 13220 13169 13127 13175 13185 13139 13122 #| data0 |# 13173)
( 13509 13372 13586 13115 13365 14752 13037 13319 13400 #| data0 |# 13218)
( 13434 13467 13333 13449 15079 13189 13276 13419 13246 #| data0 |# 13292)
( 13306 13365 13333 13223 13500 13242 13298 13282 13221 #| data0 |# 13400)
( 13453 13661 13369 13290 13780 14449 13423 13385 13477 #| data0 |# 13394)
( 13435 13419 13236 13467 13404 13331 13694 13386 13354 #| data0 |# 13472)
( 13285 13311 13360 13560 13290 13447 13312 13328 13215 #| data0 |# 13318)
( 13606 13288 13636 13338 13256 13673 13578 13135 13394 #| data0 |# 13281)
( 13463 13436 13655 13526 13843 13458 13826 13412 13387 #| data0 |# 13447)
( 13402 13723 13317 13270 13398 13945 13526 13180 13566 #| data0 |# 13387)
( 3356 3350 3321 3344 3400 3325 3325 3365 3359 #| data0 |# 3350)
( 3389 3386 3399 3380 3386 3442 3409 3422 3436 #| data0 |# 3417)
( 3376 3433 3389 3430 3363 3393 3351 3369 3392 #| data0 |# 3410)
( 3525 3433 3407 3413 3398 3428 3409 3411 3420 #| data0 |# 3451)
( 3333 3343 3342 3338 3329 3338 3342 3349 3350 #| data0 |# 3360)
( 3403 3414 3392 3430 3453 3409 3432 3384 3396 #| data0 |# 3439)
( 3380 3417 3386 3384 3405 3401 3407 3404 3393 #| data0 |# 3386)
( 3427 3445 3452 3432 3419 3422 3409 3420 3418 #| data0 |# 3434)
( 3576 3558 3600 3562 3573 3570 3567 3600 3563 #| data0 |# 3596)
( 3614 3621 3621 3643 3619 3621 3631 3640 3599 #| data0 |# 3633)
( 3602 3591 3629 3610 3627 3628 3657 3621 3584 #| data0 |# 3612)
( 3600 3643 3597 3663 3654 3640 3642 3616 3658 #| data0 |# 3657)
( 3579 3640 3567 3610 3614 3580 3592 3595 3554 #| data0 |# 3597)
( 3612 3587 3601 3665 3646 3638 3627 3617 3622 #| data0 |# 3712)
( 3714 3648 3648 3638 3646 3631 3622 3656 3654 #| data0 |# 3620)
( 3660 3623 3681 3706 3611 3637 3642 3648 3646 #| data0 |# 3635)
( 13062 13150 12982 13127 13077 13074 12933 12972 12975 #| data0 |# 13063)
( 13194 13067 13078 13226 13090 13132 12981 13036 12979 #| data0 |# 13029)
( 14900 13119 13069 13208 13117 13211 13224 13189 13174 #| data0 |# 13227)
( 13066 13174 13429 13223 13190 13453 13010 13096 13563 #| data0 |# 13160)
( 12973 12928 12963 12972 13027 13009 13149 13108 12981 #| data0 |# 12907)
( 13148 12959 12906 13038 13185 13002 13070 13068 13699 #| data0 |# 13024)
( 13324 13192 13109 13349 16526 13100 13083 13098 13095 #| data0 |# 13020)
( 13236 13073 13229 13156 13122 13135 13071 13088 13203 #| data0 |# 13058)
( 13291 13774 13682 13265 13277 13433 13327 13260 13228 #| data0 |# 13327)
( 13391 13256 13220 13321 13240 13160 13189 13215 13252 #| data0 |# 13150)
( 13470 13785 13805 13586 13295 13417 13349 13733 13371 #| data0 |# 13396)
( 13657 13397 13883 13466 14498 13342 13444 13358 13471 #| data0 |# 13372)
( 13211 13426 13315 13187 13764 13363 13252 13239 13340 #| data0 |# 13315)
( 13368 13235 13207 13372 13167 13266 13587 13184 13247 #| data0 |# 13342)
( 13531 13631 13328 13502 13364 13606 13200 13472 13510 #| data0 |# 13345)
( 13360 13353 13351 13429 14252 13315 13507 13383 13341 #| data0 |# 13419)
( 33405 33938 34169 39669 34098 39596 33623 39732 39977 #| data0 |# 33524)
( 37938 34015 33830 34292 34672 35361 35130 34657 34499 #| data0 |# 34868)
( 37218 38046 36568 33712 36924 37096 36275 38019 36609 #| data0 |# 34737)
( 34009 35703 35565 34828 34225 35667 34675 35181 35056 #| data0 |# 35190)
( 35064 34336 34216 34551 35714 33993 33797 36546 36557 #| data0 |# 35362)
( 33774 36146 34091 36000 34519 34940 34452 33537 33640 #| data0 |# 34412)
( 33989 34792 35512 36865 35631 35457 34507 33925 38905 #| data0 |# 35623)
( 35277 35226 35229 38271 36117 39356 33925 36227 35320 #| data0 |# 35342)
( 33953 36266 32916 36396 33601 34226 33108 33571 36919 #| data0 |# 33971)
( 34079 34710 34511 33308 37265 33968 34974 34583 34802 #| data0 |# 33851)
( 37164 33235 36182 35562 36285 35568 35325 37345 34714 #| data0 |# 33997)
( 33762 33813 33198 33833 34591 37850 33091 33332 35200 #| data0 |# 33360)
( 33417 34211 34406 36351 33192 33683 32881 37192 33818 #| data0 |# 33185)
( 32812 33400 36271 33275 34290 33509 34628 34221 34560 #| data0 |# 34491)
( 33202 38104 34181 34221 33820 35843 33523 33606 35205 #| data0 |# 35257)
( 35535 34844 34149 33279 35086 34416 35142 33595 34227 #| data0 |# 36103)
( 48510 44148 45603 42766 43083 43576 45200 42307 45232 #| data0 |# 49716)
( 44028 43801 46512 43348 51562 44404 48427 43904 44775 #| data0 |# 45320)
( 44616 45987 42152 44306 45676 45567 46612 43900 43539 #| data0 |# 42664)
( 43861 45617 42562 47168 46276 48433 43487 43170 44294 #| data0 |# 45277)
( 45390 42999 43693 49438 49248 44146 43056 40903 46041 #| data0 |# 44673)
( 44546 51665 45018 43626 45243 43725 48135 46240 45046 #| data0 |# 43910)
( 41166 43962 46331 41762 42125 42434 43260 46112 45031 #| data0 |# 45092)
( 46082 44810 44608 44929 44135 45313 47079 45535 44505 #| data0 |# 47076)
( 41892 43304 43652 44755 41574 43241 42671 44873 42776 #| data0 |# 44365)
( 43668 42847 46027 45378 43503 43341 41242 41070 47029 #| data0 |# 45387)
( 45272 46660 45532 43836 42024 43926 43783 43505 43324 #| data0 |# 41095)
( 44910 44664 44246 41951 49259 45708 52490 42424 43895 #| data0 |# 44452)
( 42434 45304 44147 45864 43619 48097 44772 43086 42597 #| data0 |# 43089)
( 52789 44143 45328 45307 42926 44525 51697 43408 44962 #| data0 |# 43660)
( 44401 45837 44341 44470 44155 46604 43738 43741 45889 #| data0 |# 41385)
( 44795 45641 41491 44063 48104 42977 44522 46179 42394 #| data0 |# 43298)
( 34038 39743 36109 33672 34316 34423 38361 35045 35667 #| data0 |# 34191)
( 34123 34625 34946 34805 35104 37911 35089 34600 34540 #| data0 |# 34574)
( 39614 38576 33849 36574 38409 34625 37377 38396 36245 #| data0 |# 34677)
( 36228 33901 38064 38050 34896 34408 35724 34205 34467 #| data0 |# 35018)
( 34086 33780 33487 33882 36421 33774 34832 34725 37226 #| data0 |# 37894)
( 33370 35228 33520 33857 34839 35647 35994 36626 36253 #| data0 |# 35199)
( 34943 36634 38413 34564 33585 34735 36477 34009 34376 #| data0 |# 33860)
( 40850 33699 35450 38353 37320 34383 34821 33972 34183 #| data0 |# 34592)
( 34401 35076 34281 34830 37390 34604 35482 39647 34204 #| data0 |# 33533)
( 38434 34033 34413 33959 33868 37163 33104 34395 35926 #| data0 |# 33113)
( 35318 35161 37928 33985 34178 37671 34367 37985 35608 #| data0 |# 36686)
( 34819 37361 36207 34230 34476 33486 34019 33539 34323 #| data0 |# 33506)
( 33469 35716 33068 34599 38661 36722 34319 33525 33334 #| data0 |# 33032)
( 33441 34172 35410 34412 33664 38849 33688 36039 34803 #| data0 |# 33052)
( 34318 34082 35661 36105 36435 35137 36535 34645 34386 #| data0 |# 37634)
( 34409 33491 35451 34029 34154 33630 35725 34915 34282 #| data0 |# 34238)
( 43825 42493 44610 45262 47590 44680 43523 43978 43819 #| data0 |# 43211)
( 45141 42990 44077 42613 44720 41356 46983 43309 44909 #| data0 |# 44415)
( 44008 44097 43527 45246 44578 44455 45385 45451 44907 #| data0 |# 46578)
( 44420 45627 49278 44023 45908 45752 45423 45207 42012 #| data0 |# 41953)
( 45863 48895 45324 44100 43601 42777 44087 44922 48747 #| data0 |# 41627)
( 45972 52579 46037 44017 44701 46307 43411 42521 43626 #| data0 |# 46884)
( 41586 45442 42803 46233 44782 45158 41248 45950 44506 #| data0 |# 47954)
( 44933 43003 46089 45071 43786 44350 40871 42097 42980 #| data0 |# 46557)
( 52678 42684 44244 52365 42268 45456 43818 43539 43913 #| data0 |# 42726)
( 42924 44119 44567 43586 42077 44208 41392 41584 51643 #| data0 |# 49759)
( 41479 46635 43639 43231 44815 45422 44696 42057 43963 #| data0 |# 44639)
( 43815 43411 44614 49612 45779 45179 46706 45397 45337 #| data0 |# 44092)
( 48339 45670 43311 44073 41753 43719 43801 42532 43808 #| data0 |# 44172)
( 52329 45737 46512 44133 48810 44461 46276 44827 44935 #| data0 |# 46378)
( 44680 41135 43762 42510 44282 44130 45986 49041 43667 #| data0 |# 45031)
( 43241 43376 43279 45584 44084 44856 45235 47227 44386 #| data0 |# 48353)
( 79971 71321 69880 69376 76735 79272 71882 76724 71078 #| data0 |# 68024)
( 76586 71570 71503 70913 75671 75918 70448 73578 66891 #| data0 |# 70991)
( 66306 72064 68391 69379 70484 68743 73744 73254 72137 #| data0 |# 67818)
( 76895 68864 75255 73584 75830 73136 73526 69946 74078 #| data0 |# 69312)
( 71613 68888 67769 68752 66283 66479 72926 73094 80469 #| data0 |# 71781)
( 71084 67690 75521 73547 68905 71874 70573 70742 74768 #| data0 |# 74588)
( 72721 69595 71261 68668 70336 68934 68499 70690 77506 #| data0 |# 72480)
( 72640 70701 70461 71823 69095 70081 75872 69989 73538 #| data0 |# 70090)
( 76590 72903 79473 71572 70719 73568 70984 72977 72307 #| data0 |# 69880)
( 70885 70026 81198 75663 73308 82339 75217 73278 69482 #| data0 |# 71159)
( 67285 70750 70719 73744 66529 67044 71169 71978 70120 #| data0 |# 72223)
( 67873 68178 75613 69547 73525 74528 75987 68064 72035 #| data0 |# 70857)
( 68144 74132 71252 76177 67379 67590 68179 69381 68641 #| data0 |# 73781)
( 76729 68986 75134 69356 75490 69789 71134 73436 68668 #| data0 |# 71568)
( 70731 72121 75673 75550 66660 72661 75142 70513 70140 #| data0 |# 69031)
( 75483 74134 72399 71989 74840 67445 71923 69317 69311 #| data0 |# 70459)
( 9590 9427 9384 9546 9552 9465 9574 9447 9568 #| data0 |# 9497)
( 9421 9464 9424 9475 9359 9526 9401 9423 9465 #| data0 |# 9484)
( 9416 9375 9448 9536 9366 9614 9427 9422 9526 #| data0 |# 9615)
( 9396 9365 9379 9394 9331 9451 9424 9413 9369 #| data0 |# 9359)
( 9674 9449 9499 9501 9456 9384 9383 9399 9464 #| data0 |# 9421)
( 9398 9380 9395 9391 9400 9368 9397 9381 9348 #| data0 |# 9355)
( 9463 9476 9435 9493 9487 10155 9430 9541 9553 #| data0 |# 9494)
( 9335 9353 9403 9409 9371 9369 9402 9366 9411 #| data0 |# 9485)
( 9582 9617 9621 9590 9705 9551 9778 9713 9559 #| data0 |# 9710)
( 9612 9601 9663 9774 9739 9633 9617 9816 9567 #| data0 |# 9686)
( 9634 9584 9593 9617 9807 9690 9687 9645 9659 #| data0 |# 9674)
( 9614 9648 9590 9628 9692 9594 9615 9734 9601 #| data0 |# 9592)
( 9611 9619 9736 9782 9817 9599 9685 9713 9635 #| data0 |# 9699)
( 9635 9615 9596 9664 9592 9675 9612 9639 9588 #| data0 |# 9595)
( 9674 9670 9781 9740 9691 9698 9672 9674 9769 #| data0 |# 9733)
( 9672 9719 9654 9649 9684 9639 9564 9766 9873 #| data0 |# 9624)
( 69739 72851 74616 69144 73570 76763 69961 69595 76968 #| data0 |# 67551)
( 77155 73688 72592 72956 73300 68488 71758 68429 72761 #| data0 |# 78256)
( 68149 69836 69719 69668 69519 72536 75735 76054 67102 #| data0 |# 66806)
( 72162 72102 72583 73992 69778 67385 73986 74017 73837 #| data0 |# 69463)
( 69420 67737 69329 70397 68815 75739 73669 67446 75969 #| data0 |# 70562)
( 68923 67519 68088 68881 67299 68347 69749 70367 73380 #| data0 |# 72055)
( 76013 68093 69277 68425 72627 72100 74988 73950 71717 #| data0 |# 70541)
( 70749 72660 70127 75589 72886 70313 70285 68407 72184 #| data0 |# 66603)
( 71347 84435 72138 71406 67438 71993 74041 80293 75125 #| data0 |# 71814)
( 74077 76322 68452 72480 68868 79675 69397 78431 70215 #| data0 |# 75139)
( 70718 70539 69257 76138 73810 77930 68438 67675 69405 #| data0 |# 75633)
( 68193 74903 71943 75596 68914 70738 74661 77064 69831 #| data0 |# 72273)
( 69883 67841 71496 67724 67947 75962 68140 67693 79222 #| data0 |# 76036)
( 69935 69644 73674 67025 72490 69192 74477 75880 68866 #| data0 |# 68776)
( 68243 74609 74225 76277 68226 70075 69091 70752 74541 #| data0 |# 70515)
( 68466 70518 71862 67306 69533 68765 72113 72084 69755 #| data0 |# 72397)
( 9410 9416 9474 9405 9476 9404 9441 9430 9452 #| data0 |# 9458)
( 9472 9470 9533 9420 9522 9416 10145 9477 9525 #| data0 |# 9535)
( 9468 9404 9378 9419 9443 9460 9393 9477 9360 #| data0 |# 9497)
( 9331 9386 9402 9405 9395 9393 9359 9399 9397 #| data0 |# 9397)
( 9547 9450 9400 9410 9591 9444 9537 9463 9453 #| data0 |# 9558)
( 9406 9444 9330 9412 9324 9392 9460 9403 9449 #| data0 |# 9468)
( 9984 9481 9566 9493 9543 9547 9501 9461 9445 #| data0 |# 9456)
( 9352 9387 9426 9385 9562 9430 9368 9464 9420 #| data0 |# 9799)
( 9626 9598 9601 9558 9664 9695 9645 9720 9678 #| data0 |# 9646)
( 9689 9574 9743 9684 9767 9759 9770 9655 9641 #| data0 |# 9822)
( 9736 9759 9808 9624 9775 9736 9704 9685 9680 #| data0 |# 9657)
( 9634 9569 9811 9588 9538 9623 9640 9610 9649 #| data0 |# 9605)
( 9636 9660 9751 9676 9609 9689 9829 9701 9652 #| data0 |# 9940)
( 9618 9537 9589 9614 9685 9720 9706 9688 9645 #| data0 |# 9689)
( 9673 9668 9732 9732 9669 9721 9699 9643 9725 #| data0 |# 9758)
( 9714 9640 9538 9699 9699 9594 9621 9706 9578 #| data0 |# 9617)
( 64760 62885 65966 67590 63942 65050 66925 64121 69690 #| data0 |# 64581)
( 63658 66074 70307 64057 67626 67659 70857 71209 62701 #| data0 |# 66499)
( 65561 66922 63658 61638 66053 64734 72198 68226 66146 #| data0 |# 61878)
( 64801 63748 61983 68043 67683 66370 70408 71234 66240 #| data0 |# 64317)
( 65705 65759 65891 62796 64416 64194 63266 65094 62187 #| data0 |# 67582)
( 64803 63558 65300 63666 62822 64964 63846 63661 62938 #| data0 |# 66089)
( 67812 68251 63298 69010 63630 70273 67773 64589 69691 #| data0 |# 64690)
( 63823 62411 62896 68092 68188 69609 62927 64293 62347 #| data0 |# 65339)
( 64819 64419 71135 69114 64873 61953 66030 64102 64476 #| data0 |# 65851)
( 62533 71198 62374 64567 71741 62011 66149 62474 66589 #| data0 |# 59779)
( 68423 64935 62840 62676 66974 68089 65561 63430 64471 #| data0 |# 70004)
( 68873 60909 60339 63378 63337 66035 68410 69945 67512 #| data0 |# 63243)
( 62202 67029 65814 69663 66079 64438 63748 64725 66306 #| data0 |# 64624)
( 64431 62020 66007 62734 63735 62082 61920 63985 62504 #| data0 |# 61606)
( 63725 63645 62223 62690 69805 67944 71329 64961 62004 #| data0 |# 63411)
( 69946 61938 63099 61834 62346 63850 67650 62388 61837 #| data0 |# 61894)
( 3548 3526 3554 3513 3509 3498 3514 3532 3524 #| data0 |# 3552)
( 3537 3522 3534 3548 3548 3536 3539 3537 3548 #| data0 |# 3529)
( 3513 3545 3522 3542 3507 3550 3499 3482 3546 #| data0 |# 3564)
( 3486 3473 3489 3500 3488 3483 3487 3481 3496 #| data0 |# 3531)
( 3545 3604 3528 3556 3559 3578 3538 3584 3523 #| data0 |# 3548)
( 3525 3505 3536 3526 3512 3534 3520 3527 3538 #| data0 |# 3519)
( 3540 3537 3504 3543 3537 3532 3513 3542 3554 #| data0 |# 3550)
( 3472 3478 3480 3508 3469 3451 3477 3489 3507 #| data0 |# 3520)
( 3164 3155 3155 3139 3138 3139 3172 3133 3125 #| data0 |# 3151)
( 3129 3130 3111 3155 3127 3116 3118 3181 3107 #| data0 |# 3162)
( 3117 3164 3113 3124 3117 3132 3129 3103 3119 #| data0 |# 3140)
( 3065 3072 3079 3095 3070 3090 3105 3084 3078 #| data0 |# 3087)
( 3165 3174 3167 3149 3178 3158 3152 3140 3154 #| data0 |# 3169)
( 3118 3104 3100 3122 3115 3116 3108 3101 3115 #| data0 |# 3164)
( 3139 3138 3139 3162 3142 3133 3145 3134 3140 #| data0 |# 3159)
( 3058 3053 3074 3049 3068 3062 3059 3049 3109 #| data0 |# 3060)
( 63686 62173 68550 64189 68726 62999 68180 67734 63799 #| data0 |# 63451)
( 65124 62193 66850 67715 70267 68390 63443 66339 64771 #| data0 |# 63878)
( 70224 64119 64121 64300 64797 62290 62836 67804 60629 #| data0 |# 62300)
( 69532 67526 62670 63964 69308 64318 65880 69544 69380 #| data0 |# 63626)
( 63981 65164 64159 61634 63592 68955 69158 73486 68954 #| data0 |# 62511)
( 65058 65281 63716 60274 63029 60677 63167 66061 67287 #| data0 |# 63707)
( 66945 65732 62263 61760 62703 63490 65403 62977 62919 #| data0 |# 64529)
( 63605 64593 68205 64687 63035 63244 64106 64017 62959 #| data0 |# 62403)
( 67124 64626 62931 68425 67353 66220 66441 60709 61370 #| data0 |# 62992)
( 70254 64065 67524 68243 67765 63508 67736 60541 61327 #| data0 |# 76628)
( 64373 62066 64717 67364 67670 67561 67577 64237 64850 #| data0 |# 63148)
( 63234 61558 60301 65043 61256 66279 69466 64644 67596 #| data0 |# 63700)
( 63116 67171 64166 69099 62588 63542 63867 62649 67804 #| data0 |# 64034)
( 63715 63219 67288 63528 63571 64103 62752 65157 63829 #| data0 |# 61754)
( 62982 61549 64781 62578 62431 62744 65082 62741 64063 #| data0 |# 62916)
( 62835 62682 65662 62552 61300 62159 68147 65701 60261 #| data0 |# 63586)
( 3539 3508 3521 3534 3542 3548 3546 3535 3526 #| data0 |# 3594)
( 3533 3529 3531 3543 3519 3546 3535 3545 3535 #| data0 |# 3541)
( 3549 3520 3501 3816 3522 3531 3507 3524 3543 #| data0 |# 3525)
( 3488 3498 3496 3502 3485 3500 3489 3493 3479 #| data0 |# 3481)
( 3545 3593 3552 3548 3536 3568 3541 3556 3545 #| data0 |# 3565)
( 3540 3528 3511 3519 3535 3558 3518 3542 3517 #| data0 |# 3524)
( 3526 3530 3555 3545 3557 3534 3549 3558 3550 #| data0 |# 3531)
( 3472 3493 3463 3478 3470 3474 3472 3466 3457 #| data0 |# 3504)
( 3143 3182 3158 3162 3156 3142 3162 3128 3134 #| data0 |# 3145)
( 3121 3107 3120 3140 3125 3120 3112 3131 3114 #| data0 |# 3125)
( 3120 3126 3117 3156 3119 3125 3147 3118 3141 #| data0 |# 3150)
( 3084 3067 3086 3076 3071 3080 3072 3076 3120 #| data0 |# 3075)
( 3158 3154 3159 3135 3141 3135 3150 3153 3147 #| data0 |# 3168)
( 3130 3143 3138 3137 3132 3131 3109 3137 3116 #| data0 |# 3122)
( 3147 3146 3143 3145 3149 3155 3144 3165 3135 #| data0 |# 3144)
( 3063 3064 3053 3052 3050 3085 3047 3050 3054 #| data0 |# 3045)
)
