Magma V2.19-8 Tue Aug 20 2013 23:47:09 on localhost [Seed = 2378950582] Type ? for help. Type -D to quit. Loading file "K14n8789__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8789 geometric_solution 11.04544308 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 -1 1 0 0 0 0 0 -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 -5 6 -1 0 0 1 -1 -6 0 0 6 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.073417050956 0.794530737157 0 3 6 5 0132 3120 0132 0132 0 0 0 0 0 -1 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 -6 0 6 0 0 0 0 -5 0 0 5 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638449218435 0.689515375732 7 0 8 7 0132 0132 0132 2031 0 0 0 0 0 1 0 -1 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 5 0 -5 0 0 5 -5 0 -1 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292337658928 0.995485261351 4 1 9 0 1023 3120 0132 0132 0 0 0 0 0 1 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 6 0 -6 1 0 0 -1 -6 0 0 6 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499031899041 0.557889713636 10 3 0 5 0132 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 -6 6 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675036304355 1.088945528598 4 7 1 10 3012 1230 0132 3012 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 1 -1 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270297808794 0.552532103253 10 8 11 1 3120 1230 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 0.166388598979 0.788857679564 2 2 5 11 0132 1302 3012 0321 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 0 0 5 -5 0 0 0 0 0 -5 5 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728424861260 0.924783515598 9 9 6 2 1230 1023 3012 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 -5 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607104948307 0.903812906251 8 8 11 3 1023 3012 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.075058960257 0.729914454682 4 11 5 6 0132 1230 1230 3120 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 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486527587869 0.302745754263 9 7 10 6 2103 0321 3012 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.235967650027 1.651679351212 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : d['c_0011_5'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_10']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_1001_10']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_1001_6']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : negation(d['c_1001_10']), 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_6'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : negation(d['c_1001_6']), '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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_1']})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_0101_8, c_1001_10, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 34741312414103902083431968078964614449340461298688/3474427216379212\ 753033012315831561364088578576167815*c_1001_6^18 + 273524540378903071984121857383527254002201564346058/347442721637921\ 2753033012315831561364088578576167815*c_1001_6^17 - 107714714828869017262414846826856688406133744468988/115814240545973\ 7584344337438610520454696192858722605*c_1001_6^16 - 667334498369607285562983219217085325540800430325388/115814240545973\ 7584344337438610520454696192858722605*c_1001_6^15 + 4831667766040223992857616801982565973678785468479668/34744272163792\ 12753033012315831561364088578576167815*c_1001_6^14 + 868155654964477533180198019312337023780555027921916/115814240545973\ 7584344337438610520454696192858722605*c_1001_6^13 - 9096003284028587999757969037481771335034489784667891/11581424054597\ 37584344337438610520454696192858722605*c_1001_6^12 + 14979560068826384673652303043210229411053909841761726/3474427216379\ 212753033012315831561364088578576167815*c_1001_6^11 + 105105208032108507873816867178021958978240986665672404/347442721637\ 9212753033012315831561364088578576167815*c_1001_6^10 - 101732252264926559646502009586700328441175888225877722/347442721637\ 9212753033012315831561364088578576167815*c_1001_6^9 - 38018156039580165072887933046225778811047742129843503/1158142405459\ 737584344337438610520454696192858722605*c_1001_6^8 + 510392084288260843244658460105616807087644705760042708/347442721637\ 9212753033012315831561364088578576167815*c_1001_6^7 - 186508688649117029975885358694362694673683851742472/551496383552255\ 99254492258981453354985532993272505*c_1001_6^6 - 64523764267993854702787141416904466628490089145962902/4963467451970\ 30393290430330833080194869796939452545*c_1001_6^5 - 518064437449417985586416852710094258428655947299540694/347442721637\ 9212753033012315831561364088578576167815*c_1001_6^4 - 16723208329359150859224450080269840177480282186720000/6948854432758\ 42550606602463166312272817715715233563*c_1001_6^3 - 102305558954902369539359287341216006869835453360749281/115814240545\ 9737584344337438610520454696192858722605*c_1001_6^2 - 312504301449227629033118391382046968630509973311076399/347442721637\ 9212753033012315831561364088578576167815*c_1001_6 - 20908709443306461680516991865056995852314109135255669/3474427216379\ 212753033012315831561364088578576167815, c_0011_0 - 1, c_0011_10 - 2579741421860401121882641494234772858094204/558704469356192\ 817306486706162177297243047015*c_1001_6^18 + 14829991262746755243106684776659916526335539/5587044693561928173064\ 86706162177297243047015*c_1001_6^17 + 3168067029817532329460021401931918536758476/18623482311873093910216\ 2235387392432414349005*c_1001_6^16 - 46168019257041516491818041584223621909839594/1862348231187309391021\ 62235387392432414349005*c_1001_6^15 + 47120904798776621243976449327546346615374239/5587044693561928173064\ 86706162177297243047015*c_1001_6^14 + 135489202645457138022885307817444441541989993/186234823118730939102\ 162235387392432414349005*c_1001_6^13 - 372279173037357486830553016664168724911774563/186234823118730939102\ 162235387392432414349005*c_1001_6^12 - 1707016155423376295271274353032103622090698667/55870446935619281730\ 6486706162177297243047015*c_1001_6^11 + 4863518121946866252133605554238846994818149672/55870446935619281730\ 6486706162177297243047015*c_1001_6^10 + 5041408817505930216966793407249858308290159729/55870446935619281730\ 6486706162177297243047015*c_1001_6^9 - 485510617776561903375557437244582070094669114/186234823118730939102\ 162235387392432414349005*c_1001_6^8 + 26971329299965733835323429641151723566584518354/5587044693561928173\ 06486706162177297243047015*c_1001_6^7 + 934072867534274911825403320958892661091621629/886832491041575900486\ 4868351780592019730905*c_1001_6^6 + 10732759009262655508368507902398457043069201934/7981492419374183104\ 3783815166025328177578145*c_1001_6^5 + 57830085712621948026892960133890874837769057068/5587044693561928173\ 06486706162177297243047015*c_1001_6^4 + 9035199203108158171335314642203292868119352458/11174089387123856346\ 1297341232435459448609403*c_1001_6^3 + 9902669910024001920169842973215369489152347877/18623482311873093910\ 2162235387392432414349005*c_1001_6^2 + 16007267447677370696208830574489943012955157098/5587044693561928173\ 06486706162177297243047015*c_1001_6 + 5767186795341868849296778465112110277785176898/55870446935619281730\ 6486706162177297243047015, c_0011_11 + 261481104154610520363361793876973831523466/1676113408068578\ 451919460118486531891729141045*c_1001_6^18 - 1784605089437373057498477193294754654955611/16761134080685784519194\ 60118486531891729141045*c_1001_6^17 + 340795552112262203854415709768343142748466/558704469356192817306486\ 706162177297243047015*c_1001_6^16 + 4211703895136389984258526424292764249048656/55870446935619281730648\ 6706162177297243047015*c_1001_6^15 - 19188873111445445252906151729333950045918446/1676113408068578451919\ 460118486531891729141045*c_1001_6^14 - 5344760502059960216936662035774247613814527/55870446935619281730648\ 6706162177297243047015*c_1001_6^13 + 43938680060959021118036652544525395821770522/5587044693561928173064\ 86706162177297243047015*c_1001_6^12 + 10186335996219391577611308173853288180863773/1676113408068578451919\ 460118486531891729141045*c_1001_6^11 - 467077272615947141303507828781254487654915488/167611340806857845191\ 9460118486531891729141045*c_1001_6^10 + 78167010196838728468346872089127572418215869/1676113408068578451919\ 460118486531891729141045*c_1001_6^9 - 44505707097224465769445441465526372864392814/5587044693561928173064\ 86706162177297243047015*c_1001_6^8 - 2808883552838685656793037632694438055354238281/16761134080685784519\ 19460118486531891729141045*c_1001_6^7 - 41115656972540079567031089540677419099128121/2660497473124727701459\ 4605055341776059192715*c_1001_6^6 - 832537125646390316773620942570327322822644781/239444772581225493131\ 351445498075984532734435*c_1001_6^5 - 2190879810547497906568422034274541237898435082/16761134080685784519\ 19460118486531891729141045*c_1001_6^4 - 640059498217657127445262949611181798306010752/335222681613715690383\ 892023697306378345828209*c_1001_6^3 - 670350174271928433040306221410210236881316553/558704469356192817306\ 486706162177297243047015*c_1001_6^2 - 970547224930690526228269576423477493903444867/167611340806857845191\ 9460118486531891729141045*c_1001_6 - 194132533614755866114849646234577062965534027/167611340806857845191\ 9460118486531891729141045, c_0011_5 + 4834766991775648562403852952451981827308862/1676113408068578\ 451919460118486531891729141045*c_1001_6^18 - 27460823248181343561857924426471173368154927/1676113408068578451919\ 460118486531891729141045*c_1001_6^17 - 6597350642873090809225360704343189669135483/55870446935619281730648\ 6706162177297243047015*c_1001_6^16 + 86181991750241833394907848550041246717357692/5587044693561928173064\ 86706162177297243047015*c_1001_6^15 - 68735134463703211474523812187163513425786942/1676113408068578451919\ 460118486531891729141045*c_1001_6^14 - 257616641573360118115605362594359919212172179/558704469356192817306\ 486706162177297243047015*c_1001_6^13 + 676902033655569293068306589195888744181993854/558704469356192817306\ 486706162177297243047015*c_1001_6^12 + 3376694818599180393527174857582306136286416651/16761134080685784519\ 19460118486531891729141045*c_1001_6^11 - 8905462461370830437544130638092111853951465136/16761134080685784519\ 19460118486531891729141045*c_1001_6^10 - 10262130469499339439863599775035727511698485142/1676113408068578451\ 919460118486531891729141045*c_1001_6^9 + 745201297165172520280073426370904903515939422/558704469356192817306\ 486706162177297243047015*c_1001_6^8 - 49681229661174004931770803015407664812413698142/1676113408068578451\ 919460118486531891729141045*c_1001_6^7 - 1811543374408752795820395206727426587472603902/26604974731247277014\ 594605055341776059192715*c_1001_6^6 - 21174933180524746641339100780925789971940188157/2394447725812254931\ 31351445498075984532734435*c_1001_6^5 - 113895344774837710847281610633157740620458195619/167611340806857845\ 1919460118486531891729141045*c_1001_6^4 - 17739086858027110100522788696285869086405402332/3352226816137156903\ 83892023697306378345828209*c_1001_6^3 - 19833657350763202989512635035925191581394603361/5587044693561928173\ 06486706162177297243047015*c_1001_6^2 - 33715257164443074867701569843738017588266748214/1676113408068578451\ 919460118486531891729141045*c_1001_6 - 11885610122767465557110693894419698554012150009/1676113408068578451\ 919460118486531891729141045, c_0011_6 - 4671591601135026529400014970351606522591356/1676113408068578\ 451919460118486531891729141045*c_1001_6^18 + 26305540006861993252620712740431170264870336/1676113408068578451919\ 460118486531891729141045*c_1001_6^17 + 6750899168455851148589033649731851692873394/55870446935619281730648\ 6706162177297243047015*c_1001_6^16 - 82723752102552446265060973052741618123549656/5587044693561928173064\ 86706162177297243047015*c_1001_6^15 + 56900939650161576780911758306906017038689151/1676113408068578451919\ 460118486531891729141045*c_1001_6^14 + 246025139017666144973136477914336346536613652/558704469356192817306\ 486706162177297243047015*c_1001_6^13 - 645438095006584628284395412949609588650551587/558704469356192817306\ 486706162177297243047015*c_1001_6^12 - 3294296973025935277602167016783558213298851173/16761134080685784519\ 19460118486531891729141045*c_1001_6^11 + 8380594537841952147842354570552342442594189988/16761134080685784519\ 19460118486531891729141045*c_1001_6^10 + 10033047523131779017483400966548171568711333576/1676113408068578451\ 919460118486531891729141045*c_1001_6^9 - 406417505745165921443490281700247716487563491/558704469356192817306\ 486706162177297243047015*c_1001_6^8 + 48912668046005504578465477535093524762949501641/1676113408068578451\ 919460118486531891729141045*c_1001_6^7 + 1773873974135676153186825188386304541009428261/26604974731247277014\ 594605055341776059192715*c_1001_6^6 + 21412526202921981925798819691129094751324196561/2394447725812254931\ 31351445498075984532734435*c_1001_6^5 + 124369267711377289875800246253009638935933828147/167611340806857845\ 1919460118486531891729141045*c_1001_6^4 + 19080258338231013886628829283495517553988712053/3352226816137156903\ 83892023697306378345828209*c_1001_6^3 + 21502650659973211244518448023220753393983537018/5587044693561928173\ 06486706162177297243047015*c_1001_6^2 + 34950689050547459351195699888616010858475499172/1676113408068578451\ 919460118486531891729141045*c_1001_6 + 13321575087867505751086154531489260781622107957/1676113408068578451\ 919460118486531891729141045, c_0101_0 - 70777912037533277484829235513890375516925/159629848387483662\ 08756763033205065635515629*c_1001_6^18 + 396461876353887040786761412272771396175397/159629848387483662087567\ 63033205065635515629*c_1001_6^17 + 107979311569418355834862377853100966805617/532099494624945540291892\ 1011068355211838543*c_1001_6^16 - 126013944593600857271048975652646\ 4578353557/5320994946249455402918921011068355211838543*c_1001_6^15 + 718848624627586882563615344708462673638635/159629848387483662087567\ 63033205065635515629*c_1001_6^14 + 3841857166919467646395252104083721771256589/53209949462494554029189\ 21011068355211838543*c_1001_6^13 - 9679997935478358372372691888996248148734958/53209949462494554029189\ 21011068355211838543*c_1001_6^12 - 51948326473501687810479917643378683009596789/1596298483874836620875\ 6763033205065635515629*c_1001_6^11 + 127959575139050822341174910215558141468313768/159629848387483662087\ 56763033205065635515629*c_1001_6^10 + 160533604791976067273559475504964930350002316/159629848387483662087\ 56763033205065635515629*c_1001_6^9 - 8758160608264063215742922093601907722197629/53209949462494554029189\ 21011068355211838543*c_1001_6^8 + 726368728259112251655201879263837\ 021149415222/15962984838748366208756763033205065635515629*c_1001_6^\ 7 + 192005407673532498691370124946770951129320845/17736649820831518\ 00972973670356118403946181*c_1001_6^6 + 2266153269666843865860965175512964003760721788/15962984838748366208\ 756763033205065635515629*c_1001_6^5 + 1807143171590761458924072908646620484719458976/15962984838748366208\ 756763033205065635515629*c_1001_6^4 + 1384883978449685936251881767068272088603448005/15962984838748366208\ 756763033205065635515629*c_1001_6^3 + 310327918896895853579255509834552950917786696/532099494624945540291\ 8921011068355211838543*c_1001_6^2 + 496296724725114992618233200005770227088845725/159629848387483662087\ 56763033205065635515629*c_1001_6 + 181632554653478541913763021382153921881718442/159629848387483662087\ 56763033205065635515629, c_0101_1 - 6816637763802794967298805957390428636949819/1676113408068578\ 451919460118486531891729141045*c_1001_6^18 + 39613723874949024907794289971447738167463689/1676113408068578451919\ 460118486531891729141045*c_1001_6^17 + 7522881127442437496861355405741185266149446/55870446935619281730648\ 6706162177297243047015*c_1001_6^16 - 122464383659089272682052384200260571402678769/558704469356192817306\ 486706162177297243047015*c_1001_6^15 + 150075856359937965479995338579706982054283154/167611340806857845191\ 9460118486531891729141045*c_1001_6^14 + 353638789239609945308212830303500584674639188/558704469356192817306\ 486706162177297243047015*c_1001_6^13 - 1011907151816640256597749295518692816925383923/55870446935619281730\ 6486706162177297243047015*c_1001_6^12 - 4289378523759198204863612263587482159870685412/16761134080685784519\ 19460118486531891729141045*c_1001_6^11 + 13136905426355693276290552977213737813734020557/1676113408068578451\ 919460118486531891729141045*c_1001_6^10 + 12270850169405526408419552672651843601188552554/1676113408068578451\ 919460118486531891729141045*c_1001_6^9 - 1531463404134261540212641841640414792466283389/55870446935619281730\ 6486706162177297243047015*c_1001_6^8 + 72460061834152908323048600512146730141683466349/1676113408068578451\ 919460118486531891729141045*c_1001_6^7 + 2397855698120852530544592929175589224987077089/26604974731247277014\ 594605055341776059192715*c_1001_6^6 + 27029353053353757556153894636355988618531877354/2394447725812254931\ 31351445498075984532734435*c_1001_6^5 + 146068224004910247082918353223418805462584030243/167611340806857845\ 1919460118486531891729141045*c_1001_6^4 + 23328511099541989843599706555001325588423711824/3352226816137156903\ 83892023697306378345828209*c_1001_6^3 + 25652413508097011615770758054298911163953089912/5587044693561928173\ 06486706162177297243047015*c_1001_6^2 + 38401825438500423945029670779099124689801892668/1676113408068578451\ 919460118486531891729141045*c_1001_6 + 14173702002700224206849647389377215972542622633/1676113408068578451\ 919460118486531891729141045, c_0101_3 + 4300246686125271426193070535964126922559854/1676113408068578\ 451919460118486531891729141045*c_1001_6^18 - 24837966262676849963219813441540410679528429/1676113408068578451919\ 460118486531891729141045*c_1001_6^17 - 5081982810699584527764748140032211197108651/55870446935619281730648\ 6706162177297243047015*c_1001_6^16 + 77358793919704598873305123070355222598834214/5587044693561928173064\ 86706162177297243047015*c_1001_6^15 - 86736916992848893120849271614160022058949764/1676113408068578451919\ 460118486531891729141045*c_1001_6^14 - 226123539553402363970238495124168846825340153/558704469356192817306\ 486706162177297243047015*c_1001_6^13 + 632406467212008695407514310147437387146162138/558704469356192817306\ 486706162177297243047015*c_1001_6^12 + 2782913865996705353131479956472483582767768677/16761134080685784519\ 19460118486531891729141045*c_1001_6^11 - 8239837963434931503023487606653432191098065987/16761134080685784519\ 19460118486531891729141045*c_1001_6^10 - 8061867100680753944281212562332803928715448254/16761134080685784519\ 19460118486531891729141045*c_1001_6^9 + 936966189732168816799991484494379346738789414/558704469356192817306\ 486706162177297243047015*c_1001_6^8 - 45504239591957950719234750602821461782240894984/1676113408068578451\ 919460118486531891729141045*c_1001_6^7 - 1535581612123459819798555160576107225077391144/26604974731247277014\ 594605055341776059192715*c_1001_6^6 - 17392501550416731726908603989303996666738322419/2394447725812254931\ 31351445498075984532734435*c_1001_6^5 - 95018901490026572222756416555415585467446857573/1676113408068578451\ 919460118486531891729141045*c_1001_6^4 - 14714785578374744523795634732865872352849005448/3352226816137156903\ 83892023697306378345828209*c_1001_6^3 - 17003673608256330221052306461382385361648333792/5587044693561928173\ 06486706162177297243047015*c_1001_6^2 - 27073090679167614321678028687026847418610363203/1676113408068578451\ 919460118486531891729141045*c_1001_6 - 11119663943010816749129474300611532165770991773/1676113408068578451\ 919460118486531891729141045, c_0101_6 + 31049359306576294822313287544204558624488/372469646237461878\ 20432447077478486482869801*c_1001_6^18 - 157278150122455873648920255366814441738960/372469646237461878204324\ 47077478486482869801*c_1001_6^17 - 80582560830489509824352703564874718037667/1241565487458206260681081\ 5692492828827623267*c_1001_6^16 + 536689619757484770783819536861293\ 127002414/12415654874582062606810815692492828827623267*c_1001_6^15 + 655562542974252598272384006414246387823453/372469646237461878204324\ 47077478486482869801*c_1001_6^14 - 1857495573077869238008259590860331065210073/12415654874582062606810\ 815692492828827623267*c_1001_6^13 + 3209067370003232334372937485486647283705608/12415654874582062606810\ 815692492828827623267*c_1001_6^12 + 31170391507317924118369306820555817359902016/3724696462374618782043\ 2447077478486482869801*c_1001_6^11 - 45324970442662342344299028354523140679484209/3724696462374618782043\ 2447077478486482869801*c_1001_6^10 - 109983645512644714357606522885798633507225715/372469646237461878204\ 32447077478486482869801*c_1001_6^9 - 5750168989660054724989566313752012423637057/12415654874582062606810\ 815692492828827623267*c_1001_6^8 - 277488545693721566323181115932047374740377660/372469646237461878204\ 32447077478486482869801*c_1001_6^7 - 14731438405240421378452210383935606059081994/5912216606943839336576\ 57890118706134648727*c_1001_6^6 - 193661411787168608609883066565285\ 586079569084/5320994946249455402918921011068355211838543*c_1001_6^5 - 1076678190425964101569596077162298415260443599/372469646237461878\ 20432447077478486482869801*c_1001_6^4 - 703358848549474080349406526652892884911337133/372469646237461878204\ 32447077478486482869801*c_1001_6^3 - 164149116601860259784616464696627523048902827/124156548745820626068\ 10815692492828827623267*c_1001_6^2 - 305410402145528141679734411189086162347959515/372469646237461878204\ 32447077478486482869801*c_1001_6 - 105886315860530171846314958876981179969880255/372469646237461878204\ 32447077478486482869801, c_0101_8 - 1651122887525572987207162162253282944367929/1676113408068578\ 451919460118486531891729141045*c_1001_6^18 + 9541140048232819489774357120004312293311634/16761134080685784519194\ 60118486531891729141045*c_1001_6^17 + 1893507852071632170413731237840278526037641/55870446935619281730648\ 6706162177297243047015*c_1001_6^16 - 29278487018622632296895609245873815304164544/5587044693561928173064\ 86706162177297243047015*c_1001_6^15 + 31149610118761433469875637281439722847769769/1676113408068578451919\ 460118486531891729141045*c_1001_6^14 + 84534081989522325257994341374104791763943018/5587044693561928173064\ 86706162177297243047015*c_1001_6^13 - 234515688858103371559747805121965672057578058/558704469356192817306\ 486706162177297243047015*c_1001_6^12 - 1074626550637892715953510041217990499575325362/16761134080685784519\ 19460118486531891729141045*c_1001_6^11 + 3061833432039697838381083041213806269431500662/16761134080685784519\ 19460118486531891729141045*c_1001_6^10 + 3233939759434783658276657687616010478916219509/16761134080685784519\ 19460118486531891729141045*c_1001_6^9 - 259380244569243726503624117866148803177657874/558704469356192817306\ 486706162177297243047015*c_1001_6^8 + 16809989654269119480741853395940519002496581394/1676113408068578451\ 919460118486531891729141045*c_1001_6^7 + 590206554688921297252083711946199707661857004/266049747312472770145\ 94605055341776059192715*c_1001_6^6 + 6936037174313414004220492836173788496590050599/23944477258122549313\ 1351445498075984532734435*c_1001_6^5 + 34277263170230347252852038657688645187922076228/1676113408068578451\ 919460118486531891729141045*c_1001_6^4 + 5608881318539030058084702706464846473279512522/33522268161371569038\ 3892023697306378345828209*c_1001_6^3 + 5957445298970123119798798563152462431371978772/55870446935619281730\ 6486706162177297243047015*c_1001_6^2 + 9391548150802293264584135517199556522938091908/16761134080685784519\ 19460118486531891729141045*c_1001_6 + 3200543088933137604195330996219792873404442203/16761134080685784519\ 19460118486531891729141045, c_1001_10 - 6390410016249877957636753329954230911288621/167611340806857\ 8451919460118486531891729141045*c_1001_6^18 + 36217553529875577839232572732161343518794841/1676113408068578451919\ 460118486531891729141045*c_1001_6^17 + 8998431327623681428984736901396355725726679/55870446935619281730648\ 6706162177297243047015*c_1001_6^16 - 114678003712597451066817245976325991378777851/558704469356192817306\ 486706162177297243047015*c_1001_6^15 + 87796842088450330554188513557334814442263401/1676113408068578451919\ 460118486531891729141045*c_1001_6^14 + 347741443173319946478566605646111669719425832/558704469356192817306\ 486706162177297243047015*c_1001_6^13 - 900242935867510213475346709948978046341231337/558704469356192817306\ 486706162177297243047015*c_1001_6^12 - 4535539405905397181339079354504487970364737753/16761134080685784519\ 19460118486531891729141045*c_1001_6^11 + 11938010087687542583892130795459447810108227598/1676113408068578451\ 919460118486531891729141045*c_1001_6^10 + 13751253641910037347450942101606288625969789041/1676113408068578451\ 919460118486531891729141045*c_1001_6^9 - 1221056962673506430973715928938636205825847101/55870446935619281730\ 6486706162177297243047015*c_1001_6^8 + 65773842888290040459972260183405144544256696531/1676113408068578451\ 919460118486531891729141045*c_1001_6^7 + 2415792624867401352410705328711108416894704451/26604974731247277014\ 594605055341776059192715*c_1001_6^6 + 27584399521599427660961502046259417398873937426/2394447725812254931\ 31351445498075984532734435*c_1001_6^5 + 148538520695538209746896106421856983606253103282/167611340806857845\ 1919460118486531891729141045*c_1001_6^4 + 22986339447435220462018502515200540482527806508/3352226816137156903\ 83892023697306378345828209*c_1001_6^3 + 26008567261464985681391266431597478635877247338/5587044693561928173\ 06486706162177297243047015*c_1001_6^2 + 40804972148396833794941085976668122998339683142/1676113408068578451\ 919460118486531891729141045*c_1001_6 + 14821420922364910484165997784474367235085456562/1676113408068578451\ 919460118486531891729141045, c_1001_6^19 - 5*c_1001_6^18 - 8*c_1001_6^17 + 51*c_1001_6^16 + 22*c_1001_6^15 - 172*c_1001_6^14 + 315*c_1001_6^13 + 989*c_1001_6^12 - 1395*c_1001_6^11 - 3379*c_1001_6^10 - 868*c_1001_6^9 - 9988*c_1001_6^8 - 30689*c_1001_6^7 - 46130*c_1001_6^6 - 43874*c_1001_6^5 - 34072*c_1001_6^4 - 24724*c_1001_6^3 - 14911*c_1001_6^2 - 6829*c_1001_6 - 1657 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.060 Total time: 1.260 seconds, Total memory usage: 64.12MB