aoc-d23-input.dzn

nBots = 1000;

minx = -164366478;
maxx = 224765645;
miny = -104069375;
maxy = 177734453;
minz = -82992136;
maxz = 202702698;

range =  [49564919, 49630314, 49631045, 49705923, 49721046, 49752247, 49765288, 49859782, 49895567, 49954345, 49989999, 50059925, 50066468, 50091473, 50165424, 50259386, 50280845, 50322034, 50377826, 50383256, 50453735, 50560625, 50588047, 50625162, 50701785, 50739635, 50825288, 50858500, 50879123, 50893079, 50899613, 50901519, 50933506, 50937927, 50941934, 50975403, 51028981, 51105578, 51159133, 51229302, 51242793, 51247575, 51300825, 51302514, 51386567, 51531349, 51623144, 51631878, 51644821, 51702565, 51742997, 51758107, 51800482, 51816404, 51900150, 51923017, 51976586, 52021855, 52258664, 52324163, 52340169, 52342651, 52343894, 52352351, 52354900, 52365676, 52578191, 52682006, 52709943, 52713662, 52767907, 52788915, 53008455, 53107957, 53182257, 53186520, 53229875, 53239443, 53270404, 53359805, 53387219, 53394954, 53434662, 53471751, 53517395, 53647599, 53677949, 53726024, 53981111, 54077604, 54098540, 54172099, 54207058, 54257124, 54295178, 54377713, 54516899, 54552091, 54571483, 54618325, 54662356, 54677661, 54684945, 54706152, 54745083, 54780203, 54933894, 54985451, 55061422, 55075971, 55208518, 55225103, 55299724, 55375843, 55515658, 55556391, 55634883, 55675124, 55684862, 55700767, 55709951, 55738898, 55767666, 55791598, 55852493, 55905818, 55935892, 55945526, 55980572, 56054974, 56188446, 56314191, 56446344, 56484445, 56598824, 56608111, 56637301, 56699070, 56770256, 57019124, 57107618, 57155638, 57214119, 57246257, 57273165, 57277488, 57288446, 57298245, 57300325, 57382128, 57412157, 57431787, 57455800, 57462887, 57549301, 57621194, 57639958, 57653698, 57691551, 57743718, 57921302, 57921608, 57946850, 58000041, 58086759, 58104313, 58156796, 58182465, 58182851, 58192735, 58235950, 58261606, 58316655, 58503273, 58557254, 58565519, 58654127, 58709084, 58732329, 58739663, 58779567, 58808536, 58905048, 58929200, 58988947, 59050183, 59152717, 59287181, 59396571, 59458982, 59486094, 59502449, 59521646, 59588146, 59588333, 59664281, 59755547, 59770303, 59776118, 59832650, 59904624, 59934470, 59940280, 59950959, 60005542, 60154430, 60208530, 60251344, 60319772, 60524902, 60551841, 60655540, 60677190, 60686343, 60713788, 60732990, 60735210, 60829678, 60840674, 60862058, 60894370, 60913077, 60990042, 61064590, 61299673, 61334306, 61347979, 61376323, 61420444, 61433474, 61452675, 61536678, 61663966, 61679146, 61717244, 61776438, 61776602, 61787161, 61902173, 61924667, 61946719, 61957807, 61961281, 62048146, 62099243, 62114742, 62155249, 62226885, 62237339, 62264895, 62293676, 62375658, 62454651, 62482551, 62521251, 62575896, 62579087, 62598329, 62648119, 62755623, 62772568, 62775577, 62780471, 62797429, 62913603, 62939291, 62985077, 63014071, 63053351, 63055594, 63136736, 63136848, 63145825, 63174141, 63320191, 63361732, 63392917, 63406751, 63481590, 63588768, 63688041, 63753021, 63906051, 63911138, 63933555, 63949951, 64001193, 64112627, 64174995, 64236748, 64249695, 64498583, 64514544, 64559025, 64599952, 64636207, 64691017, 64698701, 64758345, 64802110, 64812348, 64819659, 64899300, 64948182, 64951767, 64996147, 65019969, 65059608, 65082855, 65092876, 65100127, 65108448, 65203689, 65250040, 65301576, 65302877, 65342410, 65362494, 65480218, 65484009, 65514440, 65541830, 65548557, 65572481, 65618863, 65632521, 65736832, 65755596, 65782528, 65791739, 65909472, 65985313, 65992795, 65999934, 66046747, 66206829, 66359811, 66362297, 66385490, 66463526, 66475045, 66563948, 66743022, 66752177, 66876056, 66987994, 67026473, 67085397, 67129503, 67166740, 67190636, 67203946, 67209089, 67297995, 67318771, 67364727, 67384987, 67462701, 67467453, 67475016, 67483740, 67541905, 67617232, 67643721, 67644001, 67915423, 67997137, 68064254, 68070680, 68194979, 68199727, 68275157, 68314061, 68330707, 68499915, 68543982, 68567021, 68570877, 68595679, 68621828, 68705024, 68786582, 68787297, 68787554, 68802578, 68904157, 68952124, 68987600, 69123235, 69141182, 69188000, 69211842, 69398059, 69423781, 69425410, 69472836, 69521302, 69523666, 69526831, 69560421, 69560811, 69614037, 69631128, 69666404, 69670931, 69750016, 69821203, 69830332, 69964955, 69974423, 69992037, 70014086, 70054955, 70056755, 70090697, 70093377, 70143459, 70239302, 70305506, 70353407, 70481798, 70522578, 70583723, 70599087, 70615741, 70930586, 71008313, 71073350, 71074429, 71092616, 71104395, 71134296, 71180392, 71223374, 71241289, 71331667, 71339396, 71374093, 71415707, 71437085, 71443173, 71514846, 71521617, 71691366, 71724506, 71751436, 71841494, 71920202, 71973346, 72022357, 72199027, 72259643, 72335561, 72408373, 72602135, 72604474, 72606583, 72682140, 72817481, 72902989, 72963766, 72987642, 72989738, 73127558, 73150340, 73200614, 73201682, 73241099, 73247822, 73252804, 73253257, 73286782, 73329627, 73346927, 73355959, 73389342, 73441702, 73508840, 73635762, 73685594, 73686564, 73725221, 73770290, 73785199, 73869893, 73900032, 74195904, 74226601, 74235403, 74256106, 74257849, 74273792, 74275240, 74297889, 74302041, 74352926, 74440567, 74451710, 74454350, 74457625, 74471686, 74579294, 74608133, 74642681, 74659542, 74669598, 74672246, 74793359, 74853277, 74933739, 74935448, 74949009, 75099535, 75104941, 75198406, 75215602, 75216104, 75250336, 75362492, 75419368, 75467161, 75476279, 75560764, 75636911, 75643866, 75652965, 75669910, 75731976, 75752100, 75760134, 75795352, 75842946, 75927477, 75938061, 76071631, 76223259, 76362160, 76378921, 76528953, 76563549, 76571918, 76622490, 76652512, 76728614, 76746177, 76754742, 76778801, 76829362, 76841264, 76841618, 76850406, 76868030, 76917314, 76972090, 77045770, 77073175, 77128001, 77148747, 77154052, 77166376, 77270988, 77338741, 77361378, 77379843, 77380042, 77490252, 77658123, 77669585, 77791883, 77803051, 77816292, 77932415, 77992772, 77994949, 78005870, 78006650, 78075207, 78128727, 78173632, 78200376, 78207328, 78221609, 78239723, 78342017, 78356837, 78441840, 78623714, 78635331, 78668148, 78672490, 78685081, 78727750, 78744528, 78783433, 78858122, 79155840, 79181402, 79189796, 79229877, 79256236, 79262118, 79332063, 79340838, 79415694, 79459773, 79563981, 79587625, 79682863, 79703586, 79736664, 79841782, 79893789, 80164210, 80205707, 80230019, 80270347, 80308822, 80316188, 80564373, 80644453, 80688132, 80722271, 80752709, 80829218, 80874944, 80877385, 80903412, 80926036, 80982309, 81049518, 81057185, 81060200, 81097497, 81173077, 81203791, 81224072, 81242371, 81250862, 81264107, 81267528, 81310033, 81348131, 81369360, 81390505, 81400421, 81553517, 81585733, 81628011, 81725093, 81729263, 81764291, 81787789, 81822224, 81837123, 81862076, 81871451, 82009861, 82033273, 82111712, 82336081, 82372018, 82381174, 82412364, 82468375, 82474928, 82483886, 82490901, 82574998, 82586127, 82613296, 82627579, 82646322, 82697265, 82921246, 82928008, 82987035, 83089388, 83116318, 83144208, 83211120, 83211144, 83343425, 83372652, 83400122, 83405957, 83408635, 83523658, 83537493, 83558764, 83589885, 83597344, 83598041, 83693229, 83721209, 83807713, 83862820, 83872446, 83923800, 83979878, 84085338, 84098169, 84125972, 84131327, 84139606, 84153283, 84166588, 84176496, 84206520, 84216933, 84239609, 84289680, 84322944, 84669725, 84669814, 84730138, 84784533, 84806997, 84849773, 84936065, 84945910, 85049668, 85112483, 85117821, 85188512, 85331698, 85363854, 85385022, 85436224, 85494044, 85507749, 85565798, 85580274, 85591749, 85748705, 85793940, 85828121, 85846058, 85938006, 85940598, 86106083, 86122289, 86151425, 86182246, 86212712, 86301413, 86375174, 86391087, 86398201, 86411472, 86424388, 86459117, 86550734, 86674017, 86677118, 86728992, 86784007, 86785885, 86808695, 86824407, 86831836, 86837922, 86869798, 86927567, 86930444, 86962286, 86986999, 87064146, 87113728, 87150050, 87156628, 87166366, 87236574, 87239844, 87264345, 87415871, 87454918, 87472077, 87515605, 87530961, 87567060, 87607202, 87624710, 87673726, 87689766, 87818927, 87830638, 87874213, 88028872, 88047522, 88096875, 88099751, 88154172, 88156505, 88158583, 88182994, 88277290, 88414459, 88481844, 88519835, 88552234, 88730854, 88735345, 88771285, 88798172, 88905942, 88921826, 89212060, 89261610, 89325493, 89390306, 89439942, 89447888, 89512661, 89540631, 89562522, 89644888, 89698779, 89713163, 89722217, 89778649, 89800700, 89812801, 89829062, 89945393, 89991380, 89998431, 90041319, 90132699, 90135343, 90149073, 90151200, 90151661, 90196477, 90480899, 90592227, 90621849, 90676096, 90689794, 90741751, 90811715, 90990881, 91040789, 91041704, 91108086, 91161541, 91239432, 91261196, 91294740, 91306594, 91342937, 91373496, 91413275, 91547319, 91554769, 91586203, 91592796, 91618221, 91659779, 91706637, 91735732, 91742820, 91811326, 91896257, 92018650, 92022595, 92037007, 92109221, 92156135, 92211679, 92254464, 92268196, 92309965, 92310324, 92313508, 92385289, 92411116, 92541160, 92715371, 92750796, 92928026, 92948724, 92967928, 93006409, 93047057, 93065743, 93130655, 93170719, 93180813, 93182515, 93211070, 93221860, 93388099, 93449035, 93453097, 93479603, 93584744, 93640910, 93653294, 93662315, 93732714, 93829641, 93897584, 93908212, 93972139, 94016514, 94018789, 94107785, 94128459, 94162452, 94192379, 94238749, 94265827, 94351651, 94374797, 94375794, 94387984, 94485875, 94521964, 94538149, 94552710, 94562812, 94666463, 94762270, 94774159, 94986383, 95104247, 95111707, 95212077, 95223141, 95268946, 95273199, 95306429, 95404276, 95486461, 95496103, 95514930, 95515360, 95653955, 95666090, 95721066, 95762280, 95853959, 95868618, 95931593, 95988860, 96028729, 96062176, 96078530, 96123974, 96194323, 96322759, 96324095, 96373926, 96398536, 96426126, 96442434, 96678286, 96821241, 96864206, 96872698, 96967995, 97074620, 97129849, 97180626, 97208030, 97230791, 97298053, 97370017, 97431025, 97602046, 97611904, 97666074, 97679101, 97680868, 97702894, 97725735, 97749054, 97844978, 97980733, 98002715, 98081517, 98156493, 98160774, 98205002, 98212642, 98284747, 98318905, 98344721, 98366889, 98398508, 98405127, 98464570, 98571116, 98577061, 98680825, 98695728, 98772815, 98808680, 98888726, 98927024];

coordinates = [|22125917, -7085845, 26400273
|22376905, 42351477, 46268417
|21818790, 14557067, 47802222
|-7101089, 22667392, 27067217
|-8369899, 32195772, 25768036
|4466511, 37938752, 32892682
|6337674, 17822606, 11836146
|3796591, 41222328, 29046590
|30773779, 177734453, 76566760
|27579324, 55337043, 38809263
|10676941, 7033097, 29495204
|76117323, 34927650, 22780491
|24866450, -104069375, -39073700
|11281333, 42086271, 11657813
|25983250, 16028940, 53972951
|1794641, 43804319, 24862370
|-4442108, 29593395, 32858019
|-2785020, 39215461, 24934042
|28220022, 39084304, 56125659
|52303483, 22456971, 51480942
|8557880, 6935974, 27742798
|16467291, 51696918, 15613587
|-5423698, 35126245, 26650700
|2554197, 36621264, 14386277
|19685494, 53825467, 33174447
|20454802, 54830965, 32976079
|4525965, 31353895, 40609914
|24784844, 46715322, 2016286
|50194923, 36444070, 21322805
|6277054, 43153208, 30629579
|24707345, 35162206, 57057323
|25665377, 28524099, 64655456
|8524447, 45304753, 30765874
|17288268, 34827068, 50011788
|-7286447, 34198453, 26069705
|-9917392, 29549621, 28120976
|32169343, 31131444, 16075409
|32526753, 31838972, 7324941
|13952832, 47940933, 13773254
|7567349, 34040098, 6187764
|66363225, 41761347, 28879714
|-2074713, 32514979, 33270558
|32860637, 71971174, 28802954
|14792310, 53652635, 18502115
|24908402, 40003665, 26672343
|13049482, 24598171, 50974288
|62311454, 47604925, 27468210
|14744170, 28928157, 54060502
|-6693313, 31181036, 17173803
|27545839, 53499584, 42361402
|-153412456, 29047657, 32469988
|35749761, 39224118, 62545695
|28771922, 52127711, 45057343
|50291970, 1015229, 33483887
|-11448580, 30890618, 21383353
|28365427, 28510420, 68390063
|19189862, 49491575, 38287498
|65094941, 37428276, 12296821
|8723459, 50560691, 27034074
|78144214, 31978678, 27962796
|-12459051, 30212408, 26281385
|3974868, 30225940, 42704258
|648641, 10267843, 25055596
|31802149, 60772286, 39994825
|16879810, 55304693, 30542674
|11041598, 35777159, 44242567
|52001083, 29475775, 56862728
|3166140, 31677882, 40782626
|32497836, 30407096, 39652865
|30611025, 60037629, 7657470
|1890849, 34320208, 10605786
|2920212, 18316082, 35820457
|-8885128, 19041306, 24960008
|-12130279, 22742706, 22041279
|-5411233, 20635407, 30201758
|11639028, 32091601, 49346621
|14966521, 31346136, 53462769
|18353301, 52054364, 36150710
|21015135, 38496758, 26261848
|5666113, 28668023, 46970493
|155857, 42970814, 27184885
|18750683, 18597266, 52538301
|5938455, 28514265, 47471477
|23391152, 10203853, 48862159
|47636004, 62683125, 28959805
|-11280890, 28713831, 17291598
|14198414, 59445138, 25043552
|8183363, 52186527, 26335538
|26617630, 31241368, 65970015
|5232442, 38718591, 37204134
|-3929583, 32977973, 13753287
|-3848880, 35272788, 15893890
|16332248, 19921590, 24785759
|5347063, 41371426, 34845169
|57429637, 34388324, 48238541
|3508794, 37503777, 36995403
|26402737, 50092949, 47439366
|3517976, 46968602, 19843074
|26148856, 35169343, 27699759
|-10060243, 33989307, 27181449
|27698965, 62867726, 11450983
|25913987, 12786190, 55173108
|-3726270, 39186859, 19172889
|9252175, 30843899, 49727035
|2547819, 45074407, 28831135
|-5863683, 30027098, 35502034
|23954203, 33348226, 62152526
|14504431, 29271136, 56831416
|22107740, 42176199, 51605641
|-5249645, 34278495, 32160488
|53359792, 51879423, 11826100
|9343638, 51897820, 18273378
|21065205, 57395069, 35582495
|-18307081, 28879536, 24801894
|24726069, 43171107, 53683240
|-10137224, 31626888, 30404944
|-8107026, 25866653, 12367055
|81006210, 24495942, 30108949
|20539396, 33843340, 58993190
|26916480, 61267966, 37961907
|26664715, 66435872, 32551186
|31041713, 45899224, 57494042
|28553430, 61115764, 39817916
|13039582, 34788525, 50655297
|30348336, 37513768, 24778658
|18890095, -4348878, 32242331
|26159188, 49102749, 49604949
|1455618, 48270024, 21813364
|355277, 29946581, 4555319
|22584209, 68675912, 20981047
|-12161768, 34118905, 21036495
|21302542, 30989125, 30039314
|16188538, 31734443, 57513063
|29515718, 28399924, 74212910
|71340125, 19456017, 11898032
|33378093, 25740808, 7222726
|4845530, 32391058, 1852548
|-1228850, 36946459, 12420667
|-118111256, 62088076, 46895107
|10069658, 43162229, 40539185
|22816211, 31746652, 18721471
|10039667, 33394840, -2856197
|-11562680, 34548609, 27715313
|20185463, 68412146, 25631927
|7304590, 46189382, 12556121
|26674986, 70940718, 29624420
|42190546, 71884924, 18582713
|39488144, 22688972, 71443236
|-10125945, 39011239, 24775765
|11807725, 32450814, 29266308
|18050231, 34344572, 57730490
|67079412, 33339499, 4782607
|-36842257, 54634766, -82992136
|18007428, -9418813, 27846876
|178247669, 77819917, 33232330
|25653589, 38903943, 60983226
|-3117409, 30091588, 41043618
|33309923, 30183286, 77393014
|-71989634, 118911689, 36161817
|52619431, 45286297, 45599451
|52302034, 30409154, 26041054
|14028036, 36163664, 52398620
|18366329, 39176241, -6192627
|8747193, 143978570, -38926066
|-343587, 47922669, 26432777
|-3760919, 22561812, 38700160
|21626915, 28685137, 21837676
|10766127, 38692356, 46868876
|8089254, 52234186, 30650307
|-2163926, 35891389, 36749924
|7529782, 1146908, 28708012
|-2205345, 45587043, 20475347
|-8707405, 32517912, 33703970
|64227649, 46880910, 33156210
|21396589, 53321081, 43245056
|23619558, 36363416, 18150581
|-164366478, 31828521, 19887837
|43380894, 54170267, 46919456
|12966364, 41424778, 46886590
|-9856774, 21452156, 15426574
|23669422, 32592898, 66468737
|-3415982, 11669209, 18700150
|-21296919, 25506051, 24909582
|823752, 7785369, 29333481
|4213459, 29113775, 50701005
|32836864, 64699933, 43799752
|57365242, 51869449, 35679516
|24792347, 37232886, -15902232
|24759120, 34099386, 5502825
|522925, 32788805, 43805777
|11990439, 24211726, -9926599
|-157059366, 32569137, 43120753
|-6547286, 21123277, 35893039
|31319270, 69423054, 38096868
|1165301, 46898684, 30467617
|-3976614, 45766143, 26534196
|5812198, 48846053, 33334284
|9399618, 30154750, 55627714
|32818267, 3823143, 58212924
|51325404, 37047737, 57220926
|37585093, 36183253, 71897694
|27218509, 19302718, 68251100
|-10315969, 19257480, 30677159
|-21704371, 28705984, 26153250
|-21338285, 25888680, 26351309
|-4231482, 33231741, 39303886
|30798686, -511255, 52291339
|-15644086, 34099132, 27120796
|3348737, 40306313, 39974549
|22185962, 59908697, 8142181
|16400842, 51014515, 42550451
|33032227, 58000836, 52299532
|-7457808, 36935684, 32896376
|-112723172, 57058834, 60971074
|23593802, 74323316, 26596713
|5625298, 40940125, 5526229
|5220835, 44896840, 37671859
|58384551, 43455290, 2805607
|4649316, 49361681, 32740988
|55848885, 50286878, 40487488
|-4094933, 42923970, 30488095
|13443794, 61355688, 29613331
|3802667, 48658165, 32747180
|38319680, 29209009, -31740111
|11959420, 153992795, -27269137
|61291898, 60277236, 25526453
|2227634, 47998969, 15367916
|88589700, 25519602, 29250404
|13017828, 34842794, 56208133
|-4431421, 36954274, 36660413
|-14024189, 24119981, 33343847
|31789599, 41100369, 68838517
|-1564515, 7875319, 29770091
|22788323, 20999223, 67262094
|-409664, 15326484, 38429274
|5394799, 37555663, 46227967
|17972493, 41855296, 54506311
|17441477, 44991922, 50849310
|7526745, 11410029, 42634331
|86974610, 23450805, 29344954
|81003239, 33136478, 33568488
|8293219, 29089432, 57773800
|-19643051, 31690633, 27240275
|-15668285, 28657200, 34335265
|42030994, 58931260, 46898504
|-4114374, 31284233, 43328758
|48038372, 48710698, -3610772
|-9052340, 42543189, 27243909
|6423695, 56146159, 18429423
|26048256, 75170772, 29755051
|88442063, 33674455, 25938669
|56591, 47378771, 15890801
|26737109, 17011995, 67999132
|25058995, -19405774, 29931162
|-6563435, 36813868, 11800493
|-8206845, 31194946, 39786690
|69932128, 50758890, 27649580
|14602695, 45402638, 48411065
|21334286, 49390372, 51204519
|26310010, 23422489, 40833423
|24404202, 72538938, 31250497
|12595331, 24426951, -14036268
|80661115, 33700943, 34179937
|2184796, 50154380, 16116629
|72876303, 35676892, 40121804
|-3903914, 33013649, 4922568
|-14076983, 34527087, 30993621
|-21908934, 32312860, 25404950
|-21557279, 32394932, 21843140
|85869754, 36643202, 21252876
|597888, 128970033, -58378425
|-21266825, 30610478, 27872193
|-3063156, 43785875, 32909470
|-823056, 3085949, 27232412
|1556264, 34002578, 47486367
|3827289, 45217153, 38584540
|32233438, 41921674, 70317295
|-17279373, 32309015, 30431039
|14114080, 58898100, 12246703
|28311614, 69662083, 38850973
|8809359, 50147706, 38962013
|83867395, 33186490, 32460654
|-15817740, 32499440, 15355754
|71666363, 37937544, 40068740
|-92568047, 60552860, 75257554
|9997555, 43314977, 47245178
|646983, 29641630, 51619224
|-14915689, 17384226, 28376553
|21960982, 77739999, 25008589
|79167174, 28658348, 5384503
|18969108, 31121786, 25360933
|-19595077, 22981110, 29679730
|-1228979, 33820390, 46077844
|26979807, 33005631, 28815938
|18271106, 56129763, 43353972
|16138114, 39226127, 58160859
|-16930307, 28562468, 35810740
|-9334671, 39713581, 32262856
|-14868464, 37450855, 29051673
|57604875, 29513805, 63444971
|13192337, 14667227, 54467310
|-859717, 8713189, 13088431
|25406101, 33210741, 27297792
|-19534570, 22836921, 30045773
|4181286, 10596263, 41524700
|-7317662, 30907681, 4173495
|-2042605, 43038631, 36551134
|7157045, 2077633, 11467539
|13806421, 44276121, -3668845
|-923440, 6041857, 32006659
|18677091, 41640155, 58749742
|684648, 18468666, 46057154
|51264035, 22637617, 67521429
|-15534110, 24125052, 35636222
|-1622187, 46311931, 13576826
|-4986687, 48503659, 19131979
|-8845467, 31109128, 42000180
|-22003114, 29025058, 30946952
|-12667609, 43938982, 25486209
|-19556749, 34175825, 28364073
|76216527, 7824073, 19490878
|6991774, 63235695, 21646413
|28423259, 47006222, 63577639
|-26449629, 28548618, 20370068
|71544711, 38555610, 41279758
|39683508, 42593908, 33911484
|38797466, 25618262, 83501787
|-12314474, 42409953, 27643604
|15836360, 29379527, 68851960
|13336651, 28400507, 25289276
|38849352, 70538642, 42283008
|26283547, -3030979, -3476298
|-2446056, 36702472, 43456946
|-4696399, 36883009, 41033127
|43425763, 64480173, 3654950
|11096718, 48752750, 45163472
|17588650, 21239965, -19426867
|68603896, 143727329, -30145651
|-1272301, 50331228, 31394628
|4071796, 30334798, -9256209
|16793, 17210417, 2059293
|16204586, 74336398, 25044811
|-22046777, 30236492, 16484569
|-17036088, 33534636, 32794128
|23394265, 79798133, 27084771
|26187027, -2135848, 52834436
|139054, 36653645, 432538
|28747644, 68680338, 43765286
|-9042982, 39134213, 35564986
|7705519, 59349489, 15421838
|11623558, 53137682, 42289068
|29397952, 43066492, 70147846
|17814656, 58113055, 43523320
|25091795, 40179618, 68822438
|2575815, 17526265, -1659251
|-19539766, 28617339, 11736816
|17879103, 31514923, 70361730
|65980094, 54760022, 32483809
|-2366164, 47485082, 34228562
|19939259, -24331454, 24878188
|16950299, 14297202, 60526573
|55055977, 64079613, 34167853
|35655125, 51094327, 66629289
|57143759, 6690053, 48134260
|-9428571, 31918834, 42909105
|-13210353, 37534874, 33782854
|31502101, 18142635, 30269559
|80708870, 45953844, 20394135
|-10771800, 45570652, 19216046
|22228893, -17677696, 13015390
|43302526, 65801472, 2699736
|-14937255, 38898025, 31052545
|3551902, 57375007, 31103593
|83514641, 33114312, 37463104
|9180797, 52469969, 5733525
|28043908, 83677292, 29523016
|25631734, 32659319, 78151873
|23257702, -13330996, 40292964
|-27834281, 28436976, 28936963
|25309654, 53934836, 56608940
|44159590, 48593289, 61713578
|31290920, 42871759, 73818386
|15297429, 70372518, 30324233
|3655127, 48730859, 40324267
|5771933, 65367681, 25819176
|202097, 43889528, 5727696
|-30938126, 25937041, 25746176
|25828177, 32694768, 25613826
|6503083, 32143645, 60095322
|12696236, 63659387, 34790522
|29348810, 64062596, 51086840
|32801821, 54328739, 64297597
|-13707431, 38985066, 33318241
|31110168, 30177477, 34448713
|-7190180, 39483552, 39364160
|-9083031, 31608455, 45394006
|7024283, 52667067, 40491177
|16724231, 70635933, 32224350
|27074058, 50069765, 63143753
|-9588729, 46184189, 30400154
|-595773, 46979883, 38597771
|31089460, 69949212, 47366840
|17003207, 32801272, 70445295
|-5865784, 47890111, 32522617
|19811363, 38905028, 32162537
|87326087, 31142092, 37043341
|51655600, 69148018, 34779125
|1094471, 62565431, 22584899
|80053782, 42533619, 33139026
|16104411, 40276550, 26787466
|-2131511, 38789262, 1873101
|36508712, 32512684, 29817716
|24809718, 42907565, 68569491
|84689245, 35475720, 35653289
|9659309, 67661185, 28701475
|18045530, -13936907, 11559624
|33056300, 62102462, -10152951
|26329036, 77014569, 36166341
|48061264, 30957122, 77048489
|3216678, -2599307, 32766106
|-22033680, 31857299, 33203494
|54771804, 49124910, -4830460
|20625148, 55092846, 52728701
|51932707, 23416801, 73027443
|-8183949, 47750220, 31293553
|14423729, 73380360, 28586502
|-10334702, 5896747, 19191188
|63726589, 18432094, 56723107
|-27622300, 33260876, 26803927
|-20924936, 39990587, 20767640
|39276866, 22993102, 37308828
|29291202, 42318684, -27162308
|25242115, 80887356, 32147647
|67923531, 38553944, 50507434
|25640904, 46810514, 66684341
|-25325645, 34419853, 28198783
|20456377, -13973228, 39617826
|14791401, 67633623, 35144452
|11979870, 72564463, 27443674
|21563227, 59799604, 49813303
|14417955, 37076072, 65397679
|26690045, 69085880, 45731454
|22241217, -14058415, 41499819
|-27349043, 32745794, 28208637
|26743685, 36151642, 35659232
|-17312072, 38723837, 32328136
|1916751, 16091852, 51645489
|-33350401, 29134558, 26047748
|-27325682, 28606115, 32654202
|-31954714, 29294528, 27385663
|97614354, 34360141, 25985925
|-267094, 4420706, 38208650
|13638621, 54612793, 47974038
|13204826, 36917202, 65308630
|44536064, 7556731, 66566595
|32476457, 20299176, 29533467
|91156645, 40209675, 27001768
|22831077, 56004139, 56121042
|5656504, 69326152, 25760285
|83646973, 46183478, 28833978
|-10541167, 5608776, 29826632
|-21105677, 28818833, 7881169
|-27803238, 36658054, 25141123
|1373043, 58651322, 32461907
|-9387243, 49011717, 31364042
|22380499, 40290526, 17856990
|-6193561, 172340, 28975437
|46260006, 46512557, -18673107
|-24354437, 18366705, 29055483
|91289493, 34803953, 14636362
|13466714, 43948966, 59383673
|-25565193, 33080792, 31253209
|25284722, 80706611, 13036744
|15797050, 76938143, 28818506
|57783256, 65191637, 36142574
|24581173, 17597546, 27758569
|-29321112, 24144540, 17496535
|102557806, 31717256, 24994965
|31277492, 86332416, 12363632
|20482369, 58986789, 51793834
|5439680, 50764391, 2582446
|73268031, 5576508, 36977796
|6066100, -3137134, 9062324
|885111, 53981568, 37301307
|-10941415, 46806944, 32733984
|-18366647, 15352226, 32680942
|-35843553, 25774050, 25921802
|65291157, 50128162, 44568806
|1002638, 32364063, 59486647
|33510925, 70254317, 54124990
|39678315, 37896586, 82444473
|-356349, 56532940, 33997178
|-23101074, 31170799, 36616039
|-10807373, 34470400, 45632738
|29052617, 8191268, 73341315
|32634298, 33743771, -42299178
|89459737, 31831923, 38910401
|52199014, 21159880, 74356615
|341077, 50847616, 40560452
|27027003, -12776569, 50503386
|73676460, 33821245, 52735523
|-27194162, 31572929, 32424654
|-24404957, 18735486, 30734044
|73970421, 8115929, 39732326
|71961749, 30463901, 202702698
|-26848775, 23808050, 14132816
|73899934, 17593923, -1753264
|-9971140, 46737888, 34696920
|18102195, 30533943, 34800769
|-51501023, 98409959, 68244874
|-16759398, 40540736, 34247972
|-27554335, 25204893, 34394613
|1292914, 56319343, 10871162
|66560218, 41290928, 53015173
|-37496443, 29210544, 25103934
|9788943, 14636508, 61436455
|-32931995, 31803744, 27092486
|-31363907, 32501236, 27997829
|18636439, 80644072, 29967358
|39533252, 36702343, 84945265
|-13900895, 48036436, 17414589
|105640135, 29032450, 26564979
|-4081602, 52039161, 36052672
|-7952692, 29553089, -7186847
|69455176, 57468741, 34481418
|30777133, 85531803, 37510969
|2297233, 57434974, 10412134
|4354403, 37704410, 58994289
|-643298, 34821283, 56900156
|-6309803, 21344673, 52590111
|-12442690, 49853541, 17445150
|-9911569, 9196306, 36923075
|-14108443, 36307860, 42123733
|-148133484, 42569722, 17258071
|38335275, 11735575, 20532134
|8192829, 50446391, 50582372
|4392707, 148641210, -45084036
|-7052782, 41809026, 44129764
|19419884, 36678443, 75882932
|90853885, 32897468, 38573508
|91060074, 35175528, 36097622
|-3263528, 38893473, 51078022
|-22678498, 33080832, 37505842
|93091600, 44612641, 24785847
|29870918, 46439338, 28381751
|-24006602, 39862429, 18058806
|47544928, -23315367, 36862611
|9235280, -22683627, 25176342
|72853924, 52700552, 37048069
|-3348530, 36823516, 53282131
|-10893065, 41481332, 41088309
|14789803, 2076856, 55530063
|67356607, 55182915, 40139148
|-29346499, 34949562, 29288462
|-20552848, 34385716, 38719670
|4654067, -1564797, 41957662
|13429834, 10519564, 62872688
|22270210, 23985936, 85200269
|61052137, 52905325, 48957983
|605377, 43169272, 51215146
|-21065971, 26011531, 44011786
|4716845, 68100285, 30567919
|86937709, 33649529, 42535666
|23424236, -25196817, 37402652
|90142087, 38328980, 34670423
|-23300988, 41543182, 29258585
|-1029782, 31374989, 61865974
|28936999, 95204988, 28014258
|-9243231, 42112155, 43048924
|31875265, 32389730, 37685041
|-13612969, 50091800, 30724184
|31190207, 8069375, 78987156
|-11833876, 34873848, -340625
|9179269, 10475932, -11888589
|14696458, 79357261, 29957736
|20507211, 86696884, 19127290
|27924525, -388536, -19849628
|-145600626, 36039669, -6100704
|29750486, -16231972, 53486923
|7275529, 19836079, 67107383
|20650417, 74645727, 6732282
|17758857, 1757826, 59533695
|-18247302, 39447724, 37157208
|32372583, 57166328, 70160838
|17508408, 53679291, 58798579
|2438034, 991069, 43666274
|20142123, 33824116, 81554360
|15466392, 35020117, 75694183
|-22536574, 44861414, 27882809
|21374610, 43074403, 73585347
|40115832, 48959999, 75370195
|12370664, 18716021, -24052508
|33549452, 35938617, 26729041
|-3197882, 32451131, 59746541
|25823490, -19148199, 228342
|37499497, 36303525, 35106011
|-29004829, 24469631, 36441594
|-35060597, 29228360, 31513419
|26444402, -14859524, -5053189
|-40894329, 29679863, 22262384
|-25113901, 29950337, 40810538
|-11239909, 81175133, 141931865
|-24800891, 12580208, 28915504
|33211705, 48522164, 31182583
|-3766893, 32829776, 59475692
|11539961, 40859548, 66856981
|25172613, 39809557, -34005958
|36128959, 23052631, 35251080
|-37006102, 30349310, 18596436
|-14109166, 46530863, 35709140
|26697891, 72677780, 50474572
|17848968, 20908413, 80446546
|18716904, 66348188, -1588422
|-6990368, 7942947, 42953672
|45454202, 78804184, 5823887
|-29703067, 34230887, 32948992
|-36820422, 25273367, 30557170
|24963013, 36437708, 32232691
|-9604513, 56496951, 16481417
|-5776839, 51828244, 39652029
|26370508, 84724876, 38946104
|64242573, 65040721, 37200152
|-37016255, 35539790, 24809281
|19838420, 62531580, -7191733
|-28291490, 44259103, 22620018
|-3490854, 39210699, 54788476
|-12789987, 50277805, 34448297
|-14263563, 11734801, 7364288
|40877756, 92824683, 33041215
|30257648, 74595795, 53324011
|-15322885, 54591471, 27755399
|30041455, 58887933, 68826396
|-28042617, 37761425, 15650901
|-14092263, 37010391, 873845
|26159898, 57329371, 66646983
|-19628096, 32972431, 45236176
|23039396, 94806314, 26088018
|22414871, 41306811, 78971507
|-4877919, 36016427, 56982393
|-40589851, 28814767, 28475559
|4057762, 70125543, 31854913
|-36806162, 28945898, 32208574
|-109199105, 37645025, 89459213
|15745953, 67535503, 46213634
|5247734, 64939383, 9235535
|29016177, 87854090, 39328247
|11933020, 60916431, -1658029
|-5460798, 61131611, 31648050
|10313294, 71147356, 37503400
|-8900786, 35559216, -6324789
|33279214, -51987748, 22705925
|-63099691, 92690143, 63148415
|62628804, 43310062, 61644279
|-25629914, 31209372, 41609998
|189882952, 67365703, 49076578
|-43262912, 25864672, 26268495
|18215872, 32601616, 35573067
|29350661, 70789821, 57206577
|24012160, 52027781, 70708770
|32957813, 37271351, -47078200
|49747000, 82746350, 11916765
|18454346, -3512997, 59117912
|-42022902, 30586212, 21141177
|-9398388, 42336748, 47345814
|2890405, 49922902, -4498164
|80884415, 8495749, 41038991
|-22378899, 29631683, 47092968
|7912468, 32384419, -27158713
|10565343, 74146610, 11939555
|-15783040, 41193885, 42249043
|-44322345, 24914773, 25015346
|4947896, 76305139, 27901753
|-38000065, 32608706, 28701034
|-39060790, 34589993, 25883141
|104240569, 39139463, 25309518
|22438390, -7128416, 60092412
|-13420277, 4293414, 35757876
|26283111, 33363085, 92649004
|-16497668, 38491209, 44767995
|-27543138, 31738815, 40541836
|98660448, 35486797, 34825359
|90495568, 17832653, 5932443
|-11724895, 37722441, -2981030
|9986423, 79385168, 30613575
|-32838138, 37974984, 29205445
|100201448, 33644395, 35323829
|19349282, -35017888, 29650336
|6106244, 30005004, 76251260
|-27186249, 41544838, 31440038
|-29854464, 30751630, 39596465
|66259450, 38678070, -16864384
|11188614, 54323605, -9518781
|-11249365, 43490810, 45565673
|25710228, 100756094, 22269066
|-30236088, 44455029, 25729263
|16602168, 80630749, 36446768
|16316708, 81583418, 12338539
|4396562, 16020156, -18578808
|-36662270, 38311419, 25618710
|86346789, 4208129, 14666013
|25467707, 91800135, 13178643
|-29899143, 40104104, 30735161
|-9378803, 10310060, 46857970
|93336270, 39035914, 10028035
|25226767, 94314451, 31678228
|23263339, 62410065, 61632541
|12708507, 34668557, -31271915
|-20556004, 34206341, 46056820
|48086933, 82902093, 38989449
|-44351064, 29077637, 27423571
|-40221447, 33293417, 27387114
|24207186, 47828372, 77314428
|-34324561, 21252959, 33393525
|52871194, 87024905, 30535236
|72086096, -7801604, 35786451
|19073490, 28647242, 25226782
|5407136, 35327185, 71499479
|32678045, 98116525, 11533121
|12664662, 86940451, 27272491
|7948839, -6516300, 48173514
|39933082, -30965246, 45095269
|39987593, 44470184, 24984577
|-23487976, 52976859, 25265493
|-34239555, 34934077, 14929655
|-11333910, 47757625, 42852628
|-48622401, 28556862, 24797100
|-10664830, 34566052, 56766806
|-33255553, 11952535, 25928608
|12129829, 39444008, -27235280
|-35729115, 20553447, 32127160
|5174536, 121104, 52656598
|18101273, 37920352, 82373585
|-47256481, 29603027, 22212679
|45986072, 31671688, 40619674
|104089151, 29850123, 37616194
|26493133, 33097536, 39772039
|6375568, 60626823, 48207462
|-14519078, 44864346, 43167038
|-20390548, 21254228, 48599302
|52054905, -26372839, 38622306
|-21781011, 51423115, 29530744
|13948357, 51890236, -17264950
|-46292758, 25380848, 27065497
|23181299, 79163467, 46842412
|12782299, 34723386, 25201272
|9332415, 33357656, 78962500
|112140990, 30558725, 29452398
|714641, 41200966, 62524352
|-7254023, 61921929, 33848148
|86959384, 1823703, 32232950
|-15348860, 57904837, 29818050
|15769592, 63365837, 55567125
|-33082122, 42491146, 19843578
|-11269329, 48196423, 43823549
|85654553, 57399035, 29436893
|5286952, 80092034, 18965368
|-3971873, 35076100, 64350554
|85577282, 34576285, 52416669
|39996361, 83287172, 49302406
|17703953, 62379889, 58768440
|7405968, -16388645, 7906306
|31939699, 102273102, 33148947
|-26925964, 35552222, 41062046
|30493074, 47960495, 18774441
|14479817, 14747357, 26478982
|82464972, 43235820, 47047740
|-25330051, 53041011, 25305758
|29253378, 65100076, -20322756
|-30270171, 36021386, 10085789
|-71994853, 50991477, -46872584
|-24378073, 31866651, 47534123
|-37237858, 31848295, 34762779
|14525443, 84558771, 33819154
|-23077529, 38085102, 42714368
|-49438790, 29285494, 25303856
|171752527, 37742188, 89150929
|-5579284, 55750769, 42754679
|-41631566, 34042326, 28454381
|-39236316, 32279109, 32628004
|-16991418, 45314931, 5683560
|10913940, 75909486, 39224284
|-5837922, 29004721, 69394398
|64849283, 81764276, 20735258
|-29895695, 10281187, 29870420
|27371790, 65964859, 65838476
|25875649, 36095782, 25392307
|-44016175, 31732756, 28737932
|956916, -5785617, 44995522
|-37318666, 36909018, 30432492
|8602504, -23384944, 35109789
|24620465, 53868625, 75463762
|-33810445, 9702618, 25841714
|20324862, 41478172, 83615874
|92199109, 11075781, 9577451
|-46130133, 32660548, 26004990
|-4524732, 40172892, 60192274
|-9989148, 38087814, 56950115
|-6745295, 18355011, 61886880
|99038035, 32526700, 4840361
|92184777, 42897045, 39231689
|10791986, 56430293, -12148070
|-45808335, 33037188, 26502477
|113927725, 29755696, 16707775
|-11513355, 36629196, 57268297
|-9176356, 21035182, 62560143
|8089195, 78767739, 34855948
|58754358, 76242501, 39976338
|53092018, 37002278, -37371695
|-48699551, 22822533, 25243868
|8521720, 76019380, 38504778
|18953616, -40308755, 17676745
|23015406, 55605861, 73469999
|-32107329, 39055088, 12594046
|25522121, 40006685, 24977044
|-9203951, 29134053, 67837172
|8075356, 83269647, 16494108
|-2605169, 14185857, 63074835
|3960196, 71534155, 38751862
|23096047, 87617785, 41813153
|-28139804, 35936884, 42314635
|4014442, -29436023, 21382431
|51001271, 31544149, 29527743
|11961469, 58074366, 60328690
|21828409, 29875852, 27407904
|12412748, 80078675, 38938065
|43859879, 40817733, -43525408
|640085, 57917888, 49375677
|-32492925, 12680910, 32116003
|-40946390, 39679454, 26122149
|14370876, 30299969, 90832505
|9513406, 86877648, 29399626
|10288665, 85746365, 16250579
|30604417, -48369485, 34226610
|-32146601, 25219850, 45349513
|-29079221, 12415883, 11832903
|-43650548, 37237232, 26346340
|-48063210, 21850417, 26258696
|97353959, 45856810, 14316786
|26956967, 63660725, -23093558
|12119285, 48211409, -23775146
|-5758119, 28618203, -25670239
|99427198, 42506018, 12688050
|-9896747, 23835800, 66776108
|115001583, 34157858, 19847227
|-2559402, 65430219, 39784150
|27758937, 93042005, 42568888
|-26497770, 146499, 26705302
|103833857, 36637629, 36584793
|-1388443, 24786483, -28942730
|-49170191, 31610780, 20382510
|48056126, -47059052, 27202558
|28941749, 18456585, 100606864
|48894384, -6078781, 67518340
|67614049, 29534274, 80167533
|101961106, 35953990, 39432432
|20691069, 44527080, 84369453
|22429581, 77579100, 53081304
|52037052, 31909853, 30988792
|3592502, 55559976, 56351289
|30878303, 72292095, 66934374
|22037615, 79558392, 50834581
|49056468, 10602883, 25379404
|-37774751, 35563674, 35170444
|-21786782, 51220905, 35623443
|-3511736, 60024394, 45098818
|19749142, 84899520, 43499181
|8598995, 67147001, -2616792
|-11303586, 51973577, 45490885
|-503729, -6920314, 46582977
|-33898316, 8576610, 28727942
|22876255, 81328970, 50428129
|32883427, 76715166, -17533882
|1287494, 6473800, 61867001
|30848291, 100002731, 39771505
|-16248561, 38312992, 54436207
|-43424612, 26388606, 37170383
|100402229, 50324967, 27575504
|-36125961, 42895290, 30306740
|-114170813, 49124694, 71556052
|-31579838, 45468133, 32492571
|-14690639, 42165332, 52705347
|-13512069, 57745665, 9234332
|-13835685, 57554607, 9328254
|-22875249, 31654570, 55129788
|29120867, 38291514, 18558291
|29994141, 46882596, 92854476
|54827195, 32767545, 91337280
|81873410, -15539105, 26712547
|7382931, 68572280, 48605758
|7065153, 59183213, -10148568
|24784151, 95946065, 38672493
|72630322, 24384971, 76087010
|-5794954, -262590, -1629759
|-38087835, 42027505, 29950389
|-15824429, -13271110, 26179455
|23920826, 19760709, 29460032
|-39234406, 36220785, 34798372
|29776624, 33503841, 28272564
|28985521, 107155792, 32104655
|6978024, 46460359, 70863058
|-90664825, 65319624, 78402858
|6587920, 77996128, 39102040
|-29877689, 47724371, 32918641
|-50909228, 31672081, 28003243
|-33152490, 45562351, 31914344
|-19620626, 52061201, 8607507
|-19158748, 30955062, -13049656
|-950710, 60248818, 49541599
|-50060339, 32431398, 28283343
|15255999, 76508125, 49552877
|38931019, 102035261, 39033560
|-24390931, 39513789, 46973761
|12748539, 31761349, 15735441
|-28148713, 40717394, 42121341
|112970700, 38294724, 28871910
|13379043, 30984858, 93394821
|11021636, 33123919, 27263211
|39052238, 44160429, 33284731
|-4853280, 41855555, 64441916
|125660437, 28775386, 25878423
|-17799007, 37769645, 55606762
|-34152180, 20034745, 42344367
|-39457252, 47105491, 24812180
|24837298, 29110024, 25685687
|-41781975, 38713600, 31103461
|-36272820, 46078457, 29365617
|-27424454, 44261029, 7518197
|-6890022, 62960231, 41974432
|4912081, 31856983, 25611645
|-1319338, 52729170, 57832962
|28086642, 29966871, 47903200
|-52142356, 33930847, 25845905
|-21091441, -4427060, 31681145
|118617, 34721361, 77496063
|15188390, 43567345, 83729568
|99612382, 19960521, 749610
|-55110962, 31737038, 25279944
|125562971, 31024504, 24827979
|-15850232, 40898712, 55529280
|-48954334, 36278366, 27101035
|9299274, 33521647, 28177821
|-27458727, 37082345, 47925315
|-10845109, 57606598, 44029565
|-31011105, 12758568, 8082503
|-36548491, 37587670, 38465358
|15778871, 92049173, 36371040
|-13952445, -10422209, 33482586
|21246220, 2140926, -33704100
|28952396, 79290816, 62397903
|-29071021, 51360513, 15181506
|104882873, 41667699, 35533684
|33441782, 37314106, 109064436
|7677175, 74471435, 149558041
|-17904865, 13012906, 53301813
|-43592209, 40225898, 29220598
|30954415, 68868819, 75140601
|80449566, 49263771, 52726488
|9400380, 45686950, 77147235
|2009552, 73138748, 42347563
|9299613, 37440256, 85344270
|-52731787, 34838632, 26010126
|-26052306, 54987755, 14909739
|-59938461, 28673141, 22426075
|-17874105, 60481224, 35437922
|-52658350, 32168754, 18563685
|-1982658, 41047178, -23256502
|7953227, 73678393, 48185040
|11866928, 46326095, 79523486
|-19466531, 43723083, 50854082
|-32795192, 52348923, 29070576
|-54251430, 31437302, 28535666
|99741454, 48986733, 34699040
|7114757, 62193617, 59212873
|-36298924, 39612553, 38382064
|93875737, 53941423, 35647006
|-10014617, 25247773, 74754292
|-27389478, 56066626, 30905482
|12845861, 29069110, 32809248
|55103428, 67488281, 61150433
|108197543, 41296254, 34270409
|-43724261, 20429122, 36581618
|17114271, 95450068, 36432978
|-7912963, 57396695, 49463789
|10377008, 81800561, 43394087
|24035703, 37276244, 25530566
|-60232966, 29672944, 22566010
|4520602, 62167365, -9727743
|224765645, 34215655, 14727386
|-17890394, 45217175, 51871953
|31893468, -1291680, 90795623
|18507853, 38167794, 34054510
|17135744, 36990550, -47665353
|65375688, 67994475, 50962438
|122581548, 29097928, 32658990
|2030335, 3730727, -18680274
|56787945, 1218348, -26513397
|-43605963, 38962882, 32816249
|33005205, 79165697, 69260248
|-43216439, 35804086, 36480805
|-51230339, 30053346, 34255956|];