Magma V2.19-8 Wed Aug 21 2013 00:24:56 on localhost [Seed = 2648411827] Type ? for help. Type -D to quit. Loading file "K14n13924__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13924 geometric_solution 12.29876613 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705335647006 1.093637302631 0 5 7 6 0132 0132 0132 0132 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 -2 2 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.848368357809 0.845111394142 7 0 6 8 2103 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -2 -1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582514884385 0.599079476603 7 9 10 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514302583368 0.678815464636 10 8 0 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.309671070550 0.656769223364 10 1 12 11 2103 0132 0132 2103 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 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904757855332 0.613836864233 2 8 1 12 2103 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050289181448 0.628038388425 3 9 2 1 0132 1302 2103 0132 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 2 -2 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.726001447068 0.694142190235 12 4 2 6 1023 0132 0132 2031 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580818676352 0.480814906713 10 3 11 7 1302 0132 0213 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 -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.695878991967 1.220307129113 4 9 5 3 0132 2031 2103 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.454705461426 0.761352209328 12 9 4 5 0132 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180761400220 2.165294477851 11 8 6 5 0132 1023 1230 0132 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 1 -1 -1 0 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539812477988 0.900915728999 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_0110_8'], 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0110_8'], 'c_1010_11' : negation(d['c_1001_1']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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_12' : 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_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0101_12'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_5']), 'c_1100_10' : negation(d['c_0110_5']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_8'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_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'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_12'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_0110_5, c_0110_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 3450734614708718562248070682210708506372516547521211244830370153906\ 6885/14860739698182606734790407678918793890597695485098180531106871\ 574528*c_1001_1^19 + 3215463476068240975808739637408322680391397974\ 40898267132865130074921353/7430369849091303367395203839459396945298\ 847742549090265553435787264*c_1001_1^18 - 4254362109006052494043338474953147547362240788778757597209549149220\ 653889/148607396981826067347904076789187938905976954850981805311068\ 71574528*c_1001_1^17 + 14586922936869908821569872336973954177883381\ 477819619312096860567893448893/148607396981826067347904076789187938\ 90597695485098180531106871574528*c_1001_1^16 - 2194230341199894767263010677339083440209991183737748316642491128836\ 1769349/14860739698182606734790407678918793890597695485098180531106\ 871574528*c_1001_1^15 - 3441004073780540557822381856857123614542635\ 3624275868483623702438150428991/14860739698182606734790407678918793\ 890597695485098180531106871574528*c_1001_1^14 + 2798039072894681572416045238577461696397928650887116576397402056010\ 14126407/1486073969818260673479040767891879389059769548509818053110\ 6871574528*c_1001_1^13 - 772496386023931370454943015256709256965193\ 188884468036096121729484678769555/148607396981826067347904076789187\ 93890597695485098180531106871574528*c_1001_1^12 + 6151093107114062570395772587054333005831897251938797242359342916136\ 38718747/7430369849091303367395203839459396945298847742549090265553\ 435787264*c_1001_1^11 - 1013592939035105317822062239621914686872100\ 873394786691975428608015187521145/148607396981826067347904076789187\ 93890597695485098180531106871574528*c_1001_1^10 - 4937152046596633674647967674530772241470392690045511286242461618623\ 9475639/37151849245456516836976019197296984726494238712745451327767\ 17893632*c_1001_1^9 + 162072352538513677142636451173517131793094548\ 2629102896734629881069614062099/14860739698182606734790407678918793\ 890597695485098180531106871574528*c_1001_1^8 - 1930944544982472143340172618200064929663073555811796280499607266650\ 975931491/148607396981826067347904076789187938905976954850981805311\ 06871574528*c_1001_1^7 + 951104137530587553346963538722594289523414\ 042075960473459341200555949313515/148607396981826067347904076789187\ 93890597695485098180531106871574528*c_1001_1^6 + 4472451499221170042045799645532751943314405105283025982600091710465\ 4997153/74303698490913033673952038394593969452988477425490902655534\ 35787264*c_1001_1^5 - 254444519942103026000583658930169994971803169\ 0320632556351257386423798183/11609952889205161511555005999155307727\ 0294495977329535399272434176*c_1001_1^4 + 6731754941907467586908759808221781358812066075063355790829552067774\ 579545/928796231136412920924400479932424618162355967818636283194179\ 473408*c_1001_1^3 + 16330149292170691678705683862471479127523424217\ 84400735404949225584744199/9287962311364129209244004799324246181623\ 55967818636283194179473408*c_1001_1^2 - 2326514722222385236567130004839964028799988876255054897224933223448\ 2821473/14860739698182606734790407678918793890597695485098180531106\ 871574528*c_1001_1 + 4052955598540419791683837524769583876387461975\ 336321449881889393098096183/148607396981826067347904076789187938905\ 97695485098180531106871574528, c_0011_0 - 1, c_0011_10 + 3415139017699586446149077206166959960074813897224/455254897\ 5160159737976370321930843921773227999043*c_1001_1^19 - 64684009037469630726028543741591619996033982824979/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 + 439805940680699346814011102624307951705947320419321/455254897516015\ 9737976370321930843921773227999043*c_1001_1^17 - 1560951461804577575754200201102695823901141198114490/45525489751601\ 59737976370321930843921773227999043*c_1001_1^16 + 2543084194734239490688698817256910033532691764193560/45525489751601\ 59737976370321930843921773227999043*c_1001_1^15 + 2960947073589147195854993465504278336918346226482534/45525489751601\ 59737976370321930843921773227999043*c_1001_1^14 - 28993226961038353010804795773494888620196341761657566/4552548975160\ 159737976370321930843921773227999043*c_1001_1^13 + 84144269962556470185149148897503873593151848553404082/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 - 140563270968460324749295364000807640885495110071255621/455254897516\ 0159737976370321930843921773227999043*c_1001_1^11 + 126342030847124243286179667715809631773328839956994594/455254897516\ 0159737976370321930843921773227999043*c_1001_1^10 + 4485921004234702962708938413611046000654907384702296/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 - 175652569351402654839899871506465025552967078143464500/455254897516\ 0159737976370321930843921773227999043*c_1001_1^8 + 231384519127368650836910111705638352031707588276036508/455254897516\ 0159737976370321930843921773227999043*c_1001_1^7 - 128492583333786516819010453636799960161810830873633631/455254897516\ 0159737976370321930843921773227999043*c_1001_1^6 - 1088944934216622463216813512472967619970031610877615/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 + 40034743165849486293936373572138221451081274446590845/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 - 15841036179640024137091545077070753647986751060447147/4552548975160\ 159737976370321930843921773227999043*c_1001_1^3 - 2626669051761717563650185474897719704815567229876131/45525489751601\ 59737976370321930843921773227999043*c_1001_1^2 + 3119459942627530348120773593501262730118589903202154/45525489751601\ 59737976370321930843921773227999043*c_1001_1 - 580690283302163845642653363522259469416080314986617/455254897516015\ 9737976370321930843921773227999043, c_0011_3 + 729081314347944919619553560811679223336134862757/45525489751\ 60159737976370321930843921773227999043*c_1001_1^19 - 13778438558917545584325775592212485431417296858103/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 + 93358638684239739498702230150809776978125527801304/4552548975160159\ 737976370321930843921773227999043*c_1001_1^17 - 330183817335492177901580720688572455158447370436497/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 + 534899200021246263312431030130758620901907859438082/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 + 634573123478908212903150118673326375226660510747601/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 - 6134388389300778536106917301751739993704975562463878/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 + 17761222055201199292950570351361677118141357290888739/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 - 29661753520227678642552567614547619324464966712594990/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 + 26772207975369626190249557074536659649002079163085337/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 + 549347061378480992652346731646628083298599147867365/455254897516015\ 9737976370321930843921773227999043*c_1001_1^9 - 36489568560537721680843886068386050644849561296694879/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 + 48656805671558682650861598937863756386996873681789690/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 - 27778750309747639228093828207751645067469119481839558/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 + 709931792700605599562736134960452259196739319939064/455254897516015\ 9737976370321930843921773227999043*c_1001_1^5 + 8136438477085050199243746668519412374542873839111895/45525489751601\ 59737976370321930843921773227999043*c_1001_1^4 - 3581056581134649934728620622667210278765805346573729/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 - 402648478656318927340489949326592621427540663696035/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 + 685477722640882219687634139087961860127330558689738/455254897516015\ 9737976370321930843921773227999043*c_1001_1 - 146103902862050912024412923104240885784478665160867/455254897516015\ 9737976370321930843921773227999043, c_0011_6 - 649511934741548323535255165275203795077996738205/45525489751\ 60159737976370321930843921773227999043*c_1001_1^19 + 12809631669031468963546441549922500271966684257302/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 - 92853957129283779601738065876383121474924983335390/4552548975160159\ 737976370321930843921773227999043*c_1001_1^17 + 354955534676489008009960881397168456860710572509252/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 - 670506027556347894755830716573435269440633229163223/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 - 327122005292140870824177595025090214973241816153860/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 + 6121498881198448284364483623225434330608471092047903/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 - 19808391312967940930443284012813962520145067083488252/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 + 36297221945746360239149149736101854270154887659777636/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 - 37746936685845541071038181655778471519511676527295522/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 + 7990877206812565116450824441587903412700870276424603/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 + 39904038493671587883234029358391267558527960498367144/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 - 64501253727020162086981948208920079252743293772892711/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 + 43618337103153435858423046143747219442886312411997490/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 - 5616869994030999474812802240780463967237307661346467/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 - 11139137326607152720526546285461666526092722153214008/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 + 6172549771140584141770662738605917673305027438319900/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 + 248818574621763517412300740877273012790491618133005/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 - 1070768072016595679537910602148694968644244458786143/45525489751601\ 59737976370321930843921773227999043*c_1001_1 + 250525892021758080493231076984282300825639359032527/455254897516015\ 9737976370321930843921773227999043, c_0101_0 + 904635919787949588680770872656353514800447925255/45525489751\ 60159737976370321930843921773227999043*c_1001_1^19 - 17185799328899850817126894299984312747910584433255/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 + 117365025929699475896996432263770132587032689518964/455254897516015\ 9737976370321930843921773227999043*c_1001_1^17 - 418140457563418654930451084682317994322991045733360/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 + 685423309506377545204612253629512199010860547818809/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 + 780918991652494228418306275496167822328716884793394/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 - 7758515607705665287297766792837526927747610811114975/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 + 22576814622246441901620927392097814731896897561553519/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 - 37749712414200336513119020686380137632554261856607480/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 + 33880014256097769276703967470990011436061283282489656/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 + 1441528918839903007737502146439617201843824093102766/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 - 47539423493946271706316555248181650833280290947271845/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 + 62236278302856698656654568715026125642995720753062025/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 - 34067443438640037531738901451235600640142019828104343/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 - 871380847894226676715608186387770286925025709228112/455254897516015\ 9737976370321930843921773227999043*c_1001_1^5 + 10936802833119421197230605779829239534755393927283310/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 - 4141737813177348647941398982522452653270909414409556/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 - 788761255323600062605155697706895618683930946957704/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 + 838419836334818295978505701874318145804147348457386/455254897516015\ 9737976370321930843921773227999043*c_1001_1 - 146584600570450075644922468185672923151233618591412/455254897516015\ 9737976370321930843921773227999043, c_0101_1 - 505116002327441354009479380546756149799920087333/45525489751\ 60159737976370321930843921773227999043*c_1001_1^19 + 9412108251183716163330418541819401684043214257961/45525489751601597\ 37976370321930843921773227999043*c_1001_1^18 - 62126397718412424157216219153460113607501934844631/4552548975160159\ 737976370321930843921773227999043*c_1001_1^17 + 211219168866901269400432617143840678183640782690999/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 - 308124870799285584702982913371627396959107094040196/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 - 540689799985961655592887073003816291656916196371019/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 + 4125323494135508511982847726535360301997428859169416/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 - 11127257936300259759482108999874505949586228146742136/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 + 17178712194056269856263578308460264756552288656819711/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 - 13051949751807489528141039357461533439843725218030736/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 - 4986746889411461612286696363235430835258725789202982/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 + 24340188168279002205423482220780095595499466060113191/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 - 26122259423881701929239067779754741888233448052682299/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 + 10340949630548664714481806924779500630583307488753792/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 + 3439309021585359056478139896045355016615819324147227/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 - 4574953539715285878492481872221859313964600217005066/45525489751601\ 59737976370321930843921773227999043*c_1001_1^4 + 767090582623030412746091322872069165113865189180497/455254897516015\ 9737976370321930843921773227999043*c_1001_1^3 + 591444825526173577952567793991609098213962921605832/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 - 240381693233315989087867608330797648307695451266290/455254897516015\ 9737976370321930843921773227999043*c_1001_1 + 15515092484944354632957550285489675901256004824036/4552548975160159\ 737976370321930843921773227999043, c_0101_10 - 1397153476690013623342820260565343042025142045370/455254897\ 5160159737976370321930843921773227999043*c_1001_1^19 + 26699346610033327093326687068545411000922655953392/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 - 184341470200206569389893744677314807561609349643872/455254897516015\ 9737976370321930843921773227999043*c_1001_1^17 + 667723348422927611009609943072223336203435322365934/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 - 1139027478017312960970189112619811319452397298747066/45525489751601\ 59737976370321930843921773227999043*c_1001_1^15 - 1069446120265714660959306851764452874872228575399623/45525489751601\ 59737976370321930843921773227999043*c_1001_1^14 + 12122315087221397785818313522205586207813545848963780/4552548975160\ 159737976370321930843921773227999043*c_1001_1^13 - 36363719194477127667411196119641344279536537446630364/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 + 62685447590151545344623909113696873462253032254475520/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 - 59581606630758225677381723537873251793849854184258745/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 + 3962781683910583452669170231629062428447394204487259/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 + 74537907588322346629760436109196994881630871661988183/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 - 106120649499299772868056190429301952874617692709370018/455254897516\ 0159737976370321930843921773227999043*c_1001_1^7 + 64429973900395363497867338640703112855507075547126097/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 - 3871457291959554022051154116889218834909224871823570/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 - 18271650307733725874490208708857780897699232428771935/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 + 8636216704726205176588890120694606609567698728621746/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 + 769524630697523740251041263964379218015225395019041/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 - 1581221796643037762202590107468815250034109942004542/45525489751601\ 59737976370321930843921773227999043*c_1001_1 + 345019756309473006153160524782370808716212295570703/455254897516015\ 9737976370321930843921773227999043, c_0101_12 + 1158477402239201147507506699664153944964970696665/455254897\ 5160159737976370321930843921773227999043*c_1001_1^19 - 22023075516105886646250040114973755570641509802995/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 + 150715207110485480634046769805730561645021845416905/455254897516015\ 9737976370321930843921773227999043*c_1001_1^17 - 539692802408400752464785086511909487923744791270054/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 + 897513892819016997173093337602736922906534823857518/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 + 953389831604318601282560654580367850272712422133315/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 - 9924882519736745961049812550109494568039160674553067/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 + 29227424333374232820435163528109121203046498620157531/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 - 49518467227522384239020250369930608873400689100132267/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 + 45658706341581231142759774239449585008892782451699468/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 - 515924422274295862737976546385601549217027768426766/455254897516015\ 9737976370321930843921773227999043*c_1001_1^9 - 60596473907401095301382677900348208744020692578809296/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 + 82626053436473584268381373398627715591296186860462133/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 - 47783929398265636788576364750434062583768990385309931/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 + 1050357553971029046984963037282483591208882259731263/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 + 14348696777104524391616052374518716410132137410282383/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 - 6146398487536524939697873336772236160086538075172845/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 - 802501964629150043453122088921508033935275300983667/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 + 1174818173280620449709227181055661658747066789208950/45525489751601\ 59737976370321930843921773227999043*c_1001_1 - 237748316664343332449281825248953910560384260881683/455254897516015\ 9737976370321930843921773227999043, c_0101_8 - 430214868817232747728258626144350936926223976495/45525489751\ 60159737976370321930843921773227999043*c_1001_1^19 + 8375931097647929817331235438567866931785976394225/45525489751601597\ 37976370321930843921773227999043*c_1001_1^18 - 59456243998348255434622327766179523644244486638394/4552548975160159\ 737976370321930843921773227999043*c_1001_1^17 + 221388709025355836211516396724044628978849561337553/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 - 396785940777323795437630064601773755006908593294754/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 - 287867816120186410474962970042625974116187902762372/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 + 3940720485249023217163409721876129318975084111437233/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 - 12204424416647115452449401584771814488855300356463352/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 + 21534948749582704892973473196415977114378826450962439/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 - 21082604360937771473940094338400741765814234388639699/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 + 2243696637784437101561124372023081636484423340513407/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 + 25412630150737669876978188506344645830114774324746265/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 - 37248772666802412549804298649785374706166879621236223/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 + 22910845847116350747473577846427719967455584907228286/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 - 1275495785781079512158330456977402969847915291181636/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 - 6679541090984758960065713844124452631562541520044262/45525489751601\ 59737976370321930843921773227999043*c_1001_1^4 + 3090782192273225587318819024055130711817017054944540/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 + 334640064418578226112053086770185935845530212654370/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 - 573109500819907762215314583459994476701188659259089/455254897516015\ 9737976370321930843921773227999043*c_1001_1 + 113126072915135091904410337801807264405490057246170/455254897516015\ 9737976370321930843921773227999043, c_0110_5 - 648736129928416837522610661164541964735743772506/45525489751\ 60159737976370321930843921773227999043*c_1001_1^19 + 12256223778614963450351202748984505021852860696623/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 - 83094153997660124165271369305526145559325902828110/4552548975160159\ 737976370321930843921773227999043*c_1001_1^17 + 294921675658758245788447382628198093441186132026765/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 - 483037718945139853238319879071370054984560084756445/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 - 544298478116722856729900372720033822449127463385723/455254897516015\ 9737976370321930843921773227999043*c_1001_1^14 + 5443805519804992343756643854718817297546819523961493/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 - 15908490455300691541566174738466866089533731950342425/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 + 26840983633434550850175767735676479809380038925114623/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 - 24714486707161223523905756677336964705030835472989029/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 + 411174628051035272524158823600084617656590245904133/455254897516015\ 9737976370321930843921773227999043*c_1001_1^9 + 32480305197697573938370286878153030941617000061531275/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 - 44600674246719250974555411488407277354281401256304498/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 + 26319148438929145597203214528470543782037933010223791/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 - 1209090446663823540063912919940412891937334418818088/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 - 7590584866724952960188703669696373336424261689611711/45525489751601\ 59737976370321930843921773227999043*c_1001_1^4 + 3492796896180997935012564675248864896037304596826750/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 + 347401670230127841036882414876990805677652594202847/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 - 646232669512880784701220749321650884972093170184991/455254897516015\ 9737976370321930843921773227999043*c_1001_1 + 139950541213251688890568530130414377336231415662308/455254897516015\ 9737976370321930843921773227999043, c_0110_8 - 1204644972740887805524462705394842145652366389596/4552548975\ 160159737976370321930843921773227999043*c_1001_1^19 + 22598074173206059706979785769739690563833632378731/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 - 151258473974946929367288581133881509889108910902399/455254897516015\ 9737976370321930843921773227999043*c_1001_1^17 + 527054544243405787449957192591660225011504216319461/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 - 824780259694710982483654390653682200371750719084265/455254897516015\ 9737976370321930843921773227999043*c_1001_1^15 - 1123305570952581537650117374675256141650971621393369/45525489751601\ 59737976370321930843921773227999043*c_1001_1^14 + 9948920215167787859979694691006000167348012376799596/45525489751601\ 59737976370321930843921773227999043*c_1001_1^13 - 28157687035842341869420609469037787821469558665973052/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 + 45974542251000845568509298212563752130799609489956945/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 - 39735704635581939046202390797085050867544226074185962/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 - 4147334315465594055629202962478870836327391765319705/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 + 58802689539783944413262943977819949284491817469911927/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 - 74025323383010201138267105969671397929673003705224837/4552548975160\ 159737976370321930843921773227999043*c_1001_1^7 + 39107254582320505276054789849884128855754110753417361/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 + 1641093483787217660949398689914460644493353169729610/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 - 12600541538052247363794193063439955262591418803715720/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 + 4594722671170987680380806508255736051633672948588055/45525489751601\ 59737976370321930843921773227999043*c_1001_1^3 + 924158234101697744221823559168342271625463954293221/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 - 944337582741515555912288402387193585924876539813997/455254897516015\ 9737976370321930843921773227999043*c_1001_1 + 170526678773568560916779222409883716289416125015316/455254897516015\ 9737976370321930843921773227999043, c_1001_0 + 1645558607068007363935806653666936113386314306046/4552548975\ 160159737976370321930843921773227999043*c_1001_1^19 - 31743858369335662250798855869278628921505919800410/4552548975160159\ 737976370321930843921773227999043*c_1001_1^18 + 222400059806430166731063437012334401962947136032139/455254897516015\ 9737976370321930843921773227999043*c_1001_1^17 - 818550518673932706145616570774542243861551399839273/455254897516015\ 9737976370321930843921773227999043*c_1001_1^16 + 1440212127699199240528349566714273821236257781861759/45525489751601\ 59737976370321930843921773227999043*c_1001_1^15 + 1151227553958025975031564962815349915814505799895495/45525489751601\ 59737976370321930843921773227999043*c_1001_1^14 - 14654673388751189604330887815143210657053616889305331/4552548975160\ 159737976370321930843921773227999043*c_1001_1^13 + 44904895630227836771117328095564459629314923377704511/4552548975160\ 159737976370321930843921773227999043*c_1001_1^12 - 78760286043217139388461986413841378552707434247553565/4552548975160\ 159737976370321930843921773227999043*c_1001_1^11 + 76802017155644527622788474791541105655404684549670503/4552548975160\ 159737976370321930843921773227999043*c_1001_1^10 - 8245312552076738952843236165476614160617946616636644/45525489751601\ 59737976370321930843921773227999043*c_1001_1^9 - 91998020535013809811220727924993942125794673647163441/4552548975160\ 159737976370321930843921773227999043*c_1001_1^8 + 135277522453812910189543928355065130252564434580952805/455254897516\ 0159737976370321930843921773227999043*c_1001_1^7 - 84362816707457939878429539911496887807356499597950737/4552548975160\ 159737976370321930843921773227999043*c_1001_1^6 + 6342529731656703695756432186845125627917966442630604/45525489751601\ 59737976370321930843921773227999043*c_1001_1^5 + 23464527542554692772221057440482069512575998553736912/4552548975160\ 159737976370321930843921773227999043*c_1001_1^4 - 11379496122568584259823057315690801839907025276336436/4552548975160\ 159737976370321930843921773227999043*c_1001_1^3 - 982067520748826317228916318926254932825852309760957/455254897516015\ 9737976370321930843921773227999043*c_1001_1^2 + 2071487313868259247044801311347621334778643493876752/45525489751601\ 59737976370321930843921773227999043*c_1001_1 - 447010633178114937081112477273264468431544258379528/455254897516015\ 9737976370321930843921773227999043, c_1001_1^20 - 137/7*c_1001_1^19 + 985/7*c_1001_1^18 - 538*c_1001_1^17 + 7218/7*c_1001_1^16 + 2818/7*c_1001_1^15 - 63286/7*c_1001_1^14 + 209778/7*c_1001_1^13 - 396087/7*c_1001_1^12 + 438973/7*c_1001_1^11 - 152219/7*c_1001_1^10 - 366213/7*c_1001_1^9 + 699126/7*c_1001_1^8 - 79890*c_1001_1^7 + 23185*c_1001_1^6 + 83022/7*c_1001_1^5 - 83632/7*c_1001_1^4 + 15136/7*c_1001_1^3 + 9675/7*c_1001_1^2 - 748*c_1001_1 + 769/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.730 Total time: 3.940 seconds, Total memory usage: 84.94MB