-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathbest.sol
More file actions
123 lines (120 loc) · 20 KB
/
best.sol
File metadata and controls
123 lines (120 loc) · 20 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000
0.50463506087129 0.50202558576768 0.99947364405578 0.50364056399644 0.50025847536569 0.00181368356442 0.49837334019528 0.99687826326496 0.49715573052712 0.00119953513682
0.00029049314223 0.49851213895319 0.50037011121691 0.99873937966709 0.00045085716662 0.99971096423136 0.50002864851491 0.99778347153791 0.99672214242669 0.50087961025731
0.49763125158883 0.99999215288524 0.49966464086982 0.99905062387857 0.00011540970308 0.00213444229315 0.49858991422615 0.99750927374473 0.49883144632903 0.00141077552176
0.50088197663569 0.49919565667465 0.50103305359169 0.00069409050021 0.49975193178161 0.00114355735155 0.49865108650142 0.49454725842452 0.49639760745382 0.50112953819643
0.00050378721321 0.49896477029990 0.49947573666577 0.00226501586005 0.50070978814643 0.00078090077311 0.99754452237685 0.99708271786536 0.49799822637672 0.00022015755572
0.50105331307487 0.00044617577164 0.00066890941097 0.00197971209616 0.49975312789332 0.99918570819820 0.99774030989709 0.99788762757391 0.49575674147731 0.50049067427902
0.00083893658420 0.00092556548034 0.49987125864406 0.99824962749777 0.00014077686330 0.50125150476714 0.50076542296852 0.49811973758636 0.99679043459360 0.00057429731628
0.49932466835172 0.49875605511210 0.49913556348419 0.00148984689266 0.99989867659814 0.00172933798150 0.00029530234860 0.49865845217736 0.99950301420343 0.00089473454329
0.50378240850219 0.50192223998084 0.99990024984465 0.00102549611817 0.99967036997767 0.50093711268140 0.50087691839676 0.49792467582175 0.99804114579105 0.49991136772936
0.49996247321007 0.00325682907500 0.00045040321193 0.00225357658898 0.49957486317032 0.00272607651154 0.49920113007130 0.49981754246264 0.99713518804301 0.00110019043973
0.00520219208676 0.50044261970882 0.00088928015405 0.50090299276549 0.49973211287758 0.00020879920747 0.99868686346240 0.49697607871739 0.49401885613365 0.50032926081659
0.50446627133760 0.50141317093691 0.49912542540839 0.50121859744606 0.99988535446615 0.50236697286561 0.50046892781864 0.49604375940008 0.49861734219036 0.00071902924107
0.99761518060127 0.99567644431205 0.50194291371215 0.99791323216581 0.49953540496682 0.99833085119799 0.99962347486252 0.49939377531205 0.99453072465874 0.50041043115534
0.99909898770003 0.99967292524389 0.50004403636032 0.49864262537069 0.99988793680132 0.99902224468537 0.99905328068091 0.99868155752306 0.49689642301398 0.50031672383969
0.50055920654024 0.99996691305515 0.49959941449089 0.99754954572966 0.00003194811218 0.49958876543660 0.99979780301824 0.99905791138133 0.99569794364470 0.50064785572053
0.49761034699500 0.00020820012925 0.49952769115152 0.49904811770621 0.49981772647838 0.00025639733948 0.99833835408039 0.99959403508816 0.99751262092863 0.00069376563357
0.00331352230850 0.50161266291786 0.00007386064423 0.50200377867267 0.99973339855025 0.00125405422392 0.50124462077461 0.49899674549112 0.99652655398898 0.00083329748049
0.00448483108659 0.50400539490918 0.99972274404611 0.00382757555478 0.50010016209485 0.50265395281118 0.49838495309373 0.49569875139512 0.49636568565142 0.00055259276475
0.00312423994056 0.50059193415989 0.49887249199983 0.50054187221963 0.00034409448239 0.50007236316473 0.00160509133832 0.99830391099572 0.99925093731166 0.00003257703726
0.50344744890975 0.50007466198883 0.99973173662942 0.50057470669246 0.99990544738560 0.99984360740095 0.00038977737587 0.99856712528982 0.99637480466528 0.50029169716962
0.00410108322088 0.49837001005746 0.49995449235635 0.50016621036197 0.49996697041563 0.49955938822227 0.50015819561301 0.49607283449319 0.99453720751883 0.50000096770133
0.49909099330345 0.99823696049607 0.50056080129499 0.49766248091341 0.99945954944723 0.00030390004018 0.49976374484541 0.49868631553154 0.99832592989304 0.50133208790978
0.00518439111820 0.49967325121304 0.00006568744902 0.00222150659307 0.50025170915210 0.49810106755466 0.99924516628850 0.99776718881751 0.99589665063243 0.49938810621872
0.00127027822531 0.00076164921141 0.00112632027621 0.49996922854302 0.49982096121517 0.99888356201432 0.49909962822176 0.99825214940389 0.99507541716162 0.50097283220970
0.00659260733721 0.50378356589088 0.99923961293291 0.50124210105030 0.00024683912355 0.49953445721426 0.49985266685548 0.99698590301780 0.49690817152353 0.50091702118650
0.49924712268429 0.00212344038836 0.49936816321975 0.00335206563438 0.50036341908350 0.50043249441352 0.99858799931841 0.49755000679710 0.49643625335242 0.00072085845356
0.00198378392282 0.49947574906926 0.49928899636187 0.99928726987115 0.00023713167090 0.50011599963837 0.00021075948426 0.49741001722891 0.49626458791019 0.50091295432866
0.00323030397305 0.00195394070564 0.00044896117782 0.49820123591440 0.00000824226502 0.49954860076984 0.00058957679642 0.49894200068125 0.99658378704023 0.49959230197067
0.50366141708299 0.00225266756234 0.00037820545336 0.50357934818104 0.49930174186973 0.50067421149271 0.49856286543622 0.49637142461371 0.49680618813257 0.50064322171171
0.00011659693420 0.00133685591010 0.50017106678424 0.50059152584084 0.49950283982630 0.00169900525850 0.49815691925332 0.49772589826134 0.49563610168377 0.00078880291382
0.00279759269610 0.00244121145405 0.99912906960196 0.50431710215104 0.50036624227459 0.49998701320327 0.99842939239510 0.99742959406625 0.49840022441884 0.99980831340967
0.00013822431433 0.00267135737173 0.00082584794884 0.99990233280006 0.99946392439151 0.00060030461357 0.49984605738659 0.49820440034922 0.49705388659576 0.50162678265306
0.50749935395866 0.50387508240301 0.99868559988206 0.50557894382969 0.49999805622282 0.50180131751353 0.00015731812116 0.49772250328517 0.99721820484491 0.99916787998384
0.50385373320029 0.50136277863475 0.49902728103690 0.00283427734283 0.50039761664748 0.50222173854136 0.49918766306879 0.99679334470139 0.99683823733977 0.99982978098660
0.50422230976423 0.50187693187632 0.99872653910380 0.00317743632106 0.00049632466715 0.50162844765810 0.99949636074332 0.99690701900754 0.49883271625003 0.00016891952988
0.00078077667195 0.00064809861590 0.50047222884910 0.00226205644383 0.50038209860510 0.49962833077629 0.49866097597208 0.99651671026661 0.49326037172580 0.50065702433955
0.50435860719955 0.00353030439802 0.99928356984159 0.49969705333802 0.99987914637254 0.50086048711889 0.49993119753687 0.99831219933620 0.99951204086397 0.00084111638843
0.50169523583354 0.00178961273934 0.99951464811627 0.50168094007956 0.99970203582756 0.00115182437948 0.99946560328318 0.49845272637123 0.49849879452713 0.00052954894470
0.50343292066423 0.50073942321233 0.49938149319918 0.50233861285055 0.50035947735448 0.49968139991158 0.99918591446842 0.99525534408724 0.49621152298964 0.49981789580074
0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000
0.99873745968561 0.49860118367115 0.00172388738144 0.49869997956540 0.50126534519298 0.49858180307160 0.99929078901108 0.50112831898377 0.00080383258705 0.50063094592898
0.99890334706543 0.50019128384288 0.50153312614950 0.99809337957216 0.50116075269725 0.99858335563760 0.00271555560936 0.50107859277230 0.49926244158912 0.50016109569355
0.49995761385706 0.49852109973798 0.00047887532638 0.99849177454223 0.00099455062221 0.49849752350679 0.00028691430548 0.99944720555531 0.00212151168675 0.50013846185173
0.49915654597635 0.99932236328877 0.50078661728401 0.99851072816037 0.50085966550174 0.49809364125581 0.99863941596114 0.00118057135297 0.00357719370267 0.00035007202931
0.99850344149376 0.00199454906857 0.50159876300921 0.49948350924646 0.00072311581545 0.49779435105007 0.00044203235869 0.00096393122586 0.50018168358020 0.99988911828873
0.99970228600889 0.50138019930474 0.00142220998611 0.99799445638356 0.00109251481187 0.99734289620122 0.50154575319821 0.49922613550286 0.00005345511478 0.49951905434699
0.99928126046591 0.99976139697675 0.50182474341358 0.99812544852745 0.50127763872424 0.49808410306798 0.50212387223520 0.50107049812130 0.50338841020845 0.00015691251717
0.99958076431067 0.50058102457528 0.50051389602836 0.99827480975627 0.00166384167738 0.49725452224724 0.50024981514638 0.99977690325235 0.00062232081968 0.99969230879643
0.49947760726263 0.99918811008100 0.00026728494731 0.99908552376183 0.00137148749709 0.49986451129196 0.49817546111507 0.99964240513283 0.50148765330919 0.00028016257811
0.49992602906386 0.49683218549359 0.00212018027696 0.49889956388502 0.00098323567810 0.99986007607838 0.49930692420309 0.00040849191450 0.00161823434175 0.99986768786832
0.49993344474779 0.49753808340491 0.50133486335573 0.49770015037335 0.00121447590602 0.99954269170728 0.00084872301809 0.49940133961391 0.00094346119988 0.50013539818284
0.49954444576124 0.99840044897832 0.00261927757837 0.49829440582265 0.50032743630381 0.00023664880811 0.99969230373760 0.00083566395591 0.00127495930588 0.50030052201709
0.49876667854017 0.99892115996611 0.50261464392946 0.49788520375267 0.50146703005431 0.99787426252817 0.50020199904907 0.00188087951072 0.50187207192774 0.00028138354926
0.49890276715644 0.49825633643099 0.00096959607610 0.99882548439065 0.50068004015696 0.99913931770905 0.00008893130903 0.50054171448403 0.99985928665370 0.00036927521072
0.49860601014924 0.49820886465515 0.00159947230982 0.50072610522707 0.50062177660562 0.49898528224250 0.99865339568548 0.00146015277569 0.50172321297553 0.00014019468370
0.99848909693386 0.00194163691142 0.00198708128609 0.49821313528794 0.00074565658782 0.49783576287396 0.49980333350787 0.50022605767305 0.50023036056106 0.49988948020261
0.49904683102625 0.99851703851010 0.00141031551217 0.99773528947866 0.50082439852176 0.49786075597022 0.49764132490126 0.50008928816351 0.00220873253978 0.50018579831934
0.00014689421328 0.50186024190199 0.00172002957787 0.49905899685410 0.00076175154519 0.99717712281185 0.00289946391604 0.99993574262205 0.50091640721310 0.49998843844219
0.99935104698929 0.49928680092928 0.00139859472998 0.99928809412966 0.00046038855990 0.49784337664874 0.00209025121767 0.50001119334222 0.49975066326753 0.99997319654286
0.49874520813656 0.49710114186254 0.50107437934920 0.49670732785193 0.50093220310633 0.49661576681512 0.49750620747483 0.50168556352304 0.00312270348302 0.00046734185908
0.99881769757893 0.99838394306714 0.00173081621550 0.49932558502471 0.50052294943298 0.49953391678536 0.49966810000870 0.00142314154047 0.00115210026324 0.00010245688995
0.99920626562175 0.49973571260633 0.50256145268593 0.49927321607602 0.50117688481014 0.99667722519550 0.00084315370800 0.00183785305200 0.00003778418978 0.00029076802903
0.99935215629020 0.99916336534852 0.50089084537365 0.99807384779688 0.00151514327995 0.49960603461113 0.99998602293655 0.49998152955663 0.00085908496669 0.49993565898009
0.99861046294430 0.00010341414848 0.00331146224254 0.50015057554781 0.50008441868375 0.00011631273221 0.00394476267184 0.50145312316168 0.49969301701369 0.00042023005962
0.00000576965330 0.50199167273597 0.50308124596463 0.49804416128233 0.00137535456295 0.99502868095020 0.50438317033225 0.50090923389128 0.50088588283181 0.99988345212067
0.49895949698865 0.49934483042578 0.50193084850818 0.99704638881093 0.50136779821336 0.99572564414825 0.50160129349960 0.00024186758399 0.99977947940604 0.50028269758137
0.49844125311094 0.99796558722870 0.50178756894535 0.49783012702591 0.50073429666975 0.49961454754627 0.99901800729711 0.50151138368370 0.50159471479560 0.50046552425497
0.49865471723799 0.99438800789371 0.00095787571369 0.49855482408396 0.00040307545049 0.50105277452221 0.99623310358581 0.50053568334262 0.00018112298405 0.00020146521545
0.49999759601948 0.50136607084098 0.50057532509948 0.99990525624391 0.00154139393678 0.99837642066214 0.00034167283915 0.99946655317497 0.50142521258793 0.00001196428720
0.99887833974475 0.50010845530823 0.00158869169255 0.99915662559612 0.50098549906328 0.99876815851366 0.50216637604236 0.00152265767307 0.49960846472844 0.99997935251659
0.49958812532634 0.00056772491981 0.00005349755021 0.99839263243945 0.00057494169583 0.00010204805544 0.99889812614091 0.49958259274358 0.50068508131291 0.50019724101309
0.99977356245513 0.00168093479832 0.49990447054019 0.99746771649443 0.00119435941700 0.99859877299201 0.50045134980517 0.00024254521073 0.49980387464171 0.49982972538434
0.49821970661392 0.99881484380793 0.50135812312648 0.49720044143671 0.00097774404480 0.49888795495300 0.49809043303879 0.00044270133148 0.00087042886716 0.50012848835988
0.49870160700155 0.49948898533781 0.00182759241702 0.49749976218389 0.50086578012932 0.99670522421607 0.50100994285377 0.50103947818966 0.50118582040772 0.50018237407574
0.99780718597186 0.50022228506686 0.50162229704691 0.49722394564511 0.50111927026205 0.49612901859492 0.50041398404828 0.00158111767467 0.50058263708364 0.49991342027496
0.99895161137349 0.99950237753573 0.50310519299158 0.49689783080583 0.50165580680282 0.99792810107609 0.50188617756342 0.50230212657950 0.00029660345736 0.50043169019701
0.49916350171332 0.49997879842596 0.50039763532355 0.99698491177888 0.00085512042530 0.49745549104088 0.50108753689115 0.49966406006418 0.50173326164995 0.50004034036051
0.50052570661244 0.99999894849466 0.50044099513140 0.99708915640803 0.00072676703541 0.99896310232085 0.49766961049844 0.49982846630692 0.00215300567091 0.00004362473403
0.99944265896624 0.00083623171435 0.00110571065037 0.99937941202982 0.50073529025633 0.49995054393622 0.99988351450733 0.00050116060639 0.50306389733388 0.50010660668097
0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000 0.00000000000000
0.50198203061799 0.49879010112314 0.00134225079125 0.50155628275924 0.00079583001628 0.99998990822473 0.99724295187542 0.00080708434297 0.50072076586517 0.99980394244064
0.00328644018510 0.00008430859609 0.50208417002365 0.49934366228091 0.00186567756077 0.50012362379302 0.49893915854978 0.00221263556570 0.00043744513583 0.99826234861672
0.00196718889742 0.99861294594891 0.00218670537553 0.00206252699905 0.50096048791978 0.49989289005501 0.49826413698928 0.00104025697003 0.00046806434701 0.49746787490256
0.00360320097510 0.49925418366064 0.00394585659971 0.50215522841377 0.50089786841635 0.49969913815441 0.99802685383922 0.00372404306863 0.00101165093707 0.99716536942546
0.50141584237468 0.99907528235852 0.50124163662087 0.00043115577165 0.00131739066298 0.50039184095917 0.99966726922119 0.99963798591111 0.99994657008877 0.49921333770064
0.00199670098199 0.00008187491874 0.49988936661625 0.00185220705734 0.00124027825135 0.00035675757112 0.50085222548564 0.99803325304680 0.50051877646939 0.50159461276447
0.50117187926036 0.50087719330362 0.00140014201550 0.00153703811168 0.00151586115698 0.49997454987110 0.99982495993456 0.49901115721914 0.99989295198852 0.99996393194294
0.00314960059878 0.99859517099933 0.50398780328161 0.50282488956093 0.50157221365017 0.50036703780223 0.99783675764714 0.00411412674439 0.50063269463090 0.49501427130981
0.50330909764231 0.00135066957030 0.50331017069674 0.49979892897199 0.00192350199557 0.50017856513091 0.99885144507755 0.50079882061489 0.49906539914241 0.99862498390473
0.50146359998513 0.00017720772492 0.00001319707655 0.00122260247000 0.00002353782290 0.00042022315882 0.00158194089852 0.49939502870300 0.49996922404678 0.50090728064401
0.50361182082725 0.99974667647285 0.50524643326810 0.50171295177770 0.50276298896371 0.00025820373686 0.49582617153655 0.00226547489625 0.50093886704368 0.99774919958208
0.99955594138836 0.50037400619944 0.50071236619469 0.99817541282929 0.00192665734683 0.49975654039319 0.49988143686837 0.50007881066294 0.00026064903095 0.49830846752819
0.50223473808272 0.49892853450787 0.50189180928085 0.00268840337157 0.50019030370123 0.00035389614845 0.99820341923323 0.00108789152563 0.50184490198090 0.49995527139655
0.50218603816505 0.99890774410651 0.00537385754156 0.50166335341167 0.49889756212590 0.00007651851972 0.99509121992275 0.00461725315772 0.00085331752818 0.49755564800137
0.50087212039252 0.00168061168980 0.50109510497590 0.00003797357913 0.00262774402944 0.00032596678575 0.50156141928547 0.49901249026717 0.99999555933245 0.00068165538120
0.50312485892842 0.99985131233448 0.00462641477359 0.50105589336403 0.50314138205390 0.50027272172143 0.49810055864917 0.50327417259440 0.00013379530632 0.99731780739140
0.00179586024494 0.50194781384367 0.50052940684148 0.99928089602767 0.00067475549142 0.99976317385613 0.00042777749764 0.49887444352938 0.50077135639144 0.00248090892948
0.50063716875728 0.49934196616631 0.00030538905552 0.00186545054577 0.99908437044981 0.99983190267793 0.49863487340365 0.99840440038291 0.00066249729819 0.50092745103141
0.00103203446660 0.50134616849168 0.00304596871066 0.50014743061978 0.00097691913102 0.99991332066171 0.49868737711841 0.50131353843714 0.00107100359564 0.99859538568284
0.50306474098401 0.50045076613505 0.00249591672811 0.00176095627213 0.50103548087805 0.00009889177790 0.49905825288034 0.50059666736906 0.50077917848562 0.99842164759947
0.50326960919087 0.99899298128305 0.00244643096903 0.50151306266042 0.00210364113021 0.50019611849684 0.49821777104976 0.99996833479134 0.50015453692202 0.50065864010585
0.00299723909666 0.00016807072294 0.00533849335767 0.50048276980194 0.50061278181877 0.00000208173405 0.99759195098881 0.50386351562803 0.50076643360003 0.99704528567059
0.50244045498120 0.00027136669670 0.50265937024051 0.00074842097309 0.50257697467508 0.50054160999365 0.49961277698696 0.50050781541971 0.50034787320763 0.49717657369368
0.00199224480919 0.00054175463877 0.50311610796369 0.00007369157332 0.50188779592114 0.49985640887874 0.99950500109526 0.50271791390662 0.00049062694503 0.99539922832504
0.00231258556891 0.00021265229379 0.50538931450486 0.50008296693370 0.50165105035792 0.99993430174869 0.49662055304066 0.50312371750457 0.00127739654985 0.49644919180918
0.00312969547653 0.00036820659991 0.00341483393809 0.49990065526982 0.00091476953941 0.50014170012598 0.99960987736561 0.50159059748208 0.99983748354149 0.49822537386486
0.50230082132011 0.50182549228925 0.50133642391677 0.50043784714075 0.00149696080616 0.99973065830422 0.49944733970507 0.50012396747097 0.50024302944530 0.49885903941844
0.00157902611991 0.49974471466480 0.50162787582800 0.50086443494356 0.00024537076831 0.99987265227374 0.99848794194921 0.00127824528169 0.00114202760129 0.49910446884928
0.50221221610451 0.50018017389299 0.50035857358946 0.99979579063060 0.00242803638858 0.49996820941508 0.49870567309282 0.00017282540216 0.49988563669815 0.00031449629771
0.50232279799252 0.99914676114292 0.00284250274262 0.00266337723445 0.50172082070555 0.50015145340297 0.99855123390009 0.00080604497026 0.50009447968529 0.99842327213710
0.50409277806590 0.49986141992447 0.00515297111324 0.50332348486783 0.50146421731121 0.50010412808115 0.99840483861820 0.50272727731131 0.50071562657409 0.49661795003151
0.50266569729077 0.49894125224955 0.50460640709877 0.50068034282163 0.50191972199935 0.49972648201342 0.49708183938867 0.00413770517311 0.00082220307042 0.49626532211974
0.00166482052635 0.49980596652410 0.00163645115849 0.00176445866208 0.50008049262547 0.99983165772303 0.99770617065332 0.50131805239565 0.00143054143035 0.49838603032525
0.00231028633116 0.00070283735010 0.00182108617426 0.99860865460047 0.00255737843743 0.50040993569175 0.50003542657541 0.49830105389733 0.49996656359127 0.00046267607039
0.00223344126027 0.50069466431590 0.50164867515759 0.00097353845557 0.50059413722093 0.99954155622405 0.49941637006812 0.00208389195274 0.00129855685169 0.99837285637852
0.00232341122109 0.49891562257973 0.99954966280917 0.00333868949189 0.00058309787885 0.49999562063581 0.99867457821707 0.99881895181482 0.50041383018957 0.50224594710865
0.00386762955600 0.50017653836617 0.50540021895803 0.49882282919565 0.50170565422205 0.49961691654164 0.49924340830855 0.50490075785337 0.50079480628591 0.99484303310113
0.00284633667024 0.49775946333777 0.00404422750189 0.50372565911132 0.50064177031627 0.99969932439059 0.49693162691927 0.00392473183352 0.50145093856247 0.49642039951345
0.50259173108944 0.50135582931593 0.50394801934931 0.50081921951573 0.50077226266456 0.99975432188564 0.99889048456465 0.50419135302628 0.00091673916617 0.99644484018479