From 5ab4c7be1a88ab292c69440c38f2c8c2498ede79 Mon Sep 17 00:00:00 2001
From: Duff OMelia <duff@omelia.org>
Date: Mon, 14 Jan 2019 07:51:57 -0500
Subject: [PATCH] Day 23A

---
 lib/advent_2018/day_23.ex             |   39 +
 test/lib/advent_2018/day_23_test.exs  |   27 +
 test/lib/advent_2018/input/day_23.txt | 1000 +++++++++++++++++++++++++
 3 files changed, 1066 insertions(+)
 create mode 100644 lib/advent_2018/day_23.ex
 create mode 100644 test/lib/advent_2018/day_23_test.exs
 create mode 100644 test/lib/advent_2018/input/day_23.txt

diff --git a/lib/advent_2018/day_23.ex b/lib/advent_2018/day_23.ex
new file mode 100644
index 0000000..9015265
--- /dev/null
+++ b/lib/advent_2018/day_23.ex
@@ -0,0 +1,39 @@
+defmodule Advent2018.Day23.Nanobot do
+  defstruct ~w(x y z radius)a
+end
+
+defmodule Advent2018.Day23 do
+  alias Advent2018.Day23.Nanobot
+
+  def part_a(input) do
+    nanobots = input |> parse
+    strongest = Enum.max_by(nanobots, fn each -> each.radius end)
+    Enum.count(nanobots, fn each -> in_range?(strongest, each) end)
+  end
+
+  defp in_range?(%Nanobot{radius: radius} = strongest, nanobot) do
+    distance(strongest, nanobot) <= radius
+  end
+
+  defp distance(%Nanobot{x: x1, y: y1, z: z1}, %Nanobot{x: x2, y: y2, z: z2}) do
+    abs(x1 - x2) + abs(y1 - y2) + abs(z1 - z2)
+  end
+
+  defp parse(input) do
+    input
+    |> String.split("\n", trim: true)
+    |> Enum.map(&nanobot/1)
+  end
+
+  defp nanobot(string) do
+    map =
+      Regex.named_captures(nanobot_regex(), string)
+      |> Enum.map(fn {key, value} -> {String.to_atom(key), String.to_integer(value)} end)
+
+    struct!(Nanobot, map)
+  end
+
+  defp nanobot_regex do
+    ~r/pos=<(?<x>-?\d*),(?<y>-?\d*),(?<z>-?\d*)>, r=(?<radius>-?\d*)/
+  end
+end
diff --git a/test/lib/advent_2018/day_23_test.exs b/test/lib/advent_2018/day_23_test.exs
new file mode 100644
index 0000000..6a97c61
--- /dev/null
+++ b/test/lib/advent_2018/day_23_test.exs
@@ -0,0 +1,27 @@
+defmodule Advent2018.Day23Test do
+  use ExUnit.Case, async: true
+
+  alias Advent2018.Day23
+
+  test "part_a" do
+    input = """
+    pos=<0,0,0>, r=4
+    pos=<1,0,0>, r=1
+    pos=<4,0,0>, r=3
+    pos=<0,2,0>, r=1
+    pos=<0,5,0>, r=3
+    pos=<0,0,3>, r=1
+    pos=<1,1,1>, r=1
+    pos=<1,1,2>, r=1
+    pos=<1,3,1>, r=1
+    """
+
+    assert Day23.part_a(input) == 7
+  end
+
+  @tag :real
+  test "part_a real" do
+    input = File.read!("test/lib/advent_2018/input/day_23.txt")
+    assert Day23.part_a(input) == 172
+  end
+end
diff --git a/test/lib/advent_2018/input/day_23.txt b/test/lib/advent_2018/input/day_23.txt
new file mode 100644
index 0000000..609d6ca
--- /dev/null
+++ b/test/lib/advent_2018/input/day_23.txt
@@ -0,0 +1,1000 @@
+pos=<-13936329,35619897,41211497>, r=68603272
+pos=<79512102,88331468,46871107>, r=99019598
+pos=<567246,36073658,44096001>, r=51669235
+pos=<-27821545,37291192,58061761>, r=79853358
+pos=<-10378255,52619143,53901612>, r=73577881
+pos=<23577635,33852060,50006100>, r=77059894
+pos=<-30405158,47786694,43921294>, r=94529101
+pos=<11936045,65978222,49867042>, r=64433697
+pos=<122089489,34496207,44282633>, r=90350255
+pos=<98402742,30844281,49289879>, r=61590234
+pos=<83616275,64689117,41004671>, r=85347908
+pos=<-30556576,52655711,45931021>, r=97540049
+pos=<80456044,48278353,31968891>, r=74812820
+pos=<18420482,36431078,49674252>, r=59872397
+pos=<5327530,74275352,37457555>, r=91748834
+pos=<34041905,78228839,93384561>, r=94250575
+pos=<-29037210,29634499,45403039>, r=79532368
+pos=<23925316,39740991,1549644>, r=74524669
+pos=<37956366,50720122,1743402>, r=71279013
+pos=<-6710262,39789340,50324660>, r=56433512
+pos=<18218253,25407888,23352030>, r=58554454
+pos=<26409340,26989744,49208083>, r=80644702
+pos=<25459833,75973014,25405450>, r=85366284
+pos=<35924672,37033084,132080574>, r=89868025
+pos=<36958416,91812907,27648864>, r=87464284
+pos=<37197024,45300623,-5312643>, r=73674865
+pos=<2424868,46299283,35612555>, r=68520496
+pos=<-26460796,41344705,31355223>, r=96708901
+pos=<18747873,46683765,68631308>, r=53246407
+pos=<14715068,29598024,941934>, r=80277732
+pos=<3390390,38594918,18968890>, r=76494178
+pos=<29860564,63783819,44088337>, r=50093459
+pos=<30308290,-9468108,63202665>, r=64315449
+pos=<-18403433,55180409,49284878>, r=84557868
+pos=<47196724,39743109,115322820>, r=76730180
+pos=<8076122,17191874,33464699>, r=66800077
+pos=<59706861,17060151,25978399>, r=59989603
+pos=<-261637,44267897,50588080>, r=54200021
+pos=<-49634803,33850987,50535301>, r=93209153
+pos=<104866720,43073351,64899218>, r=87306683
+pos=<12537346,6856678,32064460>, r=74074163
+pos=<10966901,8865862,62225139>, r=64345413
+pos=<28444008,42016870,-8018946>, r=81850358
+pos=<7171160,66293923,47927769>, r=71453538
+pos=<-17165307,52245957,66187739>, r=92278055
+pos=<93180750,49416073,36415420>, r=84228558
+pos=<11889697,37059032,6365864>, r=79062030
+pos=<23183491,103909835,56892705>, r=94297916
+pos=<85785877,24011489,21818101>, r=83277843
+pos=<-26981403,29782618,37955867>, r=84775539
+pos=<27039284,11466277,70678790>, r=54126156
+pos=<23863872,58434040,43879600>, r=50949219
+pos=<-2441718,35550154,35316917>, r=62933502
+pos=<-34750696,40829426,45436890>, r=90401775
+pos=<-30992416,43312434,43838243>, r=90725428
+pos=<24234490,52489854,21622127>, r=66891943
+pos=<40085339,54602753,56155554>, r=88059581
+pos=<7674459,80923036,50364385>, r=83142731
+pos=<70553526,49666339,34226500>, r=64040531
+pos=<-25500448,37547585,32617353>, r=90689263
+pos=<60825137,47137869,75552510>, r=57982910
+pos=<24458306,73955494,42640376>, r=67115357
+pos=<-26727210,44297205,50587856>, r=80695101
+pos=<32588976,30441550,54903773>, r=50918180
+pos=<-21618512,49121155,45382523>, r=85615686
+pos=<-16053668,45589390,40260837>, r=81640788
+pos=<-37382764,36488983,43744333>, r=90385963
+pos=<17241189,43108912,83258787>, r=65805455
+pos=<-33227610,41945547,43350505>, r=92081203
+pos=<38359505,56940701,26292644>, r=52547222
+pos=<52449271,105041905,41931836>, r=93606527
+pos=<-28110638,34960775,37943412>, r=85386570
+pos=<47327080,108128746,35722123>, r=97780777
+pos=<21497951,11105301,33027343>, r=59902026
+pos=<35539686,19730356,-26530345>, r=96793087
+pos=<54606910,-2078979,1427426>, r=98579724
+pos=<16029986,39206381,33444113>, r=49991088
+pos=<-2646412,47248868,38625880>, r=71527975
+pos=<-4319265,2519366,67723123>, r=91476133
+pos=<-3639430,37612742,81375556>, r=79306728
+pos=<-10180240,50748224,45858375>, r=75328686
+pos=<1912275,44922037,42835208>, r=60433126
+pos=<-12774936,56527160,50312494>, r=79248147
+pos=<83913433,45841956,41930670>, r=65872029
+pos=<21356789,53959372,27403817>, r=65457305
+pos=<-16166293,33741359,63498916>, r=70085449
+pos=<33927124,26031433,-19188140>, r=84762610
+pos=<-8475317,43816722,45807779>, r=66742949
+pos=<-34202129,36381326,49014146>, r=81827893
+pos=<37530069,63606061,73742492>, r=56497409
+pos=<3541803,50769718,40225895>, r=67260727
+pos=<-44165599,36438051,60013529>, r=97296451
+pos=<-39081338,37856886,44409463>, r=92787588
+pos=<5148218,62107927,37799812>, r=79418470
+pos=<39952276,46904586,13606144>, r=53604868
+pos=<-17453228,56357766,38464991>, r=95604575
+pos=<94435987,37427839,49857794>, r=60053151
+pos=<3667199,63475311,42001258>, r=78065435
+pos=<10526777,44989814,32961147>, r=61760748
+pos=<2223522,27616860,44178524>, r=51513870
+pos=<86967231,15428764,46941573>, r=67918039
+pos=<-1796577,61208002,44417944>, r=78845218
+pos=<-4370681,2947141,43825310>, r=83131277
+pos=<28162759,78586942,44129443>, r=66553284
+pos=<27877903,58039670,24987533>, r=65432787
+pos=<10012980,43982304,40760172>, r=53467691
+pos=<-4417610,42574835,29458437>, r=77792556
+pos=<14629503,74424709,48752300>, r=71301694
+pos=<-18791015,38921451,30328663>, r=87642774
+pos=<6934222,58649238,14950305>, r=97023292
+pos=<-16910565,44697553,24649858>, r=97216902
+pos=<39185789,68443916,14190704>, r=75325968
+pos=<75341365,33780251,1699028>, r=85469752
+pos=<-37094299,42320523,62901715>, r=98995411
+pos=<-14476526,45422656,46511334>, r=73646406
+pos=<112082928,34677047,47502776>, r=77304375
+pos=<-9636831,52340063,39606728>, r=82628707
+pos=<-775663,78935157,47620845>, r=92348621
+pos=<19783853,24701584,84831797>, r=62299635
+pos=<6752984,49158556,25479315>, r=77184904
+pos=<22165581,78638672,60867743>, r=74019697
+pos=<-13812556,38041642,48528641>, r=63584224
+pos=<3975393,34687401,38214360>, r=52756231
+pos=<-45643331,33864885,46860712>, r=92906500
+pos=<17367647,57747642,44667569>, r=55971231
+pos=<21424013,20972241,30225186>, r=52911221
+pos=<30141542,28788368,48465223>, r=84753049
+pos=<20788861,63857462,16158216>, r=87169031
+pos=<39622257,-13136863,32943789>, r=66104087
+pos=<82362034,14634777,46141098>, r=64907380
+pos=<31903812,83687411,41294054>, r=70748105
+pos=<34872020,56592377,6638567>, r=75340331
+pos=<-2130529,28288277,40811802>, r=58563158
+pos=<12371337,94761652,46384565>, r=96264307
+pos=<26794004,41605477,47938622>, r=79275394
+pos=<30702406,99937460,47597773>, r=81895831
+pos=<106439422,40226810,59887274>, r=81020928
+pos=<6677901,34426563,18612100>, r=69395167
+pos=<52772820,-8599466,6534380>, r=98159096
+pos=<-37648501,35056958,46917162>, r=86046841
+pos=<35915553,58384476,71600039>, r=50747850
+pos=<81801802,46111020,22846989>, r=83112913
+pos=<8150373,34042484,20136690>, r=66014077
+pos=<29956180,45738476,17063986>, r=58977014
+pos=<37631181,82182203,36400013>, r=68409549
+pos=<-33259920,36944381,40491464>, r=89971561
+pos=<13302362,10083511,39152071>, r=62994682
+pos=<12140878,62776893,43426519>, r=67468045
+pos=<73691437,44999661,83588748>, r=76747294
+pos=<101602741,37011830,75636765>, r=88718921
+pos=<21567381,67035738,11664353>, r=94062545
+pos=<-26583506,39324727,35033657>, r=91133223
+pos=<27158917,70743247,40911878>, r=62931077
+pos=<2166866,45714065,24498868>, r=79307071
+pos=<-1308622,56810390,69461918>, r=84259805
+pos=<-1673056,41704303,40348813>, r=63287306
+pos=<4833763,-5001657,54871686>, r=76992514
+pos=<36538980,42231613,58800329>, r=90652731
+pos=<-12486541,26676498,57945679>, r=65708650
+pos=<-9513059,37279527,54375810>, r=57847260
+pos=<6106631,35857465,28522102>, r=61487365
+pos=<32764547,-40678621,37182937>, r=96263812
+pos=<69810164,62981772,46681570>, r=64157526
+pos=<-3659706,65372829,50269716>, r=79021396
+pos=<84979200,43521258,36012508>, r=70535080
+pos=<7702322,20334712,22196318>, r=75299322
+pos=<24901508,26502911,22899642>, r=51228592
+pos=<-20268673,40508107,77762054>, r=95217724
+pos=<-2561575,43268206,53227329>, r=55736161
+pos=<21744619,40701381,25456372>, r=53759206
+pos=<-34580351,34854006,60397448>, r=86510769
+pos=<35487027,-13093597,30371186>, r=72768016
+pos=<-21889563,54391983,48342048>, r=88198141
+pos=<-14535166,58937294,46319921>, r=87411795
+pos=<-5475023,37088271,48576322>, r=54245629
+pos=<36731048,54892508,46896407>, r=66503792
+pos=<-159801,153812,69152553>, r=91111929
+pos=<35626895,42049153,6631579>, r=60049363
+pos=<65397356,53193498,57747471>, r=50805965
+pos=<15015744,68808719,31255486>, r=82796032
+pos=<39726534,-41107412,45317109>, r=81596408
+pos=<27156145,47726431,30532379>, r=50296518
+pos=<30124184,67345129,65848952>, r=59748756
+pos=<19585178,18532483,26121150>, r=61293815
+pos=<-11044504,35837897,46462266>, r=60678841
+pos=<84159008,2042210,33129871>, r=92308460
+pos=<59158218,104058732,44201403>, r=97062683
+pos=<22550695,39711835,-14881939>, r=92301678
+pos=<33907550,93705501,30137510>, r=89919000
+pos=<-15950260,24976690,37370654>, r=79135578
+pos=<-20365525,58761048,62751280>, r=98556717
+pos=<110240800,39164511,34067102>, r=93385303
+pos=<79950492,37851843,65085162>, r=57355373
+pos=<35468789,37960238,108991531>, r=68161896
+pos=<44115973,18586820,1421338>, r=67428961
+pos=<29271922,45382789,47401262>, r=61189164
+pos=<-32363829,37074246,32949289>, r=96747339
+pos=<10553975,20813436,31033171>, r=63132025
+pos=<-30115326,-24827643,-40241280>, r=50495602
+pos=<32589788,41861986,47452777>, r=62020260
+pos=<37328655,-4953547,103043732>, r=92621557
+pos=<22882239,66989711,55307395>, r=56093775
+pos=<6928919,69521564,31005310>, r=91845880
+pos=<-26312605,49386134,58202355>, r=90580113
+pos=<37999311,102115055,27905099>, r=96469196
+pos=<27374052,68063649,7069380>, r=93878796
+pos=<6898036,48022363,84232134>, r=82035377
+pos=<35740955,47513579,11425774>, r=60605405
+pos=<94221906,36993996,25375224>, r=83887782
+pos=<100018846,28324456,53435826>, r=64871850
+pos=<12994080,50427309,36692232>, r=60999559
+pos=<58132863,55788782,3334267>, r=88634559
+pos=<-14239155,48026983,25916730>, r=96608109
+pos=<11504045,45733762,33263748>, r=61224653
+pos=<31708751,57928043,32821477>, r=53656473
+pos=<62241163,48882295,10339972>, r=78830590
+pos=<14247151,56372099,28798589>, r=73584950
+pos=<-21551510,26945493,46187272>, r=73951386
+pos=<-24878991,16853254,49881685>, r=83676668
+pos=<38186118,35949508,42958125>, r=77857369
+pos=<-9420768,29923322,6094798>, r=98935257
+pos=<16668141,35443258,23680231>, r=55353476
+pos=<29570481,60912562,61855788>, r=49876838
+pos=<10150372,57726423,82094370>, r=86349293
+pos=<31133815,80489355,38033682>, r=71580399
+pos=<1778346,51667358,25393545>, r=84754018
+pos=<-34709839,35533775,47081585>, r=83420574
+pos=<12094312,49327699,39907402>, r=57584594
+pos=<54253875,51249355,97696227>, r=77666918
+pos=<-3653903,75693333,50323206>, r=89282577
+pos=<125181935,29085269,62786646>, r=98624783
+pos=<38234473,69484470,84619155>, r=72548126
+pos=<44262882,82421332,37300908>, r=67430481
+pos=<-15155260,51963357,57311909>, r=81109483
+pos=<37871127,41780709,275798>, r=63892619
+pos=<25265249,21915804,41420577>, r=53318424
+pos=<28382676,10422468,49787160>, r=60171711
+pos=<12814692,76721926,68623423>, r=89210342
+pos=<54244213,80496751,36091269>, r=76697217
+pos=<-12583395,39304853,45457910>, r=66688925
+pos=<-31483543,35656062,30813681>, r=96584589
+pos=<104491921,36145886,33696155>, r=84988989
+pos=<-872470,46813486,48401918>, r=59542685
+pos=<14630402,73418836,43009643>, r=76037338
+pos=<9620230,33634100,92073257>, r=72766016
+pos=<21993589,46291020,7471619>, r=77084381
+pos=<97497988,46528781,45051757>, r=77022111
+pos=<36325794,112385651,45444237>, r=90874227
+pos=<54469818,59476689,66680269>, r=55094271
+pos=<45907104,73744653,76603194>, r=70722375
+pos=<19714335,30384555,50302894>, r=71739864
+pos=<22034342,63900027,43519507>, r=58604823
+pos=<29075515,66906671,35190273>, r=62899422
+pos=<5083790,42247381,23514244>, r=73908119
+pos=<6004457,34154924,12041861>, r=76367149
+pos=<84006856,35445236,35203096>, r=62296505
+pos=<93808775,66472085,45083068>, r=93244925
+pos=<9662793,38997438,96111382>, r=82125103
+pos=<124735881,37952498,50573247>, r=90162394
+pos=<29708032,56924392,-6580346>, r=94055261
+pos=<26550358,8514302,25463306>, r=65004934
+pos=<8810275,35897046,50500958>, r=83999959
+pos=<-8257131,24545804,47123103>, r=62120908
+pos=<-23650084,41916760,48526665>, r=77298719
+pos=<65582232,62466370,41602707>, r=64493134
+pos=<16419103,35131893,-16649318>, r=95620682
+pos=<-33456872,35038064,45745396>, r=83008081
+pos=<30422935,70563825,56447536>, r=53267313
+pos=<56509656,33864045,-15392269>, r=83813043
+pos=<8550311,51443366,6325149>, r=96827131
+pos=<35971624,-24369892,26380823>, r=87550056
+pos=<63092767,50038057,26290490>, r=64887521
+pos=<98043473,49337180,31752264>, r=93675592
+pos=<-77667508,66808624,927588>, r=70036357
+pos=<74851872,71478389,41096806>, r=83280713
+pos=<1051714,35043424,37359461>, r=56890909
+pos=<32701887,48754188,62660950>, r=65127835
+pos=<39657865,64580453,16603763>, r=68577422
+pos=<26091495,53400944,12967075>, r=74600953
+pos=<58352435,40833216,13289363>, r=63943390
+pos=<64598146,-25195209,-71054933>, r=68838812
+pos=<76317887,24169660,1716480>, r=93753239
+pos=<31430454,75544422,41548377>, r=62824461
+pos=<-10322243,37832818,43142720>, r=65270880
+pos=<-6823462,34825464,47692399>, r=54215426
+pos=<11490029,53350927,44163535>, r=57955931
+pos=<39323019,39691036,118494800>, r=75541687
+pos=<-14903829,35460750,43419970>, r=67203230
+pos=<-21422433,62326779,46189204>, r=97818568
+pos=<31044285,111790566,47781857>, r=93222966
+pos=<-10667428,30161342,38764118>, r=67274605
+pos=<-25785180,37322082,31138592>, r=92227215
+pos=<-1060665,38991938,50250947>, r=50060842
+pos=<31323488,86448004,50637345>, r=64745710
+pos=<-11078478,38713322,46622728>, r=63427626
+pos=<27025751,61004822,59143109>, r=49801340
+pos=<5718361,54180403,42526237>, r=66194660
+pos=<58655511,58389002,42486891>, r=52605024
+pos=<32098381,26379360,-27255067>, r=94309957
+pos=<65870433,52627176,289953>, r=96255120
+pos=<7617928,22839467,35687738>, r=59387940
+pos=<101626831,56739041,41538716>, r=94874332
+pos=<17161407,59762416,44120204>, r=58739522
+pos=<29984520,94495647,60835029>, r=82025021
+pos=<39381625,57064608,-3334344>, r=81275927
+pos=<25677430,36603082,54511925>, r=98059887
+pos=<27888069,65184937,67263591>, r=61239449
+pos=<-24961017,40068622,31050074>, r=94238317
+pos=<-39957313,40317201,50312438>, r=90220668
+pos=<30073365,34742591,6542124>, r=58385662
+pos=<-5568760,-4879906,45211720>, r=90769652
+pos=<-6939369,34830021,35839769>, r=66188193
+pos=<10472805,33677283,84290924>, r=64174301
+pos=<76764551,29718230,40507609>, r=49859878
+pos=<42925527,53184176,16989137>, r=57167687
+pos=<-14936704,35964470,16339425>, r=94820291
+pos=<4602114,19004434,44556044>, r=57370022
+pos=<9577468,36233205,29361549>, r=57552874
+pos=<46044851,72392092,106453408>, r=99358432
+pos=<108180719,31036517,25707007>, r=94758677
+pos=<51674821,54854434,27616345>, r=56960462
+pos=<-34185115,27579027,48864916>, r=83273798
+pos=<3124375,-8800929,55714971>, r=83344508
+pos=<38856126,101622826,41265139>, r=81760129
+pos=<11738363,49096099,28837946>, r=68778417
+pos=<-38987541,41830767,41983396>, r=99093479
+pos=<-13929621,40113507,47729221>, r=66572550
+pos=<58025066,-15358364,31703716>, r=85000883
+pos=<8768855,36442078,30517241>, r=57414839
+pos=<8731708,4817747,46195985>, r=65787211
+pos=<23742091,37862619,-11012983>, r=85392054
+pos=<53347261,84524329,49110497>, r=66808247
+pos=<19195179,46373829,37232939>, r=50204252
+pos=<-38362511,40529018,45020742>, r=94129342
+pos=<3066060,47305399,36494000>, r=68004127
+pos=<36656103,66282505,12637683>, r=77247417
+pos=<-41083826,28541833,59437745>, r=93932802
+pos=<49403898,50801391,101444892>, r=76117595
+pos=<-1880740,69838205,47209167>, r=84768323
+pos=<1564825,14832307,48972191>, r=60163337
+pos=<61605853,66280650,42582807>, r=63350788
+pos=<21132584,34142899,59467814>, r=91499927
+pos=<10868384,50156970,90674017>, r=86641462
+pos=<32262933,86489775,44690178>, r=69795389
+pos=<19942080,-11699602,55055625>, r=68766357
+pos=<5674983,66568659,50599961>, r=70552329
+pos=<5648435,15796191,31880038>, r=72207990
+pos=<23396936,42725194,59520791>, r=87942387
+pos=<-30203321,35923400,46300490>, r=80084784
+pos=<30822175,42877432,102665196>, r=71399374
+pos=<51276202,93684783,39027365>, r=83980727
+pos=<25564508,64720511,45538970>, r=53875616
+pos=<55775053,18274059,91254603>, r=68497073
+pos=<36762133,115202935,45975502>, r=92724341
+pos=<-36017243,40227375,40380024>, r=96123687
+pos=<82606211,70756950,33082457>, r=98327798
+pos=<12800236,42130132,73830643>, r=59839435
+pos=<38931915,44945710,56036545>, r=63223959
+pos=<5913326,34574732,10100928>, r=78819022
+pos=<31935811,42162198,11613634>, r=58871299
+pos=<276087,53146384,40264574>, r=72864267
+pos=<9682567,85823155,47596574>, r=88803152
+pos=<-5672436,77029718,45955607>, r=97005217
+pos=<25841507,36398877,124397667>, r=91634567
+pos=<11408708,75365676,42403265>, r=81812644
+pos=<-25303592,30749768,59612613>, r=76119399
+pos=<30310896,58098040,15694285>, r=72351423
+pos=<-38958609,34039602,54358817>, r=84035975
+pos=<17336959,87365036,40156852>, r=90129845
+pos=<74028400,47415500,34668960>, r=64822141
+pos=<3858701,37726221,-4618918>, r=98745079
+pos=<14603647,-8710643,29848521>, r=89791092
+pos=<83416642,59263460,34677561>, r=86049764
+pos=<11162730,54568808,84087645>, r=84172734
+pos=<-27305801,40950579,34575817>, r=93939152
+pos=<7023909,37663590,78366641>, r=65685263
+pos=<95164806,17381380,59931120>, r=77456069
+pos=<32862543,62461802,77866525>, r=64144734
+pos=<21992823,34375809,48297578>, r=70298301
+pos=<35458178,48259443,20925469>, r=52134415
+pos=<37361104,54630152,12255361>, r=65272381
+pos=<4661702,45596478,49727773>, r=51465737
+pos=<-20524365,17913688,70344548>, r=94908374
+pos=<37014028,19915549,50691024>, r=58808868
+pos=<11036265,-861182,60439358>, r=72217363
+pos=<38953801,118057119,44473887>, r=94888226
+pos=<18112670,47232834,36875994>, r=52502867
+pos=<-49642790,34678868,48275220>, r=96304994
+pos=<-19105221,45220896,45637512>, r=78947158
+pos=<-45427989,37133380,47374005>, r=95445934
+pos=<33292406,65787998,8193267>, r=84560947
+pos=<31951715,28713869,2528343>, r=62338692
+pos=<43168012,-20157643,39831186>, r=66815619
+pos=<13274563,74866112,43985577>, r=77864998
+pos=<107687234,35129524,49829600>, r=71034470
+pos=<20332531,45514250,28516321>, r=56924069
+pos=<87362087,38997954,19351378>, r=85056199
+pos=<-26837444,43980509,32772244>, r=98304261
+pos=<88025960,38864064,45594019>, r=59343337
+pos=<111069467,40234841,55425522>, r=81197302
+pos=<-5502805,37014261,40658873>, r=62116759
+pos=<1027413,39865322,19750271>, r=79346413
+pos=<-2684045,40645086,20914877>, r=82673113
+pos=<50684653,14102508,8589172>, r=71314114
+pos=<94828389,53174899,41378235>, r=84672224
+pos=<-9102016,55314134,44881266>, r=79793423
+pos=<28820838,65806715,39450378>, r=57794059
+pos=<10252436,42710890,28902925>, r=63814074
+pos=<-29107247,56996409,49750591>, r=96611656
+pos=<-2082092,73632295,49538471>, r=86434855
+pos=<25604743,33912491,53264659>, r=53261461
+pos=<25287487,38880084,42363582>, r=75965865
+pos=<4003712,38578278,27646926>, r=67186236
+pos=<25298508,34489626,12340323>, r=57109362
+pos=<99477771,38615589,18726448>, r=97414258
+pos=<31369562,46483781,13435068>, r=61937751
+pos=<-28721608,34264214,65409609>, r=85074558
+pos=<-20441286,36146008,17986656>, r=98859187
+pos=<-16011388,43053623,48385032>, r=70938729
+pos=<77591298,43808282,38962597>, r=60484178
+pos=<-1651449,51984607,84725572>, r=95040496
+pos=<18729440,64418552,27957638>, r=77990073
+pos=<36416741,36313993,25267107>, r=60924395
+pos=<22015674,50781837,31772407>, r=57252305
+pos=<27017980,-5901309,28030857>, r=76385086
+pos=<-3207282,79237760,49922453>, r=92781441
+pos=<67006387,39796223,53835607>, r=78488135
+pos=<11604421,49160152,80379964>, r=74614561
+pos=<68679415,16372386,44560939>, r=51067231
+pos=<-6102491,34207560,31245601>, r=69323356
+pos=<19333627,25235469,48601846>, r=80795337
+pos=<11019011,43166447,31766732>, r=60639371
+pos=<-3580533,41845771,49738828>, r=55946027
+pos=<35870045,54420070,20257311>, r=58551515
+pos=<11319766,35613328,110110636>, r=91083307
+pos=<27259768,14092894,90249270>, r=70850047
+pos=<-17997541,37348008,35001155>, r=80603142
+pos=<15513520,81286384,50454502>, r=75577068
+pos=<5003293,58434454,49706690>, r=63983548
+pos=<-1569715,53724618,38515847>, r=77037025
+pos=<35735447,44333090,-21745293>, r=90601562
+pos=<75384959,49934841,47152960>, r=56213921
+pos=<3425778,42523520,47646127>, r=51710324
+pos=<-16844620,37766288,47048772>, r=67820714
+pos=<81266814,38549940,13291837>, r=84572158
+pos=<84557243,30246877,69585682>, r=63637512
+pos=<38420439,78557071,33146910>, r=67248553
+pos=<-20708194,31258952,39053959>, r=75927971
+pos=<35413822,35249910,66408348>, r=94673252
+pos=<60674286,58582860,74155236>, r=67879805
+pos=<73161742,40666881,22052077>, r=69824054
+pos=<13774688,-12296808,41872941>, r=82181849
+pos=<5089839,52153362,49862372>, r=57459699
+pos=<39481414,60773142,16295280>, r=65255106
+pos=<35318440,35415553,41891228>, r=76571568
+pos=<34000988,-14851608,39965799>, r=66417699
+pos=<19395731,28232088,49245931>, r=76903056
+pos=<14092140,38427648,49764893>, r=97831803
+pos=<30413141,37826118,1759086>, r=65912642
+pos=<53526663,35578873,61213297>, r=84311332
+pos=<36301845,-30342035,78117702>, r=94110846
+pos=<-4767461,68471484,42397191>, r=91100411
+pos=<10601306,93823235,54153366>, r=94054513
+pos=<-45674407,40531317,49789927>, r=96674523
+pos=<23251293,38181242,44081995>, r=60876030
+pos=<-19529446,59380645,42273986>, r=96894765
+pos=<247258,36376377,44121839>, r=52265845
+pos=<-2339080,41667796,49932298>, r=54333246
+pos=<11517187,38750187,35896843>, r=51594697
+pos=<38904708,38549037,-19936386>, r=79839578
+pos=<38522321,43596912,61799199>, r=62534087
+pos=<2884109,49318356,17698561>, r=88994230
+pos=<37688358,29271422,-17216569>, r=75789581
+pos=<-37146493,36862685,42598485>, r=91669449
+pos=<57634030,46327511,7828754>, r=74179879
+pos=<-19294854,34231005,37867981>, r=75916548
+pos=<-2716437,30016500,47421592>, r=50810960
+pos=<45163831,103227969,33992777>, r=92446321
+pos=<39083894,26740786,47124643>, r=81468547
+pos=<116526147,38835733,48782200>, r=84626899
+pos=<-5801402,1123578,39260001>, r=90950460
+pos=<-5699735,42986199,42716428>, r=66228058
+pos=<-1340735,53912161,61676921>, r=73608676
+pos=<23832435,57027606,43395443>, r=50058268
+pos=<-9928271,44096630,59359453>, r=70063779
+pos=<19156993,59501835,48882638>, r=51720747
+pos=<69795084,47530199,-302481>, r=95674837
+pos=<-13277029,36095316,49538477>, r=60092757
+pos=<-4235521,45257145,26480530>, r=83270726
+pos=<48599731,60729490,28629114>, r=58747388
+pos=<17175538,77758158,38577767>, r=82263472
+pos=<20197120,57845258,44269809>, r=53636868
+pos=<10586221,22950146,32456114>, r=59540307
+pos=<-7425914,56286961,53666905>, r=74058641
+pos=<21553275,60466829,32907196>, r=66264963
+pos=<-5419934,64218196,48127835>, r=81769592
+pos=<10396489,44027384,28526512>, r=65362946
+pos=<22993685,48176155,20642932>, r=64798309
+pos=<31542126,55394534,28701459>, r=55409652
+pos=<-27396993,49096768,50356341>, r=86395973
+pos=<50722746,35948949,112663300>, r=73802410
+pos=<18450517,36691673,-6296625>, r=84796604
+pos=<334480,40169845,74163277>, r=70677606
+pos=<-16321330,62167617,49344319>, r=89403182
+pos=<78904932,37365326,89854704>, r=80592364
+pos=<-8842485,72474515,47252397>, r=94323224
+pos=<73285168,65029312,42095028>, r=74266761
+pos=<22449853,57336724,92906282>, r=84472251
+pos=<33495037,54986350,87035967>, r=65206495
+pos=<19558480,-2915141,36818532>, r=72070800
+pos=<8790508,65237238,57991787>, r=71117703
+pos=<962616,64644892,57320044>, r=77681265
+pos=<9348575,50505324,26201222>, r=75214113
+pos=<89736519,37152002,41569132>, r=63366597
+pos=<35032978,80470398,64427095>, r=66543449
+pos=<-22725104,63857911,48997601>, r=97844068
+pos=<-28814505,39293390,40192583>, r=88174481
+pos=<22340584,47360091,50602630>, r=70980523
+pos=<15078830,48813823,36225316>, r=57768345
+pos=<81393330,37610564,41659688>, r=55391303
+pos=<29151903,58200143,24651858>, r=64654922
+pos=<14759685,59322457,31461730>, r=73359589
+pos=<27954767,47256873,20501103>, r=59059596
+pos=<7123632,59649308,34690504>, r=78093716
+pos=<-20010536,47537271,40276730>, r=87529805
+pos=<-2206550,66544194,42210135>, r=86799162
+pos=<-162535315,37111428,59226347>, r=53262765
+pos=<105188722,38760484,45913687>, r=76083040
+pos=<31157389,60999638,10323481>, r=79777459
+pos=<111064135,37005929,57654003>, r=80191533
+pos=<-3693317,48280505,53531048>, r=62183794
+pos=<-35063095,44130212,54283555>, r=90155765
+pos=<33674767,50254294,106087408>, r=79346058
+pos=<98989543,35875098,82457036>, r=91789092
+pos=<-8522093,38304907,52994362>, r=56500263
+pos=<16206408,52280512,90314387>, r=83067709
+pos=<21998117,60058127,82339723>, r=77078643
+pos=<28467218,37055286,4458617>, r=64388312
+pos=<-23214910,37640886,35478669>, r=85635710
+pos=<6655648,-6119402,43412896>, r=81583601
+pos=<5522789,63334543,37573737>, r=80496681
+pos=<44010998,68882265,36093813>, r=54846632
+pos=<-29163469,31397572,45920277>, r=77378312
+pos=<29907131,20842337,-19954599>, r=94737988
+pos=<75489622,67350696,45982487>, r=74904919
+pos=<37249847,46849973,-13408419>, r=83267145
+pos=<31911882,54267713,-9612200>, r=92226704
+pos=<-160545086,33709961,36674770>, r=60287512
+pos=<-4911749,54336350,42389963>, r=77117059
+pos=<-9011881,26711619,45369477>, r=62463407
+pos=<20439588,73109536,33168023>, r=79760752
+pos=<-3881270,70550513,38669335>, r=96021097
+pos=<37522817,77183079,41201381>, r=58717512
+pos=<52558888,21143484,-15679171>, r=90416363
+pos=<-29285130,36053131,46343320>, r=79253493
+pos=<959333,77675081,38766692>, r=98207596
+pos=<12370115,55628144,96695023>, r=96631948
+pos=<30061939,63363127,69063893>, r=59044072
+pos=<-10071098,41949048,30086623>, r=82192284
+pos=<14549309,42836818,-10648>, r=88556805
+pos=<12271582,54886417,47067675>, r=55805725
+pos=<-26828756,38654686,50490993>, r=75251026
+pos=<3317733,58050692,33882506>, r=81108994
+pos=<-11184434,36243153,36251809>, r=71434588
+pos=<-387388,56757477,44998095>, r=72405311
+pos=<-3047015,26949732,66213321>, r=64263678
+pos=<-34992863,35422552,53351038>, r=80445446
+pos=<107290525,42246506,52949750>, r=76954370
+pos=<32357780,-13962635,56902710>, r=60460758
+pos=<25088350,66977356,49805182>, r=52342490
+pos=<-4392446,50843055,56195424>, r=68109795
+pos=<-21001518,58639553,45437801>, r=94462244
+pos=<19398835,38776529,-9670447>, r=89307120
+pos=<-8716499,56972944,37907675>, r=88040654
+pos=<82839626,55363436,45842363>, r=70408159
+pos=<-25722479,34078709,48412333>, r=71647778
+pos=<-8269088,-7930032,53387460>, r=91539580
+pos=<18019899,24049843,-1268938>, r=84731805
+pos=<-19596633,42269657,42081536>, r=80043321
+pos=<869913,25320254,91418310>, r=87181422
+pos=<8368879,47504023,47373405>, r=52020372
+pos=<62180658,35871188,2618311>, r=73480928
+pos=<-14390640,10257262,69377969>, r=95464304
+pos=<12527458,21561228,86448566>, r=74313020
+pos=<-13753633,50318605,38040727>, r=86290106
+pos=<6019022,51784999,45981972>, r=60042751
+pos=<24467867,35620836,18098856>, r=53312677
+pos=<20358162,88789045,36164750>, r=92524746
+pos=<1599607,39186854,59386066>, r=53652521
+pos=<38641356,11731332,64664309>, r=53374882
+pos=<12657037,83624293,43215054>, r=88010987
+pos=<107371597,36232535,78631468>, r=96703028
+pos=<-6756174,45791391,39212869>, r=73593269
+pos=<23828038,48343760,20370753>, r=64403860
+pos=<-8685668,57250254,30441723>, r=95752897
+pos=<-33237398,36525101,72425362>, r=98866925
+pos=<-12541371,33750614,28630136>, r=77920504
+pos=<-11154148,37113735,21702277>, r=86824393
+pos=<1940610,30845620,6256059>, r=86490408
+pos=<3319821,23810859,46232489>, r=52169607
+pos=<16247342,35429516,55152316>, r=75135095
+pos=<15538026,50994777,38931043>, r=56784264
+pos=<27118760,81338278,26781975>, r=87696304
+pos=<-36650381,24567170,47276522>, r=90339344
+pos=<239479797,18932535,49519660>, r=63281784
+pos=<-12845202,31299650,49365966>, r=57712542
+pos=<20022460,-1857573,27949142>, r=79418837
+pos=<35948724,70234660,78351022>, r=69315930
+pos=<32979215,34085521,10025551>, r=51339442
+pos=<28492761,54552414,109944762>, r=92683332
+pos=<47876691,38090176,32608649>, r=92668037
+pos=<30367145,-29515701,76664820>, r=97766400
+pos=<34079166,62087790,5640518>, r=82626668
+pos=<22943400,48919981,25310474>, r=60924697
+pos=<-17873861,25559616,83053414>, r=97320930
+pos=<58753109,71353206,41941440>, r=66211976
+pos=<36441693,14434513,15130328>, r=59526151
+pos=<418575,28794260,43448983>, r=52870832
+pos=<-39174361,23754138,53482169>, r=90855325
+pos=<34507530,-6970595,55826774>, r=50242810
+pos=<8002098,49896156,46288794>, r=55864284
+pos=<-57499781,88522624,98048758>, r=83540204
+pos=<23961106,43175615,15950589>, r=63522477
+pos=<1740078,-14356404,59504429>, r=94073690
+pos=<-36712936,45968447,50307148>, r=92632774
+pos=<1780352,66956347,48766570>, r=76668116
+pos=<-24911995,39346169,75675663>, r=96612690
+pos=<9367858,33762280,85793028>, r=66866317
+pos=<106130428,40174278,48814661>, r=75537118
+pos=<-9876395,6017549,42650892>, r=86740687
+pos=<30462112,7994973,9598774>, r=77476755
+pos=<60065040,92056364,49420774>, r=80747840
+pos=<-5225358,33809030,48302544>, r=50990479
+pos=<16869034,51314030,87103431>, r=78227288
+pos=<-10293536,38231964,40787823>, r=67996217
+pos=<8522136,60515749,22235993>, r=90016301
+pos=<8562543,34350063,15872074>, r=70174034
+pos=<2373672,55448400,38935033>, r=74398262
+pos=<7961546,88306574,43410557>, r=97193013
+pos=<38080334,74489422,1349210>, r=95318483
+pos=<2201077,27558621,44697080>, r=51075835
+pos=<50789606,75846559,54291380>, r=55395000
+pos=<10379363,46178450,26040934>, r=70016944
+pos=<118759122,20717797,46348081>, r=95014448
+pos=<35359273,72803112,40943762>, r=56758623
+pos=<57805674,13145494,10089049>, r=77892495
+pos=<50253429,60822603,2660916>, r=86462339
+pos=<25209401,80836163,80801817>, r=93107510
+pos=<17607052,41366424,73163745>, r=53602016
+pos=<-17849748,36532297,49092545>, r=65548463
+pos=<-3554318,39280034,48306835>, r=54786073
+pos=<-13326014,35046155,67636572>, r=72687850
+pos=<10214884,30711887,27483545>, r=57122381
+pos=<29181878,18727129,58930328>, r=53405404
+pos=<35821404,-8286048,14610260>, r=83387205
+pos=<-36455905,35556809,48533303>, r=83737964
+pos=<-4871018,-6049147,41096317>, r=95356934
+pos=<18408963,36934916,20722096>, r=58062470
+pos=<70267297,40841097,29100867>, r=60054889
+pos=<13342659,-10234962,43106382>, r=79318558
+pos=<38364437,58625713,935410>, r=79584423
+pos=<66810077,62031317,36791160>, r=70097773
+pos=<37425619,91858423,41308201>, r=73383178
+pos=<20293971,78014403,34621578>, r=83357439
+pos=<-30891669,35934737,46579284>, r=80505809
+pos=<1853723,68687291,47830648>, r=79261465
+pos=<-6511491,37667785,55545613>, r=56403754
+pos=<22676711,101884401,42078064>, r=97388266
+pos=<-10373484,52643444,46757667>, r=76517802
+pos=<-7774802,66635823,43468961>, r=91200217
+pos=<149883,42840957,54107098>, r=53477188
+pos=<49242280,25113057,49098305>, r=57313682
+pos=<37607186,-23513508,65320378>, r=73179635
+pos=<-23195039,48168266,69677723>, r=97720126
+pos=<46129546,91835752,28997608>, r=87014765
+pos=<-4399266,29104053,35502496>, r=65325331
+pos=<118403,29413172,22895265>, r=73105848
+pos=<84204594,52608678,87529235>, r=98810355
+pos=<42316211,76078225,13145069>, r=83296509
+pos=<30043101,81492361,82975146>, r=91103265
+pos=<20238853,-14251089,35981891>, r=83563116
+pos=<-10505166,25200745,32667996>, r=78169156
+pos=<-11202402,50806513,35796368>, r=86471199
+pos=<-8201310,65836762,49959264>, r=84337609
+pos=<53761227,71751316,5718799>, r=97841001
+pos=<2139148,34140106,35415410>, r=56844110
+pos=<104574938,52919378,48711646>, r=86829759
+pos=<50746214,74257012,54893055>, r=54363685
+pos=<-35962769,47321393,47078181>, r=96464539
+pos=<12009730,55349286,32396850>, r=71201246
+pos=<31011571,87804008,49031000>, r=68020013
+pos=<35400987,7541108,9980697>, r=72609816
+pos=<-14934436,48416755,59037504>, r=79067558
+pos=<30906731,43158559,18964207>, r=53546208
+pos=<2380027,64316139,27661453>, r=94533554
+pos=<-9138740,40337862,47543983>, r=62191244
+pos=<39779965,69225617,21791355>, r=67913093
+pos=<2601134,70255587,39610629>, r=88302367
+pos=<-25319396,41032301,45569207>, r=81041066
+pos=<1590171,44406882,37880266>, r=65195016
+pos=<49331148,48772158,48019842>, r=55173266
+pos=<9748940,35370173,30343587>, r=55536192
+pos=<-8415246,44155814,48286649>, r=64542950
+pos=<52706713,40494630,48676412>, r=50031697
+pos=<30008995,55311841,-11403595>, r=96965005
+pos=<-68419139,-21461905,-3570489>, r=53712679
+pos=<28951226,64516507,18946381>, r=76877570
+pos=<37694460,40484748,6620219>, r=56428743
+pos=<-9678502,45159690,41818296>, r=73278463
+pos=<-33660770,36376686,61164848>, r=87881251
+pos=<55634429,55251993,19418419>, r=69515205
+pos=<1273829,58672690,68371055>, r=82449024
+pos=<10309578,46515212,30577620>, r=65886580
+pos=<15237085,74484694,26441929>, r=93064222
+pos=<95717915,34651258,48578735>, r=59838180
+pos=<1836548,9067426,27116822>, r=87511846
+pos=<33062236,11755432,49700945>, r=69881261
+pos=<37101708,-12041428,36752338>, r=63720015
+pos=<-26078636,39503837,49395100>, r=76445914
+pos=<-20235361,42446445,54830877>, r=74191640
+pos=<-22671005,38341666,65396222>, r=83087775
+pos=<-13940593,40613852,54712760>, r=65946719
+pos=<8949134,48568046,61769715>, r=58067628
+pos=<-19121018,59372094,45771903>, r=92979770
+pos=<-31659525,36762111,50542052>, r=78138129
+pos=<39930552,23236615,42458110>, r=74856316
+pos=<-25861582,11667887,-66027014>, r=56247520
+pos=<51841067,33784202,1416431>, r=62255979
+pos=<-12717607,37027451,53841017>, r=60265041
+pos=<27860758,36015749,47607684>, r=53154952
+pos=<28584864,78864984,16220905>, r=94317862
+pos=<33042741,43952312,-10720850>, r=81889066
+pos=<10861067,58078911,78876375>, r=82773097
+pos=<93149987,66354822,48531076>, r=89020833
+pos=<-704167,57653074,73336961>, r=88373076
+pos=<11901981,-4051390,63108278>, r=77210755
+pos=<34221669,50768235,26480003>, r=50325376
+pos=<-9280146,35744026,50716813>, r=54565904
+pos=<-27452595,49359028,43344134>, r=93726218
+pos=<-12360214,37428968,48805186>, r=61243327
+pos=<15363606,53084672,38612022>, r=59367606
+pos=<11293635,59606885,36744236>, r=71827627
+pos=<-1445136,53369020,38693702>, r=76379361
+pos=<9016300,57439185,44627200>, r=64054324
+pos=<17398354,36442029,24592399>, r=54709833
+pos=<19260108,61505745,66231597>, r=65156479
+pos=<20293438,47761993,-2671237>, r=90398376
+pos=<17561277,-8250384,59316970>, r=71959008
+pos=<-23724606,35738281,49641205>, r=70080355
+pos=<-4303786,28195742,25883209>, r=75757527
+pos=<31146018,40015420,100780027>, r=66328323
+pos=<209299131,18331644,12890111>, r=52321276
+pos=<11282052,51828510,18176176>, r=82628886
+pos=<-28760461,27599251,46480478>, r=80213415
+pos=<-38328979,44841376,47268491>, r=96160440
+pos=<-25859176,49995706,40901180>, r=95212257
+pos=<23946244,67079826,26173438>, r=77218768
+pos=<61381020,38085955,14546053>, r=62968235
+pos=<-482980,2086245,36758790>, r=87170800
+pos=<36830817,78220547,5418576>, r=96229849
+pos=<2321586,37955758,4685655>, r=91207556
+pos=<84027853,39180224,45598878>, r=55656631
+pos=<-6619560,46992299,32296926>, r=81573558
+pos=<45533230,100047365,38165187>, r=85462485
+pos=<17901508,59527414,48111039>, r=53773566
+pos=<-35790420,31057370,47925444>, r=82340258
+pos=<-38376528,25730331,41738172>, r=96440800
+pos=<28743570,37487851,32214642>, r=84705061
+pos=<-3558440,53186004,56286059>, r=69709632
+pos=<26977060,58624067,2669364>, r=89236238
+pos=<36526554,66466478,22013670>, r=68184888
+pos=<16931500,48322026,26999971>, r=64649314
+pos=<3426443,73418838,49810035>, r=80440914
+pos=<1590651,45720921,25027421>, r=79361435
+pos=<54100108,53452243,4723412>, r=80876328
+pos=<-10497883,63406487,59746745>, r=90330011
+pos=<-7020369,57282735,45898531>, r=78663303
+pos=<32425028,39667006,11922385>, r=55578137
+pos=<-9728492,36802579,48384737>, r=58405015
+pos=<-1464260,21018469,47721034>, r=58257429
+pos=<16248783,9119673,19882342>, r=80281831
+pos=<-27699619,56836458,47213742>, r=97580937
+pos=<95217123,7166288,55687587>, r=83479951
+pos=<25924187,44323325,19376577>, r=59281128
+pos=<3244118,60974397,65740023>, r=80149386
+pos=<5968136,66973716,42394697>, r=78869640
+pos=<2619102,42504369,49102093>, r=51041731
+pos=<3190943,72576477,49215874>, r=80428270
+pos=<25639149,69369896,36728000>, r=67261428
+pos=<22126047,64613155,14733808>, r=88011840
+pos=<13906363,42418962,35209599>, r=53562137
+pos=<-10324926,35181724,24678533>, r=81086855
+pos=<-5038035,4578125,50097770>, r=75894753
+pos=<-29004578,38640593,40922273>, r=86981792
+pos=<-25385473,24777919,50345690>, r=75794669
+pos=<74287068,-3643080,45831328>, r=75420176
+pos=<19666261,40210296,29989343>, r=50813248
+pos=<16169802,56638213,40281834>, r=60445132
+pos=<26599764,17252810,24881854>, r=56798233
+pos=<-7190987,35226262,57447570>, r=56543955
+pos=<23984852,42265323,8354164>, r=70184996
+pos=<92592370,50028549,45237855>, r=75430188
+pos=<52858686,67123942,10740106>, r=87289680
+pos=<-1221077,44735366,39740171>, r=66475212
+pos=<89927724,52141128,25596101>, r=94520139
+pos=<-24014467,41265421,50048514>, r=75490058
+pos=<36352104,79316445,59752493>, r=59395721
+pos=<-11719821,34612660,48220045>, r=58371016
+pos=<-10048085,24944572,38936489>, r=71699635
+pos=<-3930311,30929753,17621275>, r=80911980
+pos=<25416436,50239102,-12608077>, r=97689299
+pos=<34720241,36912409,115051950>, r=73923551
+pos=<39554791,57025969,115813148>, r=89963294
+pos=<12011679,34977894,10321870>, r=72902893
+pos=<53549981,48708223,47056731>, r=67623472
+pos=<62022948,63575052,39785033>, r=63860212
+pos=<96686116,31471655,45024297>, r=63511523
+pos=<17387982,38393016,7680879>, r=73582697
+pos=<-26403763,47335758,50306605>, r=83691462
+pos=<26994774,-32119807,50698615>, r=79959118
+pos=<53226343,41100936,10289244>, r=62085112
+pos=<82644,38842768,43449307>, r=55569371
+pos=<-19842327,33756184,26379937>, r=87477228
+pos=<-11035895,53364248,30911406>, r=93747430
+pos=<32581469,43972522,-23668360>, r=95318341
+pos=<-29824329,44055157,49614165>, r=84523874
+pos=<37451370,44731340,48971475>, r=58773566
+pos=<-35806117,47303626,49855871>, r=93512475
+pos=<6400907,38093396,22239312>, r=69711810
+pos=<69044439,40019399,34004994>, r=53106040
+pos=<36419677,34220904,32427706>, r=78080556
+pos=<19577542,61651907,48591189>, r=53741838
+pos=<27038191,24299546,47926944>, r=50242775
+pos=<-14968783,55169956,39071810>, r=91325754
+pos=<34134340,27402978,27748947>, r=81301148
+pos=<-39407652,36550450,46197731>, r=90019349
+pos=<1760178,47082957,60711657>, r=62713500
+pos=<13724053,30409489,29498531>, r=51900565
+pos=<-26486606,34531696,48937084>, r=72339761
+pos=<-43473265,34225894,40892534>, r=97065182
+pos=<125752921,31470339,42254788>, r=95348956
+pos=<16392419,34870102,22326938>, r=56409284
+pos=<15811726,58550545,27892988>, r=75104552
+pos=<6976955,80211632,55332295>, r=85246102
+pos=<38290839,38672477,-6091052>, r=66731407
+pos=<-3107514,28232324,42874535>, r=57533302
+pos=<-3387379,3745087,42395541>, r=82779475
+pos=<33068765,67573945,35406424>, r=59357297
+pos=<17095729,37361336,80104298>, r=57048890
+pos=<-7517177,-6781244,43790835>, r=96040240
+pos=<-34060738,39820417,44549832>, r=89589972
+pos=<10368595,45853887,17173655>, r=78570259
+pos=<28519639,64563223,39744451>, r=56557683
+pos=<81615305,36919728,46248201>, r=50333915
+pos=<-20216901,29579101,55673746>, r=68264508
+pos=<39166639,43341927,43631299>, r=88464254
+pos=<36131349,77381831,41211338>, r=60297714
+pos=<8025373,16108073,28193354>, r=73206063
+pos=<31681491,76325423,40882571>, r=64019987
+pos=<22143939,76306974,48042816>, r=66378795
+pos=<-1955580,25219979,72677897>, r=71366737
+pos=<38752700,43231517,-7477010>, r=72214757
+pos=<25823759,64903849,32184707>, r=67153983
+pos=<32046727,41517831,122467501>, r=88617714
+pos=<18025317,39954444,49832536>, r=86219487
+pos=<38556884,25664304,48334856>, r=73402114
+pos=<6593275,73028175,45018263>, r=81675439
+pos=<103263314,33694471,37088891>, r=77916193
+pos=<-21533814,43913789,41354655>, r=84351848
+pos=<-12048774,43699274,50074327>, r=65932261
+pos=<8251010,35213954,11157261>, r=76064278
+pos=<10498013,52008477,45483929>, r=56285114
+pos=<-9436613,27139758,54220035>, r=58469817
+pos=<12588313,34665164,8278571>, r=74057051
+pos=<30465150,59193006,35422775>, r=53563828
+pos=<-16488111,27982800,69920456>, r=80378869
+pos=<37435971,65753552,37674671>, r=50901773
+pos=<-23781010,34156661,50668159>, r=67528076
+pos=<13511753,37355284,14799269>, r=69302910
+pos=<97713386,18682297,39474611>, r=82877754
+pos=<19399297,42501885,26403970>, r=56957169
+pos=<4051517,36372963,64445080>, r=53445398
+pos=<-22307381,43598662,32210969>, r=93953706
+pos=<-16877554,51014021,48095324>, r=80054908
+pos=<15070355,56450025,54135201>, r=52193733
+pos=<96254289,17517520,62828956>, r=81307441
+pos=<-15722501,45980361,41285525>, r=80676281
+pos=<11507519,78537215,49956141>, r=77332160
+pos=<5624840,19034845,18018147>, r=82854867
+pos=<27400603,65897370,34637574>, r=64117868
+pos=<19409460,-6228349,41787836>, r=70563724
+pos=<-16932510,55342082,41322776>, r=91210410
+pos=<23678709,44843958,72242482>, r=50086605
+pos=<3443759,34458822,102990752>, r=90684745
+pos=<35164895,-17666464,36710750>, r=71323530
+pos=<-629151,39086285,7734181>, r=92239811
+pos=<-3623905,42677276,60898842>, r=63879060
+pos=<3277602,41575490,10515727>, r=88040719
+pos=<-15074120,19058285,47449192>, r=74099253
+pos=<-6733187,25451107,12529793>, r=94284943
+pos=<63099723,34730171,82848710>, r=55146334
+pos=<38268620,40447328,46521286>, r=89457990
+pos=<-1659429,21025868,21167405>, r=84998845
+pos=<19946394,14334923,27591175>, r=63660176
+pos=<15560852,45250759,16558358>, r=73390113
+pos=<48397419,43481533,18076410>, r=51849686
+pos=<3636793,44397115,2094360>, r=98924676
+pos=<92398238,61291247,40864832>, r=90872122
+pos=<98550979,37458297,45295382>, r=68761059
+pos=<31519000,-25492045,31577105>, r=87928547
+pos=<117111590,35655074,49867108>, r=80946640
+pos=<17699120,99562278,48128430>, r=93993315
+pos=<34560226,60514740,72593976>, r=55227501
+pos=<74264653,34367238,75726714>, r=58826135
+pos=<-7160926,34757464,60280787>, r=58878048
+pos=<-10820375,34093312,44505953>, r=60666278
+pos=<-6028689,44174049,12055805>, r=98405577
+pos=<56335298,35820544,39656637>, r=75463013
+pos=<23625860,39382744,50018914>, r=66800063
+pos=<3222627,28232496,75776439>, r=66274541
+pos=<-8164936,36914158,13802610>, r=91535120
+pos=<35979659,43354754,62706392>, r=91057540
+pos=<8411022,57907659,42904974>, r=66850206
+pos=<-33031130,47449127,49191783>, r=91547016
+pos=<-8777320,43659325,59187904>, r=68303417
+pos=<25355652,30278714,42496578>, r=95176804
+pos=<26700688,50680641,28421613>, r=55816980
+pos=<119301608,44071735,45657122>, r=95763323
+pos=<57954807,48129015,-1655071>, r=85785988
+pos=<19153330,81681185,36517407>, r=86269146
+pos=<28764096,44091637,103107732>, r=75114239
+pos=<-4771872,39446018,49664556>, r=54812321
+pos=<-17623709,47259219,47625145>, r=77516323
+pos=<-7613879,-6075235,46473533>, r=92748221
+pos=<53940414,8239025,25844626>, r=63178162
+pos=<-20780560,29467553,46880671>, r=69964955
+pos=<25071346,65981284,48368852>, r=52799660
+pos=<9153648,44224538,44452321>, r=50877143
+pos=<35999235,37434118,41949406>, r=58143012
+pos=<24794375,90409302,30849053>, r=95024414
+pos=<23720572,37740492,87997236>, r=58696200
+pos=<48855120,72544992,38688264>, r=60759157
+pos=<38656129,-32471586,36851031>, r=82497036
+pos=<-116455,73962963,38981906>, r=95356070
+pos=<52034533,42744806,-1303898>, r=74130335
+pos=<114126066,42699193,44061773>, r=90810857
+pos=<101380516,37951887,31920764>, r=85458725
+pos=<72312672,44833772,42424323>, r=52769558
+pos=<-10214794,23085792,41969752>, r=70692485
+pos=<-4952842,28828045,31751110>, r=69906364
+pos=<19547277,82460434,24548504>, r=98623590
+pos=<8806822,54999997,40648214>, r=65803565
+pos=<-13216780,61186686,45570063>, r=89091993
+pos=<108916823,41711050,49176356>, r=79498875
+pos=<81555209,39144745,31101787>, r=67645312
+pos=<21485589,76785983,45424360>, r=70134782
+pos=<2344074,62534831,48645113>, r=71804212
+pos=<22717903,27794885,41580898>, r=86497335
+pos=<34007416,-26060128,41214491>, r=76371014
+pos=<84975904,50767497,39391975>, r=74398505
+pos=<33432960,89869398,36677288>, r=80017942
+pos=<9418788,65242250,35548327>, r=80533678
+pos=<36785298,44430684,-20831958>, r=88735934
+pos=<-10392436,5869796,59387669>, r=85863463
+pos=<79307208,47836597,84462613>, r=86073832
+pos=<4453428,46867354,35042930>, r=67629821
+pos=<22920915,70395880,46815522>, r=60918001
+pos=<-23786986,43637692,46025504>, r=81657742
+pos=<32377696,48968536,120606956>, r=93876705
+pos=<28459728,34467525,46866027>, r=50731037
+pos=<23793727,38863701,1222574>, r=74106062
+pos=<33185729,39147641,8791322>, r=57429174
+pos=<35774649,38017114,9805850>, r=52695168
+pos=<38934968,-8165890,-109618347>, r=92071702
+pos=<69702586,56909478,37944399>, r=66714748
+pos=<35872431,37920193,53951287>, r=68099256
+pos=<69450769,14083611,7825859>, r=90862610
+pos=<88503966,46487105,42090071>, r=70948091
+pos=<5502135,53141182,44648171>, r=63249873
+pos=<26392241,51129761,4725830>, r=80270230
+pos=<-14120874,28243336,36417030>, r=74993448
+pos=<-31691219,36359432,56551218>, r=81280864
+pos=<22888272,73126228,13588580>, r=96908028
+pos=<5087201,38826568,20043426>, r=73955140
+pos=<19860917,81706139,72608027>, r=91132651
+pos=<-12877054,41653865,57645839>, r=68855813
+pos=<56179201,57045267,65430567>, r=53122760
+pos=<24976931,80692014,53143016>, r=65537034
+pos=<-8524609,46283196,41208528>, r=73857821
+pos=<-23449417,40067500,49978058>, r=73797434
+pos=<32863829,-40995630,49659395>, r=84005076
+pos=<4079133,47911164,31455406>, r=72635489
+pos=<68220797,-26708848,53536792>, r=88208094
+pos=<17874027,76043513,49153371>, r=69274767
+pos=<34155683,68781934,64883179>, r=56188359
+pos=<4618126,38698400,14063021>, r=80276362
+pos=<35554697,55578280,21100068>, r=59182060
+pos=<-7527472,37607649,49980616>, r=55413052
+pos=<44914243,81169940,66221724>, r=66773364
+pos=<-25493353,34556727,42515924>, r=77792698