Magma V2.19-8 Wed Aug 21 2013 00:52:18 on localhost [Seed = 2312084526] Type ? for help. Type -D to quit. Loading file "L12a1283__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1283 geometric_solution 12.13176031 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 0 1 1 0 1 0 -1 1 0 -1 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 1 -1 0 0 0 1 -1 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.738441453351 0.583825739935 0 0 3 4 0132 1302 3120 0132 0 0 1 1 0 0 0 0 -1 0 0 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 1 -1 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.166684092847 0.658835272431 5 0 6 4 0132 0132 0132 3120 1 0 1 1 0 -1 1 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 -1 1 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.852172532788 0.832469480278 7 4 1 0 0132 3120 3120 0132 1 0 1 0 0 0 0 0 -1 0 0 1 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 -1 1 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.472408699120 0.767685967027 2 3 1 7 3120 3120 0132 2103 0 0 1 1 0 0 0 0 1 0 -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 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.143262413321 1.112250232393 2 6 8 9 0132 3120 0132 0132 1 0 1 1 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 -1 0 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.844395048545 0.554915525354 8 5 7 2 0132 3120 3120 0132 1 0 1 1 0 0 1 -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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413224979658 0.620901350582 3 10 6 4 0132 0132 3120 2103 1 0 0 1 0 -1 0 1 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 0 0 0 0 -1 0 1 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.399541675266 0.586575147974 6 10 9 5 0132 0321 2103 0132 1 0 1 1 0 1 -1 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 0 0 0 -1 0 1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638539202214 0.549522145611 8 11 5 12 2103 0132 0132 0132 1 0 1 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 0 0 0 0 0 0 -1 1 -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.676714622327 1.129436476758 12 7 12 8 0321 0132 2031 0321 1 1 1 0 0 1 0 -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 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.676714622327 1.129436476758 11 9 11 12 2310 0132 3201 2031 1 1 1 1 0 0 1 -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 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.480682988819 0.574527976176 10 11 9 10 0321 1302 0132 1302 1 0 1 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 0 0 0 0 0 0 -1 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.609640889701 0.651509223622 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : negation(d['c_1001_5']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_5'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0101_10'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_2'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_5'], '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_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 380440696421032359786196031378066192277/679644610814164137125784801\ 733357568*c_1001_5^21 - 639518923400994061968312774009432027917/297\ 344517231196809992530850758343936*c_1001_5^20 - 2437196573412786298595711513310841462027/59468903446239361998506170\ 1516687872*c_1001_5^19 - 57488892729598210982578895900050392710613/\ 4757512275699148959880493612133502976*c_1001_5^18 - 93391888639159217693076009000967094669421/2378756137849574479940246\ 806066751488*c_1001_5^17 - 2470046911646840743455818904669874527405\ 65/2378756137849574479940246806066751488*c_1001_5^16 - 1297096875082715439724449544948353046267491/47575122756991489598804\ 93612133502976*c_1001_5^15 - 31479361192253743295446747059886974838\ 54745/4757512275699148959880493612133502976*c_1001_5^14 - 6345346268356537686868204852839197311134743/47575122756991489598804\ 93612133502976*c_1001_5^13 - 14991796245356452098251872838695555620\ 83457/594689034462393619985061701516687872*c_1001_5^12 - 721931709551349375421841605624244698915481/148672258615598404996265\ 425379171968*c_1001_5^11 - 1905490510241908216857485304034213822773\ 5063/2378756137849574479940246806066751488*c_1001_5^10 - 22424524206637601997830041629714891766197313/2378756137849574479940\ 246806066751488*c_1001_5^9 - 33943900069689720113137823728145745865\ 613657/4757512275699148959880493612133502976*c_1001_5^8 - 8691074946285199096829554987147741933392713/23787561378495744799402\ 46806066751488*c_1001_5^7 - 181766613916321012765247348451570675825\ 5943/594689034462393619985061701516687872*c_1001_5^6 - 22444600077251593372194248126420157926283115/4757512275699148959880\ 493612133502976*c_1001_5^5 - 42082560221127490533631829865068871436\ 3485/84955576351770517140723100216669696*c_1001_5^4 - 7058321687898200393006212665340821201266027/23787561378495744799402\ 46806066751488*c_1001_5^3 - 124884540777672888256001112141647070397\ 5237/1189378068924787239970123403033375744*c_1001_5^2 - 1060081523143380220660198334373565765735675/47575122756991489598804\ 93612133502976*c_1001_5 - 25979618981608750434853118241486523930807\ /1189378068924787239970123403033375744, c_0011_0 - 1, c_0011_10 - 1947393665881425061063558019398575/690096558693404043020069\ 3471858816*c_1001_5^21 - 460730098031039045824615395630815/43131034\ 9183377526887543341991176*c_1001_5^20 - 1745518316642617134632459666054859/86262069836675505377508668398235\ 2*c_1001_5^19 - 41644804365897737099011197900425529/690096558693404\ 0430200693471858816*c_1001_5^18 - 674142673275422702730456101540692\ 33/3450482793467020215100346735929408*c_1001_5^17 - 177892724890324402092506212273595097/345048279346702021510034673592\ 9408*c_1001_5^16 - 935490729309935189097698357217612159/69009655869\ 34040430200693471858816*c_1001_5^15 - 2266602330120322173669641844600300429/69009655869340404302006934718\ 58816*c_1001_5^14 - 4558545730443281334557908282159527043/690096558\ 6934040430200693471858816*c_1001_5^13 - 1077932450993680507303552357600259393/86262069836675505377508668398\ 2352*c_1001_5^12 - 259606261806145057522074647528484347/10782758729\ 5844381721885835497794*c_1001_5^11 - 13659579843075275698899636538441916019/3450482793467020215100346735\ 929408*c_1001_5^10 - 16009085457482474056128123874922977573/3450482\ 793467020215100346735929408*c_1001_5^9 - 24184408531899321998735309621372628237/6900965586934040430200693471\ 858816*c_1001_5^8 - 6234909621098855772837658113240055677/345048279\ 3467020215100346735929408*c_1001_5^7 - 1313178171366325034898970509197692755/86262069836675505377508668398\ 2352*c_1001_5^6 - 16044104146109507486401292392855341799/6900965586\ 934040430200693471858816*c_1001_5^5 - 2097859940612835996964873687785102627/86262069836675505377508668398\ 2352*c_1001_5^4 - 5037710675238971274788591024838531255/34504827934\ 67020215100346735929408*c_1001_5^3 - 900123729313986066254725583190192785/172524139673351010755017336796\ 4704*c_1001_5^2 - 748152904757944519555187839651201687/690096558693\ 4040430200693471858816*c_1001_5 - 183908263331189896616181034814389\ 79/1725241396733510107550173367964704, c_0011_11 - 32578437015434534521247168718267/21565517459168876344377167\ 0995588*c_1001_5^21 - 34802546808515725811061261186184/539137936479\ 22190860942917748897*c_1001_5^20 - 72208769946863302959892990980844/53913793647922190860942917748897*c\ _1001_5^19 - 791404988594349163143960343260789/21565517459168876344\ 3771670995588*c_1001_5^18 - 1281003372671765868703749695667307/1078\ 27587295844381721885835497794*c_1001_5^17 - 3475737713724822199283835599200511/10782758729584438172188583549779\ 4*c_1001_5^16 - 18212086348694939372228173838246407/215655174591688\ 763443771670995588*c_1001_5^15 - 4467398334519875487663921531039846\ 9/215655174591688763443771670995588*c_1001_5^14 - 92460605677871271838968267746807243/2156551745916887634437716709955\ 88*c_1001_5^13 - 43968370383116294668146055792143938/53913793647922\ 190860942917748897*c_1001_5^12 - 8432194972815754708617418710946543\ 9/53913793647922190860942917748897*c_1001_5^11 - 286025300075329388929344847556201007/107827587295844381721885835497\ 794*c_1001_5^10 - 359298934224448031484767686610381657/107827587295\ 844381721885835497794*c_1001_5^9 - 600870787712168340409364754498342597/215655174591688763443771670995\ 588*c_1001_5^8 - 167209770356056833089542435326360853/1078275872958\ 44381721885835497794*c_1001_5^7 - 575819646148269641085226123708950\ 60/53913793647922190860942917748897*c_1001_5^6 - 333676679294350216956994310351254495/215655174591688763443771670995\ 588*c_1001_5^5 - 97165465690278098388839120757214796/53913793647922\ 190860942917748897*c_1001_5^4 - 13351976268900396509205203112652219\ 5/107827587295844381721885835497794*c_1001_5^3 - 26624867305938788322337710811716169/5391379364792219086094291774889\ 7*c_1001_5^2 - 24110694567292984853681481422265779/2156551745916887\ 63443771670995588*c_1001_5 - 624998193816160130478741442807690/5391\ 3793647922190860942917748897, c_0011_12 + 335884615543645241831473019271281/6900965586934040430200693\ 471858816*c_1001_5^21 + 97874404090980025668638122504983/4313103491\ 83377526887543341991176*c_1001_5^20 + 432141320820171632978934638256073/862620698366755053775086683982352\ *c_1001_5^19 + 9013361027015786904147894246570759/69009655869340404\ 30200693471858816*c_1001_5^18 + 14516611856090224576945375343724111\ /3450482793467020215100346735929408*c_1001_5^17 + 40152916402257680841162114437906247/3450482793467020215100346735929\ 408*c_1001_5^16 + 210201392578478921129275085698216673/690096558693\ 4040430200693471858816*c_1001_5^15 + 519332315665543814900922374010067443/690096558693404043020069347185\ 8816*c_1001_5^14 + 1095159578861467383309062307359144989/6900965586\ 934040430200693471858816*c_1001_5^13 + 261701243474488212603474533275263947/862620698366755053775086683982\ 352*c_1001_5^12 + 125072019071469142221218180882627563/215655174591\ 688763443771670995588*c_1001_5^11 + 3456728550530248552456781820045726045/34504827934670202151003467359\ 29408*c_1001_5^10 + 4525940231471236502016581996052970283/345048279\ 3467020215100346735929408*c_1001_5^9 + 8009973639380128644556513989440567347/69009655869340404302006934718\ 58816*c_1001_5^8 + 2327423551948902315583429534538177987/3450482793\ 467020215100346735929408*c_1001_5^7 + 362846052669336788532723401089423341/862620698366755053775086683982\ 352*c_1001_5^6 + 4019432650110538446210359713381504697/690096558693\ 4040430200693471858816*c_1001_5^5 + 622659456474256455916647941274372889/862620698366755053775086683982\ 352*c_1001_5^4 + 1836520922537969613959223905277607481/345048279346\ 7020215100346735929408*c_1001_5^3 + 387968627848937596421599856311097367/172524139673351010755017336796\ 4704*c_1001_5^2 + 370950789195281417374595513527977961/690096558693\ 4040430200693471858816*c_1001_5 + 954230843114978969123431068961218\ 9/1725241396733510107550173367964704, c_0011_4 - 1629426084722249443615574191001477/1380193117386808086040138\ 6943717632*c_1001_5^21 - 407057323064591685078735027027931/86262069\ 8366755053775086683982352*c_1001_5^20 - 1611357312140053845749816921117837/17252413967335101075501733679647\ 04*c_1001_5^19 - 36993987328003195544954211142304467/13801931173868\ 080860401386943717632*c_1001_5^18 - 59799331122991839756196024608210299/6900965586934040430200693471858\ 816*c_1001_5^17 - 159834637988197268150894310562325331/690096558693\ 4040430200693471858816*c_1001_5^16 - 839796242976839063065851055096249781/138019311738680808604013869437\ 17632*c_1001_5^15 - 2046485056189658984708418082599863599/138019311\ 73868080860401386943717632*c_1001_5^14 - 4174346743556465432916441011305102241/13801931173868080860401386943\ 717632*c_1001_5^13 - 990600428175727472353373095716414407/172524139\ 6733510107550173367964704*c_1001_5^12 - 476121805154741655769319599722243151/431310349183377526887543341991\ 176*c_1001_5^11 - 12718309890995645135183654612142685217/6900965586\ 934040430200693471858816*c_1001_5^10 - 15464999313512585317437667167163997767/6900965586934040430200693471\ 858816*c_1001_5^9 - 24791100280854915419277153869307789167/13801931\ 173868080860401386943717632*c_1001_5^8 - 6747061678611980781490712000351001215/69009655869340404302006934718\ 58816*c_1001_5^7 - 1275534709730919017515409199005693329/1725241396\ 733510107550173367964704*c_1001_5^6 - 14955595880640430661815916176137446893/1380193117386808086040138694\ 3717632*c_1001_5^5 - 2061770816505372613871184536672187053/17252413\ 96733510107550173367964704*c_1001_5^4 - 5365356623239901639035522201502268013/69009655869340404302006934718\ 58816*c_1001_5^3 - 1046125418004755441717573226068981475/3450482793\ 467020215100346735929408*c_1001_5^2 - 992619497613946677019560067711015901/138019311738680808604013869437\ 17632*c_1001_5 - 27464741456480954439236106788010753/34504827934670\ 20215100346735929408, c_0101_0 - 1, c_0101_1 + 2265361247040600678511541847795673/1380193117386808086040138\ 6943717632*c_1001_5^21 + 514402872997486406570495764233699/86262069\ 8366755053775086683982352*c_1001_5^20 + 1879679321145180423515102410991881/17252413967335101075501733679647\ 04*c_1001_5^19 + 46295621403792278653068184658546591/13801931173868\ 080860401386943717632*c_1001_5^18 + 75029203532092700789895195699928167/6900965586934040430200693471858\ 816*c_1001_5^17 + 195950811792451536034118113984864863/690096558693\ 4040430200693471858816*c_1001_5^16 + 1031185215643031315129545659338974537/13801931173868080860401386943\ 717632*c_1001_5^15 + 2486719604050985362630865606600737259/13801931\ 173868080860401386943717632*c_1001_5^14 + 4942744717330097236199375553013951845/13801931173868080860401386943\ 717632*c_1001_5^13 + 1165264473811633542253731619484104379/17252413\ 96733510107550173367964704*c_1001_5^12 + 562303242069838574318978990391694237/431310349183377526887543341991\ 176*c_1001_5^11 + 14600849795154906262615618464741146821/6900965586\ 934040430200693471858816*c_1001_5^10 + 16553171601452362794818580582681957379/6900965586934040430200693471\ 858816*c_1001_5^9 + 23577716782943728578193465373437467307/13801931\ 173868080860401386943717632*c_1001_5^8 + 5722757563585730764184604226129110139/69009655869340404302006934718\ 58816*c_1001_5^7 + 1350821633001731052282531819389692181/1725241396\ 733510107550173367964704*c_1001_5^6 + 17132612411578584310986668609573236705/1380193117386808086040138694\ 3717632*c_1001_5^5 + 2133949064720299380058562838898018201/17252413\ 96733510107550173367964704*c_1001_5^4 + 4710064727238040910541659848174794497/69009655869340404302006934718\ 58816*c_1001_5^3 + 754122040623216690791877940311404095/34504827934\ 67020215100346735929408*c_1001_5^2 + 503686311901942362090815611591387473/138019311738680808604013869437\ 17632*c_1001_5 + 9316911209757024884000100174867205/345048279346702\ 0215100346735929408, c_0101_10 - 246208376437306627871460531916785/8626206983667550537750866\ 83982352*c_1001_5^21 - 251772519122778207846959159533967/2156551745\ 91688763443771670995588*c_1001_5^20 - 509260901593972146488507195344603/215655174591688763443771670995588\ *c_1001_5^19 - 5749779376683297602820860069483779/86262069836675505\ 3775086683982352*c_1001_5^18 - 9275481373411305255511266334595723/4\ 31310349183377526887543341991176*c_1001_5^17 - 24948040885078315703448241773297519/4313103491833775268875433419911\ 76*c_1001_5^16 - 131035774983764182350286620800259193/8626206983667\ 55053775086683982352*c_1001_5^15 - 320105645804779584065206390790971399/862620698366755053775086683982\ 352*c_1001_5^14 - 657135133765045935760623150067866861/862620698366\ 755053775086683982352*c_1001_5^13 - 312466071654133972635496633094541769/215655174591688763443771670995\ 588*c_1001_5^12 - 600097957286820830500419622169238461/215655174591\ 688763443771670995588*c_1001_5^11 - 2016679946048067521306732624506616803/43131034918337752688754334199\ 1176*c_1001_5^10 - 2491599264431513764005169441099049017/4313103491\ 83377526887543341991176*c_1001_5^9 - 4094882210513048373628604081960351615/86262069836675505377508668398\ 2352*c_1001_5^8 - 1138614722197148800901071916086884575/43131034918\ 3377526887543341991176*c_1001_5^7 - 204965801887221496663262209495438349/107827587295844381721885835497\ 794*c_1001_5^6 - 2355651621754138554121319146982446761/862620698366\ 755053775086683982352*c_1001_5^5 - 668216420863109135962862295551718001/215655174591688763443771670995\ 588*c_1001_5^4 - 902275059246089196294911980158207915/4313103491833\ 77526887543341991176*c_1001_5^3 - 450541477946575538781928575986173\ 01/53913793647922190860942917748897*c_1001_5^2 - 164833572082798720845731772670434501/862620698366755053775086683982\ 352*c_1001_5 - 4530327649683695988268304650498981/21565517459168876\ 3443771670995588, c_0101_11 + 1952539355293232704906358743372129/138019311738680808604013\ 86943717632*c_1001_5^21 + 573641703708082458963378996761567/8626206\ 98366755053775086683982352*c_1001_5^20 + 2537609900802487468583410528702985/17252413967335101075501733679647\ 04*c_1001_5^19 + 52871302627425877679812393026809623/13801931173868\ 080860401386943717632*c_1001_5^18 + 85175555320415751797920951188229407/6900965586934040430200693471858\ 816*c_1001_5^17 + 235542249699983061869930268895560599/690096558693\ 4040430200693471858816*c_1001_5^16 + 1233685588598018472351102366080227793/13801931173868080860401386943\ 717632*c_1001_5^15 + 3051179136822414781656957880510280515/13801931\ 173868080860401386943717632*c_1001_5^14 + 6440859254440953525753986497765512013/13801931173868080860401386943\ 717632*c_1001_5^13 + 1540354240481554660043078984356351035/17252413\ 96733510107550173367964704*c_1001_5^12 + 736569071481679635378165497246354971/431310349183377526887543341991\ 176*c_1001_5^11 + 20378041259888396529639423418576591821/6900965586\ 934040430200693471858816*c_1001_5^10 + 26766010836308527661430263456665314427/6900965586934040430200693471\ 858816*c_1001_5^9 + 47738841329173456634975035995307118211/13801931\ 173868080860401386943717632*c_1001_5^8 + 14064187735518883629389166797303528275/6900965586934040430200693471\ 858816*c_1001_5^7 + 2184551122773924476849425790565750461/172524139\ 6733510107550173367964704*c_1001_5^6 + 23664095534291543087864531119244381353/1380193117386808086040138694\ 3717632*c_1001_5^5 + 3681919988124902938235484439544932553/17252413\ 96733510107550173367964704*c_1001_5^4 + 11016675439898721881260200710250750761/6900965586934040430200693471\ 858816*c_1001_5^3 + 2372773872689025918117642295929956263/345048279\ 3467020215100346735929408*c_1001_5^2 + 2290457659423745517483759373121943001/13801931173868080860401386943\ 717632*c_1001_5 + 67450046788578384038488949983575981/3450482793467\ 020215100346735929408, c_0101_2 + 1947393665881425061063558019398575/6900965586934040430200693\ 471858816*c_1001_5^21 + 460730098031039045824615395630815/431310349\ 183377526887543341991176*c_1001_5^20 + 1745518316642617134632459666054859/86262069836675505377508668398235\ 2*c_1001_5^19 + 41644804365897737099011197900425529/690096558693404\ 0430200693471858816*c_1001_5^18 + 674142673275422702730456101540692\ 33/3450482793467020215100346735929408*c_1001_5^17 + 177892724890324402092506212273595097/345048279346702021510034673592\ 9408*c_1001_5^16 + 935490729309935189097698357217612159/69009655869\ 34040430200693471858816*c_1001_5^15 + 2266602330120322173669641844600300429/69009655869340404302006934718\ 58816*c_1001_5^14 + 4558545730443281334557908282159527043/690096558\ 6934040430200693471858816*c_1001_5^13 + 1077932450993680507303552357600259393/86262069836675505377508668398\ 2352*c_1001_5^12 + 259606261806145057522074647528484347/10782758729\ 5844381721885835497794*c_1001_5^11 + 13659579843075275698899636538441916019/3450482793467020215100346735\ 929408*c_1001_5^10 + 16009085457482474056128123874922977573/3450482\ 793467020215100346735929408*c_1001_5^9 + 24184408531899321998735309621372628237/6900965586934040430200693471\ 858816*c_1001_5^8 + 6234909621098855772837658113240055677/345048279\ 3467020215100346735929408*c_1001_5^7 + 1313178171366325034898970509197692755/86262069836675505377508668398\ 2352*c_1001_5^6 + 16044104146109507486401292392855341799/6900965586\ 934040430200693471858816*c_1001_5^5 + 2097859940612835996964873687785102627/86262069836675505377508668398\ 2352*c_1001_5^4 + 5037710675238971274788591024838531255/34504827934\ 67020215100346735929408*c_1001_5^3 + 900123729313986066254725583190192785/172524139673351010755017336796\ 4704*c_1001_5^2 + 748152904757944519555187839651201687/690096558693\ 4040430200693471858816*c_1001_5 + 183908263331189896616181034814389\ 79/1725241396733510107550173367964704, c_0101_3 - 1346897586370196604453495191825595/6900965586934040430200693\ 471858816*c_1001_5^21 - 651246247473077583838932740496385/862620698\ 366755053775086683982352*c_1001_5^20 - 321529114816399281470289192021197/215655174591688763443771670995588\ *c_1001_5^19 - 30195936967396925741011887839477605/6900965586934040\ 430200693471858816*c_1001_5^18 - 4827780233978192409016928819902750\ 1/3450482793467020215100346735929408*c_1001_5^17 - 128640894431178408849720407255747725/345048279346702021510034673592\ 9408*c_1001_5^16 - 678393054087879061807053601875783003/69009655869\ 34040430200693471858816*c_1001_5^15 - 1648527460450897872403406311661834873/69009655869340404302006934718\ 58816*c_1001_5^14 - 3355440614989085124254035579134068511/690096558\ 6934040430200693471858816*c_1001_5^13 - 199852314906314046477056181348476501/215655174591688763443771670995\ 588*c_1001_5^12 - 1537785881180525447569901015935526441/86262069836\ 6755053775086683982352*c_1001_5^11 - 10221666580304385175144350481976179691/3450482793467020215100346735\ 929408*c_1001_5^10 - 12435535447724797776658468651109059941/3450482\ 793467020215100346735929408*c_1001_5^9 - 20291925697315897166600079773988090633/6900965586934040430200693471\ 858816*c_1001_5^8 - 5804132893684339872733489995656524505/345048279\ 3467020215100346735929408*c_1001_5^7 - 1091092589887504477929607594356704323/86262069836675505377508668398\ 2352*c_1001_5^6 - 11960727004623555882639636498283248243/6900965586\ 934040430200693471858816*c_1001_5^5 - 824238673893881421355872073932840927/431310349183377526887543341991\ 176*c_1001_5^4 - 4480926895548849237985316528364157095/345048279346\ 7020215100346735929408*c_1001_5^3 - 946616736362275302159321267343557567/172524139673351010755017336796\ 4704*c_1001_5^2 - 913484152836024394920654925032583867/690096558693\ 4040430200693471858816*c_1001_5 - 272501959342374777103256072301002\ 15/1725241396733510107550173367964704, c_0101_5 + 753777710572720752891858766772541/69009655869340404302006934\ 71858816*c_1001_5^21 + 198812078710383988884187299176841/4313103491\ 83377526887543341991176*c_1001_5^20 + 825297564492051546160264206473785/862620698366755053775086683982352\ *c_1001_5^19 + 18291957647156700876759967373926843/6900965586934040\ 430200693471858816*c_1001_5^18 + 2941585988802690352973140699058793\ 9/3450482793467020215100346735929408*c_1001_5^17 + 79703601709401314699369799882428955/3450482793467020215100346735929\ 408*c_1001_5^16 + 418736411793448000071415483753505069/690096558693\ 4040430200693471858816*c_1001_5^15 + 1025957510179849064169328500306233975/69009655869340404302006934718\ 58816*c_1001_5^14 + 2122982979020365927511636990696407545/690096558\ 6934040430200693471858816*c_1001_5^13 + 506144398755986425214638512170490571/862620698366755053775086683982\ 352*c_1001_5^12 + 60683145460435687327939232945314876/5391379364792\ 2190860942917748897*c_1001_5^11 + 657689107300101287115598836967495\ 0697/3450482793467020215100346735929408*c_1001_5^10 + 8288441496295197637297884800300154527/34504827934670202151003467359\ 29408*c_1001_5^9 + 14052078585051243729351380295363309943/690096558\ 6934040430200693471858816*c_1001_5^8 + 4023011466348526793862322510961522567/34504827934670202151003467359\ 29408*c_1001_5^7 + 688606676673949328958273745955024713/86262069836\ 6755053775086683982352*c_1001_5^6 + 7668607467635762211170220950630532581/69009655869340404302006934718\ 58816*c_1001_5^5 + 1120267722706029398564095408067104369/8626206983\ 66755053775086683982352*c_1001_5^4 + 3155998116652040429273592685973739061/34504827934670202151003467359\ 29408*c_1001_5^3 + 657107367892175287086941362442413139/17252413967\ 33510107550173367964704*c_1001_5^2 + 624549619730884868986800846861182645/690096558693404043020069347185\ 8816*c_1001_5 + 17331883094675489935488542767206489/172524139673351\ 0107550173367964704, c_1001_5^22 + 4*c_1001_5^21 + 8*c_1001_5^20 + 23*c_1001_5^19 + 74*c_1001_5^18 + 198*c_1001_5^17 + 521*c_1001_5^16 + 1271*c_1001_5^15 + 2601*c_1001_5^14 + 4956*c_1001_5^13 + 9536*c_1001_5^12 + 15962*c_1001_5^11 + 19646*c_1001_5^10 + 16283*c_1001_5^9 + 9506*c_1001_5^8 + 7136*c_1001_5^7 + 9577*c_1001_5^6 + 10492*c_1001_5^5 + 7218*c_1001_5^4 + 3204*c_1001_5^3 + 937*c_1001_5^2 + 168*c_1001_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB