From 159e769bc32d1e34a40967493f08dfc776ec1a5a Mon Sep 17 00:00:00 2001 From: mwinter Date: Mon, 27 May 2024 11:47:51 +0200 Subject: [PATCH] backup before cleanup --- compact_sets_extended_simplified.ipynb | 2652 ++++++++++-------------- 1 file changed, 1067 insertions(+), 1585 deletions(-) diff --git a/compact_sets_extended_simplified.ipynb b/compact_sets_extended_simplified.ipynb index 5fd2650..56f64b9 100644 --- a/compact_sets_extended_simplified.ipynb +++ b/compact_sets_extended_simplified.ipynb @@ -594,7 +594,7 @@ }, { "cell_type": "code", - "execution_count": 177, + "execution_count": 379, "id": "b0d17cc2-a181-4212-aba5-72b90cab2a84", "metadata": {}, "outputs": [], @@ -679,7 +679,7 @@ " def target_weight(edge, target, c_devs, voice):\n", " candidate_diffs = []\n", " for idx, dev in enumerate(c_devs):\n", - " if(idx == 2):\n", + " if(idx == voice):\n", " source = list(edge[0])\n", " ordered_source = sorted(source, key=hs_array_to_fr) \n", " candidate_diff = edge[2]['movements'][ordered_source[idx]]['cent_difference']\n", @@ -730,16 +730,16 @@ }, { "cell_type": "code", - "execution_count": 359, + "execution_count": 374, "id": "a8592bc9-7e9e-4b6a-9eaa-4c4e3b69ce91", "metadata": {}, "outputs": [], "source": [ - "dims = (2, 3, 5)\n", - "root = (0, 0, 0)\n", + "dims = (2, 3, 5, 7)\n", + "root = (0, 0, 0, 0)\n", "chord = (root,)\n", "chord_set = chords(chord, root, 3, 3)\n", - "graph = generate_graph(chord_set, 2, 4, 3)" + "graph = generate_graph(chord_set, 2, 2, 3)" ] }, { @@ -1828,7 +1828,7 @@ }, { "cell_type": "code", - "execution_count": 360, + "execution_count": 380, "id": "be01e4ae-e629-42ff-9d95-f77d510c13bf", "metadata": { "scrolled": true @@ -1838,862 +1838,648 @@ "name": "stdout", "output_type": "stream", "text": [ - "(-813.6862861351653, -427.3725722703305, 0)\n", - "((0, 0, 0), (-2, 0, 1), (3, 0, -1))\n", - "(-1013.6862861351653, -627.3725722703305, 74.58242859505685)\n", - "2\n", + "(-701.9550008653874, -386.31371386483454, 0)\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-901.9550008653874, -586.3137138648345, -88.26871473022209)\n", "200.0\n", - "((0, 0, 0), (-2, 0, 1), (-3, 1, 1))\n", - "(-813.6862861351653, -427.37257227033047, 0.0)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-701.9550008653874, -386.31371386483454, 0.0)\n", "-200.0\n", - "((0, 0, 0), (-2, 0, 1), (3, 0, -1))\n", - "(-313.68628613516535, 1.9550008653876034, 500.0)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-313.68628613516523, 113.68628613516546, 500.0)\n", "-500.0\n", - "((0, 0, 0), (1, 1, -1), (3, 0, -1))\n", - "(-113.68628613516535, -1.9550008653875466, 700.0)\n", - "1\n", + "((0, 0, 0, 0), (5, 0, -2, 0), (3, 0, -1, 0))\n", + "(-184.35871299944722, 313.68628613516546, 700.0)\n", "-200.0\n", - "((0, 0, 0), (4, -1, -1), (3, 0, -1))\n", - "(-613.6862861351653, -501.95500086538755, -3.9100017307749795)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (0, -1, 1, 0))\n", + "(-684.3587129994472, -186.31371386483454, 17.5962878659401)\n", "500.0\n", - "((0, 0, 0), (4, -1, -1), (6, -2, -1))\n", - "(-513.6862861351653, -401.95500086538755, -15.641287000552893)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (-1, 1, 0, 0))\n", + "(-584.3587129994472, -268.7174259988941, 117.5962878659401)\n", "-100.0\n", - "((0, 0, 0), (4, -1, -1), (2, -1, 0))\n", - "(-17.596287865940326, 298.04499913461245, 684.3587129994471)\n", - "0\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(3.9100017307749795, 431.2825740011059, 817.5962878659401)\n", "-700.0\n", - "((3, -2, 0), (4, -1, -1), (2, -1, 0))\n", - "(-1.4210854715202004e-13, 498.04499913461245, 884.3587129994471)\n", - "0\n", + "((0, 0, 0, 0), (5, 0, -2, 0), (3, 0, -1, 0))\n", + "(400.10848047023035, 631.2825740011059, 1017.5962878659401)\n", "-200.0\n", - "((2, 0, -1), (4, -1, -1), (2, -1, 0))\n", - "(-1000.0000000000001, -501.95500086538755, -3.9100017307749795)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (1, 0, 1, -1))\n", + "(-796.089998269225, -368.7174259988941, 17.5962878659401)\n", "1000.0\n", - "((2, 0, -1), (4, -1, -1), (6, -2, -1))\n", - "(-300.0000000000001, -5.865002596162299, 696.089998269225)\n", - "1\n", + "((0, 0, 0, 0), (5, 0, -2, 0), (3, 0, -1, 0))\n", + "(-166.762425133507, 331.2825740011059, 717.5962878659401)\n", "-700.0\n", - "((2, 0, -1), (7, -3, -1), (6, -2, -1))\n", - "(-1200.0, -905.8650025961623, -92.1787164609973)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (0, -1, 1, 0))\n", + "(-1066.762425133507, -568.7174259988941, -70.6724268642821)\n", "900.0\n", - "((2, 0, -1), (7, -3, -1), (10, -3, -2))\n", - "(-719.5512887313275, 94.1349974038377, 907.8212835390027)\n", - "1\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-66.7624251335069, 431.2825740011059, 635.1925757318802)\n", "-1000.0\n", - "((4, -3, 0), (7, -3, -1), (10, -3, -2))\n", - "(-1819.5512887313275, -1005.8650025961623, 82.40371213405979)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (-1, 1, 0, 0))\n", + "(-1166.762425133507, -668.7174259988941, -170.6724268642821)\n", "1100.0\n", - "((4, -3, 0), (7, -3, -1), (4, -2, 0))\n", - "(-1719.5512887313275, -905.8650025961623, -21.50628959671519)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-884.3587129994469, -568.7174259988941, -70.6724268642821)\n", "-100.0\n", - "((4, -3, 0), (7, -3, -1), (7, -4, 0))\n", - "(-819.5512887313275, -5.865002596162299, 1966.762425133507)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(15.64128700055312, 331.2825740011059, 717.59628786594)\n", "-900.0\n", - "((4, -3, 0), (7, -3, -1), (4, -3, 1))\n", - "(-1519.5512887313275, -705.8650025961623, 66.7624251335069)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-684.3587129994469, -186.31371386483454, 17.596287865939985)\n", "700.0\n", - "((4, -3, 0), (7, -3, -1), (3, -3, 1))\n", - "(-1419.5512887313275, -605.8650025961623, 96.0899982692248)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (-1, 1, 0, 0))\n", + "(-584.3587129994469, -113.5778056649346, 117.59628786593998)\n", "-100.0\n", - "((4, -3, 0), (7, -3, -1), (6, -2, -1))\n", - "(-3.910001730774866, 494.1349974038377, 1196.089998269225)\n", - "0\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-1, 1, 0, 0))\n", + "(284.467193469678, 986.4221943350653, 1217.59628786594)\n", "-1100.0\n", - "((5, -2, -1), (7, -3, -1), (6, -2, -1))\n", - "(-703.9100017307749, -1.9550008653875466, 496.0899982692249)\n", - "1\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (2, 1, 0, -1))\n", + "(-415.532806530322, 286.42219433506534, 398.15347960484314)\n", "700.0\n", - "((5, -2, -1), (4, -1, -1), (6, -2, -1))\n", - "(-15.64128700055278, 798.0449991346125, 1296.089998269225)\n", - "0\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(384.467193469678, 811.8397657400083, 1198.1534796048431)\n", "-800.0\n", - "((1, -1, 0), (4, -1, -1), (6, -2, -1))\n", - "(-1515.641287000553, -701.9550008653875, 0.0)\n", - "2\n", + "((0, 0, 0, 0), (5, 0, -2, 0), (3, 0, -1, 0))\n", + "(-1115.532806530322, -729.2190926654873, -301.84652039515686)\n", "1500.0\n", - "((1, -1, 0), (4, -1, -1), (3, 0, -1))\n", - "(-915.6412870005529, -101.95500086538755, 782.4037121340598)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-515.532806530322, -129.21909266548732, -17.48780739570975)\n", "-600.0\n", - "((1, -1, 0), (4, -1, -1), (4, -2, 0))\n", - "(-2015.641287000553, -1.9550008653875466, 882.4037121340598)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-415.532806530322, -303.8015212605444, 82.51219260429025)\n", "-100.0\n", - "((0, -1, 0), (4, -1, -1), (4, -2, 0))\n", - "(-2915.641287000553, -1329.327573135718, -17.596287865940212)\n", - "2\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-1315.532806530322, -1203.8015212605444, -501.84652039515686)\n", "900.0\n", - "((0, -1, 0), (-1, -1, 1), (4, -2, 0))\n", - "(-2715.641287000553, -1129.327573135718, 70.67242686428199)\n", - "2\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-1115.532806530322, -799.8915195297693, -301.84652039515686)\n", "-200.0\n", - "((0, -1, 0), (-1, -1, 1), (0, -1, 1))\n", - "(-1815.641287000553, 86.31371386483465, 970.672426864282)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-215.53280653032198, 100.10848047023069, 486.4221943350652)\n", "-900.0\n", - "((0, -1, 0), (0, 0, 0), (0, -1, 1))\n", - "(-1715.641287000553, -17.596287865940297, 1070.672426864282)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-227.26409180009978, 200.1084804702307, 586.4221943350652)\n", "-100.0\n", - "((0, -1, 0), (3, -2, 0), (0, -1, 1))\n", - "(-227.3725722703307, 382.4037121340597, 1470.672426864282)\n", - "0\n", + "((0, 0, 0, 0), (5, 0, -2, 0), (3, 0, -1, 0))\n", + "(172.73590819990022, 755.2481008041905, 986.4221943350652)\n", "-400.0\n", - "((-3, 0, 1), (3, -2, 0), (0, -1, 1))\n", - "(-1615.641287000553, -1117.5962878659402, -29.327573135718012)\n", - "2\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (3, 0, -1, 0))\n", + "(-1327.2640918000998, -744.7518991958095, -358.4381853309751)\n", "1500.0\n", - "((1, -1, 0), (3, -2, 0), (0, -1, 1))\n", - "(-1215.641287000553, -717.5962878659402, -15.641287000552893)\n", - "2\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (-2, 0, 0, 1))\n", + "(-731.0656130606444, -344.75189919580953, 41.5618146690249)\n", "-400.0\n", - "((1, -1, 0), (3, -2, 0), (2, -1, 0))\n", - "(-815.6412870005529, -1.9550008653874897, 384.3587129994471)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-4, 0, 2, 0))\n", + "(-331.0656130606444, 55.24810080419047, 166.9793860739677)\n", "-400.0\n", - "((1, -1, 0), (4, -1, -1), (2, -1, 0))\n", - "(-1.1368683772161603e-13, 498.0449991346125, 884.3587129994471)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(168.9343869393556, 435.80529254309295, 666.9793860739677)\n", "-500.0\n", - "((2, 0, -1), (4, -1, -1), (2, -1, 0))\n", - "(-700.0000000000001, 1.9550008653876603, 184.3587129994471)\n", - "1\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(-1077.8809935920724, -264.19470745690705, -33.0206139260323)\n", "700.0\n", - "((2, 0, -1), (1, 1, -1), (2, -1, 0))\n", - "(-1400.0, -698.0449991346123, 3.910001730774752)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-1701.8465203951573, -964.194707456907, -733.0206139260323)\n", "700.0\n", - "((2, 0, -1), (1, 1, -1), (0, 2, -1))\n", - "(-100.0, 601.9550008653877, 1801.9550008653875)\n", - "0\n", + "((0, 0, 0, 0), (-5, 0, 0, 2), (-2, 0, 0, 1))\n", + "(-246.70690006119753, 335.80529254309295, 566.9793860739677)\n", "-1300.0\n", - "((2, 0, -1), (1, 1, -1), (2, 1, -1))\n", - "(0.0, 701.9550008653877, 1403.9100017307746)\n", - "0\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (3, 0, -1, 0))\n", + "(-146.70690006119753, 168.9343869393556, 666.9793860739677)\n", "-100.0\n", - "((2, 0, -1), (1, 1, -1), (0, 2, -1))\n", - "(-500.0, -1.9550008653874897, 903.9100017307746)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-646.7069000611975, -331.0656130606444, 55.24810080418979)\n", "500.0\n", - "((2, 0, -1), (4, -1, -1), (0, 2, -1))\n", - "(-1200.0, -701.9550008653875, -1.1368683772161603e-13)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-1346.7069000611975, -1031.0656130606444, -533.0206139260323)\n", "700.0\n", - "((2, 0, -1), (4, -1, -1), (3, 0, -1))\n", - "(-1000.0, -501.95500086538755, -3.910001730775093)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-1217.3793269254795, -831.0656130606444, -333.0206139260323)\n", "-200.0\n", - "((2, 0, -1), (4, -1, -1), (6, -2, -1))\n", - "(-600.0, 9.776284404390253, 396.0899982692249)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-817.3793269254795, -431.0656130606444, -3.693040790314285)\n", "-400.0\n", - "((2, 0, -1), (8, -2, -2), (6, -2, -1))\n", - "(-1300.0, -690.2237155956097, 11.731285269777345)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-1517.3793269254795, -1131.0656130606444, -429.11061219525743)\n", "700.0\n", - "((2, 0, -1), (8, -2, -2), (7, -1, -2))\n", - "(-1400.0, -790.2237155956097, 23.46257053955526)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-1617.3793269254795, -915.4243260600917, -529.1106121952574)\n", "100.0\n", - "((2, 0, -1), (8, -2, -2), (11, -2, -3))\n", - "(37.14885667472072, 809.7762844043903, 1623.4625705395551)\n", - "0\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (-3, 1, 1, 0))\n", + "(-17.379326925479518, 684.5756739399083, 796.3069592096857)\n", "-1600.0\n", - "((12, -2, -4), (8, -2, -2), (11, -2, -3))\n", - "(-1462.8511433252793, -690.2237155956097, 11.731285269777345)\n", - "2\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-1517.3793269254795, -815.4243260600917, -429.11061219525754)\n", "1500.0\n", - "((12, -2, -4), (8, -2, -2), (7, -1, -2))\n", - "(25.41757140494292, 909.7762844043903, 1611.7312852697773)\n", - "0\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (-3, 1, 1, 0))\n", + "(82.62067307452048, 784.5756739399083, 896.3069592096856)\n", "-1600.0\n", - "((8, -1, -3), (8, -2, -2), (7, -1, -2))\n", - "(-474.5824285950571, 23.46257053955526, 1111.7312852697773)\n", - "1\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-417.3793269254795, 80.66567220913328, 396.3069592096856)\n", "500.0\n", - "((8, -1, -3), (10, -2, -3), (7, -1, -2))\n", - "(-1474.582428595057, -1088.2687147302224, 111.73128526977735)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (3, 0, -1, 0))\n", + "(-1417.3793269254795, -919.3343277908667, -421.2893286562546)\n", "1000.0\n", - "((8, -1, -3), (6, -1, -2), (7, -1, -2))\n", - "(-1574.582428595057, -374.5824285950571, 11.731285269777345)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-1223.244329521642, -1019.3343277908667, -521.2893286562546)\n", "100.0\n", - "((8, -1, -3), (9, -1, -3), (7, -1, -2))\n", - "(-2176.5374294604444, -274.5824285950571, 111.73128526977735)\n", - "2\n", + "((0, 0, 0, 0), (-3, 2, 0, 0), (-1, 1, 0, 0))\n", + "(-1234.9756147914197, -919.3343277908667, -421.2893286562546)\n", "-100.0\n", - "((9, -2, -3), (9, -1, -3), (7, -1, -2))\n", - "(-1976.5374294604444, -74.58242859505708, 37.148856674720605)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-1034.9756147914197, -803.8015212605446, -221.2893286562546)\n", "-200.0\n", - "((9, -2, -3), (9, -1, -3), (13, -2, -4))\n", - "(-1560.8961424598915, 25.41757140494292, 137.1488566747206)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (3, 0, -1, 0))\n", + "(-934.9756147914197, -703.8015212605446, -1.846520395157654)\n", "-100.0\n", - "((10, -1, -4), (9, -1, -3), (13, -2, -4))\n", - "(-1360.8961424598915, -862.8511433252793, 337.1488566747206)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, 1, 0, -1))\n", + "(-734.9756147914197, -503.80152126054463, -33.020613926032524)\n", "-200.0\n", - "((10, -1, -4), (12, -2, -4), (13, -2, -4))\n", - "(-1360.8961424598915, -49.164857190114276, 337.1488566747206)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-1, 1, 0, 0))\n", + "(-734.9756147914197, -419.3343277908667, -33.020613926032524)\n", "0.0\n", - "((10, -1, -4), (15, -2, -5), (13, -2, -4))\n", - "(-51.119858055501254, 650.8351428098857, 1037.1488566747207)\n", - "0\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-301.8465203951573, 280.6656722091333, 666.9793860739675)\n", "-700.0\n", - "((16, -3, -5), (15, -2, -5), (13, -2, -4))\n", - "(-551.1198580555013, 39.10385754010815, 537.1488566747207)\n", - "1\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (-2, 0, 0, 1))\n", + "(-801.8465203951573, -219.33432779086672, 11.83976574000792)\n", "500.0\n", - "((16, -3, -5), (11, -1, -4), (13, -2, -4))\n", - "(-351.11985805550125, 35.19385580933323, 737.1488566747207)\n", - "1\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (3, 0, -1, 0))\n", + "(-517.3793269254793, -19.334327790866723, 211.83976574000792)\n", "-200.0\n", - "((16, -3, -5), (14, -3, -4), (13, -2, -4))\n", - "(-1251.1198580555013, -864.8061441906668, -51.11985805550182)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (5, -1, 0, -1))\n", + "(-1417.3793269254793, -919.3343277908667, -421.2893286562545)\n", "900.0\n", - "((16, -3, -5), (14, -3, -4), (17, -3, -5))\n", - "(-1351.1198580555013, -649.1648571901144, -151.11985805550182)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-1490.115235125379, -1019.3343277908667, -521.2893286562545)\n", "100.0\n", - "((16, -3, -5), (15, -2, -5), (17, -3, -5))\n", - "(-47.20985632472639, 450.8351428098856, 948.8801419444982)\n", - "0\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-2, 0, 0, 1))\n", + "(-390.11523512537906, 80.66567220913328, 311.83976574000803)\n", "-1100.0\n", - "((13, -1, -5), (15, -2, -5), (17, -3, -5))\n", - "(-1347.2098563247264, -849.1648571901144, -35.47857105494927)\n", - "2\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-1, 1, 0, 0))\n", + "(-1690.115235125379, -1219.3343277908666, -721.2893286562545)\n", "1300.0\n", - "((13, -1, -5), (15, -2, -5), (18, -2, -6))\n", - "(-1547.2098563247264, -1049.1648571901144, 39.10385754010804)\n", - "2\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-2, 0, 0, 1))\n", + "(-1890.115235125379, -1152.463422187129, -921.2893286562545)\n", "200.0\n", - "((13, -1, -5), (15, -2, -5), (12, -1, -4))\n", - "(-1647.2098563247264, -1260.896142459892, -60.89614245989196)\n", - "2\n", + "((0, 0, 0, 0), (-5, 0, 0, 2), (-2, 0, 0, 1))\n", + "(-1519.3343277908666, -1252.463422187129, -1021.2893286562545)\n", "100.0\n", - "((13, -1, -5), (11, -1, -4), (12, -1, -4))\n", - "(41.05885840549604, 539.103857540108, 1739.103857540108)\n", - "0\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(-34.9756147914195, 547.536577812871, 778.7106713437455)\n", "-1800.0\n", - "((9, 0, -4), (11, -1, -4), (12, -1, -4))\n", - "(-1358.941141594504, -860.896142459892, -47.20985632472684)\n", - "2\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (3, 0, -1, 0))\n", + "(-1434.9756147914195, -852.463422187129, -466.14970832229494)\n", "1400.0\n", - "((9, 0, -4), (11, -1, -4), (14, -1, -5))\n", - "(-833.5235701895613, -60.89614245989196, 752.7901436752732)\n", - "1\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (-2, 0, 0, 1))\n", + "(-634.9756147914195, -52.46342218712903, 178.7106713437455)\n", "-800.0\n", - "((15, -1, -6), (11, -1, -4), (14, -1, -5))\n", - "(-933.5235701895613, -49.16485719011442, 652.7901436752732)\n", - "1\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (3, 0, -1, 0))\n", + "(-538.777136051964, -152.46342218712903, 78.7106713437455)\n", "100.0\n", - "((15, -1, -6), (15, -2, -5), (14, -1, -5))\n", - "(-833.5235701895613, -19.837284054396832, 752.7901436752732)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (1, 0, 1, -1))\n", + "(-438.777136051964, -52.46342218712903, 59.26786308264832)\n", "-100.0\n", - "((15, -1, -6), (18, -1, -7), (14, -1, -5))\n", - "(-733.5235701895613, 39.10385754010804, 852.7901436752732)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-338.777136051964, -71.90623044822655, 159.26786308264832)\n", "-100.0\n", - "((15, -1, -6), (11, -1, -4), (14, -1, -5))\n", - "(-2033.5235701895613, -1260.896142459892, -19.837284054396832)\n", - "2\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(-1638.7771360519641, -1371.9062304482266, -669.9512295828392)\n", "1300.0\n", - "((15, -1, -6), (11, -1, -4), (19, -1, -7))\n", - "(-1833.5235701895613, -1060.896142459892, 68.43143067582582)\n", - "2\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (-2, 0, 0, 1))\n", + "(-1438.7771360519641, -1052.463422187129, -469.95122958283923)\n", "-200.0\n", - "((15, -1, -6), (11, -1, -4), (15, 0, -6))\n", - "(-1733.5235701895613, -960.896142459892, -35.47857105494927)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-2, 0, 0, 1))\n", + "(-1338.7771360519641, -952.463422187129, -250.50842132174193)\n", "-100.0\n", - "((15, -1, -6), (11, -1, -4), (18, -2, -6))\n", - "(-833.5235701895613, -19.837284054396832, 864.5214289450507)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-438.77713605196413, -52.46342218712903, 59.26786308264832)\n", "-900.0\n", - "((15, -1, -6), (18, -1, -7), (18, -2, -6))\n", - "(-1433.5235701895613, -619.8372840543968, 82.11771681099083)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-1038.7771360519641, -652.463422187129, 49.491578678258065)\n", "600.0\n", - "((15, -1, -6), (18, -1, -7), (17, 0, -7))\n", - "(-733.5235701895613, -31.568569324174405, 782.1177168109908)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-338.77713605196413, 47.53657781287097, 159.26786308264832)\n", "-700.0\n", - "((15, -1, -6), (14, 0, -6), (17, 0, -7))\n", - "(-533.5235701895613, -35.47857105494944, 982.1177168109908)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-138.77713605196413, 92.39695747891113, 359.2678630826483)\n", "-200.0\n", - "((15, -1, -6), (17, -2, -6), (17, 0, -7))\n", - "(-221.79228491978347, 164.52142894505056, 1182.1177168109907)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, -1, 0, 0))\n", + "(61.222863948035865, 292.39695747891113, 447.5365778128707)\n", "-200.0\n", - "((19, -2, -7), (17, -2, -6), (17, 0, -7))\n", - "(-321.79228491978347, 64.52142894505056, 491.8940012153812)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-38.777136051964135, 116.3624842819959, 347.5365778128707)\n", "100.0\n", - "((19, -2, -7), (17, -2, -6), (22, -2, -8))\n", - "(-121.79228491978347, -10.060999650006352, 691.8940012153812)\n", - "1\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 1, 0))\n", + "(-421.2893286562545, 316.3624842819959, 547.5365778128707)\n", "-200.0\n", - "((19, -2, -7), (23, -3, -8), (22, -2, -8))\n", - "(-96.37471351484044, 289.93900034999365, 991.8940012153812)\n", - "0\n", + "((0, 0, 0, 0), (-5, 0, 0, 2), (-2, 0, 0, 1))\n", + "(-121.2893286562545, 461.2228639480362, 847.5365778128707)\n", "-300.0\n", - "((25, -3, -9), (23, -3, -8), (22, -2, -8))\n", - "(-1796.3747135148406, -1410.0609996500064, -98.32971438022855)\n", - "2\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (-2, 0, 0, 1))\n", + "(-1821.2893286562544, -1007.6030425210887, -852.4634221871293)\n", "1700.0\n", - "((25, -3, -9), (23, -3, -8), (28, -4, -9))\n", - "(-1596.3747135148406, -1210.0609996500064, -10.060999650006238)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (-2, 0, 0, 1))\n", + "(-1621.2893286562544, -807.6030425210887, -576.4289489902139)\n", "-200.0\n", - "((25, -3, -9), (23, -3, -8), (24, -3, -8))\n", - "(-896.3747135148406, -12.01600051539367, 689.9390003499938)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-921.2893286562544, -107.6030425210887, 47.536577812870746)\n", "-700.0\n", - "((25, -3, -9), (25, -4, -8), (24, -3, -8))\n", - "(-996.3747135148406, -112.01600051539367, 905.5802873505462)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (-2, 0, 0, 1))\n", + "(-1021.2893286562544, -207.6030425210887, 23.57105100978606)\n", "100.0\n", - "((25, -3, -9), (25, -4, -8), (25, -2, -9))\n", - "(-98.32971438022804, 287.98399948460633, 1305.5802873505463)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-621.2893286562544, 192.3969574789113, 347.53657781287075)\n", "-400.0\n", - "((27, -4, -9), (25, -4, -8), (25, -2, -9))\n", - "(-698.3297143802281, 3.6252864851589948, 705.5802873505463)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (-2, 0, 0, 1))\n", + "(-1221.2893286562544, -407.6030425210887, -176.42894899021394)\n", "600.0\n", - "((27, -4, -9), (26, -3, -9), (25, -2, -9))\n", - "(-898.3297143802281, -196.374713514841, -84.64342824506309)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-1078.3839498556015, -607.6030425210887, -376.42894899021394)\n", "200.0\n", - "((27, -4, -9), (26, -3, -9), (30, -4, -10))\n", - "(-898.3297143802281, -196.374713514841, 799.7152847543846)\n", - "1\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-1, 1, 0, 0))\n", + "(-1078.3839498556015, -607.6030425210887, -109.55804338647647)\n", "0.0\n", - "((27, -4, -9), (26, -3, -9), (30, -5, -9))\n", - "(-998.3297143802281, -2.239716111003304, 699.7152847543846)\n", - "1\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-2, 0, 0, 1))\n", + "(-1178.3839498556015, -440.73213691735117, -209.55804338647647)\n", "100.0\n", - "((27, -4, -9), (31, -6, -9), (30, -5, -9))\n", - "(-798.3297143802281, 197.7602838889967, 584.0739977538315)\n", - "2\n", + "((0, 0, 0, 0), (-5, 0, 0, 2), (-2, 0, 0, 1))\n", + "(-627.0458507821862, -240.73213691735117, -9.55804338647647)\n", "-200.0\n", - "((27, -4, -9), (31, -6, -9), (29, -6, -8))\n", - "(-102.23971611100296, 1097.7602838889966, 1484.0739977538315)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (1, 0, 1, -1))\n", + "(272.9541492178138, 659.2678630826488, 770.9991483524263)\n", "-900.0\n", - "((30, -6, -9), (31, -6, -9), (29, -6, -8))\n", - "(-802.239716111003, 11.446570024161815, 784.0739977538315)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-427.0458507821862, -160.17494517844875, 70.99914835242635)\n", "700.0\n", - "((30, -6, -9), (33, -6, -10), (29, -6, -8))\n", - "(-13.971001380780308, 911.4465700241618, 1684.0739977538315)\n", - "0\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(472.9541492178138, 859.2678630826488, 970.9991483524263)\n", "-900.0\n", - "((26, -5, -8), (33, -6, -10), (29, -6, -8))\n", - "(-1213.9710013807803, -288.5534299758382, 97.76028388899658)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-727.0458507821862, -340.7321369173512, -25.09084991679856)\n", "1200.0\n", - "((26, -5, -8), (33, -6, -10), (31, -6, -9))\n", - "(-1413.9710013807803, -488.5534299758382, 9.491569158774496)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-1, 1, 0, 0))\n", + "(-927.0458507821862, -540.7321369173512, -42.68713778273866)\n", "200.0\n", - "((26, -5, -8), (33, -6, -10), (35, -7, -10))\n", - "(-1313.9710013807803, -388.5534299758382, -2.2397161110034176)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-827.0458507821862, -440.7321369173512, -13.359564647020647)\n", "-100.0\n", - "((26, -5, -8), (33, -6, -10), (31, -6, -9))\n", - "(-1202.239716111003, -388.5534299758382, -2.2397161110034176)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-827.0458507821862, -329.0008516475736, -13.359564647020647)\n", "0.0\n", - "((30, -6, -9), (33, -6, -10), (31, -6, -9))\n", - "(-1402.239716111003, -588.5534299758382, -90.5084308412255)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (3, 0, -1, 0))\n", + "(-1027.0458507821863, -529.0008516475737, -30.95585251296086)\n", "200.0\n", - "((30, -6, -9), (33, -6, -10), (35, -7, -10))\n", - "(-1502.239716111003, -688.5534299758382, 13.401570889549362)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-944.6421386481263, -629.0008516475737, -130.95585251296086)\n", "100.0\n", - "((30, -6, -9), (33, -6, -10), (32, -5, -10))\n", - "(-1002.239716111003, 15.356571754936795, 513.4015708895494)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-444.6421386481263, -129.00085164757365, 257.3128622172612)\n", "-500.0\n", - "((30, -6, -9), (30, -4, -10), (32, -5, -10))\n", - "(-902.239716111003, 115.3565717549368, 684.0739977538313)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-611.5130442518639, -29.000851647573654, 357.3128622172612)\n", "-100.0\n", - "((30, -6, -9), (30, -4, -10), (29, -6, -8))\n", - "(-602.239716111003, 99.71528475438424, 984.0739977538313)\n", - "1\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (-2, 0, 0, 1))\n", + "(-311.5130442518639, 270.99914835242635, 502.17324188330167)\n", "-300.0\n", - "((30, -6, -9), (29, -5, -9), (29, -6, -8))\n", - "(-1302.239716111003, -600.2847152456158, 101.67028561977145)\n", - "2\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (3, 0, -1, 0))\n", + "(-1011.5130442518639, -429.00085164757365, -42.68713778273877)\n", "700.0\n", - "((30, -6, -9), (29, -5, -9), (28, -4, -9))\n", - "(-1702.239716111003, -1000.2847152456158, -4.194716976390396)\n", - "2\n", + "((0, 0, 0, 0), (0, 0, -1, 1), (-2, 0, 0, 1))\n", + "(-1411.513044251864, -940.7321369173515, -442.6871377827388)\n", "400.0\n", - "((30, -6, -9), (29, -5, -9), (33, -7, -9))\n", - "(-1902.239716111003, -1200.2847152456156, -0.28471524561552997)\n", - "2\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-2, 0, 0, 1))\n", + "(-1527.045850782186, -1140.7321369173515, -642.6871377827388)\n", "200.0\n", - "((30, -6, -9), (29, -5, -9), (30, -5, -9))\n", - "(-1802.239716111003, -602.2397161110033, 99.71528475438447)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-1427.045850782186, -1040.7321369173515, -338.7771360519639)\n", "-100.0\n", - "((30, -6, -9), (31, -6, -9), (30, -5, -9))\n", - "(1.670285619771903, 997.7602838889967, 1699.7152847543844)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(172.9541492178139, 559.2678630826485, 670.9991483524263)\n", "-1600.0\n", - "((27, -4, -9), (31, -6, -9), (30, -5, -9))\n", - "(13.401570889549873, 897.7602838889967, 1599.7152847543844)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(72.95414921781389, 184.68543448759146, 570.9991483524263)\n", "100.0\n", - "((31, -5, -10), (31, -6, -9), (30, -5, -9))\n", - "(1.670285619771903, 997.7602838889967, 1699.7152847543844)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-30.95585251296106, 284.68543448759146, 670.9991483524263)\n", "-100.0\n", - "((27, -4, -9), (31, -6, -9), (30, -5, -9))\n", - "(-1200.2847152456152, -702.2397161110033, -0.28471524561564365)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-1730.955852512961, -1415.3145655124085, -917.2695663777957)\n", "1700.0\n", - "((29, -5, -9), (31, -6, -9), (30, -5, -9))\n", - "(-1100.2847152456152, -398.32971438022844, 99.71528475438436)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-1813.359564647021, -1315.3145655124085, -817.2695663777957)\n", "-100.0\n", - "((29, -5, -9), (28, -4, -9), (30, -5, -9))\n", - "(-800.2847152456152, -98.32971438022844, 13.401570889549248)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-1401.6282793772432, -1015.3145655124085, -517.2695663777957)\n", "-300.0\n", - "((29, -5, -9), (28, -4, -9), (32, -5, -10))\n", - "(-172.91214297528495, 1301.6702856197717, 1413.4015708895492)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-1.6282793772431887, 384.68543448759146, 496.4167197573694)\n", "-1400.0\n", - "((33, -5, -11), (28, -4, -9), (32, -5, -10))\n", - "(-1372.912142975285, -559.2258568401201, 213.40157088954925)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-1201.6282793772432, -815.3145655124085, -113.35956464702076)\n", "1200.0\n", - "((33, -5, -11), (36, -5, -12), (32, -5, -10))\n", - "(-872.912142975285, 11.446570024162043, 713.4015708895492)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-701.6282793772432, -315.31456551240854, 0.32672148814447155)\n", "-500.0\n", - "((33, -5, -11), (33, -6, -10), (32, -5, -10))\n", - "(-90.50843084122494, 611.446570024162, 1313.4015708895492)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-1, 1, 0, 0))\n", + "(-101.62827937724319, 284.68543448759146, 396.4167197573695)\n", "-600.0\n", - "((34, -7, -10), (33, -6, -10), (32, -5, -10))\n", - "(9.491569158775064, 711.446570024162, 1595.8052830236095)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-1.6282793772431887, 110.10300589253438, 496.4167197573695)\n", "-100.0\n", - "((34, -7, -10), (33, -6, -10), (33, -7, -9))\n", - "(-490.50843084122494, 7.536568293387177, 1095.8052830236095)\n", - "1\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-776.2107079723003, -389.8969941074656, -3.583280242630508)\n", "500.0\n", - "((34, -7, -10), (36, -8, -10), (33, -7, -9))\n", - "(5.581567428000199, 707.5365682933872, 1795.8052830236095)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-4, 0, 2, 0))\n", + "(-76.21070797230027, 310.1030058925344, 421.8342911623123)\n", "-700.0\n", - "((37, -9, -10), (36, -8, -10), (33, -7, -9))\n", - "(-6.149717841777488, 807.5365682933872, 1895.8052830236095)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-291.851994972853, 410.1030058925344, 521.8342911623123)\n", "-100.0\n", - "((33, -8, -9), (36, -8, -10), (33, -7, -9))\n", - "(82.11899688844449, 1007.5365682933872, 2095.8052830236093)\n", - "0\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-91.85199497285299, 335.52057729747736, 721.8342911623123)\n", "-200.0\n", - "((29, -7, -8), (36, -8, -10), (33, -7, -9))\n", - "(-1817.8810031115554, -892.4634317066128, -78.77714557144827)\n", - "2\n", + "((0, 0, 0, 0), (5, 0, -2, 0), (3, 0, -1, 0))\n", + "(-1991.851994972853, -1289.8969941074656, -1178.1657088376878)\n", "1900.0\n", - "((29, -7, -8), (36, -8, -10), (39, -8, -11))\n", - "(-1617.8810031115554, -692.4634317066128, -31.56728924672143)\n", - "2\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-1791.851994972853, -1089.8969941074656, -703.583280242631)\n", "-200.0\n", - "((29, -7, -8), (36, -8, -10), (28, -7, -7))\n", - "(-717.8810031115554, -15.92600224616831, 868.4327107532786)\n", - "1\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (-3, 1, 1, 0))\n", + "(-891.8519949728529, -189.89699410746562, 41.27709942340914)\n", "-900.0\n", - "((29, -7, -8), (28, -6, -8), (28, -7, -7))\n", - "(-617.8810031115554, 84.07399775383169, 786.0289986192189)\n", - "1\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (2, 1, 0, -1))\n", + "(-791.8519949728529, -89.89699410746562, 21.834291162312184)\n", "-100.0\n", - "((29, -7, -8), (28, -6, -8), (27, -5, -8))\n", - "(-102.23971611100274, 284.0739977538317, 986.0289986192189)\n", - "0\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-591.8519949728529, -276.21070797230016, 221.83429116231218)\n", "-200.0\n", - "((30, -6, -9), (28, -6, -8), (27, -5, -8))\n", - "(72.34271248405446, 184.0739977538317, 886.0289986192189)\n", - "0\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-691.8519949728529, -376.21070797230016, 10.10300589253427)\n", "100.0\n", - "((24, -5, -7), (28, -6, -8), (27, -5, -8))\n", - "(-727.6572875159455, -615.9260022461683, -25.702286650559245)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-1491.851994972853, -1176.2107079723, -678.1657088376878)\n", "800.0\n", - "((24, -5, -7), (28, -6, -8), (23, -4, -7))\n", - "(-127.65728751594554, -15.92600224616831, 1570.3877116186657)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-891.8519949728529, -505.53828110801805, -78.16570883768782)\n", "-600.0\n", - "((24, -5, -7), (28, -6, -8), (27, -6, -7))\n", - "(-827.6572875159455, -715.9260022461683, -13.971001380781104)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-1591.851994972853, -1205.538281108018, -503.58328024263096)\n", "700.0\n", - "((24, -5, -7), (28, -6, -8), (27, -5, -8))\n", - "(-327.65728751594554, -12.016000515393443, 486.0289986192189)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-817.2695663777959, -705.538281108018, -3.5832802426309627)\n", "-500.0\n", - "((24, -5, -7), (25, -4, -8), (27, -5, -8))\n", - "(-527.6572875159455, -212.01600051539344, -29.61228838133428)\n", - "2\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-1017.2695663777959, -630.955852512961, -203.58328024263096)\n", "200.0\n", - "((24, -5, -7), (25, -4, -8), (26, -6, -7))\n", - "(-1227.6572875159454, -912.0160005153934, -98.329714380229)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-1717.2695663777959, -1330.955852512961, -629.0008516475741)\n", "700.0\n", - "((24, -5, -7), (25, -4, -8), (28, -4, -9))\n", - "(-1327.6572875159454, -584.643428245063, -198.329714380229)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-1817.2695663777959, -1115.3145655124083, -729.0008516475741)\n", "100.0\n", - "((24, -5, -7), (30, -4, -10), (28, -4, -9))\n", - "(-827.6572875159454, -84.64342824506298, -13.971001380781217)\n", - "2\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (-3, 1, 1, 0))\n", + "(-1113.359564647021, -615.3145655124083, -229.0008516475741)\n", "-500.0\n", - "((24, -5, -7), (30, -4, -10), (27, -5, -8))\n", - "(-227.65728751594543, 87.98399948460656, 586.0289986192188)\n", - "1\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (0, -1, 1, 0))\n", + "(-513.359564647021, -15.314565512408308, 215.8595280184661)\n", "-600.0\n", - "((24, -5, -7), (25, -4, -8), (27, -5, -8))\n", - "(-15.926002246167798, 187.98399948460656, 686.0289986192188)\n", - "0\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (5, -1, 0, -1))\n", + "(-652.9663784506586, 84.68543448759169, 315.8595280184661)\n", "-100.0\n", - "((28, -6, -8), (25, -4, -8), (27, -5, -8))\n", - "(-415.9260022461678, -29.612288381333656, 286.0289986192188)\n", - "1\n", + "((0, 0, 0, 0), (-5, 0, 0, 2), (-2, 0, 0, 1))\n", + "(-1052.9663784506586, -786.095472846921, -84.14047198153389)\n", "400.0\n", - "((28, -6, -8), (26, -6, -7), (27, -5, -8))\n", - "(-12.01600051539296, 170.38771161866634, 486.0289986192188)\n", - "0\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (-2, 0, 0, 1))\n", + "(-697.8267581166988, -586.095472846921, 115.85952801846611)\n", "-200.0\n", - "((25, -4, -8), (26, -6, -7), (27, -5, -8))\n", - "(-0.28471524561496153, 70.38771161866634, 386.0289986192188)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-797.8267581166988, -566.6526645858237, 15.859528018466108)\n", "100.0\n", - "((29, -5, -9), (26, -6, -7), (27, -5, -8))\n", - "(-12.01600051539296, 170.38771161866634, 486.0289986192188)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (3, 0, -1, 0))\n", + "(-697.8267581166988, -466.6526645858237, 4.128242748688194)\n", "-100.0\n", - "((25, -4, -8), (26, -6, -7), (27, -5, -8))\n", - "(-27.657287515945427, 470.38771161866634, 786.0289986192188)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-1, 1, 0, 0))\n", + "(-397.8267581166988, -166.6526645858237, -11.513044251864414)\n", "-300.0\n", - "((24, -5, -7), (26, -6, -7), (27, -5, -8))\n", - "(-727.6572875159454, -25.702286650558563, 86.02899861921878)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-1097.8267581166988, -866.6526645858237, -52.96637845065902)\n", "700.0\n", - "((24, -5, -7), (23, -4, -7), (27, -5, -8))\n", - "(-2015.9260022461679, -225.70228665055856, -113.97100138078122)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (6, 0, -1, -1))\n", + "(-1221.7922849197837, -1066.6526645858237, -252.96637845065902)\n", "200.0\n", - "((27, -6, -8), (23, -4, -7), (27, -5, -8))\n", - "(-2912.016000515393, -125.70228665055856, -13.971001380781217)\n", - "1\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 0, 1))\n", + "(-1121.7922849197837, -854.9213793160461, -152.96637845065902)\n", "-100.0\n", - "((23, -4, -8), (23, -4, -7), (27, -5, -8))\n", - "(-1927.6572875159457, -25.702286650558563, 86.02899861921878)\n", - "2\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (-2, 0, 0, 1))\n", + "(-1021.7922849197837, -790.6181913889084, -52.96637845065902)\n", "-100.0\n", - "((23, -5, -7), (23, -4, -7), (27, -5, -8))\n", - "(-2127.6572875159454, -225.70228665055856, 272.34271248405344)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 0, 1))\n", + "(-1221.7922849197837, -990.6181913889084, -176.9319052537437)\n", "200.0\n", - "((23, -5, -7), (23, -4, -7), (25, -5, -7))\n", - "(-2227.6572875159454, -325.70228665055856, 60.61142721427552)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (6, 0, -1, -1))\n", + "(-1245.7578117228686, -1090.6181913889084, -276.9319052537437)\n", "100.0\n", - "((23, -5, -7), (23, -4, -7), (21, -4, -6))\n", - "(-3141.34357365111, -425.70228665055856, -39.38857278572448)\n", - "2\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 0, 1))\n", + "(-1421.7922849197837, -1190.6181913889084, -376.9319052537437)\n", "100.0\n", - "((20, -5, -6), (23, -4, -7), (21, -4, -6))\n", - "(-2841.34357365111, -55.02985978627589, 260.6114272142755)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (6, 0, -1, -1))\n", + "(-1121.7922849197837, -308.105998784618, -76.93190525374371)\n", "-300.0\n", - "((20, -5, -6), (20, -5, -5), (21, -4, -6))\n", - "(-4241.343573651111, -255.0298597862759, 60.61142721427552)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-1210.060999650006, -508.105998784618, -276.9319052537437)\n", "200.0\n", - "((19, -5, -6), (20, -5, -5), (21, -4, -6))\n", - "(-3741.343573651111, 62.566428079663694, 560.6114272142755)\n", - "1\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (2, 1, 0, -1))\n", + "(-710.0609996500059, -8.10599878461801, 103.62528648515934)\n", "-500.0\n", - "((19, -5, -6), (19, -3, -6), (21, -4, -6))\n", - "(-4441.343573651111, -637.4335719203364, -27.657287515946564)\n", - "2\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-1410.060999650006, -708.105998784618, -321.7922849197838)\n", "700.0\n", - "((19, -5, -6), (19, -3, -6), (25, -5, -7))\n", - "(-3541.343573651111, 58.656426348889, 872.3427124840534)\n", - "1\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (-3, 1, 1, 0))\n", + "(-510.0609996500059, 191.894001215382, 303.62528648515934)\n", "-900.0\n", - "((19, -5, -6), (22, -5, -6), (25, -5, -7))\n", - "(-2827.6572875159454, -41.343573651111, 772.3427124840534)\n", - "0\n", + "((0, 0, 0, 0), (-1, 1, 0, 0), (3, 0, -1, 0))\n", + "(-610.0609996500059, -498.32971438022764, 203.62528648515934)\n", "100.0\n", - "((22, -5, -7), (22, -5, -6), (25, -5, -7))\n", - "(-3427.6572875159454, -641.343573651111, 60.61142721427552)\n", - "2\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-1210.060999650006, -823.7472857851706, -396.37471351484066)\n", "600.0\n", - "((22, -5, -7), (22, -5, -6), (21, -4, -6))\n", - "(-1539.3885727857232, 158.656426348889, 860.6114272142755)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-410.0609996500059, -23.74728578517056, 87.98399948460644)\n", "-800.0\n", - "((19, -4, -6), (22, -5, -6), (21, -4, -6))\n", - "(-443.2985745164981, 258.656426348889, 960.6114272142755)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-310.0609996500059, -43.19009404626809, 187.98399948460644)\n", "-100.0\n", - "((23, -6, -6), (22, -5, -6), (21, -4, -6))\n", - "(60.61142721427683, 558.656426348889, 1260.6114272142754)\n", - "0\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(-241.23509318088088, 256.8099059537319, 487.98399948460644)\n", "-300.0\n", - "((20, -4, -6), (22, -5, -6), (21, -4, -6))\n", - "(-939.3885727857232, -441.343573651111, -55.0298597862768)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (5, -1, 0, -1))\n", + "(-1241.235093180881, -743.1900940462681, -245.14509491165597)\n", "1000.0\n", - "((20, -4, -6), (22, -5, -6), (20, -5, -5))\n", - "(-1039.3885727857232, -541.343573651111, -43.29857451649957)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-1229.5038079111032, -843.1900940462681, -345.145094911656)\n", "100.0\n", - "((20, -4, -6), (22, -5, -6), (24, -6, -6))\n", - "(-1239.3885727857232, -741.343573651111, -39.38857278572459)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-1429.5038079111032, -1043.190094046268, -341.2350931808811)\n", "200.0\n", - "((20, -4, -6), (22, -5, -6), (21, -4, -6))\n", - "(-1139.3885727857232, -753.0748589208888, 60.61142721427541)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-1174.3641875771434, -943.1900940462681, -241.2350931808811)\n", "-100.0\n", - "((20, -4, -6), (18, -4, -5), (21, -4, -6))\n", - "(-639.3885727857232, 62.566428079663694, 560.6114272142754)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, 1, 0, -1))\n", + "(-674.3641875771434, -443.1900940462681, 27.59081328824402)\n", "-500.0\n", - "((20, -4, -6), (19, -3, -6), (21, -4, -6))\n", - "(-439.3885727857232, -53.0748589208888, 760.6114272142754)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-1, 1, 0, 0))\n", + "(-474.3641875771434, -243.1900940462681, 23.680811557469042)\n", "-200.0\n", - "((20, -4, -6), (18, -4, -5), (21, -4, -6))\n", - "(-1239.3885727857232, -537.4335719203364, -39.38857278572459)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, -1, 0, 0))\n", + "(-1274.3641875771434, -1043.190094046268, -229.5038079111032)\n", "800.0\n", - "((20, -4, -6), (19, -3, -6), (21, -4, -6))\n", - "(-1339.3885727857232, -637.4335719203364, 64.52142894505005)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (6, 0, -1, -1))\n", + "(-1298.3297143802283, -1143.190094046268, -329.5038079111032)\n", "100.0\n", - "((20, -4, -6), (19, -3, -6), (18, -2, -6))\n", - "(64.52142894505141, 562.5664280796636, 1264.52142894505)\n", - "0\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 0, 1))\n", + "(-98.32971438022832, 56.80990595373191, 287.9839994846068)\n", "-1200.0\n", - "((17, -2, -6), (19, -3, -6), (18, -2, -6))\n", - "(-735.4785710549486, -237.43357192033636, -33.523570189562406)\n", - "2\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 1, 0))\n", + "(-898.3297143802283, -743.1900940462681, 70.4961920888968)\n", "800.0\n", - "((17, -2, -6), (19, -3, -6), (16, -1, -6))\n", - "(60.61142721427666, 762.5664280796636, 966.4764298104376)\n", - "0\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 0, 1))\n", + "(101.67028561977168, 256.8099059537319, 487.9839994846068)\n", "-1000.0\n", - "((20, -4, -6), (19, -3, -6), (16, -1, -6))\n", - "(-139.38857278572334, -47.20985632472673, 766.4764298104376)\n", - "1\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 1, 0))\n", + "(-756.8763801814338, 56.80990595373191, 287.9839994846068)\n", "200.0\n", - "((20, -4, -6), (13, -1, -5), (16, -1, -6))\n", - "(-1639.3885727857232, -1547.2098563247268, 39.103857540107356)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-1710.0609996500057, -1443.190094046268, -1212.0160005153932)\n", "1500.0\n", - "((20, -4, -6), (13, -1, -5), (12, -1, -4))\n", - "(-239.38857278572323, -147.20985632472684, 666.4764298104376)\n", - "1\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(-541.2350931808805, -43.19009404626809, 187.98399948460678)\n", "-1400.0\n", - "((20, -4, -6), (13, -1, -5), (16, -1, -6))\n", - "(-1439.3885727857232, -1347.2098563247268, 146.9251410791103)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (5, -1, 0, -1))\n", + "(-1741.2350931808805, -1243.190094046268, -745.1450949116556)\n", "1200.0\n", - "((20, -4, -6), (13, -1, -5), (19, -4, -5))\n", - "(-1339.3885727857232, -251.1198580555017, 246.9251410791103)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-1347.100095777043, -1143.190094046268, -645.1450949116556)\n", "-100.0\n", - "((20, -4, -6), (17, -3, -5), (19, -4, -5))\n", - "(60.61142721427677, 446.9251410791111, 1646.9251410791103)\n", - "1\n", + "((0, 0, 0, 0), (-3, 2, 0, 0), (-1, 1, 0, 0))\n", + "(-241.23509318088054, 256.8099059537319, 754.8549050883444)\n", "-1400.0\n", - "((20, -4, -6), (18, -4, -5), (19, -4, -5))\n", - "(-1139.3885727857232, -753.0748589208889, 60.61142721427541)\n", - "2\n", + "((0, 0, 0, 0), (2, -1, 0, 0), (4, -2, 0, 0))\n", + "(-1258.8313810468205, -943.1900940462681, -445.14509491165563)\n", "1200.0\n", - "((20, -4, -6), (18, -4, -5), (21, -4, -6))\n", - "(-639.3885727857232, 62.56642807966358, 560.6114272142754)\n", - "1\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-758.8313810468205, -372.5176671819861, 54.85490508834437)\n", "-500.0\n", - "((20, -4, -6), (19, -3, -6), (21, -4, -6))\n", - "(-739.3885727857232, -37.43357192033642, 348.8801419444975)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-858.8313810468205, -472.5176671819861, 25.527331952626355)\n", "100.0\n", - "((20, -4, -6), (19, -3, -6), (17, -3, -5))\n", - "(-1339.3885727857232, -637.4335719203364, 64.52142894505005)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-1458.8313810468205, -1072.517667181986, -370.5626663165988)\n", "600.0\n", - "((20, -4, -6), (19, -3, -6), (18, -2, -6))\n", - "(-1139.3885727857232, -437.43357192033636, 60.61142721427541)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-1139.3885727857232, -872.5176671819861, -170.56266631659878)\n", "-200.0\n", - "((20, -4, -6), (19, -3, -6), (21, -4, -6))\n", - "(-239.38857278572323, 146.9251410791112, 960.6114272142754)\n", - "1\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (-2, 0, 0, 1))\n", + "(-239.38857278572323, 27.4823328180139, 258.6564263488888)\n", "-900.0\n", - "((20, -4, -6), (18, -4, -5), (21, -4, -6))\n", - "(-55.02985978627521, 646.9251410791112, 1460.6114272142754)\n", - "0\n", + "((0, 0, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", + "(296.30823928713926, 527.4823328180139, 758.6564263488888)\n", "-500.0\n", - "((19, -5, -5), (18, -4, -5), (21, -4, -6))\n", - "(-1255.0298597862752, -553.0748589208888, -55.0298597862768)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (6, 0, 0, -2))\n", + "(-903.6917607128607, -672.5176671819861, 29.437333683400993)\n", "1200.0\n", - "((19, -5, -5), (18, -4, -5), (20, -5, -5))\n", - "(44.97014021372479, 746.9251410791112, 2058.656426348888)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, 1, 0, -1))\n", + "(396.30823928713926, 627.4823328180139, 782.6219531519735)\n", "-1300.0\n", - "((19, -5, -5), (18, -4, -5), (23, -5, -6))\n", - "(-1155.0298597862752, -453.0748589208888, -66.76114505605528)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-803.6917607128607, -572.5176671819861, 9.994525422303923)\n", "1200.0\n", - "((19, -5, -5), (18, -4, -5), (16, -4, -4))\n", - "(-755.0298597862752, -53.0748589208888, 1146.9251410791098)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (3, 0, -1, 0))\n", + "(-403.69176071286074, -172.5176671819861, -17.3780468480266)\n", "-400.0\n", - "((19, -5, -5), (18, -4, -5), (19, -4, -5))\n", - "(-1455.0298597862752, -753.0748589208888, -51.11985805550296)\n", - "2\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-1103.6917607128607, -872.5176671819861, -58.83138104682121)\n", "700.0\n", - "((19, -5, -5), (18, -4, -5), (17, -3, -5))\n", - "(-55.02985978627521, 850.8351428098858, 1348.8801419444972)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (6, 0, -1, -1))\n", + "(296.30823928713926, 527.4823328180139, 682.6219531519735)\n", "-1400.0\n", - "((19, -5, -5), (15, -2, -5), (17, -3, -5))\n", - "(-455.0298597862752, 43.015139348336334, 948.8801419444972)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-103.69176071286074, 51.4478596210987, 282.62195315197346)\n", "400.0\n", - "((19, -5, -5), (21, -6, -5), (17, -3, -5))\n", - "(-143.2985745164981, 243.01513934833633, 1148.8801419444972)\n", - "0\n", + "((0, 0, 0, 0), (-5, 0, 1, 1), (-2, 0, 1, 0))\n", + "(-219.33304771341363, 251.4478596210987, 482.62195315197346)\n", "-200.0\n", - "((23, -6, -6), (21, -6, -5), (17, -3, -5))\n", - "(-1443.298574516498, -1056.9848606516637, 143.0151393483352)\n", - "2\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-1, 1, 0, 0))\n", + "(-1519.3330477134136, -1048.5521403789012, -550.5071412442891)\n", "1300.0\n", - "((23, -6, -6), (21, -6, -5), (22, -6, -5))\n", - "(-643.2985745164981, 58.65642634888911, 943.0151393483352)\n", - "1\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-2, 0, 0, 1))\n", + "(-719.3330477134136, -248.55214037890119, -17.378046848026543)\n", "-800.0\n", - "((23, -6, -6), (22, -5, -6), (22, -6, -5))\n", - "(-743.2985745164981, 29.328853213171158, 843.0151393483352)\n", - "1\n", + "((0, 0, 0, 0), (-4, 1, 0, 1), (-1, 1, 0, 0))\n", + "(-819.3330477134136, -503.6917607128607, -117.37804684802654)\n", "100.0\n", - "((23, -6, -6), (19, -6, -4), (22, -6, -5))\n", - "(-1443.298574516498, -670.6711467868288, 31.283854078557738)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (-1, 1, 0, 0))\n", + "(-1519.3330477134136, -1203.6917607128607, -705.6467615782486)\n", "700.0\n", - "((23, -6, -6), (19, -6, -4), (18, -5, -4))\n", - "(-1343.298574516498, -570.6711467868288, -72.62614765221736)\n", - "2\n", + "((0, 0, 0, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(-1419.3330477134136, -1033.0193338485788, -605.6467615782486)\n", "-100.0\n", - "((23, -6, -6), (19, -6, -4), (21, -7, -4))\n", - "(-643.2985745164981, -74.58114851760331, 627.3738523477826)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-719.3330477134136, -333.01933384857875, -17.378046848026543)\n", "-700.0\n", - "((23, -6, -6), (22, -8, -4), (21, -7, -4))\n", - "(-1443.298574516498, -874.5811485176033, -60.894862382439555)\n", - "2\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-1, 1, 0, 0))\n", + "(-1519.3330477134136, -1133.0193338485788, -431.0643329831918)\n", "800.0\n", - "((23, -6, -6), (22, -8, -4), (25, -8, -5))\n", - "(-843.2985745164981, -29.61228838133343, 539.1051376175604)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (-3, 1, 1, 0))\n", + "(-919.3330477134136, -533.0193338485788, -34.97433471396664)\n", "-600.0\n", - "((23, -6, -6), (26, -6, -7), (25, -8, -5))\n", - "(-174.58114851760274, 70.38771161866657, 639.1051376175604)\n", - "1\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (0, -1, 1, 0))\n", + "(-819.3330477134136, -433.01933384857875, -5.646761578248629)\n", "-100.0\n", - "((22, -8, -4), (26, -6, -7), (25, -8, -5))\n", - "(-43.29857451649809, 770.3877116186666, 1339.1051376175606)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (3, 0, -1, 0))\n", + "(-119.33304771341363, 266.98066615142125, 378.7119514211985)\n", "-700.0\n", - "((23, -6, -6), (26, -6, -7), (25, -8, -5))\n", - "(72.3427124840548, 570.3877116186666, 1139.1051376175606)\n", - "0\n", + "((0, 0, 0, 0), (-2, 0, 1, 0), (2, -1, 0, 0))\n", + "(-319.33304771341363, -88.1589541825386, 178.71195142119848)\n", "200.0\n", - "((24, -5, -7), (26, -6, -7), (25, -8, -5))\n", - "(-27.6572875159452, 470.3877116186666, 674.2977133494404)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, -1, 0, 0))\n", + "(-419.33304771341363, -188.1589541825386, -33.01933384857915)\n", "100.0\n", - "((24, -5, -7), (26, -6, -7), (23, -4, -7))\n", - "(-327.6572875159452, -12.016000515393216, 374.2977133494404)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-719.3330477134136, -488.1589541825386, -17.378046848026543)\n", "300.0\n", - "((24, -5, -7), (25, -4, -8), (23, -4, -7))\n", - "(-127.6572875159452, 76.25271421482881, 574.2977133494404)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-1, 1, 0, 0))\n", + "(-519.3330477134136, -288.1589541825386, -21.288048578801522)\n", "-200.0\n", - "((24, -5, -7), (21, -3, -7), (23, -4, -7))\n", - "(-10.060999650005328, 376.2527142148288, 874.2977133494404)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (2, -1, 0, 0))\n", + "(-219.33304771341363, 11.841045817461406, 166.98066615142085)\n", "-300.0\n", - "((23, -3, -8), (21, -3, -7), (23, -4, -7))\n", - "(-1223.7472857851708, -23.747285785171186, 474.2977133494404)\n", - "1\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (-2, 0, 1, 0))\n", + "(-619.3330477134136, -388.1589541825386, -1.845240317704338)\n", "400.0\n", - "((20, -3, -7), (21, -3, -7), (23, -4, -7))\n", - "(-227.6572875159452, -23.747285785171186, 474.2977133494404)\n", - "0\n", + "((0, 0, 0, 0), (3, 0, 0, -1), (1, 0, 1, -1))\n", + "(-499.8902394523164, -388.1589541825386, -1.845240317704338)\n", "0.0\n", - "((24, -5, -7), (21, -3, -7), (23, -4, -7))\n", - "(-427.6572875159452, -223.7472857851712, 589.9390003499931)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-699.8902394523163, -588.1589541825385, 113.79604668284856)\n", "200.0\n", - "((24, -5, -7), (21, -3, -7), (24, -3, -8))\n", - "(-327.6572875159452, 486.02899861921975, 689.9390003499931)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-599.8902394523163, -488.15895418253854, -101.84524031770434)\n", "-100.0\n", - "((24, -5, -7), (27, -5, -8), (24, -3, -8))\n", - "(-427.6572875159452, -41.34357365111077, 589.9390003499931)\n", - "1\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-699.8902394523163, -588.1589541825385, 113.79604668284856)\n", "100.0\n", - "((24, -5, -7), (22, -5, -6), (24, -3, -8))\n", - "(-327.6572875159452, -12.016000515393216, 689.9390003499931)\n", - "1\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-599.8902394523163, -488.15895418253854, -101.84524031770434)\n", "-100.0\n", - "((24, -5, -7), (25, -4, -8), (24, -3, -8))\n", - "(-223.7472857851707, -112.01600051539322, 589.9390003499931)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-699.8902394523163, -588.1589541825385, 113.79604668284856)\n", "100.0\n", - "((21, -3, -7), (25, -4, -8), (24, -3, -8))\n", - "(-123.7472857851707, -12.016000515393216, 1686.0289986192183)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-599.8902394523163, -488.15895418253854, -101.84524031770434)\n", "-100.0\n", - "((21, -3, -7), (25, -4, -8), (28, -5, -8))\n", - "(-27.6572875159452, 287.9839994846068, 1986.0289986192183)\n", - "0\n", + "((0, 0, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", + "(-574.4726680473734, -188.15895418253854, 198.15475968229566)\n", "-300.0\n", "(1.525, 0.425, 1.225, 0.65, 0.375, 0.65, 0.175, 0.925, 0.4, 0.4, 0.7, 0.25, 0.625, 0.1, 1.175, 0.475, 0.1, 0.225, 0.625, 0.525, 0.2, 0.625, 0.05, 0.175, 0.65, 1.0, 0.075, 0.075, 1.2, 0.525, 0.3, 0.075, 1.225, 0.325, 0.3, 0.15, 0.075, 0.525, 0.225, 2.275, 0.125, 0.025, 0.225, 0.025, 0.125, 0.25, 0.25, 0.8, 0.125, 0.325, 0.275, 0.375, 0.425, 0.125, 1.1, 0.375, 0.05, 0.1, 0.4, 1.15, 0.15, 0.1, 0.075, 0.75, 0.575, 0.05, 0.325, 0.9, 0.375, 0.575, 0.05, 0.125, 0.075, 0.125, 0.4, 0.275, 0.125, 0.525, 0.65, 0.975, 0.725, 0.275, 0.175, 1.65, 0.7, 0.1, 0.05, 0.225, 0.4, 0.375, 0.325, 0.2, 0.225, 0.425, 2.05, 0.025, 0.125, 0.075, 0.45, 0.075, 0.225, 0.075, 0.35, 0.15, 0.3, 0.175, 0.1, 0.525, 0.55, 0.325, 0.375, 0.075, 0.5, 0.525, 0.7, 0.3, 0.05, 0.55, 0.65, 0.675, 0.25, 0.7, 0.85, 0.9, 1.15, 0.25, 0.025, 0.1, 0.475, 0.125, 1.0, 0.35, 0.075, 0.725, 0.3, 0.2, 0.1, 0.25, 0.2, 0.975, 0.55, 0.025, 0.225, 0.425, 0.525, 1.45, 0.025, 0.175, 0.275, 0.025, 0.35, 0.4, 0.4, 0.075, 0.7, 0.35, 0.1, 0.4, 0.175, 0.275, 1.425, 0.775, 0.475, 0.85, 1.375, 0.25, 0.55, 0.075, 1.425, 0.325, 0.525, 0.3, 0.825, 0.525, 0.15, 0.075, 0.375, 0.125, 0.05, 0.3, 0.675, 1.4, 0.9, 0.475, 0.425, 0.475, 0.275, 1.175, 0.3, 0.45, 1.375, 0.225, 0.25, 0.1, 0.05, 0.15, 0.6, 0.225, 0.55, 0.45, 0.275, 0.15, 0.05, 1.45, 0.225, 0.225, 0.75, 0.25, 0.55, 0.525, 0.925, 1.4, 0.725, 0.8, 0.775)\n" ] @@ -2710,7 +2496,7 @@ }, { "cell_type": "code", - "execution_count": 273, + "execution_count": 381, "id": "57c834bf-fee7-4ef4-b648-2173099fbb56", "metadata": {}, "outputs": [], @@ -2935,7 +2721,7 @@ }, { "cell_type": "code", - "execution_count": 274, + "execution_count": 382, "id": "8912c650-a43d-4539-ae24-b5acf9bc543d", "metadata": {}, "outputs": [ @@ -2943,1167 +2729,863 @@ "name": "stdout", "output_type": "stream", "text": [ - "(-729.2190926654876, -231.1740935308751, 0)\n", - "((0, 0, 0, 0), (2, -1, 0, 0), (5, -1, 0, -1))\n", - "(-29.21909266548755, -1.955000865387433, 700.0)\n", - "1\n", - "-700.0\n", - "((0, 0, 0, 0), (6, -2, 0, -1), (5, -1, 0, -1))\n", - "(-929.2190926654876, -901.9550008653874, 39.60681380363735)\n", + "(-1044.8603796660402, -231.17409353087487, 0)\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-1244.8603796660402, -431.17409353087487, -44.86037966604022)\n", "2\n", - "900.0\n", - "((0, 0, 0, 0), (6, -2, 0, -1), (-2, 0, 0, 1))\n", - "(-729.2190926654876, -701.9550008653874, -27.26409180010012)\n", + "200.0\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (1, 0, 0, 0))\n", + "(-1044.8603796660402, -231.17409353087487, 0.0)\n", "2\n", "-200.0\n", - "((0, 0, 0, 0), (6, -2, 0, -1), (-1, 1, 0, 0))\n", - "(0.0, 498.04499913461257, 1172.7359081998998)\n", - "0\n", - "-1200.0\n", - "((4, -1, 0, -1), (6, -2, 0, -1), (-1, 1, 0, 0))\n", - "(-700.0, 1.955000865387433, 472.73590819989977)\n", + "((0, 0, 0, 0), (3, 0, -1, 0), (6, 0, -1, -1))\n", + "(-544.8603796660402, 1.955000865387774, 500.0)\n", "1\n", - "700.0\n", - "((4, -1, 0, -1), (3, 0, 0, -1), (-1, 1, 0, 0))\n", - "(-500.0, -29.21909266548755, 672.7359081998998)\n", + "-500.0\n", + "((0, 0, 0, 0), (4, 1, -1, -1), (6, 0, -1, -1))\n", + "(-344.8603796660402, -1.9550008653875466, 700.0)\n", "1\n", "-200.0\n", - "((4, -1, 0, -1), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(-1000.0, -529.2190926654876, -31.17409353087521)\n", + "((0, 0, 0, 0), (7, -1, -1, -1), (6, 0, -1, -1))\n", + "(-844.8603796660402, -501.95500086538755, -3.910001730774866)\n", "2\n", "500.0\n", - "((4, -1, 0, -1), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(39.60681380363735, 270.78090733451245, 768.8259064691248)\n", - "0\n", - "-800.0\n", - "((-3, 0, 0, 1), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(-660.3931861963626, -633.1290943962625, 68.82590646912479)\n", + "((0, 0, 0, 0), (7, -1, -1, -1), (9, -2, -1, -1))\n", + "(-744.8603796660402, -401.95500086538755, -15.641287000552666)\n", "2\n", - "700.0\n", - "((-3, 0, 0, 1), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(0.0, 266.87090560373747, 968.8259064691248)\n", + "-100.0\n", + "((0, 0, 0, 0), (7, -1, -1, -1), (5, -1, 0, -1))\n", + "(-17.5962878659401, 298.04499913461245, 684.3587129994473)\n", "0\n", - "-900.0\n", - "((4, -1, 0, -1), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1029.2190926654876, -33.12909439626253, 668.8259064691248)\n", + "-700.0\n", + "((6, -2, 0, -1), (7, -1, -1, -1), (5, -1, 0, -1))\n", + "(-2.842170943040401e-14, 498.04499913461245, 884.3587129994473)\n", + "0\n", + "-200.0\n", + "((5, 0, -1, -1), (7, -1, -1, -1), (5, -1, 0, -1))\n", + "(-1000.0, -501.95500086538755, -31.17409353087487)\n", + "2\n", + "1000.0\n", + "((5, 0, -1, -1), (7, -1, -1, -1), (3, 0, -1, 0))\n", + "(-300.0, -33.12909439626242, 668.8259064691251)\n", "1\n", - "300.0\n", - "((-1, 0, 0, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1729.2190926654876, -1617.48780739571, -31.17409353087521)\n", + "-700.0\n", + "((5, 0, -1, -1), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-1200.0, -933.1290943962624, 35.696812072862485)\n", "2\n", - "700.0\n", - "((-1, 0, 0, 0), (3, -1, -1, 0), (2, -1, 0, 0))\n", - "(-929.2190926654876, 39.60681380363735, 768.8259064691248)\n", + "900.0\n", + "((5, 0, -1, -1), (4, -1, -1, 0), (2, -1, -1, 1))\n", + "(-200.0, 31.174093530874984, 1035.6968120728625)\n", "1\n", - "-800.0\n", - "((-1, 0, 0, 0), (-3, 0, 0, 1), (2, -1, 0, 0))\n", - "(-58.438185330975216, 439.60681380363735, 1168.8259064691247)\n", - "0\n", - "-400.0\n", - "((-5, 1, 0, 1), (-3, 0, 0, 1), (2, -1, 0, 0))\n", - "(-1458.438185330975, -960.3931861963626, 8.432720272762253)\n", + "-1000.0\n", + "((5, 0, -1, -1), (8, 0, -1, -2), (2, -1, -1, 1))\n", + "(-1300.0, -801.9550008653874, -64.30318792713751)\n", "2\n", - "1400.0\n", - "((-5, 1, 0, 1), (-3, 0, 0, 1), (-5, 0, 0, 2))\n", - "(-558.4381853309751, -60.39318619636265, 641.5618146690247)\n", + "1100.0\n", + "((5, 0, -1, -1), (7, -1, -1, -1), (2, -1, -1, 1))\n", + "(-1200.0, -498.0449991346121, 35.696812072862485)\n", + "2\n", + "-100.0\n", + "((5, 0, -1, -1), (4, 1, -1, -1), (2, -1, -1, 1))\n", + "(-300.0, -33.12909439626242, 935.6968120728625)\n", "1\n", "-900.0\n", - "((-5, 1, 0, 1), (-3, 0, 0, 1), (-4, 1, 0, 1))\n", - "(41.5618146690249, 539.6068138036374, 1472.7359081998998)\n", - "0\n", - "-600.0\n", - "((-5, 1, 0, 1), (-3, 0, 0, 1), (-1, 1, 0, 0))\n", - "(-1558.438185330975, -1060.3931861963626, 27.87552853385955)\n", + "((5, 0, -1, -1), (4, -1, -1, 0), (2, -1, -1, 1))\n", + "(-1000.0, -733.1290943962624, -31.17409353087487)\n", "2\n", - "1600.0\n", - "((-5, 1, 0, 1), (-3, 0, 0, 1), (-6, 1, 1, 1))\n", - "(-1458.438185330975, -960.3931861963626, 8.432720272762253)\n", + "700.0\n", + "((5, 0, -1, -1), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-1629.2190926654873, -633.1290943962624, 68.82590646912513)\n", "2\n", "-100.0\n", - "((-5, 1, 0, 1), (-3, 0, 0, 1), (-5, 0, 0, 2))\n", - "(-758.4381853309751, 6.477719407374707, 708.4327202727623)\n", - "1\n", - "-700.0\n", - "((-5, 1, 0, 1), (-4, -1, 0, 2), (-5, 0, 0, 2))\n", - "(4.522718541987388, 706.4777194073747, 1408.4327202727623)\n", + "((0, 1, -1, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-31.17409353087487, 466.8709056037376, 1168.8259064691251)\n", "0\n", - "-700.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-5, 0, 0, 2))\n", - "(-795.4772814580126, 18.209004677152734, 608.4327202727623)\n", - "1\n", - "800.0\n", - "((-3, -2, 0, 2), (0, -2, -1, 2), (-5, 0, 0, 2))\n", - "(-695.4772814580126, 6.47771940737465, 708.4327202727623)\n", + "-1100.0\n", + "((2, 0, -1, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", + "(-731.1740935308749, -29.219092665487324, 468.82590646912513)\n", "1\n", - "-100.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-5, 0, 0, 2))\n", - "(-1195.4772814580126, -493.52228059262535, 4.52271854198716)\n", - "2\n", - "500.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-2, -2, 0, 2))\n", - "(-1095.4772814580126, -393.52228059262535, -7.208566727790583)\n", - "2\n", - "-100.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-6, -1, 1, 2))\n", - "(8.432720272762367, 506.47771940737465, 892.7914332722094)\n", - "0\n", - "-900.0\n", - "((-6, 0, 0, 2), (-4, -1, 0, 2), (-6, -1, 1, 2))\n", - "(20.164005542540167, 406.47771940737465, 792.7914332722094)\n", - "0\n", - "100.0\n", - "((-2, -1, -1, 2), (-4, -1, 0, 2), (-6, -1, 1, 2))\n", - "(8.432720272762367, 506.47771940737465, 892.7914332722094)\n", + "700.0\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (3, 0, -1, 0))\n", + "(68.82590646912513, 770.7809073345127, 1970.7809073345127)\n", "0\n", - "-100.0\n", - "((-6, 0, 0, 2), (-4, -1, 0, 2), (-6, -1, 1, 2))\n", - "(-291.56727972723763, -60.39318619636276, 592.7914332722094)\n", + "-800.0\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (2, 1, -1, 0))\n", + "(-1431.1740935308749, -729.2190926654873, 0.0)\n", + "2\n", + "1500.0\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (6, 0, -1, -1))\n", + "(-831.1740935308749, -17.48780739570975, 600.0)\n", "1\n", - "300.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-6, -1, 1, 2))\n", - "(-1191.5672797272377, -960.3931861963628, 8.432720272762253)\n", + "-600.0\n", + "((2, 0, -1, 0), (5, 0, -2, 0), (6, 0, -1, -1))\n", + "(-731.1740935308749, -29.219092665487267, 700.0)\n", + "1\n", + "-100.0\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (6, 0, -1, -1))\n", + "(-1631.1740935308749, -929.2190926654873, 39.606813803637806)\n", "2\n", "900.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-5, 0, 0, 2))\n", - "(-191.56727972723775, 39.60681380363724, 1625.920527668472)\n", - "1\n", - "-1000.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-4, 0, 1, 1))\n", - "(-1391.5672797272377, -1160.3931861963629, 39.606813803637124)\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (-1, 1, -1, 1))\n", + "(-1431.1740935308749, -729.2190926654873, 0.0)\n", "2\n", - "1200.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-2, 0, 0, 1))\n", - "(53.2930999388027, 439.6068138036371, 1639.6068138036371)\n", - "0\n", - "-1600.0\n", - "((-1, 0, -1, 1), (-3, 0, 0, 1), (-2, 0, 0, 1))\n", - "(-646.7069000611973, -29.21909266548778, 939.6068138036371)\n", + "-200.0\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (6, 0, -1, -1))\n", + "(-531.1740935308749, -33.12909439626242, 900.0)\n", "1\n", - "700.0\n", - "((-1, 0, -1, 1), (0, 0, 0, 0), (-2, 0, 0, 1))\n", - "(-42.905378800652784, 770.7809073345122, 1739.6068138036371)\n", + "-900.0\n", + "((2, 0, -1, 0), (4, -1, -1, 0), (6, 0, -1, -1))\n", + "(-431.17409353087487, 31.17409353087494, 1000.0)\n", + "1\n", + "-100.0\n", + "((2, 0, -1, 0), (8, 0, -1, -2), (6, 0, -1, -1))\n", + "(-31.17409353087487, 431.1740935308749, 2129.2190926654876)\n", "0\n", - "-800.0\n", - "((-3, 0, 1, 0), (0, 0, 0, 0), (-2, 0, 0, 1))\n", - "(-1542.9053788006527, -729.2190926654878, -27.264091800100232)\n", + "-400.0\n", + "((2, 0, -1, 0), (8, 0, -1, -2), (11, -1, -1, -2))\n", + "(-1531.1740935308749, -1068.8259064691251, 55.139620333959556)\n", "2\n", "1500.0\n", - "((-3, 0, 1, 0), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(-1042.9053788006527, -25.309090934712913, 472.73590819989977)\n", + "((2, 0, -1, 0), (8, 0, -1, -2), (1, 0, 0, 0))\n", + "(-1131.1740935308749, -668.8259064691251, 33.12909439626253)\n", + "2\n", + "-400.0\n", + "((2, 0, -1, 0), (8, 0, -1, -2), (7, 1, -1, -2))\n", + "(-731.1740935308749, -29.219092665487324, 433.12909439626253)\n", "1\n", - "-500.0\n", - "((-3, 0, 1, 0), (-3, 2, 0, 0), (-1, 1, 0, 0))\n", - "(-27.264091800100005, 674.6909090652871, 1172.7359081998998)\n", + "-400.0\n", + "((2, 0, -1, 0), (1, 1, -1, 0), (7, 1, -1, -2))\n", + "(-27.264091800100005, 470.7809073345127, 933.1290943962625)\n", "0\n", - "-700.0\n", - "((-2, 1, 0, 0), (-3, 2, 0, 0), (-1, 1, 0, 0))\n", - "(-527.2640918001, -29.21909266548778, 672.7359081998998)\n", + "-500.0\n", + "((-1, 2, -1, 0), (1, 1, -1, 0), (7, 1, -1, -2))\n", + "(-727.2640918001, 1.955000865387774, 233.12909439626253)\n", "1\n", - "500.0\n", - "((-2, 1, 0, 0), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(39.606813803637465, 270.7809073345122, 972.7359081998998)\n", - "0\n", - "-300.0\n", - "((-3, 0, 0, 1), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(-1060.3931861963624, -829.2190926654878, -15.532806530322432)\n", + "700.0\n", + "((-1, 2, -1, 0), (4, 1, -1, -1), (7, 1, -1, -2))\n", + "(-1427.2640918001, -698.0449991346122, 3.910001730774411)\n", "2\n", - "1100.0\n", - "((-3, 0, 0, 1), (0, 0, 0, 0), (3, 0, -1, 0))\n", - "(-27.264091800099777, 470.7809073345122, 1284.4671934696776)\n", + "700.0\n", + "((-1, 2, -1, 0), (4, 1, -1, -1), (3, 2, -1, -1))\n", + "(103.91000173077487, 601.9550008653878, 1303.9100017307744)\n", "0\n", "-1300.0\n", - "((-2, 1, 0, 0), (0, 0, 0, 0), (3, 0, -1, 0))\n", - "(-627.2640918000998, -17.48780739570998, 684.4671934696776)\n", - "1\n", - "600.0\n", - "((-2, 1, 0, 0), (4, -1, -1, 0), (3, 0, -1, 0))\n", - "(-227.26409180009978, 3.9100017307746384, 1084.4671934696776)\n", - "1\n", - "-400.0\n", - "((-2, 1, 0, 0), (1, 1, 0, -1), (3, 0, -1, 0))\n", - "(-1427.2640918000998, -1196.0899982692254, 3.9100017307746384)\n", - "2\n", - "1200.0\n", - "((-2, 1, 0, 0), (1, 1, 0, -1), (2, 1, 0, -1))\n", - "(-127.26409180009978, 370.7809073345122, 1303.9100017307746)\n", + "((2, 2, -1, -1), (4, 1, -1, -1), (3, 2, -1, -1))\n", + "(1.7053025658242404e-13, 701.9550008653878, 1403.9100017307744)\n", "0\n", - "-1300.0\n", - "((-2, 1, 0, 0), (0, 0, 0, 0), (2, 1, 0, -1))\n", - "(-1227.2640918000998, -729.2190926654878, -27.264091800100232)\n", + "-100.0\n", + "((5, 0, -1, -1), (4, 1, -1, -1), (3, 2, -1, -1))\n", + "(-499.99999999999983, -1.9550008653875466, 903.9100017307744)\n", + "1\n", + "500.0\n", + "((5, 0, -1, -1), (7, -1, -1, -1), (3, 2, -1, -1))\n", + "(-1199.9999999999998, -701.9550008653875, -2.2737367544323206e-13)\n", "2\n", - "1100.0\n", - "((-2, 1, 0, 0), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(41.561814669025125, 770.7809073345122, 1472.7359081998998)\n", - "0\n", - "-1500.0\n", - "((-5, 1, 0, 1), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(-1258.4381853309749, -529.2190926654878, -31.174093530875325)\n", + "700.0\n", + "((5, 0, -1, -1), (7, -1, -1, -1), (6, 0, -1, -1))\n", + "(-999.9999999999998, -501.95500086538755, -3.910001730775093)\n", "2\n", - "1300.0\n", - "((-5, 1, 0, 1), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(-958.4381853309749, 37.65181293824952, 268.8259064691247)\n", - "1\n", - "-300.0\n", - "((-5, 1, 0, 1), (-1, -1, 0, 1), (2, -1, 0, 0))\n", - "(-758.4381853309749, -29.21909266548778, 468.8259064691247)\n", - "1\n", "-200.0\n", - "((-5, 1, 0, 1), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(-558.4381853309749, -33.12909439626273, 668.8259064691247)\n", + "((5, 0, -1, -1), (7, -1, -1, -1), (9, -2, -1, -1))\n", + "(-599.9999999999998, 9.776284404390367, 396.0899982692249)\n", "1\n", - "-200.0\n", - "((-5, 1, 0, 1), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-44.86037966603993, 66.87090560373727, 768.8259064691247)\n", - "0\n", - "-100.0\n", - "((-1, -1, 1, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1144.86037966604, -1033.1290943962626, -64.30318792713797)\n", + "-400.0\n", + "((5, 0, -1, -1), (11, -2, -2, -1), (9, -2, -1, -1))\n", + "(-1299.9999999999998, -690.2237155956096, 11.731285269777572)\n", "2\n", - "1100.0\n", - "((-1, -1, 1, 0), (3, -2, 0, 0), (1, -2, 0, 1))\n", - "(-1244.86037966604, -746.8153805314276, -164.30318792713797)\n", + "700.0\n", + "((5, 0, -1, -1), (11, -2, -2, -1), (10, -1, -2, -1))\n", + "(-1399.9999999999998, -790.2237155956096, 23.462570539555372)\n", "2\n", "100.0\n", - "((-1, -1, 1, 0), (1, -2, 1, 0), (1, -2, 0, 1))\n", - "(-1460.5016666665927, -646.8153805314276, -64.30318792713797)\n", - "2\n", - "-100.0\n", - "((-2, -2, 2, 0), (1, -2, 1, 0), (1, -2, 0, 1))\n", - "(-48.770381396814855, 653.1846194685724, 1235.696812072862)\n", - "0\n", - "-1300.0\n", - "((2, -3, 1, 0), (1, -2, 1, 0), (1, -2, 0, 1))\n", - "(4.522718541987501, 853.1846194685724, 1435.696812072862)\n", + "((5, 0, -1, -1), (11, -2, -2, -1), (14, -2, -3, -1))\n", + "(-3.9100017307746384, 809.7762844043904, 1623.4625705395554)\n", "0\n", - "-200.0\n", - "((-3, -2, 0, 2), (1, -2, 1, 0), (1, -2, 0, 1))\n", - "(-1395.4772814580124, -581.7909953228473, 35.69681207286203)\n", + "-1600.0\n", + "((8, -2, -1, -1), (11, -2, -2, -1), (14, -2, -3, -1))\n", + "(-1503.9100017307746, -690.2237155956096, 11.731285269777572)\n", "2\n", - "1400.0\n", - "((-3, -2, 0, 2), (0, -2, -1, 2), (1, -2, 0, 1))\n", - "(-795.4772814580124, 18.209004677152734, 790.8364324068222)\n", - "1\n", - "-600.0\n", - "((-3, -2, 0, 2), (0, -2, -1, 2), (-4, -2, 1, 2))\n", - "(-895.4772814580124, -11.118568458565164, 690.8364324068222)\n", + "1500.0\n", + "((8, -2, -1, -1), (11, -2, -2, -1), (10, -1, -2, -1))\n", + "(25.41757140494292, 909.7762844043904, 1611.7312852697776)\n", + "0\n", + "-1600.0\n", + "((11, -1, -3, -1), (11, -2, -2, -1), (10, -1, -2, -1))\n", + "(-474.5824285950571, 23.462570539555486, 1111.7312852697776)\n", "1\n", + "500.0\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (10, -1, -2, -1))\n", + "(-1474.582428595057, -976.5374294604445, -7.711522991319725)\n", + "2\n", + "1000.0\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (11, -2, -3, 0))\n", + "(-1574.582428595057, -1076.5374294604444, 11.731285269777572)\n", + "2\n", "100.0\n", - "((-3, -2, 0, 2), (-3, -3, 1, 2), (-4, -2, 1, 2))\n", - "(-795.4772814580124, 18.209004677152734, 790.8364324068222)\n", - "1\n", - "-100.0\n", - "((-3, -2, 0, 2), (0, -2, -1, 2), (-4, -2, 1, 2))\n", - "(-1395.4772814580124, -581.7909953228473, 35.69681207286203)\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (10, -1, -2, -1))\n", + "(-1474.582428595057, -976.5374294604444, -7.711522991319725)\n", "2\n", - "600.0\n", - "((-3, -2, 0, 2), (0, -2, -1, 2), (1, -2, 0, 1))\n", - "(-1195.4772814580124, -381.79099532284727, 4.522718541986933)\n", + "-100.0\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (11, -2, -3, 0))\n", + "(-1274.582428595057, -776.5374294604444, 37.148856674720605)\n", "2\n", "-200.0\n", - "((-3, -2, 0, 2), (0, -2, -1, 2), (-2, -2, 0, 2))\n", - "(-695.4772814580124, 6.47771940737465, 504.52271854198693)\n", - "1\n", - "-500.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-2, -2, 0, 2))\n", - "(-1095.4772814580124, -393.52228059262535, -7.20856672779081)\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (16, -2, -4, -1))\n", + "(-1174.582428595057, -676.5374294604444, 25.417571404942578)\n", "2\n", - "400.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-6, -1, 1, 2))\n", - "(-895.4772814580124, -193.52228059262535, 37.65181293824941)\n", + "-100.0\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (12, -1, -3, -1))\n", + "(-974.5824285950571, -476.5374294604444, -5.7565221259322925)\n", "2\n", "-200.0\n", - "((-3, -2, 0, 2), (-4, -1, 0, 2), (-1, -1, 0, 1))\n", - "(20.164005542540394, 406.47771940737465, 637.6518129382493)\n", - "0\n", - "-600.0\n", - "((-2, -1, -1, 2), (-4, -1, 0, 2), (-1, -1, 0, 1))\n", - "(39.60681380363769, 306.47771940737465, 537.6518129382493)\n", - "0\n", - "100.0\n", - "((-3, 0, 0, 1), (-4, -1, 0, 2), (-1, -1, 0, 1))\n", - "(20.164005542540394, 406.47771940737465, 637.6518129382493)\n", - "0\n", - "-100.0\n", - "((-2, -1, -1, 2), (-4, -1, 0, 2), (-1, -1, 0, 1))\n", - "(-379.8359944574596, 6.47771940737465, 1206.4777194073745)\n", - "1\n", - "400.0\n", - "((-2, -1, -1, 2), (-4, -1, 0, 2), (-3, -1, 0, 2))\n", - "(-179.8359944574596, -24.696374123500362, 1406.4777194073745)\n", + "((11, -1, -3, -1), (13, -2, -3, -1), (9, -1, -3, 0))\n", + "(-974.5824285950571, -160.89614245989185, -5.7565221259322925)\n", "1\n", - "-200.0\n", - "((-2, -1, -1, 2), (-7, -1, 0, 3), (-3, -1, 0, 2))\n", - "(8.432720272762595, 275.3036258764996, 1706.4777194073745)\n", + "0.0\n", + "((11, -1, -3, -1), (14, -1, -4, -1), (9, -1, -3, 0))\n", + "(-7.711522991319498, 539.1038575401082, 694.2434778740677)\n", "0\n", - "-300.0\n", - "((-6, 0, 0, 2), (-7, -1, 0, 3), (-3, -1, 0, 2))\n", - "(-191.5672797272374, 39.60681380363721, 1506.4777194073745)\n", + "-700.0\n", + "((10, -2, -3, 0), (14, -1, -4, -1), (9, -1, -3, 0))\n", + "(-458.9411415945043, 39.10385754010815, 194.2434778740677)\n", "1\n", - "200.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-3, -1, 0, 2))\n", - "(8.432720272762595, 120.16400554253991, 1706.4777194073745)\n", + "500.0\n", + "((12, 0, -4, -1), (14, -1, -4, -1), (9, -1, -3, 0))\n", + "(-258.9411415945043, 7.92976400923331, 394.2434778740677)\n", "1\n", "-200.0\n", - "((-6, 0, 0, 2), (-2, -1, -1, 2), (-3, -1, 0, 2))\n", - "(-91.5672797272374, 20.16400554253991, 1810.3877211381493)\n", - "0\n", - "100.0\n", - "((-6, 0, 0, 2), (-2, -1, -1, 2), (-6, 1, 0, 2))\n", - "(-1191.5672797272373, -1079.8359944574602, -111.01008798833539)\n", + "((12, 0, -4, -1), (11, -1, -4, 0), (9, -1, -3, 0))\n", + "(-1158.9411415945042, -892.0702359907667, -78.38394985560194)\n", "2\n", - "1100.0\n", - "((-6, 0, 0, 2), (-2, -1, -1, 2), (-4, -1, -1, 3))\n", - "(8.432720272762708, 239.60681380363712, 1088.9899120116647)\n", - "0\n", - "-1200.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-4, -1, -1, 3))\n", - "(-1291.5672797272373, -1060.3931861963629, -91.56727972723797)\n", + "900.0\n", + "((12, 0, -4, -1), (11, -1, -4, 0), (14, -1, -5, 0))\n", + "(-1258.9411415945042, -992.0702359907667, -23.244329521642157)\n", "2\n", - "1300.0\n", - "((-6, 0, 0, 2), (-3, 0, 0, 1), (-5, 0, 0, 2))\n", - "(-22.74137325811239, 439.6068138036371, 1408.432720272762)\n", - "0\n", - "-1500.0\n", - "((-9, 0, 0, 3), (-3, 0, 0, 1), (-5, 0, 0, 2))\n", - "(77.25862674188761, 539.6068138036371, 2553.2930999388027)\n", - "0\n", - "-100.0\n", - "((-9, 0, 0, 3), (-3, 0, 0, 1), (1, 0, -1, 1))\n", - "(37.65181293825026, 739.6068138036371, 2753.2930999388027)\n", - "0\n", - "-200.0\n", - "((-2, -1, 0, 1), (-3, 0, 0, 1), (1, 0, -1, 1))\n", - "(-962.3481870617497, 6.4777194073744795, 1753.2930999388027)\n", - "1\n", - "1000.0\n", - "((-2, -1, 0, 1), (-4, -1, 0, 2), (1, 0, -1, 1))\n", - "(-1062.3481870617497, 66.97938607396765, 1653.2930999388027)\n", - "1\n", "100.0\n", - "((-2, -1, 0, 1), (2, 0, -2, 1), (1, 0, -1, 1))\n", - "(-1962.3481870617497, -833.0206139260324, -19.33432779086729)\n", + "((12, 0, -4, -1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-123.2443295216417, 107.92976400923328, 1076.7556704783578)\n", + "0\n", + "-1100.0\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-1423.2443295216417, -1192.0702359907668, 7.92976400923294)\n", "2\n", - "900.0\n", - "((-2, -1, 0, 1), (2, 0, -2, 1), (5, 0, -3, 1))\n", - "(-2162.3481870617497, -1033.0206139260324, 6.477719407374707)\n", + "1300.0\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (12, -1, -4, 0))\n", + "(-1623.2443295216417, -1392.0702359907668, -36.93061565680728)\n", "2\n", "200.0\n", - "((-2, -1, 0, 1), (2, 0, -2, 1), (-3, -1, 0, 2))\n", - "(-2262.3481870617497, -795.4772814580131, -93.5222805926253)\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (7, -1, -3, 1))\n", + "(-1723.2443295216417, -1492.0702359907668, -25.199330387029477)\n", "2\n", "100.0\n", - "((-2, -1, 0, 1), (-2, -2, 0, 2), (-3, -1, 0, 2))\n", - "(-1862.3481870617497, -395.47728145801307, -9.163567593177731)\n", - "2\n", - "-400.0\n", - "((-2, -1, 0, 1), (-2, -2, 0, 2), (-4, -2, 1, 2))\n", - "(35.69681207286271, 1004.5227185419869, 1390.8364324068223)\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (11, -2, -4, 1))\n", + "(76.7556704783583, 307.92976400923317, 1663.0693843431927)\n", "0\n", - "-1400.0\n", - "((0, -2, 0, 1), (-2, -2, 0, 2), (-4, -2, 1, 2))\n", - "(-64.30318792713729, 904.5227185419869, 1366.8709056037374)\n", - "0\n", - "100.0\n", - "((0, -2, 0, 1), (-2, -2, 0, 2), (4, -2, 0, 0))\n", - "(-764.3031879271373, -35.08409526165019, 666.8709056037374)\n", - "1\n", - "700.0\n", - "((0, -2, 0, 1), (5, -3, 0, 0), (4, -2, 0, 0))\n", - "(-964.3031879271373, 4.52271854198699, 466.87090560373736)\n", + "-1800.0\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (7, -1, -3, 1))\n", + "(-1323.2443295216417, -1092.0702359907668, -123.24432952164216)\n", + "2\n", + "1400.0\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-523.2443295216417, -25.19933038702925, 676.7556704783578)\n", "1\n", - "200.0\n", - "((0, -2, 0, 1), (-2, -2, 0, 2), (4, -2, 0, 0))\n", - "(-1064.3031879271373, -19.44280826109747, 366.87090560373736)\n", + "-800.0\n", + "((8, -1, -4, 1), (10, -2, -4, 1), (9, -1, -4, 1))\n", + "(-623.2443295216417, 78.71067134374539, 576.7556704783578)\n", "1\n", "100.0\n", - "((0, -2, 0, 1), (6, -2, -1, 0), (4, -2, 0, 0))\n", - "(-664.3031879271373, 37.65181293824946, 766.8709056037374)\n", + "((8, -1, -4, 1), (7, 0, -4, 1), (9, -1, -4, 1))\n", + "(-523.2443295216417, -25.19933038702925, 676.7556704783578)\n", "1\n", - "-400.0\n", - "((0, -2, 0, 1), (-1, -1, 0, 1), (4, -2, 0, 0))\n", - "(51.338099073415606, 437.65181293824946, 1166.8709056037374)\n", - "0\n", - "-400.0\n", - "((1, -1, -1, 1), (-1, -1, 0, 1), (4, -2, 0, 0))\n", - "(-1.9550008653869781, 237.65181293824946, 966.8709056037374)\n", - "0\n", - "200.0\n", - "((6, -2, 0, -1), (-1, -1, 0, 1), (4, -2, 0, 0))\n", - "(53.18461946857295, 137.65181293824946, 866.8709056037374)\n", - "0\n", - "100.0\n", - "((1, -2, 1, 0), (-1, -1, 0, 1), (4, -2, 0, 0))\n", - "(-1146.815380531427, -1062.3481870617507, -93.5222805926253)\n", + "-100.0\n", + "((8, -1, -4, 1), (10, -2, -4, 1), (9, -1, -4, 1))\n", + "(-423.2443295216417, -36.93061565680733, 776.7556704783578)\n", + "1\n", + "-100.0\n", + "((8, -1, -4, 1), (6, -1, -3, 1), (9, -1, -4, 1))\n", + "(-1723.2443295216417, -1336.9306156568073, -25.199330387029477)\n", "2\n", - "1200.0\n", - "((1, -2, 1, 0), (-1, -1, 0, 1), (-3, -1, 0, 2))\n", - "(-946.8153805314271, -862.3481870617507, 22.010525937697366)\n", + "1300.0\n", + "((8, -1, -4, 1), (6, -1, -3, 1), (11, -2, -4, 1))\n", + "(-1523.2443295216417, -1136.9306156568073, 63.06938434319272)\n", "2\n", "-200.0\n", - "((1, -2, 1, 0), (-1, -1, 0, 1), (-1, -2, 1, 1))\n", - "(-846.8153805314271, -762.3481870617507, -33.129094396262644)\n", + "((8, -1, -4, 1), (6, -1, -3, 1), (7, -1, -3, 1))\n", + "(-1423.2443295216417, -1036.9306156568073, 7.92976400923294)\n", "2\n", "-100.0\n", - "((1, -2, 1, 0), (-1, -1, 0, 1), (4, -2, 0, 0))\n", - "(39.606813803637806, 537.6518129382493, 1266.8709056037374)\n", - "0\n", - "-1300.0\n", - "((-3, 0, 0, 1), (-1, -1, 0, 1), (4, -2, 0, 0))\n", - "(-960.3931861963622, -462.34818706175065, 8.43272027276214)\n", + "((8, -1, -4, 1), (6, -1, -3, 1), (12, -1, -4, 0))\n", + "(-523.2443295216417, -25.19933038702925, 907.9297640092329)\n", + "1\n", + "-900.0\n", + "((8, -1, -4, 1), (10, -2, -4, 1), (12, -1, -4, 0))\n", + "(-1123.2443295216417, -625.1993303870292, 76.75567047835784)\n", "2\n", - "1000.0\n", - "((-3, 0, 0, 1), (-1, -1, 0, 1), (-5, 0, 0, 2))\n", - "(-860.3931861963622, -46.7069000611977, 108.43272027276214)\n", + "600.0\n", + "((8, -1, -4, 1), (10, -2, -4, 1), (9, -1, -4, 1))\n", + "(-423.2443295216417, -36.93061565680728, 776.7556704783578)\n", "1\n", - "-100.0\n", - "((-3, 0, 0, 1), (0, 0, -1, 1), (-5, 0, 0, 2))\n", - "(-660.3931861963622, 41.56181466902444, 308.43272027276214)\n", + "-700.0\n", + "((8, -1, -4, 1), (6, -1, -3, 1), (9, -1, -4, 1))\n", + "(-223.2443295216417, 7.929764009233253, 976.7556704783578)\n", "1\n", "-200.0\n", - "((-3, 0, 0, 1), (-4, 1, 0, 1), (-5, 0, 0, 2))\n", - "(-560.3931861963622, 22.11900640792726, 408.43272027276214)\n", - "1\n", - "-100.0\n", - "((-3, 0, 0, 1), (-3, 0, -1, 2), (-5, 0, 0, 2))\n", - "(-260.3931861963622, -29.21909266548795, 708.4327202727621)\n", - "1\n", - "-300.0\n", - "((-3, 0, 0, 1), (0, 0, 0, 0), (-5, 0, 0, 2))\n", - "(-205.2535658624024, -129.21909266548795, 608.4327202727621)\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-23.244329521641703, 474.80066961297086, 1176.7556704783578)\n", "0\n", + "-200.0\n", + "((8, -1, -4, 1), (10, -2, -4, 1), (9, -1, -4, 1))\n", + "(-123.2443295216417, 107.92976400923328, 1076.7556704783578)\n", + "1\n", "100.0\n", - "((-8, 0, 1, 2), (0, 0, 0, 0), (-5, 0, 0, 2))\n", - "(-5.253565862402411, 70.78090733451205, 1039.6068138036371)\n", - "0\n", + "((8, -1, -4, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-736.930615656807, 307.9297640092333, 1276.7556704783578)\n", + "1\n", "-200.0\n", - "((-8, 0, 1, 2), (0, 0, 0, 0), (-2, 0, 0, 1))\n", - "(-60.393186196362194, 170.78090733451205, 1139.6068138036371)\n", - "0\n", - "-100.0\n", - "((-3, 0, 0, 1), (0, 0, 0, 0), (-2, 0, 0, 1))\n", - "(8.432720272762708, 470.78090733451205, 1439.6068138036371)\n", + "((5, -1, -3, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-9.558043386476527, 607.9297640092333, 1576.7556704783578)\n", "0\n", "-300.0\n", - "((-6, 0, 0, 2), (0, 0, 0, 0), (-2, 0, 0, 1))\n", - "(-2129.219092665487, -929.219092665488, 39.606813803637124)\n", + "((10, -1, -5, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-1709.5580433864766, -1092.0702359907668, -11.513044251864358)\n", "2\n", - "1400.0\n", - "((-1, 0, 0, 0), (0, 0, 0, 0), (-2, 0, 0, 1))\n", - "(-1929.219092665487, -729.219092665488, -27.264091800100346)\n", + "1700.0\n", + "((10, -1, -5, 1), (11, -1, -4, 0), (13, -2, -5, 1))\n", + "(-1509.5580433864766, -892.0702359907668, 76.75567047835784)\n", "2\n", "-200.0\n", - "((-1, 0, 0, 0), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(-1429.219092665487, -25.30909093471314, 472.73590819989965)\n", + "((10, -1, -5, 1), (11, -1, -4, 0), (9, -1, -4, 1))\n", + "(-809.5580433864766, 4.128242748688194, 776.7556704783578)\n", "1\n", - "-500.0\n", - "((-1, 0, 0, 0), (-3, 2, 0, 0), (-1, 1, 0, 0))\n", - "(-1229.219092665487, -29.219092665487977, 672.7359081998997)\n", + "-700.0\n", + "((10, -1, -5, 1), (13, -1, -6, 1), (9, -1, -4, 1))\n", + "(-909.5580433864766, -25.199330387029306, 676.7556704783578)\n", "1\n", - "-200.0\n", - "((-1, 0, 0, 0), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(3.9100017307753205, 270.780907334512, 972.7359081998997)\n", - "0\n", - "-300.0\n", - "((1, 1, 0, -1), (0, 0, 0, 0), (-1, 1, 0, 0))\n", - "(-796.0899982692247, -529.219092665488, -31.174093530875325)\n", - "2\n", - "800.0\n", - "((1, 1, 0, -1), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(4.547473508864641e-13, 470.780907334512, 968.8259064691247)\n", + "100.0\n", + "((10, -1, -5, 1), (10, -2, -4, 1), (9, -1, -4, 1))\n", + "(-11.513044251864017, 374.8006696129707, 1076.7556704783578)\n", "0\n", - "-1000.0\n", - "((4, -1, 0, -1), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(-927.2640918000997, -429.219092665488, 68.82590646912467)\n", - "2\n", - "900.0\n", - "((-2, 1, 0, 0), (0, 0, 0, 0), (2, -1, 0, 0))\n", - "(-327.26409180009966, -33.129094396262985, 668.8259064691247)\n", + "-400.0\n", + "((12, -2, -5, 1), (10, -2, -4, 1), (9, -1, -4, 1))\n", + "(-611.513044251864, -21.28932865625461, 476.75567047835784)\n", "1\n", - "-600.0\n", - "((-2, 1, 0, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1435.0840952616495, -733.129094396263, -31.174093530875325)\n", + "600.0\n", + "((12, -2, -5, 1), (7, 0, -4, 1), (9, -1, -4, 1))\n", + "(-811.513044251864, -221.2893286562546, 2.173241883300534)\n", "2\n", - "700.0\n", - "((4, -3, 0, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1631.1740935308749, 66.87090560373701, 768.8259064691247)\n", + "200.0\n", + "((12, -2, -5, 1), (7, 0, -4, 1), (15, -2, -6, 1))\n", + "(-811.513044251864, -109.55804338647692, 2.173241883300534)\n", "1\n", - "-800.0\n", - "((0, -1, 0, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-235.08409526164962, 466.870905603737, 1168.8259064691247)\n", + "0.0\n", + "((12, -2, -5, 1), (11, -1, -5, 1), (15, -2, -6, 1))\n", + "(-911.513044251864, -209.55804338647692, 288.48695574813564)\n", + "1\n", + "100.0\n", + "((12, -2, -5, 1), (11, -1, -5, 1), (13, -2, -5, 1))\n", + "(-711.513044251864, -9.558043386476925, 102.17324188330053)\n", + "2\n", + "-200.0\n", + "((12, -2, -5, 1), (11, -1, -5, 1), (15, -2, -6, 1))\n", + "(33.34733541417609, 890.4419566135231, 1002.1732418833005)\n", "0\n", - "-400.0\n", - "((4, -3, 0, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1464.3031879271375, -33.129094396262985, 668.8259064691247)\n", + "-900.0\n", + "((17, -2, -6, 0), (11, -1, -5, 1), (15, -2, -6, 1))\n", + "(-666.6526645858239, 35.302336279563406, 302.17324188330053)\n", "1\n", - "500.0\n", - "((-1, -2, 0, 1), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(68.82590646912513, 566.870905603737, 1268.8259064691247)\n", + "700.0\n", + "((17, -2, -6, 0), (16, -1, -6, 0), (15, -2, -6, 1))\n", + "(-33.52357018956138, 935.3023362795634, 1202.1732418833005)\n", "0\n", - "-600.0\n", - "((1, -1, 0, 0), (3, -2, 0, 0), (2, -1, 0, 0))\n", - "(-1331.1740935308749, -833.129094396263, -19.442808261097525)\n", + "-900.0\n", + "((18, -1, -6, -1), (16, -1, -6, 0), (15, -2, -6, 1))\n", + "(-1233.5235701895613, -966.6526645858243, 2.173241883300534)\n", "2\n", - "1400.0\n", - "((1, -1, 0, 0), (3, -2, 0, 0), (6, -2, -1, 0))\n", - "(-1531.1740935308749, -1033.129094396263, -64.30318792713797)\n", + "1200.0\n", + "((18, -1, -6, -1), (17, -2, -6, 0), (15, -2, -6, 1))\n", + "(-1433.5235701895613, -1166.6526645858244, -2.3494766586868536)\n", "2\n", "200.0\n", - "((1, -1, 0, 0), (3, -2, 0, 0), (1, -2, 0, 1))\n", - "(-1631.1740935308749, -1133.129094396263, -44.86037966604056)\n", + "((18, -1, -6, -1), (17, -2, -6, 0), (22, -1, -6, -2))\n", + "(-1333.5235701895613, -947.2098563247268, 97.65052334131315)\n", + "2\n", + "-100.0\n", + "((18, -1, -6, -1), (16, -1, -5, -1), (22, -1, -6, -2))\n", + "(-1333.5235701895613, -133.52357018956184, 97.65052334131315)\n", + "1\n", + "0.0\n", + "((18, -1, -6, -1), (19, -1, -6, -1), (22, -1, -6, -2))\n", + "(-1800.3944757932989, -333.52357018956184, -102.34947665868685)\n", "2\n", - "100.0\n", - "((1, -1, 0, 0), (3, -2, 0, 0), (0, -1, 1, 0))\n", - "(-31.17409353087487, 466.8709056037369, 964.9159047383497)\n", - "0\n", - "-1600.0\n", - "((1, -1, 0, 0), (3, -2, 0, 0), (5, -3, 0, 0))\n", - "(35.696812072862485, 266.8709056037369, 764.9159047383497)\n", - "0\n", "200.0\n", - "((0, -2, 0, 1), (3, -2, 0, 0), (5, -3, 0, 0))\n", - "(-1164.3031879271375, -933.1290943962631, 35.69681207286203)\n", + "((19, 0, -6, -2), (19, -1, -6, -1), (22, -1, -6, -2))\n", + "(-1900.3944757932989, -433.52357018956184, 1.5605250720882395)\n", "2\n", - "1200.0\n", - "((0, -2, 0, 1), (3, -2, 0, 0), (1, -2, 0, 1))\n", - "(-364.3031879271375, 22.01052593769691, 835.696812072862)\n", + "100.0\n", + "((19, 0, -6, -2), (19, -1, -6, -1), (19, 1, -6, -2))\n", + "(-1400.3944757932989, 3.5155259374756724, 501.56052507208824)\n", "1\n", - "-800.0\n", - "((0, -2, 0, 1), (-2, -2, 1, 1), (1, -2, 0, 1))\n", - "(-564.3031879271375, 137.65181293824912, 635.696812072862)\n", + "-500.0\n", + "((19, 0, -6, -2), (17, 2, -6, -2), (19, 1, -6, -2))\n", + "(-1798.4394749279113, 103.51552593747567, 601.5605250720882)\n", "1\n", - "200.0\n", - "((0, -2, 0, 1), (-1, -1, 0, 1), (1, -2, 0, 1))\n", - "(-433.1290943962623, 37.65181293824912, 535.696812072862)\n", + "-100.0\n", + "((17, 1, -6, -2), (17, 2, -6, -2), (19, 1, -6, -2))\n", + "(-1498.4394749279113, 87.87423893692312, 901.5605250720882)\n", "1\n", - "100.0\n", - "((3, -2, 0, 0), (-1, -1, 0, 1), (1, -2, 0, 1))\n", - "(-1433.1290943962622, -962.3481870617509, -1.9550008653876603)\n", + "-300.0\n", + "((17, 1, -6, -2), (16, 1, -5, -2), (19, 1, -6, -2))\n", + "(-2198.4394749279113, -612.1257610630769, -29.613568458786858)\n", + "2\n", + "700.0\n", + "((17, 1, -6, -2), (16, 1, -5, -2), (16, 1, -6, -1))\n", + "(-2598.4394749279113, -1012.1257610630769, 32.73461860296334)\n", + "2\n", + "400.0\n", + "((17, 1, -6, -2), (16, 1, -5, -2), (22, 1, -6, -3))\n", + "(-2798.4394749279113, -1212.1257610630769, -12.125761063077107)\n", "2\n", - "1000.0\n", - "((3, -2, 0, 0), (-1, -1, 0, 1), (7, -2, 0, -1))\n", - "(-233.1290943962622, -1.9550008653880013, 1198.0449991346122)\n", - "1\n", - "-1200.0\n", - "((3, -2, 0, 0), (6, -2, 0, -1), (7, -2, 0, -1))\n", - "(-103.91000173077452, 598.044999134612, 1798.0449991346122)\n", - "0\n", - "-600.0\n", - "((7, -3, 0, -1), (6, -2, 0, -1), (7, -2, 0, -1))\n", - "(11.731285269778198, 398.044999134612, 1598.0449991346122)\n", - "0\n", "200.0\n", - "((8, -2, -1, -1), (6, -2, 0, -1), (7, -2, 0, -1))\n", - "(-88.2687147302218, 880.5571917389022, 1498.0449991346122)\n", + "((17, 1, -6, -2), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(-1925.8120471982413, -1112.1257610630769, 87.8742389369229)\n", + "2\n", + "-100.0\n", + "((13, 1, -4, -2), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(-10.170760197688878, 487.8742389369231, 1687.874238936923)\n", + "0\n", + "-1600.0\n", + "((14, 2, -5, -2), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(1.5605250720888932, 387.8742389369231, 1587.874238936923)\n", "0\n", "100.0\n", - "((8, -2, -1, -1), (6, -2, -1, 0), (7, -2, 0, -1))\n", - "(-1688.2687147302217, -719.4428082610978, -17.487807395710206)\n", + "((18, 1, -6, -2), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(-10.170760197688878, 487.8742389369231, 1687.874238936923)\n", + "0\n", + "-100.0\n", + "((14, 2, -5, -2), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(-1443.299854593951, -1212.1257610630769, -12.125761063077107)\n", "2\n", - "1600.0\n", - "((8, -2, -1, -1), (6, -2, -1, 0), (5, -1, -1, 0))\n", - "(-888.2687147302217, -31.174093530875666, 782.5121926042898)\n", - "1\n", - "-800.0\n", - "((8, -2, -1, -1), (2, -1, 0, 0), (5, -1, -1, 0))\n", - "(-1588.2687147302217, -731.1740935308757, -29.219092665488006)\n", + "1700.0\n", + "((13, 1, -5, -1), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(-1610.1707601976889, -1112.1257610630769, 87.8742389369229)\n", "2\n", - "700.0\n", - "((8, -2, -1, -1), (2, -1, 0, 0), (1, 0, 0, 0))\n", - "(-27.264091800099777, 968.8259064691243, 1670.780907334512)\n", - "0\n", - "-1700.0\n", - "((-2, 1, 0, 0), (2, -1, 0, 0), (1, 0, 0, 0))\n", - "(-1427.2640918000998, -431.17409353087567, 3.9100017307741837)\n", + "-100.0\n", + "((14, 2, -5, -2), (16, 1, -5, -2), (17, 1, -5, -2))\n", + "(-1310.1707601976889, -812.1257610630769, 1.5605250720882395)\n", "2\n", - "1400.0\n", - "((-2, 1, 0, 0), (2, -1, 0, 0), (2, 1, 0, -1))\n", - "(35.084095261650305, 568.8259064691243, 1003.9100017307742)\n", - "0\n", - "-1000.0\n", - "((4, 1, 0, -2), (2, -1, 0, 0), (2, 1, 0, -1))\n", - "(-9.776284404389969, 368.82590646912433, 803.9100017307742)\n", + "-300.0\n", + "((14, 2, -5, -2), (16, 1, -5, -2), (19, 1, -6, -2))\n", + "(-29.613568458786176, 587.8742389369231, 1401.5605250720882)\n", "0\n", - "200.0\n", - "((-1, 1, 1, -1), (2, -1, 0, 0), (2, 1, 0, -1))\n", - "(-609.77628440439, -231.17409353087567, -5.684341886080801e-13)\n", + "-1400.0\n", + "((15, 1, -6, -1), (16, 1, -5, -2), (19, 1, -6, -2))\n", + "(-1229.6135684587862, -612.1257610630769, 89.82923980231044)\n", "2\n", - "600.0\n", - "((-1, 1, 1, -1), (2, -1, 0, 0), (5, -1, 0, -1))\n", - "(-509.77628440439, -11.731285269778482, 99.99999999999943)\n", + "1200.0\n", + "((15, 1, -6, -1), (16, 1, -5, -2), (15, 2, -5, -2))\n", + "(-729.6135684587862, -27.658567593399425, 589.8292398023104)\n", "1\n", - "-100.0\n", - "((-1, 1, 1, -1), (1, 0, 1, -1), (5, -1, 0, -1))\n", - "(-1.9550008653870918, 588.2687147302215, 699.9999999999994)\n", + "-500.0\n", + "((15, 1, -6, -1), (14, 2, -6, -1), (15, 2, -5, -2))\n", + "(74.29643327198869, 572.3414324066006, 1189.8292398023104)\n", "0\n", "-600.0\n", - "((6, -2, 0, -1), (1, 0, 1, -1), (5, -1, 0, -1))\n", - "(-501.9550008653871, -31.174093530875666, 199.99999999999943)\n", + "((12, 3, -6, -1), (14, 2, -6, -1), (15, 2, -5, -2))\n", + "(-29.613568458786148, 672.3414324066006, 1289.8292398023104)\n", + "0\n", + "-100.0\n", + "((15, 1, -6, -1), (14, 2, -6, -1), (15, 2, -5, -2))\n", + "(-529.6135684587862, -31.568569324174234, 789.8292398023104)\n", "1\n", "500.0\n", - "((6, -2, 0, -1), (2, -1, 0, 0), (5, -1, 0, -1))\n", - "(-201.9550008653871, 1.9550008653868645, 499.99999999999943)\n", - "1\n", - "-300.0\n", - "((6, -2, 0, -1), (3, 0, 0, -1), (5, -1, 0, -1))\n", - "(-1.9550008653870918, 201.95500086538686, 1696.089998269225)\n", - "1\n", - "-200.0\n", - "((6, -2, 0, -1), (3, 0, 0, -1), (9, -3, 0, -1))\n", - "(9.776284404390879, 101.95500086538686, 1596.089998269225)\n", + "((15, 1, -6, -1), (17, 0, -6, -1), (15, 2, -5, -2))\n", + "(-33.523570189561156, 668.4314306758258, 1489.8292398023104)\n", "0\n", - "100.0\n", - "((10, -3, -1, -1), (3, 0, 0, -1), (9, -3, 0, -1))\n", - "(-1.9550008653870918, 201.95500086538686, 1696.089998269225)\n", + "-700.0\n", + "((18, -1, -6, -1), (17, 0, -6, -1), (15, 2, -5, -2))\n", + "(3.5155259374763546, 768.4314306758258, 1589.8292398023104)\n", "0\n", "-100.0\n", - "((6, -2, 0, -1), (3, 0, 0, -1), (9, -3, 0, -1))\n", - "(-17.5962878659397, 501.95500086538686, 1996.089998269225)\n", - "0\n", - "-300.0\n", - "((5, -3, 1, -1), (3, 0, 0, -1), (9, -3, 0, -1))\n", - "(3.410605131648481e-13, 701.9550008653869, 2196.089998269225)\n", + "((16, 2, -6, -2), (17, 0, -6, -1), (15, 2, -5, -2))\n", + "(-0.39447579329879545, 968.4314306758258, 1789.8292398023104)\n", "0\n", "-200.0\n", - "((4, -1, 0, -1), (3, 0, 0, -1), (9, -3, 0, -1))\n", - "(-1399.9999999999995, -698.0449991346131, 3.9100017307741837)\n", + "((19, 0, -6, -2), (17, 0, -6, -1), (15, 2, -5, -2))\n", + "(-1900.3944757932989, -931.5685693241742, 1.5605250720882395)\n", "2\n", - "1400.0\n", - "((4, -1, 0, -1), (3, 0, 0, -1), (2, 1, 0, -1))\n", - "(-1199.9999999999995, -498.04499913461314, -5.684341886080801e-13)\n", + "1900.0\n", + "((19, 0, -6, -2), (17, 0, -6, -1), (19, 1, -6, -2))\n", + "(-1700.3944757932989, -731.5685693241742, -2.3494766586868536)\n", "2\n", "-200.0\n", - "((4, -1, 0, -1), (3, 0, 0, -1), (5, -1, 0, -1))\n", - "(-468.8259064691247, 1.9550008653868645, 499.99999999999943)\n", + "((19, 0, -6, -2), (17, 0, -6, -1), (22, -1, -6, -2))\n", + "(-800.3944757932989, 13.29181034186604, 897.6505233413131)\n", "1\n", - "-500.0\n", - "((7, -1, 0, -2), (3, 0, 0, -1), (5, -1, 0, -1))\n", - "(-268.8259064691247, -1.955000865387973, 699.9999999999994)\n", + "-900.0\n", + "((19, 0, -6, -2), (22, 0, -7, -2), (22, -1, -6, -2))\n", + "(-700.3944757932989, 1.5605250720883106, 997.6505233413131)\n", "1\n", - "-200.0\n", - "((7, -1, 0, -2), (6, -2, 0, -1), (5, -1, 0, -1))\n", - "(31.174093530875325, 298.044999134612, 1111.7312852697773)\n", - "0\n", - "-300.0\n", - "((7, -1, 0, -2), (6, -2, 0, -1), (9, -2, -1, -1))\n", - "(4.547473508864641e-13, 498.044999134612, 1311.7312852697773)\n", + "-100.0\n", + "((19, 0, -6, -2), (18, 1, -6, -2), (22, -1, -6, -2))\n", + "(-29.613568458786233, 201.5605250720883, 1197.6505233413131)\n", "0\n", "-200.0\n", - "((4, -1, 0, -1), (6, -2, 0, -1), (9, -2, -1, -1))\n", - "(-999.9999999999995, -501.955000865388, -31.174093530875552)\n", + "((15, 1, -6, -1), (18, 1, -6, -2), (22, -1, -6, -2))\n", + "(-129.61356845878623, 101.5605250720883, 1456.7001454060483)\n", + "0\n", + "100.0\n", + "((15, 1, -6, -1), (18, 1, -6, -2), (14, 1, -5, -1))\n", + "(-929.6135684587862, -698.4394749279118, 3.5155259374755587)\n", "2\n", - "1000.0\n", - "((4, -1, 0, -1), (6, -2, 0, -1), (2, -1, 0, 0))\n", - "(-199.99999999999955, 31.174093530874302, 768.8259064691244)\n", + "800.0\n", + "((15, 1, -6, -1), (18, 1, -6, -2), (17, 2, -6, -2))\n", + "(-1067.265381397036, -98.43947492791176, 603.5155259374756)\n", "1\n", - "-800.0\n", - "((4, -1, 0, -1), (7, -1, 0, -2), (2, -1, 0, 0))\n", - "(-699.9999999999995, -468.8259064691257, 29.219092665487096)\n", - "2\n", - "500.0\n", - "((4, -1, 0, -1), (7, -1, 0, -2), (9, -2, 0, -2))\n", - "(-1399.9999999999995, -1168.8259064691256, 31.174093530874643)\n", + "-600.0\n", + "((20, 1, -6, -3), (18, 1, -6, -2), (17, 2, -6, -2))\n", + "(-1767.265381397036, -798.4394749279118, 15.246811207253131)\n", "2\n", "700.0\n", - "((4, -1, 0, -1), (7, -1, 0, -2), (8, -1, 0, -2))\n", - "(-299.99999999999955, -68.82590646912558, 668.8259064691246)\n", + "((20, 1, -6, -3), (18, 1, -6, -2), (21, 1, -7, -2))\n", + "(-1267.265381397036, 17.20181207264079, 515.2468112072531)\n", "1\n", - "-1100.0\n", - "((4, -1, 0, -1), (7, -1, 0, -2), (2, -1, 0, 0))\n", - "(-999.9999999999995, -417.48780739571026, -31.17409353087544)\n", + "-500.0\n", + "((20, 1, -6, -3), (19, 2, -7, -2), (21, 1, -7, -2))\n", + "(-1467.265381397036, -182.7981879273592, -36.09128786616145)\n", + "2\n", + "200.0\n", + "((20, 1, -6, -3), (19, 2, -7, -2), (24, 1, -6, -4))\n", + "(-2167.265381397036, -882.7981879273592, 1.5605250720882395)\n", "2\n", "700.0\n", - "((4, -1, 0, -1), (4, -1, -1, 0), (2, -1, 0, 0))\n", - "(68.82590646912536, 882.5121926042898, 1268.8259064691247)\n", - "0\n", - "-1300.0\n", - "((1, -1, 0, 0), (4, -1, -1, 0), (2, -1, 0, 0))\n", - "(-231.17409353087464, -4.547473508864641e-13, 968.8259064691247)\n", - "1\n", - "300.0\n", - "((1, -1, 0, 0), (4, -1, 0, -1), (2, -1, 0, 0))\n", - "(-931.1740935308746, 37.65181293824935, 268.8259064691247)\n", + "((20, 1, -6, -3), (19, 2, -7, -2), (19, 1, -6, -2))\n", + "(-2267.265381397036, -982.7981879273592, -13.97228145823442)\n", + "2\n", + "100.0\n", + "((20, 1, -6, -3), (19, 2, -7, -2), (17, 2, -7, -1))\n", + "(-1767.265381397036, -482.7981879273592, 15.246811207253131)\n", + "2\n", + "-500.0\n", + "((20, 1, -6, -3), (19, 2, -7, -2), (21, 1, -7, -2))\n", + "(-1398.4394749279113, 117.20181207264079, 615.2468112072531)\n", "1\n", - "700.0\n", - "((1, -1, 0, 0), (-1, -1, 0, 1), (2, -1, 0, 0))\n", - "(-31.174093530874643, 937.6518129382493, 1323.9655268030845)\n", + "-600.0\n", + "((17, 1, -6, -2), (19, 2, -7, -2), (21, 1, -7, -2))\n", + "(-169.11190179219352, 217.2018120726408, 715.2468112072531)\n", "0\n", - "-900.0\n", - "((1, -1, 0, 0), (-1, -1, 0, 1), (-3, -1, 1, 1))\n", - "(-531.1740935308746, 10.279240667918998, 823.9655268030845)\n", + "-100.0\n", + "((21, 2, -8, -2), (19, 2, -7, -2), (21, 1, -7, -2))\n", + "(-569.1119017921935, -71.06690265758135, 315.24681120725313)\n", "1\n", - "500.0\n", - "((1, -1, 0, 0), (-6, -1, 2, 1), (-3, -1, 1, 1))\n", - "(37.65181293825026, 810.279240667919, 1623.9655268030845)\n", - "0\n", - "-800.0\n", - "((-2, -1, 0, 1), (-6, -1, 2, 1), (-3, -1, 1, 1))\n", - "(-44.86037966603976, 110.279240667919, 923.9655268030845)\n", + "400.0\n", + "((21, 2, -8, -2), (23, 1, -8, -2), (21, 1, -7, -2))\n", + "(17.201812072641303, 128.93309734241865, 515.2468112072531)\n", "0\n", - "700.0\n", - "((-1, -1, 1, 0), (-6, -1, 2, 1), (-3, -1, 1, 1))\n", - "(-144.86037966603976, 10.279240667918998, 241.4533341987942)\n", + "-200.0\n", + "((19, 2, -7, -2), (23, 1, -8, -2), (21, 1, -7, -2))\n", + "(-82.7981879273587, 28.933097342418648, 1460.1071908732938)\n", "0\n", "100.0\n", - "((-1, -1, 1, 0), (-6, -1, 2, 1), (-3, -1, 2, 0))\n", - "(-1044.8603796660398, -889.720759332081, -76.03447319691554)\n", - "2\n", - "900.0\n", - "((-1, -1, 1, 0), (-6, -1, 2, 1), (-3, -1, 1, 1))\n", - "(12.234241533307568, 510.279240667919, 1323.9655268030845)\n", - "0\n", - "-1400.0\n", - "((-8, 0, 2, 1), (-6, -1, 2, 1), (-3, -1, 1, 1))\n", - "(-1087.7657584666924, -589.720759332081, -91.67576019746821)\n", - "2\n", - "1100.0\n", - "((-8, 0, 2, 1), (-6, -1, 2, 1), (-4, -2, 2, 1))\n", - "(-687.7657584666924, 14.189242398693978, 308.3242398025318)\n", - "1\n", - "-400.0\n", - "((-8, 0, 2, 1), (-9, 1, 2, 1), (-4, -2, 2, 1))\n", - "(-387.76575846669243, -1.4520446018586313, 608.3242398025318)\n", + "((19, 2, -7, -2), (23, 1, -8, -2), (27, 1, -8, -3))\n", + "(17.201812072641303, 128.93309734241865, 1715.2468112072534)\n", "1\n", - "-300.0\n", - "((-8, 0, 2, 1), (-10, 0, 3, 1), (-4, -2, 2, 1))\n", - "(-1387.7657584666924, -1001.4520446018587, -32.62613813273333)\n", - "2\n", - "1000.0\n", - "((-8, 0, 2, 1), (-10, 0, 3, 1), (-12, 0, 3, 2))\n", - "(-32.62613813273265, 198.5479553981413, 1167.3738618672667)\n", - "0\n", - "-1200.0\n", - "((-13, 0, 3, 2), (-10, 0, 3, 1), (-12, 0, 3, 2))\n", - "(-1830.6711372673453, -1101.4520446018587, -132.62613813273333)\n", - "2\n", - "1300.0\n", - "((-15, 1, 3, 2), (-10, 0, 3, 1), (-12, 0, 3, 2))\n", - "(-2201.452044601858, -1001.4520446018587, -32.62613813273333)\n", - "2\n", "-100.0\n", - "((-11, 0, 3, 1), (-10, 0, 3, 1), (-12, 0, 3, 2))\n", - "(-2401.452044601858, -815.1383307370238, -232.62613813273333)\n", - "2\n", - "200.0\n", - "((-11, 0, 3, 1), (-12, 0, 4, 1), (-12, 0, 3, 2))\n", - "(36.199768336392026, 884.8616692629762, 1467.3738618672667)\n", + "((19, 2, -7, -2), (23, 1, -8, -2), (22, 1, -7, -2))\n", + "(1.5605250720887511, 428.93309734241865, 2015.2468112072534)\n", "0\n", - "-1700.0\n", - "((-16, 0, 3, 3), (-12, 0, 4, 1), (-12, 0, 3, 2))\n", - "(-763.800231663608, -34.58113899812122, 667.3738618672667)\n", + "-300.0\n", + "((18, 1, -6, -2), (23, 1, -8, -2), (22, 1, -7, -2))\n", + "(-698.4394749279113, 3.5155259374755587, 1315.2468112072534)\n", "1\n", - "800.0\n", - "((-16, 0, 3, 3), (-11, -1, 3, 2), (-12, 0, 3, 2))\n", - "(-1563.800231663608, -834.5811389981212, 22.51348220122634)\n", - "2\n", - "800.0\n", - "((-16, 0, 3, 3), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-863.800231663608, 20.558481335838565, 722.5134822012263)\n", + "700.0\n", + "((18, 1, -6, -2), (17, 2, -6, -2), (22, 1, -7, -2))\n", + "(-898.4394749279113, -84.75318879274687, 1115.2468112072534)\n", "1\n", - "-700.0\n", - "((-16, 0, 3, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(-763.800231663608, 8.827196066060935, 822.5134822012263)\n", + "200.0\n", + "((18, 1, -6, -2), (21, 1, -7, -2), (22, 1, -7, -2))\n", + "(-482.79818792735875, 15.246811207253131, 1215.2468112072534)\n", "1\n", "-100.0\n", - "((-16, 0, 3, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-1463.800231663608, -691.1728039339391, -32.62613813273333)\n", + "((19, 2, -7, -2), (21, 1, -7, -2), (22, 1, -7, -2))\n", + "(-382.79818792735875, 115.24681120725313, 319.156812938028)\n", "2\n", - "700.0\n", - "((-16, 0, 3, 3), (-20, 0, 5, 3), (-12, 0, 3, 2))\n", - "(-963.800231663608, -30.67113726734624, 467.37386186726667)\n", - "1\n", - "-500.0\n", - "((-16, 0, 3, 3), (-14, 1, 3, 2), (-12, 0, 3, 2))\n", - "(-32.626138132732876, 669.3288627326538, 1167.3738618672667)\n", - "0\n", - "-700.0\n", - "((-13, 0, 3, 2), (-14, 1, 3, 2), (-12, 0, 3, 2))\n", - "(-246.312424267898, 69.32886273265376, 567.3738618672667)\n", + "-100.0\n", + "((19, 2, -7, -2), (21, 1, -7, -2), (18, 3, -7, -2))\n", + "(-582.7981879273588, -84.75318879274687, 1115.2468112072534)\n", "1\n", - "600.0\n", - "((-15, 0, 4, 2), (-14, 1, 3, 2), (-12, 0, 3, 2))\n", - "(71.28386359804199, 569.3288627326538, 1067.3738618672667)\n", - "0\n", - "-500.0\n", - "((-16, 2, 3, 2), (-14, 1, 3, 2), (-12, 0, 3, 2))\n", - "(-828.716136401958, -330.67113726734624, -15.02985026679346)\n", + "200.0\n", + "((19, 2, -7, -2), (21, 1, -7, -2), (22, 1, -7, -2))\n", + "(-682.7981879273588, -184.75318879274687, 19.156812938027997)\n", "2\n", - "900.0\n", - "((-16, 2, 3, 2), (-14, 1, 3, 2), (-13, 2, 2, 2))\n", - "(16.144243264082206, 669.3288627326538, 984.9701497332065)\n", - "0\n", - "-1000.0\n", - "((-11, 2, 2, 1), (-14, 1, 3, 2), (-13, 2, 2, 2))\n", - "(-1083.8557567359178, -430.67113726734624, -44.35742340251136)\n", + "100.0\n", + "((19, 2, -7, -2), (21, 1, -7, -2), (18, 3, -7, -2))\n", + "(-782.7981879273588, -284.75318879274687, 30.888098207805797)\n", "2\n", - "1100.0\n", - "((-11, 2, 2, 1), (-14, 1, 3, 2), (-16, 1, 4, 2))\n", - "(-483.8557567359178, 14.189242398693978, 555.6425765974886)\n", + "100.0\n", + "((19, 2, -7, -2), (21, 1, -7, -2), (22, 2, -8, -2))\n", + "(-798.4394749279113, 15.246811207253131, 330.8880982078058)\n", "1\n", - "-600.0\n", - "((-11, 2, 2, 1), (-9, 1, 2, 1), (-16, 1, 4, 2))\n", - "(41.95629046232415, 314.189242398694, 855.6425765974886)\n", - "0\n", "-300.0\n", - "((-19, 1, 5, 2), (-9, 1, 2, 1), (-16, 1, 4, 2))\n", - "(-13.183329871635635, 414.189242398694, 955.6425765974886)\n", - "0\n", - "-100.0\n", - "((-14, 1, 4, 1), (-9, 1, 2, 1), (-16, 1, 4, 2))\n", - "(-213.18332987163564, 17.990763659238695, 755.6425765974886)\n", - "1\n", + "((18, 1, -6, -2), (21, 1, -7, -2), (22, 2, -8, -2))\n", + "(-998.4394749279113, -184.75318879274687, -29.613568458786858)\n", + "2\n", "200.0\n", - "((-14, 1, 4, 1), (-11, 1, 4, 0), (-16, 1, 4, 2))\n", - "(-1213.1833298716356, -982.0092363407613, -13.183329871636147)\n", + "((18, 1, -6, -2), (21, 1, -7, -2), (16, 1, -6, -1))\n", + "(-498.4394749279113, -27.65856759339954, 470.38643154121314)\n", + "1\n", + "-500.0\n", + "((18, 1, -6, -2), (14, 2, -6, -1), (16, 1, -6, -1))\n", + "(-1198.4394749279113, -727.6585675933995, -25.703566728011992)\n", "2\n", - "1000.0\n", - "((-14, 1, 4, 1), (-11, 1, 4, 0), (-13, 1, 4, 1))\n", - "(-313.1833298716356, -82.00923634076128, 1384.8616692629762)\n", + "700.0\n", + "((18, 1, -6, -2), (14, 2, -6, -1), (13, 3, -6, -1))\n", + "(-298.4394749279113, 60.61014713682266, 874.296433271988)\n", "1\n", "-900.0\n", - "((-14, 1, 4, 1), (-11, 1, 4, 0), (-11, 0, 4, 1))\n", - "(86.81667012836442, 353.68757573210115, 1784.8616692629762)\n", + "((18, 1, -6, -2), (10, 3, -5, -1), (13, 3, -6, -1))\n", + "(-194.52947319713678, -39.38985286317734, 774.296433271988)\n", "0\n", - "-400.0\n", - "((-14, 1, 4, 1), (-15, 0, 4, 2), (-11, 0, 4, 1))\n", - "(-1113.1833298716356, -846.3124242678989, -32.62613813273356)\n", + "100.0\n", + "((15, 3, -6, -2), (10, 3, -5, -1), (13, 3, -6, -1))\n", + "(-794.5294731971368, -639.3898528631773, 19.156812938027997)\n", "2\n", - "1200.0\n", - "((-14, 1, 4, 1), (-15, 0, 4, 2), (-12, 0, 3, 2))\n", - "(-63.800231663607974, 553.6875757321011, 1367.3738618672664)\n", + "600.0\n", + "((15, 3, -6, -2), (10, 3, -5, -1), (18, 3, -7, -2))\n", + "(5.470526802863219, 587.9827194071529, 819.156812938028)\n", "0\n", - "-1400.0\n", - "((-16, 0, 3, 3), (-15, 0, 4, 2), (-12, 0, 3, 2))\n", - "(-863.800231663608, 69.32886273265376, 567.3738618672664)\n", - "1\n", - "800.0\n", - "((-16, 0, 3, 3), (-14, 1, 3, 2), (-12, 0, 3, 2))\n", - "(67.37386186726712, 769.3288627326538, 1267.3738618672664)\n", + "-800.0\n", + "((15, 3, -6, -2), (15, 3, -7, -1), (18, 3, -7, -2))\n", + "(-13.972281458233965, 687.9827194071529, 919.156812938028)\n", "0\n", - "-700.0\n", - "((-13, 0, 3, 2), (-14, 1, 3, 2), (-12, 0, 3, 2))\n", - "(-532.6261381327329, -34.58113899812122, 667.3738618672664)\n", - "1\n", - "600.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-12, 0, 3, 2))\n", - "(-20.894852862955418, 365.4188610018788, 1067.3738618672664)\n", + "-100.0\n", + "((16, 2, -7, -1), (15, 3, -7, -1), (18, 3, -7, -2))\n", + "(19.156812938028622, 987.9827194071529, 1219.156812938028)\n", "0\n", - "-400.0\n", - "((-9, -1, 2, 2), (-11, -1, 3, 2), (-12, 0, 3, 2))\n", - "(-1220.8948528629553, -834.5811389981212, -20.894852862956213)\n", + "-300.0\n", + "((17, 3, -7, -2), (15, 3, -7, -1), (18, 3, -7, -2))\n", + "(-1913.972281458234, -12.0172805928471, 219.156812938028)\n", "2\n", - "1200.0\n", - "((-9, -1, 2, 2), (-11, -1, 3, 2), (-8, -1, 2, 2))\n", - "(-32.62613813273265, 465.4188610018788, 1279.1051471370438)\n", - "0\n", - "-1300.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-8, -1, 2, 2))\n", - "(-1432.6261381327326, -934.5811389981212, -1.452044601858688)\n", + "1000.0\n", + "((15, 2, -7, -1), (15, 3, -7, -1), (18, 3, -7, -2))\n", + "(-2013.972281458234, -112.0172805928471, -0.28599532306930087)\n", "2\n", - "1400.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-9, 0, 3, 1))\n", - "(-1032.6261381327326, -534.5811389981212, -36.53613986350865)\n", + "100.0\n", + "((15, 2, -7, -1), (15, 3, -7, -1), (19, 2, -8, -1))\n", + "(-2213.9722814582337, -312.0172805928471, -45.14637498910929)\n", "2\n", - "-400.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-9, -2, 3, 2))\n", - "(-632.6261381327326, -22.849853728343305, 363.46386013649135)\n", - "1\n", - "-400.0\n", - "((-13, 0, 3, 2), (-7, -2, 2, 2), (-9, -2, 3, 2))\n", - "(-732.6261381327326, -30.671137267346268, 263.46386013649135)\n", + "200.0\n", + "((15, 2, -7, -1), (15, 3, -7, -1), (14, 2, -7, 0))\n", + "(-2113.9722814582337, -212.0172805928471, 19.156812938027997)\n", + "2\n", + "-100.0\n", + "((15, 2, -7, -1), (15, 3, -7, -1), (18, 3, -7, -2))\n", + "(-1613.9722814582337, 21.11181380341543, 519.156812938028)\n", "1\n", - "100.0\n", - "((-13, 0, 3, 2), (-14, 1, 3, 2), (-9, -2, 3, 2))\n", - "(-332.62613813273265, -38.49114072889597, 663.4638601364913)\n", + "-500.0\n", + "((15, 2, -7, -1), (16, 4, -7, -2), (18, 3, -7, -2))\n", + "(-1413.9722814582337, 17.20181207264062, 719.156812938028)\n", "1\n", - "-400.0\n", - "((-13, 0, 3, 2), (-8, -3, 3, 2), (-9, -2, 3, 2))\n", - "(-69.66523425976993, 161.50885927110403, 863.4638601364913)\n", - "0\n", "-200.0\n", - "((-11, -3, 3, 3), (-8, -3, 3, 2), (-9, -2, 3, 2))\n", - "(-50.222425998672634, 61.50885927110403, 763.4638601364913)\n", - "0\n", + "((15, 2, -7, -1), (19, 2, -7, -2), (18, 3, -7, -2))\n", + "(-2213.9722814582337, -782.7981879273593, 30.888098207805797)\n", + "2\n", + "800.0\n", + "((15, 2, -7, -1), (19, 2, -7, -2), (22, 2, -8, -2))\n", + "(-3437.9378082613184, -882.7981879273593, -69.1119017921942)\n", + "2\n", "100.0\n", - "((-12, -2, 4, 2), (-8, -3, 3, 2), (-9, -2, 3, 2))\n", - "(-36.53613986350746, 461.50885927110403, 1163.4638601364913)\n", + "((22, 2, -8, -3), (19, 2, -7, -2), (22, 2, -8, -2))\n", + "(-1113.9722814582337, 317.2018120726407, 1130.8880982078058)\n", "0\n", - "-400.0\n", - "((-10, -2, 3, 2), (-8, -3, 3, 2), (-9, -2, 3, 2))\n", - "(-1736.5361398635075, -1238.491140728896, -38.49114072889597)\n", + "-1200.0\n", + "((15, 2, -7, -1), (19, 2, -7, -2), (22, 2, -8, -2))\n", + "(-1913.9722814582337, -482.7981879273593, -12.017280592846987)\n", "2\n", - "1700.0\n", - "((-10, -2, 3, 2), (-8, -3, 3, 2), (-7, -3, 3, 2))\n", - "(-1236.5361398635075, -36.53613986350854, 461.50885927110403)\n", + "800.0\n", + "((15, 2, -7, -1), (19, 2, -7, -2), (15, 3, -7, -1))\n", + "(19.156812938028793, 517.2018120726407, 987.982719407153)\n", + "0\n", + "-1000.0\n", + "((17, 3, -7, -2), (19, 2, -7, -2), (15, 3, -7, -1))\n", + "(-180.8431870619712, -25.703566728012163, 787.982719407153)\n", "1\n", - "-500.0\n", - "((-10, -2, 3, 2), (-9, -2, 3, 2), (-7, -3, 3, 2))\n", - "(-1636.5361398635075, -436.53613986350854, -50.22242599867377)\n", + "200.0\n", + "((17, 3, -7, -2), (12, 3, -6, -1), (15, 3, -7, -1))\n", + "(-1680.843187061971, -1525.7035667280122, 17.201812072640678)\n", "2\n", - "400.0\n", - "((-10, -2, 3, 2), (-9, -2, 3, 2), (-11, -2, 4, 2))\n", - "(-1436.5361398635075, -236.53613986350854, -5.362046332633668)\n", + "1500.0\n", + "((17, 3, -7, -2), (12, 3, -6, -1), (20, 2, -7, -2))\n", + "(-280.8431870619711, -13.972281458234647, 1417.2018120726407)\n", + "1\n", + "-1400.0\n", + "((17, 3, -7, -2), (16, 2, -7, -1), (20, 2, -7, -2))\n", + "(-1480.843187061971, -1213.9722814582346, -49.66909353109668)\n", "2\n", - "-200.0\n", - "((-10, -2, 3, 2), (-9, -2, 3, 2), (-6, -2, 3, 1))\n", - "(-1636.5361398635075, -436.53613986350854, -50.22242599867377)\n", + "1200.0\n", + "((17, 3, -7, -2), (16, 2, -7, -1), (21, 3, -7, -3))\n", + "(-1815.927282323621, -1113.9722814582346, 50.33090646890332)\n", "2\n", - "200.0\n", - "((-10, -2, 3, 2), (-9, -2, 3, 2), (-11, -2, 4, 2))\n", - "(-1036.5361398635075, 51.73257486671355, 549.7775740013262)\n", + "-100.0\n", + "((17, 1, -7, -1), (16, 2, -7, -1), (21, 3, -7, -3))\n", + "(-415.92728232362106, 19.156812938027997, 1450.3309064689033)\n", "1\n", - "-600.0\n", - "((-10, -2, 3, 2), (-13, -1, 4, 2), (-11, -2, 4, 2))\n", - "(-1436.5361398635075, -348.26742513328645, 38.04628873154809)\n", + "-1400.0\n", + "((17, 1, -7, -1), (17, 3, -7, -2), (21, 3, -7, -3))\n", + "(-1615.927282323621, -1180.843187061972, -29.613568458786858)\n", "2\n", - "400.0\n", - "((-10, -2, 3, 2), (-13, -1, 4, 2), (-15, -1, 5, 2))\n", - "(-34.581138998120196, 351.73257486671355, 738.0462887315481)\n", - "0\n", - "-700.0\n", - "((-11, -1, 3, 2), (-13, -1, 4, 2), (-15, -1, 5, 2))\n", - "(-234.5811389981202, -3.4070454672462347, 538.0462887315481)\n", + "1200.0\n", + "((17, 1, -7, -1), (17, 3, -7, -2), (16, 1, -6, -1))\n", + "(-1115.927282323621, -27.658567593399653, 470.38643154121314)\n", "1\n", - "200.0\n", - "((-11, -1, 3, 2), (-8, -1, 3, 1), (-15, -1, 5, 2))\n", - "(-34.581138998120196, 36.09128786616128, 738.0462887315481)\n", + "-500.0\n", + "((17, 1, -7, -1), (14, 2, -6, -1), (16, 1, -6, -1))\n", + "(-1215.927282323621, -15.92728232362208, 370.38643154121314)\n", "1\n", + "100.0\n", + "((17, 1, -7, -1), (18, 1, -7, -1), (16, 1, -6, -1))\n", + "(-1815.927282323621, -615.9272823236221, 86.02771854176558)\n", + "2\n", + "600.0\n", + "((17, 1, -7, -1), (18, 1, -7, -1), (17, 2, -7, -1))\n", + "(-1615.927282323621, -415.9272823236221, -29.613568458786858)\n", + "2\n", "-200.0\n", - "((-11, -1, 3, 2), (-14, -2, 5, 2), (-15, -1, 5, 2))\n", - "(-234.5811389981202, -3.4070454672462347, 538.0462887315481)\n", - "1\n", - "200.0\n", - "((-11, -1, 3, 2), (-8, -1, 3, 1), (-15, -1, 5, 2))\n", - "(-30.77961773757545, 396.59295453275377, 938.0462887315481)\n", - "0\n", - "-400.0\n", - "((-13, -1, 5, 1), (-8, -1, 3, 1), (-15, -1, 5, 2))\n", - "(-230.77961773757545, 36.09128786616128, 738.0462887315481)\n", + "((17, 1, -7, -1), (18, 1, -7, -1), (16, 1, -6, -1))\n", + "(-715.9272823236211, -13.972281458234647, 870.3864315412131)\n", "1\n", - "200.0\n", - "((-13, -1, 5, 1), (-14, -2, 5, 2), (-15, -1, 5, 2))\n", - "(69.22038226242455, 882.9066683975889, 1038.046288731548)\n", - "0\n", - "-300.0\n", - "((-13, -1, 5, 1), (-10, -1, 4, 1), (-15, -1, 5, 2))\n", - "(114.08076192846477, 1082.9066683975889, 1238.046288731548)\n", - "0\n", - "-200.0\n", - "((-8, -1, 4, 0), (-10, -1, 4, 1), (-15, -1, 5, 2))\n", - "(69.22038226242455, 882.9066683975889, 1038.046288731548)\n", + "-900.0\n", + "((17, 1, -7, -1), (16, 2, -7, -1), (16, 1, -6, -1))\n", + "(-12.017280592846078, 486.02771854176535, 1370.3864315412131)\n", "0\n", - "200.0\n", - "((-13, -1, 5, 1), (-10, -1, 4, 1), (-15, -1, 5, 2))\n", - "(-1459.998710403063, 82.90666839758887, 238.04628873154797)\n", + "-500.0\n", + "((14, 3, -7, -1), (16, 2, -7, -1), (16, 1, -6, -1))\n", + "(-1212.017280592846, -713.9722814582346, -12.017280592846873)\n", "2\n", - "800.0\n", - "((-18, 0, 5, 2), (-10, -1, 4, 1), (-15, -1, 5, 2))\n", - "(114.08076192846488, 1082.9066683975889, 1238.046288731548)\n", + "1200.0\n", + "((14, 3, -7, -1), (16, 2, -7, -1), (15, 3, -7, -1))\n", + "(87.98271940715404, 789.9377202725406, 1287.9827194071531)\n", "0\n", - "-1000.0\n", - "((-8, -1, 4, 0), (-10, -1, 4, 1), (-15, -1, 5, 2))\n", - "(-1563.9087121338375, 182.90666839758887, 338.046288731548)\n", - "2\n", - "900.0\n", - "((-15, -2, 5, 2), (-10, -1, 4, 1), (-15, -1, 5, 2))\n", - "(-1663.9087121338375, -695.0828056647139, 238.04628873154797)\n", + "-1300.0\n", + "((14, 3, -7, -1), (13, 4, -7, -1), (15, 3, -7, -1))\n", + "(-1112.017280592846, -410.06227972745944, -23.748565862624673)\n", "2\n", - "100.0\n", - "((-15, -2, 5, 2), (-17, -2, 5, 3), (-15, -1, 5, 2))\n", - "(-963.9087121338375, 4.917194335286126, 818.6034804704511)\n", + "1200.0\n", + "((14, 3, -7, -1), (13, 4, -7, -1), (11, 4, -6, -1))\n", + "(-1054.9226593934989, -10.06227972745944, 376.2514341373753)\n", "1\n", - "-700.0\n", - "((-15, -2, 5, 2), (-17, -2, 5, 3), (-14, -2, 4, 3))\n", - "(-1863.9087121338375, -895.0828056647139, 38.046288731547975)\n", + "-400.0\n", + "((7, 4, -6, 0), (13, 4, -7, -1), (11, 4, -6, -1))\n", + "(-1754.9226593934989, -710.0622797274594, -8.107278862072008)\n", "2\n", - "900.0\n", - "((-15, -2, 5, 2), (-17, -2, 5, 3), (-15, -1, 5, 2))\n", - "(-863.9087121338375, -50.22242599867354, 1038.046288731548)\n", - "1\n", - "-1000.0\n", - "((-15, -2, 5, 2), (-12, -2, 4, 2), (-15, -1, 5, 2))\n", - "(-963.9087121338375, 4.917194335286155, 938.046288731548)\n", - "1\n", - "100.0\n", - "((-15, -2, 5, 2), (-17, -2, 5, 3), (-15, -1, 5, 2))\n", - "(6.872195200674355, 504.9171943352861, 1438.046288731548)\n", - "0\n", - "-500.0\n", - "((-19, -1, 5, 3), (-17, -2, 5, 3), (-15, -1, 5, 2))\n", - "(-693.1278047993256, 8.827196066060992, 738.046288731548)\n", - "1\n", "700.0\n", - "((-19, -1, 5, 3), (-20, 0, 5, 3), (-15, -1, 5, 2))\n", - "(-4.8590900691032175, 808.827196066061, 1538.046288731548)\n", - "0\n", - "-800.0\n", - "((-23, 0, 6, 3), (-20, 0, 5, 3), (-15, -1, 5, 2))\n", - "(6.872195200674355, 708.827196066061, 1438.046288731548)\n", + "((7, 4, -6, 0), (13, 4, -7, -1), (12, 5, -7, -1))\n", + "(-12.017280592845964, 689.9377202725406, 1391.892721137928)\n", "0\n", - "100.0\n", - "((-19, -1, 5, 3), (-20, 0, 5, 3), (-15, -1, 5, 2))\n", - "(10.782196931449334, 508.827196066061, 1238.046288731548)\n", + "-1400.0\n", + "((14, 3, -7, -1), (13, 4, -7, -1), (12, 5, -7, -1))\n", + "(-412.01728059284596, 23.06681466880252, 991.892721137928)\n", + "1\n", + "400.0\n", + "((14, 3, -7, -1), (14, 5, -7, -2), (12, 5, -7, -1))\n", + "(-8.107278862071155, 223.06681466880252, 1191.892721137928)\n", "0\n", - "200.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-15, -1, 5, 2))\n", - "(-1289.2178030685507, -791.172803933939, 22.513482201225997)\n", + "-200.0\n", + "((11, 5, -7, -1), (14, 5, -7, -2), (12, 5, -7, -1))\n", + "(-1308.107278862071, -494.420992726907, -108.10727886207201)\n", "2\n", "1300.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-1389.2178030685507, -891.172803933939, 41.956290462323295)\n", - "2\n", + "((11, 5, -7, -1), (14, 5, -8, -1), (12, 5, -7, -1))\n", + "(-508.1072788620711, -10.062279727459554, 691.892721137928)\n", + "1\n", + "-800.0\n", + "((11, 5, -7, -1), (13, 4, -7, -1), (12, 5, -7, -1))\n", + "(-923.7485658626239, -110.06227972745955, 591.892721137928)\n", + "1\n", "100.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-18, 1, 5, 2))\n", - "(-1289.2178030685507, -791.172803933939, 22.513482201225997)\n", + "((10, 4, -6, -1), (13, 4, -7, -1), (12, 5, -7, -1))\n", + "(-1623.7485658626238, -810.0622797274596, 3.6240064077060197)\n", "2\n", - "-100.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-1189.2178030685507, -691.172803933939, 10.782196931448198)\n", + "700.0\n", + "((10, 4, -6, -1), (13, 4, -7, -1), (16, 4, -8, -1))\n", + "(-1523.7485658626238, -710.0622797274596, -8.107278862072008)\n", "2\n", "-100.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-21, 1, 5, 3))\n", - "(-1289.2178030685507, -791.172803933939, 22.513482201225997)\n", - "2\n", - "100.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-589.2178030685507, 20.558481335838678, 722.513482201226)\n", + "((10, 4, -6, -1), (13, 4, -7, -1), (12, 5, -7, -1))\n", + "(-1939.2813723929457, -10.062279727459554, 691.892721137928)\n", "1\n", "-700.0\n", - "((-22, 1, 5, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(-689.2178030685507, 12.737197796835886, 622.513482201226)\n", - "1\n", - "100.0\n", - "((-22, 1, 5, 3), (-23, 2, 5, 3), (-17, 0, 4, 3))\n", - "(-589.2178030685507, 20.558481335838678, 722.513482201226)\n", + "((7, 5, -7, 0), (13, 4, -7, -1), (12, 5, -7, -1))\n", + "(-2739.2813723929457, -810.0622797274596, 3.6240064077060197)\n", + "2\n", + "800.0\n", + "((7, 5, -7, 0), (13, 4, -7, -1), (16, 4, -8, -1))\n", + "(-2139.2813723929457, 29.54453407617757, 603.624006407706)\n", "1\n", - "-100.0\n", - "((-22, 1, 5, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(-489.21780306855067, 8.827196066061049, 822.513482201226)\n", + "-600.0\n", + "((7, 5, -7, 0), (6, 5, -7, 1), (16, 4, -8, -1))\n", + "(-2039.2813723929457, -25.5950862577821, 703.624006407706)\n", "1\n", "-100.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-589.2178030685507, 20.558481335838678, 722.513482201226)\n", - "1\n", - "100.0\n", - "((-22, 1, 5, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(22.513482201227134, 520.5584813358387, 1222.513482201226)\n", - "0\n", - "-500.0\n", - "((-18, 0, 4, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(34.24476747100488, 420.5584813358387, 1122.513482201226)\n", - "0\n", - "100.0\n", - "((-14, -1, 3, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(-265.7552325289951, -34.581138998121105, 822.513482201226)\n", - "1\n", - "300.0\n", - "((-14, -1, 3, 3), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-20.894852862955133, 365.4188610018789, 1222.513482201226)\n", + "((7, 5, -7, 0), (11, 5, -8, 0), (16, 4, -8, -1))\n", + "(-182.6897074571275, 674.4049137422179, 1403.624006407706)\n", "0\n", - "-400.0\n", - "((-9, -1, 2, 2), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-32.62613813273259, 465.4188610018789, 1322.513482201226)\n", + "-700.0\n", + "((17, 4, -9, -1), (11, 5, -8, 0), (16, 4, -8, -1))\n", + "(-23.640085392392848, 474.4049137422179, 1203.624006407706)\n", "0\n", - "-100.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-20.894852862955133, 365.4188610018789, 1222.513482201226)\n", + "200.0\n", + "((9, 6, -8, 0), (11, 5, -8, 0), (16, 4, -8, -1))\n", + "(-11.908800122615261, 374.4049137422179, 1103.624006407706)\n", "0\n", "100.0\n", - "((-9, -1, 2, 2), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-32.62613813273259, 465.4188610018789, 1322.513482201226)\n", - "0\n", - "-100.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-732.6261381327326, -30.671137267346126, 622.513482201226)\n", + "((13, 5, -9, 0), (11, 5, -8, 0), (16, 4, -8, -1))\n", + "(-311.9088001226153, -10.062279727459497, 803.624006407706)\n", "1\n", - "700.0\n", - "((-13, 0, 3, 2), (-14, 1, 3, 2), (-17, 0, 4, 3))\n", - "(-532.6261381327326, -34.581138998121105, 822.513482201226)\n", + "300.0\n", + "((13, 5, -9, 0), (13, 4, -7, -1), (16, 4, -8, -1))\n", + "(-111.90880012261528, 34.79809993858041, 1003.624006407706)\n", "1\n", "-200.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(34.24476747100482, 265.4188610018789, 1122.513482201226)\n", + "((13, 5, -9, 0), (18, 4, -8, -2), (16, 4, -8, -1))\n", + "(-51.51561392625234, 334.79809993858044, 1303.624006407706)\n", "0\n", "-300.0\n", - "((-14, -1, 3, 3), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-32.62613813273265, 465.4188610018789, 1322.513482201226)\n", - "0\n", - "-200.0\n", - "((-13, 0, 3, 2), (-11, -1, 3, 2), (-17, 0, 4, 3))\n", - "(-332.62613813273265, 53.687575732101266, 1022.513482201226)\n", - "1\n", - "300.0\n", - "((-13, 0, 3, 2), (-15, 0, 4, 2), (-17, 0, 4, 3))\n", - "(-232.62613813273265, -1.4520446018584892, 1122.513482201226)\n", + "((20, 4, -9, -2), (18, 4, -8, -2), (16, 4, -8, -1))\n", + "(-451.51561392625234, -65.20190006141956, 1562.1706722089111)\n", "1\n", - "-100.0\n", - "((-13, 0, 3, 2), (-10, 0, 3, 1), (-17, 0, 4, 3))\n", - "(12.234241533307625, 398.54795539814154, 1522.513482201226)\n", + "400.0\n", + "((20, 4, -9, -2), (18, 4, -8, -2), (24, 4, -10, -2))\n", + "(-135.8743269256998, -65.20190006141956, 1562.1706722089111)\n", "0\n", - "-400.0\n", - "((-8, 0, 2, 1), (-10, 0, 3, 1), (-17, 0, 4, 3))\n", - "(-487.7657584666924, 10.279240667919112, 1022.513482201226)\n", - "1\n", - "500.0\n", - "((-8, 0, 2, 1), (-6, -1, 2, 1), (-17, 0, 4, 3))\n", - "(36.19976833639225, 610.2792406679191, 1622.513482201226)\n", + "0.0\n", + "((21, 5, -10, -2), (18, 4, -8, -2), (24, 4, -10, -2))\n", + "(-335.8743269256998, -265.20190006141956, 1321.1118138034158)\n", "0\n", - "-600.0\n", - "((-16, 0, 3, 3), (-6, -1, 2, 1), (-17, 0, 4, 3))\n", - "(-763.8002316636077, 8.827196066060992, 822.513482201226)\n", - "1\n", - "800.0\n", - "((-16, 0, 3, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(6.872195200674355, 708.827196066061, 1522.513482201226)\n", + "200.0\n", + "((21, 5, -10, -2), (18, 4, -8, -2), (17, 4, -7, -2))\n", + "(-235.8743269256998, -165.20190006141956, 466.0806739396861)\n", "0\n", - "-700.0\n", - "((-19, -1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-793.1278047993256, 20.558481335838678, 722.513482201226)\n", + "-100.0\n", + "((21, 5, -10, -2), (18, 4, -8, -2), (20, 6, -10, -2))\n", + "(-335.8743269256998, -20.233039925149086, 366.0806739396861)\n", "1\n", - "800.0\n", - "((-19, -1, 5, 3), (-16, -1, 4, 3), (-17, 0, 4, 3))\n", - "(-693.1278047993256, 8.827196066061049, 822.513482201226)\n", + "100.0\n", + "((21, 5, -10, -2), (22, 6, -11, -2), (20, 6, -10, -2))\n", + "(-235.8743269256998, -31.964325194926886, 466.0806739396861)\n", "1\n", "-100.0\n", - "((-19, -1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(10.782196931449334, 508.82719606606105, 1322.513482201226)\n", - "0\n", - "-500.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(22.513482201227134, 408.82719606606105, 1222.513482201226)\n", + "((21, 5, -10, -2), (18, 7, -10, -2), (20, 6, -10, -2))\n", + "(-335.8743269256998, -131.9643251949269, 477.81195920946357)\n", "0\n", "100.0\n", - "((-18, 0, 4, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(10.782196931449334, 508.82719606606105, 1322.513482201226)\n", + "((21, 5, -10, -2), (18, 7, -10, -2), (24, 5, -11, -2))\n", + "(-124.1430416559221, -31.964325194926886, 577.8119592094636)\n", "0\n", "-100.0\n", - "((-22, 1, 5, 3), (-20, 0, 5, 3), (-17, 0, 4, 3))\n", - "(-289.21780306855067, -58.04370953767648, 1022.513482201226)\n", - "1\n", - "300.0\n", - "((-22, 1, 5, 3), (-19, 1, 5, 2), (-17, 0, 4, 3))\n", - "(-189.21780306855067, 41.95629046232352, 1241.9562904623233)\n", - "1\n", - "-100.0\n", - "((-22, 1, 5, 3), (-19, 1, 5, 2), (-18, 1, 5, 2))\n", - "(-56.088708672288135, 441.9562904623235, 1641.9562904623233)\n", - "0\n", - "-400.0\n", - "((-21, 2, 5, 2), (-19, 1, 5, 2), (-18, 1, 5, 2))\n", - "(-756.0887086722881, -26.86961600680138, 941.9562904623233)\n", - "1\n", - "700.0\n", - "((-21, 2, 5, 2), (-16, 1, 5, 1), (-18, 1, 5, 2))\n", - "(-40.5559021419657, 773.1303839931986, 1741.9562904623233)\n", - "0\n", - "-800.0\n", - "((-19, 1, 6, 1), (-16, 1, 5, 1), (-18, 1, 5, 2))\n", - "(-1040.5559021419658, 40.0012895969362, 741.9562904623233)\n", - "1\n", - "1000.0\n", - "((-19, 1, 6, 1), (-17, 0, 5, 2), (-18, 1, 5, 2))\n", - "(38.04628873154911, 740.0012895969362, 1441.9562904623233)\n", + "((25, 4, -11, -2), (18, 7, -10, -2), (24, 5, -11, -2))\n", + "(36.86158127419992, 268.0356748050731, 877.8119592094636)\n", "0\n", - "-700.0\n" + "-300.0\n" ] } ],