Magma V2.19-8 Wed Aug 21 2013 00:07:03 on localhost [Seed = 3599808573] Type ? for help. Type -D to quit. Loading file "K13n2240__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2240 geometric_solution 11.71059781 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.512634404686 1.096076910526 0 4 6 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399779864574 0.209094983053 6 0 3 6 2103 0132 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 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.820656236896 1.250252285341 5 2 0 0 0132 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631433701745 0.350060033448 7 1 8 9 0132 0132 0132 0132 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 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.589734341133 0.692835194190 3 10 1 10 0132 0132 0132 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 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.506037271088 0.663127847103 2 9 2 1 3012 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 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 1.290858462925 1.187388944737 4 9 8 11 0132 1302 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 1 0 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.862920924758 1.162628003373 7 12 11 4 2031 0132 3012 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 1 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233288387582 1.054185577587 12 6 4 7 0213 0132 0132 2031 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 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.794577522483 0.720950264160 5 5 11 12 3012 0132 1230 0132 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 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.722444754869 0.969857049748 12 8 7 10 3201 1230 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 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.459664774986 0.365811384093 9 8 10 11 0213 0132 0132 2310 0 0 0 0 0 1 -1 0 -1 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 -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.538941036122 0.743711017825 ==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_0101_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_12'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_11']), 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_12'], 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_1001_12'], '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_0011_11'], '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_6']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_11'], 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : negation(d['c_0011_6']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0011_10'], '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_0011_12'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_1001_1, c_1001_11, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9204662220356346090019074602739798658965258069920573003878763049105\ 970284554903/367921993771865872619187944583856312355278037982646767\ 154344698668403239*c_1001_12^18 + 113379804381841166389957518548309\ 277410196728167906199634985634588315234907486231/367921993771865872\ 619187944583856312355278037982646767154344698668403239*c_1001_12^17 + 60597383587974180079527403557981649109956444986121956623099300918\ 3106502768333158/36792199377186587261918794458385631235527803798264\ 6767154344698668403239*c_1001_12^16 + 1814181673269736013053033565312513370027906964807647972419459971345\ 444488021680630/367921993771865872619187944583856312355278037982646\ 767154344698668403239*c_1001_12^15 + 1402718089442064736500589503442639802251863914359711852204230598230\ 51103691997032/1599660842486373359213860628625462227631643643402812\ 0311058465159495793*c_1001_12^14 + 3156438396996181218462298998937035344109161121781601975665520307796\ 117004608029436/367921993771865872619187944583856312355278037982646\ 767154344698668403239*c_1001_12^13 + 8727112338323536353055557973569801867379190429210125345460493314965\ 28920689512597/3679219937718658726191879445838563123552780379826467\ 67154344698668403239*c_1001_12^12 - 1255328925596051539037879067948250369336971546567469476517473636371\ 1903762876447/37930102450707821919503911812768691995389488451819254\ 34580873182148487*c_1001_12^11 - 6884317367796234158851102783430791\ 585815931227839207893126985325907416617725452/159966084248637335921\ 38606286254622276316436434028120311058465159495793*c_1001_12^10 + 2408604666960506070533291377444813219214521089658506012087184332853\ 87342660865299/2830169182860506712455291881414279325809831061404975\ 1319564976820646403*c_1001_12^9 + 515445537628549354224112873538517\ 3520587546635265877857703895951266674587959547240/36792199377186587\ 2619187944583856312355278037982646767154344698668403239*c_1001_12^8 + 35389091214552940240424527745320054794691256569648855923778378362\ 2749927720413482/28301691828605067124552918814142793258098310614049\ 751319564976820646403*c_1001_12^7 + 2868997899376719984823585021954720356060738844991774178100058379659\ 819564925503515/367921993771865872619187944583856312355278037982646\ 767154344698668403239*c_1001_12^6 + 1358077259832889683938287484091187483590731462009734784717699646311\ 300069989669410/367921993771865872619187944583856312355278037982646\ 767154344698668403239*c_1001_12^5 + 4632793308078930485430443609637791814140738177050958073486973329673\ 93861123028733/3679219937718658726191879445838563123552780379826467\ 67154344698668403239*c_1001_12^4 + 9455014072555017741620119656916851339475076261782132472178559183080\ 3931256362670/36792199377186587261918794458385631235527803798264676\ 7154344698668403239*c_1001_12^3 + 439341378490547599260466269959791\ 189519017280999579233821612629183889638319623/159966084248637335921\ 38606286254622276316436434028120311058465159495793*c_1001_12^2 + 2792514685501927619028620923392470960300988595962151257681640080463\ 791716791837/367921993771865872619187944583856312355278037982646767\ 154344698668403239*c_1001_12 + 867556747792682266723085599709817953\ 335961275952732714786950082079196964078397/367921993771865872619187\ 944583856312355278037982646767154344698668403239, c_0011_0 - 1, c_0011_10 - 51218549151210620363365511407352916866846840702075198837388\ 13/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 - 57210594974259320472106113386801926399761352888578007698\ 584387/71531096167166251652198278005570737285967317136441542238043*\ c_1001_12^17 - 2715231726671308571763746086460865318700803276875429\ 86414192091/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^16 - 69837794201578337443173701376085741359048211396\ 1624429198904748/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^15 - 434632270175671343802694169605367938991324\ 89078402754803619869/3110047659442010941399925130676988577650752918\ 975719227741*c_1001_12^14 - 636722876241453147588438346661527343872\ 243241160703878998426943/715310961671662516521982780055707372859673\ 17136441542238043*c_1001_12^13 + 1781880491453059398787098680601822\ 86697494028410781126144980373/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^12 + 389365003943383602275047066047892178868034200501941221053517928/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 11 - 16928258366214229200474543132739290588988452027511798242274550\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^10 - 12504453433393923881097749887209403023446310750456322174328\ 51394/71531096167166251652198278005570737285967317136441542238043*c\ _1001_12^9 - 140032416410805210300122872701031405925745432030323471\ 1914444937/71531096167166251652198278005570737285967317136441542238\ 043*c_1001_12^8 - 1015588089047648149321755793896562016882087580590\ 776610660983693/715310961671662516521982780055707372859673171364415\ 42238043*c_1001_12^7 - 55304602828575487434212749731668773184766535\ 4655476472771882025/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^6 - 2227559133270337980914436616993006510791\ 36055636647469969161319/7153109616716625165219827800557073728596731\ 7136441542238043*c_1001_12^5 - 593770025266413291954154843068777339\ 64480824031379013439542330/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^4 - 967184796440141322870314314905428\ 1426197757045814108556057630/71531096167166251652198278005570737285\ 967317136441542238043*c_1001_12^3 - 55770361337782095773010363781304062251652120973671830758712/3110047\ 659442010941399925130676988577650752918975719227741*c_1001_12^2 - 310285188523657496136657793384251792005380354587333274079272/715310\ 96167166251652198278005570737285967317136441542238043*c_1001_12 - 81447956551329095961985962712875583694578705631114921536723/7153109\ 6167166251652198278005570737285967317136441542238043, c_0011_11 - 46071549989455000444546343489735501334422541700594934896603\ 92/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 - 52918925100805871206538666042864717690427852829664489237\ 402998/71531096167166251652198278005570737285967317136441542238043*\ c_1001_12^17 - 2597744344434278500777881530204536789586412902238238\ 63927563827/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^16 - 69760630248241577277143702775721090618482143257\ 9832502787776933/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^15 - 462163759133800660010436761896990855754146\ 62350085485458251383/3110047659442010941399925130676988577650752918\ 975719227741*c_1001_12^14 - 774577177161684550776814808326154625040\ 224171697423482490461402/715310961671662516521982780055707372859673\ 17136441542238043*c_1001_12^13 + 8212785566448383978207470392214929\ 2300813106759033355016838723/71531096167166251652198278005570737285\ 967317136441542238043*c_1001_12^12 + 443079265131420537167174619123391090099906459381619139942755713/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 11 - 12428106447370020507184659552618026633112434615965962638283354\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^10 - 12725749986037741104161406732172338547201292051024968596853\ 97123/71531096167166251652198278005570737285967317136441542238043*c\ _1001_12^9 - 154434276368316878250202676309153730060663587142116292\ 2225538194/71531096167166251652198278005570737285967317136441542238\ 043*c_1001_12^8 - 1165101606483600968437530612501501451470063472178\ 450974934541182/715310961671662516521982780055707372859673171364415\ 42238043*c_1001_12^7 - 65455957829024773711151214543172708047462536\ 0203826997195931577/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^6 - 2776514750104702062529039739913257638198\ 76807921483889492689295/7153109616716625165219827800557073728596731\ 7136441542238043*c_1001_12^5 - 794428362588209466547627271068901952\ 95078164849615017783769744/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^4 - 140837015879410690721417030652923\ 20157264132172375491140810989/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^3 - 104700607544139340334665151913580203042554214510358940700772/311004\ 7659442010941399925130676988577650752918975719227741*c_1001_12^2 - 577707536502351170724494400693186144393480120212835702141552/715310\ 96167166251652198278005570737285967317136441542238043*c_1001_12 - 118352721869884974959190924023687912719511362553952462580983/715310\ 96167166251652198278005570737285967317136441542238043, c_0011_12 + 65092521735980819480235063308340052896210531993613318853547\ 67/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 + 73513986329990527322933943420182912973798741481484306382\ 193254/71531096167166251652198278005570737285967317136441542238043*\ c_1001_12^17 + 3529149295918807401253877749845006391466309911164374\ 74657735191/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^16 + 91838662093388773573967360960404077779795989698\ 2438040154606997/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^15 + 578270235743481066624989503592625835341237\ 01940548764237063572/3110047659442010941399925130676988577650752918\ 975719227741*c_1001_12^14 + 856849028118866500605770730360341251382\ 887766299900314515002380/715310961671662516521982780055707372859673\ 17136441542238043*c_1001_12^13 - 2432087033283839254161956554656748\ 93337860054806099430180998490/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^12 - 542282772888614779335703426053857000975309542754791498839024195/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 11 + 22102014920532302682054478789306559853292882937078387444719174\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^10 + 16704698854060335029196999575809042869125384458648330576568\ 36664/71531096167166251652198278005570737285967317136441542238043*c\ _1001_12^9 + 185766462266564537033811016672091664822743752592743894\ 4469738119/71531096167166251652198278005570737285967317136441542238\ 043*c_1001_12^8 + 1335731254407620530207030311901925306724339256514\ 453900413700454/715310961671662516521982780055707372859673171364415\ 42238043*c_1001_12^7 + 72683841533543259889888693870642881778384701\ 6049929574873180331/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^6 + 2919720729248280906678022252618031368273\ 39403967596384304593958/7153109616716625165219827800557073728596731\ 7136441542238043*c_1001_12^5 + 764225958703190727624689164029028879\ 46830155591032002825276309/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^4 + 126315364247164779744614489795926\ 05906236197576138763287461014/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^3 + 86819708230475037243945608132497963512965097303166510115886/3110047\ 659442010941399925130676988577650752918975719227741*c_1001_12^2 + 331330779694987248345048442296617791816509574325128468726439/715310\ 96167166251652198278005570737285967317136441542238043*c_1001_12 + 85172422405011120613632223692112866852468814914080026976058/7153109\ 6167166251652198278005570737285967317136441542238043, c_0011_6 + 860935159816446650103975165144346875001413703761473625127752\ 9/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12^18 + 960854408673622002344866815694773625709970778488226992784\ 24475/71531096167166251652198278005570737285967317136441542238043*c\ _1001_12^17 + 45523102842732145878983678306174436100211973355039838\ 9942652952/71531096167166251652198278005570737285967317136441542238\ 043*c_1001_12^16 + 116720740765615633708892669753773821978891880573\ 7241754898472121/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^15 + 722099803341249303778234588847897266615920\ 76694287969765372604/3110047659442010941399925130676988577650752918\ 975719227741*c_1001_12^14 + 104058569017802855601795947617498890917\ 6209288043166185180765901/71531096167166251652198278005570737285967\ 317136441542238043*c_1001_12^13 - 316722612506888255132476868334848\ 078234608642352001966774010141/715310961671662516521982780055707372\ 85967317136441542238043*c_1001_12^12 - 642536133705873002539406612800321891544005022094710970609976094/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 11 + 29216993628643611918133033157743846580936243588297418564912652\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^10 + 20888332277790250522476289030979291216807854330647526583441\ 19411/71531096167166251652198278005570737285967317136441542238043*c\ _1001_12^9 + 231347742327955490408887284864205827322511628545661600\ 4561003635/71531096167166251652198278005570737285967317136441542238\ 043*c_1001_12^8 + 1668648041838786261062387011047724598928945328539\ 537959268842737/715310961671662516521982780055707372859673171364415\ 42238043*c_1001_12^7 + 90672243494430383835042827030614924806923073\ 2967311723191930820/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^6 + 3647094250585737466305914210351987914538\ 53108504420731374516969/7153109616716625165219827800557073728596731\ 7136441542238043*c_1001_12^5 + 976786836931256601835009983154271006\ 81714899048023342812069837/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^4 + 166112065701134581705800509315617\ 16880733935294710821041436496/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^3 + 111177833016258341984868328183668257907454534012934760290507/311004\ 7659442010941399925130676988577650752918975719227741*c_1001_12^2 + 606687545428037174690625225115838801568886309025187885542882/715310\ 96167166251652198278005570737285967317136441542238043*c_1001_12 + 127075214392476960931090545893518858490411846071743317497894/715310\ 96167166251652198278005570737285967317136441542238043, c_0101_0 + 230282027657741196067561178236547350985492943796172485625889\ 09/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 + 26019570007708300074481736922336253558055365671403399794\ 6757300/71531096167166251652198278005570737285967317136441542238043\ *c_1001_12^17 + 125161764211169131513168823363821359392137683482770\ 4262750261229/71531096167166251652198278005570737285967317136441542\ 238043*c_1001_12^16 + 327320831036229854270764620215790517481382510\ 1894456552028291192/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^15 + 208512294074510947154879750238332715163\ 104689280829188984847107/311004765944201094139992513067698857765075\ 2918975719227741*c_1001_12^14 + 32099188324757318080072116214490698\ 40170933449206144513147828921/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^13 - 697473992411249427995478202870059211877686853496330663761854459/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 12 - 19303609140713410227271551358011316250845677366601652164811728\ 52/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^11 + 72484469270227149063682624942181965105158016136742872493\ 877623/3110047659442010941399925130676988577650752918975719227741*c\ _1001_12^10 + 59168276278125406140491473090908143259839215561387474\ 40290571216/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^9 + 679600832135128779708212947635353745228362316990\ 2625366811756252/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^8 + 4988871826221205364987653311963222362803739\ 922070573743844978990/715310961671662516521982780055707372859673171\ 36441542238043*c_1001_12^7 + 27469943733455514710920645276981675156\ 00084289572558026667597694/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^6 + 112781423980084208524055309755312\ 7827312530802674141535451607958/71531096167166251652198278005570737\ 285967317136441542238043*c_1001_12^5 + 308835337281142103250978444882312514852561658149154441022587531/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 4 + 52714187561691646038021398720526097726090292129255032638440961/\ 71531096167166251652198278005570737285967317136441542238043*c_1001_\ 12^3 + 366230992938400385596491413450662649986017396775828044688232\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^2 + 187750077233443333876466623783662969628730460289392873912206\ 3/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12 + 414374269238437825876933161886696479833931253317765456236170\ /71531096167166251652198278005570737285967317136441542238043, c_0101_1 + 546833753130378003300896883441241297377790551151784570516101\ 24/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 + 61561528975005557020719876884523601987723707880579270611\ 3015074/71531096167166251652198278005570737285967317136441542238043\ *c_1001_12^17 + 294816076410624331481443740273074158098084025694460\ 3384847279520/71531096167166251652198278005570737285967317136441542\ 238043*c_1001_12^16 + 766531128111594192747214235659967423732971001\ 0450252336198661020/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^15 + 484002896692515015575380471723124255473\ 560211909751507981537499/311004765944201094139992513067698857765075\ 2918975719227741*c_1001_12^14 + 72962807050846730903045461439122106\ 10512218465679305956871818639/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^13 - 1805006201271829355560881112202056242589119799881410733977054905/71\ 531096167166251652198278005570737285967317136441542238043*c_1001_12\ ^12 - 4460065234631715171469445256041019358090958810578068948001399\ 656/71531096167166251652198278005570737285967317136441542238043*c_1\ 001_12^11 + 1770861231864645352676914658554708695939756449864222622\ 80197799/3110047659442010941399925130676988577650752918975719227741\ *c_1001_12^10 + 138485306759985030824480296462430452850962649534262\ 27978761588563/7153109616716625165219827800557073728596731713644154\ 2238043*c_1001_12^9 + 156887429235897218507382509720139515346138442\ 40875750429187577686/7153109616716625165219827800557073728596731713\ 6441542238043*c_1001_12^8 + 114165327294968939311542884752955168717\ 51518557086924046111192402/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^7 + 624680351218686200367084243600801\ 5220009291324121779926817639806/71531096167166251652198278005570737\ 285967317136441542238043*c_1001_12^6 + 2544081696529785161756387044000100873052793473841696078603910707/71\ 531096167166251652198278005570737285967317136441542238043*c_1001_12\ ^5 + 68815118726300020798400083736503664802779422780786260077460987\ 4/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12^4 + 1173357380133685641618990671960168483614955251605245696391\ 12550/71531096167166251652198278005570737285967317136441542238043*c\ _1001_12^3 + 853344635140193125644086013739356374695831976988346606\ 893493/3110047659442010941399925130676988577650752918975719227741*c\ _1001_12^2 + 437766026142829889643374480902498177170433023744641021\ 0574436/71531096167166251652198278005570737285967317136441542238043\ *c_1001_12 + 921224971038606791929754876638681782244374202285635030\ 703106/71531096167166251652198278005570737285967317136441542238043, c_0101_10 + 12508577198167899841534210609643075627128371629083525663377\ 430/71531096167166251652198278005570737285967317136441542238043*c_1\ 001_12^18 + 1407676818350871854053934983681006735429676690781948055\ 02857350/7153109616716625165219827800557073728596731713644154223804\ 3*c_1001_12^17 + 67394267867337817228886516205393001946340881599048\ 0749061605895/71531096167166251652198278005570737285967317136441542\ 238043*c_1001_12^16 + 175223181179880881861901553972385143918393014\ 4209155670069790320/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^15 + 110717147529852723079415054504308979752\ 682931469381147144547856/311004765944201094139992513067698857765075\ 2918975719227741*c_1001_12^14 + 16755767317592224117928511874189343\ 74177084410172260963965309541/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^13 - 400017388057730551064041879629669270728699097918485189944434846/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 12 - 10135624430581155194510409607031991764794237936318284252582903\ 30/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^11 + 40192280943976745518005155992465706037790172901707894795\ 040442/3110047659442010941399925130676988577650752918975719227741*c\ _1001_12^10 + 31597402926143306853557638833552857123364505919003217\ 93023441487/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^9 + 359355290420033791255470183923278871948859299455\ 5029414555656257/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^8 + 2624263170609869863418539371332340455870108\ 243334061528621096095/715310961671662516521982780055707372859673171\ 36441542238043*c_1001_12^7 + 14406408493396107527219177342183222470\ 69392542021399199475051183/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^6 + 590308051124221453905887876859215\ 901101016984060073802897699767/715310961671662516521982780055707372\ 85967317136441542238043*c_1001_12^5 + 161799929133063661363501904698860910864144475886632690763846142/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 4 + 28251057837182930244440102065439369720076772282442891983460272/\ 71531096167166251652198278005570737285967317136441542238043*c_1001_\ 12^3 + 213998778136037934574796175062999053447990915709886120549534\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^2 + 111449179642789494505181336414615576589597479238180122499460\ 8/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12 + 212847641410176802179274661312735765807597250863233054994054\ /71531096167166251652198278005570737285967317136441542238043, c_0101_11 - 12345126913116267648552909638593514046279139613365120277747\ 150/71531096167166251652198278005570737285967317136441542238043*c_1\ 001_12^18 - 1402202828268659102079163758547424731480849923566872298\ 60213924/7153109616716625165219827800557073728596731713644154223804\ 3*c_1001_12^17 - 67894051905284595521668404539249261552235469376501\ 4629951660922/71531096167166251652198278005570737285967317136441542\ 238043*c_1001_12^16 - 179100419057335797424125922455716099885338694\ 6208849327252342596/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^15 - 115582879229972570350698071678684940950\ 004233161947408148504185/311004765944201094139992513067698857765075\ 2918975719227741*c_1001_12^14 - 18317963696849444423234858714099465\ 83431342822140077282288324139/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^13 + 326534008501164724731434861021238285825768560631792502662086873/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 12 + 10821768848280764944117588886932885593005747539765585279009631\ 58/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^11 - 37200100846222304313169211110933561083087058668751909073\ 251915/3110047659442010941399925130676988577650752918975719227741*c\ _1001_12^10 - 32473093917012802342464124168484187715475679672833872\ 17203036118/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^9 - 379787538072892817603311030599928291606270812612\ 9789215220481042/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^8 - 2814909227488442228774718050711362993546249\ 243928991891826808713/715310961671662516521982780055707372859673171\ 36441542238043*c_1001_12^7 - 15611240782114294891336631626696361883\ 43878482887925460480653510/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^6 - 648460432611018073974936509757127\ 716720677687983244228450173325/715310961671662516521982780055707372\ 85967317136441542238043*c_1001_12^5 - 181330280693062478157985151622013753306060825899877977896771528/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 4 - 32121175312881092252509752399500442356252848638507998804416236/\ 71531096167166251652198278005570737285967317136441542238043*c_1001_\ 12^3 - 237939510763646884827613819461615396979045552250091667760773\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^2 - 134222176754274839499135684481833517194740133877797604653185\ 7/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12 - 274825900957140885907909583035823408692059008881428587802337\ /71531096167166251652198278005570737285967317136441542238043, c_0101_2 + 237160842363681313862822729175079538163357794514574814028432\ 19/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 + 26761591081361718654974074192611446176005860415045970794\ 8481956/71531096167166251652198278005570737285967317136441542238043\ *c_1001_12^17 + 128506321575166916919405083122042647520842518089323\ 6137071946625/71531096167166251652198278005570737285967317136441542\ 238043*c_1001_12^16 + 335208507631486344625677668370937197037308606\ 6348983055772347501/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^15 + 212583862380066277332631993645844962023\ 705001070739991762754036/311004765944201094139992513067698857765075\ 2918975719227741*c_1001_12^14 + 32321961401422936136003172832176176\ 49458386431867700454094343273/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^13 - 768925803766081265123464154469802504301908556989070390102771800/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 12 - 19774717823141428633350385426332573360345342707880637158982534\ 45/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^11 + 76097834754079211903160964919665457808161312760238588527\ 407356/3110047659442010941399925130676988577650752918975719227741*c\ _1001_12^10 + 60715101319791103018556828749368131407614530642596952\ 61727363326/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^9 + 690666108254523146785578044998442463579451567388\ 9194519377838432/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^8 + 5030610561980768021629838760657454319131803\ 203701271985479534328/715310961671662516521982780055707372859673171\ 36441542238043*c_1001_12^7 + 27530848899064240092917950732649138001\ 01623651013069542250026527/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^6 + 112187354300007487426986579167703\ 1248193048268827935558596264749/71531096167166251652198278005570737\ 285967317136441542238043*c_1001_12^5 + 302849159853960232440443221229036418691377593396448958864095789/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 4 + 51104031484018142587458878579190832453309827400152432275227497/\ 71531096167166251652198278005570737285967317136441542238043*c_1001_\ 12^3 + 374898406845085750079151833366460458937063576225482229406582\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^2 + 193614535161590818798290469559102118961864392551964597952111\ 8/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12 + 420863948438706901241219672162970360880604669290573046139272\ /71531096167166251652198278005570737285967317136441542238043, c_1001_1 + 950480237590053752083086509264801031626450050599619812727780\ 55/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^18 + 10695258348290468905533101476397023569545546756670248581\ 55284963/7153109616716625165219827800557073728596731713644154223804\ 3*c_1001_12^17 + 51187449371021199125656307715416581332327925587323\ 93016228668838/7153109616716625165219827800557073728596731713644154\ 2238043*c_1001_12^16 + 13298165904237531990030338355355020491990788\ 163584811535936087364/715310961671662516521982780055707372859673171\ 36441542238043*c_1001_12^15 + 8387522316380652772853941725118542133\ 36203392077712037743300348/3110047659442010941399925130676988577650\ 752918975719227741*c_1001_12^14 + 126196770825152013822656216214434\ 05504504981601061592709623179511/7153109616716625165219827800557073\ 7285967317136441542238043*c_1001_12^13 - 3140538824144064753220513118907578284906594721380575617664344866/71\ 531096167166251652198278005570737285967317136441542238043*c_1001_12\ ^12 - 7696850573396227431730310112546682058952256606190809593348087\ 113/71531096167166251652198278005570737285967317136441542238043*c_1\ 001_12^11 + 3085410453982100920149960425158728624597362042609137745\ 42837433/3110047659442010941399925130676988577650752918975719227741\ *c_1001_12^10 + 239969308372408260598027266282298908063039740973770\ 33414649079612/7153109616716625165219827800557073728596731713644154\ 2238043*c_1001_12^9 + 271697239700140163276441393340348110876389769\ 46437155901531608513/7153109616716625165219827800557073728596731713\ 6441542238043*c_1001_12^8 + 197824276966485668736409369460920241802\ 49674129295017251110319956/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^7 + 108320235153443473001023873810390\ 94021397550044040032996458596250/7153109616716625165219827800557073\ 7285967317136441542238043*c_1001_12^6 + 4414933903564072917267105412627202613000817668743237646305586927/71\ 531096167166251652198278005570737285967317136441542238043*c_1001_12\ ^5 + 11978170784332413266378177942281223510460458348477158835555332\ 91/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^4 + 205571493445805475066019091361278982775181320263234987925\ 672739/71531096167166251652198278005570737285967317136441542238043*\ c_1001_12^3 + 14870563345050520633870635023514053364105311093033826\ 86188682/3110047659442010941399925130676988577650752918975719227741\ *c_1001_12^2 + 7591966447097933918347098064601270567541428305953538\ 928800222/715310961671662516521982780055707372859673171364415422380\ 43*c_1001_12 + 1639351800474818233822198950756317855766704260055316\ 263208341/715310961671662516521982780055707372859673171364415422380\ 43, c_1001_11 - 17725581991602945230454756931022487893987903320010797546300\ 188/71531096167166251652198278005570737285967317136441542238043*c_1\ 001_12^18 - 2011080707399429680950487094116969007844503195558999277\ 26378294/7153109616716625165219827800557073728596731713644154223804\ 3*c_1001_12^17 - 97219505160984729451593242708689040090497417446086\ 2542825815914/71531096167166251652198278005570737285967317136441542\ 238043*c_1001_12^16 - 255837072566256241675453591007494331109996608\ 2733770043318516428/71531096167166251652198278005570737285967317136\ 441542238043*c_1001_12^15 - 164409476807938334430409680761663015881\ 548661273127375619709050/311004765944201094139992513067698857765075\ 2918975719227741*c_1001_12^14 - 25767923211079437272821947357150039\ 14780302392473822608777778340/7153109616716625165219827800557073728\ 5967317136441542238043*c_1001_12^13 + 504401337043981538474884695217170667414248768879730468655733997/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 12 + 15429258458548682671826715677697085759347979876080529204479391\ 43/71531096167166251652198278005570737285967317136441542238043*c_10\ 01_12^11 - 54556128984871409739198733295089601967774977903538679472\ 264665/3110047659442010941399925130676988577650752918975719227741*c\ _1001_12^10 - 46446811369689377984336779590939527138256748164454570\ 15610579784/7153109616716625165219827800557073728596731713644154223\ 8043*c_1001_12^9 - 538376504267399441539239016606776366826643205050\ 1019705904805141/71531096167166251652198278005570737285967317136441\ 542238043*c_1001_12^8 - 3965766507689264809698730274265258052710883\ 649471153840639158970/715310961671662516521982780055707372859673171\ 36441542238043*c_1001_12^7 - 21908216585183758641924797285497103089\ 20398747139690001327621274/7153109616716625165219827800557073728596\ 7317136441542238043*c_1001_12^6 - 905377515492236297854840643348963\ 070270201156157444747901305938/715310961671662516521982780055707372\ 85967317136441542238043*c_1001_12^5 - 250313005567860920284082019560515024827627967408747140302843192/715\ 31096167166251652198278005570737285967317136441542238043*c_1001_12^\ 4 - 43778170220946749842714764848601321760564002744928452120737297/\ 71531096167166251652198278005570737285967317136441542238043*c_1001_\ 12^3 - 324804300575528504331134218100409442730678340584425063252234\ /3110047659442010941399925130676988577650752918975719227741*c_1001_\ 12^2 - 172972562248523261857231963857935996420306651538496713024556\ 4/71531096167166251652198278005570737285967317136441542238043*c_100\ 1_12 - 348126132500827850819322130494541455846437454431277682169736\ /71531096167166251652198278005570737285967317136441542238043, c_1001_12^19 + 78035/6421*c_1001_12^18 + 410925/6421*c_1001_12^17 + 1210356/6421*c_1001_12^16 + 2114674/6421*c_1001_12^15 + 2031322/6421*c_1001_12^14 + 560857/6421*c_1001_12^13 - 710622/6421*c_1001_12^12 + 7260/6421*c_1001_12^11 + 2052099/6421*c_1001_12^10 + 3301364/6421*c_1001_12^9 + 2997541/6421*c_1001_12^8 + 1941136/6421*c_1001_12^7 + 960353/6421*c_1001_12^6 + 350717/6421*c_1001_12^5 + 86975/6421*c_1001_12^4 + 14814/6421*c_1001_12^3 + 2595/6421*c_1001_12^2 + 570/6421*c_1001_12 + 97/6421 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 30.970 Total time: 31.190 seconds, Total memory usage: 142.03MB