Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 2867541572] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0727 geometric_solution 4.67676711 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.321362981452 0.078698121206 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.181572144105 0.674003227931 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.146797914852 0.574858779422 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323723405575 0.264061723949 6 3 5 5 0132 0132 3201 2031 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238163151061 0.808098224071 4 4 6 3 2310 1302 2310 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238163151061 0.808098224071 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941229044954 1.931419046172 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 5253949646806778430549818751563836658295645482572690328260867663201\ 2613882939804299422422/66511485119283957917665910795989330772050494\ 246250666397569379472471890985012919968671*c_0101_6^29 - 6549037115657900657354943104853744384079147306270183579066762474181\ 81692782004315508110019/6651148511928395791766591079598933077205049\ 4246250666397569379472471890985012919968671*c_0101_6^28 - 2036320035254696943298167439578290708008871399915162269759964665710\ 529771101713482826337892/665114851192839579176659107959893307720504\ 94246250666397569379472471890985012919968671*c_0101_6^27 + 2182454289751143608756252447620197910477916300368419651735768785017\ 2074113788884807982060120/66511485119283957917665910795989330772050\ 494246250666397569379472471890985012919968671*c_0101_6^26 - 7432169617790465654815109585597562447170081390036513179906387080302\ 9823421343434936566024471/66511485119283957917665910795989330772050\ 494246250666397569379472471890985012919968671*c_0101_6^25 - 5247395135383227903529712160076938389669647230717612101317695195480\ 07125968151239706475418226/6651148511928395791766591079598933077205\ 0494246250666397569379472471890985012919968671*c_0101_6^24 + 7096695406244459314451923815898049897253080862780639484528740750051\ 09446441134766420526121094/6651148511928395791766591079598933077205\ 0494246250666397569379472471890985012919968671*c_0101_6^23 + 6436321750385846339316845179998285741439020962812848255213491135550\ 032249422748157692567240898/665114851192839579176659107959893307720\ 50494246250666397569379472471890985012919968671*c_0101_6^22 + 3798085336416711048799381058737885320998826097913990729054604470777\ 921737903954419747572451363/665114851192839579176659107959893307720\ 50494246250666397569379472471890985012919968671*c_0101_6^21 - 3142338946983335304226463302840765872890405336978000259372467413762\ 6897582212969850960949750696/66511485119283957917665910795989330772\ 050494246250666397569379472471890985012919968671*c_0101_6^20 - 5120991591580118751366445676210620681778640771396502255759023582319\ 8489963662418120643354177277/66511485119283957917665910795989330772\ 050494246250666397569379472471890985012919968671*c_0101_6^19 + 5613651018138876141043599362579198266333148053500236371676868563465\ 035547828826321355361200335/604649864720763253796962825418084825200\ 4590386022787854324489042951990089546629088061*c_0101_6^18 + 1842772790733004238175707587901983711332867744606124485446098939455\ 34340622439081892748900301753/6651148511928395791766591079598933077\ 2050494246250666397569379472471890985012919968671*c_0101_6^17 - 2108523524181536456206040784977755144241252547670886191701211716243\ 9198345605573113203553792448/66511485119283957917665910795989330772\ 050494246250666397569379472471890985012919968671*c_0101_6^16 - 3097705879859210399045070861517654096085041685959429103202185791284\ 20572618918014059639789847646/6651148511928395791766591079598933077\ 2050494246250666397569379472471890985012919968671*c_0101_6^15 - 7140339849827792849701390500551869888421105999205691925633655036330\ 559010511429993834299186606/604649864720763253796962825418084825200\ 4590386022787854324489042951990089546629088061*c_0101_6^14 + 2797666369747748181323125488669571875876019940182244827455507068520\ 16887510111852712051303643616/6651148511928395791766591079598933077\ 2050494246250666397569379472471890985012919968671*c_0101_6^13 + 9314785773910432915576898269991136145884783382325797949316190644719\ 5452861111541875147219747557/66511485119283957917665910795989330772\ 050494246250666397569379472471890985012919968671*c_0101_6^12 - 1612837569712220931419516067296299658771910876319962243869812104178\ 26973479225613034087466209406/6651148511928395791766591079598933077\ 2050494246250666397569379472471890985012919968671*c_0101_6^11 - 3690429923165441209154710927406099666265809912459499069214187761695\ 957699440446216696392053845/604649864720763253796962825418084825200\ 4590386022787854324489042951990089546629088061*c_0101_6^10 + 6378496789221182976233012623566897337143647171678066907534950741124\ 7867101062655095841029469375/66511485119283957917665910795989330772\ 050494246250666397569379472471890985012919968671*c_0101_6^9 + 7014623540086423875812702979284415873107102180694146093173877143186\ 622741936484941688400011766/665114851192839579176659107959893307720\ 50494246250666397569379472471890985012919968671*c_0101_6^8 - 1589155667617201794938886865620086164863307392385552879035719912122\ 2584057060934120686296504625/66511485119283957917665910795989330772\ 050494246250666397569379472471890985012919968671*c_0101_6^7 + 1907230737236696006474409209653519271686834719479806221179399139411\ 2299054305897324029832635/66511485119283957917665910795989330772050\ 494246250666397569379472471890985012919968671*c_0101_6^6 + 2123789781081539766885903543525811423677394390164337713513580590055\ 501539243349202522820584923/665114851192839579176659107959893307720\ 50494246250666397569379472471890985012919968671*c_0101_6^5 - 1014771459838064240457808240195795939950435974842985519769630599100\ 78793717996844757973973649/6651148511928395791766591079598933077205\ 0494246250666397569379472471890985012919968671*c_0101_6^4 - 1241769303616385950103182095899400096517169060824565559553617762165\ 96743140663050802169976183/6651148511928395791766591079598933077205\ 0494246250666397569379472471890985012919968671*c_0101_6^3 - 3709710699872375417814898571761046345920569607583036995707995987710\ 80416188428841314966268/6651148511928395791766591079598933077205049\ 4246250666397569379472471890985012919968671*c_0101_6^2 + 2827011599509026962130312617322428720498010053542203519146075963579\ 852878792523933945986536/665114851192839579176659107959893307720504\ 94246250666397569379472471890985012919968671*c_0101_6 + 4287808532486248304330146346152311782274014273898563160140863133284\ 99207187253072073873064/6651148511928395791766591079598933077205049\ 4246250666397569379472471890985012919968671, c_0011_0 - 1, c_0011_2 + 215848176591738955537407910688684717255372050539087981583760\ 07563663814974559123494597/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^29 - 2731643234758937460095950743142671024849716489938875992469734615604\ 85560458459792477153/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^28 - 7848372548743449284146494548444067928081639000959717438201556888715\ 33738370691357752766/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^27 + 9118793476105814603232170022270977880543154979616011097700940413104\ 181362178630983035618/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^26 - 3225717827330645078889311703175140784753701398932296546728974307325\ 0734193503234107066291/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^25 - 2095407173668610481882365939018592981806862015108171211998384840886\ 38577104616881867055513/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^24 + 3317569231885941783100172537095709025565732237601221733564496402710\ 34485567228351435774219/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^23 + 2584007244604859102918118017004960541777564516181754987827886798586\ 295834786398107805449427/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^22 + 1066648779564218675309682680051107853513402302907910387150085298644\ 943618494120188386188751/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^21 - 1314789294534271823454135414105692872620777849920587344496978938659\ 6978064717595202033327909/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^20 - 1857810797005506315118634417036313846253020984777929262748176121781\ 1527812574976888180279010/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^19 + 2904832620859463435983519858625892358447578835629624675861625247864\ 8673464075279691744485978/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^18 + 7054564384111556389360956960838609520970511006654048760021281193644\ 1770986125095280215097355/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^17 - 2220413216080360622676127180559610003018786303346892631874430429805\ 7939829286711744707391466/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^16 - 1241489860294022662571560087622367566225960297728961750698359566661\ 76583653618890880858748701/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^15 - 9209852660550930975667493651702000956329898081641860250583214883753\ 179036556786317530859742/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^14 + 1181869489645330032370563912559390908167201941021505898336212171793\ 68060848710793106860807108/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^13 + 1721737024911447835664791635823244818529358776953569240051885125777\ 3548016193199224769692846/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^12 - 7045348332125797052409353230389865714373765049642581503466660644532\ 3526648160792528818416304/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^11 - 4558491874154361006959465937790896585020988654928788381495415962526\ 483818090945554080862098/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^10 + 2740431213095366372849948466146625329471796389264678003100468709676\ 2662625626460098905775396/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^9 - 1720436880947738651190610362668388617110014755429328153826084067103\ 682013342585658223712331/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^8 - 6315191609504884548107720295434360006146297633650945961212684297515\ 752178050337508291185098/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^7 + 1025727658025548592391045106025333300302175772128498943179628514098\ 177671174784841926232895/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^6 + 7101995633525634118023363867020485347110230785268779816929794601117\ 03570164868673780315076/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^5 - 1429453504691826717586128018333524161204250277572170458507772473160\ 58888881958936791665540/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^4 - 2889989967669755663460388327344146314863150029947964401323561048837\ 3635080542285524084083/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^3 + 2306392616647290888896929232683560383524701752757639758352228746146\ 918316636250774934332/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^2 + 9982628466594563467586165001976245775791837929241573259937949102093\ 42097236969410371357/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6 + 6063700266686845176734502157225212842445279719513130938136339712221\ 3687058219346058173/60464986472076325379696282541808482520045903860\ 22787854324489042951990089546629088061, c_0011_5 - 830844800186298998933136739342052348228983867047543832837824\ 2136016554650942208078758/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^29 + 1054668016054591458904994246203394478039721813113375341193859771035\ 22599831852211619925/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^28 + 2981619170888167365664626754753058716132394863341711782507041459035\ 99067340115829963243/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^27 - 3523026004559736660122906169314470905250819101366357710909281000055\ 794530248068264125032/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^26 + 1254686083183358432330548646595506796051187045573968774349578274238\ 8543685806877561648911/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^25 + 8022347977798612673279414137160695255343441136646546569580744148522\ 5286204643251331482496/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^24 - 1309526805699337140610494719548721690752996395851506556568045747006\ 56129131109761581696568/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^23 - 9908959099351906944727307175167720025396040602490284595799412460674\ 08173474602443651518592/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^22 - 3711267753608131461751175569212785591866851022373749900697305588488\ 66075973078806952687819/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^21 + 5090927560457048350952024400939084360333972128445376608742432852011\ 865839802958906435268316/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^20 + 6969125256936063744518014468386880115272145825400445712422004667089\ 183338303309703281408786/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^19 - 1151969820035283992573080618524524907369154606892981986153867198476\ 6747935064643720008391436/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^18 - 2685481587768584780284906706502255287718656754087932849144297568182\ 1726518270965620296479683/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^17 + 9679956324767626735082476289787624430618237076020571349131990105531\ 871537003139935505476105/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^16 + 4788042196195083621722499894346157744640037509752464967444443163494\ 7546470595773800219522008/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^15 + 1803079310834092097054073822957173062240274401573009159036052813234\ 867442066669220662812268/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^14 - 4624987578572303196988894916319497242401404721568608156383246070429\ 4977478125855090050842067/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^13 - 5248237886027328266249268132708103087246367384853649132797044461086\ 197761031835402238696326/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^12 + 2783179266935212583229978962164119978682992141471582925605720570225\ 1526631857857553622716388/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^11 + 1049926054716372068871198027879479912334199845452978073105417191549\ 751997568706260715792851/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^10 - 1083472520749664463223370566554680769874254143347447941649802877587\ 3417438492375254983322769/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^9 + 9209753640910657633870948213044732132991678817469653219393136053715\ 81677048487307983198034/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^8 + 2485748428568758057295826025389464692279805037240071159249859929089\ 614536975260505456886340/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^7 - 4522242824444701934134834963580391246853446057224061620820497484893\ 76301986123709279827571/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^6 - 2771185982497519023132111591682056784763997293349395734326256523135\ 77507898691434976395115/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^5 + 6059663713145552600928493614906986403889946431925508261707366260745\ 1026780040934178449076/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^4 + 1109938932470460011183227987277707824239958750181340511278605991733\ 1750014209169069318957/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^3 - 9775984909866741805562872021821923454578854291778259074008359759610\ 75582325544263830791/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^2 - 4051651995343616860907596409470945158331567069997648251137504216057\ 31879228861180902042/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6 - 2480014767767067816548854197757002086685436613163910944139324216940\ 8356790819995284954/60464986472076325379696282541808482520045903860\ 22787854324489042951990089546629088061, c_0101_0 + 103582495633845898650581526609405496956516194656051054017708\ 85493438679473580055126380/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^29 - 1323949113581706699501447870978320568427969385010479495572000131275\ 50307610447117172608/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^28 - 3604659796451624396702387531178783390590481683515778023773038098185\ 62338736909382921594/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^27 + 4428106165555722936173429917394624642327339771529998760928850772584\ 722531348561197644027/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^26 - 1601617206044527608512030972699457223892575814434720271041148160501\ 7624403980082357276846/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^25 - 9875415366326308315437712638427919589472018310543579850382755132355\ 5092490113328810382521/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^24 + 1723879160590354843640735013573143102511575675449323372513822996192\ 56062462123669114835682/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^23 + 1223828527356246501433946753396052263963324136021506055298829783824\ 268849989365006270188674/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^22 + 3513652367112490261735904501036368024437809577055872886196526746506\ 35271391822528130377828/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^21 - 6421191364822316016482976412893008814289054403229100309077716057196\ 287988450834349776572204/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^20 - 8159317886821113634311148550150300911758995636776805998594479570298\ 299289321777138341662496/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^19 + 1527764945568727230648440415079384734405630235649498124677538344752\ 0078062796320478593298970/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^18 + 3251823531598062322889167086898578150311893821944445315634908838441\ 3297841316067205102001568/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^17 - 1524740190433431103103612140554264007099856671100048149904445988874\ 5425572758522689030767375/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^16 - 5962515331297259728541406709152830250470831128977046441919588767577\ 9661732970139525200966258/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^15 + 2859271365585333409978265906897146019765474864533086884827839442749\ 929527343256196295760092/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^14 + 5937785882088249732147584503005996204252449910314813901643576513241\ 9272202711444993573106376/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^13 + 2231581292610565515839383450441977919913698847629457671143760534302\ 955974871059982875286836/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^12 - 3647298248375181154522210805678209781188610638465028157288846708253\ 4207084268275434829060687/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^11 + 1012324331007582076561854184575418784847544417333536942904658648811\ 332111637849308001361005/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^10 + 1423236091161219889731431485838610526834143540848968114358356730006\ 6290291999651623423340113/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^9 - 2014838320092206046866951579699505659539853523250966469466801936564\ 982801017739511705097359/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^8 - 3225040396739729045693025909116769227415223917010340613322528926366\ 920288922099606748619988/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^7 + 7608271938281348372561648714777792472995337834090681708343734917427\ 27812739086198437014267/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^6 + 3498174669610121903249576387804035251356057338980053864423118303894\ 26418345883018700207769/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^5 - 9663888570265966690349704857999979732119266497467282803668235038574\ 6961872622957654214758/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^4 - 1332029693918654769650994301946594342041371838907221247761981732312\ 6897312331710265727525/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^3 + 1819129079496460052741563152076076650130069324785505230854826764570\ 473053477618977957489/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^2 + 5657278544431674525263147915346587623834809163225012908598565264290\ 50120059684671002916/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6 + 3117561462701506438145980559758092833557277300585385240261084179593\ 7557473204830554811/60464986472076325379696282541808482520045903860\ 22787854324489042951990089546629088061, c_0101_1 - 223738976278594548824945902048122178691813966568666975222441\ 73948779109763536967742459/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^29 + 2832929099761647178891469428716990997209643410788035579063119060017\ 29811228213343879831/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^28 + 8117387357412938117035409242630917496914959760705838038205173169556\ 33862959843008186970/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^27 - 9457469595244251794006049771924471513962740476510146931538761021635\ 335057606640501310667/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^26 + 3349578519660374817226968394080901106972435997468435669959181422527\ 4710028336071670700914/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^25 + 2169925375317256552155058856040298755337181458487166822492378090483\ 37144356998714505934204/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^24 - 3452763896168366626243299620811027447588538566792242971166168680895\ 73817264961734723772473/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^23 - 2676447686378935711176006179716873738309320247335871548758570684010\ 430138373182193807052827/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^22 - 1088648881474303049100033786747117710012071132787758076023967854752\ 756246950042285232101829/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^21 + 1363753358743162029586220450241159751521605891928031261708065307163\ 8639525574286035446353305/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^20 + 1917434725860583052306635193593535587442184338565159211209495255389\ 3635260549791367390303049/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^19 - 3023919366544629865610246489460355886167090289169119966566667901892\ 1763815561354926255335518/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^18 - 7295986907492557683940424756518467385186657683508460955651828333418\ 1673262333292000211466530/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^17 + 2347498192318916500334235047813898903304738159763295287334247981092\ 2886353869123315135722837/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^16 + 1286155954638585999390223805033159413633779993517082728940002943587\ 05139706118688143380986590/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^15 + 8800001027137298016181977847123504946065400127744435991774497121532\ 583997578291075508273023/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^14 - 1226600148083484319706381859126338542842183753835385557999767260138\ 23949778130809930384689478/6046498647207632537969628254180848252004\ 590386022787854324489042951990089546629088061*c_0101_6^13 - 1721381843593194456325791822965249262772639837078699564646712483158\ 5559307378521772331810159/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^12 + 7319117765688812522531171337245071005034286611355389199576142974392\ 9604093946171121221467520/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^11 + 4392214192775705091336361128431068399164209966403822987920166845918\ 164971317886627738938415/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^10 - 2845464867776852670195853600270042684669462652215182714127856073124\ 2922608059021423953532844/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^9 + 1896520606452887248407377450954225909439929629967115452927133518385\ 480323257582011402600563/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^8 + 6546403367485264232346439320120749561546818681869290136206790562081\ 806864904808478288954404/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^7 - 1084031683516545125275959045728927152691628192973297925446078781053\ 149137576633017580610085/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^6 - 7347822081837637187196524150530849565525662434669477239780818038800\ 27670741105267183678673/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^5 + 1496914968805088490894296209809003490831082275761745781524484162647\ 51893462394570322044473/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^4 + 3000514090562061682077886501061726209650040938282237889062749202760\ 4948074159013819399090/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^3 - 2439966000637759156323567876083539111355812580613453808342401149415\ 260383505533422326137/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^2 - 1045454428030387915650256376393012409591307159367265177431334391091\ 023136664718656187312/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6 - 6091496571829517394488901265236687052674562563465159472935918532753\ 4400865052926794947/60464986472076325379696282541808482520045903860\ 22787854324489042951990089546629088061, c_0101_3 + 818488608682179756014124056740597276099261825788484637455339\ 9546675493769344240515718/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^29 - 1038358991003580080227021476065700382674079524683908953466933330747\ 77800710963405387797/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^28 - 2944959391057352496871727144111747412318663904769794016947139534952\ 44010151320621828085/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6^27 + 3468105770114478506456522016068974901196209129965355026477315887154\ 380083399617055013569/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^26 - 1233489477717918373147882498382033935616628139548115812537836797370\ 8763598842479210214437/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^25 - 7911530392729598556822235606288474159156481084956913380999735223260\ 9731859994410914478840/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^24 + 1283737787087799866604267479965903708507984749453665812879216215291\ 19440840941277300934260/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^23 + 9768868721777053060722820488704065367273151050686184131685971718449\ 95407080497962298942959/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^22 + 3732279528804920563148823426588827398345379119862338059847835894801\ 80269970251037409945859/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^21 - 5009381078865015070105944093414050051176198235019881894172682747925\ 251546422558129699066648/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^20 - 6900209445630667327937045261551655259306092906979702998238780126399\ 566448215966464286091304/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^19 + 1128367782092855573596243051583848248323219289034483832493262193225\ 1531146240826856695504184/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^18 + 2651118964306730451882791656903889193237578083818055230404777657687\ 2247025347858248504612568/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^17 - 9324083980879456603938534420253031812947598349006236287733430204585\ 856405701926057141636671/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^16 - 4714991379157257814599479371018070320153100163657169332600631995726\ 1663962530767597962345341/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^15 - 2090600814646990935568380634572849328530875298483327962936254040017\ 667972121096625236852422/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^14 + 4543148059871124149609602767107551841131618011056011810312234863906\ 5388622739701636047584679/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^13 + 5406922481149706054255584777869897588194140280981328457893667900680\ 733419557578858767884134/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^12 - 2731493475669902696856542577410334631948796839748071750397136924615\ 0219202301423597300898423/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^11 - 1153576403530111589540640809017462688699893802484949703751374645922\ 784886322218230447446287/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^10 + 1064724990587819058093079571184654529328577192193018309930553690655\ 4583747538252027728160276/60464986472076325379696282541808482520045\ 90386022787854324489042951990089546629088061*c_0101_6^9 - 8630347815943570601929752961104980788382287333952703858071503057040\ 75041669461848864231433/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^8 - 2450626344884665273238854550286391854965061329368031152668497939200\ 709933182431253889792181/604649864720763253796962825418084825200459\ 0386022787854324489042951990089546629088061*c_0101_6^7 + 4366591590623205337765494429237462789627477186891411320942014954699\ 35114121066163052363838/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^6 + 2755146092297654997949816367159284731393730424357034917065450417469\ 62618439009400839901949/6046498647207632537969628254180848252004590\ 386022787854324489042951990089546629088061*c_0101_6^5 - 5928442407359265075609928459668330872549336615324398160609194461213\ 5017662209641816020005/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^4 - 1143559375398824912606792224152149590499887611245329505660646983260\ 2815923958074448246111/60464986472076325379696282541808482520045903\ 86022787854324489042951990089546629088061*c_0101_6^3 + 1015856707181993726272161975153023784775184553063756241178958040197\ 864186815067280730950/604649864720763253796962825418084825200459038\ 6022787854324489042951990089546629088061*c_0101_6^2 + 4184088436244973598080560180828924890406003531070900546223029184844\ 39314952738082841956/6046498647207632537969628254180848252004590386\ 022787854324489042951990089546629088061*c_0101_6 + 2499962713907467536653495279789584977409233396674133184820265097748\ 5462035389991118494/60464986472076325379696282541808482520045903860\ 22787854324489042951990089546629088061, c_0101_6^30 - 13*c_0101_6^29 - 32*c_0101_6^28 + 435*c_0101_6^27 - 1640*c_0101_6^26 - 9193*c_0101_6^25 + 18716*c_0101_6^24 + 114423*c_0101_6^23 + 8157*c_0101_6^22 - 626222*c_0101_6^21 - 650856*c_0101_6^20 + 1642662*c_0101_6^19 + 2805148*c_0101_6^18 - 2155305*c_0101_6^17 - 5399080*c_0101_6^16 + 1554744*c_0101_6^15 + 5625087*c_0101_6^14 - 1087289*c_0101_6^13 - 3540553*c_0101_6^12 + 911948*c_0101_6^11 + 1343077*c_0101_6^10 - 516472*c_0101_6^9 - 265384*c_0101_6^8 + 148129*c_0101_6^7 + 16611*c_0101_6^6 - 17928*c_0101_6^5 + 929*c_0101_6^4 + 567*c_0101_6^3 + 10*c_0101_6^2 - 13*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB