From 8bb9e32344e18a6b21befffdc0f3511fafaa3de7 Mon Sep 17 00:00:00 2001 From: dave Date: Mon, 24 Dec 2018 20:55:33 -0500 Subject: [PATCH] day 23 --- 23/a.py | 78 ++++ 23/input.txt | 1000 ++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 1078 insertions(+) create mode 100755 23/a.py create mode 100644 23/input.txt diff --git a/23/a.py b/23/a.py new file mode 100755 index 0000000..a55bda2 --- /dev/null +++ b/23/a.py @@ -0,0 +1,78 @@ +#!/usr/bin/env python3 + + +import re +import pdb + + +RE_LINE = re.compile(r'pos=<(-?[0-9]+),(-?[0-9]+),(-?[0-9]+)>, r=([0-9]+)') + + +class Bot(object): + def __init__(self, x, y, z, r): + self.x = x + self.y = y + self.z = z + self.r = r + + def __repr__(self): + return "".format(self.x, self.y, self.z, self.r) + + +def getdist(bot1, x, y, z): + return abs(bot1.x - x) + abs(bot1.y - y) + abs(bot1.z - z) + + +def main(): + bots = [] + with open("input.txt") as f: + for line in f.readlines(): + bot = Bot(*[int(i) for i in RE_LINE.search(line).groups()]) + bots.append(bot) + + + xs = [bot.x for bot in bots] + ys = [bot.y for bot in bots] + zs = [bot.z for bot in bots] + + dist = 1 + while dist < max(xs) - min(xs): + dist *= 2 + + while True: + target_count = 0 + best = None + best_val = None + for x in range(min(xs), max(xs) + 1, dist): + for y in range(min(ys), max(ys) + 1, dist): + for z in range(min(zs), max(zs) + 1, dist): + + count = 0 + + for bot in bots: + calc = getdist(bot, x, y, z) + if (calc - bot.r) / dist <= 0: + count += 1 + if count > target_count: + target_count = count + best_val = abs(x) + abs(y) + abs(z) + best = (x, y, z) + elif count == target_count: + if not best_val or abs(x) + abs(y) + abs(z) < best_val: + best_val = abs(x) + abs(y) + abs(z) + best = (x, y, z) + + if dist == 1: + print(best_val) + return + else: + xs = [best[0] - dist, best[0] + dist] + ys = [best[1] - dist, best[1] + dist] + zs = [best[2] - dist, best[2] + dist] + dist //= 2 + + + + +if __name__ == '__main__': + main() diff --git a/23/input.txt b/23/input.txt new file mode 100644 index 0000000..8986834 --- /dev/null +++ b/23/input.txt @@ -0,0 +1,1000 @@ +pos=<76140848,-3604484,65709148>, r=91714805 +pos=<63623375,15154937,66491569>, r=61220626 +pos=<83048450,40709999,41503061>, r=54227400 +pos=<57204386,22528500,70941995>, r=51878150 +pos=<63797178,24584994,72094764>, r=57567243 +pos=<83792327,10824438,51022483>, r=70250975 +pos=<71422008,17050140,72588453>, r=73220640 +pos=<79050098,37628630,95708984>, r=83390695 +pos=<93197490,56920137,48152516>, r=59573002 +pos=<58856323,7279066,56527485>, r=54365170 +pos=<88595156,-7180347,39089217>, r=88097483 +pos=<92555130,17142437,50434288>, r=72107537 +pos=<68887886,93106208,73646889>, r=96943737 +pos=<51478653,55105085,113734506>, r=85949745 +pos=<71149836,32012878,4251309>, r=66297048 +pos=<80761695,75139850,64439942>, r=81644412 +pos=<101644650,40486188,48265722>, r=55684463 +pos=<83914248,7733060,45543212>, r=67984751 +pos=<81328440,40858705,44309573>, r=62623620 +pos=<-17968534,40872366,60890349>, r=91532940 +pos=<123893313,35289321,47286035>, r=82150346 +pos=<65014561,61829701,66087502>, r=54234673 +pos=<66836226,26873982,66431820>, r=52654384 +pos=<71983914,40940116,78652338>, r=55956383 +pos=<105372930,33104002,27391983>, r=76288168 +pos=<69781123,9636673,76155136>, r=82559861 +pos=<74322726,20269401,8503400>, r=76961195 +pos=<95031215,29010037,81794348>, r=94075816 +pos=<76160302,376132,47795495>, r=69839908 +pos=<50158149,-38538531,53152721>, r=95079836 +pos=<141950162,37896308,47202446>, r=97516552 +pos=<57153505,41125514,103588893>, r=65877175 +pos=<68815017,21380366,98771988>, r=92467214 +pos=<59324182,32389510,-19998246>, r=78344160 +pos=<59489606,24368195,100697937>, r=82079998 +pos=<73267543,30583860,68213679>, r=57157627 +pos=<87033605,37426809,81792690>, r=77659935 +pos=<111593040,35578739,47400437>, r=69675014 +pos=<113649219,11760531,47526900>, r=95676091 +pos=<38706765,37600158,47017280>, r=70679613 +pos=<34167744,25600888,75124169>, r=68901962 +pos=<70338132,-17887150,52525358>, r=87011130 +pos=<106339767,38281433,33725798>, r=65743792 +pos=<89030639,19025089,53826553>, r=70092376 +pos=<102554097,58166982,48835590>, r=70859395 +pos=<89603510,18624391,48700333>, r=65939699 +pos=<48594644,41118749,53611998>, r=70212200 +pos=<110211899,34099820,59963632>, r=82335964 +pos=<115683756,7728734,43783676>, r=97998946 +pos=<100980799,10037214,28505900>, r=93848933 +pos=<91642932,40767334,53089596>, r=50225509 +pos=<90509082,25054174,57527498>, r=69242649 +pos=<84609309,19563163,8589084>, r=87868471 +pos=<95503408,30128589,47663174>, r=59298360 +pos=<-19273458,38174514,51199633>, r=85844934 +pos=<69770775,26629360,103176502>, r=92578190 +pos=<57634766,34414677,104324955>, r=73805353 +pos=<33374689,39645490,90382097>, r=70908351 +pos=<59374062,4411731,83573660>, r=84796319 +pos=<84925130,29964342,68462827>, r=69684065 +pos=<121111502,31449766,43710681>, r=79632670 +pos=<65961042,53226876,89143003>, r=69633657 +pos=<57622103,41211268,89814892>, r=52486455 +pos=<50375689,-1580343,22588255>, r=67313724 +pos=<128466557,45891908,44477918>, r=80139563 +pos=<67540774,77977161,77143782>, r=83964443 +pos=<33560247,34896098,13024294>, r=57216644 +pos=<20675262,13292607,48820589>, r=68399099 +pos=<55477807,38958477,56205591>, r=82626834 +pos=<7337525,19720164,24114220>, r=87525628 +pos=<70737362,34517555,97093927>, r=79574041 +pos=<63417641,34717189,77521025>, r=52481825 +pos=<39526823,18823093,80129878>, r=75326375 +pos=<62523791,9445804,439846>, r=84049349 +pos=<67384168,32947728,54248364>, r=96852641 +pos=<86601293,38299328,75900892>, r=70463233 +pos=<67302465,38397168,59122903>, r=64054728 +pos=<86186930,19873931,62592335>, r=75165675 +pos=<23313331,30919850,78723721>, r=78037077 +pos=<94933140,48571018,72344938>, r=77151851 +pos=<125201236,56268553,54027411>, r=96799932 +pos=<55874821,4353444,56677898>, r=54459530 +pos=<-10328285,28858145,44028983>, r=79045483 +pos=<-6938355,29450913,55574880>, r=86608786 +pos=<70916802,34143181,69570970>, r=52605277 +pos=<55373211,37563401,71529138>, r=90424706 +pos=<59069533,930427,60337946>, r=64737295 +pos=<67456861,-40458577,43945533>, r=98121792 +pos=<112237092,39120701,51545887>, r=70922526 +pos=<65508673,39846070,55412046>, r=94110836 +pos=<63759476,53387202,89134686>, r=67584097 +pos=<132907997,39967385,43820055>, r=83020917 +pos=<60007320,60254204,5584386>, r=61131005 +pos=<99617703,15305776,62498425>, r=93070814 +pos=<98963608,36746657,46141007>, r=54618218 +pos=<74820873,41165408,82687666>, r=62603384 +pos=<35005248,44226295,79499815>, r=57309925 +pos=<36286291,26541132,96455243>, r=87174167 +pos=<39935065,38622224,29221503>, r=82525467 +pos=<98087623,38336786,57198202>, r=63209384 +pos=<-26547744,40019549,43716347>, r=83790873 +pos=<-11004431,24338501,49490257>, r=89702564 +pos=<-1080411,38560686,59769273>, r=75835398 +pos=<119788975,41228841,55998950>, r=80819362 +pos=<32317128,35961619,-21487009>, r=91905607 +pos=<74150556,71974688,61163631>, r=68591596 +pos=<104180804,50641621,69896386>, r=86021911 +pos=<48638339,76405093,57471008>, r=53826691 +pos=<66748608,9917958,70650524>, r=73741769 +pos=<-22427866,38017359,49217036>, r=87173873 +pos=<19200832,-7225912,35971704>, r=90750881 +pos=<101791051,24806685,59894916>, r=83139546 +pos=<78334462,91819455,47288269>, r=78744913 +pos=<76266762,50229420,71751737>, r=59550650 +pos=<91706899,59919359,64269147>, r=77198140 +pos=<112680501,19772137,46617518>, r=85786198 +pos=<109077210,58976553,59997142>, r=89353707 +pos=<234585531,14798384,48625461>, r=75600479 +pos=<35313747,6386108,44239501>, r=56086189 +pos=<143165419,35468294,44228851>, r=98186347 +pos=<80876326,37070161,106178879>, r=96245322 +pos=<57890050,-30744029,48276347>, r=83170831 +pos=<78811111,34103505,45027050>, r=89715707 +pos=<107836469,34766909,55073363>, r=74403197 +pos=<75155232,-27156979,50235759>, r=98808213 +pos=<77775095,20913456,13382924>, r=74890047 +pos=<2887298,40938437,47906575>, r=57627331 +pos=<73707976,8575927,73166207>, r=84558632 +pos=<220280808,69136660,69856882>, r=88901779 +pos=<125369223,22877225,44572478>, r=93324787 +pos=<77745569,27313445,31085024>, r=50758442 +pos=<62554917,40813309,44508000>, r=63384275 +pos=<68592602,18203687,68422131>, r=65071676 +pos=<74369110,-8701105,55365488>, r=84696416 +pos=<55744187,13222232,83629310>, r=72411569 +pos=<104664610,38898879,43766901>, r=55792922 +pos=<105120122,40609256,45429105>, r=56200624 +pos=<128226603,50684916,44329501>, r=84543761 +pos=<117796179,44971359,48212380>, r=72282661 +pos=<119312725,44343569,51751790>, r=76710822 +pos=<80006303,34617870,67494524>, r=59143264 +pos=<80463309,-211702,46994822>, r=73930220 +pos=<111414185,48287888,48450240>, r=69455039 +pos=<112305890,40160052,49269778>, r=67675882 +pos=<110291774,38307077,51610747>, r=69855741 +pos=<84909249,-9745383,57687564>, r=98602761 +pos=<-8911820,26527334,56168962>, r=92099775 +pos=<56873453,4289248,57570397>, r=56414852 +pos=<59635009,96062621,79290503>, r=96290860 +pos=<-14543347,34839321,49151752>, r=82402254 +pos=<107203169,40761175,50810668>, r=63513069 +pos=<81256909,-5542574,62367018>, r=95426828 +pos=<30364300,-5397488,53420979>, r=82000506 +pos=<10173192,29271927,54008677>, r=68109960 +pos=<95318648,19423900,38749516>, r=68556522 +pos=<60526836,32381806,77392262>, r=51797783 +pos=<100527778,22940897,44968435>, r=68815560 +pos=<-17075461,41308305,44075548>, r=73389038 +pos=<75783211,16871004,49134513>, r=54306991 +pos=<96626678,37556849,88322242>, r=93652316 +pos=<94904597,37696480,52992737>, r=56461111 +pos=<70674567,26822023,-14031238>, r=89294989 +pos=<3953887,27934885,21307948>, r=85500600 +pos=<116475210,24969563,48602970>, r=86369095 +pos=<56560126,-37480,30955920>, r=57053016 +pos=<46768175,-13543935,63183388>, r=83505601 +pos=<128041235,40675668,44070480>, r=77696376 +pos=<111603650,40790985,49405382>, r=66478298 +pos=<95393960,17127017,63180584>, r=87707771 +pos=<133630813,36388066,46976411>, r=90479443 +pos=<95693965,32866495,56098681>, r=65186487 +pos=<124668109,28248103,38899977>, r=88931494 +pos=<94627245,36170028,48799297>, r=53516957 +pos=<91262235,10149485,46720452>, r=74093451 +pos=<118565762,35317790,48920337>, r=78428555 +pos=<76679788,23729393,74305722>, r=73516716 +pos=<105030228,-70569722,80896476>, r=69549360 +pos=<61167071,8087659,52216337>, r=51556210 +pos=<72331782,27656365,67748619>, r=58684289 +pos=<61210951,50793958,77685853>, r=50993490 +pos=<99216662,38524249,26230824>, r=65872880 +pos=<91098517,23772062,81310954>, r=94897654 +pos=<71362276,43900606,98511302>, r=75076907 +pos=<66191847,31229430,87017254>, r=68239932 +pos=<65041693,3649242,12509030>, r=80294620 +pos=<90500189,25100427,48022356>, r=59682363 +pos=<71054669,8847225,35989981>, r=57629062 +pos=<63207413,56195020,94214112>, r=74919339 +pos=<60964373,68344774,73372997>, r=63984961 +pos=<116855931,18411666,49600004>, r=94304555 +pos=<99320630,31400211,7898626>, r=91433000 +pos=<98558801,32692236,44490387>, r=56617235 +pos=<15279497,39964218,25456290>, r=57997325 +pos=<124545935,37452537,45396243>, r=78749906 +pos=<72614073,15846699,48956304>, r=51983949 +pos=<67951906,17362673,89718560>, r=86568109 +pos=<91131706,17676575,39561129>, r=65305199 +pos=<121852669,40435101,65183375>, r=92861193 +pos=<72181766,2958559,77163748>, r=92647204 +pos=<84684249,29712076,70214492>, r=71447228 +pos=<-2492776,28790162,46470826>, r=73719888 +pos=<106433631,37070859,37795146>, r=62978841 +pos=<76344767,15357797,68186613>, r=75434025 +pos=<93904774,26587745,46691762>, r=60269150 +pos=<19107878,20072327,48825348>, r=63191494 +pos=<101353254,45313683,44843859>, r=52813517 +pos=<104114362,35882411,38285101>, r=61358254 +pos=<7506574,29593208,47543155>, r=63989726 +pos=<26031343,21791635,53313448>, r=59036835 +pos=<83292894,39126696,90358173>, r=80784614 +pos=<15815436,39238463,52313814>, r=50806337 +pos=<58279445,-4520340,51718386>, r=60778416 +pos=<11095955,13878921,48411760>, r=76983211 +pos=<40439532,12503892,52610606>, r=53213545 +pos=<-26210366,-43726308,81473715>, r=90135336 +pos=<118543098,35867748,39141234>, r=74945405 +pos=<79239621,1473968,69532078>, r=93558114 +pos=<99971548,37776829,36567274>, r=57038695 +pos=<247355108,33469205,52991169>, r=55866179 +pos=<79691122,3826929,63140479>, r=85265148 +pos=<68796066,92987526,35194620>, r=73042688 +pos=<104732735,35883150,45931633>, r=61041497 +pos=<65344214,11577916,89240423>, r=89267022 +pos=<72830232,36351963,50260975>, r=84828849 +pos=<108209580,62427466,52448990>, r=84388761 +pos=<109021405,15332527,52230866>, r=92179987 +pos=<91051400,-653789,61104524>, r=99069977 +pos=<44837845,23015331,43979918>, r=56916605 +pos=<125827946,37069303,30921711>, r=89248183 +pos=<61637247,28354510,-6169186>, r=70863243 +pos=<100151776,29052196,44224964>, r=61584830 +pos=<85191921,9561051,38050980>, r=68991094 +pos=<63560894,37198360,102462405>, r=75085428 +pos=<116469246,32513979,58761991>, r=88977714 +pos=<99578685,29823971,50380868>, r=66395972 +pos=<57405430,97560284,52054153>, r=68322862 +pos=<107219865,36127513,49715193>, r=67067834 +pos=<69524605,21641195,86706538>, r=80850326 +pos=<80773889,22643071,58298182>, r=62689294 +pos=<133294781,40595221,46665554>, r=85625475 +pos=<84881907,17624591,62241864>, r=75759428 +pos=<131195262,36650378,44190237>, r=84995643 +pos=<68235036,30704766,108334775>, r=92125370 +pos=<8378681,28511914,48016499>, r=64672231 +pos=<108731295,31395492,66822363>, r=90418458 +pos=<72284888,19242371,89839206>, r=89142034 +pos=<67583335,50253778,72682091>, r=51821945 +pos=<64229898,51237914,115026796>, r=91797436 +pos=<77201487,2750946,38732271>, r=67129552 +pos=<104583407,58467208,50695914>, r=75049261 +pos=<68068379,23110065,82457024>, r=73675686 +pos=<62972415,25305995,48617892>, r=79328664 +pos=<73915775,77836704,60776050>, r=73831293 +pos=<-1717254,27252573,61057185>, r=89068287 +pos=<55374438,-27034367,39115345>, r=74704937 +pos=<56379458,92307515,53152911>, r=63142636 +pos=<62357109,-28214136,50031337>, r=86862827 +pos=<56743910,-2702128,84959311>, r=90665923 +pos=<82971550,25580114,79466630>, r=83118702 +pos=<36582089,74956491,39719783>, r=52394514 +pos=<85931577,94320299,45275338>, r=86830223 +pos=<85372271,34540552,59558028>, r=56649998 +pos=<92062487,68759034,35130961>, r=72144349 +pos=<80742531,22003115,62625300>, r=67624982 +pos=<92800300,38428679,54855073>, r=55487001 +pos=<82458792,18790228,56110445>, r=66039255 +pos=<74529743,29509662,44068525>, r=97470443 +pos=<97919255,34201476,71497397>, r=81475433 +pos=<65098943,28552133,94271277>, r=77078637 +pos=<111966179,33055495,49285584>, r=74456516 +pos=<67633907,19384745,97591969>, r=92101429 +pos=<110601209,32907115,38333214>, r=70772305 +pos=<86636644,60535898,54389820>, r=62865388 +pos=<251687255,33224381,50826566>, r=83660857 +pos=<3838350,33367417,49431845>, r=65772433 +pos=<-1371160,175412141,74488037>, r=57303484 +pos=<23452800,11631758,39377807>, r=64234955 +pos=<72884400,33676366,77755497>, r=63223919 +pos=<56486234,12129300,44099631>, r=64618844 +pos=<14066641,14223724,26933925>, r=83473039 +pos=<58455272,3867276,61497765>, r=62346196 +pos=<-1899851,38446336,52644266>, r=69644457 +pos=<91584644,81074586,43626458>, r=77588427 +pos=<46371205,84781896,36767291>, r=55383158 +pos=<72699981,8331602,77339419>, r=87968141 +pos=<57980794,21437091,90921176>, r=73725197 +pos=<20249796,-6092409,37446080>, r=87093988 +pos=<3584362,55268136,55284989>, r=75557668 +pos=<66560943,-6341094,66074139>, r=85236766 +pos=<84088332,52600969,56378123>, r=54370152 +pos=<162392822,-10967007,85374012>, r=94742936 +pos=<73177452,13295753,75887637>, r=82029627 +pos=<86523147,100942604,48027717>, r=96796211 +pos=<133152517,32886296,44352186>, r=90878996 +pos=<142696611,35515291,43837100>, r=97278668 +pos=<197716986,11313444,66929230>, r=94615753 +pos=<18982565,28109877,26040424>, r=65564571 +pos=<64599048,40659046,66037334>, r=50018323 +pos=<110179352,51258981,47518146>, r=70259417 +pos=<54655536,7245094,18285090>, r=60536919 +pos=<77992061,10848744,49350536>, r=62754127 +pos=<50336682,-23066498,51526634>, r=77802799 +pos=<48738711,-7909581,39943306>, r=57925359 +pos=<47944188,36349388,50393701>, r=89213918 +pos=<127560111,38438761,55086663>, r=90468323 +pos=<68383843,18760607,66734157>, r=62617658 +pos=<101368052,32235309,65447439>, r=80840470 +pos=<90788644,58454337,37258676>, r=58438015 +pos=<70134079,-7643638,64532051>, r=88570161 +pos=<96879565,34459798,69547633>, r=78227840 +pos=<19300707,19365913,71727749>, r=86607618 +pos=<75059697,8340262,63474734>, r=76454439 +pos=<222412653,29185681,60701315>, r=53707239 +pos=<107934412,33684482,51077543>, r=71587718 +pos=<-8115994,39048677,48582799>, r=71196589 +pos=<79811991,48243750,68857624>, r=58216091 +pos=<64476438,14007217,63612151>, r=60341650 +pos=<43932378,-18515308,66306324>, r=94435601 +pos=<109631044,18473335,57735339>, r=95154187 +pos=<64468740,34831604,52917558>, r=77186785 +pos=<96338867,19672361,52994578>, r=75921343 +pos=<78494791,32930578,27130177>, r=49845281 +pos=<59707409,35306400,82064874>, r=52726428 +pos=<67192002,582396,43724301>, r=56594164 +pos=<78459048,-16501935,41554580>, r=84817785 +pos=<-27858012,41200489,49231876>, r=89436068 +pos=<81601567,65334346,72532333>, r=80771063 +pos=<47783835,262075,32628846>, r=58022907 +pos=<50003731,25451572,103014907>, r=81105967 +pos=<90754435,34724471,24737345>, r=62703816 +pos=<76873772,62003942,59465404>, r=59645951 +pos=<74126849,12175853,49885626>, r=58096876 +pos=<70610990,6587227,47735251>, r=58019258 +pos=<86442095,24007913,56388636>, r=65083119 +pos=<87120010,-11526403,37749939>, r=92307706 +pos=<148740943,44183276,41335054>, r=98042950 +pos=<-2187457,34917394,61080155>, r=81896735 +pos=<75957538,27566848,9751116>, r=70050793 +pos=<80490626,3982911,60655677>, r=83423885 +pos=<56130344,8559496,75002796>, r=68834014 +pos=<106677790,39141572,74059325>, r=87855948 +pos=<108430843,43710191,53782681>, r=67226437 +pos=<20987460,17111801,61624273>, r=77071354 +pos=<12643486,61076108,63531399>, r=80553345 +pos=<29613410,46615879,47340074>, r=63617048 +pos=<35552184,-85964515,111418441>, r=74563985 +pos=<9965037,35792809,57962975>, r=65751469 +pos=<96320172,16082658,67928626>, r=94426391 +pos=<136626222,28342264,44202943>, r=98747575 +pos=<29011736,17307973,26600740>, r=65776887 +pos=<133178819,31625454,45704467>, r=93518287 +pos=<35469568,9609733,71386827>, r=79854651 +pos=<-16591628,29871203,54446714>, r=94713469 +pos=<59086315,-12824490,34460939>, r=68861230 +pos=<-4170161,20640537,50428235>, r=87504521 +pos=<110497746,13539041,52359472>, r=95578440 +pos=<19359637,85982817,58726840>, r=93938973 +pos=<37439710,44918321,-4136374>, r=65354806 +pos=<125045656,34611723,54484820>, r=91178996 +pos=<34455632,19313040,72045299>, r=71822962 +pos=<95646867,27703440,53967864>, r=68171849 +pos=<-13630851,40693175,27892547>, r=83742419 +pos=<109782524,36923991,50161659>, r=69281184 +pos=<72671388,33633981,107329922>, r=92627670 +pos=<-2961688,63459153,47736505>, r=82746858 +pos=<79435850,31476049,61400735>, r=55620805 +pos=<63249640,-190272,22628517>, r=72222649 +pos=<91026278,40482887,16299843>, r=65654831 +pos=<78396207,34225724,43868709>, r=75582073 +pos=<108937937,52974444,37389307>, r=70977025 +pos=<107601440,44307408,33619139>, r=64743387 +pos=<136596111,33896446,49137058>, r=98096976 +pos=<-49017536,-5039536,112887334>, r=60804715 +pos=<69701624,33627703,86390362>, r=68724612 +pos=<84395616,41112372,88425172>, r=77968900 +pos=<73018092,17146199,88454355>, r=90587086 +pos=<91890198,46919118,99019299>, r=99131928 +pos=<43025917,3068243,55945661>, r=63397872 +pos=<108492179,29923478,49429084>, r=74258345 +pos=<103816629,37954659,80484295>, r=92606645 +pos=<113424968,30986098,52229536>, r=80928675 +pos=<20228149,-1882440,48524158>, r=83724789 +pos=<72550077,97339011,55982873>, r=87174688 +pos=<87527454,33248922,79831631>, r=80370450 +pos=<87271535,10802593,30328531>, r=77551685 +pos=<71399125,-6727293,48739281>, r=73125942 +pos=<56132448,58398151,44598842>, r=92249100 +pos=<64295082,65226524,70663189>, r=61487819 +pos=<86587175,11946634,73348609>, r=94249400 +pos=<81314710,40972907,76655280>, r=63257358 +pos=<124472853,41217111,58481423>, r=87997440 +pos=<110405736,14536455,55298502>, r=97428069 +pos=<93690215,81435503,26673838>, r=94905673 +pos=<73776812,-10965026,58101456>, r=89103618 +pos=<-31184179,40008959,45207368>, r=89929281 +pos=<96065820,32561806,46441572>, r=56205902 +pos=<98309273,21568345,50979674>, r=73980956 +pos=<73602806,-7261037,48675758>, r=75800031 +pos=<67423909,-75007915,110996545>, r=62138947 +pos=<65727673,13598055,64864130>, r=63254450 +pos=<46162859,7770687,73559122>, r=73171955 +pos=<24262188,55788085,56499116>, r=56614121 +pos=<97691619,40912370,77738725>, r=80778235 +pos=<82108396,22235184,71520776>, r=77654299 +pos=<8401057,65286878,61906374>, r=87381319 +pos=<58177670,45573755,92976405>, r=58030582 +pos=<124801353,39555657,47401680>, r=78907663 +pos=<52115707,35177610,53965512>, r=89303776 +pos=<51805891,22543111,119312877>, r=98510343 +pos=<12024448,46178081,70065790>, r=72808231 +pos=<85601136,40693992,70565303>, r=61732924 +pos=<58631476,51448521,-1324845>, r=57858556 +pos=<83786923,69811533,26915150>, r=73136995 +pos=<91228097,48602647,57329177>, r=58462675 +pos=<69954231,67192720,72422868>, r=70872638 +pos=<70210120,3483970,53614168>, r=66600660 +pos=<37746396,10982361,50317220>, r=55134862 +pos=<87389002,34987254,65628291>, r=64290296 +pos=<92898846,26976506,49030350>, r=61213015 +pos=<107338686,34833053,54103021>, r=72869224 +pos=<92392107,33019855,92616886>, r=98249649 +pos=<59029731,9324439,6369421>, r=74747131 +pos=<84624823,51463663,71914237>, r=69305606 +pos=<73904975,6387756,45265678>, r=59043177 +pos=<81535059,25842190,15756105>, r=71348003 +pos=<42733278,6225960,81542983>, r=86130181 +pos=<63225444,17957274,-18379960>, r=95059468 +pos=<62310192,18963064,63168293>, r=52775812 +pos=<91011708,34348467,37967881>, r=50106603 +pos=<130825317,39739872,49879931>, r=87225632 +pos=<84492882,72544800,44191520>, r=62531934 +pos=<51028075,27868854,103531564>, r=78181070 +pos=<119757304,49942388,45656409>, r=76659058 +pos=<114385541,-115956611,45426506>, r=70305438 +pos=<110204985,36485922,53659974>, r=73639595 +pos=<110993990,59498720,57273215>, r=89068827 +pos=<-21379257,33827643,55405851>, r=96503969 +pos=<10928085,17887586,47816746>, r=72547671 +pos=<116982230,37143406,45096033>, r=71195124 +pos=<104443482,11311863,51221468>, r=90613722 +pos=<-4848062,18844387,55363417>, r=94913419 +pos=<95457828,37225534,54091079>, r=58583717 +pos=<118176338,41311377,54330239>, r=77455991 +pos=<117369685,39562067,73900725>, r=97968611 +pos=<11110759,39966947,48215277>, r=50683931 +pos=<77007598,-3744641,22794598>, r=89368879 +pos=<-22643687,43651564,47679555>, r=82563610 +pos=<98851894,36038813,44068323>, r=53141680 +pos=<71206636,39529851,81426999>, r=59364119 +pos=<8765017,36932850,86185843>, r=94034312 +pos=<107948228,34139120,49454817>, r=69524349 +pos=<76683931,61531531,50268698>, r=49787058 +pos=<71225837,28371528,79593058>, r=68707620 +pos=<100701771,10715159,51043871>, r=87290748 +pos=<91664977,45272630,10311684>, r=73079684 +pos=<77096776,39829872,46149803>, r=86793995 +pos=<107273026,33031451,37778084>, r=67874695 +pos=<86909821,993930,21969530>, r=95357559 +pos=<16111252,38115083,50738542>, r=50058580 +pos=<100376342,47316215,49635477>, r=58630845 +pos=<-26528173,37069644,53356791>, r=96361651 +pos=<-64692061,-36340284,66407030>, r=74527833 +pos=<67889385,28619872,83191856>, r=68721733 +pos=<81874595,19477394,79022267>, r=87679747 +pos=<98222003,39451900,57607893>, r=62638313 +pos=<70725431,61305871,62666029>, r=56000052 +pos=<126643954,35247709,47913527>, r=85570020 +pos=<99085160,36661750,39365539>, r=54469210 +pos=<28323321,-10873764,54161585>, r=90259102 +pos=<76447477,-23663052,37019037>, r=94502786 +pos=<109996666,41050506,68270067>, r=83476476 +pos=<64039436,-16820075,69507508>, r=96627349 +pos=<67935782,19212479,3357624>, r=76777151 +pos=<47959490,22624018,67220277>, r=50183113 +pos=<2786775,51218320,46583299>, r=63604220 +pos=<109511379,53602821,45689381>, r=70106570 +pos=<63205591,55109265,28454162>, r=85563221 +pos=<58413678,6507878,90721774>, r=88887883 +pos=<98068137,44933934,60316576>, r=64621366 +pos=<62676417,81018430,56733136>, r=61730856 +pos=<4771122,43602496,57422845>, r=64843101 +pos=<69823717,10491072,54782204>, r=60375131 +pos=<97975015,22037362,45940828>, r=68138991 +pos=<63234005,-704604,44356689>, r=54555710 +pos=<111039706,29472562,62279906>, r=90107306 +pos=<117314823,36085220,66596566>, r=94086432 +pos=<92001149,4036751,46574343>, r=80799006 +pos=<123780157,41222831,54070786>, r=82888389 +pos=<37113068,29202501,68632723>, r=55863490 +pos=<116104024,41353117,30692874>, r=75469267 +pos=<28446555,-5434954,64281831>, r=94816558 +pos=<93676135,27228992,678865>, r=97179806 +pos=<92856600,1833393,44015879>, r=81299332 +pos=<2821144,37709460,70055748>, r=83072100 +pos=<104601252,32234578,56873862>, r=75500816 +pos=<104307403,22253118,39590917>, r=73874574 +pos=<3434354,65581502,48285839>, r=79021875 +pos=<66874149,45054384,46952893>, r=99487886 +pos=<127275765,28972830,47052787>, r=91616156 +pos=<93179649,11529943,43777717>, r=71687667 +pos=<110893643,25335555,60490530>, r=92309024 +pos=<109162400,35884342,46363585>, r=65902159 +pos=<98246440,59329511,34980812>, r=69048813 +pos=<88240716,40124652,25564539>, r=53962747 +pos=<128529808,37842163,47602360>, r=84550283 +pos=<64418950,-10360853,69679728>, r=90719925 +pos=<51901133,28874141,62396731>, r=63995736 +pos=<95049486,24882737,70552095>, r=86979088 +pos=<73244349,-18909484,45343732>, r=83757914 +pos=<104705091,15544321,39567187>, r=81004797 +pos=<121551455,40198523,46526099>, r=74139346 +pos=<60292406,106210679,28594003>, r=84362763 +pos=<110307643,32935814,51164614>, r=74796711 +pos=<71326189,14224785,61295683>, r=64657373 +pos=<120518980,37772643,61362923>, r=90370152 +pos=<-23017657,37158361,54509920>, r=93915670 +pos=<56948253,40281160,97536973>, r=60464311 +pos=<59173309,22926967,94612088>, r=77118719 +pos=<40675582,12986399,75921063>, r=75805413 +pos=<55846157,50796972,52652969>, r=91994811 +pos=<100597580,14283703,43806510>, r=76380924 +pos=<95356971,32426008,44501598>, r=53692881 +pos=<59942452,32309703,45076158>, r=74316484 +pos=<26449638,29616324,84840958>, r=82321338 +pos=<92707550,47215060,48883220>, r=50108614 +pos=<58871433,48057418,2138146>, r=51244484 +pos=<74292097,8858249,28517345>, r=68327709 +pos=<61438661,17929766,107038023>, r=96807240 +pos=<29320889,39223205,43915047>, r=69152831 +pos=<16777611,7405653,54375144>, r=83738211 +pos=<123332873,32232689,54107597>, r=91468074 +pos=<68566929,39292436,119456836>, r=94991637 +pos=<9244125,17022657,23650368>, r=88780183 +pos=<74570058,12597687,49751211>, r=57983861 +pos=<66142045,27584709,-523261>, r=70491944 +pos=<88959902,14158703,16945030>, r=89267794 +pos=<47929830,21981516,99348965>, r=82984036 +pos=<107044519,20101493,53581003>, r=86784329 +pos=<70515889,-26826984,51539921>, r=95143151 +pos=<69741298,-9027038,65496345>, r=90524953 +pos=<101925014,31016964,43966557>, r=61134863 +pos=<91680356,39554919,17450766>, r=66085903 +pos=<67075055,85543127,51633428>, r=65554355 +pos=<92231299,11633065,55496618>, r=82355232 +pos=<83947291,36202346,56084191>, r=50089412 +pos=<109940182,36208881,73052415>, r=93044164 +pos=<114936908,32076525,52084169>, r=81204934 +pos=<57634904,13355663,75109958>, r=65649570 +pos=<1396786,29395869,44793009>, r=67546777 +pos=<61244386,-24375109,65766081>, r=97645911 +pos=<93024393,34020397,51404784>, r=56669041 +pos=<61012499,72640305,63274826>, r=58230366 +pos=<131173483,27768518,49399125>, r=99064334 +pos=<62205635,23541799,49342917>, r=94029524 +pos=<58841465,-2917324,83391715>, r=91410764 +pos=<33879747,20615540,4324239>, r=79877789 +pos=<92253855,79970997,55288910>, r=88816867 +pos=<86652028,10745488,48808674>, r=70975489 +pos=<113629205,71107609,40021725>, r=91168798 +pos=<69929331,23211381,4768814>, r=73360543 +pos=<13675313,22713045,43977597>, r=61135663 +pos=<103348746,29913004,45614931>, r=65311078 +pos=<77476534,11460502,81679843>, r=93956258 +pos=<120219407,17291847,48000631>, r=97188653 +pos=<118153519,39358876,55722214>, r=80777107 +pos=<85873870,27571637,82199485>, r=86762066 +pos=<62879808,67950448,63071865>, r=55204850 +pos=<108171927,41422209,62084055>, r=75094023 +pos=<92426379,34843439,20281506>, r=68712650 +pos=<95352751,36975100,48261655>, r=52899576 +pos=<1635566,63863511,48277438>, r=79094607 +pos=<72457972,13997023,81578916>, r=86300163 +pos=<89797689,46823720,90292486>, r=88216741 +pos=<51827416,20700374,44724308>, r=57573855 +pos=<93227166,19912929,48607312>, r=68181853 +pos=<108218539,40890912,61378726>, r=74966792 +pos=<3070261,35797492,50183468>, r=64862047 +pos=<43687015,-1273782,46708681>, r=57841830 +pos=<80152386,22470811,61933137>, r=65875181 +pos=<139152008,34704635,44622338>, r=95330003 +pos=<63589854,26877431,70077626>, r=53050639 +pos=<17566154,4088103,51881514>, r=83773803 +pos=<67187379,4334934,56393073>, r=65505794 +pos=<-1555773,40117702,44840197>, r=59824603 +pos=<47312216,24767519,82193525>, r=63660190 +pos=<28678563,39217843,70992589>, r=56642667 +pos=<88961704,12640112,60761141>, r=83343054 +pos=<111641030,15242240,52678764>, r=95337909 +pos=<106085896,48960459,59295182>, r=75644269 +pos=<20219265,77898096,53131056>, r=79398699 +pos=<22238800,16012683,71341106>, r=86636061 +pos=<80769721,-26316147,44693347>, r=98039466 +pos=<75717590,46159104,-22190286>, r=90520822 +pos=<105389540,40566643,28511498>, r=67722605 +pos=<107788881,35057256,79000294>, r=97992519 +pos=<73022514,9859053,89582859>, r=99006574 +pos=<-125085854,33823929,66822635>, r=75098391 +pos=<69726733,3691349,45585587>, r=57881215 +pos=<114592815,21934927,49423312>, r=88341536 +pos=<61020842,2843077,29323304>, r=60265736 +pos=<71132694,61390871,-228994>, r=79206313 +pos=<71497384,26063880,2372772>, r=74471934 +pos=<101292477,40239404,44745705>, r=52059399 +pos=<45032388,40171809,100109005>, r=68451236 +pos=<112897520,17430653,45866281>, r=87593413 +pos=<23389656,31056336,92780497>, r=91881105 +pos=<124956150,37702145,31827720>, r=86837486 +pos=<113254870,36862251,54281315>, r=76934411 +pos=<108933871,27580109,28021366>, r=84743709 +pos=<62255058,35136455,50616957>, r=98136799 +pos=<31463475,25693117,58616574>, r=55006658 +pos=<54966959,-12630355,73102769>, r=86960777 +pos=<30125125,-22795398,51396310>, r=97612938 +pos=<95485335,26920174,59227253>, r=74052702 +pos=<69759723,83711415,83466952>, r=98240995 +pos=<91348134,29663257,69775535>, r=77720709 +pos=<43126368,44337561,46786473>, r=96423075 +pos=<92093710,29449541,36053180>, r=58002194 +pos=<31399831,81872495,61067710>, r=80129469 +pos=<91984370,16576001,56557746>, r=78226494 +pos=<-15232958,61918767,47081042>, r=92821622 +pos=<-4257613,41104937,52364932>, r=69063945 +pos=<62753188,-10872711,47142705>, r=67028947 +pos=<140838137,36955364,43673230>, r=93816251 +pos=<71192807,27014822,63507424>, r=53945724 +pos=<40878910,7870838,66678524>, r=71475105 +pos=<75247660,92618848,45725145>, r=74894615 +pos=<79896567,-13102319,56747965>, r=96007116 +pos=<99669707,52922088,47406756>, r=61301891 +pos=<58896837,41202117,63344722>, r=94124645 +pos=<67191078,15318534,94663070>, r=92796130 +pos=<69867237,364516,71872872>, r=87636308 +pos=<96812600,25446454,39103484>, r=63674068 +pos=<94511705,-104630994,66355271>, r=82853785 +pos=<113487298,30470845,54431725>, r=83708617 +pos=<177343373,131283903,49439926>, r=64372146 +pos=<73048436,82923409,27394072>, r=75031599 +pos=<17547384,1222536,45502635>, r=80279391 +pos=<44954038,41431739,107654559>, r=74815202 +pos=<101015298,18396756,49767698>, r=78646492 +pos=<96334724,56694469,55008800>, r=69340933 +pos=<99762062,39513168,32814079>, r=58846048 +pos=<71825123,50257599,41228218>, r=64476503 +pos=<96256903,45653163,76923482>, r=80136267 +pos=<66480790,20435372,98357549>, r=90663296 +pos=<80017545,15121704,49552044>, r=60708187 +pos=<65082926,-3359211,2972042>, r=96881323 +pos=<73421877,52082814,94422300>, r=81229722 +pos=<57770746,2253423,-5479423>, r=92407949 +pos=<99186835,35238686,58388394>, r=68596843 +pos=<144410624,43655655,46970215>, r=96339311 +pos=<67652169,8821009,55360143>, r=60452277 +pos=<88656624,33161565,53384993>, r=55140361 +pos=<91753519,34515447,54693654>, r=58191998 +pos=<32721560,35398795,64755563>, r=50181740 +pos=<59205919,35100772,-27897973>, r=83414343 +pos=<100862614,45148806,86682092>, r=93996249 +pos=<64218853,40354695,44691664>, r=53491258 +pos=<29441914,10462668,76722675>, r=90364576 +pos=<72747085,13371924,53675826>, r=59311366 +pos=<94779141,52621738,53209438>, r=61913067 +pos=<46464399,-8420430,60926412>, r=76428783 +pos=<118087116,23068846,49362102>, r=90640810 +pos=<71394824,3961997,51004413>, r=64697498 +pos=<49253963,7128670,59908543>, r=57072396 +pos=<70951966,17527470,50803796>, r=50488935 +pos=<102652957,45389728,80606479>, r=89952242 +pos=<76634795,-19543104,31958443>, r=95630841 +pos=<64156901,24989088,70207715>, r=55635954 +pos=<64479174,32433995,51202867>, r=56651512 +pos=<129259249,36064169,56651376>, r=96106699 +pos=<80896864,34437739,62952144>, r=55671523 +pos=<61612885,29810094,73714897>, r=51778040 +pos=<82425010,1396001,48873921>, r=76163180 +pos=<100978107,40124965,24804464>, r=67459937 +pos=<91371308,39120497,51352640>, r=49864192 +pos=<64273872,3956662,48070369>, r=54647883 +pos=<68205095,27362979,86316411>, r=73418841 +pos=<64578331,20307133,-24301>, r=75706849 +pos=<69826082,47631699,107508714>, r=86269401 +pos=<122238495,52805179,46070404>, r=82416975 +pos=<63629648,111051672,37793581>, r=83341746 +pos=<122783138,23449308,46454233>, r=92048350 +pos=<6717592,50415548,44141928>, r=56428858 +pos=<75584823,29637417,58822619>, r=51030592 +pos=<63830582,85200782,56126693>, r=66460795 +pos=<100521924,28247644,59495987>, r=78030639 +pos=<101944436,2627898,35040272>, r=95687531 +pos=<116624796,26699631,54100821>, r=90286531 +pos=<56640756,-41111315,50774397>, r=94786740 +pos=<80237047,33758231,58551628>, r=51290865 +pos=<114927551,15713839,46871989>, r=92346048 +pos=<78498994,59719778,54682799>, r=54204655 +pos=<76200715,7619966,51822273>, r=66663494 +pos=<3462784,40523243,36711088>, r=58000468 +pos=<61824415,10014527,72594847>, r=70665057 +pos=<57390332,59372881,40363243>, r=84686019 +pos=<74907563,37375471,103715052>, r=87507567 +pos=<15770351,61172818,48524902>, r=62516173 +pos=<136380045,39775613,56051202>, r=98916068 +pos=<96777994,20467484,47393870>, r=69964736 +pos=<50550425,17837561,97690908>, r=82849257 +pos=<95875448,36422145,11121700>, r=79742969 +pos=<24748723,35155825,69465459>, r=63107278 +pos=<71096781,-8810928,67718402>, r=93886432 +pos=<119233385,31653424,53872599>, r=87712890 +pos=<60943714,33213780,49866201>, r=90134256 +pos=<105698068,35942277,28635172>, r=72531974 +pos=<35791193,23322282,12117433>, r=67466410 +pos=<8112674,19068262,72634153>, r=98999567 +pos=<74649324,19284142,76837818>, r=78463654 +pos=<44182086,36799513,107031710>, r=79596469 +pos=<56287373,57908744,116076985>, r=91575831 +pos=<76662323,25551556,66336104>, r=63707186 +pos=<113773546,38702336,50798729>, r=72130381 +pos=<133740994,49089613,37331071>, r=91953281 +pos=<95861218,34443389,52394618>, r=60072974 +pos=<95396224,36976601,77530883>, r=82210845 +pos=<69030887,46659002,48905528>, r=90702991 +pos=<62772928,-11220240,46857758>, r=67111292 +pos=<43236183,-12070428,58184056>, r=80564713 +pos=<55976777,-22062933,62465868>, r=86765952 +pos=<118855867,37919699,58979486>, r=86176366 +pos=<76261918,-2041537,32031531>, r=77683134 +pos=<80630741,41124918,76607577>, r=62373751 +pos=<124050029,23108115,39872700>, r=92480456 +pos=<82624910,57126963,50601759>, r=51656351 +pos=<49718650,19834128,66239922>, r=50233976 +pos=<99694402,45135851,34970902>, r=56313026 +pos=<93928670,29987876,51411980>, r=61613298 +pos=<48315985,37604878,82188026>, r=49813585 +pos=<56132203,30318540,32053935>, r=92143788 +pos=<98877868,35384700,57319448>, r=67072921 +pos=<63248756,-6126587,46137406>, r=61773275 +pos=<71958035,15898818,53939913>, r=56259497 +pos=<61465046,20540335,21766414>, r=50569649 +pos=<35423884,16997853,90165947>, r=91290644 +pos=<50149949,48125945,66695556>, r=67758442 +pos=<38939140,36691066,49872362>, r=56485760 +pos=<171831977,37524787,122718493>, r=67492697 +pos=<84367624,54866266,68624089>, r=69160703 +pos=<68528389,14015426,16346999>, r=69577174 +pos=<130631682,27112617,48120757>, r=97900367 +pos=<76840164,63070575,80253976>, r=81467449 +pos=<118426790,34197515,45079155>, r=75569273 +pos=<90389281,8554335,64306797>, r=92402200 +pos=<37549773,19733162,83466627>, r=79730106 +pos=<120905508,39648565,47009052>, r=74526362 +pos=<122101602,46537901,48058538>, r=78000791 +pos=<88679252,73695358,32491341>, r=76337114 +pos=<35258479,79204900,5814452>, r=91871803 +pos=<60801137,59952217,89416711>, r=71472965 +pos=<-4175093,35687407,45973927>, r=68008004 +pos=<55730627,27922062,101145484>, r=75214405 +pos=<72422511,19196779,91638932>, r=91125437 +pos=<83094222,21842825,52516866>, r=60028641 +pos=<71792297,24831904,-8505895>, r=86877557 +pos=<69901173,13677815,65934693>, r=68418632 +pos=<122605659,44341542,44770036>, r=73020266 +pos=<110406963,39928429,75844856>, r=92584135 +pos=<15917990,37086787,59617544>, r=60159102 +pos=<55260489,868686,58649081>, r=59301136 +pos=<31984894,6301352,55326533>, r=70586645 +pos=<71585335,45635860,28548124>, r=65763046 +pos=<54720846,28955773,95681876>, r=67707222 +pos=<72705566,5527601,41059779>, r=57529394 +pos=<33284903,25007519,88145356>, r=83399317 +pos=<80319074,59544994,88993101>, r=90159939 +pos=<74293157,44869860,-23869732>, r=89487037 +pos=<113277981,37473182,52160793>, r=74226347 +pos=<24641808,15489505,54771567>, r=68186737 +pos=<74587659,11366963,48569799>, r=58050772 +pos=<121347855,28352656,44360627>, r=83616122 +pos=<105115566,13710882,54079333>, r=91744447 +pos=<67870337,73668443,54620398>, r=57461902 +pos=<80739140,28141430,59765498>, r=58623456 +pos=<57254552,30963733,79116700>, r=51667783 +pos=<69908415,27797448,23473223>, r=50048948 +pos=<77529295,34269097,77147414>, r=66668104 +pos=<4491918,46792548,43843472>, r=54733328 +pos=<74753302,11147139,45022169>, r=54888709 +pos=<67949092,81929948,75321486>, r=86503309 +pos=<77530016,-3289571,45843866>, r=72923830 +pos=<86574519,31103786,2753013>, r=84128923 +pos=<61230406,41393974,91695206>, r=57792234 +pos=<124734808,39217072,46100535>, r=77878747 +pos=<115137065,48301369,41338386>, r=68553723 +pos=<87458544,15817891,54826730>, r=72728002 +pos=<104276740,32977640,43640446>, r=61199792 +pos=<59739120,-12975930,62199653>, r=81174973 +pos=<64017068,121188566,52811201>, r=99319570 +pos=<58701041,59326046,72541592>, r=51871559 +pos=<76799264,15157289,58556618>, r=66458895 +pos=<116348762,39208095,28546450>, r=80005454 +pos=<76447462,41171150,71942881>, r=53479440 +pos=<51771065,110407068,45558003>, r=72782904 +pos=<74919867,34541007,-15085795>, r=86875949 +pos=<100310690,37049449,36144946>, r=58527606 +pos=<96017682,27145807,44323586>, r=59455819 +pos=<73677533,-26253964,45052013>, r=91243759 +pos=<70970734,52988462,65069229>, r=50331329 +pos=<79963357,17715590,36266669>, r=57392390 +pos=<102829522,5221419,49421443>, r=93290039 +pos=<64026312,52422143,79438706>, r=57189989 +pos=<-10557271,13173912,48545344>, r=99475119 +pos=<83361730,68674337,69114114>, r=82453012 +pos=<67389840,-562851,64647905>, r=78860868 +pos=<84942507,10208074,17916427>, r=88229832 +pos=<30128989,41188537,91090127>, r=73319012 +pos=<113054674,36885063,63314904>, r=85744806 +pos=<121224520,28193690,41073155>, r=83368914 +pos=<77844698,64909549,35415134>, r=53792852 +pos=<78559428,-2248132,61089784>, r=88157665 +pos=<119330513,59682447,50739053>, r=91054783 +pos=<118740747,34397851,51647378>, r=82250635 +pos=<74337809,60582555,60304245>, r=56527372 +pos=<76441848,21881481,56907650>, r=57728682 +pos=<93352942,25192565,45246194>, r=59666827 +pos=<132312008,35547477,50894593>, r=93919372 +pos=<98825436,36410664,53719416>, r=62394721 +pos=<81721456,14417792,63433952>, r=76997859 +pos=<73024450,5409133,58450841>, r=72326586 +pos=<83112126,39065044,40892033>, r=51801416 +pos=<103088421,45121204,46252359>, r=55765275 +pos=<35405533,-25479168,50900521>, r=94520598 +pos=<92373559,35563093,59319190>, r=62389901 +pos=<116914192,45031299,48169386>, r=71417676 +pos=<70147277,23610292,14228175>, r=63720024 +pos=<63504439,61822492,87553016>, r=74182678 +pos=<64813581,-576742,77153865>, r=88804813 +pos=<75690718,28266335,62637573>, r=56322209 +pos=<83321819,57228154,91870001>, r=93722720 +pos=<59856535,9619254,61060147>, r=57557803 +pos=<56597025,51224498,118618409>, r=87743022 +pos=<81488124,-1368147,65428000>, r=94544536 +pos=<63571457,-10233964,19007518>, r=86209204 +pos=<64843238,1539565,48946845>, r=58510830 +pos=<6947036,38080120,47662513>, r=56181712 +pos=<59108849,59079805,102858280>, r=82349660 +pos=<92139499,5381485,35462221>, r=82707176 +pos=<56571600,37827245,70770887>, r=77906798 +pos=<133183484,50268358,44347522>, r=89102581 +pos=<99842651,5453945,48693340>, r=89342474 +pos=<109963547,39277055,23465138>, r=78632698 +pos=<109868047,40934298,43956255>, r=59150655 +pos=<92884132,6045048,65747967>, r=98847298 +pos=<101965847,5806811,33008807>, r=94561525 +pos=<99092405,35991173,46386604>, r=55748080 +pos=<120399437,36727967,41156981>, r=73926092 +pos=<58908238,-17526805,69835169>, r=92530784 +pos=<61031878,65111754,-11596436>, r=84193756 +pos=<52193720,123327707,51276647>, r=90999438 +pos=<91307791,-2414571,47629320>, r=87611968 +pos=<59668449,27566860,80528383>, r=58890218 +pos=<81097656,2346078,72063213>, r=97075034 +pos=<85693256,54447834,34688997>, r=51905831 +pos=<60955860,30206414,115735608>, r=92745487 +pos=<59806163,-7656939,70366620>, r=84089968 +pos=<52427346,-17239587,44280913>, r=62639618 +pos=<76112418,13534493,50624260>, r=59462437 +pos=<71519953,23811561,80807048>, r=74775758 +pos=<123718364,39229461,37351114>, r=78549030 +pos=<89984910,20760213,60897512>, r=76382458 +pos=<59533038,51194031,55477766>, r=70240818 +pos=<101921441,27809749,64691331>, r=85063478 +pos=<71079501,27125004,60988395>, r=51203197 +pos=<92332665,8949071,51337949>, r=80981819 +pos=<30707290,2501617,34821709>, r=70666815 +pos=<112706162,51969737,46886179>, r=72865245 +pos=<77853548,86310697,48463932>, r=73930906 +pos=<87649058,27638528,61718662>, r=67989437 +pos=<107838131,33042773,64238144>, r=85294486 +pos=<86579652,60636243,45117775>, r=53636440 +pos=<125706753,37997611,51130135>, r=85099552 +pos=<60881521,-176791,52234004>, r=59552579 +pos=<244180340,29601929,46772417>, r=64546252 +pos=<57880346,-2797090,46126000>, r=53063692 +pos=<12376032,19104470,51899499>, r=73965673 +pos=<112725076,23389035,48975689>, r=84572054 +pos=<64628556,51799885,95669008>, r=73400181 +pos=<-158197890,36498370,48469074>, r=60354226 +pos=<97297411,24172240,49188806>, r=68574567 +pos=<42254467,44803608,44549314>, r=91286250 +pos=<107618236,12695267,38743440>, r=87590914 +pos=<100670496,27258161,66182744>, r=85855403 +pos=<126939789,33862682,56529437>, r=95866942 +pos=<121588336,31094345,51351503>, r=88105809 +pos=<78687439,-8156757,166158502>, r=54640606 +pos=<95621047,44986867,49057935>, r=50969161 +pos=<102728838,35146423,83771924>, r=97614585 +pos=<2810440,64364744,37693722>, r=77600471 +pos=<70069217,-24391203,49188834>, r=89909520 +pos=<87610973,64963618,3809600>, r=95218939 +pos=<70784552,-266620,46610546>, r=63921984 +pos=<59828871,-1194646,76480477>, r=83764862 +pos=<-2882997,38188873,35980918>, r=67410491 +pos=<74920835,37384670,47097353>, r=97552024 +pos=<66846881,8778056,13321812>, r=76158442 +pos=<86241188,31631560,31931502>, r=54089831 +pos=<22037367,18325692,56486682>, r=69669984 +pos=<123092022,51167866,49651798>, r=85214418 +pos=<61537869,-14704868,31036509>, r=76617458 +pos=<90494242,31608838,45474939>, r=50620624 +pos=<96506498,25663483,44886523>, r=61989983 +pos=<113431403,30302121,26818416>, r=87722107 +pos=<68741284,46497538,91875486>, r=68417033 +pos=<89292640,38552809,53661467>, r=50661839 +pos=<107717051,38929838,44600511>, r=59648551 +pos=<132631670,35606064,34838922>, r=93597883 +pos=<65745287,-14438158,61553255>, r=87996995 +pos=<42519914,-880029,50105207>, r=62011753 +pos=<67027129,-16304263,53828333>, r=83420326 +pos=<55997815,46189887,90372763>, r=53863480 +pos=<22535051,58647313,33354089>, r=56498126 +pos=<58580549,-7353620,57668997>, r=69863435 +pos=<18974070,47632535,54638535>, r=51885866 +pos=<88916552,29328473,44956510>, r=50804959 +pos=<121547613,56576923,-81529762>, r=68360580 +pos=<70698646,30905844,44510284>, r=79961397 +pos=<32069044,64089741,35617359>, r=50143484 +pos=<57571064,-3553372,76663081>, r=84048156 +pos=<60636098,51575997,91868040>, r=65382867 +pos=<96033949,38470124,27162057>, r=61813240 +pos=<65567821,37988775,116682681>, r=90522105 +pos=<96491465,63030219,51621810>, r=72446219 +pos=<76963841,-4788359,58168455>, r=86180910 +pos=<32421479,38226287,-11174676>, r=79224601 +pos=<110181655,36133817,45359939>, r=65668044 +pos=<101346136,33452517,55095469>, r=69249413 +pos=<65379519,104460894,44082976>, r=75226560 +pos=<55747692,2581282,31318783>, r=53258846 +pos=<102219052,33748138,9432032>, r=90450155 +pos=<119575514,33336493,49049039>, r=81548310 +pos=<68752329,18657481,72714095>, r=69069243 +pos=<24996479,35315903,58833826>, r=52067803 +pos=<103181033,66765713,34882534>, r=81517887 +pos=<28860005,28744938,57764122>, r=53705606 +pos=<88096976,32798911,65878745>, r=67437527 +pos=<103439467,33344944,73874164>, r=90229521 +pos=<118484902,35887302,35724258>, r=78284556 +pos=<8218480,10030060,63909970>, r=99207853 +pos=<62359789,-960091,47268536>, r=56848949 +pos=<102817988,51674084,47215797>, r=63010588 +pos=<81670008,489424,47131754>, r=74572676 +pos=<103284032,30456602,78865317>, r=97953230 +pos=<59466671,19351617,-8422280>, r=79948681 +pos=<112756831,-65477343,82696070>, r=80267884 +pos=<63823718,25741226,97140827>, r=81483571 +pos=<99308823,78185477,45267491>, r=84064579 +pos=<82147231,51475236,95453405>, r=90378636 +pos=<61048759,17743783,72901468>, r=62466705 +pos=<143399574,44384996,40342662>, r=93895645 +pos=<76997458,-5804674,56637410>, r=85699785 +pos=<46996129,9836603,55545536>, r=52259660 +pos=<84042957,39639599,62143642>, r=52807298 +pos=<96329185,48450932,55688597>, r=61771605 +pos=<109081464,34429192,49487532>, r=70400107 +pos=<-8788743,45163207,41199229>, r=66492619 +pos=<55521414,31263796,35414906>, r=73475381 +pos=<77597916,13653917,87725864>, r=97930197 +pos=<57256094,-4621255,62927276>, r=71064905 +pos=<104647295,36943148,61762319>, r=75726811 +pos=<71870305,6478605,52007794>, r=63659783 +pos=<89872106,25571490,22217167>, r=73494649 +pos=<19408195,67367778,62736535>, r=79285014 +pos=<76797233,-22378613,45065514>, r=90501636 +pos=<104628524,31643431,63991400>, r=83236775 +pos=<77970118,40899122,8401024>, r=60081184 +pos=<77218774,77641969,69912677>, r=86076394 +pos=<64422274,-17369952,67456876>, r=95509347 +pos=<123804911,35673094,22726996>, r=96816032 +pos=<-20253183,34847156,39946102>, r=84157596 +pos=<96863205,45152033,37276781>, r=51192196 +pos=<98574629,24682937,43788727>, r=63940808 +pos=<92936667,51256914,29832932>, r=60814877 +pos=<92577267,35303072,33612124>, r=55073794 +pos=<16438154,39550852,83113114>, r=80670496 +pos=<125637539,48210445,46304683>, r=81455388 +pos=<73395863,14327820,91203016>, r=96531616 +pos=<70946461,80289800,52413623>, r=64952643 +pos=<70238361,31148708,66133014>, r=51483318 +pos=<107702490,31588958,49645490>, r=72019764 +pos=<59756078,54206867,86029646>, r=61295350 +pos=<32959642,20023115,29481458>, r=56233154 +pos=<61235152,814769,67679476>, r=74360223 +pos=<138007194,41065669,47537894>, r=90739745 +pos=<88593953,71628747,73299803>, r=94825243 +pos=<50695603,64213779,102413438>, r=84520575 +pos=<67119960,16890436,96226391>, r=92716176 +pos=<66836243,67973805,3231731>, r=78032219 +pos=<26630481,41095168,84328147>, r=70149199 +pos=<79094804,87450756,53171995>, r=81020311 +pos=<-2466198,34479917,45670323>, r=67202946 +pos=<69748880,29440270,81041005>, r=67610021 +pos=<102873775,12535343,52557845>, r=89156530 +pos=<68712347,16676341,67710388>, r=66006645 +pos=<131108439,37769232,40623816>, r=84127111 +pos=<89744052,-2248647,43960542>, r=82213507 +pos=<62603831,38551284,44250572>, r=89242719 +pos=<-32703529,41373674,38773710>, r=91253877