Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 2800171629] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0967 geometric_solution 4.86067801 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 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 -1 1 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.317904136926 0.951830941581 0 2 2 4 0132 2031 0132 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 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.269010620862 0.727021089919 1 0 4 1 1302 0132 3201 0132 0 0 0 0 0 0 1 -1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269010620862 0.727021089919 3 0 3 0 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.938185468679 1.173787063577 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 -1 1 0 -1 0 0 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 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490558246138 2.888523721611 6 4 6 4 0132 0132 1023 1023 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 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.466066235752 0.195496167625 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570639508169 0.043114508422 ==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' : 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' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 151848284887579831842778074894860639498017898844735267947/371136218\ 347691950867595013680149715513834988602073199915*c_0101_6^29 + 2260783225687622537662500295459880792385387283066949451176/37113621\ 8347691950867595013680149715513834988602073199915*c_0101_6^28 + 10021575108796549305293362570912979487420547741025566900616/3711362\ 18347691950867595013680149715513834988602073199915*c_0101_6^27 - 1984910580294053034822078984042417667783402551710877355662/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^26 - 207733392493327253585084538195740414788107901255218482291101/371136\ 218347691950867595013680149715513834988602073199915*c_0101_6^25 - 463465834699848857557724658466091962356396250180964840399749/371136\ 218347691950867595013680149715513834988602073199915*c_0101_6^24 + 777510360809380840111651994014744915292062074580153778289036/371136\ 218347691950867595013680149715513834988602073199915*c_0101_6^23 + 4485719900221563873745245844280857146015497089286027193786017/37113\ 6218347691950867595013680149715513834988602073199915*c_0101_6^22 + 2862577092545140400276337851897228244617020483712540156437754/37113\ 6218347691950867595013680149715513834988602073199915*c_0101_6^21 - 14278526073049608836438355415584644276628826234791987054741656/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^20 - 23982073526172716642665397919177122149951702513167216306533034/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^19 + 3255895297723549070575946521983919891083580776830652618345574/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^18 + 62933281080823084104791633787247146084240247713387506144639404/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^17 + 8796534093220953127097764699025597785237270270751568889708987/37113\ 6218347691950867595013680149715513834988602073199915*c_0101_6^16 - 89610937306723526256962226452155943961831829075119828601114253/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^15 - 48167187857204637839112937600994718152834014677720588199471072/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^14 + 79125956834192842681370955961690248298639074369101014618918774/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^13 + 64007196057053105697769570632460715901778610751161002271165094/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^12 - 47817022462769461358677416555171971735895962316120296912851454/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^11 - 9431069339366055837208383496976579296753548034911987333427258/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^10 + 4528973756573124213432490790547629096071429107338155076364481/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^9 + 21568632722576789017614632414339609860776769343752382664375254/3711\ 36218347691950867595013680149715513834988602073199915*c_0101_6^8 - 9876272857482519514436772394964935744381612381663911392367644/37113\ 6218347691950867595013680149715513834988602073199915*c_0101_6^7 - 1213047911641575559116221722320596254381763306510894273448839/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^6 + 3919122651759484810970562050819785921272034016759193262028386/37113\ 6218347691950867595013680149715513834988602073199915*c_0101_6^5 + 767681954800658098516322126922243969032210132361215041679481/371136\ 218347691950867595013680149715513834988602073199915*c_0101_6^4 - 1064751232503409476106753471891826380452695336812788934531218/37113\ 6218347691950867595013680149715513834988602073199915*c_0101_6^3 + 94611627552992041331609976777983772490482175556510119896327/3711362\ 18347691950867595013680149715513834988602073199915*c_0101_6^2 + 25193787840610796491355169810199760991394318809533472616851/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6 - 27499984760003925259232958229833286925934644818950415239968/3711362\ 18347691950867595013680149715513834988602073199915, c_0011_0 - 1, c_0011_3 - 10374227074531721810421076952403511666681050665153001573/742\ 27243669538390173519002736029943102766997720414639983*c_0101_6^29 - 124458662632489712729931333677266751455988120297405514578/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^28 - 351056873155878511896036040888672783723465691473145767218/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^27 + 1387699184772962184917360014603187439873182450106497954652/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^26 + 9400079513933889180687215676203624149388433973793503883153/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^25 + 8250459590813683801099128246372967196884797512133248296846/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^24 - 54623597654706669768384383479513742035883370582958017917405/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^23 - 135375611909713927599107989757974830173458377187708460163596/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^22 + 54857463728776188509395461058574430008565678888603531865856/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^21 + 525890695277217518716939718886367342268580343761692638184427/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^20 + 348822561830867975667428449039328885456671665061757878174393/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^19 - 68799647692370774199647381226896244984381237565883262500594/5709787\ 974579876167193769441233072546366692132339587691*c_0101_6^18 - 1244721428532369674659738900720229893052968349137076529085794/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^17 + 657440304040730174232312914279102578423292534373811335666931/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^16 + 1912353011896005302361182624828794272013917031734656767546589/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^15 + 71183350853977488150944372961691499347046427803025501933956/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^14 - 1690837963333397274096697175664309171908114388556243228613151/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^13 - 495971522396024402645154451992252616312717204755527202627886/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^12 + 955543971733552982600650265401962691217322934301598770651317/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^11 + 384315763913770410567313764469107835906808391818916549863037/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^10 - 378226756989667956038561305079882515173191215359523034366022/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^9 - 137228800347486458072662260114493966258996329137077997429233/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^8 + 9383869340553278238629951288761816097500562276631783724623/57097879\ 74579876167193769441233072546366692132339587691*c_0101_6^7 + 20207261661486766986348481493183742819284768715458519742486/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^6 - 32907955274956293246363633862652030671339105901551922154806/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^5 + 772997022922207807176026305295065663117230889862819100615/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^4 + 5438276704586628674647190409712510875127313574623852056081/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^3 - 337275175780134230187790791382014450308036704390942715433/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^2 - 521587193370495677493832156907120166874100791350237364365/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6 - 2709847693339172697701150468691543398341238255912103961/57097879745\ 79876167193769441233072546366692132339587691, c_0011_4 - 35215862731443565273748816666081692783774704607633680/570978\ 7974579876167193769441233072546366692132339587691*c_0101_6^29 - 4113417113048882475891454431707799864214128304423002745/74227243669\ 538390173519002736029943102766997720414639983*c_0101_6^28 - 1374287082511768219317774182688464521076698892992093952/74227243669\ 538390173519002736029943102766997720414639983*c_0101_6^27 + 80304145373304793211375290987155838878827628126771856917/7422724366\ 9538390173519002736029943102766997720414639983*c_0101_6^26 + 165571882847285324245806806672516609839107126092209721969/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^25 - 517703732539863179418501995097675419151679074962590687254/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^24 - 1524123083750100466781576362275778811908159445362287389462/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^23 + 1967758879060821836990734865693444884585362214803915574472/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^22 + 6947192109861074119713658956898733881002696081391819212438/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^21 - 7888190863114449462518466524855497591532979532917232020433/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^20 - 25756925783993154680856980229632351503980913651414906501402/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^19 + 1873229582903399032824647123756447290957367606145850321634/57097879\ 74579876167193769441233072546366692132339587691*c_0101_6^18 + 6084266351859562522425726910764332525325059033780766936266/57097879\ 74579876167193769441233072546366692132339587691*c_0101_6^17 - 39968111765785115744659123705865152627885430521262522315505/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^16 - 170102645927231644437807847906440211109896469677457648383468/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^15 + 1922416511298730684232802442644877693731880760127231288573/57097879\ 74579876167193769441233072546366692132339587691*c_0101_6^14 + 245446235233324828092443820567744441834918389182635883438757/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^13 + 17792069927657833475320843648818292065918685869191085023723/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^12 - 240280730470208287116515960425140162412480686454448351531017/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^11 - 3146922661294039640995639090817018548514124636494121237405/57097879\ 74579876167193769441233072546366692132339587691*c_0101_6^10 + 162304359316544474525773994019893378565318036252970162454424/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^9 + 26692021343762414742104339512010472286550469600370574608137/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^8 - 76840377187976409564644000697250710830751901399536001898314/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^7 - 4634020284069721307856034879071576279227784896098789640801/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^6 + 25765933075466984365341337697246103705910038231382894269490/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^5 - 3627429772267680817101381535369960535157328395019321562258/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^4 - 5573891759618061057942117348246199724309399074757424179067/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^3 + 2103434510976483054426064267128619524671784662038615225840/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^2 + 442663725840000725035701446421452060732399947150988809627/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6 - 19712505940021707332388913024253512934448945355403974941/5709787974\ 579876167193769441233072546366692132339587691, c_0101_0 - 7298313257728780819395790482080741997004009121091465900/7422\ 7243669538390173519002736029943102766997720414639983*c_0101_6^29 - 86687236266157966594127393000936594955826917568861349862/7422724366\ 9538390173519002736029943102766997720414639983*c_0101_6^28 - 231982407816634074801480902452474245558012598465419483016/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^27 + 1058046648445010293200282872673073627670693155771085728230/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^26 + 6625325526060574927150234689818349521968244809803044216126/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^25 + 4349272298349664715938365803057272709058015881393609527227/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^24 - 42901745582676224452996285378778880993244702585080088591593/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^23 - 92479392199940220866685831741161552784041588480245352697770/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^22 + 74427198091830203074039552291124853997761314623348549700333/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^21 + 412472231647317100518975680579455058951606098064790811479733/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^20 + 156266736206139845106777847243127461778819164102034999336673/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^19 - 66336160078502919030435809944246077347588032566543435118564/5709787\ 974579876167193769441233072546366692132339587691*c_0101_6^18 - 856180777929506580163030085136384506337807239743826937902914/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^17 + 969361404860890968857420302798238809589847305826604546744480/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^16 + 1629806518387526991032283104544376540232055333173619013196705/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^15 - 538948148953048908696556928194340549809834754719101249503215/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^14 - 1794077363906072856492195582348291628328790277789883651674196/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^13 + 37124450121023169602393804622247090856922361743073472971158/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^12 + 1297291563232173413942988154355439401607786591623529407674258/74227\ 243669538390173519002736029943102766997720414639983*c_0101_6^11 + 124124095328875200743280856215534003174433821736338759725261/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^10 - 659069333516499167516104185123264854856265174569938555562898/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^9 - 54294467695755880711600362541201099397894389794931146168985/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^8 + 247420753990811392453052978691503362754535947203221073951640/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^7 - 9496741541495965264606360192467564447871691559326112054871/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^6 - 68563885149359345015609408214652242628301671936018116875930/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^5 + 15083310484023434561111032398840631191416206555921664499357/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^4 + 11636545960131588823107029187706078666886551538813326975137/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^3 - 4704185390036288478950976188717495912918192017192314219751/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^2 - 733054650873025381255091108345440099983745637857564573901/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6 + 31534720325209088411191815866613926504665900738512752584/5709787974\ 579876167193769441233072546366692132339587691, c_0101_1 - 2700563223394205678398552094170909711804509175942466655/7422\ 7243669538390173519002736029943102766997720414639983*c_0101_6^29 - 27236688268579828638956568535080116904736634834321002604/7422724366\ 9538390173519002736029943102766997720414639983*c_0101_6^28 - 2405714824274954872858508751849997140132918261781121315/57097879745\ 79876167193769441233072546366692132339587691*c_0101_6^27 + 515521938534754025593203355809306223011142770590570009652/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^26 + 1710431494006957633100013517013702829992390106703909656732/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^25 - 2253389854090139656057199796487681592729580124331269845911/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^24 - 16891932047275157408065851166045397901980627040454870302719/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^23 - 7676021332042578218540843519404583010507236579404265403777/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^22 + 71893323769979552976707337025358653583353708147521654467175/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^21 + 93214458491794909421093383711715108576342173821753822194904/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^20 - 149744640948603925837231347506773243176470315772582271272179/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^19 - 25464252770744223311397498167298869753362263769744229532203/5709787\ 974579876167193769441233072546366692132339587691*c_0101_6^18 + 128120476866592348462078768555264705799782259248334220293162/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^17 + 633787414010497742380124757313693356170726549454640280038326/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^16 + 67194003025716882770263395728160486797891627297921672400073/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^15 - 753729995763693236151690871319313709298664053226931904382365/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^14 - 21341081544490576235778813749610786964409833644067455669985/5709787\ 974579876167193769441233072546366692132339587691*c_0101_6^13 + 593831346678111349949309391094973655876467354737812121120401/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^12 + 297922233252685851834252721749208176266783794188177157924912/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^11 - 326789506104487583477313272851551950138700095678356216019172/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^10 - 168723104164660704250865646399010150755376297552334483290039/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^9 + 133988794827081698461044361567123957815936680915841911650940/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^8 + 51202904545349595252047074042976088198777530042214361763943/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^7 - 44430757275940549154137368099672338874037500241858888372186/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^6 - 5147210078749387889091703690703136275484035094097027006512/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^5 + 10750660920707203951825874315499821570644076479378789424949/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^4 - 1218852244161075828203758819085716982939069945491559565783/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^3 - 94374530435785020330357688731160697884370196870680213733/5709787974\ 579876167193769441233072546366692132339587691*c_0101_6^2 + 113550706278019086558279140434284696029232457148924826645/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6 + 5977072445681204460074992485887753708143337432103166853/57097879745\ 79876167193769441233072546366692132339587691, c_0101_5 + 6405790431141377580773697698048432988782817236855224962/7422\ 7243669538390173519002736029943102766997720414639983*c_0101_6^29 + 71419516146600896774773511846697921623924397801407233216/7422724366\ 9538390173519002736029943102766997720414639983*c_0101_6^28 + 11805642487535947909186026719409964910151719871545970090/5709787974\ 579876167193769441233072546366692132339587691*c_0101_6^27 - 1020220944124871257854267599580339668269165804804798404926/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^26 - 5035313744576170112961570108372862456776392738776207321827/74227243\ 669538390173519002736029943102766997720414639983*c_0101_6^25 - 464831794748191175853501665744887952953119612445401786207/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^24 + 36647295778315047598308034553243876506960918703895638562770/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^23 + 54898912835123793045653855051345894189149727002392226047667/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^22 - 94762058911867813889038129313516198338027573005437117920933/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^21 - 281279543997776131762208342410688491445500836337210718737773/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^20 + 35369012534258877626650926588701806870132133817706289548732/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^19 + 50947921629054977233710699873181218262568211497645801589778/5709787\ 974579876167193769441233072546366692132339587691*c_0101_6^18 + 306405647529873104715422060840921133712444500567546966973220/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^17 - 897413484661186107025096133877092000090706013862969318665805/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^16 - 756188626823727349170961863384261682752505691882427014713085/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^15 + 759950165165450987068728445780342971805304209385949482439596/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^14 + 69502557748297400297467034095514884839302566295926330190934/5709787\ 974579876167193769441233072546366692132339587691*c_0101_6^13 - 434988553518260231350556113107117653919765909957451620123358/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^12 - 660214397362085067051179250286292825822366307716991295943861/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^11 + 197451019965153780689320437131657923545761597660903337387898/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^10 + 314975620635312474018779206980161042046883587582076125185185/742272\ 43669538390173519002736029943102766997720414639983*c_0101_6^9 - 90755161600405383383902940203158155046847887409871666942240/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^8 - 99204336119116496259474543247643006855506020290210181059729/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^7 + 41428756457123737929095859202276043883440766023800046659730/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^6 + 18401350742436211838276854332945813090838187291645981049843/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^5 - 12986733912811413274695250426891015936332293226215248166637/7422724\ 3669538390173519002736029943102766997720414639983*c_0101_6^4 - 944709071445787875261365644412998392762911042532480386849/742272436\ 69538390173519002736029943102766997720414639983*c_0101_6^3 + 153046818638048174166979089936811557430858624091907437668/570978797\ 4579876167193769441233072546366692132339587691*c_0101_6^2 - 52334014599007889195099872644024686707460262667183954492/7422724366\ 9538390173519002736029943102766997720414639983*c_0101_6 - 13008101232308656986589559923313814543370701253431053591/5709787974\ 579876167193769441233072546366692132339587691, c_0101_6^30 + 11*c_0101_6^29 + 22*c_0101_6^28 - 166*c_0101_6^27 - 768*c_0101_6^26 + 94*c_0101_6^25 + 5942*c_0101_6^24 + 7650*c_0101_6^23 - 17720*c_0101_6^22 - 43532*c_0101_6^21 + 17129*c_0101_6^20 + 113314*c_0101_6^19 + 26562*c_0101_6^18 - 174803*c_0101_6^17 - 100351*c_0101_6^16 + 177457*c_0101_6^15 + 141694*c_0101_6^14 - 128887*c_0101_6^13 - 118151*c_0101_6^12 + 73454*c_0101_6^11 + 63250*c_0101_6^10 - 35718*c_0101_6^9 - 21466*c_0101_6^8 + 14894*c_0101_6^7 + 3718*c_0101_6^6 - 4588*c_0101_6^5 + 185*c_0101_6^4 + 774*c_0101_6^3 - 162*c_0101_6^2 - 49*c_0101_6 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB