Magma V2.19-8 Tue Aug 20 2013 23:40:09 on localhost [Seed = 1443902194] Type ? for help. Type -D to quit. Loading file "K14n6026__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6026 geometric_solution 10.22636655 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 1 -1 0 0 -22 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517535481534 0.836222335745 0 5 6 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736420615314 0.714705495923 7 0 4 8 0132 0132 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 0 0 0 0 0 0 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.566034549857 1.254262861952 6 9 6 0 1023 0132 3120 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 1 -1 -1 0 -21 22 -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.440080644501 0.729223551856 10 7 0 2 0132 3201 0132 0132 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 -1 1 0 22 0 -22 0 -21 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036734394530 0.709454695314 9 1 9 1 0213 0132 2031 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599581150099 0.339134959324 8 3 3 1 3120 1023 3120 0132 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 0 0 0 0 0 1 -1 0 -21 0 21 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.393358677924 1.005218350579 2 8 4 10 0132 1023 2310 1023 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 21 -21 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.036734394530 0.709454695314 7 9 2 6 1023 0213 0132 3120 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 0 0 0 -21 0 0 21 -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.517535481534 0.836222335745 5 3 8 5 0213 0132 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.300724393430 0.678655796412 4 10 10 7 0132 1230 3012 1023 0 0 0 0 0 1 -1 0 1 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 -22 22 0 -22 0 22 0 0 -1 0 1 21 -22 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422136322650 1.314130225718 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_6']), 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_5'], 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_8' : negation(d['c_0101_6']), 's_3_1' : 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' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(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_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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_10' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0101_7'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_5']), 'c_0110_8' : 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_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_6, c_0101_7, c_0110_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 12411414426882483599681303198550389157416138771301/3307943357070817\ 64322840317077319385861343912192*c_1001_0^31 + 55016926934776835314264401428571554512690428333751/3307943357070817\ 64322840317077319385861343912192*c_1001_0^30 + 21307672817258294035869204321032746857762256627837/4134929196338522\ 0540355039634664923232667989024*c_1001_0^29 + 182789985849075459019994602309264902179871938898319/826985839267704\ 41080710079269329846465335978048*c_1001_0^28 + 1179814053174725298542699617219812480194963316614401/33079433570708\ 1764322840317077319385861343912192*c_1001_0^27 + 4428075506216848920943100291621314120967149231142323/33079433570708\ 1764322840317077319385861343912192*c_1001_0^26 + 2691120452412068137137910509652980965233454944276183/16539716785354\ 0882161420158538659692930671956096*c_1001_0^25 + 16251079295282247231912845611563309830594257199081611/3307943357070\ 81764322840317077319385861343912192*c_1001_0^24 + 17574633423403038119331667225201604292756862122214685/3307943357070\ 81764322840317077319385861343912192*c_1001_0^23 + 40576957573993551609664037517289081614586741573121261/3307943357070\ 81764322840317077319385861343912192*c_1001_0^22 + 10599824387016943676194958617433592104093517908435383/8269858392677\ 0441080710079269329846465335978048*c_1001_0^21 + 73413630697238962630887103603224049234870145721994049/3307943357070\ 81764322840317077319385861343912192*c_1001_0^20 + 38398446240031435185092945560178297890757525375963567/1653971678535\ 40882161420158538659692930671956096*c_1001_0^19 + 25044116226104457666007549148425029496224902691612959/8269858392677\ 0441080710079269329846465335978048*c_1001_0^18 + 52648987144883665768543301214362457351138497515930475/1653971678535\ 40882161420158538659692930671956096*c_1001_0^17 + 106017528066240333907709916948833920840762398502992985/330794335707\ 081764322840317077319385861343912192*c_1001_0^16 + 109446878021470484185023466420893080069389798907524335/330794335707\ 081764322840317077319385861343912192*c_1001_0^15 + 88688297880422670384325187290442131923686448081218705/3307943357070\ 81764322840317077319385861343912192*c_1001_0^14 + 21445274359490522095917252474692422542947788023386311/8269858392677\ 0441080710079269329846465335978048*c_1001_0^13 + 29564457658695026106292958245303775769677987486760597/1653971678535\ 40882161420158538659692930671956096*c_1001_0^12 + 25047339069927697898319902296044691809077955869994673/1653971678535\ 40882161420158538659692930671956096*c_1001_0^11 + 31155153689877294505046347740656558329145613809818715/3307943357070\ 81764322840317077319385861343912192*c_1001_0^10 + 21394476047492764931348773777200473110652325870063263/3307943357070\ 81764322840317077319385861343912192*c_1001_0^9 + 12564546757475363040833655686268940885924566988508997/3307943357070\ 81764322840317077319385861343912192*c_1001_0^8 + 3252382671268550571868057798926255070331856862616653/16539716785354\ 0882161420158538659692930671956096*c_1001_0^7 + 3639100867179594169886755986278236047716893566974709/33079433570708\ 1764322840317077319385861343912192*c_1001_0^6 + 1350684964666762118591370135802916637331405792277157/33079433570708\ 1764322840317077319385861343912192*c_1001_0^5 + 669910040482611629389627494431829283843993955183949/330794335707081\ 764322840317077319385861343912192*c_1001_0^4 + 179201435373424570860083430177304095944199329200303/330794335707081\ 764322840317077319385861343912192*c_1001_0^3 + 26876737870818440067655187379271638453159166275329/1653971678535408\ 82161420158538659692930671956096*c_1001_0^2 + 14525135041339875871873837308589176134707180567475/3307943357070817\ 64322840317077319385861343912192*c_1001_0 - 92093506218909370551218688533636280927261727041/1033732299084630513\ 5088759908666230808166997256, c_0011_0 - 1, c_0011_10 - 35245989680680958958470569707774130256938161/26492370555731\ 17666603987675209182677644028*c_1001_0^31 - 161751797687472090299387374258750748728911607/264923705557311766660\ 3987675209182677644028*c_1001_0^30 - 136122171490188149395032718896071787550555811/662309263893279416650\ 996918802295669411007*c_1001_0^29 - 579539186715460683815032726733334755241446890/662309263893279416650\ 996918802295669411007*c_1001_0^28 - 4188699187878517780171343264681322082596471889/26492370555731176666\ 03987675209182677644028*c_1001_0^27 - 15256989091082189170373453154230812963921973015/2649237055573117666\ 603987675209182677644028*c_1001_0^26 - 10445252698685904043156051836916614511576467019/1324618527786558833\ 301993837604591338822014*c_1001_0^25 - 61305516160665962540722781367623412166429219999/2649237055573117666\ 603987675209182677644028*c_1001_0^24 - 73672021048801877331832167186586260135818981589/2649237055573117666\ 603987675209182677644028*c_1001_0^23 - 168685382142051813353309328874469156123346916849/264923705557311766\ 6603987675209182677644028*c_1001_0^22 - 47696386916724366558390885568097472439403077979/6623092638932794166\ 50996918802295669411007*c_1001_0^21 - 337818863478520427089353158671337640334789286421/264923705557311766\ 6603987675209182677644028*c_1001_0^20 - 185144123395932192560306561440307091445588821033/132461852778655883\ 3301993837604591338822014*c_1001_0^19 - 127634455054186733036896049166431372420700206675/662309263893279416\ 650996918802295669411007*c_1001_0^18 - 272360086875537766085567835440562944365276806975/132461852778655883\ 3301993837604591338822014*c_1001_0^17 - 594884274395511098789205764145405813470355764745/264923705557311766\ 6603987675209182677644028*c_1001_0^16 - 609498051029755815856157791820443292141802035287/264923705557311766\ 6603987675209182677644028*c_1001_0^15 - 539821532497762521639499843601667916272390989377/264923705557311766\ 6603987675209182677644028*c_1001_0^14 - 129053078034919171725277359735757411795714063621/662309263893279416\ 650996918802295669411007*c_1001_0^13 - 190422712012088072365976782332018665803254579169/132461852778655883\ 3301993837604591338822014*c_1001_0^12 - 162962356145968444472789083732658717292890616283/132461852778655883\ 3301993837604591338822014*c_1001_0^11 - 205597837832294740066662758416366902716687114303/264923705557311766\ 6603987675209182677644028*c_1001_0^10 - 148793921424630167106766235847343820888915427223/264923705557311766\ 6603987675209182677644028*c_1001_0^9 - 82040434771521119818943378286577393965920245641/2649237055573117666\ 603987675209182677644028*c_1001_0^8 - 23155686364034833351162396632763678029000702547/1324618527786558833\ 301993837604591338822014*c_1001_0^7 - 22740480789522439732539405732175059055746684169/2649237055573117666\ 603987675209182677644028*c_1001_0^6 - 8611639990783378126832141065614785167655956557/26492370555731176666\ 03987675209182677644028*c_1001_0^5 - 3899073543968288112487771150838456518110292733/26492370555731176666\ 03987675209182677644028*c_1001_0^4 - 589149659927789245667093494871611398715893463/264923705557311766660\ 3987675209182677644028*c_1001_0^3 - 152256874684475376753164913684047669760650811/132461852778655883330\ 1993837604591338822014*c_1001_0^2 + 53637134287154086577767454717060874470561753/2649237055573117666603\ 987675209182677644028*c_1001_0 + 5394894752217171830849341115758515\ 50152937/662309263893279416650996918802295669411007, c_0011_3 + 2585643510635068653393362961488195117941321/1324618527786558\ 833301993837604591338822014*c_1001_0^31 + 16498589311549340752341345732170194643001507/1324618527786558833301\ 993837604591338822014*c_1001_0^30 + 29653814176542059237320468394643736042472968/6623092638932794166509\ 96918802295669411007*c_1001_0^29 + 115024375467704624070834171084129872067528036/662309263893279416650\ 996918802295669411007*c_1001_0^28 + 570860550430255287526416332867263812616078981/132461852778655883330\ 1993837604591338822014*c_1001_0^27 + 1510201736620291677263690489652902007611650589/13246185277865588333\ 01993837604591338822014*c_1001_0^26 + 1579165814666145378522065154704943336091434477/66230926389327941665\ 0996918802295669411007*c_1001_0^25 + 6213441773801522239255005626626602150842661593/13246185277865588333\ 01993837604591338822014*c_1001_0^24 + 11440610318944937926163493241862280206027034787/1324618527786558833\ 301993837604591338822014*c_1001_0^23 + 17928904152077679534087040418635378330095125165/1324618527786558833\ 301993837604591338822014*c_1001_0^22 + 14561198862818426504577548155306515217754402436/6623092638932794166\ 50996918802295669411007*c_1001_0^21 + 38371097937078563448279309863274004088058743163/1324618527786558833\ 301993837604591338822014*c_1001_0^20 + 27190073298694756224580111686757559760982253557/6623092638932794166\ 50996918802295669411007*c_1001_0^19 + 31363246594651384421512860907589303471171311319/6623092638932794166\ 50996918802295669411007*c_1001_0^18 + 38247187777937563465531222404237340747407470709/6623092638932794166\ 50996918802295669411007*c_1001_0^17 + 79390824724367291582391000301055217919878636903/1324618527786558833\ 301993837604591338822014*c_1001_0^16 + 82281754422660748185519739663689277482418676077/1324618527786558833\ 301993837604591338822014*c_1001_0^15 + 77925316202915023960971507123184708117516046553/1324618527786558833\ 301993837604591338822014*c_1001_0^14 + 34016998357746197442433756628521974181119896841/6623092638932794166\ 50996918802295669411007*c_1001_0^13 + 29388622445141356690720707900880959573029184420/6623092638932794166\ 50996918802295669411007*c_1001_0^12 + 21520376781481594417456916852868607736199956065/6623092638932794166\ 50996918802295669411007*c_1001_0^11 + 33359313447679543975699688343812332502860072741/1324618527786558833\ 301993837604591338822014*c_1001_0^10 + 20491619124464104790247944064896853074479235675/1324618527786558833\ 301993837604591338822014*c_1001_0^9 + 13712471123353753312545253151702163579169009629/1324618527786558833\ 301993837604591338822014*c_1001_0^8 + 3549855068437243194297604322652467654168987308/66230926389327941665\ 0996918802295669411007*c_1001_0^7 + 3797355444725426314730132104020103956415654909/13246185277865588333\ 01993837604591338822014*c_1001_0^6 + 1682483134907167459080319376850356361809404097/13246185277865588333\ 01993837604591338822014*c_1001_0^5 + 594568347461044137350103093255464476794071297/132461852778655883330\ 1993837604591338822014*c_1001_0^4 + 242539257323579272778600355445565904670008067/132461852778655883330\ 1993837604591338822014*c_1001_0^3 + 9707680848563178077890070343830861600379367/66230926389327941665099\ 6918802295669411007*c_1001_0^2 + 1551981409709043006244955557706455\ 6198723725/1324618527786558833301993837604591338822014*c_1001_0 - 3177239137384710469168253684828924430076695/66230926389327941665099\ 6918802295669411007, c_0101_0 - 2585643510635068653393362961488195117941321/1324618527786558\ 833301993837604591338822014*c_1001_0^31 - 16498589311549340752341345732170194643001507/1324618527786558833301\ 993837604591338822014*c_1001_0^30 - 29653814176542059237320468394643736042472968/6623092638932794166509\ 96918802295669411007*c_1001_0^29 - 115024375467704624070834171084129872067528036/662309263893279416650\ 996918802295669411007*c_1001_0^28 - 570860550430255287526416332867263812616078981/132461852778655883330\ 1993837604591338822014*c_1001_0^27 - 1510201736620291677263690489652902007611650589/13246185277865588333\ 01993837604591338822014*c_1001_0^26 - 1579165814666145378522065154704943336091434477/66230926389327941665\ 0996918802295669411007*c_1001_0^25 - 6213441773801522239255005626626602150842661593/13246185277865588333\ 01993837604591338822014*c_1001_0^24 - 11440610318944937926163493241862280206027034787/1324618527786558833\ 301993837604591338822014*c_1001_0^23 - 17928904152077679534087040418635378330095125165/1324618527786558833\ 301993837604591338822014*c_1001_0^22 - 14561198862818426504577548155306515217754402436/6623092638932794166\ 50996918802295669411007*c_1001_0^21 - 38371097937078563448279309863274004088058743163/1324618527786558833\ 301993837604591338822014*c_1001_0^20 - 27190073298694756224580111686757559760982253557/6623092638932794166\ 50996918802295669411007*c_1001_0^19 - 31363246594651384421512860907589303471171311319/6623092638932794166\ 50996918802295669411007*c_1001_0^18 - 38247187777937563465531222404237340747407470709/6623092638932794166\ 50996918802295669411007*c_1001_0^17 - 79390824724367291582391000301055217919878636903/1324618527786558833\ 301993837604591338822014*c_1001_0^16 - 82281754422660748185519739663689277482418676077/1324618527786558833\ 301993837604591338822014*c_1001_0^15 - 77925316202915023960971507123184708117516046553/1324618527786558833\ 301993837604591338822014*c_1001_0^14 - 34016998357746197442433756628521974181119896841/6623092638932794166\ 50996918802295669411007*c_1001_0^13 - 29388622445141356690720707900880959573029184420/6623092638932794166\ 50996918802295669411007*c_1001_0^12 - 21520376781481594417456916852868607736199956065/6623092638932794166\ 50996918802295669411007*c_1001_0^11 - 33359313447679543975699688343812332502860072741/1324618527786558833\ 301993837604591338822014*c_1001_0^10 - 20491619124464104790247944064896853074479235675/1324618527786558833\ 301993837604591338822014*c_1001_0^9 - 13712471123353753312545253151702163579169009629/1324618527786558833\ 301993837604591338822014*c_1001_0^8 - 3549855068437243194297604322652467654168987308/66230926389327941665\ 0996918802295669411007*c_1001_0^7 - 3797355444725426314730132104020103956415654909/13246185277865588333\ 01993837604591338822014*c_1001_0^6 - 1682483134907167459080319376850356361809404097/13246185277865588333\ 01993837604591338822014*c_1001_0^5 - 594568347461044137350103093255464476794071297/132461852778655883330\ 1993837604591338822014*c_1001_0^4 - 242539257323579272778600355445565904670008067/132461852778655883330\ 1993837604591338822014*c_1001_0^3 - 9707680848563178077890070343830861600379367/66230926389327941665099\ 6918802295669411007*c_1001_0^2 - 1551981409709043006244955557706455\ 6198723725/1324618527786558833301993837604591338822014*c_1001_0 + 3177239137384710469168253684828924430076695/66230926389327941665099\ 6918802295669411007, c_0101_1 + c_1001_0, c_0101_10 - 25861319994741972590490525676399037278600291/26492370555731\ 17666603987675209182677644028*c_1001_0^31 - 102637429401822523735322387730899905991961017/264923705557311766660\ 3987675209182677644028*c_1001_0^30 - 84146325834441232203970535680565820367610178/6623092638932794166509\ 96918802295669411007*c_1001_0^29 - 374962289156992795245061687853878454855093761/662309263893279416650\ 996918802295669411007*c_1001_0^28 - 2166545977130454965922888095298257125495711731/26492370555731176666\ 03987675209182677644028*c_1001_0^27 - 9926594325965538881142419680721916320169437461/26492370555731176666\ 03987675209182677644028*c_1001_0^26 - 4702894453296400410212154325481332722222407585/13246185277865588333\ 01993837604591338822014*c_1001_0^25 - 39434052168449926659584058048774119278754417433/2649237055573117666\ 603987675209182677644028*c_1001_0^24 - 30773653955169343236891477551777700275778849423/2649237055573117666\ 603987675209182677644028*c_1001_0^23 - 105036077343707548798956056911616519067960371355/264923705557311766\ 6603987675209182677644028*c_1001_0^22 - 19551058142036769569486795799578502753367995748/6623092638932794166\ 50996918802295669411007*c_1001_0^21 - 198280870890982608610054957493815355393255099727/264923705557311766\ 6603987675209182677644028*c_1001_0^20 - 77005785367983543556328585790771074577698023661/1324618527786558833\ 301993837604591338822014*c_1001_0^19 - 68250533526977821954776936840329600566841323752/6623092638932794166\ 50996918802295669411007*c_1001_0^18 - 116229849567526873300635814540441736404704059575/132461852778655883\ 3301993837604591338822014*c_1001_0^17 - 277411779603059265917987848532019450528773855007/264923705557311766\ 6603987675209182677644028*c_1001_0^16 - 264966917478306217442431097444494038701400478333/264923705557311766\ 6603987675209182677644028*c_1001_0^15 - 207624748163936528132773313107821660957954020599/264923705557311766\ 6603987675209182677644028*c_1001_0^14 - 55732955853103503998201657245984902486339325397/6623092638932794166\ 50996918802295669411007*c_1001_0^13 - 56242855293352346556842162388652567585241330399/1324618527786558833\ 301993837604591338822014*c_1001_0^12 - 66380581275706039188194880757763523375743207965/1324618527786558833\ 301993837604591338822014*c_1001_0^11 - 42366866184924414020732788743310217995735000893/2649237055573117666\ 603987675209182677644028*c_1001_0^10 - 50980808203514387743573122703213782580431604201/2649237055573117666\ 603987675209182677644028*c_1001_0^9 - 10213033484354749701686899094675301808500608599/2649237055573117666\ 603987675209182677644028*c_1001_0^8 - 4544937866113743287607137233261979790453982227/13246185277865588333\ 01993837604591338822014*c_1001_0^7 - 1402239748416459653728727662692820735519282455/26492370555731176666\ 03987675209182677644028*c_1001_0^6 + 1482020310725491587989673711318653372316466053/26492370555731176666\ 03987675209182677644028*c_1001_0^5 - 243511834870822457065832563342618751810170495/264923705557311766660\ 3987675209182677644028*c_1001_0^4 + 1161901160439845719068888741976920358746979735/26492370555731176666\ 03987675209182677644028*c_1001_0^3 - 71811420562886537866117501745974963646590415/1324618527786558833301\ 993837604591338822014*c_1001_0^2 + 204296255488440992581595161269637215722807527/264923705557311766660\ 3987675209182677644028*c_1001_0 - 962730641659714443672406793080209\ 3994519915/662309263893279416650996918802295669411007, c_0101_3 - 6382239863554106781414482549146515929561319/6623092638932794\ 16650996918802295669411007*c_1001_0^31 - 25284218623336102653202699962804585867448515/6623092638932794166509\ 96918802295669411007*c_1001_0^30 - 78163194276010144745034919942358388736210528/6623092638932794166509\ 96918802295669411007*c_1001_0^29 - 349221104802628410414862478750212608023421957/662309263893279416650\ 996918802295669411007*c_1001_0^28 - 469455733877532928917730387747798349903165631/662309263893279416650\ 996918802295669411007*c_1001_0^27 - 2175450418514857750481950642952653827114651944/66230926389327941665\ 0996918802295669411007*c_1001_0^26 - 1892161465275231207912239145195968379557390446/66230926389327941665\ 0996918802295669411007*c_1001_0^25 - 8089712712226399486080106213164659351140889270/66230926389327941665\ 0996918802295669411007*c_1001_0^24 - 5747932384437457687424294859955775445980835628/66230926389327941665\ 0996918802295669411007*c_1001_0^23 - 20025051100907411292104078511369533639888452853/6623092638932794166\ 50996918802295669411007*c_1001_0^22 - 13607348794958586959877154175689122418124603391/6623092638932794166\ 50996918802295669411007*c_1001_0^21 - 34779905012100766417578011443674967663476951190/6623092638932794166\ 50996918802295669411007*c_1001_0^20 - 25032791052514217576517661587058316334540115007/6623092638932794166\ 50996918802295669411007*c_1001_0^19 - 43396172352201631905513761666494925951919899524/6623092638932794166\ 50996918802295669411007*c_1001_0^18 - 35264001039929863107315187911018263525934225817/6623092638932794166\ 50996918802295669411007*c_1001_0^17 - 38967293696844168243829407095566251712275641273/6623092638932794166\ 50996918802295669411007*c_1001_0^16 - 37260227957234387708121771595513824519989648335/6623092638932794166\ 50996918802295669411007*c_1001_0^15 - 24572305140239067282253512380359737965597555758/6623092638932794166\ 50996918802295669411007*c_1001_0^14 - 28596480048032165393187995421288171796173958182/6623092638932794166\ 50996918802295669411007*c_1001_0^13 - 10052230801232696562307074811691016356752688762/6623092638932794166\ 50996918802295669411007*c_1001_0^12 - 14980730101468329042135975474947512234850863991/6623092638932794166\ 50996918802295669411007*c_1001_0^11 - 1940426114480357607732937018973901857309484606/66230926389327941665\ 0996918802295669411007*c_1001_0^10 - 4515008092161253790790361094243344792148867640/66230926389327941665\ 0996918802295669411007*c_1001_0^9 + 356433656469164218692708681858324318113770651/662309263893279416650\ 996918802295669411007*c_1001_0^8 - 125526691496691501816682054480498859639842481/662309263893279416650\ 996918802295669411007*c_1001_0^7 + 308273654201457112187689911923149777677830738/662309263893279416650\ 996918802295669411007*c_1001_0^6 + 500136044437401691764811528869443775405603798/662309263893279416650\ 996918802295669411007*c_1001_0^5 + 45653977474681991921943237104152532553561488/6623092638932794166509\ 96918802295669411007*c_1001_0^4 + 197867108075011417272028195028916\ 105222547070/662309263893279416650996918802295669411007*c_1001_0^3 - 13126187304020257040126251981774630575670876/6623092638932794166509\ 96918802295669411007*c_1001_0^2 + 283290234768046673751778696801483\ 98114892351/662309263893279416650996918802295669411007*c_1001_0 - 4429886265401685473850040407979591355967825/66230926389327941665099\ 6918802295669411007, c_0101_6 - 1, c_0101_7 - 4758318364473124063065983847136722832923733/1324618527786558\ 833301993837604591338822014*c_1001_0^31 - 19189364347149111435228397516300757549741671/1324618527786558833301\ 993837604591338822014*c_1001_0^30 - 31299819350540099172454022371320427116478316/6623092638932794166509\ 96918802295669411007*c_1001_0^29 - 137940937595565231747377882127531357668157875/662309263893279416650\ 996918802295669411007*c_1001_0^28 - 403222884220293252968605125271839678261978995/132461852778655883330\ 1993837604591338822014*c_1001_0^27 - 1805839671266781394501016626254570800594376187/13246185277865588333\ 01993837604591338822014*c_1001_0^26 - 863042847775593839651215570698674644631436200/662309263893279416650\ 996918802295669411007*c_1001_0^25 - 7128594419474634915109510240083617609042385779/13246185277865588333\ 01993837604591338822014*c_1001_0^24 - 5518482224297155324125337165803747234752284797/13246185277865588333\ 01993837604591338822014*c_1001_0^23 - 18947719643665666343435249606219350970081896655/1324618527786558833\ 301993837604591338822014*c_1001_0^22 - 6878237057028586836531456838060548750757941475/66230926389327941665\ 0996918802295669411007*c_1001_0^21 - 35837243186222381810527060190614929835589462819/1324618527786558833\ 301993837604591338822014*c_1001_0^20 - 13472523363208573957447757713669219524185385071/6623092638932794166\ 50996918802295669411007*c_1001_0^19 - 24832309322381534735023149080260327759612009767/6623092638932794166\ 50996918802295669411007*c_1001_0^18 - 20580906685475530090582480694706322036081036119/6623092638932794166\ 50996918802295669411007*c_1001_0^17 - 51148073886229158770697487607396245506134890133/1324618527786558833\ 301993837604591338822014*c_1001_0^16 - 48331687737147547054027071215311415781827097767/1324618527786558833\ 301993837604591338822014*c_1001_0^15 - 39332267639359752500885563426433397658770759975/1324618527786558833\ 301993837604591338822014*c_1001_0^14 - 21346038348147110240932272334358808267186621305/6623092638932794166\ 50996918802295669411007*c_1001_0^13 - 11305174591222993161860331628679517650085893334/6623092638932794166\ 50996918802295669411007*c_1001_0^12 - 13703322857709551248142741012256427504467868281/6623092638932794166\ 50996918802295669411007*c_1001_0^11 - 9789218436328475249590289469952002302278635489/13246185277865588333\ 01993837604591338822014*c_1001_0^10 - 11975658277234036338588876602285227015132183817/1324618527786558833\ 301993837604591338822014*c_1001_0^9 - 3292401091210658472950068883140042786320714525/13246185277865588333\ 01993837604591338822014*c_1001_0^8 - 1501804646487502990930113637483012779980439205/66230926389327941665\ 0996918802295669411007*c_1001_0^7 - 921046699902412011894331600195684063949699927/132461852778655883330\ 1993837604591338822014*c_1001_0^6 - 102061779324933321755173614291602369772683975/132461852778655883330\ 1993837604591338822014*c_1001_0^5 - 232003692703196288915624302850403813609566143/132461852778655883330\ 1993837604591338822014*c_1001_0^4 + 180018440175809416715624966695526644941238393/132461852778655883330\ 1993837604591338822014*c_1001_0^3 - 25855316563637598886753948954920877723077817/6623092638932794166509\ 96918802295669411007*c_1001_0^2 + 439027568299339651255799916578070\ 69760040187/1324618527786558833301993837604591338822014*c_1001_0 - 3739176537549268506980022378422039997169567/66230926389327941665099\ 6918802295669411007, c_0110_5 - 10232655420763601490863940270108054162920593/264923705557311\ 7666603987675209182677644028*c_1001_0^31 - 61155415501666227498273208819776723169874119/2649237055573117666603\ 987675209182677644028*c_1001_0^30 - 54206785241786451880522837525835374859123977/6623092638932794166509\ 96918802295669411007*c_1001_0^29 - 213847097297798654298325062350590682579286356/662309263893279416650\ 996918802295669411007*c_1001_0^28 - 2021254484640113875670065292523377402911493477/26492370555731176666\ 03987675209182677644028*c_1001_0^27 - 5611430499743307299432287206305780420545669879/26492370555731176666\ 03987675209182677644028*c_1001_0^26 - 5534459425939079374965652488209444408560442233/13246185277865588333\ 01993837604591338822014*c_1001_0^25 - 22992648516693958029819733493406806879932979839/2649237055573117666\ 603987675209182677644028*c_1001_0^24 - 40122752162642474522520265430195778233051472033/2649237055573117666\ 603987675209182677644028*c_1001_0^23 - 65941918826264910392968611133973117393696321129/2649237055573117666\ 603987675209182677644028*c_1001_0^22 - 25697221183307159376288344222922705823345416896/6623092638932794166\ 50996918802295669411007*c_1001_0^21 - 140249428487089309477277253874140339730506679905/264923705557311766\ 6603987675209182677644028*c_1001_0^20 - 96878341868366103909251069241323907325492266321/1324618527786558833\ 301993837604591338822014*c_1001_0^19 - 57050808643193078667836457756664539732939938556/6623092638932794166\ 50996918802295669411007*c_1001_0^18 - 137786249189508958636218132160128464503978934681/132461852778655883\ 3301993837604591338822014*c_1001_0^17 - 288300670763718414227325003010662014614440849693/264923705557311766\ 6603987675209182677644028*c_1001_0^16 - 299975185650692543876612436910278579437113051967/264923705557311766\ 6603987675209182677644028*c_1001_0^15 - 283479822995028902263089528428822361795694312881/264923705557311766\ 6603987675209182677644028*c_1001_0^14 - 62798576250722533573743047269487672415959888395/6623092638932794166\ 50996918802295669411007*c_1001_0^13 - 107540932496801210581550981431083939286398356251/132461852778655883\ 3301993837604591338822014*c_1001_0^12 - 80564153124849615317865362422060744173439336225/1324618527786558833\ 301993837604591338822014*c_1001_0^11 - 123389677727567167143935288411556181636346619355/264923705557311766\ 6603987675209182677644028*c_1001_0^10 - 77948871696080844962241551316003642249245976163/2649237055573117666\ 603987675209182677644028*c_1001_0^9 - 51628528666643288818926764965274224333607592589/2649237055573117666\ 603987675209182677644028*c_1001_0^8 - 13772377776152555937506097788471705234192577239/1324618527786558833\ 301993837604591338822014*c_1001_0^7 - 14755123879522714646625954517121170851444923189/2649237055573117666\ 603987675209182677644028*c_1001_0^6 - 6697901146186393665489052211780074155675779485/26492370555731176666\ 03987675209182677644028*c_1001_0^5 - 2486543416735546562210453120844758143560763777/26492370555731176666\ 03987675209182677644028*c_1001_0^4 - 998782768290882497593038288572660684652428255/264923705557311766660\ 3987675209182677644028*c_1001_0^3 - 68094492375108855588525869840308842617084229/1324618527786558833301\ 993837604591338822014*c_1001_0^2 - 65642278805047364785859599804616414942506815/2649237055573117666603\ 987675209182677644028*c_1001_0 + 4289878280397246941979062608948499\ 951943140/662309263893279416650996918802295669411007, c_1001_0^32 + 81/19*c_1001_0^31 + 280/19*c_1001_0^30 + 1220/19*c_1001_0^29 + 109*c_1001_0^28 + 8437/19*c_1001_0^27 + 10210/19*c_1001_0^26 + 35613/19*c_1001_0^25 + 36859/19*c_1001_0^24 + 5417*c_1001_0^23 + 100804/19*c_1001_0^22 + 216567/19*c_1001_0^21 + 211666/19*c_1001_0^20 + 344452/19*c_1001_0^19 + 343290/19*c_1001_0^18 + 424383/19*c_1001_0^17 + 430617/19*c_1001_0^16 + 411591/19*c_1001_0^15 + 416196/19*c_1001_0^14 + 317030/19*c_1001_0^13 + 306702/19*c_1001_0^12 + 193965/19*c_1001_0^11 + 168873/19*c_1001_0^10 + 93107/19*c_1001_0^9 + 66966/19*c_1001_0^8 + 34019/19*c_1001_0^7 + 17779/19*c_1001_0^6 + 8939/19*c_1001_0^5 + 2617/19*c_1001_0^4 + 1518/19*c_1001_0^3 + 53/19*c_1001_0^2 + 128/19*c_1001_0 - 32/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.760 Total time: 0.970 seconds, Total memory usage: 32.09MB