From c3ee3ecf4c8f26ec954ac6a9966f96bd994af248 Mon Sep 17 00:00:00 2001 From: Alexandre Guillemot <alexandre.guillemot@inria.fr> Date: Wed, 2 Apr 2025 14:10:23 +0200 Subject: [PATCH] resultants 3-4 2 data test and add it to issac entries --- data/linear/resultants-3-4/all/2.json | 1305 +++++++++++++++++++++++++ latextable.py | 1 + synthesize.sage | 10 + tables/issac_2025/entries.json | 6 +- 4 files changed, 1319 insertions(+), 3 deletions(-) create mode 100644 data/linear/resultants-3-4/all/2.json diff --git a/data/linear/resultants-3-4/all/2.json b/data/linear/resultants-3-4/all/2.json new file mode 100644 index 00000000..86921fbf --- /dev/null +++ b/data/linear/resultants-3-4/all/2.json @@ -0,0 +1,1305 @@ +{ + "system": [ + "t*(x_0^16 + (0.838987032756676 - 2.52974113833015*I)*x_0^15*x_1 + (-4.17596150787253 - 7.43178177029385*I)*x_0^14*x_1^2 + (-16.2088433563040 + 3.46139069996295*I)*x_0^13*x_1^3 + (-6.97702611683350 + 24.1562073342911*I)*x_0^12*x_1^4 + (42.2723310726777 + 12.7662685980737*I)*x_0^11*x_1^5 + (43.3268448759311 - 48.6400017071229*I)*x_0^10*x_1^6 + (-48.9070520987963 - 70.8431133301619*I)*x_0^9*x_1^7 + (-91.2421637835715 + 33.4756819154251*I)*x_0^8*x_1^8 + (12.5607826605926 + 105.363995227728*I)*x_0^7*x_1^9 + (117.014161663347 + 14.3674934914359*I)*x_0^6*x_1^10 + (51.8465241702622 - 87.9993235702821*I)*x_0^5*x_1^11 + (-73.2407510896221 - 51.3384389713042*I)*x_0^4*x_1^12 + (-56.5840193737469 + 47.0476466876695*I)*x_0^3*x_1^13 + (21.5323653433482 + 44.9961245986156*I)*x_0^2*x_1^14 + (24.9894864101646 - 8.52434531681050*I)*x_0*x_1^15 + (3.74603788388190 - 10.6789265201662*I)*x_1^16 + (-0.573840682756922 - 3.64878812610593*I)*x_0^15*x_2 + (-9.93379984594203 - 5.67409326159764*I)*x_0^14*x_1*x_2 + (-35.0438258492231 + 11.1905660549079*I)*x_0^13*x_1^2*x_2 + (-23.5242167786560 + 51.9905737725042*I)*x_0^12*x_1^3*x_2 + (73.3354637064457 + 47.1549031813846*I)*x_0^11*x_1^4*x_2 + (103.075902179718 - 86.8134613513790*I)*x_0^10*x_1^5*x_2 + (-58.3141301046391 - 202.258919447767*I)*x_0^9*x_1^6*x_2 + (-249.846723635138 - 9.90662094343791*I)*x_0^8*x_1^7*x_2 + (-103.584117419280 + 261.667989940042*I)*x_0^7*x_1^8*x_2 + (247.864686370550 + 150.161657194581*I)*x_0^6*x_1^9*x_2 + (232.433155329754 - 165.062564467058*I)*x_0^5*x_1^10*x_2 + (-78.2562042988936 - 213.255859241075*I)*x_0^4*x_1^11*x_2 + (-188.138984710019 + 25.9924886674423*I)*x_0^3*x_1^12*x_2 + (-30.5816363132987 + 123.877223587029*I)*x_0^2*x_1^13*x_2 + (47.9445648104565 + 7.70730355014328*I)*x_0*x_1^14*x_2 + (9.57077460744853 - 27.6651986674581*I)*x_1^15*x_2 + (-6.05349614249653 + 1.21664230321461*I)*x_0^14*x_2^2 + (-12.7955950194852 + 17.8867789289574*I)*x_0^13*x_1*x_2^2 + (-6.84731347510378 + 33.7277990668172*I)*x_0^12*x_1^2*x_2^2 + (34.7540861799324 + 37.1117367662088*I)*x_0^11*x_1^3*x_2^2 + (56.0468095703273 - 32.7138755657975*I)*x_0^10*x_1^4*x_2^2 + (7.32498564416662 - 137.663980558633*I)*x_0^9*x_1^5*x_2^2 + (-111.270137945251 - 92.6204452338853*I)*x_0^8*x_1^6*x_2^2 + (-175.335366369965 + 97.8313085473878*I)*x_0^7*x_1^7*x_2^2 + (82.0251649516806 + 210.920125754589*I)*x_0^6*x_1^8*x_2^2 + (247.238197680608 + 50.1317763389329*I)*x_0^5*x_1^9*x_2^2 + (124.006492778718 - 159.458636383404*I)*x_0^4*x_1^10*x_2^2 + (-84.7071661522477 - 108.223611796392*I)*x_0^3*x_1^11*x_2^2 + (-137.123107407394 + 43.8878660074712*I)*x_0^2*x_1^12*x_2^2 + (-13.5114080699752 + 35.9360367720463*I)*x_0*x_1^13*x_2^2 + (6.54222107613676 - 18.6487978969890*I)*x_1^14*x_2^2 + (-3.61876457702455 + 5.11500735020598*I)*x_0^13*x_2^3 + (-6.67493143872263 + 1.94090855899774*I)*x_0^12*x_1*x_2^3 + (-41.9056048198415 + 29.9251392973918*I)*x_0^11*x_1^2*x_2^3 + (-29.0439327831900 + 94.3048507088305*I)*x_0^10*x_1^3*x_2^3 + (100.529060393444 + 46.7775326149743*I)*x_0^9*x_1^4*x_2^3 + (148.760165492391 - 147.277107736107*I)*x_0^8*x_1^5*x_2^3 + (-118.003858707524 - 296.917875297981*I)*x_0^7*x_1^6*x_2^3 + (-299.953902180989 + 44.8534843475843*I)*x_0^6*x_1^7*x_2^3 + (-15.2711248639337 + 367.994916975064*I)*x_0^5*x_1^8*x_2^3 + (309.857257850412 + 148.847301813937*I)*x_0^4*x_1^9*x_2^3 + (203.792188194332 - 131.209542652205*I)*x_0^3*x_1^10*x_2^3 + (-150.862818224247 - 126.302946896738*I)*x_0^2*x_1^11*x_2^3 + (-123.060816041615 + 48.2073312586662*I)*x_0*x_1^12*x_2^3 + (-0.408019093552429 + 32.5057445034911*I)*x_1^13*x_2^3 + (-5.32630269896593 + 8.00061865632329*I)*x_0^12*x_2^4 + (-18.3075244590174 + 36.7567635587154*I)*x_0^11*x_1*x_2^4 + (26.7004633724636 + 131.027061496413*I)*x_0^10*x_1^2*x_2^4 + (179.764093137215 + 71.6977957138716*I)*x_0^9*x_1^3*x_2^4 + (203.645034157773 - 168.309855254334*I)*x_0^8*x_1^4*x_2^4 + (-32.9597777059707 - 404.253182408718*I)*x_0^7*x_1^5*x_2^4 + (-339.005280203277 - 119.074100513403*I)*x_0^6*x_1^6*x_2^4 + (-174.991856473696 + 377.080839097779*I)*x_0^5*x_1^7*x_2^4 + (209.063508912507 + 267.038274975995*I)*x_0^4*x_1^8*x_2^4 + (249.533695133148 + 41.2726514816172*I)*x_0^3*x_1^9*x_2^4 + (31.2746861506456 - 95.0629914711070*I)*x_0^2*x_1^10*x_2^4 + (-66.4524881336049 + 23.1446752917642*I)*x_0*x_1^11*x_2^4 + (16.6183655436522 + 55.0265386529055*I)*x_1^12*x_2^4 + (6.90369649607003 + 4.35635653300505*I)*x_0^11*x_2^5 + (38.0831624178463 + 14.8290919195090*I)*x_0^10*x_1*x_2^5 + (57.1285913320640 - 46.7938254387207*I)*x_0^9*x_1^2*x_2^5 + (-56.9867410394718 - 129.440376302779*I)*x_0^8*x_1^3*x_2^5 + (-71.4673050088526 - 113.975079717532*I)*x_0^7*x_1^4*x_2^5 + (-37.1226690811957 - 156.493584541147*I)*x_0^6*x_1^5*x_2^5 + (-14.9656358587119 - 23.1042271810834*I)*x_0^5*x_1^6*x_2^5 + (1.95488881956294 - 15.8648800916822*I)*x_0^4*x_1^7*x_2^5 + (-78.1647790758787 + 129.773532408177*I)*x_0^3*x_1^8*x_2^5 + (150.734345073709 + 112.103854756951*I)*x_0^2*x_1^9*x_2^5 + (131.597780588551 - 28.2118818844355*I)*x_0*x_1^10*x_2^5 + (44.2463449815496 + 2.50131196738302*I)*x_1^11*x_2^5 + (2.56536234897240 - 1.47199633151286*I)*x_0^10*x_2^6 + (-14.8079180742487 - 13.6312029302483*I)*x_0^9*x_1*x_2^6 + (-103.618645662063 + 6.35237221547365*I)*x_0^8*x_1^2*x_2^6 + (-48.0282259777353 + 106.838402528203*I)*x_0^7*x_1^3*x_2^6 + (134.383153817402 - 98.5961057616119*I)*x_0^6*x_1^4*x_2^6 + (42.7878658450711 - 272.637472738565*I)*x_0^5*x_1^5*x_2^6 + (-24.0848198005308 - 165.913575523047*I)*x_0^4*x_1^6*x_2^6 + (-179.465514058305 - 26.1384790790514*I)*x_0^3*x_1^7*x_2^6 + (73.6255348245541 + 88.7017615109247*I)*x_0^2*x_1^8*x_2^6 + (158.307786977974 - 92.3942997723222*I)*x_0*x_1^9*x_2^6 + (18.2971865281334 - 59.1553092725254*I)*x_1^10*x_2^6 + (0.289695741518205 - 1.90286846302521*I)*x_0^9*x_2^7 + (-43.6691348846936 - 12.4771722475737*I)*x_0^8*x_1*x_2^7 + (-69.3604812059961 + 19.8106442728914*I)*x_0^7*x_1^2*x_2^7 + (-42.6332364158135 - 46.0460094263441*I)*x_0^6*x_1^3*x_2^7 + (-130.824299269237 - 119.141578135369*I)*x_0^5*x_1^4*x_2^7 + (26.3176388800380 - 16.4022291485771*I)*x_0^4*x_1^5*x_2^7 + (7.17950723817471 - 169.483062131815*I)*x_0^3*x_1^6*x_2^7 + (-108.838332405373 - 110.853257337784*I)*x_0^2*x_1^7*x_2^7 + (-45.4398883202527 - 61.8134346473940*I)*x_0*x_1^8*x_2^7 + (-36.0241015157382 - 25.4258239280314*I)*x_1^9*x_2^7 + (-15.7571103492317 + 0.778618883139449*I)*x_0^8*x_2^8 + (-93.1938074741801 + 16.7143832462259*I)*x_0^7*x_1*x_2^8 + (-94.3763741028637 + 88.1826752097315*I)*x_0^6*x_1^2*x_2^8 + (-111.667759310400 + 164.539652459096*I)*x_0^5*x_1^3*x_2^8 + (51.2213158200974 + 166.413553413475*I)*x_0^4*x_1^4*x_2^8 + (135.015988253524 - 130.725940518322*I)*x_0^3*x_1^5*x_2^8 + (-145.580631681991 - 120.676947959641*I)*x_0^2*x_1^6*x_2^8 + (-144.192539002733 + 64.6742918062317*I)*x_0*x_1^7*x_2^8 + (-34.9322701264294 + 49.6795867859131*I)*x_1^8*x_2^8 + (-13.3139056792992 + 13.5950986881828*I)*x_0^7*x_2^9 + (-22.0327977647070 + 32.8000326688710*I)*x_0^6*x_1*x_2^9 + (30.5481484325241 + 63.6330205764570*I)*x_0^5*x_1^2*x_2^9 + (-3.95223444244775 + 113.918298321742*I)*x_0^4*x_1^3*x_2^9 + (30.0805888091852 + 10.3461632313783*I)*x_0^3*x_1^4*x_2^9 + (-13.3301819768611 + 21.7497296253481*I)*x_0^2*x_1^5*x_2^9 + (8.81204506378239 + 119.742596252720*I)*x_0*x_1^6*x_2^9 + (22.7075549466720 + 51.8683287569073*I)*x_1^7*x_2^9 + (-6.95994793875086 + 3.70117084546004*I)*x_0^6*x_2^10 + (-1.74284550086097 - 28.7763639630895*I)*x_0^5*x_1*x_2^10 + (-2.89015988569602 + 37.0972138587606*I)*x_0^4*x_1^2*x_2^10 + (-23.1128779792385 + 111.724808471141*I)*x_0^3*x_1^3*x_2^10 + (81.7705985185323 + 40.7360844824559*I)*x_0^2*x_1^4*x_2^10 + (131.162645921411 + 9.00046561855704*I)*x_0*x_1^5*x_2^10 + (42.7617194820581 - 8.19717817935086*I)*x_1^6*x_2^10 + (-10.6946802647624 - 7.57800928786372*I)*x_0^5*x_2^11 + (13.7749136194907 - 29.2460617376956*I)*x_0^4*x_1*x_2^11 + (43.4369793924723 + 28.4557578177181*I)*x_0^3*x_1^2*x_2^11 + (41.2450750595970 - 25.7397098158816*I)*x_0^2*x_1^3*x_2^11 + (36.7566965701126 - 81.0692941298248*I)*x_0*x_1^4*x_2^11 + (3.83590067285640 - 37.0393268292970*I)*x_1^5*x_2^11 + (-2.16994400791680 - 16.1768843842321*I)*x_0^4*x_2^12 + (14.3276458601287 - 47.4502389014910*I)*x_0^3*x_1*x_2^12 + (-10.3035092133729 - 35.3987883746228*I)*x_0^2*x_1^2*x_2^12 + (-56.9808053316300 - 10.3011470055584*I)*x_0*x_1^3*x_2^12 + (-26.1054559476859 - 4.03512054056800*I)*x_1^4*x_2^12 + (-5.91172477981338 - 15.0344889421786*I)*x_0^3*x_2^13 + (-2.85389920654054 - 16.2885897146015*I)*x_0^2*x_1*x_2^13 + (-10.3355747244988 + 36.6967999960582*I)*x_0*x_1^2*x_2^13 + (-4.85953506264307 + 20.8300294869469*I)*x_1^3*x_2^13 + (-0.506081701326799 - 7.89463358991513*I)*x_0^2*x_2^14 + (16.1275987645805 + 4.72637951227283*I)*x_0*x_1*x_2^14 + (11.0795316342807 + 4.60338158089962*I)*x_1^2*x_2^14 + (2.45833872699615 - 4.20422008770583*I)*x_0*x_2^15 + (2.45354078668327 - 4.31431714729332*I)*x_1*x_2^15 + (-0.646685753432254 - 0.819825366415486*I)*x_2^16 + (-5.24741754490769 - 1.90095835835104*I)*x_0^15 + (-14.2951913825165 + 6.94404859349517*I)*x_0^14*x_1 + (12.8695122220625 + 51.1515787240826*I)*x_0^13*x_1^2 + (89.9817093676133 + 31.9826780706762*I)*x_0^12*x_1^3 + (89.6372475555616 - 138.120223574987*I)*x_0^11*x_1^4 + (-154.771397360483 - 146.970454286968*I)*x_0^10*x_1^5 + (-285.755016891836 + 188.870127627719*I)*x_0^9*x_1^6 + (137.974940940483 + 349.470912645886*I)*x_0^8*x_1^7 + (425.435840438521 - 18.0339263297085*I)*x_0^7*x_1^8 + (25.1139543163915 - 362.488994444976*I)*x_0^6*x_1^9 + (-388.234821602848 - 103.872153263777*I)*x_0^5*x_1^10 + (-181.402335231800 + 278.683314620791*I)*x_0^4*x_1^11 + (189.099561089744 + 115.440931388199*I)*x_0^3*x_1^12 + (84.9993653890272 - 127.384099515682*I)*x_0^2*x_1^13 + (-78.5272979671358 - 30.3419447697621*I)*x_0*x_1^14 + (-31.6617180299795 + 31.8237859915126*I)*x_1^15 + (-6.69363042688009 + 15.9518034844477*I)*x_0^14*x_2 + (35.4063095066935 + 50.1521177453029*I)*x_0^13*x_1*x_2 + (185.104551950767 + 4.03084031329715*I)*x_0^12*x_1^2*x_2 + (214.306308651090 - 275.404324074791*I)*x_0^11*x_1^3*x_2 + (-229.047787152456 - 394.549187646346*I)*x_0^10*x_1^4*x_2 + (-691.252414610886 + 196.878788577946*I)*x_0^9*x_1^5*x_2 + (32.8055983562777 + 869.963752973520*I)*x_0^8*x_1^6*x_2 + (1123.71410987478 + 294.590506996663*I)*x_0^7*x_1^7*x_2 + (594.754117938450 - 903.638764478404*I)*x_0^6*x_1^8*x_2 + (-684.846670200719 - 695.161427168768*I)*x_0^5*x_1^9*x_2 + (-780.287629603224 + 477.882857298916*I)*x_0^4*x_1^10*x_2 + (229.354346377091 + 590.265673836551*I)*x_0^3*x_1^11*x_2 + (469.886222589723 - 175.022163326396*I)*x_0^2*x_1^12*x_2 + (-42.6132295513876 - 217.994164208783*I)*x_0*x_1^13*x_2 + (-95.6359476735750 + 61.0051303732474*I)*x_1^14*x_2 + (32.2850914830463 + 22.2225292830835*I)*x_0^13*x_2^2 + (67.3289708248961 - 38.8466412442358*I)*x_0^12*x_1*x_2^2 + (113.160302792962 - 208.035211407787*I)*x_0^11*x_1^2*x_2^2 + (-51.0588659006173 - 286.378963832439*I)*x_0^10*x_1^3*x_2^2 + (-533.269569069090 - 4.78322406657881*I)*x_0^9*x_1^4*x_2^2 + (-346.756642876952 + 571.775420581379*I)*x_0^8*x_1^5*x_2^2 + (545.043595713339 + 735.910843779599*I)*x_0^7*x_1^6*x_2^2 + (896.304078060261 - 377.660838588932*I)*x_0^6*x_1^7*x_2^2 + (40.2414398986746 - 952.602216495999*I)*x_0^5*x_1^8*x_2^2 + (-932.326408508055 - 105.615625120404*I)*x_0^4*x_1^9*x_2^2 + (-423.290079270636 + 634.738265278875*I)*x_0^3*x_1^10*x_2^2 + (520.227377885353 + 312.923559579123*I)*x_0^2*x_1^11*x_2^2 + (237.669534155504 - 240.506143016900*I)*x_0*x_1^12*x_2^2 + (-99.4883382283278 - 11.6505128100530*I)*x_1^13*x_2^2 + (42.0063311144062 + 3.22491990727412*I)*x_0^12*x_2^3 + (52.2893789023847 - 31.0704321267599*I)*x_0^11*x_1*x_2^3 + (252.495948958138 - 158.841118834181*I)*x_0^10*x_1^2*x_2^3 + (17.0420029667281 - 507.981586384558*I)*x_0^9*x_1^3*x_2^3 + (-569.953028386963 - 299.269008223536*I)*x_0^8*x_1^4*x_2^3 + (-660.775194458788 + 744.332328701307*I)*x_0^7*x_1^5*x_2^3 + (390.244359999785 + 816.082369848703*I)*x_0^6*x_1^6*x_2^3 + (1345.11163285452 - 500.136826693504*I)*x_0^5*x_1^7*x_2^3 + (-30.7545890087864 - 954.036568898758*I)*x_0^4*x_1^8*x_2^3 + (-985.995767176741 - 130.434210024515*I)*x_0^3*x_1^9*x_2^3 + (-7.99322899779594 + 660.628566972112*I)*x_0^2*x_1^10*x_2^3 + (505.663158229314 + 16.7179225758866*I)*x_0*x_1^11*x_2^3 + (-1.33008236598960 - 178.139645300029*I)*x_1^12*x_2^3 + (36.3062280141281 - 44.8418913052709*I)*x_0^11*x_2^4 + (81.4494900081577 - 99.4324617492086*I)*x_0^10*x_1*x_2^4 + (-87.2179063326340 - 470.814818952815*I)*x_0^9*x_1^2*x_2^4 + (-643.592348681620 - 369.554912265225*I)*x_0^8*x_1^3*x_2^4 + (-1011.11753924726 + 696.696895113117*I)*x_0^7*x_1^4*x_2^4 + (-330.588311935887 + 1110.32615277200*I)*x_0^6*x_1^5*x_2^4 + (1102.50371066043 + 168.086067342243*I)*x_0^5*x_1^6*x_2^4 + (507.366510791210 - 884.281369718266*I)*x_0^4*x_1^7*x_2^4 + (-483.066719253150 - 596.471002277017*I)*x_0^3*x_1^8*x_2^4 + (-420.636941209304 + 446.602641865668*I)*x_0^2*x_1^9*x_2^4 + (200.336042081185 + 237.299692160124*I)*x_0*x_1^10*x_2^4 + (14.4518787335786 - 235.095387337904*I)*x_1^11*x_2^4 + (-16.4281285510238 - 20.8565952267649*I)*x_0^10*x_2^5 + (-9.36925120205696 + 40.5666047571996*I)*x_0^9*x_1*x_2^5 + (-82.0827453488494 + 98.1577224291409*I)*x_0^8*x_1^2*x_2^5 + (87.0805816848595 + 375.692450092205*I)*x_0^7*x_1^3*x_2^5 + (-127.959541342132 + 158.781047128651*I)*x_0^6*x_1^4*x_2^5 + (-27.0727353704702 + 187.328137897134*I)*x_0^5*x_1^5*x_2^5 + (82.8447166406378 - 104.241277247807*I)*x_0^4*x_1^6*x_2^5 + (318.273379433465 - 324.743221190298*I)*x_0^3*x_1^7*x_2^5 + (34.8141500234602 - 116.559169802685*I)*x_0^2*x_1^8*x_2^5 + (-226.587571870753 + 136.211055048218*I)*x_0*x_1^9*x_2^5 + (-83.9843447545269 - 87.4190744103810*I)*x_1^10*x_2^5 + (43.2458756284684 + 15.5454510117154*I)*x_0^9*x_2^6 + (139.014700430445 + 117.622562961478*I)*x_0^8*x_1*x_2^6 + (39.2340116142472 - 18.9510860659692*I)*x_0^7*x_1^2*x_2^6 + (14.9439469284471 - 315.118116350457*I)*x_0^6*x_1^3*x_2^6 + (-523.193473424450 + 151.825452512461*I)*x_0^5*x_1^4*x_2^6 + (-308.014462417862 + 144.722114337437*I)*x_0^4*x_1^5*x_2^6 + (204.005802430176 - 199.547925021543*I)*x_0^3*x_1^6*x_2^6 + (115.757263615847 - 164.277210967791*I)*x_0^2*x_1^7*x_2^6 + (-229.247330140737 + 107.030750408222*I)*x_0*x_1^8*x_2^6 + (-68.7427013584243 + 110.589993681453*I)*x_1^9*x_2^6 + (82.6312649571161 + 43.9063658089692*I)*x_0^8*x_2^7 + (73.1777401883576 + 341.348839222228*I)*x_0^7*x_1*x_2^7 + (73.4758023452480 + 168.843948646101*I)*x_0^6*x_1^2*x_2^7 + (409.995425190454 + 18.1710313498128*I)*x_0^5*x_1^3*x_2^7 + (108.192350374911 - 151.039119062153*I)*x_0^4*x_1^4*x_2^7 + (-209.024194973691 - 339.340085587199*I)*x_0^3*x_1^5*x_2^7 + (-140.458943089309 + 36.6991904151775*I)*x_0^2*x_1^6*x_2^7 + (197.267081979435 + 32.8774420480317*I)*x_0*x_1^7*x_2^7 + (161.218418996522 + 56.4631638907368*I)*x_1^8*x_2^7 + (141.873856328349 + 67.0927036994143*I)*x_0^7*x_2^8 + (185.419685214022 + 295.985912779570*I)*x_0^6*x_1*x_2^8 + (139.308717083854 - 302.909029162994*I)*x_0^5*x_1^2*x_2^8 + (175.595163025162 - 582.312333027751*I)*x_0^4*x_1^3*x_2^8 + (-284.763578544660 - 91.1840124649296*I)*x_0^3*x_1^4*x_2^8 + (-312.153401455254 + 211.089019160064*I)*x_0^2*x_1^5*x_2^8 + (212.345148590491 - 213.419605545069*I)*x_0*x_1^6*x_2^8 + (201.011722123968 - 193.770074036451*I)*x_1^7*x_2^8 + (71.4213112229146 + 56.3520330285459*I)*x_0^6*x_2^9 + (-131.376435566284 + 234.850034883406*I)*x_0^5*x_1*x_2^9 + (-240.705083949798 - 183.999192352142*I)*x_0^4*x_1^2*x_2^9 + (224.826856254141 + 74.8712201852555*I)*x_0^3*x_1^3*x_2^9 + (-0.327278933968955 + 197.212491616275*I)*x_0^2*x_1^4*x_2^9 + (-138.633219414771 - 300.385020391217*I)*x_0*x_1^5*x_2^9 + (-40.9008963876016 - 233.322955073288*I)*x_1^6*x_2^9 + (27.8018397342547 + 120.966274314649*I)*x_0^5*x_2^10 + (-152.056992352073 + 169.107387818251*I)*x_0^4*x_1*x_2^10 + (5.61912995799067 - 231.235028645853*I)*x_0^3*x_1^2*x_2^10 + (55.8395097503233 - 85.4183612009599*I)*x_0^2*x_1^3*x_2^10 + (-264.695111228575 + 18.6688969085694*I)*x_0*x_1^4*x_2^10 + (-180.476033772540 - 8.59935912586798*I)*x_1^5*x_2^10 + (-1.73318494329122 + 81.8926281143561*I)*x_0^4*x_2^11 + (-233.945882484605 + 44.0798644188456*I)*x_0^3*x_1*x_2^11 + (-222.145192895091 - 39.5471023595687*I)*x_0^2*x_1^2*x_2^11 + (50.7432584050074 + 188.069102285709*I)*x_0*x_1^3*x_2^11 + (-0.529686818029731 + 157.521681679679*I)*x_1^4*x_2^11 + (-18.8841148115181 + 64.7833556129784*I)*x_0^3*x_2^12 + (-123.560348154795 + 88.7023837654514*I)*x_0^2*x_1*x_2^12 + (154.879774561187 - 30.2628406813502*I)*x_0*x_1^2*x_2^12 + (144.302545804439 + 6.23564583644544*I)*x_1^3*x_2^12 + (-14.5051422760558 + 17.7253079504309*I)*x_0^2*x_2^13 + (-7.59044641430766 - 91.7941054900608*I)*x_0*x_1*x_2^13 + (26.3099356529109 - 91.0158105797079*I)*x_1^2*x_2^13 + (-26.9236905138509 - 11.1470466793971*I)*x_0*x_2^14 + (-34.8151749330140 - 20.1301151935334*I)*x_1*x_2^14 + (-6.38543009630165 + 5.22984358257447*I)*x_2^15 + (21.1311758751678 + 0.341653340398226*I)*x_0^14 + (60.3260710052921 - 35.0034603653000*I)*x_0^13*x_1 + (-32.0146456328371 - 172.099303969457*I)*x_0^12*x_1^2 + (-308.462918666027 - 137.436180645006*I)*x_0^11*x_1^3 + (-249.251241911650 + 392.770057873103*I)*x_0^10*x_1^4 + (465.577022324158 + 465.696540088417*I)*x_0^9*x_1^5 + (678.743978226581 - 512.856189510485*I)*x_0^8*x_1^6 + (-304.564741782165 - 846.845017033251*I)*x_0^7*x_1^7 + (-886.228867265135 + 148.299041850854*I)*x_0^6*x_1^8 + (10.1472333299805 + 733.687019552159*I)*x_0^5*x_1^9 + (732.247439960413 - 8.19408171670881*I)*x_0^4*x_1^10 + (65.9455286049525 - 486.897283522334*I)*x_0^3*x_1^11 + (-282.635672191060 + 2.94987915975065*I)*x_0^2*x_1^12 + (65.7887618752169 + 102.468990481657*I)*x_0*x_1^13 + (92.1471175314597 - 58.7321542470167*I)*x_1^14 + (34.2308583995381 - 76.7223018604535*I)*x_0^13*x_2 + (-92.4374389602032 - 187.266288978026*I)*x_0^12*x_1*x_2 + (-594.935852015899 - 74.5536555580350*I)*x_0^11*x_1^2*x_2 + (-744.260933420931 + 627.906012382767*I)*x_0^10*x_1^3*x_2 + (603.520817439458 + 1287.59375428704*I)*x_0^9*x_1^4*x_2 + (1818.37506401300 - 259.002787847959*I)*x_0^8*x_1^5*x_2 + (213.808957580758 - 2064.26421348104*I)*x_0^7*x_1^6*x_2 + (-2232.32992146186 - 532.473798063276*I)*x_0^6*x_1^7*x_2 + (-1241.63003986192 + 1711.21215420768*I)*x_0^5*x_1^8*x_2 + (1350.71405831311 + 1157.12641882420*I)*x_0^4*x_1^9*x_2 + (918.407905238560 - 771.252013133880*I)*x_0^3*x_1^10*x_2 + (-636.464592897673 - 532.410206955852*I)*x_0^2*x_1^11*x_2 + (-286.028638038124 + 321.510811203235*I)*x_0*x_1^12*x_2 + (222.274774369777 - 34.0696572579536*I)*x_1^13*x_2 + (-54.2147362966807 - 101.089609018464*I)*x_0^12*x_2^2 + (-199.343946552132 - 55.0921481109309*I)*x_0^11*x_1*x_2^2 + (-467.678770488363 + 290.717062333190*I)*x_0^10*x_1^2*x_2^2 + (-174.981677035084 + 956.959777499720*I)*x_0^9*x_1^3*x_2^2 + (1330.22309177891 + 421.786141016924*I)*x_0^8*x_1^4*x_2^2 + (1763.36379836028 - 1332.43709105159*I)*x_0^7*x_1^5*x_2^2 + (-848.134450305762 - 1658.87357633485*I)*x_0^6*x_1^6*x_2^2 + (-2464.02105425086 + 298.088948211278*I)*x_0^5*x_1^7*x_2^2 + (-3.79307796951821 + 1835.17822136143*I)*x_0^4*x_1^8*x_2^2 + (1637.73348106400 + 323.428777253267*I)*x_0^3*x_1^9*x_2^2 + (38.7672823885430 - 1141.02893792752*I)*x_0^2*x_1^10*x_2^2 + (-848.770891038427 - 79.5180591599611*I)*x_0*x_1^11*x_2^2 + (122.915077597614 + 134.809444516504*I)*x_1^12*x_2^2 + (-187.236689409159 - 112.809377612252*I)*x_0^11*x_2^3 + (-300.528015065221 - 228.573547029470*I)*x_0^10*x_1*x_2^3 + (-810.929917589995 + 687.424757430154*I)*x_0^9*x_1^2*x_2^3 + (-80.1772056822092 + 1583.50785992611*I)*x_0^8*x_1^3*x_2^3 + (2227.90588158715 + 387.162708375539*I)*x_0^7*x_1^4*x_2^3 + (1524.31817383707 - 1459.78390085183*I)*x_0^6*x_1^5*x_2^3 + (-2038.17887247850 - 1628.73977938958*I)*x_0^5*x_1^6*x_2^3 + (-2009.66578899009 + 1714.61284215767*I)*x_0^4*x_1^7*x_2^3 + (984.587463407951 + 1919.63809476507*I)*x_0^3*x_1^8*x_2^3 + (1047.65911850948 - 908.398937818072*I)*x_0^2*x_1^9*x_2^3 + (-984.768831811953 - 636.152216656163*I)*x_0*x_1^10*x_2^3 + (-240.823527848413 + 494.394792872365*I)*x_1^11*x_2^3 + (-239.526845953049 + 43.8478171822742*I)*x_0^10*x_2^4 + (-123.155930002028 + 63.8170543203079*I)*x_0^9*x_1*x_2^4 + (365.965151759878 + 940.744432189778*I)*x_0^8*x_1^2*x_2^4 + (1748.90230067696 + 422.512988600864*I)*x_0^7*x_1^3*x_2^4 + (1682.09984215901 - 1132.00328306730*I)*x_0^6*x_1^4*x_2^4 + (-341.264344317752 - 1810.48351527183*I)*x_0^5*x_1^5*x_2^4 + (-1450.50039982550 + 464.656060855076*I)*x_0^4*x_1^6*x_2^4 + (-82.5098874159464 + 1972.77361083829*I)*x_0^3*x_1^7*x_2^4 + (1113.49996604774 - 284.578742564658*I)*x_0^2*x_1^8*x_2^4 + (-105.271360552433 - 907.344133091447*I)*x_0*x_1^9*x_2^4 + (-262.839699917674 + 567.333563076811*I)*x_1^10*x_2^4 + (-104.292969215837 - 45.4316574788461*I)*x_0^9*x_2^5 + (134.236670512280 - 580.900284567221*I)*x_0^8*x_1*x_2^5 + (388.709838901534 - 149.045598254724*I)*x_0^7*x_1^2*x_2^5 + (-474.559053986848 + 10.3026083793581*I)*x_0^6*x_1^3*x_2^5 + (144.354131363801 - 321.703687914639*I)*x_0^5*x_1^4*x_2^5 + (178.243346364145 + 151.736333189788*I)*x_0^4*x_1^5*x_2^5 + (-444.152080848782 + 1056.44869443600*I)*x_0^3*x_1^6*x_2^5 + (294.303073369289 + 367.341107799345*I)*x_0^2*x_1^7*x_2^5 + (501.057457645702 - 537.385983101664*I)*x_0*x_1^8*x_2^5 + (14.0645126720670 + 226.883845596642*I)*x_1^9*x_2^5 + (-110.680936647065 - 234.808101647967*I)*x_0^8*x_2^6 + (358.959967993522 - 574.355545140333*I)*x_0^7*x_1*x_2^6 + (526.378349552123 + 343.263862744504*I)*x_0^6*x_1^2*x_2^6 + (-85.5095438533665 - 97.8859079265873*I)*x_0^5*x_1^3*x_2^6 + (374.368884337265 - 692.843330449595*I)*x_0^4*x_1^4*x_2^6 + (-273.685598796218 + 194.757457775310*I)*x_0^3*x_1^5*x_2^6 + (656.860755464874 + 641.794720262165*I)*x_0^2*x_1^6*x_2^6 + (512.042444204748 - 489.609300057296*I)*x_0*x_1^7*x_2^6 + (-12.6811369559248 - 375.927196011140*I)*x_1^8*x_2^6 + (-110.320722561534 - 481.790172907598*I)*x_0^7*x_2^7 + (465.052111151626 - 1019.59542150248*I)*x_0^6*x_1*x_2^7 + (-48.7242306942485 - 227.891757406183*I)*x_0^5*x_1^2*x_2^7 + (-1679.26463099705 + 89.9803606309732*I)*x_0^4*x_1^3*x_2^7 + (-698.098366573917 - 246.963613112315*I)*x_0^3*x_1^4*x_2^7 + (796.385071425509 + 244.147204716927*I)*x_0^2*x_1^5*x_2^7 + (-53.8256569337139 - 99.5360265262892*I)*x_0*x_1^6*x_2^7 + (-651.234169676066 - 304.816839064079*I)*x_1^7*x_2^7 + (-198.678551787209 - 398.486568646426*I)*x_0^6*x_2^8 + (329.138381098937 - 357.115753596051*I)*x_0^5*x_1*x_2^8 + (-226.271953467100 + 1147.63421914912*I)*x_0^4*x_1^2*x_2^8 + (-652.358512609499 + 92.9839219568786*I)*x_0^3*x_1^3*x_2^8 + (534.330572918486 - 546.160696635056*I)*x_0^2*x_1^4*x_2^8 + (-22.4568102996650 + 150.099240585315*I)*x_0*x_1^5*x_2^8 + (-624.622164995417 + 345.983098252326*I)*x_1^6*x_2^8 + (49.7505730504592 - 194.216560826298*I)*x_0^5*x_2^9 + (574.409980489737 + 27.7282275364506*I)*x_0^4*x_1*x_2^9 + (-195.691072778611 + 443.654959973887*I)*x_0^3*x_1^2*x_2^9 + (-545.579596117651 - 178.741944477657*I)*x_0^2*x_1^3*x_2^9 + (92.8589662616615 + 120.751937306277*I)*x_0*x_1^4*x_2^9 + (5.51087804445044 + 470.417647317195*I)*x_1^5*x_2^9 + (141.713648721288 - 111.389431808231*I)*x_0^4*x_2^10 + (309.456648686415 + 365.091604238241*I)*x_0^3*x_1*x_2^10 + (-1.52420421637760 + 850.590460592273*I)*x_0^2*x_1^2*x_2^10 + (162.541040023376 - 81.5437189778954*I)*x_0*x_1^3*x_2^10 + (339.210959305156 - 88.5974322474528*I)*x_1^4*x_2^10 + (183.141676641265 - 26.0643858837430*I)*x_0^3*x_2^11 + (474.450056145325 + 258.801054415980*I)*x_0^2*x_1*x_2^11 + (-41.7473009912239 - 155.964089985943*I)*x_0*x_1^2*x_2^11 + (-98.8000806497128 - 429.841675710610*I)*x_1^3*x_2^11 + (72.0736133722248 - 43.6967188642334*I)*x_0^2*x_2^12 + (-152.690900920272 + 36.6171988696515*I)*x_0*x_1*x_2^12 + (-339.624474256984 - 28.9729630345133*I)*x_1^2*x_2^12 + (-19.6439839509381 + 66.3328034466865*I)*x_0*x_2^13 + (-71.0599362677739 + 140.207467371862*I)*x_1*x_2^13 + (20.0529168526068 + 27.2903353461561*I)*x_2^14 + (-69.2715335741585 - 7.82173020808564*I)*x_0^13 + (-192.267049163871 + 135.325412069468*I)*x_0^12*x_1 + (87.0460306767928 + 488.816909256023*I)*x_0^11*x_1^2 + (819.260209619761 + 314.138942461393*I)*x_0^10*x_1^3 + (455.001680517390 - 869.283613372973*I)*x_0^9*x_1^4 + (-1103.15205672940 - 821.881834699086*I)*x_0^8*x_1^5 + (-1156.36144429489 + 1073.65673417434*I)*x_0^7*x_1^6 + (663.400847615693 + 1474.49524071700*I)*x_0^6*x_1^7 + (1183.43664959578 - 430.723687626541*I)*x_0^5*x_1^8 + (-419.702466780517 - 1037.44108651262*I)*x_0^4*x_1^9 + (-759.679036232267 + 354.012207956953*I)*x_0^3*x_1^10 + (166.936474379228 + 438.248964548067*I)*x_0^2*x_1^11 + (89.9155513502511 - 84.9598635739932*I)*x_0*x_1^12 + (-141.586493118326 + 34.5463406963175*I)*x_1^13 + (-85.5757918973094 + 225.718845964746*I)*x_0^12*x_2 + (142.009160291590 + 549.959375454750*I)*x_0^11*x_1*x_2 + (1258.16551759395 + 301.008527782545*I)*x_0^10*x_1^2*x_2 + (1804.16049560909 - 1286.47231383983*I)*x_0^9*x_1^3*x_2 + (-1277.21531501457 - 2476.80761069566*I)*x_0^8*x_1^4*x_2 + (-3563.94701551663 + 225.291637100935*I)*x_0^7*x_1^5*x_2 + (-131.429327817566 + 3425.76532058305*I)*x_0^6*x_1^6*x_2 + (3222.66051115079 + 1061.48404580032*I)*x_0^5*x_1^7*x_2 + (995.585886089999 - 2603.40383983740*I)*x_0^4*x_1^8*x_2 + (-1838.83776468548 - 1156.65884388570*I)*x_0^3*x_1^9*x_2 + (-545.721674833665 + 943.433183588931*I)*x_0^2*x_1^10*x_2 + (650.832691001565 + 182.608577089685*I)*x_0*x_1^11*x_2 + (-215.409199057886 - 65.8988534758562*I)*x_1^12*x_2 + (104.188913896056 + 411.876076506129*I)*x_0^11*x_2^2 + (297.398154694641 + 552.470260927991*I)*x_0^10*x_1*x_2^2 + (1252.08810516222 - 287.652470559197*I)*x_0^9*x_1^2*x_2^2 + (927.681145379210 - 1817.61201814636*I)*x_0^8*x_1^3*x_2^2 + (-2695.98073278075 - 1440.13961811999*I)*x_0^7*x_1^4*x_2^2 + (-3003.30159658601 + 2150.30181251063*I)*x_0^6*x_1^5*x_2^2 + (1591.41085358171 + 3615.83669872251*I)*x_0^5*x_1^6*x_2^2 + (3448.76249747549 - 684.927190513174*I)*x_0^4*x_1^7*x_2^2 + (-295.432297143692 - 2471.61038404176*I)*x_0^3*x_1^8*x_2^2 + (-1776.32477743285 + 205.165989692093*I)*x_0^2*x_1^9*x_2^2 + (615.206507097379 + 908.912138345574*I)*x_0*x_1^10*x_2^2 + (32.2770099534511 - 202.428933098497*I)*x_1^11*x_2^2 + (458.531123743912 + 567.390712631815*I)*x_0^10*x_2^3 + (866.835762599059 + 780.702637785620*I)*x_0^9*x_1*x_2^3 + (1708.66750460625 - 1421.90305556158*I)*x_0^8*x_1^2*x_2^3 + (-10.0110388959265 - 3752.26481888826*I)*x_0^7*x_1^3*x_2^3 + (-3291.15979507174 - 655.798089232331*I)*x_0^6*x_1^4*x_2^3 + (-1699.31080708013 + 3700.62252864828*I)*x_0^5*x_1^5*x_2^3 + (3359.82975127533 + 1185.13594289640*I)*x_0^4*x_1^6*x_2^3 + (2024.85714657057 - 2959.29421765303*I)*x_0^3*x_1^7*x_2^3 + (-1751.42446639205 - 1150.22214334033*I)*x_0^2*x_1^8*x_2^3 + (21.1112523429971 + 1335.30943728061*I)*x_0*x_1^9*x_2^3 + (569.559474977728 - 511.993655104259*I)*x_1^10*x_2^3 + (552.605198578405 + 191.309576197173*I)*x_0^9*x_2^4 + (101.601507140063 + 277.999094692683*I)*x_0^8*x_1*x_2^4 + (-832.452229609336 - 2127.48517469713*I)*x_0^7*x_1^2*x_2^4 + (-1702.62538151965 - 1238.38193366679*I)*x_0^6*x_1^3*x_2^4 + (-1766.71073016647 + 2695.93710517499*I)*x_0^5*x_1^4*x_2^4 + (909.585193462364 + 2052.03343181829*I)*x_0^4*x_1^5*x_2^4 + (2164.93062821586 - 1362.82698579675*I)*x_0^3*x_1^6*x_2^4 + (-410.431550015388 - 1523.04822971666*I)*x_0^2*x_1^7*x_2^4 + (-1150.61319874564 + 1167.71637810394*I)*x_0*x_1^8*x_2^4 + (492.174614761165 - 431.175348464141*I)*x_1^9*x_2^4 + (136.239629538551 + 288.076473511138*I)*x_0^8*x_2^5 + (-595.054439908413 + 649.389191445521*I)*x_0^7*x_1*x_2^5 + (-437.364970396494 - 1238.62973493993*I)*x_0^6*x_1^2*x_2^5 + (185.234525214885 - 23.3697156535010*I)*x_0^5*x_1^3*x_2^5 + (117.204673644201 + 1129.83465055224*I)*x_0^4*x_1^4*x_2^5 + (500.059351501583 - 450.891375796061*I)*x_0^3*x_1^5*x_2^5 + (469.422069883725 - 1923.56147701077*I)*x_0^2*x_1^6*x_2^5 + (-1123.90923868890 + 392.752319139964*I)*x_0*x_1^7*x_2^5 + (153.846896108153 + 109.203686510453*I)*x_1^8*x_2^5 + (-237.520853973440 + 393.742518081311*I)*x_0^7*x_2^6 + (-1518.55070975067 + 384.385757015868*I)*x_0^6*x_1*x_2^6 + (-1356.94736080488 - 535.851103972242*I)*x_0^5*x_1^2*x_2^6 + (1245.47431254857 + 1309.80083541566*I)*x_0^4*x_1^3*x_2^6 + (433.790989696826 + 1182.36273294963*I)*x_0^3*x_1^4*x_2^6 + (-770.880058378568 - 1172.79579495293*I)*x_0^2*x_1^5*x_2^6 + (-1265.69836754258 - 85.4398447298207*I)*x_0*x_1^6*x_2^6 + (285.121884748887 + 910.435074624947*I)*x_1^7*x_2^6 + (-280.779999855479 + 829.508910715661*I)*x_0^6*x_2^7 + (-1025.67147837908 + 917.279392172298*I)*x_0^5*x_1*x_2^7 + (1206.26507281073 - 177.133746309388*I)*x_0^4*x_1^2*x_2^7 + (1870.17542328026 + 76.1066738674250*I)*x_0^3*x_1^3*x_2^7 + (-554.216547216326 - 81.9340727938333*I)*x_0^2*x_1^4*x_2^7 + (-792.772177630692 - 151.356990347118*I)*x_0*x_1^5*x_2^7 + (924.034334607348 + 621.846789572095*I)*x_1^6*x_2^7 + (41.4858600525247 + 357.221929143761*I)*x_0^5*x_2^8 + (-303.201132809539 - 386.244016253667*I)*x_0^4*x_1*x_2^8 + (484.690894588351 - 737.848373818591*I)*x_0^3*x_1^2*x_2^8 + (124.140084867631 + 165.093861469841*I)*x_0^2*x_1^3*x_2^8 + (-528.197733488744 + 34.7936448248555*I)*x_0*x_1^4*x_2^8 + (574.526619363440 - 220.503085082071*I)*x_1^5*x_2^8 + (-130.287254029511 - 18.1166991272411*I)*x_0^4*x_2^9 + (24.5957363457863 - 416.056460587345*I)*x_0^3*x_1*x_2^9 + (1005.28092971021 - 601.795930426806*I)*x_0^2*x_1^2*x_2^9 + (-74.5677770638609 - 251.955385382923*I)*x_0*x_1^3*x_2^9 + (-227.170839355410 - 223.592420409846*I)*x_1^4*x_2^9 + (-121.901194931659 - 212.547540506724*I)*x_0^3*x_2^10 + (6.46047600350539 - 878.698528644512*I)*x_0^2*x_1*x_2^10 + (-364.078953055477 - 252.447341603203*I)*x_0*x_1^2*x_2^10 + (-503.460207315328 + 455.655443395830*I)*x_1^3*x_2^10 + (-204.685316221196 - 50.1012326986527*I)*x_0^2*x_2^11 + (-115.569879013742 + 201.184306299657*I)*x_0*x_1*x_2^11 + (127.425238291935 + 678.999719293912*I)*x_1^2*x_2^11 + (87.3085799142012 + 69.4114728095362*I)*x_0*x_2^12 + (353.708472573321 + 106.137118334246*I)*x_1*x_2^12 + (66.8022148135655 - 56.2084849116657*I)*x_2^13 + (175.250550015913 - 10.5384734241859*I)*x_0^12 + (417.953689057131 - 355.169434879128*I)*x_0^11*x_1 + (-198.185387251262 - 983.990651393370*I)*x_0^10*x_1^2 + (-1474.24623083456 - 438.402536067968*I)*x_0^9*x_1^3 + (-503.509151163686 + 1353.04754642913*I)*x_0^8*x_1^4 + (1795.88257154154 + 915.481264063628*I)*x_0^7*x_1^5 + (1230.05268350340 - 1742.03241915243*I)*x_0^6*x_1^6 + (-1159.76505492584 - 1700.05814908291*I)*x_0^5*x_1^7 + (-816.375840054000 + 705.391504531841*I)*x_0^4*x_1^8 + (899.125339266376 + 639.773416750390*I)*x_0^3*x_1^9 + (424.880089635358 - 484.502185903227*I)*x_0^2*x_1^10 + (-196.597893392314 - 254.803238874892*I)*x_0*x_1^11 + (85.4982641652614 - 14.8668107604938*I)*x_1^12 + (224.522809011051 - 467.497947698324*I)*x_0^11*x_2 + (-69.2735338772825 - 1209.78449633145*I)*x_0^10*x_1*x_2 + (-2016.73434611448 - 790.059795111168*I)*x_0^9*x_1^2*x_2 + (-2990.36239507208 + 2162.70435611579*I)*x_0^8*x_1^3*x_2 + (1886.48432966218 + 3644.85222720429*I)*x_0^7*x_1^4*x_2 + (4877.03013088327 - 840.318066182867*I)*x_0^6*x_1^5*x_2 + (-192.923523991397 - 4471.87728307190*I)*x_0^5*x_1^6*x_2 + (-3897.78529075792 - 991.722619649084*I)*x_0^4*x_1^7*x_2 + (-190.293222524320 + 2611.66103281574*I)*x_0^3*x_1^8*x_2 + (2115.51593277485 + 622.369651885331*I)*x_0^2*x_1^9*x_2 + (-73.2284094531452 - 1063.05196181822*I)*x_0*x_1^10*x_2 + (-132.479790658067 - 50.0327455964291*I)*x_1^11*x_2 + (2.01727184387943 - 986.675992132510*I)*x_0^10*x_2^2 + (-370.755915353619 - 1681.81635284189*I)*x_0^9*x_1*x_2^2 + (-2253.48471253418 + 102.817580975200*I)*x_0^8*x_1^2*x_2^2 + (-2167.49166591819 + 3691.93030110256*I)*x_0^7*x_1^3*x_2^2 + (3637.47775573438 + 1751.45386568336*I)*x_0^6*x_1^4*x_2^2 + (4325.32373038806 - 4131.47176464071*I)*x_0^5*x_1^5*x_2^2 + (-3250.84079409060 - 4189.11311982338*I)*x_0^4*x_1^6*x_2^2 + (-3954.46371675958 + 1534.35839799594*I)*x_0^3*x_1^7*x_2^2 + (1313.57526128063 + 2586.23834151300*I)*x_0^2*x_1^8*x_2^2 + (1039.83045728644 - 1145.25716078247*I)*x_0*x_1^9*x_2^2 + (-261.727857301802 - 91.4831803792676*I)*x_1^10*x_2^2 + (-864.194249286215 - 1245.34670400979*I)*x_0^9*x_2^3 + (-1398.41879727062 - 1357.45260897194*I)*x_0^8*x_1*x_2^3 + (-2488.56901804264 + 3064.54288791547*I)*x_0^7*x_1^2*x_2^3 + (-208.692218435390 + 5236.25266312741*I)*x_0^6*x_1^3*x_2^3 + (4213.41871738642 - 857.794250350596*I)*x_0^5*x_1^4*x_2^3 + (592.131621319924 - 4352.64351934140*I)*x_0^4*x_1^5*x_2^3 + (-4260.55475012364 - 86.4313120627498*I)*x_0^3*x_1^6*x_2^3 + (-1346.67730014725 + 3474.74119209118*I)*x_0^2*x_1^7*x_2^3 + (1492.24248058898 - 154.103291513801*I)*x_0*x_1^8*x_2^3 + (-425.408493306437 + 67.3981064827287*I)*x_1^9*x_2^3 + (-775.876653502705 - 486.292146408807*I)*x_0^8*x_2^4 + (-188.396089469925 + 33.1277499071808*I)*x_0^7*x_1*x_2^4 + (405.309431751013 + 3247.29509214669*I)*x_0^6*x_1^2*x_2^4 + (2352.29489860002 + 1820.16855299268*I)*x_0^5*x_1^3*x_2^4 + (1604.95969085437 - 3039.80653305919*I)*x_0^4*x_1^4*x_2^4 + (-1360.68782930176 - 1900.04347257790*I)*x_0^3*x_1^5*x_2^4 + (-2570.05636405324 + 2437.04433433043*I)*x_0^2*x_1^6*x_2^4 + (1547.92828413441 + 983.323847373895*I)*x_0*x_1^7*x_2^4 + (-10.0666180871464 - 11.8021444600952*I)*x_1^8*x_2^4 + (-212.389533802403 - 62.6376242144775*I)*x_0^7*x_2^5 + (640.968027768856 + 474.459871164121*I)*x_0^6*x_1*x_2^5 + (1550.20333947257 + 2508.12978072300*I)*x_0^5*x_1^2*x_2^5 + (985.675609278208 - 316.230639988151*I)*x_0^4*x_1^3*x_2^5 + (-165.471063136411 - 1911.86071848911*I)*x_0^3*x_1^4*x_2^5 + (-1206.10170881184 + 1022.87904295081*I)*x_0^2*x_1^5*x_2^5 + (1313.31609915155 + 1598.76800247311*I)*x_0*x_1^6*x_2^5 + (-8.88614954917037 - 473.011052762301*I)*x_1^7*x_2^5 + (797.234325455582 - 166.365780430584*I)*x_0^6*x_2^6 + (2344.25618409460 - 52.9427768942271*I)*x_0^5*x_1*x_2^6 + (1338.33687611231 - 525.517592554553*I)*x_0^4*x_1^2*x_2^6 + (-1072.62281168841 - 1559.09270232907*I)*x_0^3*x_1^3*x_2^6 + (-614.038486682795 - 499.075293925654*I)*x_0^2*x_1^4*x_2^6 + (1753.30895457026 + 804.243147607665*I)*x_0*x_1^5*x_2^6 + (34.5288278327647 - 1023.38032297769*I)*x_1^6*x_2^6 + (491.723359630868 - 786.857281701870*I)*x_0^5*x_2^7 + (417.682288427307 - 854.713909839388*I)*x_0^4*x_1*x_2^7 + (-780.695537021553 - 222.249454994575*I)*x_0^3*x_1^2*x_2^7 + (-1123.69398886289 + 26.8894192455194*I)*x_0^2*x_1^3*x_2^7 + (396.422457929443 + 359.359684655927*I)*x_0*x_1^4*x_2^7 + (-293.443978754417 - 657.882192825679*I)*x_1^5*x_2^7 + (-138.335227759077 - 299.308347076785*I)*x_0^4*x_2^8 + (-140.776872845928 - 195.688532718326*I)*x_0^3*x_1*x_2^8 + (-863.648170685649 - 112.784211799626*I)*x_0^2*x_1^2*x_2^8 + (-396.958891286591 + 671.367800113482*I)*x_0*x_1^3*x_2^8 + (82.6398564953179 + 58.7776264699011*I)*x_1^4*x_2^8 + (-237.635297879743 + 79.3916507092666*I)*x_0^3*x_2^9 + (-864.077907383316 + 384.794018372855*I)*x_0^2*x_1*x_2^9 + (-292.448032207524 + 1067.31792520544*I)*x_0*x_1^2*x_2^9 + (542.488723580697 + 91.9093437500978*I)*x_1^3*x_2^9 + (1.37056820727679 + 333.430625304838*I)*x_0^2*x_2^10 + (536.596174515297 + 436.325057429397*I)*x_0*x_1*x_2^10 + (641.807838617096 - 384.434367109367*I)*x_1^2*x_2^10 + (190.910857620015 - 127.389244576042*I)*x_0*x_2^11 + (70.8292975914615 - 504.062727026672*I)*x_1*x_2^11 + (-103.804655649313 - 95.6006111348782*I)*x_2^12 + (-357.567422099271 + 77.4888885502495*I)*x_0^11 + (-668.818671263714 + 762.843045904650*I)*x_0^10*x_1 + (432.232339344335 + 1515.74212856715*I)*x_0^9*x_1^2 + (2041.88025484615 + 287.352983163100*I)*x_0^8*x_1^3 + (317.883585178432 - 1614.85036835639*I)*x_0^7*x_1^4 + (-2296.10290199634 - 398.214398810519*I)*x_0^6*x_1^5 + (-805.607201735885 + 2069.41569864567*I)*x_0^5*x_1^6 + (1463.46226386540 + 1336.96868770129*I)*x_0^4*x_1^7 + (278.457217981088 - 612.789502484515*I)*x_0^3*x_1^8 + (-799.485828821481 - 55.4202495273043*I)*x_0^2*x_1^9 + (-55.9664787531213 + 531.308423079432*I)*x_0*x_1^10 + (114.789437710536 + 60.6849404849860*I)*x_1^11 + (-456.310381163169 + 774.114290656425*I)*x_0^10*x_2 + (-186.243806410864 + 2100.85817096679*I)*x_0^9*x_1*x_2 + (2710.01832100480 + 1316.49494864907*I)*x_0^8*x_1^2*x_2 + (3703.58269391863 - 3101.36194003670*I)*x_0^7*x_1^3*x_2 + (-2550.96353998046 - 3630.60378495748*I)*x_0^6*x_1^4*x_2 + (-5268.27395779345 + 1864.31671551590*I)*x_0^5*x_1^5*x_2 + (989.751693746742 + 4523.80656279160*I)*x_0^4*x_1^6*x_2 + (3537.08037996782 - 314.511787140651*I)*x_0^3*x_1^7*x_2 + (-554.334661962002 - 2044.76841556765*I)*x_0^2*x_1^8*x_2 + (-1217.51488685780 + 965.678900398941*I)*x_0*x_1^9*x_2 + (374.436187518382 + 442.093710635889*I)*x_1^10*x_2 + (-194.618985118759 + 1677.41671769317*I)*x_0^9*x_2^2 + (510.732367532223 + 2895.02022390330*I)*x_0^8*x_1*x_2^2 + (3537.72411246568 + 7.33723625485936*I)*x_0^7*x_1^2*x_2^2 + (2576.27746156041 - 4877.47397318663*I)*x_0^6*x_1^3*x_2^2 + (-4445.42952219780 - 1369.39865532246*I)*x_0^5*x_1^4*x_2^2 + (-3576.59214113771 + 5841.35535563423*I)*x_0^4*x_1^5*x_2^2 + (3720.13627693328 + 2606.86713975542*I)*x_0^3*x_1^6*x_2^2 + (2888.71059077444 - 3397.00839343142*I)*x_0^2*x_1^7*x_2^2 + (-1740.20287660186 - 499.362943292579*I)*x_0*x_1^8*x_2^2 + (51.2622207098137 + 725.668760837021*I)*x_1^9*x_2^2 + (1137.62586318149 + 1764.20418548048*I)*x_0^8*x_2^3 + (2290.02268784549 + 1385.07009522137*I)*x_0^7*x_1*x_2^3 + (2639.97279531839 - 3622.07103871587*I)*x_0^6*x_1^2*x_2^3 + (-817.786066319304 - 6119.74235529606*I)*x_0^5*x_1^3*x_2^3 + (-3726.43478443863 + 2155.32758946569*I)*x_0^4*x_1^4*x_2^3 + (112.502084171088 + 4504.58606008824*I)*x_0^3*x_1^5*x_2^3 + (4075.97225514584 - 2274.34220220889*I)*x_0^2*x_1^6*x_2^3 + (-582.669533193530 - 2698.79852694476*I)*x_0*x_1^7*x_2^3 + (-369.538419691031 + 276.775126824415*I)*x_1^8*x_2^3 + (1211.53802985348 + 494.353616533135*I)*x_0^7*x_2^4 + (876.187372905169 - 513.780170366379*I)*x_0^6*x_1*x_2^4 + (-760.364890508599 - 4386.10652989752*I)*x_0^5*x_1^2*x_2^4 + (-2928.45556088669 - 1962.31380700315*I)*x_0^4*x_1^3*x_2^4 + (-1378.06559034241 + 4070.11157041657*I)*x_0^3*x_1^4*x_2^4 + (2592.90355773444 + 762.844674688177*I)*x_0^2*x_1^5*x_2^4 + (-88.5174825094650 - 3499.13241982378*I)*x_0*x_1^6*x_2^4 + (-867.325446945353 - 117.952207135103*I)*x_1^7*x_2^4 + (379.814346745717 - 417.538282224786*I)*x_0^6*x_2^5 + (-772.411151603338 - 1818.63337657039*I)*x_0^5*x_1*x_2^5 + (-2558.32528685901 - 2183.83456546591*I)*x_0^4*x_1^2*x_2^5 + (-1568.07018895440 + 1867.82598655426*I)*x_0^3*x_1^3*x_2^5 + (1710.05481088986 + 2070.43391717696*I)*x_0^2*x_1^4*x_2^5 + (-612.172670633786 - 2001.48797228153*I)*x_0*x_1^5*x_2^5 + (-780.395594583973 + 207.340061436199*I)*x_1^6*x_2^5 + (-1026.23512182321 - 142.704716248256*I)*x_0^5*x_2^6 + (-2018.58533432982 + 602.018301900052*I)*x_0^4*x_1*x_2^6 + (-1163.07551278446 + 907.505812703022*I)*x_0^3*x_1^2*x_2^6 + (1268.27837261799 + 1820.34930181352*I)*x_0^2*x_1^3*x_2^6 + (-65.1088792663589 - 361.748666467683*I)*x_0*x_1^4*x_2^6 + (-550.059829311161 + 607.670127637481*I)*x_1^5*x_2^6 + (-365.653948417139 + 814.454559949764*I)*x_0^4*x_2^7 + (-402.612528036991 + 719.412922960350*I)*x_0^3*x_1*x_2^7 + (824.306364206464 + 1159.91772236279*I)*x_0^2*x_1^2*x_2^7 + (1345.26409693513 - 178.042990553178*I)*x_0*x_1^3*x_2^7 + (-99.2603042632640 - 60.8956389550583*I)*x_1^4*x_2^7 + (114.266207929916 + 395.277330736488*I)*x_0^3*x_2^8 + (776.382342860573 + 748.778235544126*I)*x_0^2*x_1*x_2^8 + (1418.72362317884 - 733.008768954884*I)*x_0*x_1^2*x_2^8 + (-467.709436715691 - 496.760707037804*I)*x_1^3*x_2^8 + (506.696863693663 - 59.4710985990629*I)*x_0^2*x_2^9 + (352.884021010969 - 996.994233020016*I)*x_0*x_1*x_2^9 + (-568.233936371474 - 276.513393889418*I)*x_1^2*x_2^9 + (-241.328864918720 - 316.437673982572*I)*x_0*x_2^10 + (-472.873775546140 + 62.9175802693042*I)*x_1*x_2^10 + (-103.316477421298 + 122.289153551552*I)*x_2^11 + (510.933191297183 - 227.008026423655*I)*x_0^10 + (772.373439877142 - 1205.31973478839*I)*x_0^9*x_1 + (-849.309443140062 - 1806.95419832931*I)*x_0^8*x_1^2 + (-2232.51094457267 + 41.9655117024928*I)*x_0^7*x_1^3 + (21.7687007850094 + 1494.40517472727*I)*x_0^6*x_1^4 + (2246.26555607045 - 325.361827612143*I)*x_0^5*x_1^5 + (414.234586825524 - 2146.15610637930*I)*x_0^4*x_1^6 + (-1536.23434294125 - 444.679432678219*I)*x_0^3*x_1^7 + (-210.576136332992 + 542.750776069942*I)*x_0^2*x_1^8 + (369.236389601835 - 351.569823752264*I)*x_0*x_1^9 + (-218.847401875872 - 242.322409757841*I)*x_1^10 + (712.938918769366 - 1090.51559728135*I)*x_0^9*x_2 + (-14.2250849668228 - 2903.49554003941*I)*x_0^8*x_1*x_2 + (-3306.18667916866 - 1420.22931343695*I)*x_0^7*x_1^2*x_2 + (-3364.10872432465 + 3842.09266172940*I)*x_0^6*x_1^3*x_2 + (2822.93215942086 + 2952.12581944181*I)*x_0^5*x_1^4*x_2 + (4464.50664583876 - 3702.48874089323*I)*x_0^4*x_1^5*x_2 + (-1670.14444107392 - 2990.01046309380*I)*x_0^3*x_1^6*x_2 + (-2233.76601437487 + 1364.39533795657*I)*x_0^2*x_1^7*x_2 + (958.968753308071 + 470.173485603971*I)*x_0*x_1^8*x_2 + (-320.178884987632 - 805.802115076686*I)*x_1^9*x_2 + (228.273069810953 - 2233.33794607679*I)*x_0^8*x_2^2 + (-1277.17270763355 - 3783.95135159850*I)*x_0^7*x_1*x_2^2 + (-4306.15697826284 + 431.788480157242*I)*x_0^6*x_1^2*x_2^2 + (-1892.95357487078 + 5540.12536910157*I)*x_0^5*x_1^3*x_2^2 + (4461.60799675578 - 245.557242577182*I)*x_0^4*x_1^4*x_2^2 + (1826.69386490225 - 4814.79699310114*I)*x_0^3*x_1^5*x_2^2 + (-3297.77697495641 - 799.865962446735*I)*x_0^2*x_1^6*x_2^2 + (-78.7739350591678 + 2301.61956963439*I)*x_0*x_1^7*x_2^2 + (279.105490838893 - 501.389257946583*I)*x_1^8*x_2^2 + (-1377.06885593414 - 1771.10374897686*I)*x_0^7*x_2^3 + (-2937.75990839156 - 1217.70367873733*I)*x_0^6*x_1*x_2^3 + (-3028.83427522032 + 4115.67128175430*I)*x_0^5*x_1^2*x_2^3 + (2502.09493550681 + 5015.08589169043*I)*x_0^4*x_1^3*x_2^3 + (3597.49118853987 - 2196.10700796457*I)*x_0^3*x_1^4*x_2^3 + (-1968.65869249944 - 3181.87953868352*I)*x_0^2*x_1^5*x_2^3 + (-1656.52649929911 + 2941.35930995635*I)*x_0*x_1^6*x_2^3 + (1342.61210609855 + 537.785045522333*I)*x_1^7*x_2^3 + (-1579.43789438923 - 388.276012317751*I)*x_0^6*x_2^4 + (-1794.08415307396 + 1528.40942860890*I)*x_0^5*x_1*x_2^4 + (1671.23419432910 + 3689.28556307380*I)*x_0^4*x_1^2*x_2^4 + (3600.23358122579 + 165.927904205905*I)*x_0^3*x_1^3*x_2^4 + (-844.900390660156 - 3046.92887191718*I)*x_0^2*x_1^4*x_2^4 + (-1800.68090145470 + 1671.01015098399*I)*x_0*x_1^5*x_2^4 + (1820.56385226788 + 404.519909751109*I)*x_1^6*x_2^4 + (-511.615554076757 + 1051.04027007971*I)*x_0^5*x_2^5 + (1338.10489387684 + 1477.74634727431*I)*x_0^4*x_1*x_2^5 + (2222.91648022698 + 302.733134628134*I)*x_0^3*x_1^2*x_2^5 + (958.335126436986 - 1814.14210509505*I)*x_0^2*x_1^3*x_2^5 + (-1247.61382864339 + 263.781649273093*I)*x_0*x_1^4*x_2^5 + (759.659169797348 - 117.262903225287*I)*x_1^5*x_2^5 + (810.111546154510 - 51.4953131277235*I)*x_0^4*x_2^6 + (1221.54503736802 - 405.959956631229*I)*x_0^3*x_1*x_2^6 + (1547.87548308316 - 2064.18132936075*I)*x_0^2*x_1^2*x_2^6 + (-1262.38395602174 - 977.500823300163*I)*x_0*x_1^3*x_2^6 + (-262.073944054621 + 356.431812811085*I)*x_1^4*x_2^6 + (347.922650130275 - 430.214119635541*I)*x_0^3*x_2^7 + (298.550532751066 - 1742.03950832436*I)*x_0^2*x_1*x_2^7 + (-1700.31704801119 - 640.345856512394*I)*x_0*x_1^2*x_2^7 + (-188.717301393893 + 1222.16443240625*I)*x_1^3*x_2^7 + (-274.602520727225 - 609.630606247824*I)*x_0^2*x_2^8 + (-1170.46581355258 + 205.166778605664*I)*x_0*x_1*x_2^8 + (596.113334194428 + 902.677270451068*I)*x_1^2*x_2^8 + (-258.593270255505 + 310.175702203577*I)*x_0*x_2^9 + (412.153043178318 + 250.758444836848*I)*x_1*x_2^9 + (135.691019842493 + 31.6512426201365*I)*x_2^10 + (-544.617400602937 + 403.913158190020*I)*x_0^9 + (-508.750218934391 + 1541.18922621741*I)*x_0^8*x_1 + (1278.94679633690 + 1631.64754434198*I)*x_0^7*x_1^2 + (2169.49644026870 - 537.784318704357*I)*x_0^6*x_1^3 + (-258.009588374453 - 1254.99880055437*I)*x_0^5*x_1^4 + (-1660.86435044189 + 1210.80834593390*I)*x_0^4*x_1^5 + (655.401168532712 + 1635.29433383734*I)*x_0^3*x_1^6 + (1046.67064330877 - 309.681026952905*I)*x_0^2*x_1^7 + (-91.9820563654081 - 288.433861689205*I)*x_0*x_1^8 + (146.045134302411 + 327.400056864137*I)*x_1^9 + (-621.249888446455 + 1287.16376556494*I)*x_0^8*x_2 + (515.759958785176 + 3103.70359427225*I)*x_0^7*x_1*x_2 + (3756.25109752799 + 939.357229062240*I)*x_0^6*x_1^2*x_2 + (2274.30555537366 - 3710.43646596010*I)*x_0^5*x_1^3*x_2 + (-2823.46517407883 - 1510.78755208327*I)*x_0^4*x_1^4*x_2 + (-1693.46151133707 + 3530.80117279343*I)*x_0^3*x_1^5*x_2 + (1628.38385821137 + 2211.96320589677*I)*x_0^2*x_1^6*x_2 + (642.956703482977 - 1316.32753453508*I)*x_0*x_1^7*x_2 + (35.2444095838453 + 303.684261205750*I)*x_1^8*x_2 + (45.2736270232349 + 2396.31492846367*I)*x_0^7*x_2^2 + (2495.58738935503 + 3430.12671217368*I)*x_0^6*x_1*x_2^2 + (4531.69687661995 - 1082.48115973836*I)*x_0^5*x_1^2*x_2^2 + (-110.443283135182 - 5297.13978029314*I)*x_0^4*x_1^3*x_2^2 + (-3325.06978888528 - 223.494556283644*I)*x_0^3*x_1^4*x_2^2 + (240.215391914872 + 4421.03269700814*I)*x_0^2*x_1^5*x_2^2 + (2263.38859125450 - 702.981476383617*I)*x_0*x_1^6*x_2^2 + (-499.908669780037 - 227.685489973208*I)*x_1^7*x_2^2 + (1535.08030907281 + 1482.06181540582*I)*x_0^6*x_2^3 + (3710.00000628188 + 193.787774247086*I)*x_0^5*x_1*x_2^3 + (906.923907798810 - 4361.44703528588*I)*x_0^4*x_1^2*x_2^3 + (-3752.17944155785 - 3252.16857123971*I)*x_0^3*x_1^3*x_2^3 + (-1883.59433315666 + 2570.28852662407*I)*x_0^2*x_1^4*x_2^3 + (2786.20050557057 + 87.7684631256270*I)*x_0*x_1^5*x_2^3 + (-1014.26978141757 - 759.770323528573*I)*x_1^6*x_2^3 + (1608.20065515718 - 85.7297951931263*I)*x_0^5*x_2^4 + (768.134930829558 - 1739.80569423043*I)*x_0^4*x_1*x_2^4 + (-1878.67218521754 - 1871.49557495424*I)*x_0^3*x_1^2*x_2^4 + (-2949.31476968715 + 240.261703037274*I)*x_0^2*x_1^3*x_2^4 + (1414.53989203894 + 752.020492602670*I)*x_0*x_1^4*x_2^4 + (-843.647168651552 - 390.194035470095*I)*x_1^5*x_2^4 + (124.012065150165 - 840.092042125311*I)*x_0^4*x_2^5 + (-972.094026330323 - 641.743039616402*I)*x_0^3*x_1*x_2^5 + (-3132.51821180193 - 92.7591552660467*I)*x_0^2*x_1^2*x_2^5 + (84.1628893296984 + 1758.81951270870*I)*x_0*x_1^3*x_2^5 + (117.160958772082 - 484.848444178421*I)*x_1^4*x_2^5 + (-528.299385489545 - 81.5292620591092*I)*x_0^3*x_2^6 + (-1907.93889046477 + 1099.92726468077*I)*x_0^2*x_1*x_2^6 + (460.298603623417 + 2261.58107285312*I)*x_0*x_1^2*x_2^6 + (796.690259427347 - 713.172166037323*I)*x_1^3*x_2^6 + (-342.271113093013 + 640.984869603954*I)*x_0^2*x_2^7 + (910.873401299032 + 1009.85875508534*I)*x_0*x_1*x_2^7 + (455.110806894611 - 1065.05865027446*I)*x_1^2*x_2^7 + (384.062713035859 + 151.104473441128*I)*x_0*x_2^8 + (-191.525137019829 - 596.759041295821*I)*x_1*x_2^8 + (-66.9633133115189 - 93.4608982727728*I)*x_2^9 + (401.501148325848 - 549.471193671471*I)*x_0^8 + (16.7171976365065 - 1605.01020868109*I)*x_0^7*x_1 + (-1699.58787469185 - 1153.91453263782*I)*x_0^6*x_1^2 + (-1620.06984830107 + 1013.07456113061*I)*x_0^5*x_1^3 + (390.550290156323 + 707.844448883798*I)*x_0^4*x_1^4 + (165.857199339437 - 1410.83581728854*I)*x_0^3*x_1^5 + (-922.791723417243 - 709.543256802499*I)*x_0^2*x_1^6 + (-353.574837994381 + 384.059952899455*I)*x_0*x_1^7 + (62.5947106556135 - 115.360028067334*I)*x_1^8 + (371.975984560436 - 1322.35733549049*I)*x_0^7*x_2 + (-1367.59185192896 - 2669.13347744593*I)*x_0^6*x_1*x_2 + (-3268.96828319005 - 426.962954261318*I)*x_0^5*x_1^2*x_2 + (-1122.82985990094 + 3136.09583658561*I)*x_0^4*x_1^3*x_2 + (1901.45429642341 + 592.844169142602*I)*x_0^3*x_1^4*x_2 + (40.1081135071815 - 2831.84213783762*I)*x_0^2*x_1^5*x_2 + (-2043.04853614091 - 168.699329721090*I)*x_0*x_1^6*x_2 + (11.3202532269682 + 310.166633065755*I)*x_1^7*x_2 + (-594.214926363311 - 1932.45858307158*I)*x_0^6*x_2^2 + (-3188.95087977073 - 2421.15875536555*I)*x_0^5*x_1*x_2^2 + (-3610.92479377437 + 2390.88767974212*I)*x_0^4*x_1^2*x_2^2 + (1513.00288405107 + 3798.60074029619*I)*x_0^3*x_1^3*x_2^2 + (2690.11574139545 - 1026.38776957666*I)*x_0^2*x_1^4*x_2^2 + (-2380.08626927003 - 1280.69893163046*I)*x_0*x_1^5*x_2^2 + (-339.651382640927 + 417.355193677887*I)*x_1^6*x_2^2 + (-1472.04610251805 - 882.897765158050*I)*x_0^5*x_2^3 + (-2620.13506359952 + 1318.35734989379*I)*x_0^4*x_1*x_2^3 + (472.202455755427 + 2998.85148302255*I)*x_0^3*x_1^2*x_2^3 + (3781.04642428454 + 845.734410560128*I)*x_0^2*x_1^3*x_2^3 + (-281.105892036505 - 1151.31777997288*I)*x_0*x_1^4*x_2^3 + (-201.310278973805 + 546.783459012735*I)*x_1^5*x_2^3 + (-990.589434340993 + 411.188557703579*I)*x_0^4*x_2^4 + (-264.095465945626 + 1416.60508946255*I)*x_0^3*x_1*x_2^4 + (2474.27023848418 + 1407.34496926147*I)*x_0^2*x_1^2*x_2^4 + (1654.28029200189 - 1651.71333826388*I)*x_0*x_1^3*x_2^4 + (48.9218698006413 + 136.512342809873*I)*x_1^4*x_2^4 + (80.4414234303701 + 510.264334649598*I)*x_0^3*x_2^5 + (1747.14694477221 + 685.493933816446*I)*x_0^2*x_1*x_2^5 + (1230.52148901659 - 2197.94656798966*I)*x_0*x_1^2*x_2^5 + (-374.752490376047 + 15.1723911742588*I)*x_1^3*x_2^5 + (607.895175571689 - 93.0019996952222*I)*x_0^2*x_2^6 + (-26.0416118240660 - 1613.13141834875*I)*x_0*x_1*x_2^6 + (-811.158014069667 - 43.4949748974227*I)*x_1^2*x_2^6 + (-176.895021336474 - 327.358105922982*I)*x_0*x_2^7 + (-494.989630917369 + 301.284440017851*I)*x_1*x_2^7 + (-34.6949210443871 + 130.913714936675*I)*x_2^8 + (-145.132083323237 + 597.808919736461*I)*x_0^7 + (558.283852457100 + 1355.59276812898*I)*x_0^6*x_1 + (1562.92591872399 + 507.252064148547*I)*x_0^5*x_1^2 + (891.444898404924 - 907.621954608608*I)*x_0^4*x_1^3 + (-312.528305400506 - 253.258939899132*I)*x_0^3*x_1^4 + (287.971591013855 + 601.882022896249*I)*x_0^2*x_1^5 + (598.684561767046 + 67.7234056339827*I)*x_0*x_1^6 + (-36.0490292021855 - 134.501366715781*I)*x_1^7 + (11.2621837069893 + 1119.14327807145*I)*x_0^6*x_2 + (1582.83171110291 + 1955.15440992501*I)*x_0^5*x_1*x_2 + (3108.80787303228 - 323.992901617810*I)*x_0^4*x_1^2*x_2 + (-156.494346728226 - 2165.46724296691*I)*x_0^3*x_1^3*x_2 + (-1309.52831403029 + 236.585199732693*I)*x_0^2*x_1^4*x_2 + (1428.60571218880 + 1043.68649023325*I)*x_0*x_1^5*x_2 + (492.724740525618 - 588.058661198327*I)*x_1^6*x_2 + (872.798617179830 + 1312.11314355988*I)*x_0^5*x_2^2 + (3274.40852486193 + 390.894378968328*I)*x_0^4*x_1*x_2^2 + (1451.25209539771 - 1925.15673429684*I)*x_0^3*x_1^2*x_2^2 + (-1702.73047563669 - 1492.80928745465*I)*x_0^2*x_1^3*x_2^2 + (-110.722270563740 + 1125.86029566094*I)*x_0*x_1^4*x_2^2 + (711.397347311132 - 240.535307020768*I)*x_1^5*x_2^2 + (1055.86611582047 + 37.8622530673170*I)*x_0^4*x_2^3 + (1298.62824819962 - 1185.87571202647*I)*x_0^3*x_1*x_2^3 + (-765.879535450912 - 1897.07092310799*I)*x_0^2*x_1^2*x_2^3 + (-1721.76517481212 + 510.495759415942*I)*x_0*x_1^3*x_2^3 + (294.692835490451 + 315.570385886024*I)*x_1^4*x_2^3 + (528.472400092442 - 412.642755084293*I)*x_0^3*x_2^4 + (-503.380226362223 - 1665.67322256906*I)*x_0^2*x_1*x_2^4 + (-2098.91327733297 + 606.741049104523*I)*x_0*x_1^2*x_2^4 + (240.107064521583 + 715.254056047301*I)*x_1^3*x_2^4 + (-374.122431457953 - 452.714883568234*I)*x_0^2*x_2^5 + (-1021.83848584109 + 953.428284547092*I)*x_0*x_1*x_2^5 + (452.557407422097 + 405.120230313985*I)*x_1^2*x_2^5 + (-94.6375526550956 + 386.820212594870*I)*x_0*x_2^6 + (413.757240739000 + 206.119288256078*I)*x_1*x_2^6 + (123.358442209058 - 5.04041165702232*I)*x_2^7 + (-96.7321206464121 - 478.190092240274*I)*x_0^6 + (-790.290043837991 - 798.463252472143*I)*x_0^5*x_1 + (-1242.58562392593 + 52.2172037717235*I)*x_0^4*x_1^2 + (-107.973280184719 + 847.184607528618*I)*x_0^3*x_1^3 + (373.527528443230 + 108.008622689031*I)*x_0^2*x_1^4 + (-225.642032567352 - 191.530726836290*I)*x_0*x_1^5 + (-148.043140238476 + 252.158296475123*I)*x_1^6 + (-272.408547777075 - 810.334461987439*I)*x_0^5*x_2 + (-1849.05429780935 - 871.446925675991*I)*x_0^4*x_1*x_2 + (-1527.27283211734 + 947.129230874395*I)*x_0^3*x_1^2*x_2 + (241.879059774358 + 896.535278542502*I)*x_0^2*x_1^3*x_2 + (263.047951120045 - 622.182967256867*I)*x_0*x_1^4*x_2 + (-464.561717610573 + 353.907435065623*I)*x_1^5*x_2 + (-883.954467467895 - 475.908841088064*I)*x_0^4*x_2^2 + (-1737.04357088417 + 242.404646006737*I)*x_0^3*x_1*x_2^2 + (-1110.66542306510 + 1512.10394205084*I)*x_0^2*x_1^2*x_2^2 + (991.976415050135 + 44.8101945272664*I)*x_0*x_1^3*x_2^2 + (-271.133216415521 - 286.202357720115*I)*x_1^4*x_2^2 + (-582.129206528338 + 93.9591962426063*I)*x_0^3*x_2^3 + (-693.794285019130 + 1363.45734060986*I)*x_0^2*x_1*x_2^3 + (1160.25447435958 + 590.991036317631*I)*x_0*x_1^2*x_2^3 + (-110.927812360905 - 744.641381471521*I)*x_1^3*x_2^3 + (-86.3315054293437 + 541.441253617504*I)*x_0^2*x_2^4 + (1048.13633867704 + 273.549413595349*I)*x_0*x_1*x_2^4 + (-230.287367589079 - 703.427478103176*I)*x_1^2*x_2^4 + (287.320219845151 - 84.9136280168659*I)*x_0*x_2^5 + (-197.497700830149 - 250.236378199995*I)*x_1*x_2^5 + (-65.1523463215049 - 63.5316473453728*I)*x_2^6 + (203.217089363009 + 250.189506474635*I)*x_0^5 + (740.509612754365 + 179.023166841416*I)*x_0^4*x_1 + (555.225609578750 - 594.200813042849*I)*x_0^3*x_1^2 + (-222.912568567305 - 442.877543702019*I)*x_0^2*x_1^3 + (-156.238693813262 + 99.9578683560977*I)*x_0*x_1^4 + (158.177962040092 - 104.491266668525*I)*x_1^5 + (407.436043319336 + 403.667915839475*I)*x_0^4*x_2 + (1105.31566684085 - 36.2236520040083*I)*x_0^3*x_1*x_2 + (834.194713707717 - 844.655668852932*I)*x_0^2*x_1^2*x_2 + (-487.005077744664 - 327.174337516867*I)*x_0*x_1^3*x_2 + (121.285427423470 + 69.6061849609911*I)*x_1^4*x_2 + (501.249240033658 + 86.4599478479896*I)*x_0^3*x_2^2 + (1095.60678020428 - 624.883232493831*I)*x_0^2*x_1*x_2^2 + (-400.945557209739 - 888.497406404321*I)*x_0*x_1^2*x_2^2 + (-17.9345487026382 + 202.115368783672*I)*x_1^3*x_2^2 + (280.941568695421 - 219.129154575583*I)*x_0^2*x_2^3 + (-375.157061111634 - 558.857661123084*I)*x_0*x_1*x_2^3 + (-84.0360623832109 + 282.775615036089*I)*x_1^2*x_2^3 + (-153.015550268831 - 155.662690945911*I)*x_0*x_2^4 + (-25.2213605336631 + 249.325199933617*I)*x_1*x_2^4 + (-2.11516379660577 + 48.9667661923188*I)*x_2^5 + (-189.731775666905 - 55.3491880174430*I)*x_0^4 + (-387.281608760984 + 242.082025671925*I)*x_0^3*x_1 + (-56.0629265237774 + 413.030933099542*I)*x_0^2*x_1^2 + (130.968719848107 + 86.6726059582350*I)*x_0*x_1^3 + (-54.4525231461132 - 42.1422329761680*I)*x_1^4 + (-279.190626094111 - 64.4121462672405*I)*x_0^3*x_2 + (-568.343352824056 + 302.859906117338*I)*x_0^2*x_1*x_2 + (102.081011332130 + 702.443779253006*I)*x_0*x_1^2*x_2 + (157.945687871186 - 28.0067208194834*I)*x_1^3*x_2 + (-264.252544653588 + 65.2543411436815*I)*x_0^2*x_2^2 + (35.1937176082501 + 545.205947786187*I)*x_0*x_1*x_2^2 + (186.964652602525 + 60.6578460152343*I)*x_1^2*x_2^2 + (25.4497655013574 + 110.174289079562*I)*x_0*x_2^3 + (97.7425918724483 - 50.1058440738480*I)*x_1*x_2^3 + (22.6122574669506 - 35.3039080295399*I)*x_2^4 + (95.4934555978983 - 46.6732242202904*I)*x_0^3 + (77.5423380432715 - 185.097031627743*I)*x_0^2*x_1 + (-55.2281231464485 - 146.216053692809*I)*x_0*x_1^2 + (-60.9375198742011 + 40.2060244292073*I)*x_1^3 + (140.969612008103 - 43.3727679551855*I)*x_0^2*x_2 + (50.9260847027988 - 338.468499895024*I)*x_0*x_1*x_2 + (-211.419565860135 - 51.2236241804987*I)*x_1^2*x_2 + (23.1293124787141 - 104.106035819710*I)*x_0*x_2^2 + (-97.0919454374247 - 56.3461045134628*I)*x_1*x_2^2 + (-12.1934793030420 + 4.27408293995113*I)*x_2^3 + (-20.1052979730571 + 38.0893769870391*I)*x_0^2 + (18.9140817911918 + 69.9112065864830*I)*x_0*x_1 + (75.4459132383598 - 12.7762061537966*I)*x_1^2 + (-26.4783569724750 + 59.3414755182327*I)*x_0*x_2 + (78.3598187725939 + 33.4904693666642*I)*x_1*x_2 + (9.69252161768401 + 18.6650594391588*I)*x_2^2 + (-3.50193636782721 - 13.2815082922258*I)*x_0 + (-30.5600482664116 - 0.278958677653982*I)*x_1 + (-9.96076089219878 - 10.0421275427737*I)*x_2 + 5.12113475363084 + 0.966732981842333*I) + (1 - t)*((1.652288200943291 + I*-0.6527003433937427)*(x_0^16 - 1))", + "t*((-1.18319132494931 + 0.224471081907726*I)*x_0^4 + (0.661082446373153 - 0.152306634169978*I)*x_0^3*x_1 + (0.273917065487269 - 2.25578448720648*I)*x_0^2*x_1^2 + (-1.07615710119896 + 0.379137865422376*I)*x_0*x_1^3 + (0.720377303759885 + 0.595094103157917*I)*x_1^4 + (-1.82850570985556 + 1.01594948122462*I)*x_0^3*x_2 + (0.386193163402375 + 0.854026986470069*I)*x_0^2*x_1*x_2 + (-0.0618224623964460 + 2.08320730321351*I)*x_0*x_1^2*x_2 + (-0.838769252886991 + 0.884704967547196*I)*x_1^3*x_2 + (0.710776579496619 + 0.831178667261074*I)*x_0^2*x_2^2 + (0.463640874672670 - 0.892716676563328*I)*x_0*x_1*x_2^2 + (-0.556841411717794 + 0.567532342929550*I)*x_1^2*x_2^2 + (-0.563283081700893 + 0.851915698638263*I)*x_0*x_2^3 + (-0.153055583718854 - 0.232594562073295*I)*x_1*x_2^3 + (-0.385449515756301 + 0.313832386923777*I)*x_2^4 + (-2.27653672706323 - 0.106168052689331*I)*x_0^3 + (0.914759824048202 - 0.230348198806613*I)*x_0^2*x_1 + (-0.949735404356113 + 2.46980361916728*I)*x_0*x_1^2 + (-0.913455839717849 + 1.20841907080877*I)*x_1^3 + (0.243337451199741 + 1.92060762282409*I)*x_0^2*x_2 + (-0.587204849625190 + 0.0899908667284839*I)*x_0*x_1*x_2 + (-0.973012155816443 + 0.874365910074805*I)*x_1^2*x_2 + (-1.81386540124458 + 1.01288414370988*I)*x_0*x_2^2 + (-1.25838356532333 - 1.93531212655217*I)*x_1*x_2^2 + (-0.517106107410069 - 1.63904132280880*I)*x_2^3 + (0.700349605135962 + 0.0773198817325489*I)*x_0^2 + (0.553874257059811 - 1.17271919321649*I)*x_0*x_1 + (0.0985829680083971 - 1.03849589022698*I)*x_1^2 + (-0.394253850737137 + 0.574588033507658*I)*x_0*x_2 + (-0.455348818578866 + 0.555181079363472*I)*x_1*x_2 + (0.620892360945372 - 0.974071641049284*I)*x_2^2 + (1.05242083992549 + 0.238134523427366*I)*x_0 + (0.0425938083576009 - 0.435353841736362*I)*x_1 + (0.392240911463582 + 1.01163220829248*I)*x_2 - 0.531289169940654 - 0.0805879117296640*I) + (1 - t)*((-1.1760143796979845 + I*0.5459988854960296)*(x_1^4 - 1))", + "t*((0.735099295753024 + 0.650765212480544*I)*x_0^4 + (-0.554942527963589 - 0.797494391344958*I)*x_0^3*x_1 + (-0.733613622743249 + 2.58335051394184*I)*x_0^2*x_1^2 + (-1.00356726167291 + 0.834565545562269*I)*x_0*x_1^3 + (1.75426906190758 - 1.32457344808202*I)*x_1^4 + (-1.21149951145342 + 0.318657270170928*I)*x_0^3*x_2 + (0.155089044173768 + 0.719040116540680*I)*x_0^2*x_1*x_2 + (0.0399201294452246 - 0.210911883845621*I)*x_0*x_1^2*x_2 + (0.257103390082169 + 0.246867965909732*I)*x_1^3*x_2 + (0.371109723921840 + 1.31679796482941*I)*x_0^2*x_2^2 + (-1.29535716132113 + 1.46358831445267*I)*x_0*x_1*x_2^2 + (0.554141429069751 + 0.294076849698373*I)*x_1^2*x_2^2 + (1.02720544167458 + 0.605152118978260*I)*x_0*x_2^3 + (0.362242326083379 + 1.70125040928005*I)*x_1*x_2^3 + (0.558634836707342 + 1.31363272777827*I)*x_2^4 + (0.297103818775415 + 1.67325977238272*I)*x_0^3 + (0.125174750467201 - 0.110986889078125*I)*x_0^2*x_1 + (-1.85816678415534 + 0.164109960614761*I)*x_0*x_1^2 + (-0.0302822257623730 + 0.461244321954122*I)*x_1^3 + (1.15770055688335 + 0.309737449260314*I)*x_0^2*x_2 + (-0.571550075578131 + 0.394614103649909*I)*x_0*x_1*x_2 + (-1.55853679862089 + 0.316950153284332*I)*x_1^2*x_2 + (-0.865074848139010 - 1.03099343547439*I)*x_0*x_2^2 + (1.24614847357735 - 0.536166631313272*I)*x_1*x_2^2 + (-0.955780627098315 - 0.409547487693301*I)*x_2^3 + (1.58654139056480 + 2.01348471348608*I)*x_0^2 + (0.332291817543954 - 0.189352859554344*I)*x_0*x_1 + (-0.0198146871818224 - 1.41338439098767*I)*x_1^2 + (0.616528299358641 - 0.282494691472158*I)*x_0*x_2 + (0.506222763814579 + 0.327663629740203*I)*x_1*x_2 + (-0.832837860433727 + 1.30455781095668*I)*x_2^2 + (-1.15615095723218 + 1.23514775904027*I)*x_0 + (-1.16581242792774 + 1.26517292188522*I)*x_1 + (-0.967854740562066 - 0.197651395852636*I)*x_2 + 0.750132275128754 + 0.408334439298378*I) + (1 - t)*((-0.6895011172252703 + I*-0.9062363470238906)*(x_2^4 - 1))" + ], + "variables": [ + "x_0", + "x_1", + "x_2" + ], + "parameters": [ + "t" + ], + "path": [ + [ + "0.0" + ], + [ + "1.0" + ] + ], + "fiber": [ + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186548 + 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 + 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186547 + 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 + 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.707106781186548 - 0.707106781186547*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.382683432365090 - 0.923879532511287*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.707106781186547 - 0.707106781186548*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "1.00000000000000", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "6.12323399573677e-17 + 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "1.00000000000000" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "6.12323399573677e-17 + 1.00000000000000*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "0.923879532511287 - 0.382683432365090*I", + "-1.83697019872103e-16 - 1.00000000000000*I", + "-1.83697019872103e-16 - 1.00000000000000*I" + ] + ] +} \ No newline at end of file diff --git a/latextable.py b/latextable.py index da011a80..086be7b5 100644 --- a/latextable.py +++ b/latextable.py @@ -13,6 +13,7 @@ table_file = open(args.table, "r") table = json.load(table_file) syn = { + "tot deg": "deg.", "failures": "fail.", "medsteps": "med.", "minsteps": "min.", diff --git a/synthesize.sage b/synthesize.sage index 306ffa92..16bd60b4 100644 --- a/synthesize.sage +++ b/synthesize.sage @@ -157,6 +157,15 @@ def degrees(data): t = A.gens()[0] return [A(f).subs(t=0).degree() for f in d["system"]] +# takes a list of degrees +def tot_degree(degrees): + deg_dict = {} + for d in degrees: + if d not in deg_dict: + deg_dict[d] = 0 + deg_dict[d] += 1 + + return "$" + " \\cdot ".join([f"{d}" + f"^{{{deg_dict[d]}}}"*(deg_dict[d] > 1) for d in deg_dict if d > 1]) + "$" def instructions(data, derivative=False): function = "f" if not derivative else "df" @@ -187,6 +196,7 @@ data_stats = { "name": name, "dimension": lambda data: len(json.load(open(f"data/{data}.json", "r"))["system"]), "max deg": lambda data: int(max(degrees(data))), + "tot deg": lambda data: tot_degree(degrees(data)), "paths": lambda data: len(json.load(open(f"data/{data}.json", "r"))["fiber"]), "f": lambda data: instructions(data), "df": lambda data: instructions(data, derivative=True), diff --git a/tables/issac_2025/entries.json b/tables/issac_2025/entries.json index 1389e02e..35763c73 100644 --- a/tables/issac_2025/entries.json +++ b/tables/issac_2025/entries.json @@ -4,8 +4,8 @@ "linear/dense-2000/all/1", "linear/katsura-15/all/1", "linear/katsura-20/all/1", - "linear/resultants-3-4/all/3", - "linear/resultants-2-5/all/2", + "linear/resultants-3-4/all/2", + "linear/resultants-2-5/all/1", "linear/sumpowlin-factorized-3-10-10/random-100/1", "linear/sumpowlin-factorized-3-20-10/random-100/1", "linear/sumpowlin-factorized-3-30-10/random-100/1", @@ -32,7 +32,7 @@ "children": [] }, { - "val": "max deg", + "val": "tot deg", "children": [] }, { -- GitLab