Magma V2.19-8 Sat Sep 14 2013 07:58:03 on localhost [Seed = 3968528805] Type ? for help. Type -D to quit. Loading file "11_361__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_361 geometric_solution 16.25831555 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 17 1 2 3 3 0132 0132 0132 3120 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 -1 0 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614207656731 0.841748424789 0 4 5 5 0132 0132 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 0 -1 1 1 0 0 -1 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.217295495182 0.734988694811 6 0 7 5 0132 0132 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 -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.199374624146 0.803242348268 0 4 8 0 3120 0321 0132 0132 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 -6 0 1 5 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.449968600744 0.981772623249 6 1 9 3 1023 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779846238377 1.050732557899 1 2 1 10 2103 1302 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 0 0 1 -1 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.630088554000 1.251202794901 2 4 11 7 0132 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.294763092182 1.118026147565 12 6 13 2 0132 0321 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 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798649595378 1.246461955180 12 13 12 3 1302 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541006540544 0.767515052726 14 15 16 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 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.370289896199 0.433128085182 16 13 5 16 2310 1230 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708247459348 0.828387059014 15 14 12 6 2031 1230 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 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 1.076563424097 0.943794514864 7 8 8 11 0132 2031 0321 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 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.386452118493 0.870427988082 15 8 10 7 3012 0132 3012 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 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.553317562404 1.200119188199 9 16 11 15 0132 3012 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.081851997566 1.051177788716 14 9 11 13 3012 0132 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186833043248 1.087468529237 14 10 10 9 1230 0321 3201 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 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.708247459348 0.828387059014 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0101_6'], 'c_1001_14' : negation(d['c_0011_11']), 'c_1001_16' : negation(d['c_0101_10']), 'c_1001_11' : negation(d['c_0011_13']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_14'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_13'], 'c_1001_8' : d['c_1001_7'], 'c_1010_13' : d['c_1001_7'], 'c_1010_12' : negation(d['c_0011_13']), 'c_1010_11' : d['c_0101_14'], 'c_1010_10' : d['c_0101_13'], 'c_1010_16' : d['c_0101_13'], 'c_1010_15' : d['c_0101_13'], 'c_1010_14' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : 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_10'], 'c_0101_16' : d['c_0011_11'], 'c_0101_15' : negation(d['c_0011_11']), 'c_0101_14' : d['c_0101_14'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_0_8' : d['1'], 's_2_15' : 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_0011_15' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_1001_10']), 'c_1100_15' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_16' : negation(d['c_0011_10']), 'c_1100_11' : d['c_1001_7'], 'c_1100_10' : negation(d['c_0101_10']), 'c_1100_13' : negation(d['c_1001_10']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_1001_10'], 's_3_12' : d['1'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_6'], 'c_1100_14' : d['c_0011_13'], 's_3_15' : d['1'], 'c_1010_9' : d['c_0101_6'], 's_0_15' : d['1'], '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' : d['c_1001_7'], '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_14']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0110_6' : d['c_0011_12'], '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_6'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : d['c_0101_11'], 'c_0110_15' : d['c_0011_13'], 'c_0110_14' : d['c_0011_14'], 'c_0110_16' : d['c_0011_14'], 'c_1010_4' : d['c_0011_5'], 'c_0101_12' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_0'], 'c_0011_6' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0011_3']), 's_2_14' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_14'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_14'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_14'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0011_12'], 'c_1100_8' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_5, c_0101_0, c_0101_10, c_0101_11, c_0101_13, c_0101_14, c_0101_3, c_0101_6, c_1001_10, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2849589224749431936453568100649605312153061117935585/58218992245333\ 9382851575904850410945197024090164*c_1001_7^15 - 49326774391490720721094556128826163971142922758837269/5821899224533\ 39382851575904850410945197024090164*c_1001_7^14 - 21195672325308404238568890338755925840564538744237737/3064157486596\ 5230676398731834232155010369688956*c_1001_7^13 - 37737482207958973267500502400441138528341551564655811/1003775728367\ 8265221578894911213981813741794658*c_1001_7^12 - 2255094069386382505960529791814014909284129053244590936/14554748061\ 3334845712893976212602736299256022541*c_1001_7^11 - 15527078190435909589872236450345114777049059878783539789/2910949612\ 26669691425787952425205472598512045082*c_1001_7^10 - 91162000770427921453614559102078259324429756544791555351/5821899224\ 53339382851575904850410945197024090164*c_1001_7^9 - 203954846768852140868229166132624079021090689816761650551/582189922\ 453339382851575904850410945197024090164*c_1001_7^8 - 12600602783710075405438285705767797256531598124552525841/2007551456\ 7356530443157789822427963627483589316*c_1001_7^7 - 19987880168515195142044615972471515614831835030012607929/2007551456\ 7356530443157789822427963627483589316*c_1001_7^6 - 418630347074731353745964881437515406213892557008204477665/291094961\ 226669691425787952425205472598512045082*c_1001_7^5 - 352099469429247443790477229039626515356319353199556954117/291094961\ 226669691425787952425205472598512045082*c_1001_7^4 - 151981251286836233220316264425107783607328761739642277561/291094961\ 226669691425787952425205472598512045082*c_1001_7^3 - 22079348634166821512845435386228031823833917223495065511/2910949612\ 26669691425787952425205472598512045082*c_1001_7^2 + 16613004420265454958936354449097118069231505860594152069/5821899224\ 53339382851575904850410945197024090164*c_1001_7 + 168891294254004378552122877087972940584839827103041015/153207874329\ 82615338199365917116077505184844478, c_0011_0 - 1, c_0011_10 - 33354449587880621659780797748182114647687/41845783360826535\ 577191849551699767853014256*c_1001_7^15 - 35748515836667523455282669477699402577138/2615361460051658473574490\ 596981235490813391*c_1001_7^14 - 5777637037756003748091378553199943\ 19529033/5230722920103316947148981193962470981626782*c_1001_7^13 - 24885233290196009878573983423181563353525275/4184578336082653557719\ 1849551699767853014256*c_1001_7^12 - 12707539731651308828731091359000411148972311/5230722920103316947148\ 981193962470981626782*c_1001_7^11 - 173784848360766734594822382384101209809890287/209228916804132677885\ 95924775849883926507128*c_1001_7^10 - 1012885163004918270159066387481652577134632111/41845783360826535577\ 191849551699767853014256*c_1001_7^9 - 557564432801227106229505254305571736294563637/104614458402066338942\ 97962387924941963253564*c_1001_7^8 - 983909978142569049460895893242385717938339851/104614458402066338942\ 97962387924941963253564*c_1001_7^7 - 3093604800425115970051766707871703090174030751/20922891680413267788\ 595924775849883926507128*c_1001_7^6 - 8863383355288906977752852458876468972299675969/41845783360826535577\ 191849551699767853014256*c_1001_7^5 - 3454576603427847942339373112225471751966106163/20922891680413267788\ 595924775849883926507128*c_1001_7^4 - 645216589234102975951443454484161164162219897/104614458402066338942\ 97962387924941963253564*c_1001_7^3 - 38571379766011262692269585321552951496404661/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 + 192446114870845753917884187637187772886920705/418457833608265355771\ 91849551699767853014256*c_1001_7 + 34884507022873455350717350254929144074525663/4184578336082653557719\ 1849551699767853014256, c_0011_11 + 29594816797446024546150613830532600652283/20922891680413267\ 788595924775849883926507128*c_1001_7^15 + 249201792412146305351039432902731094386187/104614458402066338942979\ 62387924941963253564*c_1001_7^14 + 1974373544811806042947159302948997403569105/10461445840206633894297\ 962387924941963253564*c_1001_7^13 + 20881216185260381240438331140714500844664077/2092289168041326778859\ 5924775849883926507128*c_1001_7^12 + 10487904261540991701350372797813909461941862/2615361460051658473574\ 490596981235490813391*c_1001_7^11 + 141626966701747301634340346123829919602753519/104614458402066338942\ 97962387924941963253564*c_1001_7^10 + 814319119164862456730861482746976459050744967/209228916804132677885\ 95924775849883926507128*c_1001_7^9 + 868853540717481861750483456028469702615894267/104614458402066338942\ 97962387924941963253564*c_1001_7^8 + 1492268619902219557358934474300159520161570109/10461445840206633894\ 297962387924941963253564*c_1001_7^7 + 578863641462216288378626787013430598658336896/261536146005165847357\ 4490596981235490813391*c_1001_7^6 + 6544180187683468338994894743303193768618501335/20922891680413267788\ 595924775849883926507128*c_1001_7^5 + 2138530244256739508518036339411703533201947175/10461445840206633894\ 297962387924941963253564*c_1001_7^4 + 149847490192076668927602342326136247531116027/261536146005165847357\ 4490596981235490813391*c_1001_7^3 - 6511291045305609578507080801942137380274229/26153614600516584735744\ 90596981235490813391*c_1001_7^2 - 112776188888911920139734972130460\ 447469410425/20922891680413267788595924775849883926507128*c_1001_7 - 13360619646074143685739960637975481651668537/2092289168041326778859\ 5924775849883926507128, c_0011_12 - 59871362584767187283619165964070615393/41845783360826535577\ 191849551699767853014256*c_1001_7^15 - 892662844852228606142056942130546027813/104614458402066338942979623\ 87924941963253564*c_1001_7^14 - 12278691402565488342532514079068340\ 217813/10461445840206633894297962387924941963253564*c_1001_7^13 - 352054130453607385329259734442415146544561/418457833608265355771918\ 49551699767853014256*c_1001_7^12 - 217617397050683140385330198924097307912965/523072292010331694714898\ 1193962470981626782*c_1001_7^11 - 333306610274616486314721711940637\ 6229937313/20922891680413267788595924775849883926507128*c_1001_7^10 - 21751645211979572505221931940836773015116865/41845783360826535577\ 191849551699767853014256*c_1001_7^9 - 7474751054598468562532620159632410957791481/52307229201033169471489\ 81193962470981626782*c_1001_7^8 - 147263649335092390397570966061584\ 23794942511/5230722920103316947148981193962470981626782*c_1001_7^7 - 98362087502342578679800837281856073012985575/2092289168041326778859\ 5924775849883926507128*c_1001_7^6 - 306002758164778899212981059262093340274047027/418457833608265355771\ 91849551699767853014256*c_1001_7^5 - 207044188376115308192335132226039120301753725/209228916804132677885\ 95924775849883926507128*c_1001_7^4 - 41508159331311804653122082881641255932329413/1046144584020663389429\ 7962387924941963253564*c_1001_7^3 - 34336135858684287259193142661813294118445569/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 - 31826970591297984466110077945780054969844017/4184578336082653557719\ 1849551699767853014256*c_1001_7 + 386708839264157832203498264933156\ 0159750349/41845783360826535577191849551699767853014256, c_0011_13 - 33354449587880621659780797748182114647687/41845783360826535\ 577191849551699767853014256*c_1001_7^15 - 35748515836667523455282669477699402577138/2615361460051658473574490\ 596981235490813391*c_1001_7^14 - 5777637037756003748091378553199943\ 19529033/5230722920103316947148981193962470981626782*c_1001_7^13 - 24885233290196009878573983423181563353525275/4184578336082653557719\ 1849551699767853014256*c_1001_7^12 - 12707539731651308828731091359000411148972311/5230722920103316947148\ 981193962470981626782*c_1001_7^11 - 173784848360766734594822382384101209809890287/209228916804132677885\ 95924775849883926507128*c_1001_7^10 - 1012885163004918270159066387481652577134632111/41845783360826535577\ 191849551699767853014256*c_1001_7^9 - 557564432801227106229505254305571736294563637/104614458402066338942\ 97962387924941963253564*c_1001_7^8 - 983909978142569049460895893242385717938339851/104614458402066338942\ 97962387924941963253564*c_1001_7^7 - 3093604800425115970051766707871703090174030751/20922891680413267788\ 595924775849883926507128*c_1001_7^6 - 8863383355288906977752852458876468972299675969/41845783360826535577\ 191849551699767853014256*c_1001_7^5 - 3454576603427847942339373112225471751966106163/20922891680413267788\ 595924775849883926507128*c_1001_7^4 - 645216589234102975951443454484161164162219897/104614458402066338942\ 97962387924941963253564*c_1001_7^3 - 38571379766011262692269585321552951496404661/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 + 234291898231672289495076037188887540739934961/418457833608265355771\ 91849551699767853014256*c_1001_7 + 34884507022873455350717350254929144074525663/4184578336082653557719\ 1849551699767853014256, c_0011_14 - 10559499613516306458815315581135840050703/10461445840206633\ 894297962387924941963253564*c_1001_7^15 - 175876630924623146302829544645986960515011/104614458402066338942979\ 62387924941963253564*c_1001_7^14 - 1376182736172605838423416080871457513476769/10461445840206633894297\ 962387924941963253564*c_1001_7^13 - 3596372092969859015724522769807088013150707/52307229201033169471489\ 81193962470981626782*c_1001_7^12 - 7145604652997504649697828949812971463599591/26153614600516584735744\ 90596981235490813391*c_1001_7^11 - 47827816341657359343146240488495533040184087/5230722920103316947148\ 981193962470981626782*c_1001_7^10 - 272375699518026456975748999057856315992594901/104614458402066338942\ 97962387924941963253564*c_1001_7^9 - 568050876940692146604449191384372959636942745/104614458402066338942\ 97962387924941963253564*c_1001_7^8 - 955411898894950315376240188856014388354351411/104614458402066338942\ 97962387924941963253564*c_1001_7^7 - 1466760083001775921232943632975313918362388151/10461445840206633894\ 297962387924941963253564*c_1001_7^6 - 1024753840151406958594087710629344002317624961/52307229201033169471\ 48981193962470981626782*c_1001_7^5 - 563535608023795719108199733741528400712908061/523072292010331694714\ 8981193962470981626782*c_1001_7^4 - 96683154207424957250222131333328349152037111/5230722920103316947148\ 981193962470981626782*c_1001_7^3 + 32615836000879415402420721846073770975057903/5230722920103316947148\ 981193962470981626782*c_1001_7^2 + 23231284350973407071127949944790782326480651/1046144584020663389429\ 7962387924941963253564*c_1001_7 - 335839453846995920176917834439221\ 870393597/5230722920103316947148981193962470981626782, c_0011_3 + 2402236823744176758013296483613087867125/2092289168041326778\ 8595924775849883926507128*c_1001_7^15 + 4130801284186102487022372506918460409276/26153614600516584735744905\ 96981235490813391*c_1001_7^14 + 24592414692879147811838194342467127\ 135003/2615361460051658473574490596981235490813391*c_1001_7^13 + 722339036530813648188927920820559188272129/209228916804132677885959\ 24775849883926507128*c_1001_7^12 + 212887785993642828023319812591678192776739/261536146005165847357449\ 0596981235490813391*c_1001_7^11 + 129734546878446679468577561798281\ 2913101997/10461445840206633894297962387924941963253564*c_1001_7^10 - 2469387916016796141330097270613634549460211/209228916804132677885\ 95924775849883926507128*c_1001_7^9 - 13782818645207914040648897601276377663037059/5230722920103316947148\ 981193962470981626782*c_1001_7^8 - 42862589040762024157717937543735949187889151/5230722920103316947148\ 981193962470981626782*c_1001_7^7 - 164882836737574983576097742722769513337979751/104614458402066338942\ 97962387924941963253564*c_1001_7^6 - 561191280401033823780607487434639064168335429/209228916804132677885\ 95924775849883926507128*c_1001_7^5 - 595493195041988874046305799057254345424033939/104614458402066338942\ 97962387924941963253564*c_1001_7^4 - 209469143449340470304766294721222977276686173/523072292010331694714\ 8981193962470981626782*c_1001_7^3 - 70065207449790280625412329800288855655970391/5230722920103316947148\ 981193962470981626782*c_1001_7^2 + 7309560027854327587406907143277871465564013/20922891680413267788595\ 924775849883926507128*c_1001_7 + 2399583472314407914531777634181428\ 2037216307/20922891680413267788595924775849883926507128, c_0011_5 + 24873240917423663038985222834291575181505/209228916804132677\ 88595924775849883926507128*c_1001_7^15 + 216025890706373030090612919457082066806231/104614458402066338942979\ 62387924941963253564*c_1001_7^14 + 1770910425700315097696333098143643690177589/10461445840206633894297\ 962387924941963253564*c_1001_7^13 + 19328720502020610706257789694068894162755963/2092289168041326778859\ 5924775849883926507128*c_1001_7^12 + 9997270763404603279194013970425550367578461/26153614600516584735744\ 90596981235490813391*c_1001_7^11 + 138134817124713246166053826991579403672939613/104614458402066338942\ 97962387924941963253564*c_1001_7^10 + 813842319550127562073554218620560542777993917/209228916804132677885\ 95924775849883926507128*c_1001_7^9 + 917009507143281110071044830800911385857325879/104614458402066338942\ 97962387924941963253564*c_1001_7^8 + 1656497676397188958736686787201714063505243405/10461445840206633894\ 297962387924941963253564*c_1001_7^7 + 1320670379648394640141315738617573956148257325/52307229201033169471\ 48981193962470981626782*c_1001_7^6 + 7660261908308291903350231366748028022293675409/20922891680413267788\ 595924775849883926507128*c_1001_7^5 + 3328186635699274675047017126201135719056615465/10461445840206633894\ 297962387924941963253564*c_1001_7^4 + 389514913627997400958109346700499192340065787/261536146005165847357\ 4490596981235490813391*c_1001_7^3 + 69182613671283021221725458459712747673031876/2615361460051658473574\ 490596981235490813391*c_1001_7^2 - 165085101490218969134468139353678685741039771/209228916804132677885\ 95924775849883926507128*c_1001_7 - 75219179105249297755933878818002153844027383/2092289168041326778859\ 5924775849883926507128, c_0101_0 - 42072937428114503422822883593679789102833/209228916804132677\ 88595924775849883926507128*c_1001_7^15 - 360246263436191999498492266384908652573441/104614458402066338942979\ 62387924941963253564*c_1001_7^14 - 2906818121559905934062748967841095697182163/10461445840206633894297\ 962387924941963253564*c_1001_7^13 - 31258875120087814325449996169940339159188967/2092289168041326778859\ 5924775849883926507128*c_1001_7^12 - 15943192846409693543862856055533791030593850/2615361460051658473574\ 490596981235490813391*c_1001_7^11 - 217843061959444870505151345925798565155339689/104614458402066338942\ 97962387924941963253564*c_1001_7^10 - 1268512328947583978375694077077809013584302125/20922891680413267788\ 595924775849883926507128*c_1001_7^9 - 1393646322843789358209697433478408891241632049/10461445840206633894\ 297962387924941963253564*c_1001_7^8 - 2455207855352529694875435142291799954606763643/10461445840206633894\ 297962387924941963253564*c_1001_7^7 - 964431466304606242047325974336158039022761899/261536146005165847357\ 4490596981235490813391*c_1001_7^6 - 11047546782308312685808056312869697642750822717/2092289168041326778\ 8595924775849883926507128*c_1001_7^5 - 4265154290885277921280648433591151031900760161/10461445840206633894\ 297962387924941963253564*c_1001_7^4 - 395001032380148211883026462202676335645193151/261536146005165847357\ 4490596981235490813391*c_1001_7^3 - 28195148340092178602996283552386435608410487/2615361460051658473574\ 490596981235490813391*c_1001_7^2 + 233459578827113862586813834782467884382288315/209228916804132677885\ 95924775849883926507128*c_1001_7 + 48643422515439569579799898562758281216082963/2092289168041326778859\ 5924775849883926507128, c_0101_10 - 1221734963201402616676848230456237091133/418457833608265355\ 77191849551699767853014256*c_1001_7^15 - 6378067872573521124491965812917893462145/10461445840206633894297962\ 387924941963253564*c_1001_7^14 - 6091977505101784933016070149281436\ 1283905/10461445840206633894297962387924941963253564*c_1001_7^13 - 1479217216678555772601120241496035344519997/41845783360826535577191\ 849551699767853014256*c_1001_7^12 - 827455867366972996105043631527213607738095/523072292010331694714898\ 1193962470981626782*c_1001_7^11 - 119827070936877641158194527953811\ 36598606349/20922891680413267788595924775849883926507128*c_1001_7^1\ 0 - 73963964491811671784068099007990181222820221/418457833608265355\ 77191849551699767853014256*c_1001_7^9 - 23040849425497889538874600318444802220603545/5230722920103316947148\ 981193962470981626782*c_1001_7^8 - 43302040094848898662298663212287680393235813/5230722920103316947148\ 981193962470981626782*c_1001_7^7 - 273859606635459881168658766921941652065993491/209228916804132677885\ 95924775849883926507128*c_1001_7^6 - 800774994178825875023622160848768171237568823/418457833608265355771\ 91849551699767853014256*c_1001_7^5 - 446780024711345243235602720089295590962277025/209228916804132677885\ 95924775849883926507128*c_1001_7^4 - 58838509139493060796358475561725862733404161/1046144584020663389429\ 7962387924941963253564*c_1001_7^3 + 33660360316597461188984226622236308736029959/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 + 86968096201815276846211732461362284662341939/4184578336082653557719\ 1849551699767853014256*c_1001_7 + 145898994041619779504029490892495\ 4336383449/41845783360826535577191849551699767853014256, c_0101_11 - 33354449587880621659780797748182114647687/41845783360826535\ 577191849551699767853014256*c_1001_7^15 - 35748515836667523455282669477699402577138/2615361460051658473574490\ 596981235490813391*c_1001_7^14 - 5777637037756003748091378553199943\ 19529033/5230722920103316947148981193962470981626782*c_1001_7^13 - 24885233290196009878573983423181563353525275/4184578336082653557719\ 1849551699767853014256*c_1001_7^12 - 12707539731651308828731091359000411148972311/5230722920103316947148\ 981193962470981626782*c_1001_7^11 - 173784848360766734594822382384101209809890287/209228916804132677885\ 95924775849883926507128*c_1001_7^10 - 1012885163004918270159066387481652577134632111/41845783360826535577\ 191849551699767853014256*c_1001_7^9 - 557564432801227106229505254305571736294563637/104614458402066338942\ 97962387924941963253564*c_1001_7^8 - 983909978142569049460895893242385717938339851/104614458402066338942\ 97962387924941963253564*c_1001_7^7 - 3093604800425115970051766707871703090174030751/20922891680413267788\ 595924775849883926507128*c_1001_7^6 - 8863383355288906977752852458876468972299675969/41845783360826535577\ 191849551699767853014256*c_1001_7^5 - 3454576603427847942339373112225471751966106163/20922891680413267788\ 595924775849883926507128*c_1001_7^4 - 645216589234102975951443454484161164162219897/104614458402066338942\ 97962387924941963253564*c_1001_7^3 - 38571379766011262692269585321552951496404661/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 + 192446114870845753917884187637187772886920705/418457833608265355771\ 91849551699767853014256*c_1001_7 + 34884507022873455350717350254929144074525663/4184578336082653557719\ 1849551699767853014256, c_0101_13 + 9180541503758559582507493149940513639003/418457833608265355\ 77191849551699767853014256*c_1001_7^15 + 9693107341870865683669727959372943850526/26153614600516584735744905\ 96981235490813391*c_1001_7^14 + 15427337207687671234157074739168801\ 5807579/5230722920103316947148981193962470981626782*c_1001_7^13 + 6561565342036054495376659958979408663345167/41845783360826535577191\ 849551699767853014256*c_1001_7^12 + 3315872150487447210225129824245916211893293/52307229201033169471489\ 81193962470981626782*c_1001_7^11 + 45042616599857081170327393097190988449951163/2092289168041326778859\ 5924775849883926507128*c_1001_7^10 + 260656010204453815477767316828398413613394195/418457833608265355771\ 91849551699767853014256*c_1001_7^9 + 140975669331173494242191534721514890792001925/104614458402066338942\ 97962387924941963253564*c_1001_7^8 + 246870953709858951651215681206750949128058259/104614458402066338942\ 97962387924941963253564*c_1001_7^7 + 778345060735446874673348883122268494980104795/209228916804132677885\ 95924775849883926507128*c_1001_7^6 + 2224965102968418823002375570294124815566087069/41845783360826535577\ 191849551699767853014256*c_1001_7^5 + 808247715981815549508850303188900307189157599/209228916804132677885\ 95924775849883926507128*c_1001_7^4 + 175124599434393966668167246227978464667938197/104614458402066338942\ 97962387924941963253564*c_1001_7^3 + 39022201902487262748258416070885717615272369/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 - 5709355491476968565391554832338877914711581/41845783360826535577191\ 849551699767853014256*c_1001_7 - 1300182061633445121348162703787572\ 9376962547/41845783360826535577191849551699767853014256, c_0101_14 - 4588277690351369933823013058121218878927/261536146005165847\ 3574490596981235490813391*c_1001_7^15 - 153611578949083066566315074175591106141861/523072292010331694714898\ 1193962470981626782*c_1001_7^14 - 120894368012114547340473038147480\ 4784344641/5230722920103316947148981193962470981626782*c_1001_7^13 - 6353921591502422000153520716989015606418015/52307229201033169471489\ 81193962470981626782*c_1001_7^12 - 12692404263488553465220132035184888449329295/2615361460051658473574\ 490596981235490813391*c_1001_7^11 - 42658893626253358533686294718255473177870901/2615361460051658473574\ 490596981235490813391*c_1001_7^10 - 122038084214372019735428796787050006672525079/261536146005165847357\ 4490596981235490813391*c_1001_7^9 - 514785786793624812894380401414431572478077547/523072292010331694714\ 8981193962470981626782*c_1001_7^8 - 875125556304409612121468934410928315268221359/523072292010331694714\ 8981193962470981626782*c_1001_7^7 - 1350416280611181143271957540183543565195118237/52307229201033169471\ 48981193962470981626782*c_1001_7^6 - 1896645336459316456484248904744729440338981349/52307229201033169471\ 48981193962470981626782*c_1001_7^5 - 570199900176602688479673310718900831961301938/261536146005165847357\ 4490596981235490813391*c_1001_7^4 - 132135635178155692467226902802303984866260793/261536146005165847357\ 4490596981235490813391*c_1001_7^3 + 25125891004711833555682315527481352562871474/2615361460051658473574\ 490596981235490813391*c_1001_7^2 + 16826608868964226579137475240845579524124236/2615361460051658473574\ 490596981235490813391*c_1001_7 - 1183493527558090229483730314112172\ 458645305/5230722920103316947148981193962470981626782, c_0101_3 - 59871362584767187283619165964070615393/418457833608265355771\ 91849551699767853014256*c_1001_7^15 - 892662844852228606142056942130546027813/104614458402066338942979623\ 87924941963253564*c_1001_7^14 - 12278691402565488342532514079068340\ 217813/10461445840206633894297962387924941963253564*c_1001_7^13 - 352054130453607385329259734442415146544561/418457833608265355771918\ 49551699767853014256*c_1001_7^12 - 217617397050683140385330198924097307912965/523072292010331694714898\ 1193962470981626782*c_1001_7^11 - 333306610274616486314721711940637\ 6229937313/20922891680413267788595924775849883926507128*c_1001_7^10 - 21751645211979572505221931940836773015116865/41845783360826535577\ 191849551699767853014256*c_1001_7^9 - 7474751054598468562532620159632410957791481/52307229201033169471489\ 81193962470981626782*c_1001_7^8 - 147263649335092390397570966061584\ 23794942511/5230722920103316947148981193962470981626782*c_1001_7^7 - 98362087502342578679800837281856073012985575/2092289168041326778859\ 5924775849883926507128*c_1001_7^6 - 306002758164778899212981059262093340274047027/418457833608265355771\ 91849551699767853014256*c_1001_7^5 - 207044188376115308192335132226039120301753725/209228916804132677885\ 95924775849883926507128*c_1001_7^4 - 41508159331311804653122082881641255932329413/1046144584020663389429\ 7962387924941963253564*c_1001_7^3 - 34336135858684287259193142661813294118445569/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 - 31826970591297984466110077945780054969844017/4184578336082653557719\ 1849551699767853014256*c_1001_7 + 386708839264157832203498264933156\ 0159750349/41845783360826535577191849551699767853014256, c_0101_6 - 1221734963201402616676848230456237091133/4184578336082653557\ 7191849551699767853014256*c_1001_7^15 - 6378067872573521124491965812917893462145/10461445840206633894297962\ 387924941963253564*c_1001_7^14 - 6091977505101784933016070149281436\ 1283905/10461445840206633894297962387924941963253564*c_1001_7^13 - 1479217216678555772601120241496035344519997/41845783360826535577191\ 849551699767853014256*c_1001_7^12 - 827455867366972996105043631527213607738095/523072292010331694714898\ 1193962470981626782*c_1001_7^11 - 119827070936877641158194527953811\ 36598606349/20922891680413267788595924775849883926507128*c_1001_7^1\ 0 - 73963964491811671784068099007990181222820221/418457833608265355\ 77191849551699767853014256*c_1001_7^9 - 23040849425497889538874600318444802220603545/5230722920103316947148\ 981193962470981626782*c_1001_7^8 - 43302040094848898662298663212287680393235813/5230722920103316947148\ 981193962470981626782*c_1001_7^7 - 273859606635459881168658766921941652065993491/209228916804132677885\ 95924775849883926507128*c_1001_7^6 - 800774994178825875023622160848768171237568823/418457833608265355771\ 91849551699767853014256*c_1001_7^5 - 446780024711345243235602720089295590962277025/209228916804132677885\ 95924775849883926507128*c_1001_7^4 - 58838509139493060796358475561725862733404161/1046144584020663389429\ 7962387924941963253564*c_1001_7^3 + 33660360316597461188984226622236308736029959/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 + 86968096201815276846211732461362284662341939/4184578336082653557719\ 1849551699767853014256*c_1001_7 + 145898994041619779504029490892495\ 4336383449/41845783360826535577191849551699767853014256, c_1001_10 + 50791425268348385185864969439177463557979/41845783360826535\ 577191849551699767853014256*c_1001_7^15 + 217252200089521905677361588474111042264889/104614458402066338942979\ 62387924941963253564*c_1001_7^14 + 1751290714008705184444473257201107058124097/10461445840206633894297\ 962387924941963253564*c_1001_7^13 + 37632516949979618772326008916699114964852659/4184578336082653557719\ 1849551699767853014256*c_1001_7^12 + 19178845961168078258994620752067170912215389/5230722920103316947148\ 981193962470981626782*c_1001_7^11 + 261901275558123006415480309467495920500789091/209228916804132677885\ 95924775849883926507128*c_1001_7^10 + 1524139494890249686592321766673965450033972139/41845783360826535577\ 191849551699767853014256*c_1001_7^9 + 209020472510640562995048044793209288736767103/261536146005165847357\ 4490596981235490813391*c_1001_7^8 + 367824469302490161353634812262353559167105948/261536146005165847357\ 4490596981235490813391*c_1001_7^7 + 4621846930011733966326841086817561222008064441/20922891680413267788\ 595924775849883926507128*c_1001_7^6 + 13231710209327718393863260166862926313201969465/4184578336082653557\ 7191849551699767853014256*c_1001_7^5 + 5075731978342707900221923754956830311835414159/20922891680413267788\ 595924775849883926507128*c_1001_7^4 + 934787540286489871580662394326544178418552707/104614458402066338942\ 97962387924941963253564*c_1001_7^3 + 74209213594357451719715548887992790937237287/1046144584020663389429\ 7962387924941963253564*c_1001_7^2 - 232627259422555435678551632376048228024641669/418457833608265355771\ 91849551699767853014256*c_1001_7 - 62402338008005683808882446870587418357640263/4184578336082653557719\ 1849551699767853014256, c_1001_7^16 + 17*c_1001_7^15 + 136*c_1001_7^14 + 725*c_1001_7^13 + 2933*c_1001_7^12 + 9946*c_1001_7^11 + 28731*c_1001_7^10 + 62053*c_1001_7^9 + 107184*c_1001_7^8 + 166054*c_1001_7^7 + 234825*c_1001_7^6 + 162321*c_1001_7^5 + 38902*c_1001_7^4 - 12344*c_1001_7^3 - 9291*c_1001_7^2 - 608*c_1001_7 + 551 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 40854.970 Total time: 40855.300 seconds, Total memory usage: 23457.25MB