Magma V2.19-8 Tue Aug 20 2013 23:38:30 on localhost [Seed = 1932859213] Type ? for help. Type -D to quit. Loading file "K14n6057__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6057 geometric_solution 7.77747478 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 0 1 1 0 3012 0132 1023 1230 0 0 0 0 0 -1 0 1 -1 0 0 1 -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 1 1 -2 2 0 0 -2 2 0 0 -2 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.775397975082 0.335364991046 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.961243878908 0.977893656016 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -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.272241226853 0.523746762622 7 6 1 4 0132 1023 0132 2310 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 0 -1 1 1 0 -1 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713166806073 1.007032459679 3 2 8 8 3201 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218869067735 0.425340193080 9 6 7 2 0132 0132 2031 0132 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 0 2 -2 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486853789154 1.181300424648 3 5 2 9 1023 0132 0132 3012 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 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.840372467050 0.952250761076 3 9 8 5 0132 0132 1230 1302 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 0 1 2 0 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.830617916670 0.938872518342 9 4 4 7 3120 0213 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 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.987423669825 0.537670391771 5 7 6 8 0132 0132 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213267615373 0.336490771312 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_2'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0101_8']), 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : negation(d['c_1001_9']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1001_9']), 'c_1010_7' : d['c_1001_9'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : d['c_1001_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_0011_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_8'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_8, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1673284480375907938833916761890603284063004660181767605151328153303\ 3447/16279216382643018840360765283481618750661929377669214826537976\ 340450144*c_1001_9^22 + 1108308433100354887052326980767673987165178\ 43375168046075741194245411061/1627921638264301884036076528348161875\ 0661929377669214826537976340450144*c_1001_9^21 - 1075286246697951188492359924595253279919294301804115617909307957031\ 64895/1627921638264301884036076528348161875066192937766921482653797\ 6340450144*c_1001_9^20 - 105322643767269266932023924698313070320798\ 64875876263325899334073370923/7016903613208197776017571242880008082\ 1818661110643167355767139398492*c_1001_9^19 - 2979275370170673233249525361236959063872837777490211411516218181648\ 062183/813960819132150942018038264174080937533096468883460741326898\ 8170225072*c_1001_9^18 - 725323582540961013844029151770157800549841\ 039635165912746389024823450889/508725511957594338761273915108800585\ 958185293052162963329311760639067*c_1001_9^17 - 2599763998077562292715760271501366460892229464136164824766540414233\ 783741/508725511957594338761273915108800585958185293052162963329311\ 760639067*c_1001_9^16 - 1299951725325124374795504951524971217463824\ 31354270616050488210094867992635/1627921638264301884036076528348161\ 8750661929377669214826537976340450144*c_1001_9^15 - 1970267711371869405037308740703021103030329719337357828565849418175\ 34106739/1627921638264301884036076528348161875066192937766921482653\ 7976340450144*c_1001_9^14 - 722874194008370994157728758326181190833\ 406393004230971549875115044982138619/162792163826430188403607652834\ 81618750661929377669214826537976340450144*c_1001_9^13 + 2975628161921596481449265587051167402785548613915258286702353178238\ 08615411/1627921638264301884036076528348161875066192937766921482653\ 7976340450144*c_1001_9^12 - 198647129220677985222314201067483867833\ 8746157332629957013058087615201351143/16279216382643018840360765283\ 481618750661929377669214826537976340450144*c_1001_9^11 + 1616747178377590770701707123511032116667229076840687330003496104920\ 690744537/162792163826430188403607652834816187506619293776692148265\ 37976340450144*c_1001_9^10 - 12614853541231690421314646600447311849\ 95006992883873025362761562055430267779/8139608191321509420180382641\ 740809375330964688834607413268988170225072*c_1001_9^9 + 2738433620134733116522625703213497848261321662407607152236754494175\ 619352755/162792163826430188403607652834816187506619293776692148265\ 37976340450144*c_1001_9^8 - 158973107869350865293871862114836209314\ 3372270533245068582837008808554937707/16279216382643018840360765283\ 481618750661929377669214826537976340450144*c_1001_9^7 + 3116416880005260731568344537079000029601082510577730624988225334539\ 049412813/162792163826430188403607652834816187506619293776692148265\ 37976340450144*c_1001_9^6 - 320305122171456752724700976062823817953\ 90389777645653877395634553809603203/1017451023915188677522547830217\ 601171916370586104325926658623521278134*c_1001_9^5 + 2369553591827820242621666166344527826634352230388184857419006403415\ 781523759/162792163826430188403607652834816187506619293776692148265\ 37976340450144*c_1001_9^4 - 150672264320928534192749761407638476734\ 43211750939540539003012062532662877/4069804095660754710090191320870\ 404687665482344417303706634494085112536*c_1001_9^3 + 9839280009098670518440595383153987214386523503565344514469698360459\ 15706987/1627921638264301884036076528348161875066192937766921482653\ 7976340450144*c_1001_9^2 + 6933385247573473143917605641927293956369\ 374266252787477453357468376467033/162792163826430188403607652834816\ 18750661929377669214826537976340450144*c_1001_9 + 1658288029211862429661600990625059638709041351824835082927633768332\ 82121207/1627921638264301884036076528348161875066192937766921482653\ 7976340450144, c_0011_0 - 1, c_0011_3 + 6494061071499267584697369701475541769599114829319483910345/7\ 491398293137944806968207767374643688938036852019648440275978*c_1001\ _9^22 + 53299579268920900647250127278577047666552681979704199204523\ /7491398293137944806968207767374643688938036852019648440275978*c_10\ 01_9^21 + 173077619250399604338730871468002493147497472373738036905\ 41/3745699146568972403484103883687321844469018426009824220137989*c_\ 1001_9^20 - 4769996139359102303887517079243776390445808088108644283\ 82049/3745699146568972403484103883687321844469018426009824220137989\ *c_1001_9^19 - 1909520811487742359793507996722160061702970872335417\ 943434023/374569914656897240348410388368732184446901842600982422013\ 7989*c_1001_9^18 - 138393976279860015470407974203087881814990295944\ 28018525692971/7491398293137944806968207767374643688938036852019648\ 440275978*c_1001_9^17 - 2515822958176763094415627408891458993752117\ 8454423580236962139/37456991465689724034841038836873218444690184260\ 09824220137989*c_1001_9^16 - 11637592580838334339949445353862793560\ 5996208880565741652322765/74913982931379448069682077673746436889380\ 36852019648440275978*c_1001_9^15 - 105216853231216660803298708196152673207135756438092287854551952/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^14 - 5135648850963222782878675868240832466288499112928736620516122\ 69/7491398293137944806968207767374643688938036852019648440275978*c_\ 1001_9^13 - 5389084222237457025912422558019718600859334713879823787\ 44767253/7491398293137944806968207767374643688938036852019648440275\ 978*c_1001_9^12 - 1167205952260230527145247185045133732893147333850\ 544604045827107/749139829313794480696820776737464368893803685201964\ 8440275978*c_1001_9^11 - 993653447768905333692801775239372366202128\ 860137872209785617265/749139829313794480696820776737464368893803685\ 2019648440275978*c_1001_9^10 - 784225585032856848183028055386510669\ 748289595904748538211324828/374569914656897240348410388368732184446\ 9018426009824220137989*c_1001_9^9 - 573147506711048446120020040183542375519113756856065893479289701/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^8 - 13545330376483453540141529477980818890809003085199078967453270\ 73/7491398293137944806968207767374643688938036852019648440275978*c_\ 1001_9^7 - 36775764858089030315369392443326954828896868745076253029\ 3950787/37456991465689724034841038836873218444690184260098242201379\ 89*c_1001_9^6 - 668314093641307127157874913567849603683349091273051\ 189016140543/749139829313794480696820776737464368893803685201964844\ 0275978*c_1001_9^5 - 1160263227345321262751768179377918050699863429\ 89046068491367951/3745699146568972403484103883687321844469018426009\ 824220137989*c_1001_9^4 - 15840322081101401211632647553777638768846\ 6462439882800432039099/74913982931379448069682077673746436889380368\ 52019648440275978*c_1001_9^3 - 155328176912373117691914940630526261\ 54412661499348311390605984/3745699146568972403484103883687321844469\ 018426009824220137989*c_1001_9^2 - 9006035278421301704215652008956050640898055324632532560959314/37456\ 99146568972403484103883687321844469018426009824220137989*c_1001_9 - 4807753640080226102738760421783695280796272530604018475821369/74913\ 98293137944806968207767374643688938036852019648440275978, c_0011_8 - 984806388679280935191778275155121834630718298456676689535/14\ 982796586275889613936415534749287377876073704039296880551956*c_1001\ _9^22 - 8735768024827979380637766606859514765597533584401464523153/\ 14982796586275889613936415534749287377876073704039296880551956*c_10\ 01_9^21 - 933263077445678715598634505973244245118984290733101826961\ 3/14982796586275889613936415534749287377876073704039296880551956*c_\ 1001_9^20 + 3760880785122597175051711558477889703263370477628816301\ 6978/3745699146568972403484103883687321844469018426009824220137989*\ c_1001_9^19 + 33527248927047113983785839097199894327598206529379093\ 9878039/74913982931379448069682077673746436889380368520196484402759\ 78*c_1001_9^18 + 11399048498698276564826442187773070654955029225165\ 35078896451/7491398293137944806968207767374643688938036852019648440\ 275978*c_1001_9^17 + 2114365034041832655671077941559859660522873398\ 437247403012508/374569914656897240348410388368732184446901842600982\ 4220137989*c_1001_9^16 + 209111053080475892268634044043137593257830\ 21248981939580781837/1498279658627588961393641553474928737787607370\ 4039296880551956*c_1001_9^15 + 368911116224168103510618473482830979\ 76995827373829742064250817/1498279658627588961393641553474928737787\ 6073704039296880551956*c_1001_9^14 + 87359338219819598486128605303327896197847349161427317041969505/1498\ 2796586275889613936415534749287377876073704039296880551956*c_1001_9\ ^13 + 1201421311679489014303482430674664056924857589779625351698304\ 07/14982796586275889613936415534749287377876073704039296880551956*c\ _1001_9^12 + 179984020832839421887281529069422383707670191234319593\ 806051675/149827965862758896139364155347492873778760737040392968805\ 51956*c_1001_9^11 + 26788476681887442321143837150018667389787669237\ 8922833797515597/14982796586275889613936415534749287377876073704039\ 296880551956*c_1001_9^10 + 1245140701927562816840165268410827800708\ 70689077446345579450307/7491398293137944806968207767374643688938036\ 852019648440275978*c_1001_9^9 + 33695008887662365562480194504791371\ 6805431344494305815581300059/14982796586275889613936415534749287377\ 876073704039296880551956*c_1001_9^8 + 251365604272288886627531139647020459284459275283543995538597239/149\ 82796586275889613936415534749287377876073704039296880551956*c_1001_\ 9^7 + 2579500547637950236746923217350033978867341383895907837166065\ 85/14982796586275889613936415534749287377876073704039296880551956*c\ _1001_9^6 + 6355245763014696646475934485251528128278831377798153441\ 7182455/74913982931379448069682077673746436889380368520196484402759\ 78*c_1001_9^5 + 129504985439820218753091347550162200152977562835314\ 771326241027/149827965862758896139364155347492873778760737040392968\ 80551956*c_1001_9^4 + 565404601899467387595168442224144423609598890\ 2760359162478501/37456991465689724034841038836873218444690184260098\ 24220137989*c_1001_9^3 + 195973078478117700640659607743243561285216\ 50974622526841920317/1498279658627588961393641553474928737787607370\ 4039296880551956*c_1001_9^2 - 7595825001846750256900443138404725571\ 06677252998269874303431/1498279658627588961393641553474928737787607\ 3704039296880551956*c_1001_9 + 232844533771769714723565769668690871\ 5767710087533362033032707/14982796586275889613936415534749287377876\ 073704039296880551956, c_0101_0 + 2497776396262117791377828438613775496874081477483966763563/1\ 4982796586275889613936415534749287377876073704039296880551956*c_100\ 1_9^22 + 7180513769911641048905997216966101724135685115804313573681\ /14982796586275889613936415534749287377876073704039296880551956*c_1\ 001_9^21 - 86384488175331686981635293854829366259978122144111482314\ 985/14982796586275889613936415534749287377876073704039296880551956*\ c_1001_9^20 - 18020782848534941082065074966009662183678573824297629\ 9968537/74913982931379448069682077673746436889380368520196484402759\ 78*c_1001_9^19 + 13108956691402324003309668291234965428050318226310\ 8815584110/37456991465689724034841038836873218444690184260098242201\ 37989*c_1001_9^18 + 53437182975041418489076609036379404041876373963\ 0917677229453/74913982931379448069682077673746436889380368520196484\ 40275978*c_1001_9^17 + 89871721563856665592000721109561019549165183\ 7109286323528843/37456991465689724034841038836873218444690184260098\ 24220137989*c_1001_9^16 + 39209537060626113202704882104134168006413\ 587223003455438524035/149827965862758896139364155347492873778760737\ 04039296880551956*c_1001_9^15 + 87541195855040156471819172461409498\ 617684232780693587820933869/149827965862758896139364155347492873778\ 76073704039296880551956*c_1001_9^14 + 77327042338418433966906630690211778574655350690109917080868961/1498\ 2796586275889613936415534749287377876073704039296880551956*c_1001_9\ ^13 + 5767809976809832506190129198064006323584365593596496937722602\ 23/14982796586275889613936415534749287377876073704039296880551956*c\ _1001_9^12 - 260157296374779855307959879776870976371747977949887605\ 05687517/1498279658627588961393641553474928737787607370403929688055\ 1956*c_1001_9^11 + 137740091717185050306754922832696126599533138687\ 2780482489291597/14982796586275889613936415534749287377876073704039\ 296880551956*c_1001_9^10 - 5253089222450625498162927838390993858256\ 657243903078872072476/374569914656897240348410388368732184446901842\ 6009824220137989*c_1001_9^9 + 1634029911931801158743714960072334739\ 254637848011009144171972005/149827965862758896139364155347492873778\ 76073704039296880551956*c_1001_9^8 + 63075097588101334364589490778027886202890850785798646058852741/1498\ 2796586275889613936415534749287377876073704039296880551956*c_1001_9\ ^7 + 12621043373184420507077923401297554993181927210503703622906615\ 81/14982796586275889613936415534749287377876073704039296880551956*c\ _1001_9^6 - 5933003927242039731053834173976925968618403878748826222\ 9283485/74913982931379448069682077673746436889380368520196484402759\ 78*c_1001_9^5 + 612124844782624074104961910502381375504801864238704\ 479713918215/149827965862758896139364155347492873778760737040392968\ 80551956*c_1001_9^4 - 325110237720934257868484029016254174393403522\ 00415767222733115/3745699146568972403484103883687321844469018426009\ 824220137989*c_1001_9^3 + 16325243881079914990383562628463864983320\ 4667112259377604053813/14982796586275889613936415534749287377876073\ 704039296880551956*c_1001_9^2 - 31979938103505097455463783665189467\ 717864255731576155479913957/149827965862758896139364155347492873778\ 76073704039296880551956*c_1001_9 + 37400286910382104082783829191264580914170168890396342277107961/1498\ 2796586275889613936415534749287377876073704039296880551956, c_0101_1 + 2815626471733335801874359010826101378575670437070996986829/1\ 4982796586275889613936415534749287377876073704039296880551956*c_100\ 1_9^22 + 4152996220719247634027448838236475361811156412374704788764\ 5/14982796586275889613936415534749287377876073704039296880551956*c_\ 1001_9^21 + 1519109621197163217629375721845746825424146411512273391\ 29129/1498279658627588961393641553474928737787607370403929688055195\ 6*c_1001_9^20 - 107790272608210367359022793860166854239627977819291\ 464806110/374569914656897240348410388368732184446901842600982422013\ 7989*c_1001_9^19 - 110531015504143086661635667148370142241686008969\ 0567517345612/37456991465689724034841038836873218444690184260098242\ 20137989*c_1001_9^18 - 73458986747516550916580799900411349958176731\ 42277456289500405/7491398293137944806968207767374643688938036852019\ 648440275978*c_1001_9^17 - 2643884659723681880331205443617816968319\ 7033420469141569475905/74913982931379448069682077673746436889380368\ 52019648440275978*c_1001_9^16 - 16428003815101957066260382595237890\ 1872754314866460392068920249/14982796586275889613936415534749287377\ 876073704039296880551956*c_1001_9^15 - 316366059853090868089362565107039142453607895756698419160020825/149\ 82796586275889613936415534749287377876073704039296880551956*c_1001_\ 9^14 - 584124773993205002280762789297886475770629740910692883724508\ 783/14982796586275889613936415534749287377876073704039296880551956*\ c_1001_9^13 - 12863302321766187182579953214294954637033541551393073\ 52712208945/1498279658627588961393641553474928737787607370403929688\ 0551956*c_1001_9^12 - 102427015060241982719273834517405368032861910\ 6709498050991983579/14982796586275889613936415534749287377876073704\ 039296880551956*c_1001_9^11 - 2796387763689995712891357034118958756\ 334171751631267539675461997/149827965862758896139364155347492873778\ 76073704039296880551956*c_1001_9^10 - 338724752750611536932913047364851996496008159611423500324696058/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^9 - 32900833299447195175015803586660703429219806660289226006286125\ 53/14982796586275889613936415534749287377876073704039296880551956*c\ _1001_9^8 - 1243293156844852837123693547229826641674595150999517644\ 948427705/149827965862758896139364155347492873778760737040392968805\ 51956*c_1001_9^7 - 240682610143072833159291310848552123745320431212\ 6010902628737571/14982796586275889613936415534749287377876073704039\ 296880551956*c_1001_9^6 - 19320147739423051972904306577567017520296\ 7108402259269245932601/74913982931379448069682077673746436889380368\ 52019648440275978*c_1001_9^5 - 106276349088893687536365853681249512\ 8151301802657064778404315449/14982796586275889613936415534749287377\ 876073704039296880551956*c_1001_9^4 + 29810074233117148337163413899287162284320043327041656073417127/7491\ 398293137944806968207767374643688938036852019648440275978*c_1001_9^\ 3 - 262571207892232677423907110081166443630177239514120409509544119\ /14982796586275889613936415534749287377876073704039296880551956*c_1\ 001_9^2 + 351880804665787379280099647189029929303302531853913366190\ 91803/1498279658627588961393641553474928737787607370403929688055195\ 6*c_1001_9 - 434313086318405626407104856819178577128483728066823573\ 51575431/1498279658627588961393641553474928737787607370403929688055\ 1956, c_0101_2 - 4989951061311632701401175925840980147088041937032480508187/7\ 491398293137944806968207767374643688938036852019648440275978*c_1001\ _9^22 - 40257961313655843422270978027473319869215079745776024148265\ /7491398293137944806968207767374643688938036852019648440275978*c_10\ 01_9^21 - 104335921400597732010859288123918909546928719471675426974\ 63/3745699146568972403484103883687321844469018426009824220137989*c_\ 1001_9^20 + 7364371930250173378329321706544462324682882277451786710\ 46127/7491398293137944806968207767374643688938036852019648440275978\ *c_1001_9^19 + 1414534244126753700387773862590694412637570725214375\ 897142513/374569914656897240348410388368732184446901842600982422013\ 7989*c_1001_9^18 + 511115811501881129667008774136207117283613779770\ 8730799108689/37456991465689724034841038836873218444690184260098242\ 20137989*c_1001_9^17 + 18615389502170922090194705523151701820432416\ 663620170063439865/374569914656897240348410388368732184446901842600\ 9824220137989*c_1001_9^16 + 841977072520688995982061429192019065608\ 09822194044628154939941/7491398293137944806968207767374643688938036\ 852019648440275978*c_1001_9^15 + 7494204219735444944955347679659819\ 1046447861785151817763067493/37456991465689724034841038836873218444\ 69018426009824220137989*c_1001_9^14 + 187322767524513044290948778802793252986577495173015982776346348/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^13 + 3644778168655108813475618390331596441186242683892152766515346\ 51/7491398293137944806968207767374643688938036852019648440275978*c_\ 1001_9^12 + 4243566503855989489415801535907282295002076087573815404\ 39354295/3745699146568972403484103883687321844469018426009824220137\ 989*c_1001_9^11 + 3330554946364516564602599890887360023722780635203\ 19945545378611/3745699146568972403484103883687321844469018426009824\ 220137989*c_1001_9^10 + 5576643815903966141160470401481896452388093\ 39040858652308524326/3745699146568972403484103883687321844469018426\ 009824220137989*c_1001_9^9 + 77955167314223738341843817618795748981\ 9358892195775562802787113/74913982931379448069682077673746436889380\ 36852019648440275978*c_1001_9^8 + 940134846531066969236301117881565\ 065827716427924835580955337989/749139829313794480696820776737464368\ 8938036852019648440275978*c_1001_9^7 + 249626157595079502929262525129535103464380839681626184664251283/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^6 + 22737908675717958051616690625129614880833895440967514457740012\ 2/3745699146568972403484103883687321844469018426009824220137989*c_1\ 001_9^5 + 155257659977489217044769824295696352823181725406642980408\ 835937/749139829313794480696820776737464368893803685201964844027597\ 8*c_1001_9^4 + 1021143243920500092850592702286600517246609349546280\ 10187784497/7491398293137944806968207767374643688938036852019648440\ 275978*c_1001_9^3 + 20571971531009656948983198729821768974764659649\ 209542482415867/749139829313794480696820776737464368893803685201964\ 8440275978*c_1001_9^2 + 8357078968808069875276765207642618269939497\ 347922882965140051/749139829313794480696820776737464368893803685201\ 9648440275978*c_1001_9 + 335716611197657919239952112348759571016235\ 0807635968853453285/74913982931379448069682077673746436889380368520\ 19648440275978, c_0101_5 - 10669268669563888538066060932227315966808273474691771110783/\ 14982796586275889613936415534749287377876073704039296880551956*c_10\ 01_9^22 - 827176668222787984707184412813637427279822344783629171738\ 65/14982796586275889613936415534749287377876073704039296880551956*c\ _1001_9^21 - 143999386135078738147593824199847758528230487248495757\ 06611/1498279658627588961393641553474928737787607370403929688055195\ 6*c_1001_9^20 + 805430965549934375247590110316155192877084135831289\ 221699985/749139829313794480696820776737464368893803685201964844027\ 5978*c_1001_9^19 + 138514756526101693335962852642579491841008337618\ 7752467980208/37456991465689724034841038836873218444690184260098242\ 20137989*c_1001_9^18 + 97328622830026514108963919535386549696849932\ 61908990866339227/7491398293137944806968207767374643688938036852019\ 648440275978*c_1001_9^17 + 3569863641032414938305585086641062767765\ 5568393119601627750387/74913982931379448069682077673746436889380368\ 52019648440275978*c_1001_9^16 + 15056620519338450386000040114596456\ 7546234907805484888828121801/14982796586275889613936415534749287377\ 876073704039296880551956*c_1001_9^15 + 247371731419193619368218191258600894175578258267402379678317591/149\ 82796586275889613936415534749287377876073704039296880551956*c_1001_\ 9^14 + 672144355299507754129116007519917334089840975994174510924371\ 823/14982796586275889613936415534749287377876073704039296880551956*\ c_1001_9^13 + 49330336231084920219866505485769340940061612465956614\ 2296315965/14982796586275889613936415534749287377876073704039296880\ 551956*c_1001_9^12 + 1440118675256176171970083675674897478213006774\ 848276905877255937/149827965862758896139364155347492873778760737040\ 39296880551956*c_1001_9^11 + 86306323577793899842850732439098071637\ 2135840211990363628286209/14982796586275889613936415534749287377876\ 073704039296880551956*c_1001_9^10 + 426017430846247022101191057531290981117910026591905758512019570/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^9 + 96993428285081479953434755177758031406576176215095908347545029\ 9/14982796586275889613936415534749287377876073704039296880551956*c_\ 1001_9^8 + 13500973548295515507193653439951579957719459158977626011\ 00325761/1498279658627588961393641553474928737787607370403929688055\ 1956*c_1001_9^7 + 5197098770634967753347544287375343145445092782044\ 54250098454919/1498279658627588961393641553474928737787607370403929\ 6880551956*c_1001_9^6 + 3196889393253464855201251742287740045847656\ 18360505325104007393/7491398293137944806968207767374643688938036852\ 019648440275978*c_1001_9^5 + 16172279515663330486762100741389038924\ 8089421887108070956946325/14982796586275889613936415534749287377876\ 073704039296880551956*c_1001_9^4 + 38785705647616156923588248536806593473946233069110298005087247/3745\ 699146568972403484103883687321844469018426009824220137989*c_1001_9^\ 3 + 22399110578072156294389368806313075563792351997838394788757957/\ 14982796586275889613936415534749287377876073704039296880551956*c_10\ 01_9^2 + 2027504914863918278290436028748655433682893450645135515165\ 1463/14982796586275889613936415534749287377876073704039296880551956\ *c_1001_9 + 4777270357029001729301202356496735413871694415195013478\ 882921/149827965862758896139364155347492873778760737040392968805519\ 56, c_0101_8 - 3363574933936268764308966909306958830430600536931205015180/3\ 745699146568972403484103883687321844469018426009824220137989*c_1001\ _9^22 - 23871353819981795230280243986916735211946232799600175300438\ /3745699146568972403484103883687321844469018426009824220137989*c_10\ 01_9^21 + 126031925402906436367603548231077046465959060267659708510\ 47/3745699146568972403484103883687321844469018426009824220137989*c_\ 1001_9^20 + 5123279924468631073455644820054101393759784701535370361\ 38662/3745699146568972403484103883687321844469018426009824220137989\ *c_1001_9^19 + 2844912717064349687828436819424244566662855583325456\ 158935451/749139829313794480696820776737464368893803685201964844027\ 5978*c_1001_9^18 + 498188608024998629110855532007696834815030001421\ 4380622359813/37456991465689724034841038836873218444690184260098242\ 20137989*c_1001_9^17 + 18278117674309173949690735548364806963319063\ 824625657649993734/374569914656897240348410388368732184446901842600\ 9824220137989*c_1001_9^16 + 320962280799689508287022762808536498409\ 30343627906872200806243/3745699146568972403484103883687321844469018\ 426009824220137989*c_1001_9^15 + 4473958553821915496131091159544534\ 1303129196284354621259047663/37456991465689724034841038836873218444\ 69018426009824220137989*c_1001_9^14 + 153333357417028162146419351187443602695766961461076035756717398/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^13 + 5997940924502423188397553788135816753729478045603881522610663\ /7491398293137944806968207767374643688938036852019648440275978*c_10\ 01_9^12 + 331434932022843427326198663186760656554633339335409941656\ 985173/374569914656897240348410388368732184446901842600982422013798\ 9*c_1001_9^11 - 870255933456213877502559581812484446748796216977795\ 71853267129/3745699146568972403484103883687321844469018426009824220\ 137989*c_1001_9^10 + 6770956710906852958351519784600160497020091721\ 95817586179134629/7491398293137944806968207767374643688938036852019\ 648440275978*c_1001_9^9 - 17443253085937569404543070350584586746868\ 1115972860434419579871/37456991465689724034841038836873218444690184\ 26009824220137989*c_1001_9^8 + 201752860023523348323295174698114447\ 241615273833337737261475463/374569914656897240348410388368732184446\ 9018426009824220137989*c_1001_9^7 - 242111759203132994964040914442014385522699491130189279230513633/374\ 5699146568972403484103883687321844469018426009824220137989*c_1001_9\ ^6 + 67184995966691425687284612068797799096937892704000146639024641\ /3745699146568972403484103883687321844469018426009824220137989*c_10\ 01_9^5 - 3107341882586904924992401591947499232348492320486359250745\ 61171/7491398293137944806968207767374643688938036852019648440275978\ *c_1001_9^4 + 34965076456842644614229218983816032840625746070765585\ 167105541/749139829313794480696820776737464368893803685201964844027\ 5978*c_1001_9^3 - 9542068619883351442539603322731104338415348195415\ 2465285567725/74913982931379448069682077673746436889380368520196484\ 40275978*c_1001_9^2 + 689120840620847701635977736993665432693422433\ 4459265175347659/37456991465689724034841038836873218444690184260098\ 24220137989*c_1001_9 - 63709309128778317532213432850194104772019156\ 19645346649607202/3745699146568972403484103883687321844469018426009\ 824220137989, c_1001_2 - 15569795394289180951640810582068245031868065756012941335769/\ 14982796586275889613936415534749287377876073704039296880551956*c_10\ 01_9^22 - 120127280422910711989932157186232597658060627010006773842\ 333/14982796586275889613936415534749287377876073704039296880551956*\ c_1001_9^21 - 18916096991901535933281150122630463794865261457238969\ 651757/149827965862758896139364155347492873778760737040392968805519\ 56*c_1001_9^20 + 58319022922295884729908839475813022358183639969927\ 1364779176/37456991465689724034841038836873218444690184260098242201\ 37989*c_1001_9^19 + 39976466010571443864757815313171773152076057311\ 22785431750687/7491398293137944806968207767374643688938036852019648\ 440275978*c_1001_9^18 + 7119261496906213492202677447404504798742797\ 276738689788630531/374569914656897240348410388368732184446901842600\ 9824220137989*c_1001_9^17 + 260951319254268280088692906549426964556\ 46756997421056044805354/3745699146568972403484103883687321844469018\ 426009824220137989*c_1001_9^16 + 2200842826183187757386538750879820\ 48603355514742759799209873445/1498279658627588961393641553474928737\ 7876073704039296880551956*c_1001_9^15 + 368469176558436307607464366027744428829064079295489969686505201/149\ 82796586275889613936415534749287377876073704039296880551956*c_1001_\ 9^14 + 999708346130701409696672964425309552989003239097766231672603\ 747/14982796586275889613936415534749287377876073704039296880551956*\ c_1001_9^13 + 73287402430295832100737536160346585027737845020290299\ 7760024347/14982796586275889613936415534749287377876073704039296880\ 551956*c_1001_9^12 + 2214352587788783859017386454112622757199383487\ 462215368807612597/149827965862758896139364155347492873778760737040\ 39296880551956*c_1001_9^11 + 12705475415538169689364006970951780205\ 38370243017381953792239771/1498279658627588961393641553474928737787\ 6073704039296880551956*c_1001_9^10 + 1354579200962315660444319372612865341593198080946440140329524973/74\ 91398293137944806968207767374643688938036852019648440275978*c_1001_\ 9^9 + 1478197650254602455960350782768397478322391451153163704165139\ 815/14982796586275889613936415534749287377876073704039296880551956*\ c_1001_9^8 + 217568287575106262320882779457826261777838406000462377\ 2967949611/14982796586275889613936415534749287377876073704039296880\ 551956*c_1001_9^7 + 85702751715368343964634809435620362090814364972\ 5537233634468643/14982796586275889613936415534749287377876073704039\ 296880551956*c_1001_9^6 + 52997344979750862693775940680880397758770\ 2827365380903067303933/74913982931379448069682077673746436889380368\ 52019648440275978*c_1001_9^5 + 288862923435286318021730093089836050\ 608340133105088292065937363/149827965862758896139364155347492873778\ 76073704039296880551956*c_1001_9^4 + 135442920543335615513701171269281404603917005187003880011560247/749\ 1398293137944806968207767374643688938036852019648440275978*c_1001_9\ ^3 + 70564365869039949727665016555795087489387524554946244224762869\ /14982796586275889613936415534749287377876073704039296880551956*c_1\ 001_9^2 + 353046367467977884784985162590906246760110903574176758688\ 00041/1498279658627588961393641553474928737787607370403929688055195\ 6*c_1001_9 + 127146006887049012055165904307435279254617178924161079\ 30444645/1498279658627588961393641553474928737787607370403929688055\ 1956, c_1001_9^23 + 8*c_1001_9^22 + 4*c_1001_9^21 - 145*c_1001_9^20 - 556*c_1001_9^19 - 2064*c_1001_9^18 - 7518*c_1001_9^17 - 17079*c_1001_9^16 - 31476*c_1001_9^15 - 78694*c_1001_9^14 - 77874*c_1001_9^13 - 190640*c_1001_9^12 - 143448*c_1001_9^11 - 273539*c_1001_9^10 - 176199*c_1001_9^9 - 256366*c_1001_9^8 - 125790*c_1001_9^7 - 150279*c_1001_9^6 - 47223*c_1001_9^5 - 51071*c_1001_9^4 - 7249*c_1001_9^3 - 9998*c_1001_9^2 - 264*c_1001_9 - 1189 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB