Magma V2.19-8 Tue Aug 20 2013 23:46:44 on localhost [Seed = 1157836640] Type ? for help. Type -D to quit. Loading file "K14n25489__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n25489 geometric_solution 11.11497322 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 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.819302953784 1.488272961556 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695181854436 0.821683717727 8 0 7 9 0132 0132 3012 0132 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 1 0 -1 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.262439933529 0.718300741733 10 4 8 0 0132 2031 0321 0132 0 0 0 0 0 0 0 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 0 0 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.716132265970 0.515648907726 3 11 0 7 1302 0132 0132 0132 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 -1 1 -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.520745491499 0.593959684068 9 1 10 11 1302 0132 2310 1230 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 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708183263908 0.556150179574 10 10 1 9 2103 2310 0132 1230 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562480397899 0.321821186731 11 2 4 1 3120 1230 0132 0132 0 0 0 0 0 1 0 -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 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.700877699618 1.064740381021 2 9 3 11 0132 1302 0321 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.551254841668 1.228220018745 6 5 2 8 3012 2031 0132 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 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565969386397 1.638643363399 3 5 6 6 0132 3201 2103 3201 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 -1 0 1 -1 0 1 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 1.080395273479 0.662158647646 5 4 8 7 3012 0132 0132 3120 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 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.700877699618 1.064740381021 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0110_9'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_1001_5']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0110_9'], 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_1001_11'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_6'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0011_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_7, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_0110_9, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 410639720250531965304510199/7662425784357343134847781*c_1001_5^11 - 7535268661048331609851503022/314159457158651068528759021*c_1001_5^1\ 0 - 54805224332916554226344693932/314159457158651068528759021*c_100\ 1_5^9 + 1395528399488446911291948716/10833084729608657535474449*c_1\ 001_5^8 - 11484504521248383037175516865/314159457158651068528759021\ *c_1001_5^7 + 114182397309626164061587161967/3141594571586510685287\ 59021*c_1001_5^6 - 229960627106982498720117609414/31415945715865106\ 8528759021*c_1001_5^5 + 230125577669153001986810673411/314159457158\ 651068528759021*c_1001_5^4 - 112879638415959352745970879459/3141594\ 57158651068528759021*c_1001_5^3 + 193628729929750472804146923319/31\ 4159457158651068528759021*c_1001_5^2 - 255915275319115705337656259242/314159457158651068528759021*c_1001_5 + 30388391218886646292119186337/314159457158651068528759021, c_0011_0 - 1, c_0011_10 - 11038299981434042983/1900874667416855156251*c_1001_5^11 + 99570970684677636931/1900874667416855156251*c_1001_5^10 - 24159561447567553946/1900874667416855156251*c_1001_5^9 - 10639587578190737530/65547402324719143319*c_1001_5^8 + 215555690088403516520/1900874667416855156251*c_1001_5^7 - 382963927429289162760/1900874667416855156251*c_1001_5^6 + 971110583547971250868/1900874667416855156251*c_1001_5^5 - 950642315827128714648/1900874667416855156251*c_1001_5^4 + 2270360214868840280921/1900874667416855156251*c_1001_5^3 - 1745127483955544636353/1900874667416855156251*c_1001_5^2 + 762896220909035696082/1900874667416855156251*c_1001_5 - 1619042858053317141870/1900874667416855156251, c_0011_11 - 41827442517308991548/1900874667416855156251*c_1001_5^11 - 69629108435024381108/1900874667416855156251*c_1001_5^10 + 263851729803389605143/1900874667416855156251*c_1001_5^9 + 7834242732813702990/65547402324719143319*c_1001_5^8 - 471743661301354758611/1900874667416855156251*c_1001_5^7 - 238440383897089317025/1900874667416855156251*c_1001_5^6 - 28290445103058827305/1900874667416855156251*c_1001_5^5 + 1201059914750522775940/1900874667416855156251*c_1001_5^4 - 2066091136903028310967/1900874667416855156251*c_1001_5^3 - 219279558091068964350/1900874667416855156251*c_1001_5^2 + 510394559819302625298/1900874667416855156251*c_1001_5 + 2670689876394004670643/1900874667416855156251, c_0011_6 + 879686512692238194993/1900874667416855156251*c_1001_5^11 - 168787072325312166926/1900874667416855156251*c_1001_5^10 - 2803871788844681479639/1900874667416855156251*c_1001_5^9 + 51680295759451723835/65547402324719143319*c_1001_5^8 - 405132678624848416112/1900874667416855156251*c_1001_5^7 + 5712773704630574244546/1900874667416855156251*c_1001_5^6 - 10865995766440449013540/1900874667416855156251*c_1001_5^5 + 9825955353870908388854/1900874667416855156251*c_1001_5^4 - 4516490783044002398293/1900874667416855156251*c_1001_5^3 + 9796704330245383429145/1900874667416855156251*c_1001_5^2 - 10930962139889560854241/1900874667416855156251*c_1001_5 + 426195148686625595582/1900874667416855156251, c_0011_7 + 794463116413275431449/1900874667416855156251*c_1001_5^11 - 211339432632030955536/1900874667416855156251*c_1001_5^10 - 2669947207380381210692/1900874667416855156251*c_1001_5^9 + 47737037954225821449/65547402324719143319*c_1001_5^8 - 490285245190128165099/1900874667416855156251*c_1001_5^7 + 5220797769958749511372/1900874667416855156251*c_1001_5^6 - 8704368334574968381930/1900874667416855156251*c_1001_5^5 + 8916110166388920401216/1900874667416855156251*c_1001_5^4 - 3980808352658143569320/1900874667416855156251*c_1001_5^3 + 7148252324954937262211/1900874667416855156251*c_1001_5^2 - 8762564832218070429655/1900874667416855156251*c_1001_5 - 1078062939351655713704/1900874667416855156251, c_0101_0 - 1002076514816303484381/1900874667416855156251*c_1001_5^11 + 694112151247421141185/1900874667416855156251*c_1001_5^10 + 2905953710732510127200/1900874667416855156251*c_1001_5^9 - 113840147289528552878/65547402324719143319*c_1001_5^8 + 2026564423647343088513/1900874667416855156251*c_1001_5^7 - 7038665508682299374524/1900874667416855156251*c_1001_5^6 + 15547963671564277091546/1900874667416855156251*c_1001_5^5 - 18150298900021531959918/1900874667416855156251*c_1001_5^4 + 11266080133073003310508/1900874667416855156251*c_1001_5^3 - 14011356036926775161366/1900874667416855156251*c_1001_5^2 + 18207119387174958213652/1900874667416855156251*c_1001_5 - 6165873992278177661488/1900874667416855156251, c_0101_11 - 879686512692238194993/1900874667416855156251*c_1001_5^11 + 168787072325312166926/1900874667416855156251*c_1001_5^10 + 2803871788844681479639/1900874667416855156251*c_1001_5^9 - 51680295759451723835/65547402324719143319*c_1001_5^8 + 405132678624848416112/1900874667416855156251*c_1001_5^7 - 5712773704630574244546/1900874667416855156251*c_1001_5^6 + 10865995766440449013540/1900874667416855156251*c_1001_5^5 - 9825955353870908388854/1900874667416855156251*c_1001_5^4 + 4516490783044002398293/1900874667416855156251*c_1001_5^3 - 9796704330245383429145/1900874667416855156251*c_1001_5^2 + 10930962139889560854241/1900874667416855156251*c_1001_5 - 426195148686625595582/1900874667416855156251, c_0101_3 + 230430297568442668299/1900874667416855156251*c_1001_5^11 - 221675479643898391196/1900874667416855156251*c_1001_5^10 - 864570206419926483682/1900874667416855156251*c_1001_5^9 + 31805847855147141370/65547402324719143319*c_1001_5^8 + 132297167053593194681/1900874667416855156251*c_1001_5^7 + 1599540156023280401025/1900874667416855156251*c_1001_5^6 - 3961278076588813961833/1900874667416855156251*c_1001_5^5 + 3558428786464676077339/1900874667416855156251*c_1001_5^4 - 1445268579652135434577/1900874667416855156251*c_1001_5^3 + 1771676374038399869116/1900874667416855156251*c_1001_5^2 - 3841814522583096462205/1900874667416855156251*c_1001_5 + 11399702291473190329/1900874667416855156251, c_0101_7 - 366504147535146148991/1900874667416855156251*c_1001_5^11 + 181379072625629229366/1900874667416855156251*c_1001_5^10 + 1075051981049580453663/1900874667416855156251*c_1001_5^9 - 34296885072535071871/65547402324719143319*c_1001_5^8 + 252021890757706683384/1900874667416855156251*c_1001_5^7 - 2711435606462488586220/1900874667416855156251*c_1001_5^6 + 6326567298183976701146/1900874667416855156251*c_1001_5^5 - 6020450391907576042573/1900874667416855156251*c_1001_5^4 + 3194593458689104159785/1900874667416855156251*c_1001_5^3 - 6661313347730644638857/1900874667416855156251*c_1001_5^2 + 7881686363534176706095/1900874667416855156251*c_1001_5 - 1641446059107688775659/1900874667416855156251, c_0110_9 + 239453308738874393899/1900874667416855156251*c_1001_5^11 - 293560541367372399084/1900874667416855156251*c_1001_5^10 - 677275669781890579573/1900874667416855156251*c_1001_5^9 + 38187870000122872475/65547402324719143319*c_1001_5^8 - 808918118624341190982/1900874667416855156251*c_1001_5^7 + 1981019287893574536021/1900874667416855156251*c_1001_5^6 - 4193230311421554896841/1900874667416855156251*c_1001_5^5 + 6311665119176110830875/1900874667416855156251*c_1001_5^4 - 4725002165206273641779/1900874667416855156251*c_1001_5^3 + 3793581784349129507573/1900874667416855156251*c_1001_5^2 - 5202894496043383656211/1900874667416855156251*c_1001_5 + 2807877847463412137016/1900874667416855156251, c_1001_11 - 868648212710804152010/1900874667416855156251*c_1001_5^11 + 69216101640634529995/1900874667416855156251*c_1001_5^10 + 2828031350292249033585/1900874667416855156251*c_1001_5^9 - 41040708181260986305/65547402324719143319*c_1001_5^8 + 189576988536444899592/1900874667416855156251*c_1001_5^7 - 5329809777201285081786/1900874667416855156251*c_1001_5^6 + 9894885182892477762672/1900874667416855156251*c_1001_5^5 - 8875313038043779674206/1900874667416855156251*c_1001_5^4 + 2246130568175162117372/1900874667416855156251*c_1001_5^3 - 8051576846289838792792/1900874667416855156251*c_1001_5^2 + 10168065918980525158159/1900874667416855156251*c_1001_5 + 1192847709366691546288/1900874667416855156251, c_1001_5^12 - 73/41*c_1001_5^11 - 102/41*c_1001_5^10 + 271/41*c_1001_5^9 - 181/41*c_1001_5^8 + 345/41*c_1001_5^7 - 947/41*c_1001_5^6 + 1343/41*c_1001_5^5 - 1104/41*c_1001_5^4 + 940/41*c_1001_5^3 - 1298/41*c_1001_5^2 + 933/41*c_1001_5 - 139/41 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_7, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_0110_9, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 111227645842542331841/78129961466782526496*c_1001_5^15 - 307557486731022815257/39064980733391263248*c_1001_5^14 + 835168529316332674699/78129961466782526496*c_1001_5^13 + 2148165836707112813477/78129961466782526496*c_1001_5^12 - 1876260504364729068619/19532490366695631624*c_1001_5^11 + 3703635528456937040369/78129961466782526496*c_1001_5^10 + 76171734543137446903/420053556273024336*c_1001_5^9 - 21721944329367257334595/78129961466782526496*c_1001_5^8 + 41647485197190294155/6009997035906348192*c_1001_5^7 + 22510165850412596581505/78129961466782526496*c_1001_5^6 - 6690614945597390554525/26043320488927508832*c_1001_5^5 + 23305971395627038199/2003332345302116064*c_1001_5^4 + 1166262232474098012581/6510830122231877208*c_1001_5^3 - 179558021765539248187/1627707530557969302*c_1001_5^2 - 20531441801283840143/316315633468755168*c_1001_5 + 612994594187491889473/8681106829642502944, c_0011_0 - 1, c_0011_10 + 6684616213/67228877503*c_1001_5^15 - 39446564523/67228877503*c_1001_5^14 + 59171172476/67228877503*c_1001_5^13 + 137888052759/67228877503*c_1001_5^12 - 542342154821/67228877503*c_1001_5^11 + 325237122697/67228877503*c_1001_5^10 + 1046712341280/67228877503*c_1001_5^9 - 1805015621194/67228877503*c_1001_5^8 + 158345024348/67228877503*c_1001_5^7 + 1926703134829/67228877503*c_1001_5^6 - 1805427775613/67228877503*c_1001_5^5 + 188345673769/67228877503*c_1001_5^4 + 1227515912222/67228877503*c_1001_5^3 - 996260960266/67228877503*c_1001_5^2 - 435690889982/67228877503*c_1001_5 + 631398416059/67228877503, c_0011_11 + 7232942802/67228877503*c_1001_5^15 - 35616387421/67228877503*c_1001_5^14 + 32213621721/67228877503*c_1001_5^13 + 165050054386/67228877503*c_1001_5^12 - 412739879235/67228877503*c_1001_5^11 + 28803215879/67228877503*c_1001_5^10 + 976692581663/67228877503*c_1001_5^9 - 1039479398478/67228877503*c_1001_5^8 - 357634276604/67228877503*c_1001_5^7 + 1367805906874/67228877503*c_1001_5^6 - 950255856559/67228877503*c_1001_5^5 - 169165609333/67228877503*c_1001_5^4 + 809800432907/67228877503*c_1001_5^3 - 359562775982/67228877503*c_1001_5^2 - 293335250775/67228877503*c_1001_5 + 283799091140/67228877503, c_0011_6 + 11106370661/67228877503*c_1001_5^15 - 60282852019/67228877503*c_1001_5^14 + 74814444666/67228877503*c_1001_5^13 + 243587330339/67228877503*c_1001_5^12 - 786260518299/67228877503*c_1001_5^11 + 319539444804/67228877503*c_1001_5^10 + 1658262847551/67228877503*c_1001_5^9 - 2424804915836/67228877503*c_1001_5^8 - 84730753273/67228877503*c_1001_5^7 + 2788161524212/67228877503*c_1001_5^6 - 2340976041777/67228877503*c_1001_5^5 + 4556843832/67228877503*c_1001_5^4 + 1664287183201/67228877503*c_1001_5^3 - 1027193437984/67228877503*c_1001_5^2 - 627375097725/67228877503*c_1001_5 + 724010305337/67228877503, c_0011_7 - 900623480/67228877503*c_1001_5^15 + 1862427720/67228877503*c_1001_5^14 + 6235060364/67228877503*c_1001_5^13 - 20413941147/67228877503*c_1001_5^12 - 15949124682/67228877503*c_1001_5^11 + 87194699852/67228877503*c_1001_5^10 - 15898351830/67228877503*c_1001_5^9 - 176117921934/67228877503*c_1001_5^8 + 115097461980/67228877503*c_1001_5^7 + 87390051704/67228877503*c_1001_5^6 - 72087721953/67228877503*c_1001_5^5 + 141620951650/67228877503*c_1001_5^4 - 135654589570/67228877503*c_1001_5^3 - 107096852813/67228877503*c_1001_5^2 + 72895593063/67228877503*c_1001_5 + 27540067325/67228877503, c_0101_0 - 10548866260/67228877503*c_1001_5^15 + 49472477346/67228877503*c_1001_5^14 - 33617337034/67228877503*c_1001_5^13 - 256750352789/67228877503*c_1001_5^12 + 552946623068/67228877503*c_1001_5^11 + 98611826811/67228877503*c_1001_5^10 - 1441894639171/67228877503*c_1001_5^9 + 1220291025049/67228877503*c_1001_5^8 + 773557372694/67228877503*c_1001_5^7 - 1794933982457/67228877503*c_1001_5^6 + 1077215419540/67228877503*c_1001_5^5 + 356306101109/67228877503*c_1001_5^4 - 1132135715983/67228877503*c_1001_5^3 + 235967747075/67228877503*c_1001_5^2 + 560233196576/67228877503*c_1001_5 - 233147835776/67228877503, c_0101_11 + 11598591851/67228877503*c_1001_5^15 - 57307336035/67228877503*c_1001_5^14 + 51560051104/67228877503*c_1001_5^13 + 270886367235/67228877503*c_1001_5^12 - 680130682664/67228877503*c_1001_5^11 + 48242748512/67228877503*c_1001_5^10 + 1636791308339/67228877503*c_1001_5^9 - 1769696265606/67228877503*c_1001_5^8 - 591321634854/67228877503*c_1001_5^7 + 2389986330101/67228877503*c_1001_5^6 - 1709186420840/67228877503*c_1001_5^5 - 317859528399/67228877503*c_1001_5^4 + 1617107290978/67228877503*c_1001_5^3 - 658071876146/67228877503*c_1001_5^2 - 655151876361/67228877503*c_1001_5 + 520275018677/67228877503, c_0101_3 + 1, c_0101_7 + 900623480/67228877503*c_1001_5^15 - 1862427720/67228877503*c_1001_5^14 - 6235060364/67228877503*c_1001_5^13 + 20413941147/67228877503*c_1001_5^12 + 15949124682/67228877503*c_1001_5^11 - 87194699852/67228877503*c_1001_5^10 + 15898351830/67228877503*c_1001_5^9 + 176117921934/67228877503*c_1001_5^8 - 115097461980/67228877503*c_1001_5^7 - 87390051704/67228877503*c_1001_5^6 + 72087721953/67228877503*c_1001_5^5 - 141620951650/67228877503*c_1001_5^4 + 135654589570/67228877503*c_1001_5^3 + 107096852813/67228877503*c_1001_5^2 - 72895593063/67228877503*c_1001_5 - 27540067325/67228877503, c_0110_9 - 7232942802/67228877503*c_1001_5^15 + 35616387421/67228877503*c_1001_5^14 - 32213621721/67228877503*c_1001_5^13 - 165050054386/67228877503*c_1001_5^12 + 412739879235/67228877503*c_1001_5^11 - 28803215879/67228877503*c_1001_5^10 - 976692581663/67228877503*c_1001_5^9 + 1039479398478/67228877503*c_1001_5^8 + 357634276604/67228877503*c_1001_5^7 - 1367805906874/67228877503*c_1001_5^6 + 950255856559/67228877503*c_1001_5^5 + 169165609333/67228877503*c_1001_5^4 - 809800432907/67228877503*c_1001_5^3 + 359562775982/67228877503*c_1001_5^2 + 293335250775/67228877503*c_1001_5 - 283799091140/67228877503, c_1001_11 + 7241971345/67228877503*c_1001_5^15 - 38906983929/67228877503*c_1001_5^14 + 45731900905/67228877503*c_1001_5^13 + 161844035327/67228877503*c_1001_5^12 - 492913319805/67228877503*c_1001_5^11 + 161866043633/67228877503*c_1001_5^10 + 1046201935874/67228877503*c_1001_5^9 - 1409741678018/67228877503*c_1001_5^8 - 90628851764/67228877503*c_1001_5^7 + 1509070854195/67228877503*c_1001_5^6 - 1347551351208/67228877503*c_1001_5^5 + 257125077828/67228877503*c_1001_5^4 + 841228521469/67228877503*c_1001_5^3 - 656507313378/67228877503*c_1001_5^2 - 269167517064/67228877503*c_1001_5 + 382220585301/67228877503, c_1001_5^16 - 4*c_1001_5^15 - c_1001_5^14 + 31*c_1001_5^13 - 38*c_1001_5^12 - 71*c_1001_5^11 + 180*c_1001_5^10 + c_1001_5^9 - 299*c_1001_5^8 + 211*c_1001_5^7 + 135*c_1001_5^6 - 273*c_1001_5^5 + 138*c_1001_5^4 + 120*c_1001_5^3 - 169*c_1001_5^2 - 21*c_1001_5 + 78 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.170 Total time: 9.369 seconds, Total memory usage: 96.16MB