diff --git a/data/katsura-20-partial.json b/data/katsura-20-partial.json new file mode 100644 index 0000000000000000000000000000000000000000..98f30768d1e3559b9a91bac65a95d5ec0426c5ae --- /dev/null +++ b/data/katsura-20-partial.json @@ -0,0 +1,2361 @@ +{ + "system": [ + "(1.48367223142226 + 1.00514236545516*I)*t*x0 + 2.00000000000000*t*x1 + 2.00000000000000*t*x2 + 2.00000000000000*t*x3 + 2.00000000000000*t*x4 + 2.00000000000000*t*x5 + 2.00000000000000*t*x6 + 2.00000000000000*t*x7 + 2.00000000000000*t*x8 + 2.00000000000000*t*x9 + 2.00000000000000*t*x10 + 2.00000000000000*t*x11 + 2.00000000000000*t*x12 + 2.00000000000000*t*x13 + 2.00000000000000*t*x14 + 2.00000000000000*t*x15 + 2.00000000000000*t*x16 + 2.00000000000000*t*x17 + 2.00000000000000*t*x18 + 2.00000000000000*t*x19 + 2.00000000000000*t*x20 + (-1.48367223142226 - 1.00514236545516*I)*t + (-0.483672231422258 - 1.00514236545516*I)*x0 + 0.483672231422258 + 1.00514236545516*I", + "t*x0^2 + (2.86584232650135 + 1.47913840473262*I)*t*x1^2 + 2.00000000000000*t*x2^2 + 2.00000000000000*t*x3^2 + 2.00000000000000*t*x4^2 + 2.00000000000000*t*x5^2 + 2.00000000000000*t*x6^2 + 2.00000000000000*t*x7^2 + 2.00000000000000*t*x8^2 + 2.00000000000000*t*x9^2 + 2.00000000000000*t*x10^2 + 2.00000000000000*t*x11^2 + 2.00000000000000*t*x12^2 + 2.00000000000000*t*x13^2 + 2.00000000000000*t*x14^2 + 2.00000000000000*t*x15^2 + 2.00000000000000*t*x16^2 + 2.00000000000000*t*x17^2 + 2.00000000000000*t*x18^2 + 2.00000000000000*t*x19^2 + 2.00000000000000*t*x20^2 - t*x0 + (-0.865842326501346 - 1.47913840473262*I)*x1^2 + (-0.865842326501346 - 1.47913840473262*I)*t + 0.865842326501346 + 1.47913840473262*I", + "2.00000000000000*t*x0*x1 + 2.00000000000000*t*x1*x2 + (-0.633529807510934 + 0.110202677201669*I)*t*x2^2 + 2.00000000000000*t*x2*x3 + 2.00000000000000*t*x3*x4 + 2.00000000000000*t*x4*x5 + 2.00000000000000*t*x5*x6 + 2.00000000000000*t*x6*x7 + 2.00000000000000*t*x7*x8 + 2.00000000000000*t*x8*x9 + 2.00000000000000*t*x9*x10 + 2.00000000000000*t*x10*x11 + 2.00000000000000*t*x11*x12 + 2.00000000000000*t*x12*x13 + 2.00000000000000*t*x13*x14 + 2.00000000000000*t*x14*x15 + 2.00000000000000*t*x15*x16 + 2.00000000000000*t*x16*x17 + 2.00000000000000*t*x17*x18 + 2.00000000000000*t*x18*x19 + 2.00000000000000*t*x19*x20 - t*x1 + (0.633529807510934 - 0.110202677201669*I)*x2^2 + (0.633529807510934 - 0.110202677201669*I)*t - 0.633529807510934 + 0.110202677201669*I", + "t*x1^2 + 2.00000000000000*t*x0*x2 + 2.00000000000000*t*x1*x3 + (0.0655828690640719 - 0.748386182515458*I)*t*x3^2 + 2.00000000000000*t*x2*x4 + 2.00000000000000*t*x3*x5 + 2.00000000000000*t*x4*x6 + 2.00000000000000*t*x5*x7 + 2.00000000000000*t*x6*x8 + 2.00000000000000*t*x7*x9 + 2.00000000000000*t*x8*x10 + 2.00000000000000*t*x9*x11 + 2.00000000000000*t*x10*x12 + 2.00000000000000*t*x11*x13 + 2.00000000000000*t*x12*x14 + 2.00000000000000*t*x13*x15 + 2.00000000000000*t*x14*x16 + 2.00000000000000*t*x15*x17 + 2.00000000000000*t*x16*x18 + 2.00000000000000*t*x17*x19 + 2.00000000000000*t*x18*x20 - t*x2 + (-0.0655828690640719 + 0.748386182515458*I)*x3^2 + (-0.0655828690640719 + 0.748386182515458*I)*t + 0.0655828690640719 - 0.748386182515458*I", + "2.00000000000000*t*x1*x2 + 2.00000000000000*t*x0*x3 + 2.00000000000000*t*x1*x4 + (1.20742688250847 - 0.0928453673809846*I)*t*x4^2 + 2.00000000000000*t*x2*x5 + 2.00000000000000*t*x3*x6 + 2.00000000000000*t*x4*x7 + 2.00000000000000*t*x5*x8 + 2.00000000000000*t*x6*x9 + 2.00000000000000*t*x7*x10 + 2.00000000000000*t*x8*x11 + 2.00000000000000*t*x9*x12 + 2.00000000000000*t*x10*x13 + 2.00000000000000*t*x11*x14 + 2.00000000000000*t*x12*x15 + 2.00000000000000*t*x13*x16 + 2.00000000000000*t*x14*x17 + 2.00000000000000*t*x15*x18 + 2.00000000000000*t*x16*x19 + 2.00000000000000*t*x17*x20 - t*x3 + (-1.20742688250847 + 0.0928453673809846*I)*x4^2 + (-1.20742688250847 + 0.0928453673809846*I)*t + 1.20742688250847 - 0.0928453673809846*I", + "t*x2^2 + 2.00000000000000*t*x1*x3 + 2.00000000000000*t*x0*x4 + 2.00000000000000*t*x1*x5 + (0.255588754151788 + 0.512054608661543*I)*t*x5^2 + 2.00000000000000*t*x2*x6 + 2.00000000000000*t*x3*x7 + 2.00000000000000*t*x4*x8 + 2.00000000000000*t*x5*x9 + 2.00000000000000*t*x6*x10 + 2.00000000000000*t*x7*x11 + 2.00000000000000*t*x8*x12 + 2.00000000000000*t*x9*x13 + 2.00000000000000*t*x10*x14 + 2.00000000000000*t*x11*x15 + 2.00000000000000*t*x12*x16 + 2.00000000000000*t*x13*x17 + 2.00000000000000*t*x14*x18 + 2.00000000000000*t*x15*x19 + 2.00000000000000*t*x16*x20 - t*x4 + (-0.255588754151788 - 0.512054608661543*I)*x5^2 + (-0.255588754151788 - 0.512054608661543*I)*t + 0.255588754151788 + 0.512054608661543*I", + "2.00000000000000*t*x2*x3 + 2.00000000000000*t*x1*x4 + 2.00000000000000*t*x0*x5 + 2.00000000000000*t*x1*x6 + (1.03874859090055 + 0.0208858342257424*I)*t*x6^2 + 2.00000000000000*t*x2*x7 + 2.00000000000000*t*x3*x8 + 2.00000000000000*t*x4*x9 + 2.00000000000000*t*x5*x10 + 2.00000000000000*t*x6*x11 + 2.00000000000000*t*x7*x12 + 2.00000000000000*t*x8*x13 + 2.00000000000000*t*x9*x14 + 2.00000000000000*t*x10*x15 + 2.00000000000000*t*x11*x16 + 2.00000000000000*t*x12*x17 + 2.00000000000000*t*x13*x18 + 2.00000000000000*t*x14*x19 + 2.00000000000000*t*x15*x20 - t*x5 + (-1.03874859090055 - 0.0208858342257424*I)*x6^2 + (-1.03874859090055 - 0.0208858342257424*I)*t + 1.03874859090055 + 0.0208858342257424*I", + "t*x3^2 + 2.00000000000000*t*x2*x4 + 2.00000000000000*t*x1*x5 + 2.00000000000000*t*x0*x6 + 2.00000000000000*t*x1*x7 + (-1.00907076197667 + 0.406700250484882*I)*t*x7^2 + 2.00000000000000*t*x2*x8 + 2.00000000000000*t*x3*x9 + 2.00000000000000*t*x4*x10 + 2.00000000000000*t*x5*x11 + 2.00000000000000*t*x6*x12 + 2.00000000000000*t*x7*x13 + 2.00000000000000*t*x8*x14 + 2.00000000000000*t*x9*x15 + 2.00000000000000*t*x10*x16 + 2.00000000000000*t*x11*x17 + 2.00000000000000*t*x12*x18 + 2.00000000000000*t*x13*x19 + 2.00000000000000*t*x14*x20 - t*x6 + (1.00907076197667 - 0.406700250484882*I)*x7^2 + (1.00907076197667 - 0.406700250484882*I)*t - 1.00907076197667 + 0.406700250484882*I", + "2.00000000000000*t*x3*x4 + 2.00000000000000*t*x2*x5 + 2.00000000000000*t*x1*x6 + 2.00000000000000*t*x0*x7 + 2.00000000000000*t*x1*x8 + (-0.594530179128970 + 1.49791129685936*I)*t*x8^2 + 2.00000000000000*t*x2*x9 + 2.00000000000000*t*x3*x10 + 2.00000000000000*t*x4*x11 + 2.00000000000000*t*x5*x12 + 2.00000000000000*t*x6*x13 + 2.00000000000000*t*x7*x14 + 2.00000000000000*t*x8*x15 + 2.00000000000000*t*x9*x16 + 2.00000000000000*t*x10*x17 + 2.00000000000000*t*x11*x18 + 2.00000000000000*t*x12*x19 + 2.00000000000000*t*x13*x20 - t*x7 + (0.594530179128970 - 1.49791129685936*I)*x8^2 + (0.594530179128970 - 1.49791129685936*I)*t - 0.594530179128970 + 1.49791129685936*I", + "t*x4^2 + 2.00000000000000*t*x3*x5 + 2.00000000000000*t*x2*x6 + 2.00000000000000*t*x1*x7 + 2.00000000000000*t*x0*x8 + 2.00000000000000*t*x1*x9 + (0.241736488648232 + 1.05967318089969*I)*t*x9^2 + 2.00000000000000*t*x2*x10 + 2.00000000000000*t*x3*x11 + 2.00000000000000*t*x4*x12 + 2.00000000000000*t*x5*x13 + 2.00000000000000*t*x6*x14 + 2.00000000000000*t*x7*x15 + 2.00000000000000*t*x8*x16 + 2.00000000000000*t*x9*x17 + 2.00000000000000*t*x10*x18 + 2.00000000000000*t*x11*x19 + 2.00000000000000*t*x12*x20 - t*x8 + (-0.241736488648232 - 1.05967318089969*I)*x9^2 + (-0.241736488648232 - 1.05967318089969*I)*t + 0.241736488648232 + 1.05967318089969*I", + "2.00000000000000*t*x4*x5 + 2.00000000000000*t*x3*x6 + 2.00000000000000*t*x2*x7 + 2.00000000000000*t*x1*x8 + 2.00000000000000*t*x0*x9 + 2.00000000000000*t*x1*x10 + (-2.02596094207173 + 0.449501845702162*I)*t*x10^2 + 2.00000000000000*t*x2*x11 + 2.00000000000000*t*x3*x12 + 2.00000000000000*t*x4*x13 + 2.00000000000000*t*x5*x14 + 2.00000000000000*t*x6*x15 + 2.00000000000000*t*x7*x16 + 2.00000000000000*t*x8*x17 + 2.00000000000000*t*x9*x18 + 2.00000000000000*t*x10*x19 + 2.00000000000000*t*x11*x20 - t*x9 + (2.02596094207173 - 0.449501845702162*I)*x10^2 + (2.02596094207173 - 0.449501845702162*I)*t - 2.02596094207173 + 0.449501845702162*I", + "t*x5^2 + 2.00000000000000*t*x4*x6 + 2.00000000000000*t*x3*x7 + 2.00000000000000*t*x2*x8 + 2.00000000000000*t*x1*x9 + 2.00000000000000*t*x0*x10 + 2.00000000000000*t*x1*x11 + (-0.0276977857287759 - 0.268511707408005*I)*t*x11^2 + 2.00000000000000*t*x2*x12 + 2.00000000000000*t*x3*x13 + 2.00000000000000*t*x4*x14 + 2.00000000000000*t*x5*x15 + 2.00000000000000*t*x6*x16 + 2.00000000000000*t*x7*x17 + 2.00000000000000*t*x8*x18 + 2.00000000000000*t*x9*x19 + 2.00000000000000*t*x10*x20 - t*x10 + (0.0276977857287759 + 0.268511707408005*I)*x11^2 + (0.0276977857287759 + 0.268511707408005*I)*t - 0.0276977857287759 - 0.268511707408005*I", + "2.00000000000000*t*x5*x6 + 2.00000000000000*t*x4*x7 + 2.00000000000000*t*x3*x8 + 2.00000000000000*t*x2*x9 + 2.00000000000000*t*x1*x10 + 2.00000000000000*t*x0*x11 + 2.00000000000000*t*x1*x12 + (0.375318020473400 + 0.0331866040771732*I)*t*x12^2 + 2.00000000000000*t*x2*x13 + 2.00000000000000*t*x3*x14 + 2.00000000000000*t*x4*x15 + 2.00000000000000*t*x5*x16 + 2.00000000000000*t*x6*x17 + 2.00000000000000*t*x7*x18 + 2.00000000000000*t*x8*x19 + 2.00000000000000*t*x9*x20 - t*x11 + (-0.375318020473400 - 0.0331866040771732*I)*x12^2 + (-0.375318020473400 - 0.0331866040771732*I)*t + 0.375318020473400 + 0.0331866040771732*I", + "t*x6^2 + 2.00000000000000*t*x5*x7 + 2.00000000000000*t*x4*x8 + 2.00000000000000*t*x3*x9 + 2.00000000000000*t*x2*x10 + 2.00000000000000*t*x1*x11 + 2.00000000000000*t*x0*x12 + 2.00000000000000*t*x1*x13 + (-1.52581905056255 - 0.768089360249875*I)*t*x13^2 + 2.00000000000000*t*x2*x14 + 2.00000000000000*t*x3*x15 + 2.00000000000000*t*x4*x16 + 2.00000000000000*t*x5*x17 + 2.00000000000000*t*x6*x18 + 2.00000000000000*t*x7*x19 + 2.00000000000000*t*x8*x20 - t*x12 + (1.52581905056255 + 0.768089360249875*I)*x13^2 + (1.52581905056255 + 0.768089360249875*I)*t - 1.52581905056255 - 0.768089360249875*I", + "2.00000000000000*t*x6*x7 + 2.00000000000000*t*x5*x8 + 2.00000000000000*t*x4*x9 + 2.00000000000000*t*x3*x10 + 2.00000000000000*t*x2*x11 + 2.00000000000000*t*x1*x12 + 2.00000000000000*t*x0*x13 + 2.00000000000000*t*x1*x14 + (-0.153133669872510 - 0.0642877195593618*I)*t*x14^2 + 2.00000000000000*t*x2*x15 + 2.00000000000000*t*x3*x16 + 2.00000000000000*t*x4*x17 + 2.00000000000000*t*x5*x18 + 2.00000000000000*t*x6*x19 + 2.00000000000000*t*x7*x20 - t*x13 + (0.153133669872510 + 0.0642877195593618*I)*x14^2 + (0.153133669872510 + 0.0642877195593618*I)*t - 0.153133669872510 - 0.0642877195593618*I", + "t*x7^2 + 2.00000000000000*t*x6*x8 + 2.00000000000000*t*x5*x9 + 2.00000000000000*t*x4*x10 + 2.00000000000000*t*x3*x11 + 2.00000000000000*t*x2*x12 + 2.00000000000000*t*x1*x13 + 2.00000000000000*t*x0*x14 + 2.00000000000000*t*x1*x15 + (0.350251086196139 + 1.19498623634022*I)*t*x15^2 + 2.00000000000000*t*x2*x16 + 2.00000000000000*t*x3*x17 + 2.00000000000000*t*x4*x18 + 2.00000000000000*t*x5*x19 + 2.00000000000000*t*x6*x20 - t*x14 + (-0.350251086196139 - 1.19498623634022*I)*x15^2 + (-0.350251086196139 - 1.19498623634022*I)*t + 0.350251086196139 + 1.19498623634022*I", + "2.00000000000000*t*x7*x8 + 2.00000000000000*t*x6*x9 + 2.00000000000000*t*x5*x10 + 2.00000000000000*t*x4*x11 + 2.00000000000000*t*x3*x12 + 2.00000000000000*t*x2*x13 + 2.00000000000000*t*x1*x14 + 2.00000000000000*t*x0*x15 + 2.00000000000000*t*x1*x16 + (-2.95194735785455 + 3.18088099498578*I)*t*x16^2 + 2.00000000000000*t*x2*x17 + 2.00000000000000*t*x3*x18 + 2.00000000000000*t*x4*x19 + 2.00000000000000*t*x5*x20 - t*x15 + (2.95194735785455 - 3.18088099498578*I)*x16^2 + (2.95194735785455 - 3.18088099498578*I)*t - 2.95194735785455 + 3.18088099498578*I", + "t*x8^2 + 2.00000000000000*t*x7*x9 + 2.00000000000000*t*x6*x10 + 2.00000000000000*t*x5*x11 + 2.00000000000000*t*x4*x12 + 2.00000000000000*t*x3*x13 + 2.00000000000000*t*x2*x14 + 2.00000000000000*t*x1*x15 + 2.00000000000000*t*x0*x16 + 2.00000000000000*t*x1*x17 + (-0.311820910587738 + 0.0649514145472330*I)*t*x17^2 + 2.00000000000000*t*x2*x18 + 2.00000000000000*t*x3*x19 + 2.00000000000000*t*x4*x20 - t*x16 + (0.311820910587738 - 0.0649514145472330*I)*x17^2 + (0.311820910587738 - 0.0649514145472330*I)*t - 0.311820910587738 + 0.0649514145472330*I", + "2.00000000000000*t*x8*x9 + 2.00000000000000*t*x7*x10 + 2.00000000000000*t*x6*x11 + 2.00000000000000*t*x5*x12 + 2.00000000000000*t*x4*x13 + 2.00000000000000*t*x3*x14 + 2.00000000000000*t*x2*x15 + 2.00000000000000*t*x1*x16 + 2.00000000000000*t*x0*x17 + 2.00000000000000*t*x1*x18 + (0.766805875084563 - 0.388757655659070*I)*t*x18^2 + 2.00000000000000*t*x2*x19 + 2.00000000000000*t*x3*x20 - t*x17 + (-0.766805875084563 + 0.388757655659070*I)*x18^2 + (-0.766805875084563 + 0.388757655659070*I)*t + 0.766805875084563 - 0.388757655659070*I", + "t*x9^2 + 2.00000000000000*t*x8*x10 + 2.00000000000000*t*x7*x11 + 2.00000000000000*t*x6*x12 + 2.00000000000000*t*x5*x13 + 2.00000000000000*t*x4*x14 + 2.00000000000000*t*x3*x15 + 2.00000000000000*t*x2*x16 + 2.00000000000000*t*x1*x17 + 2.00000000000000*t*x0*x18 + 2.00000000000000*t*x1*x19 + (-0.296447362218375 - 0.709160982214052*I)*t*x19^2 + 2.00000000000000*t*x2*x20 - t*x18 + (0.296447362218375 + 0.709160982214052*I)*x19^2 + (0.296447362218375 + 0.709160982214052*I)*t - 0.296447362218375 - 0.709160982214052*I", + "2.00000000000000*t*x9*x10 + 2.00000000000000*t*x8*x11 + 2.00000000000000*t*x7*x12 + 2.00000000000000*t*x6*x13 + 2.00000000000000*t*x5*x14 + 2.00000000000000*t*x4*x15 + 2.00000000000000*t*x3*x16 + 2.00000000000000*t*x2*x17 + 2.00000000000000*t*x1*x18 + 2.00000000000000*t*x0*x19 + 2.00000000000000*t*x1*x20 + (0.267094022370310 + 0.456662729807606*I)*t*x20^2 - t*x19 + (-0.267094022370310 - 0.456662729807606*I)*x20^2 + (-0.267094022370310 - 0.456662729807606*I)*t + 0.267094022370310 + 0.456662729807606*I" + ], + "variables": [ + "x0", + "x1", + "x2", + "x3", + "x4", + "x5", + "x6", + "x7", + "x8", + "x9", + "x10", + "x11", + "x12", + "x13", + "x14", + "x15", + "x16", + "x17", + "x18", + "x19", + "x20" + ], + "parameters": [ + "t" + ], + "path": [ + [ + "0.0" + ], + [ + "1.0" + ] + ], + "fiber": [ + [ + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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", + "-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", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-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.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", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-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", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*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", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000" + ], + [ + "1.00000000000000", + "1.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "-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.00000000000000", + "-1.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000", + "-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.00000000000000 + 1.22464679914735e-16*I", + "1.00000000000000", + "1.00000000000000" + ] + ] +} \ No newline at end of file diff --git a/tests/eval-katsura-20.rs b/tests/eval-katsura-20.rs new file mode 100644 index 0000000000000000000000000000000000000000..1e4a06a3cfc60fb5557dd69b1d0c10a044efc81b --- /dev/null +++ b/tests/eval-katsura-20.rs @@ -0,0 +1,63 @@ +// Copyright 2024 Pierre Lairez +// SPDX-License-Identifier: GPL-3.0-or-later + +use std::{collections::HashMap, path::PathBuf}; + +use algpath::{ + num::{ComplexIntervalEvaluator, CIF}, + reckless_interval::Interval, + track::ProjectivePoint, +}; + +use nalgebra::DVector; + +#[test] +fn eval_katsura_20() { + let path = PathBuf::from("data/katsura-20-partial.json"); + let conf = algpath::cli::Configuration { + path: Some(path), + ..Default::default() + }; + + let mut input_problem = algpath::cli::Problem::new_from_input(&conf).unwrap(); + let parametric_system = input_problem.build_parametric_system(&conf).unwrap(); + + let n = input_problem.system.len(); + let mut pt: Vec<CIF> = Vec::new(); + for i in 1..=n { + pt.push(CIF::new(Interval::new(i as f64, i as f64), Interval::ZERO)); + } + let mut buf: Vec<CIF> = Vec::new(); + + let val = parametric_system.f( + &DVector::from_element(1, CIF::ONE), + &ProjectivePoint { + coord: pt.clone().into(), + chart: 0, + }, + &mut buf, + ComplexIntervalEvaluator {}, + ); + + let reference_values = [ + 460, 6620, 6158, 5701, 5252, 4814, 4390, 3983, 3596, 3232, 2894, 2585, 2308, 2066, 1862, + 1699, 1580, 1508, 1486, 1517, 1604, + ]; + + for i in 0..=20 { + println!("{}", input_problem.system[i]); + // direct evaluation + let mut pt_dict = HashMap::new(); + pt_dict.insert(input_problem.parameters[0].clone(), CIF::ONE); + for i in 0..=20 { + pt_dict.insert(input_problem.variables[i].clone(), pt[i]); + } + let val0 = input_problem.system[i].eval(&pt_dict).unwrap(); + + assert!(val0.im().contains_zero()); + assert!(val0.re().contains(reference_values[i] as f64)); + + assert!(val[i].im().contains_zero()); + assert!(val[i].re().contains(reference_values[i] as f64)); + } +}