Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 2210537307] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0843 geometric_solution 4.76234099 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.378535651105 0.202090789497 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.565657025262 0.895453718857 1 3 4 3 0132 3201 0132 2310 0 0 0 0 0 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 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.450944367566 1.368959545322 2 4 2 1 3201 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.450944367566 1.368959545322 3 5 5 2 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297768364875 0.246760145058 4 4 6 6 2310 0132 0132 2310 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 -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 1.398906536280 2.898756235185 5 6 6 5 3201 1230 3012 0132 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.156124892934 0.213229292294 ==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' : 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' : 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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 1462662757537593741571917335129315413402834344063560948839158827255\ 292803236/476909406772958314915163119921636150608723367422679357953\ 367680057442387963*c_0101_5^24 - 3028815746313931107426659786905744\ 612134295035091595447268133145602207536461/476909406772958314915163\ 119921636150608723367422679357953367680057442387963*c_0101_5^23 - 7307382317909450112135147600415136254334180076191277436698900269834\ 441075363/681299152532797592735947314173765929441033382032399082790\ 52525722491769709*c_0101_5^22 + 21309159371843187417133130207713003\ 6694265645263924440843931266696748488922558/47690940677295831491516\ 3119921636150608723367422679357953367680057442387963*c_0101_5^21 - 9728583599444228810010839375515986250346893755819696726422615744828\ 19162200046/4769094067729583149151631199216361506087233674226793579\ 53367680057442387963*c_0101_5^20 + 4807951217201242150084381311213168201858379094169665227198637812760\ 24070455500/6812991525327975927359473141737659294410333820323990827\ 9052525722491769709*c_0101_5^19 - 324746439947668594007454119384919\ 7628146240406642826927063261463686481284532233/47690940677295831491\ 5163119921636150608723367422679357953367680057442387963*c_0101_5^18 + 75663646944128336338109341224616413053457142168155841809616697625\ 39249519204765/4769094067729583149151631199216361506087233674226793\ 57953367680057442387963*c_0101_5^17 + 6814175953713031424143859463871301328989683229379597037976004551993\ 86596578000/6812991525327975927359473141737659294410333820323990827\ 9052525722491769709*c_0101_5^16 - 585553067855434434221142525989526\ 83362885351238222627162559397584190149672181837/4769094067729583149\ 15163119921636150608723367422679357953367680057442387963*c_0101_5^1\ 5 + 380356645911000796516133569871141999770918480615939300118674343\ 511921299374195/681299152532797592735947314173765929441033382032399\ 08279052525722491769709*c_0101_5^14 - 1103558956926095811830816720902214216315897291935234459348076634313\ 07275848350119/4769094067729583149151631199216361506087233674226793\ 57953367680057442387963*c_0101_5^13 - 1646171922427594681966600499219690893978243194456321659138835091832\ 05665448188508/4769094067729583149151631199216361506087233674226793\ 57953367680057442387963*c_0101_5^12 + 2839274528083818867509967118466867989838172076406728689124149451452\ 32791806555278/4769094067729583149151631199216361506087233674226793\ 57953367680057442387963*c_0101_5^11 + 2629645153198016587423478213209693341870897325573383082226742195181\ 13329712271253/4769094067729583149151631199216361506087233674226793\ 57953367680057442387963*c_0101_5^10 - 5202499721327472091775018127171399376639999880712061927961409016439\ 3724888534305/47690940677295831491516311992163615060872336742267935\ 7953367680057442387963*c_0101_5^9 - 1103026660298384440131595645500589381036671267039759425507654318898\ 4607795719898/68129915253279759273594731417376592944103338203239908\ 279052525722491769709*c_0101_5^8 - 5794091500624622844619200533144648550361302043086221726087898817524\ 1053298489379/47690940677295831491516311992163615060872336742267935\ 7953367680057442387963*c_0101_5^7 + 1014292265719118690599618384530997506155387235256451319131594155725\ 7992251879726/47690940677295831491516311992163615060872336742267935\ 7953367680057442387963*c_0101_5^6 + 1598374455949169777331619679415867876312136132452132988365235055209\ 8957174200469/47690940677295831491516311992163615060872336742267935\ 7953367680057442387963*c_0101_5^5 + 1402465624126195155729868653732477978052415916240429395711930890470\ 735149270513/681299152532797592735947314173765929441033382032399082\ 79052525722491769709*c_0101_5^4 + 270515666921891541612243918498458\ 9213826796770029525763787278093455627335512037/47690940677295831491\ 5163119921636150608723367422679357953367680057442387963*c_0101_5^3 - 5461379437551863439086761914242641375231968382985407833043080126109\ 3679032784/68129915253279759273594731417376592944103338203239908279\ 052525722491769709*c_0101_5^2 - 62172519241784699262061431792669298\ 7752995741005860139844631953412001493695500/47690940677295831491516\ 3119921636150608723367422679357953367680057442387963*c_0101_5 - 1470430159682122705976332548055495718405513710043288049892911636687\ 45600084365/4769094067729583149151631199216361506087233674226793579\ 53367680057442387963, c_0011_0 - 1, c_0011_1 - 625658207957407088862088021346809780138920604134041600854356\ 468573301/123647759080362539516505864641336829299643082038547927911\ 166108389277259*c_0101_5^24 + 1352860519275176602179644468980726921\ 956889879879627731700725032381285/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^23 + 2167600131162631001878620951567566659603796013777206554511843851488\ 3078/12364775908036253951650586464133682929964308203854792791116610\ 8389277259*c_0101_5^22 - 929260626924372198896468039664731169299553\ 32399672824091286663848476890/1236477590803625395165058646413368292\ 99643082038547927911166108389277259*c_0101_5^21 + 4273599822893711828492243399648537460733059717342346029495055673351\ 81834/1236477590803625395165058646413368292996430820385479279111661\ 08389277259*c_0101_5^20 - 14919309855795717706372666311066324192186\ 71512601423951813421064853666840/1236477590803625395165058646413368\ 29299643082038547927911166108389277259*c_0101_5^19 + 1585926244933700548889057377714113249554113019671525068523734625653\ 772096/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^18 - 3596690912531407806654759449661497260792\ 704311851525832042066821689027136/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^17 - 1428125220771046323093384765681493566116204561978049309436464151269\ 959087/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^16 + 2464731269166430558757908794856368918183\ 0160037691589790893665471257066844/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^15 - 3459921050605788702662600784033898205322586126683646199026074752419\ 840131/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^14 + 5091753277867097635877003061909888889377\ 0624170887999018522522267615533249/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^13 + 6365004706452807252921976212987323419515249807058519205872555482661\ 7302510/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^12 - 120279369315733431817093103888610666131\ 407284585375407426237641835823619396/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^11 - 9531267413664959555047749386135010191095226443555574027785582165787\ 2578269/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^10 + 109064142834309470201940256790629308146\ 35578341174256329251066574409383340/1236477590803625395165058646413\ 36829299643082038547927911166108389277259*c_0101_5^9 + 2922454587148342634743129817163945715197662272493270760981941663969\ 2185437/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^8 + 2843869076128460007468871894024024683817\ 6833271480470364083055189776909874/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^7 - 9862410828537988711489920717777326402832252921470903924784799794212\ 253433/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^6 - 17522750632516018105231156136705655468781\ 79314826975032589934156479225792/1236477590803625395165058646413368\ 29299643082038547927911166108389277259*c_0101_5^5 - 4237498188708456530431861416583135045723137526337185708796815665282\ 039545/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^4 - 13822440046238923638960776945871913649223\ 90402744961886515906404864325800/1236477590803625395165058646413368\ 29299643082038547927911166108389277259*c_0101_5^3 - 1562441778982890556720811812524463343915074887079633157447928598576\ 20914/1236477590803625395165058646413368292996430820385479279111661\ 08389277259*c_0101_5^2 + 319842950877479815709274867541988082355088\ 08687173549525713356281869019/1236477590803625395165058646413368292\ 99643082038547927911166108389277259*c_0101_5 + 4569615137289417640450645148103872740811326868971391302210537969392\ 6024/12364775908036253951650586464133682929964308203854792791116610\ 8389277259, c_0011_3 - 255777237636638508573875656986557935448931869450285220758739\ 1166692424/12364775908036253951650586464133682929964308203854792791\ 1166108389277259*c_0101_5^24 + 541758908079421193199390524287262616\ 6833105542993792312048320579279459/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^23 + 8885858784847921516094014496952368523081773588257298047320768145506\ 6716/12364775908036253951650586464133682929964308203854792791116610\ 8389277259*c_0101_5^22 - 376222655922753065041686560846196414353425\ 525473361246112682472133959086/123647759080362539516505864641336829\ 299643082038547927911166108389277259*c_0101_5^21 + 1730876313617908919236929537855338745742291857819032666418059250382\ 355774/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^20 - 6013443471623447855777483066934088402408\ 726853613451201138037414682932595/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^19 + 6176180674063108842603529116446666170016966420717420675118426064998\ 158421/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^18 - 1424685502345309554585137858379003016529\ 8673172723873678389595241804484921/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^17 - 7082184881858024789123150938886045548312976589526619681167943895761\ 693911/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^16 + 1011313643182520492292886336926762562028\ 54609022694695812579219988650932439/1236477590803625395165058646413\ 36829299643082038547927911166108389277259*c_0101_5^15 - 1095221943347568248951498127122882365341860879419339607417088737989\ 4164543/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^14 + 206665907240051154426871223485108391380\ 799624211336197759730969568260745052/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^13 + 2800075329525837041713516929682420682268051468721077624941421952406\ 38499479/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^12 - 48339631194177350723905259529810885458\ 2463661060891907546842202745689035890/12364775908036253951650586464\ 1336829299643082038547927911166108389277259*c_0101_5^11 - 3929263024211110122931942916708550681904749451448244496513761950901\ 22948406/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^10 + 54378032447047041452173702527658732617\ 749764819102435211803755212153006208/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^9 + 6436030580434771028650958935390407066403562623134448034837508904211\ 0734554/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^8 + 9282231528438732120254283174172630020672\ 7258014856381076518793271726312590/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^7 - 1103072880323154560739612292546691417427312318208006543559018265013\ 7180667/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^6 - 1091588881953471612081513175301172885248\ 7129344003976246286539396968070785/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^5 - 1569094912852855774030490417363865670964664535988278637853105067719\ 0644835/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^4 - 6903706736838416910571440996892191172878\ 846450982019266559388647115091753/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^3 - 1517694112561009235000669454591711883919427842680030448119232474642\ 779417/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^2 - 13238070051165150120781998789602572368572\ 2508902915781137314418915284981/12364775908036253951650586464133682\ 9299643082038547927911166108389277259*c_0101_5 - 5158237912214541872575432884476457056736861196694683343590496417711\ 8868/12364775908036253951650586464133682929964308203854792791116610\ 8389277259, c_0011_6 + 277013083389864328628251369629821367267846387324868845708184\ 3967444770/12364775908036253951650586464133682929964308203854792791\ 1166108389277259*c_0101_5^24 - 603781665212418885973714734679183664\ 7636805880134434451604285291546562/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^23 - 9586554736362209693626465609660254263968178481878735162414650561562\ 3263/12364775908036253951650586464133682929964308203854792791116610\ 8389277259*c_0101_5^22 + 413307064451570966497646281557979468361306\ 318080373455214916770102201873/123647759080362539516505864641336829\ 299643082038547927911166108389277259*c_0101_5^21 - 1899824990419140855661184973087354912915613995225928800178969746677\ 826381/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^20 + 6631111923160216775330157336518962120271\ 154267711454195038436120442609681/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^19 - 7105202653717672212255200507981716355947892909588664619920242588908\ 669035/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^18 + 1590707485563808808430111223915161521605\ 6687982346075892299300250368434739/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^17 + 6535501525680110953006122264536937365271219557994928755778637386878\ 268541/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^16 - 1096702040620050203786317503590546235988\ 72109193768588202600477780958473212/1236477590803625395165058646413\ 36829299643082038547927911166108389277259*c_0101_5^15 + 1806047740995405124236729233987053746046178235795590967680866502013\ 5935724/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^14 - 224493490382773794971336181011528131300\ 848360460459838435038450417749178357/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^13 - 2879358203420457482841221925007069917526240624737905440463446502368\ 39161366/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^12 + 54013134226991314377415052857309716844\ 5816022865328411537111613269650240849/12364775908036253951650586464\ 1336829299643082038547927911166108389277259*c_0101_5^11 + 3975897974333717567096458676052454983838712770105714485364005463062\ 29566096/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^10 - 82648621731297015460679993662905013068\ 471449610973962085859566667920556925/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^9 - 7379856827632345886518801302430950367590852534915384935547223606936\ 5220747/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^8 - 9792572872280820766055777434982966012768\ 9953436768421572975093806026832522/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^7 + 2016749970720679162154382413257053608431058334772185033794918769337\ 3894726/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^6 + 1239929480255668781413216026751094230605\ 3081390682415330234038159342278633/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^5 + 1590112567896576835016756770813693177241190722477444349192241980686\ 7624173/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^4 + 5882183447073868458364480393235441912089\ 329059876340073021246459601459451/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^3 + 1232289826499628309488925295593760938139738178298935182030451992386\ 022210/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^2 - 23661352962551361788947861067394243189911\ 818645112494562260446763336740/123647759080362539516505864641336829\ 299643082038547927911166108389277259*c_0101_5 + 5401994620477334584039241048989461233935249799837192582603830251394\ 4973/12364775908036253951650586464133682929964308203854792791116610\ 8389277259, c_0101_0 - 295211937246775043966490828321621944431669573653922724932518\ 3090099238/12364775908036253951650586464133682929964308203854792791\ 1166108389277259*c_0101_5^24 + 605027785060352332028054303222188269\ 0000091650140092282678476030458480/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^23 + 1030917056828610052453252228582347356003120867786041042173063121258\ 60456/1236477590803625395165058646413368292996430820385479279111661\ 08389277259*c_0101_5^22 - 42738941055085498037050296171842481950607\ 1665141357227776209245057641298/12364775908036253951650586464133682\ 9299643082038547927911166108389277259*c_0101_5^21 + 1964252015221416268273218927749105335232328832691454961001577523156\ 126062/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^20 - 6788840095280095701699256011041100307246\ 465942209367374803946217731228493/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^19 + 6585526617943135965128081962499218774871530808135948501650230791425\ 345587/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^18 - 1572683278336294890369091307231566986950\ 7840136410515630805498378365984397/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^17 - 9489449754121539130509353183547104132311429883865565910085428423923\ 355817/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^16 + 1166392173246219852664998902145029550017\ 12538106238124789540435984083533367/1236477590803625395165058646413\ 36829299643082038547927911166108389277259*c_0101_5^15 - 4177542465217608280115619286540725100157679684956635320501375552335\ 276242/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^14 + 2334915211698982181235831880308164955883\ 32057089715442878069180940434620200/1236477590803625395165058646413\ 36829299643082038547927911166108389277259*c_0101_5^13 + 3390665320098483083342919974249936604141922290773185128636603559104\ 07480565/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^12 - 54308481244679755124898305502993296258\ 4713131650670368022886077225995768202/12364775908036253951650586464\ 1336829299643082038547927911166108389277259*c_0101_5^11 - 5049981874820275987395724351552802763946340941154239581762787477204\ 47695587/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^10 + 50764899170153255736901809577264602702\ 241365148847519066261343180228354772/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^9 + 1011249307661470909851011333755899151309754527533840389124330599877\ 26127200/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^8 + 108285392217618669512750610040806796771\ 992185855473264495761788018203771707/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^7 - 1271083220182329529046513023275109604174861709987572083144589752291\ 0528044/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^6 - 1673074822489925571222412242088378138975\ 2963021056575529921534055930533471/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^5 - 1753026997752512810219039414164942822383900933587012611959610223887\ 5664720/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^4 - 7828215498514268494360415180380880920042\ 937172122705142876396046822231868/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^3 - 1843803127651667905527732722113111758664522342464124945346291272263\ 388630/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^2 + 10602307236132754952462301601447351693514\ 2029123763382872380825577959707/12364775908036253951650586464133682\ 9299643082038547927911166108389277259*c_0101_5 - 3460998189453160215275527029952232199327672361436397385869884503487\ 9839/12364775908036253951650586464133682929964308203854792791116610\ 8389277259, c_0101_1 + 195557569075803088003121078638526377315703913322963574715436\ 6262041973/12364775908036253951650586464133682929964308203854792791\ 1166108389277259*c_0101_5^24 - 466377393959819838751326351843826848\ 4564053882560344694406407139223562/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^23 - 6678720737492838056339879755710672515077936121980130219142480112574\ 2825/12364775908036253951650586464133682929964308203854792791116610\ 8389277259*c_0101_5^22 + 305687781970683702896603540291566231445021\ 263537815229400136649603551923/123647759080362539516505864641336829\ 299643082038547927911166108389277259*c_0101_5^21 - 1401732077768815439669224009916076040782276072365962210524916315984\ 992391/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^20 + 4956913905677902021755065641514800708173\ 668826647104855112865794868334981/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^19 - 5976796776372938951515596057805922332367996606915908285972243129692\ 492399/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^18 + 1224732374308969351703269688016271685995\ 2394787596097731951189259058786326/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^17 + 2443805948434494428395068110988648299830861927929651892075340610061\ 393742/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^16 - 7858051005438047728885288023081695597486\ 6582961476407917687470909720246130/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^15 + 2924162060835851929391965752361679182037204380400938787484785438204\ 2575129/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^14 - 162056215510892106524571595019450009786\ 746778130096494870397478713335111837/123647759080362539516505864641\ 336829299643082038547927911166108389277259*c_0101_5^13 - 1724302845330344182262651361004454807910510444940915728386336805089\ 95759349/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^12 + 42376659146194829765001033774379925022\ 2384798510224988270339497848502109362/12364775908036253951650586464\ 1336829299643082038547927911166108389277259*c_0101_5^11 + 1953236125859390816460190973881538303823965688310104326257265076676\ 99561256/1236477590803625395165058646413368292996430820385479279111\ 66108389277259*c_0101_5^10 - 11388062872957537858074122659898799030\ 4800539751661203063151335152267218831/12364775908036253951650586464\ 1336829299643082038547927911166108389277259*c_0101_5^9 - 2640185392317740583176516430541105491709447449644581056905650883452\ 4639771/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^8 - 6060619537473221988525566826752781541536\ 1063878397527142541996819500577096/12364775908036253951650586464133\ 6829299643082038547927911166108389277259*c_0101_5^7 + 2443070527763286155811827697145055112850305450317600124538114404081\ 5910052/12364775908036253951650586464133682929964308203854792791116\ 6108389277259*c_0101_5^6 + 6755780464620601275606169338987227708892\ 340537075067996489108039440581320/123647759080362539516505864641336\ 829299643082038547927911166108389277259*c_0101_5^5 + 8804373137544496952344858110218752905821588536913349996713650347960\ 718667/123647759080362539516505864641336829299643082038547927911166\ 108389277259*c_0101_5^4 + 22723255297335837487588717967495074181140\ 03865374871972895943135632346703/1236477590803625395165058646413368\ 29299643082038547927911166108389277259*c_0101_5^3 + 2571230145208855885243584732726266411728920646384481127504606197248\ 16159/1236477590803625395165058646413368292996430820385479279111661\ 08389277259*c_0101_5^2 - 508861788495773075847843871172949799518638\ 09693343370929409852073391467/1236477590803625395165058646413368292\ 99643082038547927911166108389277259*c_0101_5 + 5656922391082138228543397988991286296053578426288481943111455224527\ 6204/12364775908036253951650586464133682929964308203854792791116610\ 8389277259, c_0101_5^25 - 2*c_0101_5^24 - 35*c_0101_5^23 + 143*c_0101_5^22 - 659*c_0101_5^21 + 2270*c_0101_5^20 - 2132*c_0101_5^19 + 5269*c_0101_5^18 + 3427*c_0101_5^17 - 39226*c_0101_5^16 - 491*c_0101_5^15 - 79867*c_0101_5^14 - 118855*c_0101_5^13 + 176646*c_0101_5^12 + 177703*c_0101_5^11 - 4792*c_0101_5^10 - 30215*c_0101_5^9 - 39255*c_0101_5^8 + 383*c_0101_5^7 + 5495*c_0101_5^6 + 6479*c_0101_5^5 + 3085*c_0101_5^4 + 899*c_0101_5^3 + 82*c_0101_5^2 + 23*c_0101_5 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB