{"size": 75996, "ext": "rktd", "max_stars_repo_path": "gm-pepm-2018/nepls-2017/src/tr-data/synth-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/synth-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/synth-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": 73.0730769231, "max_line_length": 287, "alphanum_fraction": 0.728064635}
;; 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-23T03:22:58
;; #(-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-02T11:37:47
#(
( 778 783 763 805 775 789 789 790 806 #| data0 |# 803)
( 6482 6330 5982 5802 6138 6012 6038 5954 6142 #| data0 |# 6256)
( 1507 1589 1546 1582 1494 1567 1569 1615 1583 #| data0 |# 1544)
( 6902 6643 6976 7010 6891 6809 6692 6622 6756 #| data0 |# 6975)
( 11303 11462 12009 11226 11352 11716 11826 11554 11674 #| data0 |# 11960)
( 17258 16831 16861 17266 16769 17231 17057 17472 17295 #| data0 |# 17244)
( 12313 11988 12550 12407 12244 12472 12555 12382 12650 #| data0 |# 12216)
( 18146 17926 17683 17123 17788 17956 17662 17381 17878 #| data0 |# 18100)
( 1333 1385 1379 1339 1345 1341 1336 1376 1366 #| data0 |# 1331)
( 6143 6353 6347 6251 6329 6182 6507 6120 6399 #| data0 |# 5985)
( 1616 1611 1610 1560 1503 1556 1547 1580 1515 #| data0 |# 1602)
( 6398 6675 6601 6086 6428 6602 6421 6410 6490 #| data0 |# 6538)
( 11622 12730 11974 12236 12596 11981 12206 12275 11597 #| data0 |# 12240)
( 17525 17299 17483 17580 17672 17448 17781 17554 17453 #| data0 |# 17795)
( 12288 12243 12018 12207 12422 12503 12593 11850 12167 #| data0 |# 12388)
( 16953 17336 17549 17812 16526 17331 17163 16969 17519 #| data0 |# 17516)
( 1073 1067 1100 1073 1071 1075 1081 1088 1077 #| data0 |# 1084)
( 6342 6361 6344 6339 6273 6460 6328 6001 6182 #| data0 |# 6099)
( 1623 1642 1581 1594 1587 1570 1671 1584 1581 #| data0 |# 1645)
( 7032 6478 6799 6709 6939 7023 7003 6791 6999 #| data0 |# 6449)
( 11499 11686 11134 11742 11607 11407 11855 11771 11884 #| data0 |# 11935)
( 17615 17343 17937 16984 17386 16736 17376 17132 17527 #| data0 |# 16632)
( 12403 12355 13104 12179 12422 12467 12266 12836 12407 #| data0 |# 12478)
( 17885 17930 17889 17683 18137 17319 17661 17662 16703 #| data0 |# 17469)
( 1439 1397 1412 1443 1402 1437 1438 1442 1376 #| data0 |# 1406)
( 6479 6315 6217 6164 6420 6336 6052 6053 6362 #| data0 |# 6364)
( 1575 1692 1634 1572 1599 1692 1590 1637 1603 #| data0 |# 1636)
( 6603 6577 6826 6352 6360 6632 6445 6551 6378 #| data0 |# 6694)
( 11498 11634 12129 12088 11956 12197 11952 12117 12109 #| data0 |# 11468)
( 17111 16567 17466 17215 17180 17203 17288 16905 16338 #| data0 |# 17185)
( 12389 12479 12542 12030 11804 11967 11685 11940 12051 #| data0 |# 12190)
( 17055 17771 17830 17153 16903 17537 17686 17429 17032 #| data0 |# 16867)
( 22459 21670 22607 22589 22536 22538 22004 22502 22225 #| data0 |# 22334)
( 26006 25914 26445 25416 25825 26451 25993 26065 25861 #| data0 |# 24326)
( 21944 23976 23064 22160 23521 23929 23533 22977 23480 #| data0 |# 22730)
( 27049 26238 27124 27445 26852 27262 26054 27573 27109 #| data0 |# 26735)
( 28118 28128 29627 28873 27817 28327 27773 27641 28125 #| data0 |# 28740)
( 31867 31965 32206 33094 32370 31212 32439 31607 32285 #| data0 |# 31688)
( 29204 28201 29016 28772 28922 28960 30159 27964 28638 #| data0 |# 29037)
( 31817 32649 31142 31144 31039 32479 32032 32039 31055 #| data0 |# 32008)
( 21226 23024 22996 23007 22277 22946 22063 22783 23143 #| data0 |# 22924)
( 26843 25786 26543 26683 26610 26181 25285 26405 26446 #| data0 |# 26735)
( 24089 23472 22772 23838 23572 23742 23507 23565 22871 #| data0 |# 23244)
( 26584 26277 26706 25424 26699 26706 26202 25960 26627 #| data0 |# 26395)
( 29695 27973 29140 28311 27651 27928 28367 29230 28513 #| data0 |# 27600)
( 31393 30578 32019 29559 32670 31777 32018 31054 30657 #| data0 |# 30861)
( 29226 28638 28905 28745 30025 27913 29177 30631 28810 #| data0 |# 28907)
( 30383 30938 31333 31905 32095 31149 32628 30813 30553 #| data0 |# 31935)
( 21537 21197 21442 21560 21331 21661 21912 22456 21433 #| data0 |# 22065)
( 25750 25958 26285 26328 25581 26299 26462 26421 25390 #| data0 |# 23575)
( 23806 23078 23667 23827 23384 23166 23186 22706 23060 #| data0 |# 22375)
( 26839 27136 26546 26178 26257 26138 26441 26693 26669 #| data0 |# 27676)
( 27365 28276 27344 28482 27480 27907 28744 28289 28351 #| data0 |# 27727)
( 31297 32165 31879 31217 31202 31000 31671 31230 32059 #| data0 |# 31510)
( 29131 28083 28848 28465 26884 29393 29248 29745 29747 #| data0 |# 28652)
( 32790 32095 32320 31576 31944 32572 31705 32518 32701 #| data0 |# 31341)
( 22883 22869 23374 22962 22618 22454 22607 23114 22561 #| data0 |# 22299)
( 25294 26232 25349 25430 26194 25825 25701 26709 25296 #| data0 |# 26641)
( 23601 23008 23304 23221 23717 23853 23598 23011 23523 #| data0 |# 23631)
( 26813 26469 26800 25355 26941 26425 27177 26717 26623 #| data0 |# 26343)
( 28600 28565 28499 28562 28610 28601 28717 28724 28826 #| data0 |# 29250)
( 32140 31659 31913 31783 31426 32061 32021 31998 31288 #| data0 |# 31686)
( 29555 28361 29106 28702 29877 28644 29700 29638 28821 #| data0 |# 28866)
( 32819 30621 32862 31066 32182 31477 30823 31471 32281 #| data0 |# 31537)
( 2844 2876 2803 2798 2855 2816 2833 2717 2806 #| data0 |# 2832)
( 3465 3508 3715 3732 3489 3739 3699 3732 3473 #| data0 |# 3530)
( 3504 3681 3620 3539 3517 3630 3578 3498 3530 #| data0 |# 3434)
( 4176 3997 3957 4011 4130 3994 4040 4045 4116 #| data0 |# 3958)
( 14102 13907 13537 14218 13862 13310 13932 13340 13302 #| data0 |# 13865)
( 14877 14863 13896 14009 14690 14378 14488 14510 14777 #| data0 |# 13598)
( 14254 14204 13863 14318 14590 14087 13897 14620 14271 #| data0 |# 14869)
( 14960 14975 14538 15043 14447 14458 15006 15350 14701 #| data0 |# 14639)
( 3233 3221 3178 3192 3173 3090 3237 3101 3248 #| data0 |# 3232)
( 3648 3468 3510 3481 3580 3672 3606 3502 3459 #| data0 |# 3435)
( 3463 3489 3618 3484 3437 3502 3477 3518 3511 #| data0 |# 3547)
( 3832 3700 3843 3945 3670 3968 3725 3724 3791 #| data0 |# 4008)
( 14076 13229 13896 13886 13312 14218 13811 14375 14083 #| data0 |# 14576)
( 14439 14470 14799 14828 14751 14921 14679 14757 14346 #| data0 |# 14407)
( 14002 14577 14394 14696 14323 14221 14240 14305 13831 #| data0 |# 14325)
( 14725 13626 14601 14130 14246 14383 14651 14530 14074 #| data0 |# 14858)
( 2874 2820 2990 2961 3085 2831 2810 2975 2822 #| data0 |# 3004)
( 3609 3417 3496 3583 3616 3463 3517 3564 3518 #| data0 |# 3570)
( 3545 3734 3641 3723 3524 3590 3637 3516 3513 #| data0 |# 3611)
( 4006 4050 4026 4093 4230 4176 4103 4141 4054 #| data0 |# 4189)
( 13740 13721 13984 13548 13605 13967 13999 13849 13468 #| data0 |# 13499)
( 14774 14646 14547 13730 14594 13552 13830 14673 13790 #| data0 |# 14809)
( 14516 14897 14377 14946 14347 14641 14417 14560 13996 #| data0 |# 14638)
( 15268 15133 15174 14986 14589 15243 14939 14929 15084 #| data0 |# 15364)
( 3236 3183 3172 3364 3301 3156 3338 3210 3303 #| data0 |# 3375)
( 3628 3560 3706 3500 3617 3523 3479 3740 3773 #| data0 |# 3560)
( 3620 3591 3539 3597 3473 3592 3603 3600 3581 #| data0 |# 3621)
( 3879 3950 3812 3806 3901 3888 3754 3677 3839 #| data0 |# 3975)
( 13997 13924 13878 13522 14262 14295 14253 14093 13915 #| data0 |# 14076)
( 14539 14029 14768 14627 14698 14554 14361 14719 15106 #| data0 |# 13915)
( 14341 14791 14801 14215 14181 14675 14265 14566 14632 #| data0 |# 13990)
( 14806 14724 14767 14682 15045 14314 14643 14350 14764 #| data0 |# 14510)
( 24295 24919 24695 24173 24264 24528 24463 24315 23495 #| data0 |# 24000)
( 21994 22397 22222 23224 22331 22455 22586 23239 23137 #| data0 |# 22529)
( 25320 25482 24247 26276 24221 24679 25972 25217 25308 #| data0 |# 24021)
( 24037 23941 24095 23296 23849 24225 24018 24033 23788 #| data0 |# 23975)
( 29164 29952 31457 29977 31149 30866 28928 30267 30968 #| data0 |# 28737)
( 29335 28132 29257 29380 28775 28881 27645 27555 29070 #| data0 |# 28750)
( 31334 31421 29721 31390 31941 30596 30966 31907 30435 #| data0 |# 29891)
( 27859 29057 29781 30085 29237 29117 28660 29687 29080 #| data0 |# 29086)
( 24526 23907 23788 25097 25181 25348 25158 24815 24921 #| data0 |# 25207)
( 23552 22737 23626 22464 23192 23623 23220 23754 22366 #| data0 |# 22920)
( 25677 25445 25704 24022 25375 25223 24451 25718 25102 #| data0 |# 24950)
( 23246 23504 23962 23538 23987 23600 24235 24134 23994 #| data0 |# 23907)
( 31467 30109 31773 30455 30118 29632 28962 30465 29243 #| data0 |# 29511)
( 28652 28433 29160 29515 29324 29189 28083 28848 29153 #| data0 |# 29046)
( 30403 30983 31714 31083 31160 30788 30734 29727 31093 #| data0 |# 30154)
( 29055 29245 28686 28566 28400 29946 29476 29288 29236 #| data0 |# 29754)
( 24306 25152 24220 23753 24657 24334 23932 24157 24917 #| data0 |# 25189)
( 22110 23937 23618 22756 22333 23263 23077 23192 22138 #| data0 |# 23495)
( 25721 24645 25495 24787 25609 24789 25269 25386 25496 #| data0 |# 25586)
( 24690 24111 24004 24581 23977 24455 23848 24339 23274 #| data0 |# 24304)
( 31248 30761 30621 29012 30560 30223 30517 30804 30730 #| data0 |# 29156)
( 28764 28687 28088 29221 28373 27962 29554 28218 28240 #| data0 |# 28742)
( 31756 30297 30943 30359 30853 30660 31641 29814 29990 #| data0 |# 29574)
( 29831 29545 29854 28651 29566 30180 27935 29717 29907 #| data0 |# 29587)
( 24709 24594 24381 24753 24916 24413 23962 24793 24227 #| data0 |# 25350)
( 23135 23430 23035 22663 23001 22190 22758 21932 22845 #| data0 |# 22440)
( 25849 25797 25319 25847 26183 24196 25381 24496 25294 #| data0 |# 24381)
( 24314 24188 23309 23344 22981 24237 23704 23395 22745 #| data0 |# 24423)
( 30632 29698 31082 29517 30070 28307 29531 31542 29646 #| data0 |# 30883)
( 28185 29280 29072 29368 29314 28645 27832 28058 28124 #| data0 |# 28003)
( 31052 30677 30138 30751 30984 30643 31000 30699 30741 #| data0 |# 32218)
( 29233 29706 30037 29738 29921 30213 28699 28739 28851 #| data0 |# 29905)
( 8407 8735 8709 8722 8776 8059 8800 8368 8806 #| data0 |# 8188)
( 14430 14552 14391 14637 13779 15004 14530 14872 14364 #| data0 |# 14113)
( 9540 9606 9846 9475 9550 9352 9367 10125 9352 #| data0 |# 9505)
( 15204 15464 15092 15827 14644 14894 14001 15309 15234 #| data0 |# 15150)
( 20123 19129 20052 19896 19901 19546 20287 19741 19909 #| data0 |# 18926)
( 25290 25078 24353 24176 25265 25606 24826 25223 25252 #| data0 |# 24380)
( 19799 20135 20317 20902 20494 19871 20121 20717 20463 #| data0 |# 20801)
( 25860 26633 26102 26295 25948 26040 26752 25236 25953 #| data0 |# 26173)
( 9251 9308 8706 8947 8698 8905 9280 9041 8744 #| data0 |# 9211)
( 14296 15044 14943 14431 14265 15044 14819 14544 13916 #| data0 |# 14663)
( 9656 8920 9628 9200 9797 9307 9576 9386 9015 #| data0 |# 9513)
( 14721 14620 14520 15279 14647 14946 14937 15242 14650 #| data0 |# 14302)
( 18971 20251 20134 20563 20240 20138 20073 20686 20208 #| data0 |# 19301)
( 25724 25162 24693 24673 24979 25381 25221 25317 25289 #| data0 |# 25318)
( 20079 20215 20226 20137 19814 20485 19240 19818 20031 #| data0 |# 19301)
( 25353 25823 25564 24410 26067 25606 25567 23816 24658 #| data0 |# 25225)
( 8576 8715 8751 8938 8822 8658 8768 8527 8997 #| data0 |# 8951)
( 14891 14696 14307 13721 14732 13864 14747 14685 14607 #| data0 |# 14538)
( 9678 9377 9675 9606 9412 9887 9610 9928 9817 #| data0 |# 9943)
( 15150 15280 14581 15331 15239 15392 15278 15185 15372 #| data0 |# 15362)
( 19905 19414 19590 20256 19580 19809 19462 19290 19626 #| data0 |# 19737)
( 24453 24359 24684 23588 25065 23856 24955 24793 24658 #| data0 |# 25302)
( 20534 19689 20302 20527 19562 19582 19614 20544 20558 #| data0 |# 20333)
( 24321 24469 24685 24780 25803 25857 24526 25776 25436 #| data0 |# 25545)
( 9278 9471 8794 8904 9412 9051 9218 9012 9049 #| data0 |# 9166)
( 14162 14950 14642 14029 14373 13946 14753 14482 14918 #| data0 |# 13979)
( 9597 9858 9400 9890 9894 9788 9254 9462 9570 #| data0 |# 9263)
( 14717 14869 15422 15209 14748 15088 14742 13873 14856 #| data0 |# 14250)
( 20246 19584 20381 18912 20325 20044 20403 19974 19225 #| data0 |# 19157)
( 24674 25202 23885 25503 25273 25285 25208 24746 24412 #| data0 |# 24684)
( 20151 19947 20556 20304 20451 20525 20095 20568 19561 #| data0 |# 20515)
( 25598 25138 24324 24102 25751 24207 24474 24537 25308 #| data0 |# 24901)
( 26451 28193 26307 27942 27961 26439 26798 26589 27758 #| data0 |# 27892)
( 31710 31010 30704 31213 31645 31086 31409 31374 31492 #| data0 |# 29658)
( 28204 29087 28563 28598 28744 28606 27676 28690 29155 #| data0 |# 26963)
( 31887 31482 30924 30826 31463 32463 32677 31402 31751 #| data0 |# 30118)
( 34348 33424 33606 33647 32611 33351 33827 33453 33244 #| data0 |# 33325)
( 36933 37152 36562 37446 35154 37173 34959 36538 36566 #| data0 |# 34816)
( 33948 31804 34560 34637 33743 32612 33826 34227 34614 #| data0 |# 31503)
( 37062 34811 36797 37654 36012 36820 36651 35410 37304 #| data0 |# 37160)
( 28277 28775 27853 27880 28254 26896 27556 28663 28858 #| data0 |# 29062)
( 31359 31057 31321 30922 30733 30867 30435 31437 31709 #| data0 |# 31689)
( 29240 28809 28627 28745 28300 28329 28516 27164 28921 #| data0 |# 26985)
( 30867 31308 32078 32465 30595 32344 31645 32123 31432 #| data0 |# 31232)
( 33325 33810 32966 33763 33939 34407 33257 32686 33699 #| data0 |# 32356)
( 33943 34701 34917 37640 35084 37435 36853 35730 35694 #| data0 |# 36936)
( 34185 34074 33862 33939 33900 34011 32602 33983 34201 #| data0 |# 33144)
( 37328 37514 37525 35371 37297 37156 37152 37185 37919 #| data0 |# 35831)
( 27918 25869 27472 27250 27653 26563 28085 28004 27187 #| data0 |# 27385)
( 30376 31086 31069 30371 30220 30206 32222 29851 32323 #| data0 |# 31132)
( 27427 28251 28260 28118 29002 28676 28012 27557 29126 #| data0 |# 29055)
( 30645 30570 32444 31907 31082 30999 29974 31235 30852 #| data0 |# 32301)
( 32908 32981 33622 32979 32779 32449 32903 33524 33864 #| data0 |# 34150)
( 36863 34675 34484 37622 34731 36553 34807 36307 36812 #| data0 |# 38195)
( 33715 33400 33475 34168 32840 32480 33858 34259 33392 #| data0 |# 32566)
( 36961 36405 36401 36807 36658 37837 37911 37315 37324 #| data0 |# 37363)
( 27194 28218 28719 28095 28099 28090 28889 28630 26054 #| data0 |# 28382)
( 30555 31228 32346 30952 30601 29601 29909 30676 31669 #| data0 |# 30754)
( 28682 28576 28910 27611 28101 27656 28055 28316 28231 #| data0 |# 28309)
( 31035 30916 32070 30626 30866 30757 31912 32288 30694 #| data0 |# 30042)
( 33462 32723 32005 33146 33529 33596 33607 33303 33012 #| data0 |# 33112)
( 36404 36396 35900 36501 36624 35610 36331 36531 36834 #| data0 |# 35796)
( 34248 33680 35087 33144 33607 33541 33784 33664 33273 #| data0 |# 34341)
( 35712 36010 35820 36021 36384 35702 36120 35683 35984 #| data0 |# 37644)
( 10292 11155 10866 10369 10423 10882 10682 10229 9751 #| data0 |# 10087)
( 11644 11667 11495 11275 11857 11137 11630 11952 11046 #| data0 |# 11611)
( 11303 10982 11526 11467 11562 11372 11286 10784 11480 #| data0 |# 11386)
( 12576 12602 12287 12192 12030 12445 11740 12249 12557 #| data0 |# 11829)
( 20904 19524 21228 19538 20564 21337 19610 19618 21405 #| data0 |# 21139)
( 21837 22972 22365 22597 22581 22692 20968 22730 21799 #| data0 |# 21632)
( 20931 22849 22249 22499 22190 22483 23090 21949 21945 #| data0 |# 22881)
( 22084 22851 23363 22175 21587 22908 21304 22965 21587 #| data0 |# 22839)
( 11124 10433 10742 10690 10735 10774 11172 10404 10785 #| data0 |# 10746)
( 11754 11714 11227 11444 11490 11507 11578 11593 11768 #| data0 |# 11858)
( 11271 11090 11178 11162 10902 11179 10656 11218 11230 #| data0 |# 11447)
( 11763 12025 12122 12250 11924 11795 12306 11924 11218 #| data0 |# 12010)
( 22074 21624 21527 21930 22398 20451 22611 21636 21904 #| data0 |# 19690)
( 22815 21830 21973 22550 22499 22347 22611 21137 21868 #| data0 |# 21180)
( 21862 22110 22028 22789 21221 21164 22556 22001 22280 #| data0 |# 20755)
( 22830 23196 21222 22647 22321 22856 22872 23388 23016 #| data0 |# 22847)
( 10563 10981 10477 10785 10443 10493 10437 10027 11130 #| data0 |# 10874)
( 12013 12074 12358 11572 11832 11726 11792 11594 12234 #| data0 |# 11832)
( 11626 11505 11131 11547 11395 11602 11573 11388 11184 #| data0 |# 11239)
( 12539 12762 12135 12691 12136 12719 12323 12216 12599 #| data0 |# 12826)
( 20929 21580 21856 21488 22081 21842 21368 22091 21837 #| data0 |# 20601)
( 21661 22651 22478 22128 22641 21746 22538 22323 21468 #| data0 |# 23054)
( 22016 21060 21885 22101 22044 22066 22203 21871 22110 #| data0 |# 22008)
( 22680 23385 22541 22543 22296 23303 23160 23427 21945 #| data0 |# 22531)
( 11508 11358 10910 11061 10481 10513 11087 11175 11062 #| data0 |# 11059)
( 11721 11813 11728 11588 12082 11802 12101 11996 11929 #| data0 |# 11972)
( 11377 11521 11000 11782 11552 10801 11273 11476 11240 #| data0 |# 11050)
( 12413 12337 12910 12219 12392 12486 12403 12667 12621 #| data0 |# 12363)
( 22442 21452 21418 21798 21838 21223 21879 21465 21862 #| data0 |# 22288)
( 22448 21683 22419 22726 22536 21547 21556 22214 22361 #| data0 |# 22155)
( 21509 22179 22998 22351 22030 21789 21799 22197 22665 #| data0 |# 21781)
( 22911 23100 22490 22738 22402 22573 21992 22044 21838 #| data0 |# 22673)
( 28810 29310 28359 28760 29030 29298 30198 29724 29003 #| data0 |# 29817)
( 28848 27921 28631 28207 28580 27765 26915 27132 27741 #| data0 |# 27896)
( 31191 30673 30573 31179 30347 30434 31384 30673 30882 #| data0 |# 30095)
( 28393 28337 28388 28476 28367 28693 28510 28223 28032 #| data0 |# 28976)
( 34995 35545 35536 33608 36544 36108 35622 33586 35221 #| data0 |# 34298)
( 33228 32752 34413 33966 33427 33172 32657 33441 32660 #| data0 |# 34108)
( 36623 34606 36590 36659 36127 35901 35845 34502 37232 #| data0 |# 35542)
( 33114 31835 33180 32434 32608 33222 33476 34021 33474 #| data0 |# 33720)
( 30058 30198 29358 30133 29374 30008 30098 28313 29245 #| data0 |# 29539)
( 31779 27928 27097 29050 29191 27714 28541 27586 28898 #| data0 |# 27895)
( 30626 29466 30789 30867 29215 29709 29399 30103 30395 #| data0 |# 31053)
( 28621 28283 28480 28707 27684 27729 27666 28232 28675 #| data0 |# 28460)
( 35744 33986 36487 34149 35762 36493 36346 36004 35251 #| data0 |# 36470)
( 33635 33674 34138 33600 31599 34035 34143 33589 34004 #| data0 |# 32450)
( 35777 36445 35792 35520 35811 35693 35760 35809 34743 #| data0 |# 34194)
( 33741 34026 33818 33780 32265 32983 32315 33723 34257 #| data0 |# 34422)
( 30148 30045 29903 28297 28843 28425 29393 29124 30134 #| data0 |# 29778)
( 28468 27626 28395 28669 28892 29206 27716 29598 26921 #| data0 |# 27173)
( 30699 30976 30876 30686 31101 29971 31248 31836 30291 #| data0 |# 31412)
( 28989 29765 29802 29657 30601 29477 29599 29649 29621 #| data0 |# 28421)
( 35555 34998 32537 34876 33399 34376 34126 35885 35191 #| data0 |# 34503)
( 33084 33917 33709 32147 34103 34113 34041 33067 33719 #| data0 |# 33472)
( 34960 36667 36026 34205 35110 34525 36157 34050 33842 #| data0 |# 35175)
( 34821 35292 35036 34160 33043 34136 33175 33069 33303 #| data0 |# 34539)
( 29490 30104 30644 29177 29117 30851 29494 30087 29728 #| data0 |# 28128)
( 28225 27366 28005 29383 28314 29005 28353 28693 28001 #| data0 |# 27395)
( 31063 29025 30655 31358 30939 28885 30855 29382 30910 #| data0 |# 29969)
( 27414 29399 27430 28673 29750 28338 26674 28095 29341 #| data0 |# 29539)
( 35096 36484 34714 35363 34831 34149 35970 34286 34391 #| data0 |# 36004)
( 34210 33946 33565 33775 34425 33334 33064 33255 34969 #| data0 |# 34422)
( 37268 35077 36431 35520 36975 35218 35679 35231 35084 #| data0 |# 35983)
( 34280 34344 34462 34268 33464 34424 33738 33702 34452 #| data0 |# 31894)
( 32943 31572 32460 31953 32599 32716 31386 32397 32513 #| data0 |# 31558)
( 33973 34119 34905 35478 33824 34919 35362 34936 34800 #| data0 |# 35015)
( 32205 32700 31822 30854 32179 32285 30641 30219 32303 #| data0 |# 31120)
( 33958 34585 33716 34119 34756 34798 35293 33857 34591 #| data0 |# 34818)
( 28071 27853 27177 27513 27983 27932 28742 28118 28583 #| data0 |# 28567)
( 28735 30547 30462 31853 30974 30730 31426 30094 30802 #| data0 |# 32019)
( 27291 27282 27379 28348 27620 27069 28032 27122 28354 #| data0 |# 27305)
( 29647 30474 30419 29937 30907 30521 32440 29504 31066 #| data0 |# 30084)
( 32824 31966 31172 31957 31374 31707 29989 32299 32174 #| data0 |# 32442)
( 35106 35282 35560 33417 34304 34400 35099 33288 34184 #| data0 |# 35200)
( 30699 30575 32192 31811 31305 31661 32139 30976 31936 #| data0 |# 32010)
( 33553 34064 33985 34038 34241 34286 34118 34016 33124 #| data0 |# 32960)
( 28057 28609 28164 28661 28273 28806 28013 27609 28800 #| data0 |# 29159)
( 30137 31271 31645 29989 31462 30287 32190 31282 31899 #| data0 |# 31119)
( 27327 27400 28240 27661 28151 28293 27666 27170 26764 #| data0 |# 27460)
( 30841 30616 30049 29788 29685 30332 29539 29354 29959 #| data0 |# 29159)
( 32075 31050 31890 32801 32556 32226 31310 30599 31968 #| data0 |# 32441)
( 33445 33183 33646 33047 34205 34783 33975 34725 33018 #| data0 |# 34861)
( 31581 31491 30879 31503 31834 31683 31193 30645 30663 #| data0 |# 31409)
( 33133 32474 34654 34470 34263 34631 32703 34451 34011 #| data0 |# 32257)
( 27732 27331 26135 28833 28910 27870 28102 28883 27553 #| data0 |# 27114)
( 31651 31668 31083 30597 30513 30586 30633 31821 31243 #| data0 |# 31515)
( 27666 27669 27352 26207 26151 26581 26296 27610 27196 #| data0 |# 27637)
( 30750 29403 30349 29699 29775 30854 29475 31306 29161 #| data0 |# 29720)
( 32053 32205 31603 31433 32115 32288 31491 31451 32337 #| data0 |# 31616)
( 33805 35500 34993 36756 33085 33582 35233 34487 33026 #| data0 |# 34924)
( 32332 30151 30702 31020 31867 31665 30215 31286 31124 #| data0 |# 31324)
( 33713 34407 32929 34281 34340 34251 33827 35624 32327 #| data0 |# 33212)
( 29239 29029 27723 29063 28764 27938 28761 27993 27825 #| data0 |# 28703)
( 30365 30317 29695 30367 29934 30194 31020 31653 31163 #| data0 |# 30769)
( 27363 28369 27664 27109 28064 28072 27750 26313 28559 #| data0 |# 26923)
( 28887 30135 30854 29946 30338 29393 29735 28859 28658 #| data0 |# 30458)
( 20678 19869 21050 21096 20969 20438 21073 20394 20111 #| data0 |# 20330)
( 21957 21426 22201 21910 21565 21092 22438 21650 20735 #| data0 |# 21755)
( 19405 20392 20231 20018 20300 19770 20145 20312 20424 #| data0 |# 19818)
( 20620 20878 21073 21442 21458 20430 21645 20938 20917 #| data0 |# 20896)
( 11795 11863 12084 11953 11846 11900 12131 11910 11687 #| data0 |# 11895)
( 12343 12339 11885 12501 12095 12140 11987 11913 12270 #| data0 |# 12420)
( 11599 11641 11829 11905 11634 12032 11618 11661 11512 #| data0 |# 11660)
( 11965 11591 12311 11475 11494 11600 11074 12302 11835 #| data0 |# 11582)
( 20139 21129 21570 20935 20866 21972 21102 20571 21710 #| data0 |# 20944)
( 21042 20906 21239 21466 22593 22276 21074 21432 21449 #| data0 |# 21738)
( 19851 20456 20846 20763 20804 20326 19130 19819 20826 #| data0 |# 21156)
( 20451 21220 20855 20418 20519 20936 21856 20570 21777 #| data0 |# 21097)
( 12330 12541 12582 12011 12541 12485 12530 12470 12500 #| data0 |# 12347)
( 11572 12183 12506 12737 12426 12392 12180 12311 12540 #| data0 |# 12406)
( 12049 11881 11793 11936 11712 11884 11655 11545 11869 #| data0 |# 11985)
( 11523 11542 11446 12060 11391 11710 11714 11598 11131 #| data0 |# 11665)
( 21116 20608 19813 20218 19795 20754 20389 21045 19986 #| data0 |# 19949)
( 20339 21952 21940 20906 21343 21302 22032 21208 21209 #| data0 |# 22491)
( 19856 19840 19552 19334 19728 19517 20787 20127 19661 #| data0 |# 19995)
( 21111 19511 19767 21439 20835 20512 20944 20948 21023 #| data0 |# 21540)
( 12522 12427 12306 12578 12130 11802 12421 12457 12982 #| data0 |# 11944)
( 12608 12476 11630 12417 12149 11644 11948 12125 11875 #| data0 |# 12184)
( 11825 12110 11909 11716 12101 11832 11932 12037 11861 #| data0 |# 12176)
( 11727 11856 12176 11859 11676 12059 12578 11621 12034 #| data0 |# 11412)
( 20085 20459 20538 21323 21141 21064 20587 20711 21381 #| data0 |# 20544)
( 21973 21925 21660 20913 21637 21337 21899 21445 21274 #| data0 |# 22088)
( 19408 21143 19992 19663 20349 19353 20947 19891 19766 #| data0 |# 19259)
( 20258 20228 21108 20855 21163 20147 20905 21116 21080 #| data0 |# 20651)
( 12553 12646 12488 12394 12398 12576 12531 12561 12436 #| data0 |# 12420)
( 12414 12417 12138 12048 12327 11736 12361 12160 12396 #| data0 |# 12101)
( 11335 11686 11399 11627 11309 11333 11526 11305 11261 #| data0 |# 11532)
( 11197 11528 11761 11517 11279 11796 11653 11704 11275 #| data0 |# 11310)
( 34433 34504 32485 34351 32675 34546 33837 34444 33807 #| data0 |# 34058)
( 31076 31669 31595 31036 32081 29833 31568 31277 31599 #| data0 |# 31385)
( 33089 33624 32471 32641 33508 33292 33227 32339 33122 #| data0 |# 32541)
( 29986 31318 31234 30396 30622 31084 31144 30670 30237 #| data0 |# 30952)
( 30483 28199 29390 30794 28104 30254 30779 29892 30813 #| data0 |# 29045)
( 28512 27893 28681 28721 28692 28414 28540 27614 28569 #| data0 |# 27548)
( 29385 28548 28752 29195 29529 28713 29001 28503 28884 #| data0 |# 29149)
( 26753 26711 26814 26970 26865 26786 27470 26867 26805 #| data0 |# 27179)
( 33886 34035 33092 33906 33983 34241 33890 33948 33575 #| data0 |# 32246)
( 31364 30626 31384 31499 31536 30088 32000 31702 31356 #| data0 |# 30158)
( 33531 32342 32777 32229 32977 33582 33321 33320 32018 #| data0 |# 32801)
( 29546 29544 30891 31233 29951 31013 29419 29900 29812 #| data0 |# 29275)
( 31123 30300 30715 28571 29984 28470 30497 30208 30650 #| data0 |# 28330)
( 28665 28379 27706 28969 27472 26686 27954 28136 27870 #| data0 |# 28424)
( 29047 29343 29167 29200 29255 29095 27760 29205 28279 #| data0 |# 28469)
( 26888 26515 26571 26735 26088 27212 26910 26316 26826 #| data0 |# 26418)
( 33389 34124 34071 34360 33860 32790 34196 33647 31065 #| data0 |# 32283)
( 29649 32015 31881 32100 31292 31577 30580 31986 31863 #| data0 |# 31931)
( 33733 32833 31910 32728 33511 33338 34626 33419 33053 #| data0 |# 32693)
( 31418 31279 31333 31634 31429 31437 31318 31137 31179 #| data0 |# 31477)
( 29982 30454 28228 29607 29000 29918 29030 29975 30237 #| data0 |# 29708)
( 27963 27760 28488 27485 28075 28661 28351 28408 27211 #| data0 |# 27139)
( 29902 30029 29617 28296 29721 29062 28848 28861 29870 #| data0 |# 30234)
( 26818 26744 27353 27343 27225 27886 27722 27397 27613 #| data0 |# 27164)
( 33949 33335 33874 33873 33117 33093 34745 33284 33353 #| data0 |# 32121)
( 31737 31975 31821 31934 31052 30773 31933 31721 31842 #| data0 |# 32138)
( 33315 33215 33189 33257 33624 33596 33340 33651 33632 #| data0 |# 33227)
( 31401 30893 31577 30803 30993 30873 30904 29658 31014 #| data0 |# 31102)
( 29844 29048 28679 30560 29489 29135 29011 30484 31177 #| data0 |# 30332)
( 27954 28515 28351 27104 28199 28258 28316 27668 27263 #| data0 |# 28041)
( 27983 28835 29558 29685 28978 28161 29924 28191 28115 #| data0 |# 29208)
( 27098 26376 26926 26936 26262 27265 27128 26395 27079 #| data0 |# 27166)
( 22903 22199 22726 22362 21406 22153 22088 22273 22632 #| data0 |# 21266)
( 18667 18935 18786 19272 18800 18886 18442 18661 18968 #| data0 |# 18573)
( 21714 22440 22207 22104 22210 22028 22603 22614 21152 #| data0 |# 21928)
( 17932 18259 18277 18017 18362 17995 18403 18158 18211 #| data0 |# 18361)
( 14061 14220 14147 14104 14226 14085 14580 14659 14637 #| data0 |# 14054)
( 9514 9755 9381 9309 9281 9688 9235 9242 9377 #| data0 |# 9492)
( 13530 13884 13215 12871 13769 13408 13689 13542 13298 #| data0 |# 13270)
( 9251 8955 9229 9253 9232 9304 9065 9085 9025 #| data0 |# 9038)
( 22723 22486 22697 23036 22685 22525 22606 22807 22716 #| data0 |# 23198)
( 18078 18418 17666 18011 18412 18564 18840 17980 18841 #| data0 |# 18517)
( 22333 22265 22529 22235 22193 22260 21785 22240 21466 #| data0 |# 22500)
( 17646 18105 17087 18113 17719 17931 17576 17962 17601 #| data0 |# 17091)
( 13872 13810 14576 14497 14311 14423 14513 14134 14308 #| data0 |# 14313)
( 9644 9522 9064 9505 9477 9522 9548 9462 9512 #| data0 |# 9099)
( 12807 13731 13186 13527 13380 13476 13513 13490 13389 #| data0 |# 12812)
( 8711 8937 8459 9040 8453 8735 8633 8844 9100 #| data0 |# 8681)
( 21614 22667 22047 23513 22805 22340 22542 21986 22116 #| data0 |# 22901)
( 18413 18643 18257 19009 18838 18735 18279 19400 18437 #| data0 |# 18294)
( 22281 21988 22145 20828 20901 22259 20983 21760 22229 #| data0 |# 22130)
( 18301 18617 18592 18338 18314 18052 18449 18242 18278 #| data0 |# 18241)
( 13993 14363 13347 13784 13887 13368 13589 14126 13482 #| data0 |# 14042)
( 9042 9679 9129 9228 9287 9464 9240 9576 9047 #| data0 |# 9495)
( 13727 13203 13706 13220 13796 13340 13593 13113 13295 #| data0 |# 13535)
( 8912 8946 9333 9185 9144 9299 9251 8884 8966 #| data0 |# 8786)
( 21544 23218 22673 22382 22740 23323 22883 22982 23616 #| data0 |# 22712)
( 18303 18767 18368 18838 17889 18745 18332 18781 18816 #| data0 |# 18739)
( 22279 22363 21554 22548 21163 22183 21058 20695 22564 #| data0 |# 22287)
( 17830 18181 18609 18015 18338 17937 17844 17634 17915 #| data0 |# 17655)
( 13811 13828 14653 13790 14248 14296 14053 14103 14257 #| data0 |# 13534)
( 9443 9352 9646 9602 9379 9591 9694 9651 9250 #| data0 |# 9189)
( 13387 13329 13369 14138 13862 13650 12862 13644 13012 #| data0 |# 13405)
( 8778 8737 8728 8841 9223 8669 8993 8563 8855 #| data0 |# 8836)
( 27140 27543 28759 28592 27293 27378 27926 28309 27762 #| data0 |# 28750)
( 29144 31852 30739 30596 31400 30589 31113 31075 30705 #| data0 |# 31481)
( 26923 27195 28039 27672 28026 27929 27373 27565 26866 #| data0 |# 28470)
( 31038 30360 31423 30771 30299 30186 30245 30136 31199 #| data0 |# 30215)
( 24438 24051 23646 23834 23229 24520 23252 23043 24676 #| data0 |# 23310)
( 26311 26208 26256 26373 27445 26345 26194 26365 27491 #| data0 |# 26388)
( 22935 23060 24329 23568 23833 22857 22239 24072 23262 #| data0 |# 23410)
( 25653 25840 26076 25232 25509 26348 26621 26441 26044 #| data0 |# 26345)
( 27527 27660 27785 27889 28481 28922 28283 28200 28982 #| data0 |# 28875)
( 31524 30492 31315 31494 30643 31213 31351 31754 30825 #| data0 |# 30440)
( 26666 27062 27844 27273 27811 26228 27621 27279 27778 #| data0 |# 27498)
( 30388 29591 29124 30540 29122 30569 30517 29779 30602 #| data0 |# 29493)
( 24537 23888 24074 24498 23575 24155 24278 24588 24898 #| data0 |# 24580)
( 27099 27431 26746 26147 25913 26529 26714 27635 27082 #| data0 |# 27481)
( 23867 23286 22498 22565 22929 23338 23440 22740 24033 #| data0 |# 22944)
( 25465 25415 25233 25887 25863 25942 25613 25971 25114 #| data0 |# 25902)
( 28355 27490 27825 27387 27440 27390 27195 26544 27584 #| data0 |# 26680)
( 29070 31402 30690 31650 31053 31354 30297 29614 31696 #| data0 |# 29407)
( 26567 27149 27280 27357 26120 27521 28013 27285 27630 #| data0 |# 27450)
( 28424 30230 30410 30824 30800 29822 28775 28995 28251 #| data0 |# 30079)
( 24339 24416 24577 23698 23102 24643 24184 23749 23611 #| data0 |# 23531)
( 26823 26051 26694 26780 26488 26365 27123 26940 25808 #| data0 |# 26328)
( 23646 22847 23617 23758 22917 23632 23079 22942 23874 #| data0 |# 23289)
( 25282 25936 26320 26291 24955 25645 25681 25021 26446 #| data0 |# 26361)
( 28450 28023 27483 28952 28752 27434 28069 28263 26749 #| data0 |# 28367)
( 29508 31450 31638 29816 29222 30003 30485 31096 31157 #| data0 |# 29785)
( 27914 27625 27620 26701 26869 27294 27460 27925 28021 #| data0 |# 27316)
( 30074 28476 28677 30243 30013 30463 30058 31174 29043 #| data0 |# 30051)
( 25308 25018 24897 25150 24867 23711 23713 24866 23565 #| data0 |# 24817)
( 26700 25861 27140 25614 26624 25669 26471 26194 26787 #| data0 |# 26811)
( 23205 22807 23451 22462 23237 22933 23721 23337 24274 #| data0 |# 23349)
( 24456 26031 26156 25088 24134 26165 25432 25228 25073 #| data0 |# 24991)
( 13757 14059 13953 13893 14656 13742 14537 14643 13871 #| data0 |# 13808)
( 15010 15258 14814 14861 14711 14568 14737 14851 14861 #| data0 |# 14874)
( 13512 13996 13757 13124 13664 13897 13688 13726 13392 #| data0 |# 13154)
( 14406 13863 13797 14108 13779 14619 14043 14516 14577 #| data0 |# 13904)
( 4587 4519 4628 4598 4661 4573 4545 4570 4605 #| data0 |# 4554)
( 5024 5251 5202 5043 5229 5311 5133 5284 5343 #| data0 |# 5232)
( 3746 3847 3911 3980 4022 3916 3924 3901 3945 #| data0 |# 3870)
( 4698 4810 4740 4751 4574 4749 4873 4961 4791 #| data0 |# 4971)
( 14797 14473 14608 14862 14837 14094 14368 15057 14504 #| data0 |# 14603)
( 14266 14326 14575 14613 14661 14935 14591 14458 14691 #| data0 |# 14809)
( 14067 13742 13877 13799 13830 13846 13567 13713 13814 #| data0 |# 12997)
( 13768 13813 13845 13868 13878 14329 14134 14326 13820 #| data0 |# 13899)
( 4718 5101 4892 5048 4784 5020 4766 4895 4749 #| data0 |# 4850)
( 5189 5201 5544 5206 5463 5243 5158 5250 5457 #| data0 |# 5075)
( 3978 4007 4055 4000 3990 4123 3968 4057 3926 #| data0 |# 3995)
( 4486 4545 4519 4300 4400 4456 4455 4504 4534 #| data0 |# 4498)
( 14568 13854 14312 14409 14117 13668 14594 14464 13970 #| data0 |# 14431)
( 14519 14820 13968 14708 15360 15229 15242 15254 14849 #| data0 |# 14932)
( 13784 13854 13855 13850 13768 13979 13753 13429 13756 #| data0 |# 13839)
( 14462 14540 14588 14175 14243 14065 14187 14744 14288 #| data0 |# 14344)
( 4699 4663 4733 4512 4580 4602 4503 4545 4450 #| data0 |# 4544)
( 5371 5495 5319 5283 5412 5429 5429 5382 5339 #| data0 |# 5370)
( 3952 3961 4003 3836 4019 3771 3977 3802 3748 #| data0 |# 3850)
( 4780 4784 4926 4941 4881 4899 4671 4891 4887 #| data0 |# 4755)
( 14206 14572 14296 14634 14348 14079 14945 14254 14407 #| data0 |# 14102)
( 15272 14951 14592 14732 14321 15051 15282 13850 13865 #| data0 |# 14519)
( 13465 13837 13572 13328 13688 13851 13716 13886 13378 #| data0 |# 12926)
( 13740 13555 13880 13228 13479 14185 14408 14165 14261 #| data0 |# 13817)
( 4837 4828 4805 4688 4912 4814 4875 4825 4796 #| data0 |# 4823)
( 5388 5309 5176 5240 5268 5215 5272 5203 5216 #| data0 |# 5351)
( 3918 3926 3996 4008 3888 4011 4024 3920 3954 #| data0 |# 3881)
( 4335 4387 4481 4511 4329 4392 4536 4414 4502 #| data0 |# 4377)
( 29036 28493 30209 29362 29806 29555 27801 29003 29249 #| data0 |# 29158)
( 26698 26557 27567 26055 26103 28206 26195 26522 26669 #| data0 |# 27008)
( 29199 29373 27405 29184 28202 28556 29589 29181 28816 #| data0 |# 29330)
( 25654 26799 27336 27314 27099 25863 26453 27315 27080 #| data0 |# 27235)
( 23780 25854 23709 25593 25040 25735 26917 23911 23859 #| data0 |# 24520)
( 23486 23807 23369 23561 23453 23179 23969 22858 23551 #| data0 |# 22492)
( 24561 24945 24371 25079 24580 25459 25043 25616 23411 #| data0 |# 25269)
( 22082 22877 23387 23056 23375 23123 23073 23174 22590 #| data0 |# 22504)
( 29920 29615 30295 29706 30719 30330 30397 29688 30130 #| data0 |# 30777)
( 27666 27125 27880 26911 27685 28248 28095 26533 27789 #| data0 |# 27654)
( 28946 28414 28821 28061 28280 28385 28676 27974 28034 #| data0 |# 28204)
( 26239 27476 26511 26959 25306 27506 27884 27356 27609 #| data0 |# 26688)
( 26076 25641 25736 25730 25682 26354 24205 25761 25670 #| data0 |# 24985)
( 23738 22920 23577 23952 24202 23220 23676 24116 24330 #| data0 |# 23940)
( 23823 24797 24584 25378 25120 24150 24987 24190 24270 #| data0 |# 25254)
( 22583 22899 21762 22084 21685 22386 22196 21841 21432 #| data0 |# 23044)
( 29343 29320 29894 29638 29509 29436 28548 29496 29208 #| data0 |# 29228)
( 28053 29058 28359 26605 26584 27791 28014 26638 26461 #| data0 |# 26516)
( 28849 28220 29149 29723 28937 29453 29498 28791 28705 #| data0 |# 27293)
( 26831 25740 27542 27625 27194 27213 26289 27621 27588 #| data0 |# 26975)
( 25647 25804 25525 25971 25553 25908 25377 24662 25892 #| data0 |# 25263)
( 24043 23618 23848 23509 24583 24199 23503 23187 24127 #| data0 |# 23775)
( 24240 25505 25279 24808 25185 23805 24802 25357 24837 #| data0 |# 24295)
( 23490 22709 23305 23945 23037 23298 22570 22654 22788 #| data0 |# 22244)
( 29405 29392 29225 29283 30108 30244 28969 29165 30308 #| data0 |# 28630)
( 27799 28407 28247 27976 28224 29063 28343 26095 28276 #| data0 |# 27469)
( 28537 28723 28313 28501 28866 29356 28846 28754 28222 #| data0 |# 27831)
( 27133 25727 26469 26854 26142 28719 26787 25803 26954 #| data0 |# 26278)
( 25827 26510 25369 25408 25931 26458 26299 25765 26515 #| data0 |# 24361)
( 23601 23147 23309 23788 23710 23919 23609 22493 23973 #| data0 |# 23948)
( 24121 25004 24537 23850 24174 25313 25290 25316 25750 #| data0 |# 23989)
( 22077 22781 22994 22035 22228 22246 22277 23041 23205 #| data0 |# 22848)
( 16134 15976 15879 15613 15385 15988 16329 16026 15534 #| data0 |# 15889)
( 12163 11688 12114 12219 11764 12074 11769 12010 12069 #| data0 |# 12327)
( 14871 14994 15072 15190 14828 14988 15480 15421 15409 #| data0 |# 14870)
( 11143 11474 11518 11239 11304 11550 10969 11409 11245 #| data0 |# 11292)
( 6145 6284 6335 6221 6415 6299 6223 6444 6329 #| data0 |# 6406)
( 2020 2002 2134 2140 2179 2106 2102 2033 2091 #| data0 |# 2160)
( 5630 5744 5605 5617 5552 5461 5715 5570 5601 #| data0 |# 5606)
( 1627 1631 1643 1653 1650 1631 1684 1649 1667 #| data0 |# 1658)
( 16143 15937 15901 16624 16105 16150 15793 15850 15983 #| data0 |# 16056)
( 11905 11734 11899 11541 12108 12008 12144 11657 11790 #| data0 |# 11572)
( 15396 15068 15937 14952 15053 15973 15598 15177 15210 #| data0 |# 15664)
( 11428 10671 11215 10867 10898 11029 11293 11247 11207 #| data0 |# 10934)
( 6683 6375 6574 6670 6478 6751 6355 6665 6570 #| data0 |# 6595)
( 2112 2054 2122 2053 2067 2128 2044 2085 2149 #| data0 |# 2191)
( 5777 5780 5580 5715 5668 5766 5920 5794 5662 #| data0 |# 5601)
( 1340 1322 1313 1339 1329 1331 1351 1315 1335 #| data0 |# 1341)
( 15714 16014 15520 16009 16012 15631 15781 15718 15464 #| data0 |# 15967)
( 11846 11249 11208 11412 11258 11437 12226 11753 11779 #| data0 |# 11736)
( 15146 14886 15127 15262 15251 15418 14987 15289 15206 #| data0 |# 15312)
( 11491 11477 11455 11591 11137 11042 11964 11312 11138 #| data0 |# 11393)
( 6337 6104 6291 6112 6362 6053 6491 6159 5977 #| data0 |# 6017)
( 2069 2143 2084 2147 2088 2099 2067 2080 2108 #| data0 |# 2146)
( 5506 5497 5866 5647 5652 5346 5519 5781 5770 #| data0 |# 5757)
( 1639 1615 1611 1638 1606 1578 1612 1595 1600 #| data0 |# 1631)
( 15725 15373 16423 16060 16625 15586 15749 15913 15537 #| data0 |# 16260)
( 11416 11857 11766 11481 11551 12167 11828 11818 11917 #| data0 |# 11680)
( 15250 14967 14881 15312 15463 14996 14774 14816 15185 #| data0 |# 14659)
( 10872 11238 10871 10711 10749 11116 10846 10908 10631 #| data0 |# 10730)
( 6169 6817 6413 6568 6599 6490 6521 6576 6401 #| data0 |# 6597)
( 2009 2000 2026 2116 2141 2120 2105 2166 2173 #| data0 |# 2129)
( 5315 5639 5530 5649 5615 5467 5751 5663 5608 #| data0 |# 5688)
( 1308 1239 1259 1251 1315 1250 1333 1319 1252 #| data0 |# 1276)
( 1336 1354 1317 1303 1307 1333 1336 1347 1315 #| data0 |# 1377)
( 6105 6398 6695 6161 6372 6592 6605 6572 6403 #| data0 |# 6453)
( 1968 1971 1953 1976 1998 1940 1901 1957 1938 #| data0 |# 1918)
( 7140 7354 7667 6959 6899 6987 7366 7148 7066 #| data0 |# 6785)
( 11236 11582 11748 11713 11728 11452 11143 11236 11005 #| data0 |# 11363)
( 17110 17058 16911 16906 17052 16721 16922 16943 16720 #| data0 |# 16919)
( 12178 12499 12201 11815 12810 12317 11472 11859 12121 #| data0 |# 12370)
( 17332 18299 17535 17885 17572 17782 18330 16548 17593 #| data0 |# 18263)
( 1654 1640 1658 1663 1704 1671 1671 1734 1671 #| data0 |# 1697)
( 6570 6619 6527 6441 6666 6286 6740 6270 6548 #| data0 |# 6393)
( 1878 1894 1921 1903 1831 1812 1929 1896 1838 #| data0 |# 1920)
( 6757 6802 6789 6996 6875 6695 6683 6576 6889 #| data0 |# 6915)
( 11777 11259 12214 11874 11619 11766 11655 11556 11636 #| data0 |# 11579)
( 17520 17348 16884 17419 17550 17543 16899 16678 17172 #| data0 |# 16748)
( 12050 12033 11887 12247 11739 11812 12292 11858 12362 #| data0 |# 12142)
( 16846 17138 17154 17135 16075 16729 17017 16883 16524 #| data0 |# 16769)
( 1338 1339 1362 1373 1322 1369 1360 1347 1394 #| data0 |# 1344)
( 6600 6688 6515 6269 6670 6614 6689 6688 6529 #| data0 |# 6483)
( 1995 1981 1967 1970 1934 1985 1989 1955 2043 #| data0 |# 2049)
( 7093 7211 7161 7387 6945 7056 7216 7370 7130 #| data0 |# 7204)
( 11644 11621 11539 11295 11626 11317 11480 11456 11620 #| data0 |# 11481)
( 17243 17226 16993 17407 16943 16597 16882 16178 16997 #| data0 |# 17139)
( 11975 12229 12129 11818 12364 12040 11956 12071 12349 #| data0 |# 11881)
( 17488 17152 17385 17413 16697 17540 17252 17951 17116 #| data0 |# 17394)
( 1737 1783 1722 1740 1731 1713 1730 1716 1694 #| data0 |# 1685)
( 6530 6833 6513 6519 6519 6687 6698 6734 6764 #| data0 |# 6530)
( 1965 1940 2024 1970 1991 1957 1989 2001 1953 #| data0 |# 2030)
( 6801 7201 6771 6923 6948 6884 7094 7155 6982 #| data0 |# 7171)
( 11321 11643 11750 11732 11894 11600 12104 11687 12137 #| data0 |# 11788)
( 16619 17163 17261 17047 17118 17163 17081 16999 16646 #| data0 |# 17091)
( 12384 12047 12238 12175 12350 12156 11941 12079 12009 #| data0 |# 12051)
( 17002 17042 16699 17248 17003 16991 16957 17102 17671 #| data0 |# 17165)
( 22513 22869 22056 22793 22534 23058 23086 23043 22387 #| data0 |# 23002)
( 25727 26424 25887 25573 26323 26047 25446 25412 26001 #| data0 |# 26588)
( 23268 23602 24222 23577 23397 23303 23849 24036 23380 #| data0 |# 24057)
( 26073 28021 27789 27710 27102 27947 26925 26961 26323 #| data0 |# 26286)
( 26607 26736 27726 26023 27751 27755 27639 28094 27536 #| data0 |# 27837)
( 29509 29319 31934 30553 31035 30869 31576 30883 30936 #| data0 |# 31550)
( 28391 29214 29258 28994 28554 29465 29420 28623 28778 #| data0 |# 29452)
( 32810 31832 31947 31134 31850 32668 31831 31603 31931 #| data0 |# 31938)
( 22346 23847 22447 22186 23161 23024 22296 23152 23180 #| data0 |# 23231)
( 26522 25462 26053 25538 25537 25716 25921 25206 25251 #| data0 |# 25976)
( 24051 24280 23768 23057 23915 24232 23097 23627 23721 #| data0 |# 22951)
( 26641 26749 26932 26882 27226 26278 27215 27002 26964 #| data0 |# 27182)
( 28499 28080 27539 28265 28675 28409 28307 28349 27519 #| data0 |# 28857)
( 31350 31285 30941 30522 30983 31275 31199 31506 31449 #| data0 |# 30961)
( 28626 29745 29950 28705 29184 26852 29725 29904 28409 #| data0 |# 27816)
( 32392 32083 32070 31868 31632 32056 30926 31921 31733 #| data0 |# 31815)
( 23112 22935 23028 22629 23111 22548 22788 22159 22194 #| data0 |# 23181)
( 27514 26361 26869 27661 26974 27011 25952 26118 26375 #| data0 |# 26505)
( 23975 24438 23672 23781 23983 23746 23575 22678 24305 #| data0 |# 23734)
( 26896 26219 27066 27266 27201 26916 26541 28106 27135 #| data0 |# 26906)
( 28617 28778 28311 27981 27313 27831 27181 27773 28867 #| data0 |# 28748)
( 32565 30053 31190 31034 32756 31659 30737 31342 32678 #| data0 |# 31884)
( 27522 28683 27720 28395 28838 29113 28913 27949 28355 #| data0 |# 28748)
( 32584 31904 31176 30974 30979 32058 31110 32449 32486 #| data0 |# 33206)
( 22678 22506 23015 22401 23129 22735 22588 23383 22414 #| data0 |# 23060)
( 26379 26474 25349 26995 25587 25778 26483 25065 26541 #| data0 |# 26306)
( 23808 24513 24870 24528 23255 23692 24613 23426 24376 #| data0 |# 23364)
( 27801 27296 27633 27439 27105 26411 27755 27749 26392 #| data0 |# 27588)
( 28605 27547 27203 27818 26080 27593 28623 28548 27932 #| data0 |# 27305)
( 31842 31666 32003 30612 31981 31493 32224 31885 30213 #| data0 |# 30709)
( 28699 29422 28425 28246 29496 28609 29364 29125 28253 #| data0 |# 28471)
( 31949 32114 31018 31124 31735 31471 32028 31728 32464 #| data0 |# 31817)
( 3388 3330 3395 3437 3431 3495 3569 3352 3585 #| data0 |# 3472)
( 3783 3954 4248 3962 4101 3888 3972 4185 3680 #| data0 |# 3871)
( 4335 4378 4183 4372 4267 4249 4238 4459 4363 #| data0 |# 4062)
( 4206 4580 4643 4549 4448 4328 4507 4427 4502 #| data0 |# 4593)
( 13560 14001 12917 13921 13422 13293 13582 13946 13161 #| data0 |# 13596)
( 14465 13951 14832 13466 13950 14096 13605 13671 14780 #| data0 |# 13888)
( 14015 14664 14131 13890 14112 14446 13663 14113 14433 #| data0 |# 13934)
( 14138 15173 14792 14370 15290 14170 13843 14443 14946 #| data0 |# 14752)
( 3938 3886 3878 3828 3847 3942 3742 3852 3916 #| data0 |# 3651)
( 4059 3921 3884 3949 3926 3828 4015 4039 3836 #| data0 |# 3789)
( 4069 4301 4349 4388 4075 4336 4185 4252 4065 #| data0 |# 4212)
( 4244 4295 4413 4168 4205 4227 4208 4325 4407 #| data0 |# 4172)
( 13868 13967 13684 13963 13430 14014 13288 13859 13611 #| data0 |# 13191)
( 13128 14224 14155 14222 14052 14004 13248 13492 14134 #| data0 |# 14017)
( 13481 14599 14233 14029 14216 14592 14280 13944 14379 #| data0 |# 14480)
( 14543 14175 14260 14744 14664 14321 14501 14539 14163 #| data0 |# 14415)
( 3315 3627 3368 3405 3290 3601 3335 3333 3293 #| data0 |# 3520)
( 3967 4084 3873 4112 4022 4000 3992 3927 4059 #| data0 |# 3893)
( 4349 4283 4474 4207 4307 4163 4279 4251 4371 #| data0 |# 4333)
( 4529 4462 4618 4579 4619 4532 4641 4586 4497 #| data0 |# 4588)
( 13760 13435 13844 12844 13590 13424 13686 13377 13188 #| data0 |# 14188)
( 13985 14373 13879 14509 14087 14120 14208 14294 14117 #| data0 |# 14251)
( 14201 14235 13440 14000 13997 14280 14149 13718 13609 #| data0 |# 14156)
( 14211 14296 14919 14227 14326 15260 14201 15071 15180 #| data0 |# 14852)
( 4021 3846 3987 4011 3837 3813 3705 3903 4030 #| data0 |# 3979)
( 4023 3936 3957 3915 4026 3920 3943 4048 3956 #| data0 |# 4047)
( 4203 4260 4166 4278 4111 4256 4197 4382 4215 #| data0 |# 4322)
( 4215 4265 4274 4476 4215 4262 4290 4191 4104 #| data0 |# 4264)
( 14133 13997 13330 13335 13920 14112 13667 13505 14159 #| data0 |# 14206)
( 13195 14021 14271 13899 14026 14033 14097 13474 13979 #| data0 |# 14113)
( 14224 13635 14128 13959 13946 14263 14135 14130 13357 #| data0 |# 13995)
( 13773 14163 14674 14655 14243 14092 14443 14504 14232 #| data0 |# 14436)
( 24853 23878 24368 24838 24837 24459 24434 24785 25304 #| data0 |# 24983)
( 23721 22335 23244 23119 23062 22486 22913 24096 23069 #| data0 |# 23675)
( 25480 26031 26506 26643 25411 24458 26476 26026 27333 #| data0 |# 26581)
( 24349 24180 24174 23449 24337 24192 23279 24077 23481 #| data0 |# 24024)
( 30443 30498 29079 30621 30224 29847 29901 31051 30362 #| data0 |# 31059)
( 27997 27546 28680 26699 27988 28387 26431 28594 26890 #| data0 |# 26397)
( 31055 29199 31024 30589 30992 31818 31138 29542 30113 #| data0 |# 30887)
( 29477 28595 29411 28242 28221 29949 28315 30252 30021 #| data0 |# 27240)
( 25822 25084 25385 25860 24619 25193 25646 26049 25494 #| data0 |# 23722)
( 24002 23427 22818 22809 22995 23664 22487 22894 22902 #| data0 |# 22468)
( 25856 25999 26521 26103 25096 26540 25524 26104 25766 #| data0 |# 25971)
( 24049 24431 23347 23845 23231 23690 23969 24476 23786 #| data0 |# 24454)
( 30026 30401 30825 28612 31036 29072 30763 30846 31122 #| data0 |# 28573)
( 27243 27434 28367 28526 27790 28095 27928 27934 27815 #| data0 |# 27367)
( 31178 31143 30963 30083 31100 30991 31116 30817 30528 #| data0 |# 31292)
( 28178 29164 27367 28947 29303 27311 29504 29526 28261 #| data0 |# 27791)
( 24869 25083 23576 23319 24911 25120 24957 25873 24965 #| data0 |# 23828)
( 23619 22456 23783 22674 22955 23442 23615 22920 23040 #| data0 |# 22571)
( 26029 26411 27219 26307 25711 27175 26054 24856 26021 #| data0 |# 26118)
( 24399 24595 24660 23655 24629 24722 24077 24553 24635 #| data0 |# 24673)
( 29254 30678 30506 30440 30749 30748 30914 30869 30745 #| data0 |# 29647)
( 27518 28297 29133 29230 28426 28830 29404 28211 27078 #| data0 |# 27367)
( 30821 30698 31829 31378 31567 28956 30896 31532 30975 #| data0 |# 31683)
( 28759 29670 27987 29080 29299 29288 28942 29145 28952 #| data0 |# 29492)
( 25376 24479 25172 25497 25656 25068 26305 26062 24657 #| data0 |# 25537)
( 23764 23544 23343 23760 23631 24022 23256 22833 22482 #| data0 |# 23336)
( 26190 26470 25433 25797 25744 25931 24651 26233 24364 #| data0 |# 25052)
( 22532 23906 22948 22844 23615 23509 23659 22351 23744 #| data0 |# 24652)
( 30544 30469 30004 29587 29456 30787 31704 31421 30032 #| data0 |# 30243)
( 28910 28929 28954 29177 28489 29017 29317 29074 28957 #| data0 |# 29042)
( 30052 30641 29736 31304 30573 30261 33670 30285 32442 #| data0 |# 30489)
( 28648 28212 26908 27071 27662 28665 28118 28173 28007 #| data0 |# 29285)
( 9096 9082 9594 9047 9470 8987 9055 9413 8977 #| data0 |# 9632)
( 13910 15228 15012 15045 15087 14138 15372 14990 14857 #| data0 |# 15421)
( 10193 9837 9819 9573 9985 10113 9731 9810 10086 #| data0 |# 9900)
( 15767 15644 16008 15407 14886 15804 15956 15596 15630 #| data0 |# 15197)
( 18674 19141 19314 19257 19322 19458 19059 19359 19674 #| data0 |# 19331)
( 24016 24675 25012 24045 24615 24962 25037 25026 24624 #| data0 |# 24869)
( 18415 19414 18555 19517 20306 19981 19870 19592 20115 #| data0 |# 20075)
( 26004 24866 23759 25016 24241 24084 25106 24043 25699 #| data0 |# 25865)
( 9948 9475 9412 9719 9240 9308 9666 8878 9327 #| data0 |# 9455)
( 15018 15424 14994 14718 14602 14808 14708 14867 14640 #| data0 |# 14810)
( 9863 9638 9891 9912 9813 9698 9973 9423 9887 #| data0 |# 9554)
( 15537 14896 15322 15366 15324 15486 14911 15413 14906 #| data0 |# 15269)
( 18242 18315 19563 19275 19401 19306 19332 19217 19588 #| data0 |# 19364)
( 25183 25222 24968 24235 24486 24828 25028 25190 24023 #| data0 |# 25186)
( 18558 19190 19171 20331 19388 20160 20138 18586 19173 #| data0 |# 20374)
( 25257 25049 25404 25615 25331 25403 25506 24989 25731 #| data0 |# 24966)
( 9402 9346 8818 9037 9293 9223 9017 9229 8989 #| data0 |# 9205)
( 14531 14918 15065 15032 14961 14766 14363 14795 15131 #| data0 |# 14909)
( 9734 9775 9614 9107 9525 9735 9018 9908 9650 #| data0 |# 9778)
( 15555 15133 15589 15517 15136 15658 15692 15097 15332 #| data0 |# 14647)
( 18758 18942 18822 19009 18811 18719 19023 18399 19000 #| data0 |# 19031)
( 24880 24401 24423 24194 24254 24676 24534 23619 25066 #| data0 |# 24351)
( 19594 19725 19147 19919 19357 20012 20078 20154 19523 #| data0 |# 20132)
( 24769 24849 24928 25485 25113 24463 25809 25798 25067 #| data0 |# 25053)
( 9650 9425 9423 9425 9177 9568 9472 9337 9549 #| data0 |# 9723)
( 15227 14752 15102 15028 15143 13998 15268 14651 15518 #| data0 |# 14696)
( 9665 9848 9911 9843 9610 9231 9557 9994 9925 #| data0 |# 9925)
( 15159 15507 15108 15159 15444 15443 15765 14926 15153 #| data0 |# 15277)
( 19373 19182 19136 18868 19370 19541 19089 19321 19354 #| data0 |# 19474)
( 25001 24468 24306 24825 24957 23985 24746 24814 24682 #| data0 |# 24530)
( 20169 18864 19507 19564 19211 19072 19311 19921 19735 #| data0 |# 19402)
( 24839 24857 24356 24944 24616 24557 23781 23826 23505 #| data0 |# 23927)
( 28796 27284 27442 28708 28079 28746 27270 27696 28384 #| data0 |# 27297)
( 32591 32488 30452 31695 30972 30975 31163 32449 32523 #| data0 |# 30545)
( 28861 29184 28915 29093 29063 29899 28049 28848 28976 #| data0 |# 28610)
( 31325 33273 32089 31921 31888 32107 33201 31923 31713 #| data0 |# 32334)
( 32709 31317 33194 32675 32422 32968 33072 34026 32715 #| data0 |# 32887)
( 35304 35844 36157 36496 35847 34772 37272 35717 37057 #| data0 |# 36419)
( 33484 32905 32940 32006 32912 34681 33917 33141 33353 #| data0 |# 33938)
( 36412 36673 36707 36417 36348 36578 36146 36612 36361 #| data0 |# 35649)
( 28888 27804 29401 29003 28691 28347 28122 29262 28555 #| data0 |# 28841)
( 30337 30975 30624 31233 30170 30873 31550 30123 31935 #| data0 |# 30726)
( 29992 28116 28775 29504 29799 29097 29575 29635 29716 #| data0 |# 28478)
( 30810 31686 32163 32057 30613 31581 31720 31285 31530 #| data0 |# 32014)
( 33767 32812 31870 33425 32211 31795 32046 33132 31897 #| data0 |# 32076)
( 36067 36249 35445 36110 35543 35576 36034 35707 35487 #| data0 |# 35313)
( 33537 31949 32969 34225 33530 32865 32854 33402 33208 #| data0 |# 31808)
( 36715 35947 36834 36186 35658 36667 35865 36274 36358 #| data0 |# 36659)
( 27132 27917 26656 27014 27789 27944 27717 27900 27813 #| data0 |# 27987)
( 32143 30365 31521 32082 32072 30589 31672 32655 32051 #| data0 |# 31292)
( 27579 28729 29647 28869 29227 27826 29283 27981 29160 #| data0 |# 27992)
( 32038 32405 32288 32533 31402 31718 31720 31609 30982 #| data0 |# 32407)
( 33473 31974 31920 31792 32565 33950 31910 32891 32186 #| data0 |# 32886)
( 35779 35408 34722 35834 35102 35636 36745 35658 36192 #| data0 |# 36259)
( 32923 33492 34552 33736 34086 33890 32710 33458 34391 #| data0 |# 34752)
( 37306 35150 35101 35978 37100 35064 35844 36798 36611 #| data0 |# 35969)
( 27309 27658 28501 27555 27961 27690 27430 28992 27348 #| data0 |# 27149)
( 31790 30225 30340 31119 31462 31420 30797 32009 30659 #| data0 |# 31726)
( 29274 29334 29166 27637 29028 27507 28595 28371 28288 #| data0 |# 28889)
( 32070 32446 32096 31409 32428 32619 31438 30771 31908 #| data0 |# 31764)
( 33682 34006 32103 33774 33670 32512 31902 31857 33180 #| data0 |# 32628)
( 36467 35772 35614 36190 35229 36198 35448 35843 35382 #| data0 |# 36098)
( 32850 33588 32614 34055 34005 33872 33926 33037 33549 #| data0 |# 32761)
( 36617 34978 36731 36691 34896 37251 35533 34913 35861 #| data0 |# 35394)
( 10330 10998 11154 10742 11005 11109 10903 10555 11051 #| data0 |# 10764)
( 12466 11891 12618 12451 12079 11494 11948 12575 11621 #| data0 |# 12254)
( 11596 11772 11710 10747 10526 11494 11553 11590 11524 #| data0 |# 11699)
( 12662 12443 12529 12797 12103 12757 12882 12515 12744 #| data0 |# 12781)
( 20933 20976 20880 20213 20142 21460 20856 20061 20891 #| data0 |# 20905)
( 22246 21774 21618 22227 21475 21130 22087 21776 21335 #| data0 |# 22449)
( 22141 20478 21840 20434 21791 21250 21463 20436 20367 #| data0 |# 22228)
( 22997 22795 22979 22943 22673 21888 22110 22495 23088 #| data0 |# 22757)
( 11134 10872 10827 10705 10782 11298 10931 10906 11066 #| data0 |# 10850)
( 11937 12005 12591 11519 12129 11890 12602 12207 11627 #| data0 |# 12189)
( 12040 11134 11930 11080 11387 11122 11704 11425 11605 #| data0 |# 12006)
( 12334 12650 12535 12772 12981 12251 12957 13021 12554 #| data0 |# 12667)
( 21455 21555 20084 21588 21106 21569 21463 21051 19668 #| data0 |# 20795)
( 20626 20281 21158 21536 20545 21897 21633 22024 21785 #| data0 |# 20315)
( 22087 21779 21644 21845 21695 22161 22398 22488 21870 #| data0 |# 21676)
( 21201 22433 21179 22123 21198 21456 22295 22704 22353 #| data0 |# 22188)
( 10611 10910 10748 10740 10449 10810 10835 10842 10866 #| data0 |# 10620)
( 12254 12517 12175 11987 12076 12536 12386 12247 12594 #| data0 |# 12453)
( 11657 11597 11364 11626 11404 11547 11403 11101 11503 #| data0 |# 11453)
( 12774 13052 12138 12673 13005 12975 12868 13185 12238 #| data0 |# 12349)
( 22203 21146 21048 20430 21817 20825 20239 20415 20668 #| data0 |# 20839)
( 21375 22333 21373 21943 22280 22422 21219 21988 21851 #| data0 |# 21568)
( 22637 22778 22312 21775 22035 22521 22767 21905 21977 #| data0 |# 22555)
( 22333 22063 23082 22105 22411 22749 23406 22019 23252 #| data0 |# 23158)
( 11140 11133 10831 11194 10796 11008 10889 11296 10784 #| data0 |# 10878)
( 12166 11974 12172 12028 12085 12167 12015 12400 12065 #| data0 |# 12043)
( 11628 11570 11635 11567 11723 11464 11741 11824 11727 #| data0 |# 11891)
( 12693 12768 12183 12475 12059 12391 12280 12838 12034 #| data0 |# 12506)
( 19752 20823 19645 21029 21951 21172 20643 21554 19782 #| data0 |# 20861)
( 21766 20726 22307 22272 21077 21922 22033 22406 20915 #| data0 |# 22327)
( 21677 21492 22670 21927 22030 21926 22141 21746 22268 #| data0 |# 22083)
( 21500 22524 22019 22683 21750 22673 21917 22596 21597 #| data0 |# 22817)
( 30347 29094 29621 28924 29202 30927 29775 29803 29189 #| data0 |# 30111)
( 29739 27574 29124 27008 27897 28560 28172 28859 28890 #| data0 |# 29304)
( 30270 30520 30414 30859 30667 30295 30844 31710 31057 #| data0 |# 30816)
( 28929 29504 29577 29009 30740 29427 27481 29741 28781 #| data0 |# 29095)
( 35454 33636 34204 33984 33602 34522 34799 33689 33109 #| data0 |# 34537)
( 32746 33018 34093 33961 33553 33455 33138 32567 33728 #| data0 |# 32307)
( 36587 35050 35914 34288 35210 36915 35948 34442 35046 #| data0 |# 35764)
( 33825 33459 34051 33944 33804 33093 33800 33694 32563 #| data0 |# 32970)
( 30484 29747 29735 30557 30715 30467 30392 30502 30465 #| data0 |# 30012)
( 29156 28110 27645 28152 28123 28034 28124 29620 27585 #| data0 |# 27869)
( 30342 31356 30601 29425 29339 29541 30313 29799 30535 #| data0 |# 30890)
( 27058 27629 28889 27966 29458 27692 28885 29107 29048 #| data0 |# 26888)
( 34466 34594 34846 35095 35334 33481 35345 33997 34787 #| data0 |# 34152)
( 31646 33652 34073 31901 32843 32542 33797 32897 33005 #| data0 |# 33384)
( 34850 35929 34193 35984 36112 33912 34211 36249 36011 #| data0 |# 35739)
( 33284 33546 33828 33227 31911 33135 33251 33464 32955 #| data0 |# 32822)
( 28770 29805 30696 31492 30628 30734 31127 29937 29519 #| data0 |# 30226)
( 28670 29061 29272 28800 29121 28487 27348 29079 27035 #| data0 |# 28967)
( 30637 31085 31920 30956 31184 31558 31451 29519 31052 #| data0 |# 31008)
( 28135 29217 29087 29341 29743 29117 29438 29024 28281 #| data0 |# 29452)
( 34060 33919 33994 34046 34728 34410 33225 34496 33418 #| data0 |# 33312)
( 33720 31029 32460 31831 32252 33258 32230 33892 33169 #| data0 |# 31694)
( 37054 36564 35726 36371 35017 34193 35085 35634 35334 #| data0 |# 34851)
( 34056 34211 34734 34328 33636 34016 33270 34161 34066 #| data0 |# 34157)
( 30496 30627 30653 30908 31035 31899 30916 31920 30035 #| data0 |# 30367)
( 28976 27650 26967 27210 27296 28735 27922 28623 28681 #| data0 |# 28041)
( 31061 31270 30720 31810 31009 31233 29675 30887 29809 #| data0 |# 31862)
( 28913 28762 27847 27613 29327 28974 29454 27600 28057 #| data0 |# 29068)
( 35936 33471 34022 34081 33691 32677 33715 34426 34530 #| data0 |# 33692)
( 32449 33367 32736 32646 33876 33161 32374 32403 33182 #| data0 |# 31984)
( 34589 35027 34514 34846 36051 35234 35905 34760 36520 #| data0 |# 32987)
( 33419 34597 34063 34296 33982 33351 32814 34436 33578 #| data0 |# 33839)
( 31756 31640 32871 32895 32284 32609 32522 32705 32189 #| data0 |# 32688)
( 34660 34359 34784 34851 34338 34712 35311 34576 35089 #| data0 |# 34851)
( 31793 32343 31141 32508 32138 31789 31304 30741 32341 #| data0 |# 32542)
( 32956 33268 35185 35056 33499 34583 34408 35065 35366 #| data0 |# 34583)
( 28219 27467 28578 27295 28185 28811 27833 28364 28819 #| data0 |# 27650)
( 31217 30724 30668 30264 29970 30099 31079 31386 30946 #| data0 |# 31354)
( 26050 27565 27709 27785 27629 28269 27371 26794 27058 #| data0 |# 27347)
( 29843 30542 28875 29927 30267 30981 30143 30426 30912 #| data0 |# 30583)
( 31541 32969 33094 32175 32456 32501 33053 31371 32157 #| data0 |# 32212)
( 36150 34642 34824 35985 34232 34326 35793 35851 35002 #| data0 |# 34392)
( 30315 31858 30277 30491 32385 32119 32771 32361 32263 #| data0 |# 32391)
( 34582 34185 34118 33451 35264 34154 34833 33498 34943 #| data0 |# 33158)
( 28444 28158 26406 26280 27518 27622 28363 28583 26720 #| data0 |# 26334)
( 29918 29567 29959 29843 29900 30644 29624 31829 30429 #| data0 |# 31128)
( 27348 26794 26772 26961 25996 26881 27143 27471 27840 #| data0 |# 27648)
( 30508 30445 30113 29748 30212 30135 29645 29363 30135 #| data0 |# 28929)
( 32348 32408 32536 32687 32848 32681 32447 31050 32183 #| data0 |# 33027)
( 35014 35757 35632 33647 35515 35611 35823 35974 35732 #| data0 |# 36171)
( 31231 31989 31968 32271 31547 32214 32008 31659 31717 #| data0 |# 31694)
( 34660 35325 34140 34444 34097 34548 34297 34415 33893 #| data0 |# 34112)
( 27813 28456 28616 27700 27869 27724 27600 28970 27977 #| data0 |# 27065)
( 30378 31129 31954 31678 30311 30822 31615 32134 30374 #| data0 |# 29034)
( 27351 26522 26573 27330 26405 26493 26312 26876 27619 #| data0 |# 26262)
( 30730 29910 30139 30577 30716 29578 30857 28656 29331 #| data0 |# 29520)
( 32158 31944 32275 32902 32393 31532 32215 32877 32606 #| data0 |# 31298)
( 35478 36134 34951 36160 36166 34686 35180 36275 35376 #| data0 |# 34867)
( 32238 31313 30912 32051 31927 30935 31889 31313 31535 #| data0 |# 32011)
( 34792 34670 34248 33695 35348 33957 34475 35122 34980 #| data0 |# 33120)
( 28666 27590 28900 27765 27650 27840 27958 27645 27607 #| data0 |# 27472)
( 30802 30080 31120 30861 31829 31276 31117 31345 31859 #| data0 |# 30297)
( 27480 27213 26161 26283 27395 26853 26372 27285 26829 #| data0 |# 27484)
( 29244 29465 29795 29682 29515 29684 30367 30107 29745 #| data0 |# 29553)
( 20740 21523 20518 20789 21273 20855 20652 20802 20620 #| data0 |# 20666)
( 21485 21708 21998 21227 21818 21260 21942 22037 21573 #| data0 |# 22154)
( 20624 20504 20157 19175 20232 20635 20003 20600 20294 #| data0 |# 20455)
( 20727 21514 20499 21545 21722 21124 21355 21351 21267 #| data0 |# 21285)
( 12022 12096 12125 11146 11715 11961 11739 11911 11874 #| data0 |# 12090)
( 11985 11968 11984 11651 12055 12114 11679 11831 11618 #| data0 |# 11869)
( 10967 11244 11279 11283 11347 11352 11491 10934 11880 #| data0 |# 11252)
( 11275 11667 11623 11646 11680 11628 11704 11702 11378 #| data0 |# 11149)
( 22093 22121 21765 21345 21872 20877 21020 21715 20944 #| data0 |# 20921)
( 21697 22147 22035 21604 21268 21063 21577 21311 21997 #| data0 |# 21461)
( 20696 20597 20487 20157 20204 20466 20007 20407 20290 #| data0 |# 20171)
( 21330 20925 20416 21110 20432 20983 21020 20162 21016 #| data0 |# 21265)
( 12509 12086 12505 11968 12520 12384 12362 12375 12184 #| data0 |# 12415)
( 11928 11750 12028 11981 11986 11537 11854 11965 11534 #| data0 |# 11412)
( 11425 11537 11336 11173 11343 11538 10902 11729 11358 #| data0 |# 11056)
( 10870 11525 11348 11072 11348 11602 10812 10710 11112 #| data0 |# 10640)
( 21455 20572 21078 20800 21240 20643 21345 20927 20922 #| data0 |# 21661)
( 21963 21163 21722 21685 22482 22065 21907 21702 22325 #| data0 |# 21715)
( 20796 20453 20469 20236 20591 20453 20367 20263 21121 #| data0 |# 20505)
( 21373 21263 21141 20393 20476 20964 21710 21148 21716 #| data0 |# 21368)
( 11805 12123 12352 11892 11701 11878 11281 12174 11872 #| data0 |# 11869)
( 12609 11478 12117 11941 11787 12295 11458 11670 11834 #| data0 |# 11947)
( 11836 11443 11695 11746 11435 11424 11701 11559 11120 #| data0 |# 11121)
( 11696 11667 11372 11600 11504 11478 11432 11818 11391 #| data0 |# 11046)
( 20565 21386 21502 21775 21382 21598 21430 21739 21777 #| data0 |# 21511)
( 22068 22220 21973 22095 22690 21897 21612 21666 21864 #| data0 |# 21001)
( 20112 19967 20202 20965 20138 20260 19991 20407 20251 #| data0 |# 20724)
( 20450 21898 21726 22039 20472 20831 20469 21082 20484 #| data0 |# 20312)
( 12570 12295 12754 12520 12084 12625 11783 12524 11693 #| data0 |# 11948)
( 12348 11945 11887 12512 11866 11766 11493 12777 11547 #| data0 |# 12565)
( 11525 11324 11573 11685 11499 11609 11163 11551 11673 #| data0 |# 11304)
( 11110 11115 11307 11675 11154 10884 11216 10980 11482 #| data0 |# 11701)
( 33210 34069 31596 34793 33737 34712 34871 34621 34548 #| data0 |# 33068)
( 32325 32408 32658 32938 32214 30974 31221 32951 33189 #| data0 |# 32181)
( 33825 33433 34317 33822 33808 34234 34228 33835 34389 #| data0 |# 33648)
( 32417 30446 32769 31250 30640 31253 31124 32120 32330 #| data0 |# 32363)
( 28147 29417 30396 29600 30318 30430 29445 28326 29553 #| data0 |# 30144)
( 27784 28982 28692 28330 28792 28703 28414 27896 26337 #| data0 |# 28035)
( 29109 29493 29158 29732 29125 29597 29206 29234 29635 #| data0 |# 29545)
( 27184 27891 27489 27268 27977 27209 27163 27505 26793 #| data0 |# 27652)
( 35021 36145 34189 35930 35505 35670 35064 33825 34396 #| data0 |# 35012)
( 32164 32442 32186 31692 32532 32654 31381 30347 30785 #| data0 |# 31834)
( 34447 34165 34143 34109 34853 33926 34660 34573 34168 #| data0 |# 33248)
( 31410 31648 32048 32338 32048 32488 31651 31732 30951 #| data0 |# 31869)
( 28090 31316 30104 28307 28416 30931 28203 30209 29534 #| data0 |# 30041)
( 27712 27735 28633 28179 27803 28175 26270 28537 28583 #| data0 |# 27547)
( 29350 29894 27997 29774 29148 28770 29395 29258 29844 #| data0 |# 28913)
( 27360 25942 27578 27254 27639 27360 27004 27944 26280 #| data0 |# 26952)
( 33064 34215 34154 33189 33810 32897 32334 34205 34113 #| data0 |# 33724)
( 32459 32586 33230 32360 32612 31719 32577 32398 32558 #| data0 |# 32167)
( 33291 33801 33196 33227 33417 33236 32903 33663 34636 #| data0 |# 33102)
( 31543 31704 31330 30416 31586 31239 31684 31785 31139 #| data0 |# 31516)
( 30027 30180 30318 28452 30196 30159 30199 30144 28727 #| data0 |# 29731)
( 27888 28538 27700 27817 28317 26625 26883 28130 28066 #| data0 |# 27847)
( 29321 29225 29559 27496 27407 28853 29657 27431 29780 #| data0 |# 30035)
( 27080 27420 27338 26523 27672 27173 27593 26587 26477 #| data0 |# 26424)
( 34465 33946 33437 33593 34867 33923 34369 33696 33175 #| data0 |# 33468)
( 30918 31896 32267 32524 33219 32440 31946 32873 32102 #| data0 |# 32385)
( 32397 33073 34564 33997 32125 33811 34875 33799 33749 #| data0 |# 33649)
( 32520 30236 31360 31305 31201 31194 31332 31209 31080 #| data0 |# 30988)
( 30830 30554 31287 30057 30494 30100 29996 29765 29981 #| data0 |# 30316)
( 28493 27637 27457 27045 27568 27403 27595 28671 27743 #| data0 |# 26512)
( 30654 28841 29304 29278 27446 28540 28772 28413 29145 #| data0 |# 27140)
( 27710 25928 26179 27211 27020 26462 27050 26883 27378 #| data0 |# 26405)
( 22862 22933 22939 22093 22831 23322 22953 21148 22972 #| data0 |# 21612)
( 19186 18998 18711 19452 19159 17815 19228 18461 19086 #| data0 |# 19272)
( 21501 22402 22690 22897 22367 22807 22637 22005 22600 #| data0 |# 21711)
( 18980 17714 18630 18851 18854 18705 19207 19125 17357 #| data0 |# 18529)
( 13081 13864 13016 13902 13822 13614 13575 13866 13855 #| data0 |# 13697)
( 9052 9154 9053 9114 9064 9277 9173 8978 8853 #| data0 |# 9395)
( 13610 13592 13734 13552 13462 12913 13135 13473 12892 #| data0 |# 13507)
( 8900 8664 8601 8979 8505 8986 8753 8158 8819 #| data0 |# 9067)
( 22987 23490 23711 22022 23841 24178 23735 23153 23529 #| data0 |# 23247)
( 19218 19068 18525 18984 19632 18892 19030 19479 18862 #| data0 |# 17572)
( 22079 21244 22045 22547 22422 22281 22154 21797 22590 #| data0 |# 21006)
( 18492 17348 18190 18380 18442 17899 18429 18487 18173 #| data0 |# 18339)
( 13994 13962 14304 13845 13930 13849 14315 14309 13986 #| data0 |# 13223)
( 8996 8596 9032 8982 9092 9025 9081 9120 8968 #| data0 |# 8918)
( 13490 13318 13509 12574 13073 13424 13608 13378 13395 #| data0 |# 13302)
( 8287 8240 8119 8093 8126 8168 8231 8393 8209 #| data0 |# 8691)
( 23315 22987 23289 23328 21997 23951 23097 22960 22917 #| data0 |# 23082)
( 18810 19242 18559 19534 19433 19005 19765 19814 19844 #| data0 |# 17791)
( 21844 21499 22207 21088 22043 20519 22263 21692 22060 #| data0 |# 22087)
( 18451 17766 18511 18263 17839 18692 18736 17536 18575 #| data0 |# 18260)
( 13904 13818 13815 13943 12888 13949 14221 13946 13893 #| data0 |# 14184)
( 9326 9221 9127 8918 9222 8781 9200 8938 9249 #| data0 |# 8999)
( 13097 12781 13205 12422 13163 12976 13460 13237 13247 #| data0 |# 12913)
( 8273 8652 8654 8625 8704 8601 8769 8856 8632 #| data0 |# 8553)
( 23527 23611 23364 23327 23770 23272 23339 23737 23594 #| data0 |# 23337)
( 18175 19558 19119 18527 18915 19588 19371 19675 19860 #| data0 |# 18602)
( 22113 21126 21490 22541 22761 22520 21971 22330 22145 #| data0 |# 21094)
( 17896 17422 17724 18494 17955 18279 17866 18524 18367 #| data0 |# 18002)
( 14329 13203 14454 14269 13194 14153 14058 14302 14407 #| data0 |# 13967)
( 9004 9211 9083 9057 8743 9090 8913 8959 9029 #| data0 |# 9377)
( 12927 13287 13121 13297 13102 12669 13066 13143 13053 #| data0 |# 13140)
( 8047 8088 8094 7965 8095 8242 8315 8256 8436 #| data0 |# 7979)
( 27063 28986 27304 28578 27475 28191 28004 28014 28538 #| data0 |# 29513)
( 31815 32036 32529 31576 31128 31485 30429 31862 30527 #| data0 |# 30824)
( 26989 27359 26796 27604 27461 27316 28452 26748 27724 #| data0 |# 27383)
( 31448 30573 30403 30617 30708 30894 30322 29299 29841 #| data0 |# 29163)
( 23631 23532 23489 22955 24511 24092 23947 24009 23802 #| data0 |# 22818)
( 25823 25766 25698 25417 25889 24860 25649 25785 26826 #| data0 |# 26757)
( 23457 22354 23250 22771 23485 23617 22844 23380 23206 #| data0 |# 22834)
( 25365 26088 26149 25682 25440 26349 25545 25615 25581 #| data0 |# 26783)
( 28119 29628 27619 29193 27405 28634 28113 28775 28393 #| data0 |# 28889)
( 31920 32396 31962 31451 30908 30718 32087 30511 30196 #| data0 |# 32305)
( 27131 28768 27362 27378 26611 27406 27533 28444 27242 #| data0 |# 27284)
( 29196 30556 31077 28857 30660 29028 30906 30823 30712 #| data0 |# 30770)
( 23410 23917 23343 24053 23445 23288 24318 23751 23217 #| data0 |# 24507)
( 25304 26770 26002 26941 25387 25522 25320 25784 25826 #| data0 |# 25694)
( 22991 23858 22313 22737 23137 23344 22341 23010 22939 #| data0 |# 23780)
( 26404 26064 26233 24922 25105 26394 25905 25147 24962 #| data0 |# 25069)
( 28913 28720 28933 28427 27878 28542 29146 28623 28487 #| data0 |# 27814)
( 31713 31432 31772 30982 32026 31665 29972 31184 31431 #| data0 |# 31249)
( 27743 27610 27018 27588 27852 27923 27966 27808 27540 #| data0 |# 27796)
( 31035 30362 29705 30823 30178 30754 30620 30565 31307 #| data0 |# 29994)
( 23181 23620 23340 24063 23843 24262 23980 24035 23389 #| data0 |# 23153)
( 26534 25745 26917 26978 25660 26975 26066 26938 26748 #| data0 |# 27053)
( 22859 22692 23453 22398 22826 22503 22533 21830 23459 #| data0 |# 23211)
( 26059 26372 26036 24167 25860 25908 26564 26007 25785 #| data0 |# 26343)
( 28770 28700 28728 29216 28990 27510 28861 28991 29598 #| data0 |# 28180)
( 31497 31219 31013 32001 31196 31024 31447 31724 30924 #| data0 |# 31853)
( 28236 28229 28414 28313 26842 27214 28403 26658 27799 #| data0 |# 26659)
( 29353 30423 30944 30568 29648 30439 31127 28839 30461 #| data0 |# 29246)
( 24619 23491 23663 24630 23928 24483 23146 23505 24148 #| data0 |# 24021)
( 25765 26369 26658 26770 26790 25857 25605 25988 26502 #| data0 |# 26595)
( 23261 23422 23072 23401 22600 23316 22579 22194 22202 #| data0 |# 23327)
( 25536 25579 25471 25560 24250 26390 26423 25325 26279 #| data0 |# 25942)
( 14169 14052 14266 14567 14222 14374 14053 14174 14591 #| data0 |# 14404)
( 15150 14719 14544 15395 14956 14991 14808 15615 15274 #| data0 |# 14799)
( 13683 13522 14112 14172 13841 14287 14187 13944 13954 #| data0 |# 13857)
( 15152 14697 14837 14704 14677 14685 14815 14698 14540 #| data0 |# 15139)
( 4338 4281 4249 4306 4674 4289 4317 4314 4728 #| data0 |# 4113)
( 5024 5075 5032 5099 5045 5162 5143 5073 5200 #| data0 |# 4964)
( 3783 3729 3760 3777 3747 3800 3714 3683 3788 #| data0 |# 3681)
( 4517 4552 4593 4466 4581 4542 4568 4582 4501 #| data0 |# 4601)
( 14729 14763 14796 15042 14744 15026 14244 14729 14520 #| data0 |# 14123)
( 15238 14786 15225 14879 15081 15335 15285 14821 14761 #| data0 |# 14687)
( 14133 13977 13565 13806 13997 14142 13977 13928 14162 #| data0 |# 14193)
( 14249 14627 14323 14006 14645 14489 14990 14784 14909 #| data0 |# 14010)
( 4401 4533 4598 4562 4627 4541 4605 4497 4596 #| data0 |# 4496)
( 4943 4904 4922 4786 4897 4861 4852 4954 4908 #| data0 |# 4818)
( 3663 3683 3747 3832 3694 3879 3757 3683 3679 #| data0 |# 3678)
( 4235 4315 4347 4142 4215 4290 4277 4267 4211 #| data0 |# 4169)
( 14906 14095 14210 14461 14650 14055 14091 14859 13943 #| data0 |# 14518)
( 15348 15254 15436 15073 15182 15461 15553 14971 14892 #| data0 |# 15169)
( 14450 14297 14151 14297 13732 14021 13849 14185 13841 #| data0 |# 13910)
( 15157 14790 14393 14430 15373 14289 14818 15303 14887 #| data0 |# 15010)
( 4311 4246 4336 4434 4368 4458 4329 4216 4347 #| data0 |# 4347)
( 4914 4999 5075 5035 5167 4784 4935 5061 5117 #| data0 |# 4873)
( 3594 3631 3603 3644 3652 3594 3652 3597 3715 #| data0 |# 3674)
( 4424 4483 4583 4534 4444 4325 4382 4520 4366 #| data0 |# 4488)
( 15095 14750 14882 14655 14978 14349 14425 15171 15066 #| data0 |# 14473)
( 15171 15202 15183 15282 15225 15175 14799 14806 14964 #| data0 |# 14933)
( 13670 14201 14033 13622 14224 14083 14259 14169 13869 #| data0 |# 13979)
( 14106 14326 14221 13950 14411 14294 14663 14059 14302 #| data0 |# 14265)
( 4602 4657 4441 4590 4701 4598 4688 4667 4684 #| data0 |# 4505)
( 4959 4748 4949 5142 5167 4947 5012 4917 5084 #| data0 |# 4986)
( 3636 3657 3530 3675 3588 3660 3775 3604 3681 #| data0 |# 3752)
( 4117 4079 4022 4144 4188 4275 4030 4180 4204 #| data0 |# 4208)
( 29800 30028 30414 29514 29780 30602 30411 30337 30145 #| data0 |# 29789)
( 28146 26731 28199 28011 28226 28528 28263 28051 28357 #| data0 |# 27661)
( 30363 29802 29891 29349 30373 29929 30285 28320 29521 #| data0 |# 30214)
( 28133 27541 27388 26407 28422 28429 27490 28014 27711 #| data0 |# 28130)
( 24692 25590 24573 25060 25760 25036 25519 24585 24612 #| data0 |# 25485)
( 24413 23291 24049 22306 24360 24167 22445 24431 22721 #| data0 |# 23798)
( 24209 24113 24022 24474 24878 25043 24262 22893 24874 #| data0 |# 24551)
( 22334 22987 22051 22985 22097 22219 22513 22367 22980 #| data0 |# 21413)
( 31048 30758 30884 30934 31286 30649 30582 30735 30693 #| data0 |# 29984)
( 28693 28397 26753 28698 28558 28465 27893 28676 27998 #| data0 |# 27839)
( 29124 29561 30018 28859 30849 30639 28244 30021 29522 #| data0 |# 28441)
( 28440 26460 26225 26186 27062 27077 27161 26272 27712 #| data0 |# 27030)
( 25588 25541 26791 24890 26321 25226 25152 25758 25792 #| data0 |# 25941)
( 23731 23307 23059 23340 23138 24011 22693 23343 23316 #| data0 |# 22272)
( 24644 24556 24853 23109 23906 24225 24825 24565 24516 #| data0 |# 24026)
( 22143 22178 22791 22802 21541 21686 22065 22919 21994 #| data0 |# 21300)
( 28665 29587 29583 31635 29508 30893 29342 30046 29290 #| data0 |# 29850)
( 28402 28149 28536 28101 27687 28567 28102 27507 29049 #| data0 |# 28304)
( 29621 29155 28639 29729 28806 29790 29220 29207 28379 #| data0 |# 29283)
( 27431 26750 27186 27202 27073 26532 27066 27025 27336 #| data0 |# 28127)
( 25354 24948 25142 25520 25165 25358 24701 23850 25197 #| data0 |# 25045)
( 23510 23248 22708 22504 22485 23248 23394 23155 22295 #| data0 |# 23531)
( 23765 24507 24258 24395 24407 24756 23828 23898 24209 #| data0 |# 24370)
( 21787 22070 22734 22885 21287 22852 23914 22868 22738 #| data0 |# 22824)
( 29709 30423 29716 27876 29792 29951 30434 29908 29688 #| data0 |# 29314)
( 27377 28149 28075 28073 28075 28150 27529 26898 28394 #| data0 |# 28432)
( 29098 29507 29201 29892 29274 30123 29466 30380 29049 #| data0 |# 29605)
( 26498 26592 27174 26731 27635 26851 27129 27565 26887 #| data0 |# 27281)
( 26528 26112 25242 25954 26187 25553 26233 26092 24757 #| data0 |# 25487)
( 23323 23553 23084 23196 22551 23001 23626 23607 23508 #| data0 |# 23619)
( 23175 24359 24483 24370 24564 24977 24750 24190 24898 #| data0 |# 24422)
( 22554 21451 22808 22478 22619 22603 20900 22971 21224 #| data0 |# 22640)
( 16460 16201 15953 16253 15948 16221 16186 16212 16100 #| data0 |# 16031)
( 12505 12481 12176 12206 12096 12149 12057 11833 11463 #| data0 |# 12041)
( 15903 15867 15895 15801 15562 15553 15567 15682 15803 #| data0 |# 15421)
( 11703 11812 11123 11910 11706 12010 11102 11822 11944 #| data0 |# 11523)
( 5940 6065 6242 6165 6038 6088 5958 6004 6006 #| data0 |# 5815)
( 1675 1741 1699 1683 1659 1762 1723 1729 1705 #| data0 |# 1722)
( 5375 5221 5348 5440 5753 5125 5365 5391 5053 #| data0 |# 5067)
( 1347 1380 1355 1364 1354 1362 1361 1362 1336 #| data0 |# 1412)
( 16618 15435 16523 15541 16894 16760 16709 16222 16426 #| data0 |# 16301)
( 12449 12294 12278 11657 12060 12039 12418 12049 12367 #| data0 |# 12534)
( 15498 15927 15235 14915 15857 16019 15675 15680 14940 #| data0 |# 15877)
( 11487 11090 11686 11466 11343 11002 11581 11012 11360 #| data0 |# 11344)
( 6321 6471 6222 6257 6203 6279 6415 6211 6237 #| data0 |# 6198)
( 1737 1758 1719 1733 1671 1713 1975 1660 1797 #| data0 |# 1722)
( 5478 5509 5094 5326 5329 5376 5318 5423 5156 #| data0 |# 5383)
( 1106 1091 1108 1094 1106 1110 1095 1090 1096 #| data0 |# 1097)
( 16356 16319 16512 16066 16133 16619 16612 16130 16225 #| data0 |# 16351)
( 11995 12074 11500 11949 12291 12060 12208 12314 12267 #| data0 |# 11992)
( 15970 15413 14964 15693 15417 15828 15882 15881 15857 #| data0 |# 15333)
( 11880 11716 12080 11879 11752 11766 11788 12050 11663 #| data0 |# 11780)
( 5772 5611 5592 6042 5679 5847 5855 5834 5872 #| data0 |# 5784)
( 1658 1898 1614 1586 1644 1650 1613 1682 1685 #| data0 |# 1643)
( 5128 5046 5049 5102 5257 5315 5243 5112 5395 #| data0 |# 5245)
( 1296 1316 1296 1302 1301 1284 1333 1292 1315 #| data0 |# 1301)
( 16369 16334 16511 16526 16914 16742 16656 16838 16698 #| data0 |# 16476)
( 11906 12176 12380 12228 11970 12482 12248 12289 12288 #| data0 |# 12556)
( 15190 15145 15214 15773 15853 15816 15965 15630 15830 #| data0 |# 14991)
( 11298 11027 11352 11033 11250 11020 11341 10692 11343 #| data0 |# 11067)
( 6171 6026 5851 5927 5800 6334 6201 6289 6433 #| data0 |# 6235)
( 1615 1665 1622 1596 1675 1732 1718 1650 1662 #| data0 |# 1658)
( 5205 5199 5305 5171 5246 5262 5234 5218 5177 #| data0 |# 5289)
( 970 947 978 964 967 949 974 980 951 #| data0 |# 965)
)
