{"size": 19308, "ext": "rktd", "max_stars_repo_path": "gm-pepm-2018/nepls-2017/src/tr-data/snake-v6.4-2016-07-15T17:42:21.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/snake-v6.4-2016-07-15T17:42:21.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/snake-v6.4-2016-07-15T17:42:21.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.9852941176, "max_line_length": 287, "alphanum_fraction": 0.7265382225}
;; data0
;; #(-v 6.4 -i 2 benchmarks/snake)
;; 6.4
;; binaries in /home/ben/code/racket/6.4/bin/
;; base @ <unknown-commit>
;; typed-racket @ 495da1bd
;; 2017-02-19T20:02:29
;; #(-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-01T21:09:17
#(
( 1595 1601 1579 1637 1573 1611 1668 1582 #| data0 |# 1585 1582)
( 21941 21522 21956 21684 21569 21369 21768 21527 #| data0 |# 21069 22591)
( 24965 22563 22602 22614 23120 24008 23549 22462 #| data0 |# 21891 23104)
( 37884 38459 37848 38834 38023 37888 38556 38204 #| data0 |# 38074 38145)
( 6458 6488 6717 6798 6790 6556 6659 6602 #| data0 |# 7145 6693)
( 24151 24018 24296 24389 23596 23961 23775 24881 #| data0 |# 25433 24056)
( 26527 28015 28634 26572 27188 26616 27001 27031 #| data0 |# 27872 27779)
( 42109 41306 40161 43207 39878 40245 40124 39642 #| data0 |# 42948 40724)
( 8370 8415 8431 8378 8296 8573 8380 8404 #| data0 |# 8509 8690)
( 28308 27612 27951 28915 28604 27630 28891 28013 #| data0 |# 30245 27736)
( 30214 28901 28808 28935 29171 29124 29059 29165 #| data0 |# 29192 30523)
( 44459 45767 48439 46280 45086 45840 46977 46335 #| data0 |# 46296 48501)
( 9282 9563 9275 9654 9687 10222 9933 9587 #| data0 |# 9552 9695)
( 24704 25888 25437 25413 25965 24675 25476 25066 #| data0 |# 25955 24947)
( 29540 31156 31379 30073 29967 29922 30598 29677 #| data0 |# 31628 34421)
( 43284 42131 43031 42356 43460 42135 44227 44432 #| data0 |# 42797 42341)
( 11965 11621 11620 11384 11448 12120 11736 11828 #| data0 |# 11756 11587)
( 13174 13259 12837 13815 12752 13749 12167 12721 #| data0 |# 13227 13318)
( 11901 11088 12298 12010 11356 11861 11298 11405 #| data0 |# 11452 11981)
( 7820 7432 8126 7572 7077 7386 7702 7419 #| data0 |# 7838 7391)
( 21501 21664 21550 20695 22051 21255 21273 21449 #| data0 |# 20648 21837)
( 16193 15926 16455 16896 16309 17067 17192 15988 #| data0 |# 16067 16186)
( 18567 17475 17923 18051 18343 17700 18431 18265 #| data0 |# 18900 17597)
( 10722 10672 10360 9928 10459 10673 10547 10351 #| data0 |# 10624 10494)
( 19925 20282 19641 20752 20010 19132 18401 19405 #| data0 |# 19390 19675)
( 17421 18491 16309 16125 17669 16606 17388 16983 #| data0 |# 16873 16448)
( 15998 16838 16466 16440 15895 16435 16714 16360 #| data0 |# 16344 15713)
( 10643 10131 10640 10558 9886 9959 10325 10576 #| data0 |# 10107 10584)
( 20941 20980 20653 20827 21191 21271 20287 20973 #| data0 |# 20729 21095)
( 15148 14886 15000 14735 14846 15034 15377 15396 #| data0 |# 15122 15431)
( 17950 16948 17122 17587 17272 17165 17469 16943 #| data0 |# 17338 17149)
( 8982 9089 9066 8860 8973 8923 8777 8902 #| data0 |# 8939 8858)
( 2980 2919 2917 2967 2939 2920 3050 2867 #| data0 |# 2930 3005)
( 24313 23313 23109 22867 24724 23132 23323 23521 #| data0 |# 23217 23541)
( 19087 19879 20964 19984 19688 19861 21067 20330 #| data0 |# 19450 19028)
( 35969 35316 36612 37160 37275 37283 35460 36253 #| data0 |# 35125 36025)
( 8257 8400 8391 8043 8202 8244 8341 8295 #| data0 |# 8057 8365)
( 26598 26739 27293 25152 25908 25404 25970 25260 #| data0 |# 26428 24945)
( 25629 25467 25612 25681 25721 24612 25682 25055 #| data0 |# 25404 25772)
( 37537 41500 38400 37963 40574 39701 38836 37685 #| data0 |# 40864 39506)
( 10647 10014 10130 10392 10423 9922 10389 10533 #| data0 |# 10656 10367)
( 30851 29324 30731 30004 30208 29785 29428 30113 #| data0 |# 29668 29001)
( 27464 28331 28117 27002 29078 27921 27649 27869 #| data0 |# 27071 26916)
( 44195 45111 42829 44363 44190 43282 44282 44937 #| data0 |# 42761 44418)
( 11143 11421 11304 11488 11155 11439 11008 11750 #| data0 |# 11226 11347)
( 27718 27188 27454 27811 27110 27140 26998 27459 #| data0 |# 28510 27069)
( 28279 28085 27780 27980 29303 27484 28834 29012 #| data0 |# 27520 27395)
( 40253 40397 40136 41048 40180 40573 39574 40243 #| data0 |# 39906 39589)
( 13431 13414 13012 13347 13492 12923 13445 13260 #| data0 |# 12953 13438)
( 14884 15570 15248 15134 15501 14701 15046 15582 #| data0 |# 15117 14638)
( 7020 6999 7070 6944 6993 7209 7184 7208 #| data0 |# 7377 7064)
( 3847 3944 3915 3820 3888 3907 3868 3836 #| data0 |# 3967 3842)
( 23022 23581 23646 22993 22891 22449 23293 23388 #| data0 |# 22873 22995)
( 19260 18535 18585 18759 18165 18146 18846 17854 #| data0 |# 18738 18372)
( 15177 14781 14944 15163 15319 14801 14985 14647 #| data0 |# 14881 15168)
( 7728 7342 7349 7264 7678 7259 7658 7634 #| data0 |# 7208 7483)
( 20387 21505 22082 20013 20536 21088 21959 21951 #| data0 |# 22070 21319)
( 18120 19034 18706 18190 17673 18441 18956 18112 #| data0 |# 18740 17971)
( 12780 13829 13572 13308 13859 13463 13094 13006 #| data0 |# 12890 13291)
( 7727 8048 7757 8201 8065 8143 7968 8024 #| data0 |# 7944 7984)
( 22596 21563 21980 22111 22243 22602 22405 21725 #| data0 |# 22394 22419)
( 16393 16871 16646 16520 16928 16431 16085 16483 #| data0 |# 16000 15968)
( 14327 15316 13849 13937 13816 13945 14661 13998 #| data0 |# 14136 14439)
( 6777 6581 6799 6973 6269 6663 6477 6986 #| data0 |# 6905 6800)
( 1856 1862 1961 1849 1928 1874 1881 1848 #| data0 |# 1911 1976)
( 23277 21642 21246 21789 21652 21788 22685 21424 #| data0 |# 21800 21155)
( 21752 22105 21922 21831 21741 22308 22522 22504 #| data0 |# 22356 22415)
( 38940 40038 37460 39318 37780 38223 38726 39830 #| data0 |# 38869 41808)
( 6816 6985 6929 6742 7102 6904 7325 6457 #| data0 |# 6637 7026)
( 24469 24931 24227 24376 23731 24821 25317 25196 #| data0 |# 24741 25006)
( 28384 28829 27781 28439 28353 27862 27945 28854 #| data0 |# 27931 28683)
( 42332 42677 41828 41674 41591 41877 41610 42594 #| data0 |# 42179 41877)
( 8569 8449 8988 8642 8656 8517 8407 8983 #| data0 |# 8421 9351)
( 27161 29340 28163 27990 28744 28537 28803 28559 #| data0 |# 28234 27553)
( 28524 29032 30321 28596 30306 29115 28880 28699 #| data0 |# 28942 29982)
( 47663 46152 45112 48889 47398 44100 46230 46713 #| data0 |# 47332 47233)
( 9387 9441 9708 9543 10015 9266 9651 9889 #| data0 |# 9481 10055)
( 24820 25039 27217 25996 25306 26932 26482 24997 #| data0 |# 24984 26707)
( 30370 30890 30244 31455 31331 31288 30544 30070 #| data0 |# 31358 30366)
( 43408 43115 43670 43600 43141 44514 42578 43198 #| data0 |# 43170 44005)
( 12148 12379 12171 12622 12280 12454 12065 11587 #| data0 |# 12201 12332)
( 13276 14204 13469 13497 13956 13824 13877 13377 #| data0 |# 13625 13149)
( 11725 11775 11905 11854 11773 11764 11967 11908 #| data0 |# 11725 11473)
( 7608 7503 7640 7445 7432 7648 7542 7320 #| data0 |# 7666 7678)
( 22026 21852 20823 22079 21551 21040 19849 21767 #| data0 |# 20613 21594)
( 16421 16952 17309 17046 16882 16573 15770 16330 #| data0 |# 17001 16283)
( 17530 17368 18223 17807 17992 18777 17169 18037 #| data0 |# 18016 18413)
( 10404 10337 10397 10376 10222 10576 10653 10463 #| data0 |# 10487 10663)
( 19763 19079 19033 19484 19208 20143 20494 20194 #| data0 |# 18937 19963)
( 16507 17214 17202 17774 16348 17108 16163 16997 #| data0 |# 16463 17125)
( 15570 16249 16683 16302 16426 15768 16488 15852 #| data0 |# 16369 16247)
( 10873 10374 10579 10479 10675 10420 10327 10571 #| data0 |# 10141 10184)
( 21573 21293 21522 20003 20633 20631 19945 21041 #| data0 |# 20272 20919)
( 15142 15011 15366 14930 14784 15209 14718 14935 #| data0 |# 15271 15257)
( 16994 16787 16730 16765 17302 17780 17429 17917 #| data0 |# 17899 17287)
( 8626 8728 8606 9154 9027 9333 8679 8470 #| data0 |# 8627 9306)
( 2971 3036 2891 2947 2915 3022 2860 3025 #| data0 |# 3035 3025)
( 23506 23960 23824 23320 23893 23208 23425 25132 #| data0 |# 23623 24915)
( 20141 20041 19651 19948 19710 19523 19853 19668 #| data0 |# 20567 20431)
( 36759 38748 36779 35275 37824 39073 35872 37777 #| data0 |# 36419 36829)
( 8877 8664 8530 8275 8097 8430 8457 8905 #| data0 |# 8820 8348)
( 26020 26466 26692 26007 27901 27432 26630 26482 #| data0 |# 26193 27145)
( 26184 25351 25523 25783 25228 25857 25245 25364 #| data0 |# 26124 25413)
( 39171 39681 38895 39229 38475 39189 40659 40426 #| data0 |# 39320 39848)
( 10702 10793 10096 9947 11000 10764 10334 10519 #| data0 |# 10267 10523)
( 30437 30564 31079 29815 30472 31157 30729 31094 #| data0 |# 31873 30257)
( 26913 27725 26620 27067 26510 26662 26493 26854 #| data0 |# 28011 26629)
( 42726 43031 43583 42819 43730 43902 47922 44333 #| data0 |# 44024 44375)
( 11870 11973 11689 10999 11438 11048 11158 11730 #| data0 |# 11278 11758)
( 27126 27728 28151 28680 28007 28646 28449 27401 #| data0 |# 27538 28561)
( 29141 29085 28609 28264 29524 28892 28837 28528 #| data0 |# 30160 29444)
( 40021 40039 40014 40031 40110 41552 42078 39363 #| data0 |# 39638 40420)
( 13741 13415 13660 13832 13747 13652 13926 13775 #| data0 |# 13634 13745)
( 15450 16118 16258 14270 15970 14573 15240 14964 #| data0 |# 14562 15671)
( 6971 7166 7045 6989 7408 7663 7195 7149 #| data0 |# 6907 6952)
( 3921 4059 3800 3826 3967 3821 4030 4082 #| data0 |# 3881 3862)
( 23865 24064 23252 23132 21199 23149 23890 22936 #| data0 |# 22029 23409)
( 18477 18692 18725 18403 18442 18398 18675 18652 #| data0 |# 18782 18820)
( 14094 14942 15323 16096 15070 15084 14282 14508 #| data0 |# 14757 15010)
( 7730 7794 8419 7394 7672 7841 7869 7424 #| data0 |# 7610 7630)
( 21885 21735 21108 22142 21030 22051 22113 21740 #| data0 |# 22024 20765)
( 19123 18810 18116 18364 18260 18208 18000 18097 #| data0 |# 18147 19157)
( 13725 13667 13489 13586 13128 13121 13565 13369 #| data0 |# 13026 13198)
( 7879 7620 7600 7816 8325 7437 7915 7988 #| data0 |# 7838 8031)
( 21193 22430 21933 23224 22950 23146 21958 23330 #| data0 |# 22856 21980)
( 15843 15930 15798 16610 16231 16716 16688 15821 #| data0 |# 15834 16142)
( 14582 13906 13729 14457 13725 14067 14658 13785 #| data0 |# 14368 14246)
( 6740 6817 6838 6869 6934 7211 6387 6774 #| data0 |# 7043 6438)
( 13321 13316 12688 12394 13283 12966 12791 13016 #| data0 |# 12399 12755)
( 34333 33760 33060 33890 32242 33533 34606 32409 #| data0 |# 33409 34280)
( 32342 32712 33799 32650 30986 31497 32913 32108 #| data0 |# 32592 33017)
( 50877 49239 50029 50287 50127 49187 48208 50197 #| data0 |# 49381 48290)
( 18120 18600 18237 17878 17915 17708 18175 17732 #| data0 |# 17732 17728)
( 34527 35105 34720 35276 35894 34658 35320 35239 #| data0 |# 34924 36064)
( 39377 38899 38898 38915 38644 37951 39083 38014 #| data0 |# 38943 38567)
( 52271 53585 53358 51229 52443 53246 53856 50472 #| data0 |# 52709 51331)
( 16012 16056 15132 15396 16878 15673 15602 15602 #| data0 |# 16303 15775)
( 33874 34493 34464 35418 36410 34542 34916 34349 #| data0 |# 34457 33556)
( 37036 37872 36049 35770 36970 34995 35596 34660 #| data0 |# 36801 37034)
( 53438 51915 52690 54147 53608 52776 51439 50679 #| data0 |# 51093 52297)
( 16965 17065 16522 16892 17068 17259 18242 16659 #| data0 |# 16577 16743)
( 31294 32200 32588 37063 36179 32048 30881 33002 #| data0 |# 33309 32175)
( 37998 38585 35473 37329 36274 37346 37564 37071 #| data0 |# 36616 35983)
( 47564 48754 50338 50931 50530 50415 48531 50699 #| data0 |# 48733 50328)
( 11859 11597 11412 11350 11321 11376 11390 12142 #| data0 |# 12297 12177)
( 13219 12565 13245 12537 12657 12542 12862 13340 #| data0 |# 13063 12627)
( 10415 10587 10634 10661 10778 10957 10541 11080 #| data0 |# 10824 10530)
( 5878 5775 5734 6203 6097 5798 5768 6106 #| data0 |# 6280 6131)
( 20262 20520 20729 20640 20450 20602 19767 20620 #| data0 |# 20854 20873)
( 15404 14860 15196 15611 15501 14800 15357 15235 #| data0 |# 16179 15739)
( 17413 16781 16533 16747 17008 16670 16746 17029 #| data0 |# 16723 16920)
( 8577 9326 8789 9012 8745 9215 8797 9183 #| data0 |# 8653 8893)
( 12084 12588 12118 11704 12042 12314 12788 12477 #| data0 |# 12336 12358)
( 11581 12235 12239 10917 11992 11922 11317 11731 #| data0 |# 12052 11475)
( 11191 10841 10713 11113 10956 11159 10589 10720 #| data0 |# 10737 11232)
( 5803 5653 5588 5358 5150 5247 5378 5428 #| data0 |# 5493 5366)
( 15704 15651 15394 15445 16285 15678 15845 15806 #| data0 |# 16447 16394)
( 10224 10916 10288 11458 10274 10390 10915 10602 #| data0 |# 9783 10475)
( 11646 12169 13025 12657 12247 12154 12219 12017 #| data0 |# 12059 11897)
( 4303 4511 4407 4169 4057 4510 4365 4391 #| data0 |# 4392 4495)
( 13784 14049 14498 14218 14112 13354 13411 14273 #| data0 |# 14521 13760)
( 35823 34396 37057 34960 36540 34570 35722 34888 #| data0 |# 36917 35265)
( 31559 31200 30448 30667 31194 30023 29074 29371 #| data0 |# 30456 30452)
( 49756 46330 46465 46819 48048 47283 51186 49091 #| data0 |# 47758 48964)
( 19449 19507 19522 19544 19724 19790 18799 19344 #| data0 |# 19937 19592)
( 37036 38104 36781 37161 37363 40960 37814 37360 #| data0 |# 38143 37841)
( 37786 37036 36160 36380 36509 35998 36033 36909 #| data0 |# 36446 36403)
( 48773 50220 54050 48577 51377 50876 50089 49594 #| data0 |# 50597 50127)
( 17546 17481 17788 16734 16843 18645 17175 16848 #| data0 |# 17089 17864)
( 37070 37304 37771 37110 35720 36918 36802 37221 #| data0 |# 37449 37926)
( 32977 35113 33712 34059 35122 33035 34753 34731 #| data0 |# 32867 34314)
( 49763 49360 51435 49487 50665 49083 49314 50015 #| data0 |# 50259 49616)
( 18218 19015 18365 17942 18345 19071 17653 18958 #| data0 |# 18306 18070)
( 33252 33119 33035 35198 33853 34326 34083 34428 #| data0 |# 33839 33175)
( 34712 35481 35156 35028 35053 34663 34986 35188 #| data0 |# 35061 33764)
( 50921 47442 47153 47725 48145 46816 46820 47744 #| data0 |# 47767 46078)
( 12948 13356 12909 13078 13426 12627 13156 13260 #| data0 |# 12873 13014)
( 14543 15738 14097 14512 13819 14436 13936 14673 #| data0 |# 14227 13858)
( 6166 6034 6109 6238 6112 6245 6618 6074 #| data0 |# 6123 6081)
( 2782 2781 2812 2849 2803 2912 2846 2832 #| data0 |# 2829 2846)
( 21894 22887 22025 21872 21503 21840 21854 21798 #| data0 |# 22113 22339)
( 17065 16427 16737 16354 18045 16792 16844 17267 #| data0 |# 17725 18052)
( 14214 13783 13919 14100 13748 13769 13805 13751 #| data0 |# 13835 13293)
( 6527 6638 6073 5880 5968 5942 6030 6522 #| data0 |# 6213 6068)
( 13543 13630 13664 13554 13591 13839 13611 13514 #| data0 |# 13048 13908)
( 13554 12348 12516 13223 12347 12931 13431 13179 #| data0 |# 13399 13443)
( 6894 6958 7016 6706 6843 6890 6842 6693 #| data0 |# 7069 6662)
( 2599 2652 2668 2398 2399 2588 2543 2552 #| data0 |# 2571 2598)
( 16978 17336 16964 16900 16811 16085 16087 17545 #| data0 |# 17004 16809)
( 11439 11231 11506 11352 11607 11631 11904 11278 #| data0 |# 11572 11582)
( 9487 10246 9406 9172 9565 9228 9418 9404 #| data0 |# 9336 9155)
( 1701 1676 1677 1697 1706 1707 1672 1690 #| data0 |# 1727 1730)
( 12320 13146 12210 12436 12527 12604 12684 12477 #| data0 |# 12403 12245)
( 32127 33186 31515 33404 32070 31886 31820 30966 #| data0 |# 31734 32532)
( 33123 32772 32615 31142 33198 31037 30936 33708 #| data0 |# 31506 31547)
( 49348 48159 48423 49036 49436 48304 48533 49855 #| data0 |# 48922 49663)
( 17325 18618 18245 17716 18234 18185 18718 17497 #| data0 |# 18578 17303)
( 34519 36408 36054 35057 34973 35102 36182 36132 #| data0 |# 35926 35002)
( 37797 38466 38398 36437 40028 38225 37824 38421 #| data0 |# 37318 39962)
( 50794 51142 53939 52068 52078 51285 53642 50720 #| data0 |# 53201 52394)
( 16276 15263 15778 16563 15902 15749 16390 15212 #| data0 |# 15124 16130)
( 33195 35084 34312 35500 34186 33666 34256 34797 #| data0 |# 35547 36025)
( 35049 36414 34887 34519 35440 36557 35464 35869 #| data0 |# 36113 35259)
( 50665 50470 52411 53948 52813 53322 52220 53082 #| data0 |# 52162 51055)
( 17069 15803 16456 16334 17308 15791 17012 16592 #| data0 |# 16385 16464)
( 32969 31702 33073 32315 31226 32081 32872 32443 #| data0 |# 32173 31899)
( 36791 36367 36456 36058 37517 38453 38013 36527 #| data0 |# 36057 37255)
( 49462 49125 49236 49322 49292 48901 48479 51269 #| data0 |# 48762 49511)
( 11623 12036 11834 11797 11624 11314 11557 12013 #| data0 |# 12059 11983)
( 12553 11836 12282 12213 12474 12056 12118 12532 #| data0 |# 12772 12669)
( 10951 10447 10472 10678 10282 10500 10401 10746 #| data0 |# 10466 10435)
( 6347 5921 6011 6169 6242 6045 6115 5781 #| data0 |# 6280 5988)
( 20023 20226 20050 20436 21354 19397 20515 19753 #| data0 |# 20069 20351)
( 15997 15422 15110 15129 15402 15884 15756 15083 #| data0 |# 14949 15856)
( 16681 16476 16279 16582 15860 16117 16047 16458 #| data0 |# 15969 16324)
( 8691 8972 8795 8994 9103 9361 8802 8741 #| data0 |# 8686 9072)
( 12054 12042 12057 12199 12117 12140 12171 11962 #| data0 |# 11971 11812)
( 10879 11230 11259 11148 11283 11521 11618 11146 #| data0 |# 10872 11080)
( 11075 10714 10954 10918 10706 10766 10663 10585 #| data0 |# 10772 10694)
( 4639 4828 4988 4826 5198 4823 5102 4824 #| data0 |# 5292 4865)
( 15295 14254 15416 15425 15527 14899 15146 15614 #| data0 |# 15150 15378)
( 9448 9241 10218 9743 9740 10112 10125 9450 #| data0 |# 9811 9800)
( 12212 12113 12094 12200 11857 11983 12008 11643 #| data0 |# 12066 11514)
( 4373 4231 4143 4379 4049 4327 4331 4507 #| data0 |# 4646 4326)
( 13798 13705 13679 13639 14176 13554 13522 13682 #| data0 |# 13967 14587)
( 32617 32998 32717 34366 33356 34198 34167 34619 #| data0 |# 33910 34081)
( 28452 30392 28841 31081 29143 30823 31337 29697 #| data0 |# 29572 29445)
( 46158 47844 46032 48216 47105 46057 47619 48164 #| data0 |# 46518 48283)
( 20187 19437 20207 20018 19437 19840 20234 20417 #| data0 |# 19233 18718)
( 36910 36947 37376 37920 38067 36844 38081 36679 #| data0 |# 37967 37793)
( 35553 35173 38047 36047 34343 35212 36422 36012 #| data0 |# 37445 36172)
( 49680 51792 51108 50141 50101 49205 50568 49755 #| data0 |# 48514 48185)
( 17644 17146 16490 17333 18009 16349 17161 16705 #| data0 |# 17090 17313)
( 38816 36686 37275 36831 34484 36710 36420 37305 #| data0 |# 37065 36963)
( 35200 32769 33196 32951 34564 32721 34780 34621 #| data0 |# 33584 32465)
( 50310 46826 49000 49515 48673 50802 48893 49889 #| data0 |# 46309 48160)
( 17565 18177 18504 18117 18062 18542 17822 18585 #| data0 |# 18454 17513)
( 35178 34656 34354 33389 33783 33759 35642 35500 #| data0 |# 36190 34827)
( 34295 35508 34514 34562 34956 35335 34672 35441 #| data0 |# 35210 34558)
( 48411 47923 47930 46894 50693 47141 46309 48220 #| data0 |# 47439 46150)
( 12691 12978 12612 12863 13195 12823 12746 12797 #| data0 |# 12797 12979)
( 14103 13826 13540 13722 13846 13443 13835 14045 #| data0 |# 14253 14291)
( 6413 6336 5897 6260 6288 6393 5948 6030 #| data0 |# 6182 6149)
( 2844 2861 2746 2744 2782 3053 2877 2753 #| data0 |# 2852 2774)
( 22418 22886 21057 23573 22396 21998 21700 22284 #| data0 |# 21611 20531)
( 17177 15993 16477 15829 17249 16949 16792 17345 #| data0 |# 17095 17427)
( 12974 12254 13104 12926 13661 12981 13211 12894 #| data0 |# 13013 12966)
( 6037 5864 5732 5936 5882 6031 5749 5910 #| data0 |# 6052 6282)
( 13439 12703 13147 12812 12990 13449 13381 13307 #| data0 |# 12656 13279)
( 12669 12730 12321 13086 13121 12530 12737 12557 #| data0 |# 12392 11833)
( 6670 6686 6800 6872 7002 6812 6469 6530 #| data0 |# 6610 6710)
( 2228 2268 2180 2217 2205 2249 2199 2260 #| data0 |# 2241 2234)
( 16658 16833 16958 17258 16159 16688 16705 17100 #| data0 |# 16432 17360)
( 11008 10975 11040 11397 11528 10850 11122 11168 #| data0 |# 11639 10573)
( 8966 9319 9378 8828 9336 9707 8342 8564 #| data0 |# 8845 8975)
( 1670 1625 1790 1674 1615 1646 1623 1811 #| data0 |# 1657 1622)
)
