Magma V2.19-8 Tue Aug 20 2013 23:48:41 on localhost [Seed = 2345525543] Type ? for help. Type -D to quit. Loading file "L12a1293__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1293 geometric_solution 10.35668490 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 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 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 0 0 0 1.082737397957 1.798034661465 0 4 4 5 0132 0132 1302 0132 0 0 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959729137963 0.885301800043 0 0 7 6 3012 0132 0132 0132 0 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 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 -0.025538014340 0.554987660990 7 8 6 0 2031 0132 0213 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 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 0.011747903762 0.716047551093 1 1 9 10 2031 0132 0132 0132 0 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 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.437055949763 0.519287537790 7 9 1 7 1023 0132 0132 3120 0 0 1 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.877615047366 0.792226718325 6 3 2 6 3012 0213 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586126505874 1.727281373090 5 5 3 2 3120 1023 1302 0132 0 0 1 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 -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.372159559333 0.566754151987 9 3 10 11 0321 0132 1302 0132 0 1 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -2 2 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.321092082377 1.093649120092 8 5 11 4 0321 0132 3201 0132 0 0 0 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 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.537417478558 0.675628333756 8 11 4 11 2031 0321 0132 2031 0 0 0 1 0 0 0 0 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 -1 0 1 0 -1 0 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.782665231606 1.222705847482 9 10 8 10 2310 1302 0132 0321 0 1 0 0 0 0 0 0 0 0 -1 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 -2 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.835845039178 0.961047228468 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_6'], 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0110_10'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0110_10'], 'c_1001_3' : d['c_0110_10'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0110_10'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_5'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : 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' : 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_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0110_10'], 'c_1010_2' : d['c_0110_10'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0110_10'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_5'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_10, c_0101_2, c_0101_6, c_0110_10, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 119827021393974657550446008844614436763940648672542/724742691890653\ 308374607805071848963449280206515*c_1001_4^17 - 60225988673749566553769805281783887492189327060686481/2923128857292\ 3016771109181471231241525787634996105*c_1001_4^16 - 348072162792484642732433709840501270479920445134919767/292312885729\ 23016771109181471231241525787634996105*c_1001_4^15 - 335948038803055994749861045225022292091092086949168893/797216961079\ 7186392120685855790338597942082271665*c_1001_4^14 - 8941038899893694314914281213546810006341495643655256573/87693865718\ 769050313327544413693724577362904988315*c_1001_4^13 - 15783208418037894071887250223128006633878441861571627966/8769386571\ 8769050313327544413693724577362904988315*c_1001_4^12 - 638702768937536873780675309137987455794142629642836556/265738987026\ 5728797373561951930112865980694090555*c_1001_4^11 - 6914155784575991256074658107399042433981098881560047323/29231288572\ 923016771109181471231241525787634996105*c_1001_4^10 - 12557636451667140200747833131528527992002087570223847497/8769386571\ 8769050313327544413693724577362904988315*c_1001_4^9 - 30757072419890960786388189690715231122293039898935588/1753877314375\ 3810062665508882738744915472580997663*c_1001_4^8 + 1653996056941044243902930526595602905485932126952194575/17538773143\ 753810062665508882738744915472580997663*c_1001_4^7 + 1728835297746859605576547398755969052232772185660636340/17538773143\ 753810062665508882738744915472580997663*c_1001_4^6 + 4606878626060999705154494618852061290178639113558540417/87693865718\ 769050313327544413693724577362904988315*c_1001_4^5 + 8973202129284993858603667994076324364017018005671003/64958419050940\ 0372691315143805138700573058555469*c_1001_4^4 - 47679801425411045593552119190789575758863426283869019/8769386571876\ 9050313327544413693724577362904988315*c_1001_4^3 - 144335679672458898448959083130680484152805025614670606/876938657187\ 69050313327544413693724577362904988315*c_1001_4^2 - 15833265673219872096659723926762589970821865915190036/2923128857292\ 3016771109181471231241525787634996105*c_1001_4 - 7691679460416873724432356825550342341673759589537168/87693865718769\ 050313327544413693724577362904988315, c_0011_0 - 1, c_0011_10 + 15892568676356381356979332437278195888344110/14625178806154\ 7107953898752800575722957127*c_1001_4^17 + 204062021269140407310853601648213076074283231/146251788061547107953\ 898752800575722957127*c_1001_4^16 + 1219980684144120757036711499139331926174445814/14625178806154710795\ 3898752800575722957127*c_1001_4^15 + 4488986090498508654294771663695077068407666145/14625178806154710795\ 3898752800575722957127*c_1001_4^14 + 11359745070526369353989848357187889146721196423/1462517880615471079\ 53898752800575722957127*c_1001_4^13 + 21080534800403740828240918920640914380188450257/1462517880615471079\ 53898752800575722957127*c_1001_4^12 + 29745096854585261954284009554560073986466845606/1462517880615471079\ 53898752800575722957127*c_1001_4^11 + 31470636655141088403245122435530467914736206672/1462517880615471079\ 53898752800575722957127*c_1001_4^10 + 22090014773625940279223748174361005930769141014/1462517880615471079\ 53898752800575722957127*c_1001_4^9 + 4766764572216423421449275583848213295767510325/14625178806154710795\ 3898752800575722957127*c_1001_4^8 - 9831432712460005783382110757362084601437642208/14625178806154710795\ 3898752800575722957127*c_1001_4^7 - 13566535203406902560868252084966711639687581657/1462517880615471079\ 53898752800575722957127*c_1001_4^6 - 8679336255555473894695080012696239076391125265/14625178806154710795\ 3898752800575722957127*c_1001_4^5 - 2793047820076329703290487507400322515304666462/14625178806154710795\ 3898752800575722957127*c_1001_4^4 - 84493097754840683962779872448362878531308010/1462517880615471079538\ 98752800575722957127*c_1001_4^3 + 264639360563933054208499543684085\ 998231546342/146251788061547107953898752800575722957127*c_1001_4^2 + 99392559221065394736840705782804807697843492/1462517880615471079538\ 98752800575722957127*c_1001_4 + 18188920735660517602398496669629721\ 192288408/146251788061547107953898752800575722957127, c_0011_11 - 23477458904171525603501792907444678280402457/14625178806154\ 7107953898752800575722957127*c_1001_4^17 - 303600900746875576131159908020145086068374356/146251788061547107953\ 898752800575722957127*c_1001_4^16 - 1828183585307499519657905120184901410252563205/14625178806154710795\ 3898752800575722957127*c_1001_4^15 - 6776689390978073922921671085444574284312205633/14625178806154710795\ 3898752800575722957127*c_1001_4^14 - 17278633132385370456773009497094912969408786353/1462517880615471079\ 53898752800575722957127*c_1001_4^13 - 32303699687378647270181098729785023701603825925/1462517880615471079\ 53898752800575722957127*c_1001_4^12 - 45922112116222091922051099181958140276380943844/1462517880615471079\ 53898752800575722957127*c_1001_4^11 - 49037239532409266979051969100699016563040540059/1462517880615471079\ 53898752800575722957127*c_1001_4^10 - 35000865895944689405646621110948877312952083188/1462517880615471079\ 53898752800575722957127*c_1001_4^9 - 8286367041309272350343685303520691016617691970/14625178806154710795\ 3898752800575722957127*c_1001_4^8 + 14778323921782586790726233807306417485258669317/1462517880615471079\ 53898752800575722957127*c_1001_4^7 + 21162075168282076244636696142754048286932939338/1462517880615471079\ 53898752800575722957127*c_1001_4^6 + 13822810530187418185113250663282356950092301726/1462517880615471079\ 53898752800575722957127*c_1001_4^5 + 4568944494797113510648278598230570174123204232/14625178806154710795\ 3898752800575722957127*c_1001_4^4 + 184959975137203205932639869761147489681499466/146251788061547107953\ 898752800575722957127*c_1001_4^3 - 421057254015804328504285091432291226447498368/146251788061547107953\ 898752800575722957127*c_1001_4^2 - 161480818401841180877203972526484848915883189/146251788061547107953\ 898752800575722957127*c_1001_4 - 3024133313799307978617115503327059\ 5013241405/146251788061547107953898752800575722957127, c_0011_3 - 11579261274903817530503610074502981730396473/146251788061547\ 107953898752800575722957127*c_1001_4^17 - 148854444640981837431509836872947640924670509/146251788061547107953\ 898752800575722957127*c_1001_4^16 - 891055415881359467311607171981557694960639182/146251788061547107953\ 898752800575722957127*c_1001_4^15 - 3283237728003884189820773268111868050792447135/14625178806154710795\ 3898752800575722957127*c_1001_4^14 - 8321109275341401165732618684785659856250259938/14625178806154710795\ 3898752800575722957127*c_1001_4^13 - 15466650584134652595707651632567735673611720963/1462517880615471079\ 53898752800575722957127*c_1001_4^12 - 21861866335057824968378952338011828912165728712/1462517880615471079\ 53898752800575722957127*c_1001_4^11 - 23182569203512486645529288556010395322662856271/1462517880615471079\ 53898752800575722957127*c_1001_4^10 - 16342718238222158433131734385543278859166544621/1462517880615471079\ 53898752800575722957127*c_1001_4^9 - 3620576757215534810400504402317872220101610405/14625178806154710795\ 3898752800575722957127*c_1001_4^8 + 7166627029895810203910621218039444498957158095/14625178806154710795\ 3898752800575722957127*c_1001_4^7 + 9990573411622845614313700892994580183554953999/14625178806154710795\ 3898752800575722957127*c_1001_4^6 + 6432766901660708602261083281022931829317620553/14625178806154710795\ 3898752800575722957127*c_1001_4^5 + 2089972431283406323904438822093124943974941661/14625178806154710795\ 3898752800575722957127*c_1001_4^4 + 71714387937985870029701190090663071067448860/1462517880615471079538\ 98752800575722957127*c_1001_4^3 - 196249717499986588007982899272290\ 797013029398/146251788061547107953898752800575722957127*c_1001_4^2 - 74619364370392957385330592969789172062328498/1462517880615471079538\ 98752800575722957127*c_1001_4 - 13619014454717882440264650708279689\ 276934778/146251788061547107953898752800575722957127, c_0011_5 - 2014755630002989299141551/45889092105701901746413*c_1001_4^1\ 7 - 25973870818748923407139806/45889092105701901746413*c_1001_4^16 - 155953772088901814304790509/45889092105701901746413*c_1001_4^15 - 576500390924046568748233277/45889092105701901746413*c_1001_4^14 - 1466099980935037392318715916/45889092105701901746413*c_1001_4^13 - 2734518424658801862350246827/45889092105701901746413*c_1001_4^12 - 3878681337580745794378153869/45889092105701901746413*c_1001_4^11 - 4130582826719078849721992227/45889092105701901746413*c_1001_4^10 - 2934410714009095929507893934/45889092105701901746413*c_1001_4^9 - 678136056047432831574150437/45889092105701901746413*c_1001_4^8 + 1257101879841838574071744919/45889092105701901746413*c_1001_4^7 + 1782472956960926459536095320/45889092105701901746413*c_1001_4^6 + 1158113007997069445299440888/45889092105701901746413*c_1001_4^5 + 379972101708453637277923613/45889092105701901746413*c_1001_4^4 + 14033945822379292267919650/45889092105701901746413*c_1001_4^3 - 35476872259510206513613451/45889092105701901746413*c_1001_4^2 - 13425566923668317987656005/45889092105701901746413*c_1001_4 - 2493111049024987437485604/45889092105701901746413, c_0011_6 - 26015574990303402858695175012916604197207668/146251788061547\ 107953898752800575722957127*c_1001_4^17 - 336538654963483941416117077552446999599777863/146251788061547107953\ 898752800575722957127*c_1001_4^16 - 2027190806992265842624704458850073853366311804/14625178806154710795\ 3898752800575722957127*c_1001_4^15 - 7516734808075875546600582565271151705334234301/14625178806154710795\ 3898752800575722957127*c_1001_4^14 - 19171233158042364740332052024997369396149009333/1462517880615471079\ 53898752800575722957127*c_1001_4^13 - 35851586830981521187085164970505384888669117067/1462517880615471079\ 53898752800575722957127*c_1001_4^12 - 50977996272742895629812675503284717860259006037/1462517880615471079\ 53898752800575722957127*c_1001_4^11 - 54451510222605002933387990572517295941064405508/1462517880615471079\ 53898752800575722957127*c_1001_4^10 - 38883869266704730206928037074301601232151702603/1462517880615471079\ 53898752800575722957127*c_1001_4^9 - 9226390826000603287228487960292599995087045462/14625178806154710795\ 3898752800575722957127*c_1001_4^8 + 16396853303682901361448889953810661483102068010/1462517880615471079\ 53898752800575722957127*c_1001_4^7 + 23501476852633726861786171901085210435744797951/1462517880615471079\ 53898752800575722957127*c_1001_4^6 + 15357830416616971140703982836348105795019586978/1462517880615471079\ 53898752800575722957127*c_1001_4^5 + 5079020249910206448097374728452158778775376660/14625178806154710795\ 3898752800575722957127*c_1001_4^4 + 206315669316811407072497956595864057726080526/146251788061547107953\ 898752800575722957127*c_1001_4^3 - 468291651543513394570568763393281782139088324/146251788061547107953\ 898752800575722957127*c_1001_4^2 - 179942459096292816653585468989970384681247409/146251788061547107953\ 898752800575722957127*c_1001_4 - 3388554216074921148597299326873149\ 0201748963/146251788061547107953898752800575722957127, c_0101_0 - 1, c_0101_10 - 11579261274903817530503610074502981730396473/14625178806154\ 7107953898752800575722957127*c_1001_4^17 - 148854444640981837431509836872947640924670509/146251788061547107953\ 898752800575722957127*c_1001_4^16 - 891055415881359467311607171981557694960639182/146251788061547107953\ 898752800575722957127*c_1001_4^15 - 3283237728003884189820773268111868050792447135/14625178806154710795\ 3898752800575722957127*c_1001_4^14 - 8321109275341401165732618684785659856250259938/14625178806154710795\ 3898752800575722957127*c_1001_4^13 - 15466650584134652595707651632567735673611720963/1462517880615471079\ 53898752800575722957127*c_1001_4^12 - 21861866335057824968378952338011828912165728712/1462517880615471079\ 53898752800575722957127*c_1001_4^11 - 23182569203512486645529288556010395322662856271/1462517880615471079\ 53898752800575722957127*c_1001_4^10 - 16342718238222158433131734385543278859166544621/1462517880615471079\ 53898752800575722957127*c_1001_4^9 - 3620576757215534810400504402317872220101610405/14625178806154710795\ 3898752800575722957127*c_1001_4^8 + 7166627029895810203910621218039444498957158095/14625178806154710795\ 3898752800575722957127*c_1001_4^7 + 9990573411622845614313700892994580183554953999/14625178806154710795\ 3898752800575722957127*c_1001_4^6 + 6432766901660708602261083281022931829317620553/14625178806154710795\ 3898752800575722957127*c_1001_4^5 + 2089972431283406323904438822093124943974941661/14625178806154710795\ 3898752800575722957127*c_1001_4^4 + 71714387937985870029701190090663071067448860/1462517880615471079538\ 98752800575722957127*c_1001_4^3 - 196249717499986588007982899272290\ 797013029398/146251788061547107953898752800575722957127*c_1001_4^2 - 74473112582331410277376694216988596339371371/1462517880615471079538\ 98752800575722957127*c_1001_4 - 13619014454717882440264650708279689\ 276934778/146251788061547107953898752800575722957127, c_0101_2 + 8650185941443085518322438755445337148151803/1462517880615471\ 07953898752800575722957127*c_1001_4^17 + 112412161366856438533252835974834966255255713/146251788061547107953\ 898752800575722957127*c_1001_4^16 + 680265056350609173138759034733925280043106404/146251788061547107953\ 898752800575722957127*c_1001_4^15 + 2534285663748400444839585737418366259705226003/14625178806154710795\ 3898752800575722957127*c_1001_4^14 + 6494513015173169902097707849520848037803942505/14625178806154710795\ 3898752800575722957127*c_1001_4^13 + 12201822944765966862000012339965161434592273758/1462517880615471079\ 53898752800575722957127*c_1001_4^12 + 17429424346863562338627293186126663701859695594/1462517880615471079\ 53898752800575722957127*c_1001_4^11 + 18719919968564953628130559965501777912599263746/1462517880615471079\ 53898752800575722957127*c_1001_4^10 + 13497490074971116736680036099084623758713383532/1462517880615471079\ 53898752800575722957127*c_1001_4^9 + 3360722105201225802849325974743375453474121838/14625178806154710795\ 3898752800575722957127*c_1001_4^8 - 5524568788396366812869489023355996554588699554/14625178806154710795\ 3898752800575722957127*c_1001_4^7 - 8093666493219894704841580162599845790949998251/14625178806154710795\ 3898752800575722957127*c_1001_4^6 - 5348799060341147856377846248370671381798147613/14625178806154710795\ 3898752800575722957127*c_1001_4^5 - 1789986071690414833165623151973011983231737483/14625178806154710795\ 3898752800575722957127*c_1001_4^4 - 77853398022672542744828966806088607898517138/1462517880615471079538\ 98752800575722957127*c_1001_4^3 + 164605201872247348320373728535610\ 674129197590/146251788061547107953898752800575722957127*c_1001_4^2 + 62942104747659573448578376452755406328981658/1462517880615471079538\ 98752800575722957127*c_1001_4 + 11868785391695896846235939630496900\ 810997487/146251788061547107953898752800575722957127, c_0101_6 + 19945950218504394831606714085522861494656314/146251788061547\ 107953898752800575722957127*c_1001_4^17 + 258192108820795417669684666582064277800814326/146251788061547107953\ 898752800575722957127*c_1001_4^16 + 1556243031809991173986637282376394236078090900/14625178806154710795\ 3898752800575722957127*c_1001_4^15 + 5773945003145550228473829979154828386268424681/14625178806154710795\ 3898752800575722957127*c_1001_4^14 + 14734352203301865794337408115484441196175940855/1462517880615471079\ 53898752800575722957127*c_1001_4^13 + 27566638649298174582624021722261551423562652287/1462517880615471079\ 53898752800575722957127*c_1001_4^12 + 39210451987294494000055861908695883032562357893/1462517880615471079\ 53898752800575722957127*c_1001_4^11 + 41894165683056812399397735042912552684818906150/1462517880615471079\ 53898752800575722957127*c_1001_4^10 + 29925732088248854191791251080433508144294055691/1462517880615471079\ 53898752800575722957127*c_1001_4^9 + 7100349570189884268795463275565087126138463285/14625178806154710795\ 3898752800575722957127*c_1001_4^8 - 12633349576667717036703990099868337198812449337/1462517880615471079\ 53898752800575722957127*c_1001_4^7 - 18103238656110485573626153496828716724629004213/1462517880615471079\ 53898752800575722957127*c_1001_4^6 - 11819480646971881571408242472285310138232799082/1462517880615471079\ 53898752800575722957127*c_1001_4^5 - 3895814265674034932329888228651269574537723750/14625178806154710795\ 3898752800575722957127*c_1001_4^4 - 148229687228154206920654940167470186012881281/146251788061547107953\ 898752800575722957127*c_1001_4^3 + 362401416861141585510225453142404803957311541/146251788061547107953\ 898752800575722957127*c_1001_4^2 + 137213034716328102638364666600501947041026723/146251788061547107953\ 898752800575722957127*c_1001_4 + 2569328009776313075314757012421327\ 3842838338/146251788061547107953898752800575722957127, c_0110_10 + 11295764277061309313284275330077524346504511/14625178806154\ 7107953898752800575722957127*c_1001_4^17 + 145779947453938979136431830607229311545558613/146251788061547107953\ 898752800575722957127*c_1001_4^16 + 875977975459382000847878247642468956034984496/146251788061547107953\ 898752800575722957127*c_1001_4^15 + 3239659339397149783634244241736462126563198678/14625178806154710795\ 3898752800575722957127*c_1001_4^14 + 8239839188128695892239700265963593158371998350/14625178806154710795\ 3898752800575722957127*c_1001_4^13 + 15364815704532207720624009382296389988970378529/1462517880615471079\ 53898752800575722957127*c_1001_4^12 + 21781027640430931661428568722569219330702662299/1462517880615471079\ 53898752800575722957127*c_1001_4^11 + 23174245714491858771267175077410774772219642404/1462517880615471079\ 53898752800575722957127*c_1001_4^10 + 16428242013277737455111214981348884385580672159/1462517880615471079\ 53898752800575722957127*c_1001_4^9 + 3739627464988658465946137300821711672664341447/14625178806154710795\ 3898752800575722957127*c_1001_4^8 - 7108780788271350223834501076512340644223749783/14625178806154710795\ 3898752800575722957127*c_1001_4^7 - 10009572162890590868784573334228870933679005962/1462517880615471079\ 53898752800575722957127*c_1001_4^6 - 6470681586630733715030396223914638756434651469/14625178806154710795\ 3898752800575722957127*c_1001_4^5 - 2105828193983620099164265076678257591305986267/14625178806154710795\ 3898752800575722957127*c_1001_4^4 - 70376289205481664175825973361381578114364143/1462517880615471079538\ 98752800575722957127*c_1001_4^3 + 197796214988894237189851724606794\ 129828113951/146251788061547107953898752800575722957127*c_1001_4^2 + 74270929968668529189786290147746540712045065/1462517880615471079538\ 98752800575722957127*c_1001_4 + 13824494706067233906911630493716373\ 031840851/146251788061547107953898752800575722957127, c_1001_4^18 + 1658/121*c_1001_4^17 + 10629/121*c_1001_4^16 + 3836/11*c_1001_4^15 + 116010/121*c_1001_4^14 + 235249/121*c_1001_4^13 + 33206/11*c_1001_4^12 + 435573/121*c_1001_4^11 + 375679/121*c_1001_4^10 + 182139/121*c_1001_4^9 - 43130/121*c_1001_4^8 - 167940/121*c_1001_4^7 - 155566/121*c_1001_4^6 - 78619/121*c_1001_4^5 - 19138/121*c_1001_4^4 + 1451/121*c_1001_4^3 + 2516/121*c_1001_4^2 + 800/121*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.420 seconds, Total memory usage: 32.09MB