Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 3398129195] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1982 geometric_solution 5.55079249 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1.982140023204 1.077537120382 0 1 1 0 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.310239330345 0.130639377027 0 3 4 0 3201 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 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828568503264 0.495986473941 5 2 6 4 0132 0132 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322525889309 0.825196167451 6 3 5 2 1023 2310 1023 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322525889309 0.825196167451 3 6 4 6 0132 2031 1023 1302 0 0 0 0 0 1 0 -1 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 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.644915453186 0.594293699087 5 4 5 3 1302 1023 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.134320007665 0.929458059620 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1243046018922136714572285008619069108057270864941246310618748367766\ 43809356567452691019090207161759/1095841137934709739555848154231710\ 163299176064525969105996569417435099042270840712653030055954640*c_0\ 101_5^27 + 83681666063878534919276887140929839806270264160907658120\ 6138576382787293775850654038056926701733193/36528037931156991318528\ 2718077236721099725354841989701998856472478366347423613570884343351\ 984880*c_0101_5^26 + 1831992599530176416478267479345366011816273647\ 235267766394095862523226071181912900489143619129410673/273960284483\ 6774348889620385579275408247940161314922764991423543587747605677101\ 78163257513988660*c_0101_5^25 - 13245451311534216956543692369452896\ 5567519845352114564959122415297669509422838356098478426225467952303\ /109584113793470973955584815423171016329917606452596910599656941743\ 5099042270840712653030055954640*c_0101_5^24 - 4636980568518153122793313615551818551469661837441651415146036675155\ 5568155875112293899292612765317669/27396028448367743488896203855792\ 7540824794016131492276499142354358774760567710178163257513988660*c_\ 0101_5^23 + 1674818490618236222506226543063029190205826763231139902\ 21665052075516719578065036417295628625189565689/2191682275869419479\ 1116963084634203265983521290519382119931388348701980845416814253060\ 6011190928*c_0101_5^22 + 137659758332442715713679050516600543785466\ 6467263347972702933216270456285555133679359201835306020908107/10958\ 4113793470973955584815423171016329917606452596910599656941743509904\ 2270840712653030055954640*c_0101_5^21 - 3283383606315272281203730660802851450735212162067201969992933286086\ 068968456285209145423031279861162167/547920568967354869777924077115\ 855081649588032262984552998284708717549521135420356326515027977320*\ c_0101_5^20 - 67909962721685456337254792180430681046633545413496346\ 5033572558919114389920342433395945551702653115895/54792056896735486\ 9777924077115855081649588032262984552998284708717549521135420356326\ 51502797732*c_0101_5^19 + 13229347694270192913351091598101081078842\ 363433913717355518352935325932558316649686542616098286752835527/547\ 9205689673548697779240771158550816495880322629845529982847087175495\ 21135420356326515027977320*c_0101_5^18 + 3906549705140143490947475216002213016738368641643726541137463901771\ 1488549619876326172507128566080066427/36528037931156991318528271807\ 7236721099725354841989701998856472478366347423613570884343351984880\ *c_0101_5^17 + 9343529747715494362049022799060682378606580349139169\ 7112071516554426334958922057825002260797095267995363/10958411379347\ 0973955584815423171016329917606452596910599656941743509904227084071\ 2653030055954640*c_0101_5^16 - 829182341431074366360591231752116467\ 0307396190804018417031044533252348511828233020810099594917560720588\ 3/54792056896735486977792407711585508164958803226298455299828470871\ 7549521135420356326515027977320*c_0101_5^15 - 8705503149133855045616077599571917900820072667294874799374963218280\ 7577363792417012245092986763477028439/27396028448367743488896203855\ 7927540824794016131492276499142354358774760567710178163257513988660\ *c_0101_5^14 - 3052187773521736879256568041256502147760933848952198\ 5460530124699767461214186440424762978749961494781597/10958411379347\ 0973955584815423171016329917606452596910599656941743509904227084071\ 2653030055954640*c_0101_5^13 + 210085697523642706275588136630313607\ 8058834740364748232177540057418746227341669280960038926165574986559\ 5/54792056896735486977792407711585508164958803226298455299828470871\ 754952113542035632651502797732*c_0101_5^12 + 3865256698102249758316284944148776624214163413543504361528404703969\ 380880482086365355496926154426281143/152200158046487463827201132532\ 18196712488556451749570916619019686598597809317232120180972999370*c\ _0101_5^11 - 105779357559610992934097796206416908248568938765155142\ 38977210001337665668350141694696450718674444088463/6088006321859498\ 5530880453012872786849954225806998283666476078746394391237268928480\ 723891997480*c_0101_5^10 - 1010531279111997438069057805608638230477\ 43422749007585352478638656419821023276044804396311523312903435893/5\ 4792056896735486977792407711585508164958803226298455299828470871754\ 9521135420356326515027977320*c_0101_5^9 + 2302116490902844749406695163267811053461190623024259525342817422632\ 353110010885436781659720245640431287/498109608152140790707203706468\ 95916513598912023907686636207700792504501921401850575137729816120*c\ _0101_5^8 + 2256424521550839860830807029591614117403439590503239727\ 4393799484922610680663349554126343017755621192147/54792056896735486\ 9777924077115855081649588032262984552998284708717549521135420356326\ 515027977320*c_0101_5^7 - 29432561628446491999255264352105799450133\ 73895030076570906622660288908767208814942129266528060067730557/1217\ 6012643718997106176090602574557369990845161399656733295215749278878\ 2474537856961447783994960*c_0101_5^6 - 5732576123046128322544986384287673753423934302990489119882041832748\ 3330921068261859582034593635202976/22830023706973119574080169879827\ 295068732834677624356374928529529897896713975848180271459499055*c_0\ 101_5^5 + 466857781688351522231826799579958932513394122865667764566\ 5776762903047318785832134700780305425131267363/10958411379347097395\ 5584815423171016329917606452596910599656941743509904227084071265303\ 0055954640*c_0101_5^4 - 1052741770937962264728930151962653595072737\ 66328415407891646444693860380058806255949002477232989941811/9132009\ 4827892478296320679519309180274931338710497425499714118119591586855\ 903392721085837996220*c_0101_5^3 + 3067588932449254847444850346960650047075799629246054573082298865933\ 3358582325397948941500959049603503/54792056896735486977792407711585\ 5081649588032262984552998284708717549521135420356326515027977320*c_\ 0101_5^2 + 11715913574364572188530218642387426845584410421818070179\ 2175036189601740004199807816318425074474947/76100079023243731913600\ 5662660909835624427822587478545830950984329929890465861606009048649\ 9685*c_0101_5 - 210093531431425482703548213079387294155345025553307\ 244734248144590255308278789970617096123694826027/219168227586941947\ 9111696308463420326598352129051938211993138834870198084541681425306\ 06011190928, c_0011_0 - 1, c_0011_2 - 326969778657700823799272786090660918064665990846365865470683\ 2724452498483247/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^27 - 6614452642648297674038852793223136425805223895909513193752044762166\ 6527015950/34338773988373958598875267109234144108630942391190712796\ 93385695146887407159*c_0101_5^26 - 1950009663272239220308522716651384410107573281649747017746206470486\ 53076835166/3433877398837395859887526710923414410863094239119071279\ 693385695146887407159*c_0101_5^25 + 3477023398482483410181373730911382398846773930685811622353980784109\ 709672061863/343387739883739585988752671092341441086309423911907127\ 9693385695146887407159*c_0101_5^24 + 4994067236549165315993771509330904477766209752800875566235766931882\ 717811834831/343387739883739585988752671092341441086309423911907127\ 9693385695146887407159*c_0101_5^23 - 2183400549254167150477679618176642360299982034836300825271892722520\ 8950645221965/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^22 - 3689866645476100563112319346871739156210852584478281118392206462292\ 5240424088375/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^21 + 1713393612732314743208357816521221092808749590605411971829021381350\ 61175940713709/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^20 + 3626934516337419946888504655769081475384843020614000728900849518964\ 57581080846184/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^19 - 6825814513850730961072815082143858880753789081121819646188381071723\ 84426352020856/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^18 - 3102583253485450217599667773101132943360870984273870684077092492953\ 839062114259194/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^17 - 2566309257636046687801950596165283787257558615495531172831619589314\ 734812542372605/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^16 + 4251313062303015116615260780374625393000437447704556831418965394321\ 369192231425434/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^15 + 9276948061775882039996887403573875998438627950323806112361605461393\ 625883328241797/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^14 + 1141590729358368260507906903180031368527968948692168048440630307789\ 270461781522933/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^13 - 1093539472709192456054774500341871339499448170503159137564237609976\ 3334416619806175/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^12 - 7661202760004030645236713534786947106851800786556876381259731878757\ 122737874256199/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^11 + 4669891622400295043729563178628426642665130243708209092337862244521\ 282655612154213/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^10 + 5394069218167540402166903211695152060458922618936896553486395697601\ 047037185192184/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^9 - 1026763928371063852532365460884818960600601173253626616892331511768\ 48417831543354/3121706726215814418079569737203104009875540217380973\ 89063035063195171582469*c_0101_5^8 - 1174934612890291418130001160132778000984174709734192920414907701112\ 916331377055941/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^7 + 6582350967699213596801215760721363557504144549034596074211415072846\ 71815017807236/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^6 + 8363901599781318245104076335299632360003077321028040881685223896431\ 2950876092740/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^5 - 1166459105650992108480666198647653867124182476919984702558213603893\ 77787354948571/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^4 + 3069217579046577745978071023013108655644597983803641525620570931123\ 1914246266684/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^3 - 1424873510189609704440750915933287629059952645099907843347427512014\ 231075354254/343387739883739585988752671092341441086309423911907127\ 9693385695146887407159*c_0101_5^2 - 3290985333230236841046555532485762663967657074353686901994122085843\ 14589033184/3433877398837395859887526710923414410863094239119071279\ 693385695146887407159*c_0101_5 + 1110459136706425134707413204654539\ 3040356849854236093953739591695708705299745/34338773988373958598875\ 26710923414410863094239119071279693385695146887407159, c_0011_4 + 979535904287482447031988490336722383561388567538144254964189\ 43334417179506122761392546725693/1383637800422613307520010295747108\ 79204441422288632462878354724423623616448338473819827027267*c_0101_\ 5^27 + 197860454454043051649229980881763078648029450562412365791878\ 9026869736368681986830400783845128/13836378004226133075200102957471\ 0879204441422288632462878354724423623616448338473819827027267*c_010\ 1_5^26 + 5781999082056994064144557557301560490748905193468421778103\ 907736687607189266041813857181403534/138363780042261330752001029574\ 710879204441422288632462878354724423623616448338473819827027267*c_0\ 101_5^25 - 10434297083329308650071415663316345348707567449528994779\ 6926671814894060643301199852942780506115/13836378004226133075200102\ 9574710879204441422288632462878354724423623616448338473819827027267\ *c_0101_5^24 - 1464805705375867490227546744526317527536929122905005\ 40708990016120835074154053586844206284824722/1383637800422613307520\ 0102957471087920444142228863246287835472442362361644833847381982702\ 7267*c_0101_5^23 + 658718248961781254401787086965647888958103985437\ 051445441421604063481063972217756341927197899833/138363780042261330\ 7520010295747108792044414222886324628783547244236236164483384738198\ 27027267*c_0101_5^22 + 10859740477242166330520609517896180856536521\ 86631435181322890234718654243460109694382793937396038/1383637800422\ 6133075200102957471087920444142228863246287835472442362361644833847\ 3819827027267*c_0101_5^21 - 516690110057682112076226184306973894735\ 1756056051086744828728152380481844028681142651537431186587/13836378\ 0042261330752001029574710879204441422288632462878354724423623616448\ 338473819827027267*c_0101_5^20 - 1071281479390057098179355187718005\ 8716829954798370019240547417435400767196329165450393869796736329/13\ 8363780042261330752001029574710879204441422288632462878354724423623\ 616448338473819827027267*c_0101_5^19 + 2078096441852724092303192688176464129151097888648743227757294230996\ 1411255667108072449121112974440/13836378004226133075200102957471087\ 9204441422288632462878354724423623616448338473819827027267*c_0101_5\ ^18 + 9234863056464383320044434590203711122548466573661928571303705\ 0815575978491329945034855906011118500/13836378004226133075200102957\ 4710879204441422288632462878354724423623616448338473819827027267*c_\ 0101_5^17 + 7406664950174731025061899609246724917367556288288158276\ 1863270551381482297199264269694717950700316/13836378004226133075200\ 1029574710879204441422288632462878354724423623616448338473819827027\ 267*c_0101_5^16 - 1298055916531806135953496549384108022781346614335\ 44026721290533881766536923047963686628427680427906/1383637800422613\ 3075200102957471087920444142228863246287835472442362361644833847381\ 9827027267*c_0101_5^15 - 274251507252691821212191291283199375320910\ 801737996880913776859350860330325302791489186936698241623/138363780\ 0422613307520010295747108792044414222886324628783547244236236164483\ 38473819827027267*c_0101_5^14 - 25723644013078123970364113376418006\ 321057947063433992458708943466469735174766313399815340025412988/138\ 3637800422613307520010295747108792044414222886324628783547244236236\ 16448338473819827027267*c_0101_5^13 + 3290952046260904728533739958025989837024790203993870904186108357728\ 91635948675419655821265623283480/1383637800422613307520010295747108\ 79204441422288632462878354724423623616448338473819827027267*c_0101_\ 5^12 + 219900948318154484202121666416916767093495554628055173621866\ 242395284166499168774731222952105666105/138363780042261330752001029\ 574710879204441422288632462878354724423623616448338473819827027267*\ c_0101_5^11 - 14725162366784190238363317673449766910902552881538058\ 1278209962311114604664509553947550621850056870/13836378004226133075\ 2001029574710879204441422288632462878354724423623616448338473819827\ 027267*c_0101_5^10 - 1579494873609412596810783510349915388414010057\ 74142657794132841037739788194499957745895792070284010/1383637800422\ 6133075200102957471087920444142228863246287835472442362361644833847\ 3819827027267*c_0101_5^9 + 3524311378673434912498394541684483396317\ 565870658575892037240828071449665063014443175807541140639/125785254\ 5838739370472736632497371629131285657169386026166861131123851058621\ 2588529075184297*c_0101_5^8 + 3455305948038911826901140492300377623\ 5262608877217394545393497041222698795304140230414916462654756/13836\ 3780042261330752001029574710879204441422288632462878354724423623616\ 448338473819827027267*c_0101_5^7 - 2073555299319865393242129925875190238873671208838464516223394124974\ 9465087087670879325243135852497/13836378004226133075200102957471087\ 9204441422288632462878354724423623616448338473819827027267*c_0101_5\ ^6 - 20198477162882348739746808508013571148359191314377290247669786\ 89428833670490701111144540662383537/1383637800422613307520010295747\ 10879204441422288632462878354724423623616448338473819827027267*c_01\ 01_5^5 + 3586272693358644122572899844464873563593011224688513341281\ 117734385386661055934491783130761124688/138363780042261330752001029\ 574710879204441422288632462878354724423623616448338473819827027267*\ c_0101_5^4 - 100503458068029723721277611761695740450187043502974910\ 6423418446107437632593233461973252146271794/13836378004226133075200\ 1029574710879204441422288632462878354724423623616448338473819827027\ 267*c_0101_5^3 + 62150638862823421990576313301581976291288559637987\ 193680651883094851543061021768013927034490424/138363780042261330752\ 0010295747108792044414222886324628783547244236236164483384738198270\ 27267*c_0101_5^2 + 956584314323557006652854317847291272456057974810\ 7224877299346279252255779452146657387507145099/13836378004226133075\ 2001029574710879204441422288632462878354724423623616448338473819827\ 027267*c_0101_5 - 4925569077494588532245053782177835136963051273821\ 87530202345443625382172563393891274754608428/1383637800422613307520\ 0102957471087920444142228863246287835472442362361644833847381982702\ 7267, c_0101_0 + 699671136232861311494537375380972550176772317939949333329963\ 7590401163179370/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^27 + 1413640530995902194064869067432898250655562443153301640381531474008\ 14525830591/3433877398837395859887526710923414410863094239119071279\ 693385695146887407159*c_0101_5^26 + 4137117765804764699156878441804315959915566003615768194012984173049\ 02218291358/3433877398837395859887526710923414410863094239119071279\ 693385695146887407159*c_0101_5^25 - 7450830649848622946833797833478346070601903437656784654770482960541\ 112267087521/343387739883739585988752671092341441086309423911907127\ 9693385695146887407159*c_0101_5^24 - 1049911648580740519494352689425135827360865360576407920518066909386\ 2251966089373/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^23 + 4698828005307902893472684148683057113837863283241701691384531525404\ 6497546220509/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^22 + 7778306964759852187978504352986807577140301397311008175564567864779\ 6833512753012/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^21 - 3686124721606255474409218272253482167735538460468014779324037683775\ 50712105209810/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^20 - 7668878027747604512642069143047730140133682399124809592311398649994\ 37917822002930/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^19 + 1480028419529022706478609121510545817231723808778924623802046447217\ 337768663455713/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^18 + 6602339598829546918845427735453714594006611926597661220794659073508\ 264303778147329/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^17 + 5325150293925021877682214246611170784896462225917708391509613546688\ 889713049578017/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^16 - 9234687431297210886091964827451575913281279939094033032454826273614\ 784711154253331/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^15 - 1962436790426641541615544969933379560342803814903813828618591564649\ 1885610096495217/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^14 - 1947109877268681460549820587942280154703234334468402596252278755399\ 135987206990580/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^13 + 2346273839145793591881366908739560128030681924083700854192267591734\ 3255100992275598/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^12 + 1581301681283947138646310240468179786446033473872433282004842188040\ 3147480934054393/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^11 - 1040272316285343822850580689272023651464000044719071136370330171196\ 1049236969732284/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^10 - 1129932413425068572375782631726430097871026748261524630333885879611\ 3805242768503349/34338773988373958598875267109234144108630942391190\ 71279693385695146887407159*c_0101_5^9 + 2456199373887471166119299549445739175816338659285036385266929470737\ 59772737713072/3121706726215814418079569737203104009875540217380973\ 89063035063195171582469*c_0101_5^8 + 2458381533129012793314340826150256575487457320868102087331720941289\ 803519633190351/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^7 - 1468811067445779588751006807582480075150570779298822930644768085916\ 373315215615833/343387739883739585988752671092341441086309423911907\ 1279693385695146887407159*c_0101_5^6 - 1459224434225459481390451113263455937212764793199437896080935675104\ 17051923081256/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^5 + 2541149133351063489987106599715524676036387169142159163577710638466\ 26999109445650/3433877398837395859887526710923414410863094239119071\ 279693385695146887407159*c_0101_5^4 - 7135314821367486779398443884524958198953106266340961047317100560027\ 6553020895787/34338773988373958598875267109234144108630942391190712\ 79693385695146887407159*c_0101_5^3 + 4447771805088686131704931783616957904345424103460416599756306563324\ 271079671192/343387739883739585988752671092341441086309423911907127\ 9693385695146887407159*c_0101_5^2 + 6637338025876283814756827997184736011023925302272055639636851681184\ 67676529794/3433877398837395859887526710923414410863094239119071279\ 693385695146887407159*c_0101_5 - 3529962865628646522594383940652422\ 9582339424465653690076617171663075438016262/34338773988373958598875\ 26710923414410863094239119071279693385695146887407159, c_0101_1 - 287674327186546303308946896466423938884496113481492815488286\ 7657089245147206683246319258/19678264338352983196848524394452075605\ 42736368646373542280299865225827605824505764507659*c_0101_5^27 - 5815765577814560337150121554460567324039152966029938161248844032171\ 9981562277196695694944/19678264338352983196848524394452075605427363\ 68646373542280299865225827605824505764507659*c_0101_5^26 - 1708100921454276240971973011486697290310099169967174284220668413389\ 01285244157285966307050/1967826433835298319684852439445207560542736\ 368646373542280299865225827605824505764507659*c_0101_5^25 + 3061306309681397274567474446460428519802637058684134300871890702790\ 309049456015325194756563/196782643383529831968485243944520756054273\ 6368646373542280299865225827605824505764507659*c_0101_5^24 + 4353770222134065499063838595618571275720817358965735263808740255403\ 077802871832901345994147/196782643383529831968485243944520756054273\ 6368646373542280299865225827605824505764507659*c_0101_5^23 - 1926214300930349739057123861734805691003888404345896617724135443955\ 0270505537637005034295050/19678264338352983196848524394452075605427\ 36368646373542280299865225827605824505764507659*c_0101_5^22 - 3221330335826031194761397817995469273389485295641333330076661848689\ 7494561539549333949479207/19678264338352983196848524394452075605427\ 36368646373542280299865225827605824505764507659*c_0101_5^21 + 1511353587069736632731197257560037216244277344452837636079256786372\ 38283090778851316202444845/1967826433835298319684852439445207560542\ 736368646373542280299865225827605824505764507659*c_0101_5^20 + 3171296109388700327852789141877529662297685653165806667220891031611\ 93013185453363512601914512/1967826433835298319684852439445207560542\ 736368646373542280299865225827605824505764507659*c_0101_5^19 - 6044300428020977713911419231009326692152181320986711745531027929902\ 23255098375452558931351273/1967826433835298319684852439445207560542\ 736368646373542280299865225827605824505764507659*c_0101_5^18 - 2721719530288357879090462245810602218697805552978163229184697574514\ 888973946172406268882213831/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^17 - 2223689244509727457158232744033237070236556832687944055538326913189\ 738214223922853959911519432/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^16 + 3767116834643972282931396850866811987569781929262845590526759312662\ 676855348218118928696940849/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^15 + 8114667959386982567471331789751216176545675551203540974651656420036\ 476424489763337579631090288/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^14 + 9059241271192800860946716563238295339942627515268497534586580849966\ 63372746447901505721899807/1967826433835298319684852439445207560542\ 736368646373542280299865225827605824505764507659*c_0101_5^13 - 9630320843048907913802450952463612964542074964732248965167540514833\ 029917377085868247173853094/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^12 - 6625663196396830760478799078375890335386742759170742846075493783046\ 061639198015199046712963000/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^11 + 4185606509627638403445187498157558316984273518682025466555245912016\ 036333503118379636592104499/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^10 + 4698688568530447150321003942995883115765664140591972182991435849386\ 993008010247569583967241392/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^9 - 9493161888871895217085394118839634937435171095051339635455159699004\ 6037502084750625847199807/17889331216684530178953203994956432368570\ 3306240579412934572715020529782347682342227969*c_0101_5^8 - 1023142850216776399909131219902317453175279708795736874033730446824\ 463884166029614737012323388/196782643383529831968485243944520756054\ 2736368646373542280299865225827605824505764507659*c_0101_5^7 + 5873978625499989217650347355785547974138020169805412209453423551146\ 11771152060104501274349994/1967826433835298319684852439445207560542\ 736368646373542280299865225827605824505764507659*c_0101_5^6 + 6761247710816659983846781212252956606661651554400088326040609911345\ 8306010340391715874023818/19678264338352983196848524394452075605427\ 36368646373542280299865225827605824505764507659*c_0101_5^5 - 1030037283763112766862638984992649648390534784255551927811862565316\ 40085347644974161208652448/1967826433835298319684852439445207560542\ 736368646373542280299865225827605824505764507659*c_0101_5^4 + 2775458843944636823734987792348930556663829178148457755347610868099\ 7772416105795522123899123/19678264338352983196848524394452075605427\ 36368646373542280299865225827605824505764507659*c_0101_5^3 - 1454387152655796091055102827743058415550774182124336909732484019957\ 948396360038650049879575/196782643383529831968485243944520756054273\ 6368646373542280299865225827605824505764507659*c_0101_5^2 - 2869831931997275253683210237445297729694845210817069256766878637649\ 88342486082066751121249/1967826433835298319684852439445207560542736\ 368646373542280299865225827605824505764507659*c_0101_5 + 1133114688918456532148208914975578931924386371835544320938783256378\ 8300538108198218155374/19678264338352983196848524394452075605427363\ 68646373542280299865225827605824505764507659, c_0101_3 - 206531971359226095616688735816740367544880425202771918886313\ 636730309477064861446326922238071/138363780042261330752001029574710\ 879204441422288632462878354724423623616448338473819827027267*c_0101\ _5^27 - 41749607972746814350965418919085431692817075443889533524418\ 36999621350361471058319703632963060/1383637800422613307520010295747\ 10879204441422288632462878354724423623616448338473819827027267*c_01\ 01_5^26 - 122551888835775162100480265398211623898448297013616588644\ 43960864087338141610804132997867544681/1383637800422613307520010295\ 74710879204441422288632462878354724423623616448338473819827027267*c\ _0101_5^25 + 219805398568943250384870127176990929698324476541167070\ 393741219432157658952407503226429294568520/138363780042261330752001\ 0295747108792044414222886324628783547244236236164483384738198270272\ 67*c_0101_5^24 + 31215547218928692354315309273560600611865013209246\ 2831445595792641949637131109014777368202331631/13836378004226133075\ 2001029574710879204441422288632462878354724423623616448338473819827\ 027267*c_0101_5^23 - 1383484475939999082740058501088308371176930973\ 516640311101850602739640920717865863409033245780084/138363780042261\ 3307520010295747108792044414222886324628783547244236236164483384738\ 19827027267*c_0101_5^22 - 23100300352356334579353934980318695247010\ 99005076176026955752258459334868341195137888138782541651/1383637800\ 4226133075200102957471087920444142228863246287835472442362361644833\ 8473819827027267*c_0101_5^21 + 108549734723145371027482092114376704\ 13736983891506723656265326326220053112237216070670294772795770/1383\ 6378004226133075200102957471087920444142228863246287835472442362361\ 6448338473819827027267*c_0101_5^20 + 2274698046956134820730555961901305074669746114210662817942037670470\ 4003924750522277586971809085670/13836378004226133075200102957471087\ 9204441422288632462878354724423623616448338473819827027267*c_0101_5\ ^19 - 4343752894727478014553782092264217544199870253298361862410410\ 6332011800805778590182535691032167879/13836378004226133075200102957\ 4710879204441422288632462878354724423623616448338473819827027267*c_\ 0101_5^18 - 1953168816565454578729100980828890159950052145479313197\ 56544828205702916483515772694985379911027771/1383637800422613307520\ 0102957471087920444142228863246287835472442362361644833847381982702\ 7267*c_0101_5^17 - 159272469112190676957362784471224455660612600767\ 984776763499115565878755267947805004196704506238206/138363780042261\ 3307520010295747108792044414222886324628783547244236236164483384738\ 19827027267*c_0101_5^16 + 27074150450593493325326105642696460757956\ 7831749286022682179959348780908068439969294308711532424406/13836378\ 0042261330752001029574710879204441422288632462878354724423623616448\ 338473819827027267*c_0101_5^15 + 5820128726078792583377520800916542\ 81041494330879225717574380824135624745640258949017747838846697005/1\ 3836378004226133075200102957471087920444142228863246287835472442362\ 3616448338473819827027267*c_0101_5^14 + 6388636838656695310661377817763978205424595337661207834330295167102\ 1356795167555675382657204527484/13836378004226133075200102957471087\ 9204441422288632462878354724423623616448338473819827027267*c_0101_5\ ^13 - 6914574532588717017631430570933604375406717847199145474220820\ 83726171795966995106369480137486968022/1383637800422613307520010295\ 74710879204441422288632462878354724423623616448338473819827027267*c\ _0101_5^12 - 474206193878660155724673983482407836982559087449554842\ 014107919019109629141737524507532908494185461/138363780042261330752\ 0010295747108792044414222886324628783547244236236164483384738198270\ 27267*c_0101_5^11 + 30146813273709396348451961053892563485968361798\ 5406547274946624663657775400468823079021836452776854/13836378004226\ 1330752001029574710879204441422288632462878354724423623616448338473\ 819827027267*c_0101_5^10 + 3366160344748059637039462620017023327695\ 98098322169063137695708515972362659044347985823721337655415/1383637\ 8004226133075200102957471087920444142228863246287835472442362361644\ 8338473819827027267*c_0101_5^9 - 6890135671389032021833830573752376\ 996019287197723930935960009068579348925628298097284370454756351/125\ 7852545838739370472736632497371629131285657169386026166861131123851\ 0586212588529075184297*c_0101_5^8 - 7331559349385463183458033613867398964261294295201846178985635824404\ 9324282415453404122372894827417/13836378004226133075200102957471087\ 9204441422288632462878354724423623616448338473819827027267*c_0101_5\ ^7 + 42405895246138493991381737000626219434377286623108660757064757\ 141252680652836411405174335297161259/138363780042261330752001029574\ 710879204441422288632462878354724423623616448338473819827027267*c_0\ 101_5^6 + 480866411861372844749321763194564047534830316386007167762\ 5992895396827450137340518143527260783645/13836378004226133075200102\ 9574710879204441422288632462878354724423623616448338473819827027267\ *c_0101_5^5 - 74154713708692662951514471232074681786010763359887457\ 59667943234273923073719291618255106971973031/1383637800422613307520\ 0102957471087920444142228863246287835472442362361644833847381982702\ 7267*c_0101_5^4 + 2005536198397023157259591698713799488985800483638\ 974330430175684039788928083146078795731980442635/138363780042261330\ 7520010295747108792044414222886324628783547244236236164483384738198\ 27027267*c_0101_5^3 - 105501040317366590348636062353921586863069200\ 190277980309230444000768587901525799702072592397845/138363780042261\ 3307520010295747108792044414222886324628783547244236236164483384738\ 19827027267*c_0101_5^2 - 207677735656477515930279125860188504915479\ 07814546126732495931668009677865098724400929772143920/1383637800422\ 6133075200102957471087920444142228863246287835472442362361644833847\ 3819827027267*c_0101_5 + 824517385137255748449403877841813984338280\ 294231781296352711637993918813761219108803749204308/138363780042261\ 3307520010295747108792044414222886324628783547244236236164483384738\ 19827027267, c_0101_5^28 + 20*c_0101_5^27 + 55*c_0101_5^26 - 1077*c_0101_5^25 - 1283*c_0101_5^24 + 7023*c_0101_5^23 + 9746*c_0101_5^22 - 54959*c_0101_5^21 - 98850*c_0101_5^20 + 233958*c_0101_5^19 + 900493*c_0101_5^18 + 568166*c_0101_5^17 - 1476039*c_0101_5^16 - 2535834*c_0101_5^15 + 295529*c_0101_5^14 + 3412471*c_0101_5^13 + 1575700*c_0101_5^12 - 1950930*c_0101_5^11 - 1313516*c_0101_5^10 + 716812*c_0101_5^9 + 274068*c_0101_5^8 - 281765*c_0101_5^7 + 21603*c_0101_5^6 + 40733*c_0101_5^5 - 17561*c_0101_5^4 + 2678*c_0101_5^3 - 26*c_0101_5^2 - 25*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB