phd-typst/assets/system-bookmarks/precomputation/greedy.dat

537 lines
15 KiB
Plaintext
Raw Normal View History

2023-04-14 18:27:59 +02:00
x y
2096.775 5.304463744060101
2185.116 15.176929904395227
2842.701 15.179032618032144
3009.366 15.694767002298558
3145.107 15.968834359367357
3162.202 16.00744998574144
3314.034 16.44257274698656
3420.743 16.832044490198946
3480.701 17.01812563443403
3629.981 17.54983618187487
3719.176 17.707199265215475
3779.102 17.856208186420048
3915.091 18.10556803858306
3955.146 18.19110295239544
4056.704 18.3725860621985
4142.092 18.512766154286183
4218.115 18.589007065953005
4312.834 18.802297857329243
4402.532 18.97219393237861
4492.524 19.08260682443347
4580.746 19.241638617253948
4639.838 19.34261611168315
4736.931 19.51503525173997
4766.623 19.595537220615594
4892.971 19.718107981987067
4963.382 19.85110204864795
5054.198 20.09107748507601
5126.093 20.295164819697284
5221.81 20.47776504387774
5274.559 20.574870437456287
5392.614 20.870389673456824
5457.121 21.043662334296787
5489.205 21.135982097443545
5529.531 21.2148202508689
5645.582 21.3172934838146
5701.212 21.37026174130433
5733.443 21.473309120446302
5835.659 21.757625126484495
5848.941 21.80607527243235
5862.345 21.95122782435091
5888.061 21.995881123785917
5994.861 22.187204101054604
6015.196 22.317252672859482
6034.959 22.394761648381255
6049.938 22.43165332019716
6066.192 22.469344659597986
6126.857 22.528301999935064
6208.372 22.603526486443805
6223.579 22.622539924953074
6256.574 22.638837198743573
6320.588 22.687380436363323
6363.99 22.719755214779596
6435.432 22.748177485836187
6459.46 22.81939937073694
6498.757 22.946736737557224
6521.703 22.949298795806094
6554.313 22.95888781670615
6582.66 23.029655724343577
6612.668 23.039446640639564
6644.269 23.06197827295558
6671.955 23.09608168385718
6694.608 23.097959491974162
6757.775 23.26610148217371
6810.132 23.33249945689401
6840.258 23.361998325341634
6868.267 23.439330171259236
6897.402 23.50738243737172
6916.992 23.51673403723362
6945.916 23.53207409246845
6976.415 23.546763981870892
6996.824 23.587680922344997
7013.315 23.616537645430643
7077.342 23.748984601341363
7130.113 23.765530703101756
7164.899 23.78353342939306
7187.319 23.79797963928932
7207.699 23.94896662672465
7248.177 24.28914973802525
7279.309 24.31475531572708
7308.829 24.33632782207027
7335.255 24.37904714631765
7377.905 24.44169545370792
7406.711 24.475938620300898
7455.039 24.504540370788614
7493.366 24.525189894697927
7550.078 24.59901942450176
7591.695 24.64549211370103
7641.554 24.693568650863984
7690.621 24.726635884981924
7759.567 24.81214037516417
7765.304 24.813932150924295
7793.017 24.841437659742272
7834.117 24.855430153238558
7907.054 24.87348638484862
7926.164 24.889192479142785
7959.123 24.932117160015686
8004.982 24.98316925195544
8049.28 25.00649807016953
8075.747 25.040797129858365
8157.578 25.099543428801706
8223.457 25.11397135197697
8262.987 25.127285992250343
8323.34 25.149836361552953
8363.915 25.162167595112503
8423.4 25.1877278188519
8507.657 25.23253168520389
8526.382 25.251375665363646
8555.389 25.25789294138682
8617.94 25.324950191173514
8697.102 25.352841879044004
8715.46 25.370431141524406
8741.301 25.406912786627124
8760.497 25.424271800733774
8806.463 25.613081211067435
8823.467 25.63735114078283
8861.316 25.66114497240496
8889.817 25.688816204430015
8959.914 25.779274785527647
8990.553 25.83076188740282
9044.054 25.94456801170456
9065.927 25.965299415276576
9092.582 26.020613066384804
9121.056 26.05367910597025
9161.49 26.119929626740053
9200.412 26.173484360959087
9228.628 26.179274166532498
9260.109 26.205830225853155
9302.898 26.220792103739655
9336.317 26.24459093572962
9369.302 26.255121622315425
9394.469 26.256913994648713
9450.539 26.2638049982689
9535.994 26.326530493035126
9569.096 26.338920998947465
9623.117 26.359037417718486
9642.488 26.368296177792526
9737.934 26.462390298211403
9782.147 26.514527886466734
9821.777 26.550650151920962
9847.456 26.57036372462521
9870.828 26.58275428239547
9909.756 26.60729974276718
9954.054 26.622261285855526
9982.773 26.628047512430143
10015.356 26.64092477739196
10030.484 26.645013981836872
10050.572 26.664904046764846
10077.909 26.687019014139132
10132.738 26.712501421187884
10174.752 26.787138160311297
10212.368 26.800809021605257
10232.303 26.809379760012543
10253.65 26.815828896258033
10331.454 26.840160300004342
10363.059 26.846079707316846
10384.069 26.853236075551084
10426.752 26.867997199312704
10476.002 26.872466842664995
10507.525 26.882271719222196
10541.993 26.902850161877417
10660.685 26.949328264208262
10708.605 27.016355764829147
10773.786 27.04072335246217
10860.12 27.053740145127716
10926.185 27.091091334840012
10984.111 27.12013379038422
11042.926 27.276493001495194
11058.208 27.281248660044906
11105.158 27.318419511822654
11138.671 27.348402515437993
11186.016 27.37693677626156
11239.466 27.422954292157417
11274.217 27.44483542335966
11330.668 27.45464049922585
11391.455 27.470147266297758
11413.772 27.486260327982563
11436.797 27.491959345395113
11552.277 27.51348703752852
11590.613 27.534884587957272
11619.992 27.54487012600597
11677.253 27.561345971167597
11704.814 27.569016985575576
11722.377 27.57802075297563
11770.442 27.593713914601427
11797.766 27.62890250477429
11849.561 27.665568616898938
11891.288 27.711589094112835
11940.699 27.774842570748486
11997.226 27.8278917682909
12089.046 27.89950379297177
12138.694 27.94459378942989
12188.442 28.023613576781187
12244.282 28.025041014432883
12295.612 28.027889654029163
12347.978 28.036132657223067
12407.038 28.047978659886063
12456.925 28.062210932486913
12572.904 28.083162840043386
12611.232 28.213140796949897
12686.712 28.239851889338937
12742.115 28.266221255559856
12816.755 28.293310004400926
12846.792 28.308324888842968
12871.301 28.315851288538568
12924.638 28.33287274492539
13002.965 28.362096122753986
13071.068 28.37735620101286
13133.292 28.395368392483345
13184.942 28.397586054247707
13238.149 28.41341729341097
13328.014 28.457420183208903
13359.316 28.472740808015487
13395.686 28.532197725241296
13410.993 28.552623489112477
13440.168 28.55848665090646
13508.56 28.56173224941133
13551.879 28.693042001591802
13614.307 28.730861109320585
13641.624 28.734309976718162
13676.216 28.737516783747758
13702.626 28.740483486229053
13809.303 28.758669846288072
13838.035 28.77950581102379
13870.723 28.789805744473092
13932.029 28.8003790969466
13972.821 28.803442675536775
14018.244 28.85833649378898
14058.839 28.86945474490534
14099.434 28.882125735472883
14139.725 28.891165844039037
14189.04 28.9026974472968
14263.281 28.92920054287258
14286.88 28.940876403899765
14345.181 29.001183897850872
14425.007 29.173764511485622
14452.777 29.176939360057816
14483.908 29.20746430265102
14503.615 29.22746760784304
14575.431 29.232441880944503
14618.038 29.283447363037446
14642.384 29.31648529606198
14674.371 29.32390968383228
14701.424 29.32862510868035
14795.651 29.428689043709987
14870.997 29.47147349478849
14915.295 29.499848751920087
14946.856 29.529139119376296
14981.757 29.540834456511234
15099.959 29.568947623414992
15198.73 29.591689752133398
15219.943 29.59282816041447
15251.748 29.594112655121705
15300.406 29.59478976090865
15330.82 29.597165006927437
15373.228 29.602492198079617
15432.613 29.635177384014096
15492.758 29.64385069848459
15528.402 29.645560169077594
15562.053 29.70808201203839
15620.541 29.71712920233674
15649.133 29.723090529082462
15686.786 29.822045400571874
15794.505 29.889195032710184
15826.599 29.888893207192048
15848.304 29.88891525814948
15891.405 29.895697213109955
15931.439 29.91206898971329
16006.307 29.92709138483414
16037.384 29.933691168052334
16096.04 29.955397268074933
16170.103 29.987221191168
16202.207 29.99858828865072
16216.101 30.000956362057998
16301.729 30.00367027994859
16362.772 30.008027653609968
16446.114 30.025614315391536
16501.374 30.0410743665964
16519.812 30.045761424605832
16568.161 30.06537406965856
16646.256 30.08587346369613
16706.703 30.09354310280317
16753.831 30.107072671200854
16788.063 30.14790970806123
16845.264 30.185364469576207
16869.756 30.237921513649212
16903.782 30.253631982292948
16926.29 30.30012277782119
16935.884 30.301877003513784
16947.621 30.303597674832947
17025.418 30.334594391244835
17129.156 30.389364546677243
17206.324 30.40485443881458
17259.679 30.428646784009874
17306.991 30.441284961011352
17373.505 30.461185478473226
17431.125 30.47033901603527
17497.57 30.48304679326115
17613.709 30.500110490463012
17649.257 30.504148103311277
17702.543 30.515979737064203
17759.023 30.53403511694198
17790.477 30.545317204112646
17863.815 30.568445613731708
17885.167 30.573698096264113
17914.157 30.57906837725667
17932.225 30.580683890385913
17989.498 30.591141543694917
18028.15 30.61366718880451
18108.698 30.624097699532392
18172.436 30.6310693322212
18184.892 30.63417202390431
18216.96 30.644857984996925
18272.374 30.646930583815738
18400.59 30.659202347677347
18461.207 30.681699254315422
18487.537 30.687079464838444
18515.063 30.69039008092354
18587.772 30.693939733682594
18625.437 30.709202271142697
18672.49 30.7146454235835
18700.801 30.72446873968476
18768.775 30.76351268811367
18838.925 30.774429518984658
18875.044 30.786355641882047
18958.547 30.788952224400557
19058.608 30.795285164871366
19111.663 30.805203701934893
19148.201 30.808327510527484
19165.472 30.813651817167813
19194 30.815241459479903
19252.276 30.82098865812948
19280.918 30.84608356133002
19315.123 30.854757611916202
19334.032 30.856785834043453
19374.641 30.8655015455658
19425.913 31.029110008066375
19511.412 31.047321936347846
19534.756 31.049602625788264
19608.387 31.115868810427756
19655.702 31.13667115847455
19713.088 31.161125119982962
19760.859 31.161863081052545
19830.951 31.165142332919384
19880.526 31.166796160254094
19912.334 31.179771353251276
19959.44 31.184677004198914
19988.552 31.230039333677137
20052.48 31.26504727871928
20144.451 31.303863156373495
20193.129 31.324711686435517
20318.894 31.356217359211062
20387.948 31.387597604814864
20437.107 31.39050365034943
20503.904 31.394918821166804
20549.443 31.39664127423128
20591.867 31.399222081423204
20618.282 31.40810267595002
20721.238 31.415049840611434
20757.789 31.420395803519057
20820.153 31.42326278665469
20858.506 31.44223349291928
20952.498 31.45215454761837
20975.07 31.476799469535713
20998.044 31.484257412866114
21031.101 31.486250948409616
21051.085 31.487914239547656
21113.445 31.495499412944564
21153.671 31.49783752300072
21210.303 31.533387458554923
21263.524 31.559168253020953
21286.005 31.569867869802934
21312.211 31.598368663450703
21336.546 31.601547473108603
21368.838 31.602202424435532
21424.049 31.602820530388726
21506.468 31.60289599777654
21567.678 31.60446735213819
21626.296 31.608311013023418
21683.799 31.619029500450633
21706.929 31.630526062692613
21735.632 31.642486558078694
21788.829 31.65502191704562
21833.488 31.66391128428202
21886.796 31.7099825654369
21920.074 31.71911304292729
21971.709 31.734992799215938
21990.651 31.740205384407083
22023.363 31.76642906309294
22078.399 31.804637319666444
22166.834 31.808689233137052
22209.577 31.811532570633872
22257.461 31.848873455208484
22289.938 31.85224333101184
22321.783 31.86419535408494
22416.694 31.899293788661744
22466.238 31.927201612814333
22576.549 31.93018975245238
22597.328 31.932232186047443
22618.229 31.933516540788176
22644.059 31.934596974296944
22705.485 31.938175973564782
22757.25 31.940818684653273
22796.147 31.943650726216074
22898.36 31.94485685746814
22920.925 31.94936735183063
22969.736 31.96348630052443
23025.187 32.01705635172644
23046.739 32.02192563765862
23075.158 32.02305951837871
23115.532 32.030219789347115
23134.409 32.06450819287739
23198.314 32.0702883087429
23250.524 32.09235424095753
23296.452 32.09737234551966
23325.696 32.12577061746853
23352.749 32.12940885517613
23371.526 32.13252361716746
23421.888 32.13703509482565
23448.721 32.14471229300298
23515.716 32.14667717143293
23557.938 32.14788508771322
23605.73 32.17007299252372
23627.201 32.18233831313371
23635.619 32.18767212999106
23664.784 32.20010448308818
23737.483 32.21204582907075
23812.966 32.24147933812854
23856.051 32.272113267569274
23895.094 32.27351009238637
23922.252 32.275491166305876
23955.223 32.27653284340878
23998.834 32.28235477190812
24063.348 32.28717183689912
24122.046 32.29416211716662
24167.543 32.32222816454036
24201.892 32.338530229067445
24235.257 32.34583404034484
24325.269 32.36337045353598
24376.69 32.37012936280135
24432.349 32.37341727801492
24525.598 32.376963065319075
24551.737 32.37981349023262
24603.516 32.387910632399326
24639.171 32.388795536512106
24666.358 32.393304363118794
24697.67 32.39492868378488
24737.847 32.395836279565806
24764.696 32.39578259258551
24836.26 32.39834096376875
24924.403 32.401160950028775
24998.017 32.4019257293976
25073.63 32.40645473878225
25104.231 32.40685438296552
25146.027 32.40766132144605
25195.858 32.41628948301132
25244.646 32.41695816570845
25278.486 32.417136646722405
25326.898 32.41834550994821
25370.863 32.42328818735776
25411.922 32.42671595339559
25442.225 32.428576719131456
25455.448 32.429490706671984
25486.496 32.44035544110219
25515.459 32.44056369530912
25562.038 32.44565520758354
25659.202 32.447901108479485
25811.841 32.45550967010565
25901.141 32.46187879433593
25938.713 32.46590383839662
26013.603 32.47413003820929
26069.05 32.478722128573516
26089.21 32.494434210918236
26153.846 32.498090929053376
26203.127 32.498845762541606
26256.615 32.50043351092316
26321.507 32.50123907548256
26351.939 32.50401362001796
26393.674 32.50530562948372
26493.282 32.524884873085526
26525.653 32.52751385910284
26571.944 32.55278150089108
26682.55 32.57525505059456
26715.117 32.57634155159433
26864.772 32.57676824895299
26945.837 32.57757659020894
27125.41 32.577670810149954
27368.841 32.57875984036437
27433.471 32.578794149233545
27520.188 32.58008581960906
27624.396 32.58009357640768
27677.699 32.58023262776974
27972.842 32.5852118377374
28119.674 32.592520724149416
28335.94 32.59811110794375
28545.878 32.63777345545602
28725.967 32.64147329603017
28981.995 32.64233379671855
29081.443 32.64522134938896
29167.704 32.66569251873884
29238.16 32.68048061424744
29334.008 32.682231451425636
29499.028 32.685383485225856
29662.517 32.699622096866555
29741.032 32.70009903992506
29964.599 32.70038024051067
30081.099 32.70878597604889
30272.4 32.70890893132706
30432.352 32.70891344374556
30543.999 32.709162108019
30772.661 32.71040969304146
31271.856 32.7118086711089
31506.582 32.713061059980845
32118.437 32.714182817400385
32821.432 32.714334327869004
32980.37 32.71433014306163
33142.332 32.71435838446531
33222.488 32.71933446280474
34948.078 32.72199363249157
35504.412 32.722617155223254
36060.107 32.72483201939234
36234.165 32.72488598995082
36642.814 32.72755763079297
36805.497 32.72755763079297
37035.23 32.72766545932492
37151.13 32.72830236230077
37238.058 32.728492657260716
37566.834 32.72849412053395
38052.335 32.72914198686494
38352.216 32.72914284807573
38815.596 32.73518014466359
39127.388 32.74083185626906
39549.703 32.74170652915316
39796.649 32.74271048150562
40761.772 32.743110842343356
41094.301 32.74365332497967
42793.48 32.743639721310984