Magma V2.19-8 Tue Aug 20 2013 23:45:13 on localhost [Seed = 340947395] Type ? for help. Type -D to quit. Loading file "K13n2392__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2392 geometric_solution 10.50346650 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 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 -1 1 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 1.345636559305 0.776571205614 0 5 4 6 0132 0132 0213 0132 0 0 0 0 0 0 -1 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 10 -10 0 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435420805052 0.803369563366 7 0 5 6 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.006173275098 0.962984237103 8 9 4 0 0132 0132 3201 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 -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.150857812009 0.669396444697 3 1 0 9 2310 0213 0132 0213 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 -10 -1 11 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.759548045461 0.419408060323 7 1 10 2 1023 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 0 10 0 -10 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287541437563 0.718996850340 10 11 1 2 2103 0132 0132 2103 0 0 0 0 0 1 -1 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 -10 10 0 0 0 0 0 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520992245924 0.311869647003 2 5 11 8 0132 1023 2103 0321 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 -10 0 10 0 0 0 0 1 0 0 -1 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.332845784848 0.883986259044 3 7 10 9 0132 0321 2103 3120 0 0 0 0 0 1 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 -10 0 10 0 0 10 -10 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.519223478926 0.476221340940 8 3 11 4 3120 0132 3120 0213 0 0 0 0 0 0 -1 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 0 11 -11 10 0 -11 1 1 0 0 -1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332426946837 0.640273406593 8 11 6 5 2103 0321 2103 0132 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 -10 0 0 10 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095975774384 1.421320417399 7 6 9 10 2103 0132 3120 0321 0 0 0 0 0 -1 1 0 0 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 10 -10 0 0 0 11 -11 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685512637454 0.674197927581 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_5'], '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_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : 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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0110_6']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_0011_11'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_3'], '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_4, c_0101_0, c_0101_11, c_0101_3, c_0110_6, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 645445894570462791170634697849512546643523153693345666466591/149639\ 55368907667465160341728424706618894390454898829858500*c_1001_5^22 + 54855150965601928074600464137467635258514184213165297473503/2200581\ 67189818639193534437182716273807270447866159262625*c_1001_5^21 - 1104648077527611193006279532064318885476524164992538161918907/37409\ 88842226916866290085432106176654723597613724707464625*c_1001_5^20 - 12593213746424449531431985854437613670190203160365938981012881/1496\ 3955368907667465160341728424706618894390454898829858500*c_1001_5^19 + 1261138587524218839867454330379952433199679243898534326009963/598\ 558214756306698606413669136988264755775618195953194340*c_1001_5^18 + 600950484373429134279763851187417974597251900165080801476857/213770\ 7909843952495022905961203529516984912922128404265500*c_1001_5^17 - 672002940759384218966234859954753753944217514526572719266498/149639\ 553689076674651603417284247066188943904548988298585*c_1001_5^16 + 9461202951393024430548065479768824977220432003409659552311791/29927\ 91073781533493032068345684941323778878090979765971700*c_1001_5^15 + 15356917634365646861596099982927613102839734534992175176946003/7481\ 977684453833732580170864212353309447195227449414929250*c_1001_5^14 - 11797871161695561659246845980266660074816280423503859299136461/2992\ 791073781533493032068345684941323778878090979765971700*c_1001_5^13 + 8800041882141347523458229187277892037471684647770855517954467/37409\ 88842226916866290085432106176654723597613724707464625*c_1001_5^12 + 31557412937318034113471534430160814084581741891128470021907/3605772\ 3780500403530506847538372787033480458927467059900*c_1001_5^11 - 48800204380176678872233024391053581956877711718722694950216713/1496\ 3955368907667465160341728424706618894390454898829858500*c_1001_5^10 + 34012532203944186404327761122079707878989651821651782482043873/14\ 963955368907667465160341728424706618894390454898829858500*c_1001_5^\ 9 + 661901090680393135467543562773918796548325170991741780596639/10\ 68853954921976247511452980601764758492456461064202132750*c_1001_5^8 - 27634986101499267577750170756224503708975060019354550719029381/14\ 963955368907667465160341728424706618894390454898829858500*c_1001_5^\ 7 + 3366835351267164798919666786414269744626339106516519356678983/1\ 4963955368907667465160341728424706618894390454898829858500*c_1001_5\ ^6 + 559669590491568078135360279704230732004462187056368695222727/8\ 80232668759274556774137748730865095229081791464637050500*c_1001_5^5 - 2748995308990860440082472532036290528456166522728519001234867/149\ 6395536890766746516034172842470661889439045489882985850*c_1001_5^4 + 56033358597613349684281612545488726836302676105736495669463/3053868\ 4426342178500327228017193278814070184601834346650*c_1001_5^3 - 483035615615942281564240822189633675178876215758980412858428/374098\ 8842226916866290085432106176654723597613724707464625*c_1001_5^2 + 1416886065397486695309340681826990381517575683676654936085222/37409\ 88842226916866290085432106176654723597613724707464625*c_1001_5 + 2366610945880190232914596163397058003104752202298404349670829/74819\ 77684453833732580170864212353309447195227449414929250, c_0011_0 - 1, c_0011_10 + 28906088964886420775287286359321397674381177023/18989507861\ 3153900457345548643003349355432239634*c_1001_5^22 - 135209240342334880539476638164995628331268018971/189895078613153900\ 457345548643003349355432239634*c_1001_5^21 - 5155996058306149146929758567445807031023946221/18989507861315390045\ 7345548643003349355432239634*c_1001_5^20 + 868785983444077007133855053476393047568349969605/189895078613153900\ 457345548643003349355432239634*c_1001_5^19 - 781770041299022224879020629093781093133975612959/189895078613153900\ 457345548643003349355432239634*c_1001_5^18 - 1151504368311622614225215424810141513327886111389/94947539306576950\ 228672774321501674677716119817*c_1001_5^17 + 3278793513421712947321317814600735709395017232191/18989507861315390\ 0457345548643003349355432239634*c_1001_5^16 + 1332754403093917051921931146027117890394344128030/94947539306576950\ 228672774321501674677716119817*c_1001_5^15 - 2854314032487806586648012921686392840274376284828/94947539306576950\ 228672774321501674677716119817*c_1001_5^14 - 272817841848915199210203056729617583329003225719/949475393065769502\ 28672774321501674677716119817*c_1001_5^13 + 4686745473010249272219603497568213498939043027113/18989507861315390\ 0457345548643003349355432239634*c_1001_5^12 - 1982519161456991621831517543517025820233747298251/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 918396715115973056658006440878718775491396735659/189895078613153900\ 457345548643003349355432239634*c_1001_5^10 + 1965307006331130456378811150575306960612787064339/18989507861315390\ 0457345548643003349355432239634*c_1001_5^9 - 955970117413335127218445890209617797015486415391/949475393065769502\ 28672774321501674677716119817*c_1001_5^8 - 264815094511473399105027408137547529461169519011/189895078613153900\ 457345548643003349355432239634*c_1001_5^7 + 1246163850037313370652640339784286992933493159948/94947539306576950\ 228672774321501674677716119817*c_1001_5^6 - 286676567423650327287660057438683873256064767727/949475393065769502\ 28672774321501674677716119817*c_1001_5^5 - 666086676863333638168946737634224680534613463821/189895078613153900\ 457345548643003349355432239634*c_1001_5^4 + 389374784239400419021777339178005383297141896423/189895078613153900\ 457345548643003349355432239634*c_1001_5^3 - 929038230155538612147451786953805020788258760505/189895078613153900\ 457345548643003349355432239634*c_1001_5^2 - 169095276575975655600449744734378651882244253757/949475393065769502\ 28672774321501674677716119817*c_1001_5 + 134931703521238676671667611546005032241409446060/949475393065769502\ 28672774321501674677716119817, c_0011_11 + 20132665460589867987369954823235896790495908983/18989507861\ 3153900457345548643003349355432239634*c_1001_5^22 - 83509045222698546589339488580790216838901277937/1898950786131539004\ 57345548643003349355432239634*c_1001_5^21 - 24877381759543234756591221871638212184667615033/9494753930657695022\ 8672774321501674677716119817*c_1001_5^20 + 598670951574781961386881487069426664644101283699/189895078613153900\ 457345548643003349355432239634*c_1001_5^19 - 267237631205444373941145474725244931835570082165/189895078613153900\ 457345548643003349355432239634*c_1001_5^18 - 1829404983710440572711666853460639942729308907513/18989507861315390\ 0457345548643003349355432239634*c_1001_5^17 + 802614016491078723915001885769993707616599344938/949475393065769502\ 28672774321501674677716119817*c_1001_5^16 + 2783870923756346852779567941890786434107105851943/18989507861315390\ 0457345548643003349355432239634*c_1001_5^15 - 1656524336149268093428800454528282983519103998329/94947539306576950\ 228672774321501674677716119817*c_1001_5^14 - 1866562303732261308484855562094718616560717990889/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 + 3277010672640484401436920618729922176393614934067/18989507861315390\ 0457345548643003349355432239634*c_1001_5^12 - 163051249149121738452358868029587044432649230510/949475393065769502\ 28672774321501674677716119817*c_1001_5^11 - 1195920733243664269093350126602094622586418468041/18989507861315390\ 0457345548643003349355432239634*c_1001_5^10 + 694553198643428807147018653694346294628054242529/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 - 1054005339908895926278182005929972286596176958967/18989507861315390\ 0457345548643003349355432239634*c_1001_5^8 - 378552862672981791998241418431727438914104953263/949475393065769502\ 28672774321501674677716119817*c_1001_5^7 + 945868745871284147628947447482631574023422160526/949475393065769502\ 28672774321501674677716119817*c_1001_5^6 + 26503599070927916198794897328851795325186512835/1898950786131539004\ 57345548643003349355432239634*c_1001_5^5 - 369779396407602698939321793869109552285174112569/949475393065769502\ 28672774321501674677716119817*c_1001_5^4 + 144291813642535636546209849534626997526893586928/949475393065769502\ 28672774321501674677716119817*c_1001_5^3 - 578885105528767473419734885274817073644667499835/189895078613153900\ 457345548643003349355432239634*c_1001_5^2 - 117450705676892324746785586262702373292649503209/949475393065769502\ 28672774321501674677716119817*c_1001_5 + 122122959756178869706970528249705962259129203004/949475393065769502\ 28672774321501674677716119817, c_0011_3 - 3593428983009674938599740260628645910821340643/1898950786131\ 53900457345548643003349355432239634*c_1001_5^22 + 14437623018911508561120391759234823348993986926/9494753930657695022\ 8672774321501674677716119817*c_1001_5^21 - 33708878684243771664974320510480977353874427089/9494753930657695022\ 8672774321501674677716119817*c_1001_5^20 - 26498861005050059883999597369047504837242592377/9494753930657695022\ 8672774321501674677716119817*c_1001_5^19 + 432866093041759774278884133340863070381185612663/189895078613153900\ 457345548643003349355432239634*c_1001_5^18 - 161089726240816207542402773389741425618467745803/949475393065769502\ 28672774321501674677716119817*c_1001_5^17 - 481307871521031318614278450836928221251695646083/949475393065769502\ 28672774321501674677716119817*c_1001_5^16 + 1506294275557105310143366810035669312836579431589/18989507861315390\ 0457345548643003349355432239634*c_1001_5^15 + 592604033426988597984721900571112033433512033861/189895078613153900\ 457345548643003349355432239634*c_1001_5^14 - 1114365905795511199703474226190270746965475330609/94947539306576950\ 228672774321501674677716119817*c_1001_5^13 + 573792720084896760042132512769475834884179073067/189895078613153900\ 457345548643003349355432239634*c_1001_5^12 + 1269537203353100769062768565337734312953934795487/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 1065931908983572207587167965459397832117231294751/18989507861315390\ 0457345548643003349355432239634*c_1001_5^10 + 118059568677143428082620065230903538526597701554/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 + 476539083452560665456383959052702168120018113903/189895078613153900\ 457345548643003349355432239634*c_1001_5^8 - 393490897282460643720927524879595846763747128101/949475393065769502\ 28672774321501674677716119817*c_1001_5^7 + 161263000327515866550865544035784500606817984931/189895078613153900\ 457345548643003349355432239634*c_1001_5^6 + 705065705881569249019410733948113009757798883459/189895078613153900\ 457345548643003349355432239634*c_1001_5^5 - 226173348723342451096505217335808120657793564319/949475393065769502\ 28672774321501674677716119817*c_1001_5^4 + 12635389670174759863039674352826903263410817561/9494753930657695022\ 8672774321501674677716119817*c_1001_5^3 - 7717101036340357631783315636372363281944506817/18989507861315390045\ 7345548643003349355432239634*c_1001_5^2 - 351527275948641772861577235834412181127003922323/189895078613153900\ 457345548643003349355432239634*c_1001_5 + 77769009877397209035399591272406728510516974947/9494753930657695022\ 8672774321501674677716119817, c_0011_4 + 20857155539444137197380476328189568360576513421/189895078613\ 153900457345548643003349355432239634*c_1001_5^22 - 73689610829197912797226676416823595009653104131/1898950786131539004\ 57345548643003349355432239634*c_1001_5^21 - 51643017672408175708038502078457965598994727583/9494753930657695022\ 8672774321501674677716119817*c_1001_5^20 + 295705764474602666740742991922583189246153582232/949475393065769502\ 28672774321501674677716119817*c_1001_5^19 + 32652905054074972214649305649147557983482629753/9494753930657695022\ 8672774321501674677716119817*c_1001_5^18 - 1021663708870616277692409661310081967530880012791/94947539306576950\ 228672774321501674677716119817*c_1001_5^17 + 349820687488480095158214096505946496422199767313/949475393065769502\ 28672774321501674677716119817*c_1001_5^16 + 1864153699141670101690184188362373020827920748020/94947539306576950\ 228672774321501674677716119817*c_1001_5^15 - 1079422140074017536576630424109011097811399242297/94947539306576950\ 228672774321501674677716119817*c_1001_5^14 - 3587754515209895533576592717547092648565804537537/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 + 1427988794961912407645814099915563312535854681586/94947539306576950\ 228672774321501674677716119817*c_1001_5^12 + 1347067620162975110086463344705764268510825762127/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 1903222694778106538432447624824006015799868224437/18989507861315390\ 0457345548643003349355432239634*c_1001_5^10 + 300768231933941213228059061203845372598986867174/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 - 95627481042430699051429490870356453251111493978/9494753930657695022\ 8672774321501674677716119817*c_1001_5^8 - 476494038995756848070790525976955900844831364964/949475393065769502\ 28672774321501674677716119817*c_1001_5^7 + 1533151760570355880441831460956206506804881053475/18989507861315390\ 0457345548643003349355432239634*c_1001_5^6 + 310387191386804167579078106984195973761204794021/949475393065769502\ 28672774321501674677716119817*c_1001_5^5 - 357110264504664216243774225871442695669551035481/949475393065769502\ 28672774321501674677716119817*c_1001_5^4 + 254831745948993204277654466818326746625355018825/189895078613153900\ 457345548643003349355432239634*c_1001_5^3 - 317958595117322103741805367747528387554063227633/189895078613153900\ 457345548643003349355432239634*c_1001_5^2 - 219222437804599500535074132992887481467809368529/949475393065769502\ 28672774321501674677716119817*c_1001_5 + 46045564627585831738607742298175542014502211375/9494753930657695022\ 8672774321501674677716119817, c_0101_0 + 8926080742246333087751465152077557121054536425/9494753930657\ 6950228672774321501674677716119817*c_1001_5^22 - 62845794621548045384947802532029867444310917165/1898950786131539004\ 57345548643003349355432239634*c_1001_5^21 - 90950719648277354900836886446115893858928203837/1898950786131539004\ 57345548643003349355432239634*c_1001_5^20 + 253210868379473449814918402745151749973382391858/949475393065769502\ 28672774321501674677716119817*c_1001_5^19 + 88000535584706438398617189503981075596934661607/1898950786131539004\ 57345548643003349355432239634*c_1001_5^18 - 886242560918733133763555372441406626034928870701/949475393065769502\ 28672774321501674677716119817*c_1001_5^17 + 442899024584490311184317361668493643301669502679/189895078613153900\ 457345548643003349355432239634*c_1001_5^16 + 1656399078632422237348467752176596314782441701447/94947539306576950\ 228672774321501674677716119817*c_1001_5^15 - 715887857769100536814185679735911182697044145471/949475393065769502\ 28672774321501674677716119817*c_1001_5^14 - 3322587438215195870170432748126295070149658999565/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 + 887186458885701444914162502914476023819111841562/949475393065769502\ 28672774321501674677716119817*c_1001_5^12 + 1315449708368971082633050355628603253680921632787/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 970857577630826409597388183587338053314797297519/189895078613153900\ 457345548643003349355432239634*c_1001_5^10 + 639483322790480318172123790438303539366335421211/189895078613153900\ 457345548643003349355432239634*c_1001_5^9 - 491700996165560815308661152883726719488936647669/189895078613153900\ 457345548643003349355432239634*c_1001_5^8 - 994240354287344812244863873420014125288984735621/189895078613153900\ 457345548643003349355432239634*c_1001_5^7 + 1405395551635934404213033984711260774460472674653/18989507861315390\ 0457345548643003349355432239634*c_1001_5^6 + 696529915877063992327280013384206764588780021763/189895078613153900\ 457345548643003349355432239634*c_1001_5^5 - 266587634685732620988014301963165791561717874131/949475393065769502\ 28672774321501674677716119817*c_1001_5^4 + 66087316074000541261558809703842293528885456867/9494753930657695022\ 8672774321501674677716119817*c_1001_5^3 - 562514749861075280015626794370216482484678001817/189895078613153900\ 457345548643003349355432239634*c_1001_5^2 - 342899653840741899657110552759640002827510657118/949475393065769502\ 28672774321501674677716119817*c_1001_5 - 40125438352877089785448468391312105215728280859/1898950786131539004\ 57345548643003349355432239634, c_0101_11 - 27955125848654726870892378988943604731757583813/18989507861\ 3153900457345548643003349355432239634*c_1001_5^22 + 82323926505059662185552307738697086119549441407/9494753930657695022\ 8672774321501674677716119817*c_1001_5^21 - 79197236518449016958502579202357262746679528824/9494753930657695022\ 8672774321501674677716119817*c_1001_5^20 - 397490211127958142781140661787741648789288041780/949475393065769502\ 28672774321501674677716119817*c_1001_5^19 + 1646619566998472054441855322393352468357761219507/18989507861315390\ 0457345548643003349355432239634*c_1001_5^18 + 591641612793458780294655444519579138208661414120/949475393065769502\ 28672774321501674677716119817*c_1001_5^17 - 5062838170204525602506991399644728242211421469789/18989507861315390\ 0457345548643003349355432239634*c_1001_5^16 + 473202180739654483163814999717800741983321236317/949475393065769502\ 28672774321501674677716119817*c_1001_5^15 + 3376561296963283061104368107124379768249931021027/94947539306576950\ 228672774321501674677716119817*c_1001_5^14 - 2134312891165490140697322720226182797722494687422/94947539306576950\ 228672774321501674677716119817*c_1001_5^13 - 1809511294062325812703113158721125796880962539489/94947539306576950\ 228672774321501674677716119817*c_1001_5^12 + 4565953875827616938326578872303345882866656838389/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 982665389904115680694858272585279637372066514257/189895078613153900\ 457345548643003349355432239634*c_1001_5^10 - 1284091917278431492899691796025050896459010284915/18989507861315390\ 0457345548643003349355432239634*c_1001_5^9 + 1147505874344793269800761673968809247213718489536/94947539306576950\ 228672774321501674677716119817*c_1001_5^8 - 791360981505381252484050785144748233759253699119/949475393065769502\ 28672774321501674677716119817*c_1001_5^7 - 1469359936287353772719160525717779520412226106931/18989507861315390\ 0457345548643003349355432239634*c_1001_5^6 + 909953645706299079469112504554587593713154526318/949475393065769502\ 28672774321501674677716119817*c_1001_5^5 - 122318897612171657442965737697743824939032811809/949475393065769502\ 28672774321501674677716119817*c_1001_5^4 - 80171622874151686122239071223232620102482954675/1898950786131539004\ 57345548643003349355432239634*c_1001_5^3 + 465687687352328788970261811434889801118016674126/949475393065769502\ 28672774321501674677716119817*c_1001_5^2 - 346219269406669972906245282562452954285610088991/189895078613153900\ 457345548643003349355432239634*c_1001_5 - 78159332424884877361227270419396312650717713337/1898950786131539004\ 57345548643003349355432239634, c_0101_3 - 14136983496493363107485682455770307526248300626/949475393065\ 76950228672774321501674677716119817*c_1001_5^22 + 168430838164015170935307352175149504800991728325/189895078613153900\ 457345548643003349355432239634*c_1001_5^21 - 171477286367340040166811403251916335028616020557/189895078613153900\ 457345548643003349355432239634*c_1001_5^20 - 399037182391780201123386401816989202826958279948/949475393065769502\ 28672774321501674677716119817*c_1001_5^19 + 1731808460750483423843908358025134735117278675571/18989507861315390\ 0457345548643003349355432239634*c_1001_5^18 + 559360996774103121424937727278968287361944300356/949475393065769502\ 28672774321501674677716119817*c_1001_5^17 - 2640218647507912888317269159166705817280212413302/94947539306576950\ 228672774321501674677716119817*c_1001_5^16 + 1165056340728783025314615545067536818755115069317/18989507861315390\ 0457345548643003349355432239634*c_1001_5^15 + 7009527850667787291047906513200782176764314773837/18989507861315390\ 0457345548643003349355432239634*c_1001_5^14 - 4440284848774763931959560037488781294672913416703/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 - 3747911126448876861090986786502348695622600330149/18989507861315390\ 0457345548643003349355432239634*c_1001_5^12 + 4339804002127747947342939079984215569309928499123/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 1086487101596220602597058575540011575714660503729/18989507861315390\ 0457345548643003349355432239634*c_1001_5^10 - 388081691067551296873793615630016355858179195776/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 + 1287901556949388657393577472262376059932004216745/94947539306576950\ 228672774321501674677716119817*c_1001_5^8 - 2173728803744170698809460324608855294059800835113/18989507861315390\ 0457345548643003349355432239634*c_1001_5^7 - 1521234117258874713805365935613111823867108223605/18989507861315390\ 0457345548643003349355432239634*c_1001_5^6 + 1252691355488887655705828820404770701790130840199/94947539306576950\ 228672774321501674677716119817*c_1001_5^5 - 94274652595717187186148956417231880481057976180/9494753930657695022\ 8672774321501674677716119817*c_1001_5^4 - 193428134243326380067410855713715913794470032829/189895078613153900\ 457345548643003349355432239634*c_1001_5^3 + 351244498285363641380912173840125699609004926114/949475393065769502\ 28672774321501674677716119817*c_1001_5^2 - 426480590119397304476927249889397754562561536305/949475393065769502\ 28672774321501674677716119817*c_1001_5 - 140374192383815200727808436348504398749790503323/949475393065769502\ 28672774321501674677716119817, c_0110_6 + 19036345032134691069245152530903515595430307549/949475393065\ 76950228672774321501674677716119817*c_1001_5^22 - 71444171338479381317791765186685852509275605880/9494753930657695022\ 8672774321501674677716119817*c_1001_5^21 - 73562493816344519394531434051171059437805325794/9494753930657695022\ 8672774321501674677716119817*c_1001_5^20 + 1032197951562878745980852755084921145587386598385/18989507861315390\ 0457345548643003349355432239634*c_1001_5^19 + 7541222182577597226427419143586309681039089111/18989507861315390045\ 7345548643003349355432239634*c_1001_5^18 - 1662792625797094413013506277622798812772437887949/94947539306576950\ 228672774321501674677716119817*c_1001_5^17 + 512566163252355811468607698521058899385143873802/949475393065769502\ 28672774321501674677716119817*c_1001_5^16 + 5781871237483084258657394397586754463194074462845/18989507861315390\ 0457345548643003349355432239634*c_1001_5^15 - 2171831995506169128936501300839115215609876489621/18989507861315390\ 0457345548643003349355432239634*c_1001_5^14 - 5639862297764073564742555757774130858447586618257/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 + 965850987944123363594491112017943041156493548513/949475393065769502\ 28672774321501674677716119817*c_1001_5^12 + 2377148704098813511366510306470545578313756043567/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 597778430334056959085284894717713205820520208039/189895078613153900\ 457345548643003349355432239634*c_1001_5^10 + 247357277788515998515865055042511084379742090192/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 - 549656580114225189431742738049591859940336209838/949475393065769502\ 28672774321501674677716119817*c_1001_5^8 - 650851160044125033559159375496710277528835351351/949475393065769502\ 28672774321501674677716119817*c_1001_5^7 + 1131596374596433876021162922559969788386374620876/94947539306576950\ 228672774321501674677716119817*c_1001_5^6 + 793253716363633597101077460669500530927407709715/949475393065769502\ 28672774321501674677716119817*c_1001_5^5 - 278993452209240259982004227953843421691362946109/189895078613153900\ 457345548643003349355432239634*c_1001_5^4 - 465963415881475118744713099008399506266655103771/189895078613153900\ 457345548643003349355432239634*c_1001_5^3 - 1105493564602536191552988446260867485932619580423/18989507861315390\ 0457345548643003349355432239634*c_1001_5^2 - 1098917154684711468157968730493313055046499447129/18989507861315390\ 0457345548643003349355432239634*c_1001_5 - 368670791776579587771030171659588166311459710853/189895078613153900\ 457345548643003349355432239634, c_1001_0 - 14424135385104610665746227914266473369931564319/949475393065\ 76950228672774321501674677716119817*c_1001_5^22 + 122519402943644165173383139746484649941431698329/189895078613153900\ 457345548643003349355432239634*c_1001_5^21 + 44135448740332571659358970159635374258401416457/1898950786131539004\ 57345548643003349355432239634*c_1001_5^20 - 391581591081431223659697829820093260629233471768/949475393065769502\ 28672774321501674677716119817*c_1001_5^19 + 427760123534518780252860347046867564995929619851/189895078613153900\ 457345548643003349355432239634*c_1001_5^18 + 1061806045432764136577409260428315620973561844814/94947539306576950\ 228672774321501674677716119817*c_1001_5^17 - 961568706690998935481397591982052798614281433784/949475393065769502\ 28672774321501674677716119817*c_1001_5^16 - 2758082391208492957442303565354159075131892526155/18989507861315390\ 0457345548643003349355432239634*c_1001_5^15 + 2984069976464094811766684214693615513427883022137/18989507861315390\ 0457345548643003349355432239634*c_1001_5^14 + 1560081984220062223317146957929222075932471941851/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 - 1854870943645877599307772183142614011118884138007/18989507861315390\ 0457345548643003349355432239634*c_1001_5^12 + 204663039899002196016183426081373615775613248449/189895078613153900\ 457345548643003349355432239634*c_1001_5^11 - 144024287192291740618166913070826222736147922851/189895078613153900\ 457345548643003349355432239634*c_1001_5^10 - 295353848146561321726262841736543312183987638017/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 + 632348883853936060180749786295276181995697347523/949475393065769502\ 28672774321501674677716119817*c_1001_5^8 + 184847924409677782458608079380982819853107319171/189895078613153900\ 457345548643003349355432239634*c_1001_5^7 - 1434476909920528953569116144406441347562630238665/18989507861315390\ 0457345548643003349355432239634*c_1001_5^6 - 82156085124881041763431327100316714115913454996/9494753930657695022\ 8672774321501674677716119817*c_1001_5^5 - 70735623474094133949270231174722597974489573689/9494753930657695022\ 8672774321501674677716119817*c_1001_5^4 - 151840618397802684004659665373442663075673585555/189895078613153900\ 457345548643003349355432239634*c_1001_5^3 + 422446301605181973147352982114781074042847994586/949475393065769502\ 28672774321501674677716119817*c_1001_5^2 + 196003327741577206473011701051029046184507246993/949475393065769502\ 28672774321501674677716119817*c_1001_5 + 135642816524423045121814107530541630873163017052/949475393065769502\ 28672774321501674677716119817, c_1001_1 - 14136983496493363107485682455770307526248300626/949475393065\ 76950228672774321501674677716119817*c_1001_5^22 + 168430838164015170935307352175149504800991728325/189895078613153900\ 457345548643003349355432239634*c_1001_5^21 - 171477286367340040166811403251916335028616020557/189895078613153900\ 457345548643003349355432239634*c_1001_5^20 - 399037182391780201123386401816989202826958279948/949475393065769502\ 28672774321501674677716119817*c_1001_5^19 + 1731808460750483423843908358025134735117278675571/18989507861315390\ 0457345548643003349355432239634*c_1001_5^18 + 559360996774103121424937727278968287361944300356/949475393065769502\ 28672774321501674677716119817*c_1001_5^17 - 2640218647507912888317269159166705817280212413302/94947539306576950\ 228672774321501674677716119817*c_1001_5^16 + 1165056340728783025314615545067536818755115069317/18989507861315390\ 0457345548643003349355432239634*c_1001_5^15 + 7009527850667787291047906513200782176764314773837/18989507861315390\ 0457345548643003349355432239634*c_1001_5^14 - 4440284848774763931959560037488781294672913416703/18989507861315390\ 0457345548643003349355432239634*c_1001_5^13 - 3747911126448876861090986786502348695622600330149/18989507861315390\ 0457345548643003349355432239634*c_1001_5^12 + 4339804002127747947342939079984215569309928499123/18989507861315390\ 0457345548643003349355432239634*c_1001_5^11 - 1086487101596220602597058575540011575714660503729/18989507861315390\ 0457345548643003349355432239634*c_1001_5^10 - 388081691067551296873793615630016355858179195776/949475393065769502\ 28672774321501674677716119817*c_1001_5^9 + 1287901556949388657393577472262376059932004216745/94947539306576950\ 228672774321501674677716119817*c_1001_5^8 - 2173728803744170698809460324608855294059800835113/18989507861315390\ 0457345548643003349355432239634*c_1001_5^7 - 1521234117258874713805365935613111823867108223605/18989507861315390\ 0457345548643003349355432239634*c_1001_5^6 + 1252691355488887655705828820404770701790130840199/94947539306576950\ 228672774321501674677716119817*c_1001_5^5 - 94274652595717187186148956417231880481057976180/9494753930657695022\ 8672774321501674677716119817*c_1001_5^4 - 193428134243326380067410855713715913794470032829/189895078613153900\ 457345548643003349355432239634*c_1001_5^3 + 351244498285363641380912173840125699609004926114/949475393065769502\ 28672774321501674677716119817*c_1001_5^2 - 426480590119397304476927249889397754562561536305/949475393065769502\ 28672774321501674677716119817*c_1001_5 - 140374192383815200727808436348504398749790503323/949475393065769502\ 28672774321501674677716119817, c_1001_5^23 - 210/41*c_1001_5^22 + 117/41*c_1001_5^21 + 1033/41*c_1001_5^20 - 1546/41*c_1001_5^19 - 1724/41*c_1001_5^18 + 4534/41*c_1001_5^17 - 255/41*c_1001_5^16 - 4801/41*c_1001_5^15 + 3276/41*c_1001_5^14 + 527/41*c_1001_5^13 - 3142/41*c_1001_5^12 + 3043/41*c_1001_5^11 - 6/41*c_1001_5^10 - 2553/41*c_1001_5^9 + 1842/41*c_1001_5^8 + 946/41*c_1001_5^7 - 1056/41*c_1001_5^6 + 1414/41*c_1001_5^5 - 465/41*c_1001_5^4 - 1343/41*c_1001_5^3 + 120/41*c_1001_5^2 - 675/41*c_1001_5 - 97/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.550 Total time: 0.760 seconds, Total memory usage: 32.09MB