Magma V2.19-8 Wed Aug 21 2013 00:04:19 on localhost [Seed = 2530277584] Type ? for help. Type -D to quit. Loading file "K13n1965__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1965 geometric_solution 11.92708974 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -2 2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.774730482021 1.001100181587 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 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 0 3 -3 0 0 0 0 1 -3 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771857109231 1.542043031589 0 0 8 7 2031 0132 0132 0132 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 -1 1 0 1 0 -1 0 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516521354045 0.624747020404 9 10 0 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472700162723 0.547363437754 5 1 6 9 0213 0132 2310 0321 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 2 -2 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513156682886 0.685924826533 4 9 1 10 0213 2310 0132 1230 0 0 0 0 0 1 -1 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 -3 3 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.174798648000 0.634820814182 10 4 12 1 2310 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.057034742762 0.618591186443 11 11 2 8 3012 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.639506596494 1.111222495402 7 12 11 2 3120 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485730635727 0.346692477200 3 4 12 5 0132 0321 0213 3201 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029369770462 0.734725733630 5 3 6 12 3012 0132 3201 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.239884895142 0.913326380264 8 7 3 7 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610954633137 0.676014861708 8 9 10 6 1230 0213 1230 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331910383481 0.803493800523 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : negation(d['c_1001_1']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : negation(d['c_0101_12']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_5']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : d['1'], 's_3_10' : 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_0011_12'], 'c_0101_10' : negation(d['c_0101_1']), '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' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_8']), 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0101_12']), 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0101_12']), 's_3_1' : negation(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_0110_10'], '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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_11'], '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_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_12'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], '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_5, c_0011_6, c_0011_8, c_0101_1, c_0101_12, c_0101_2, c_0101_7, c_0110_10, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 11885626287249041632913048961760651734996986217537216/2216448556111\ 5776803718036287105859688786117121*c_1001_1^24 - 8507448876376899633808135906920914198307686133568992/22164485561115\ 776803718036287105859688786117121*c_1001_1^23 + 27050852886500577775966514914892243444026886032714112/2216448556111\ 5776803718036287105859688786117121*c_1001_1^22 - 71013861098143273095753288521546173413993541226007848/2216448556111\ 5776803718036287105859688786117121*c_1001_1^21 - 62319546215981356822107349699889308268534202148083084/2216448556111\ 5776803718036287105859688786117121*c_1001_1^20 - 132057571411746315462836934617326554144149389631931818/221644855611\ 15776803718036287105859688786117121*c_1001_1^19 - 108773119448847732863337052724642837707925038082149307/221644855611\ 15776803718036287105859688786117121*c_1001_1^18 + 160818227758646521293530417638019628399832766024775029/221644855611\ 15776803718036287105859688786117121*c_1001_1^17 + 885544065602991222501242223346830877451568527335259/540597208807701\ 873261415519197703894848441881*c_1001_1^16 + 137917085681905224957106196137327305722137158218618302/221644855611\ 15776803718036287105859688786117121*c_1001_1^15 - 425594052210484111243983387354821082709859056548208816/221644855611\ 15776803718036287105859688786117121*c_1001_1^14 - 635212698580356717933334538837945604538058760485232573/221644855611\ 15776803718036287105859688786117121*c_1001_1^13 - 8844694129577304744466305993052865651761817856939907/31217585297346\ 1645122789243480364220968818551*c_1001_1^12 - 454663746588087527189317561640034523539457588754999526/221644855611\ 15776803718036287105859688786117121*c_1001_1^11 + 160488534360051119014132708639354458307186063307150299/221644855611\ 15776803718036287105859688786117121*c_1001_1^10 + 195093751777099203587775401906531690632628301794282556/221644855611\ 15776803718036287105859688786117121*c_1001_1^9 + 336405705354679733059054600299305737211277517640540935/221644855611\ 15776803718036287105859688786117121*c_1001_1^8 + 11002402336540344381402957849689662415054887262893/1166551871637672\ 463353580857216097878357164059*c_1001_1^7 - 2195902103002750299720943382517356970773437265163279/11665518716376\ 72463353580857216097878357164059*c_1001_1^6 - 105709251239689569968740907475076557445661275606173363/221644855611\ 15776803718036287105859688786117121*c_1001_1^5 + 23055525872938124441153105857553862475095213858963481/2216448556111\ 5776803718036287105859688786117121*c_1001_1^4 + 9966245317982473907987327743876957000484295137851624/22164485561115\ 776803718036287105859688786117121*c_1001_1^3 + 9159642595854469017369607928411581069141287910137813/22164485561115\ 776803718036287105859688786117121*c_1001_1^2 - 7046738019487959568568322017225759293628203937972430/22164485561115\ 776803718036287105859688786117121*c_1001_1 + 1154998693996224640594615641744347935032123796260549/22164485561115\ 776803718036287105859688786117121, c_0011_0 - 1, c_0011_10 - 6909854468042690089617253418443063680/171564813262389554624\ 90717351852759*c_1001_1^24 + 5137243804042645020422162545325199712/\ 17156481326238955462490717351852759*c_1001_1^23 - 15962069563167295692503778419102150304/1715648132623895546249071735\ 1852759*c_1001_1^22 + 41645797419383085136382319800633794720/171564\ 81326238955462490717351852759*c_1001_1^21 + 34861461891045060226433748443530073204/1715648132623895546249071735\ 1852759*c_1001_1^20 + 76031660730637854023663668696571080132/171564\ 81326238955462490717351852759*c_1001_1^19 + 62265982534707168965796837578816513667/1715648132623895546249071735\ 1852759*c_1001_1^18 - 92919294710361474961777771664244181719/171564\ 81326238955462490717351852759*c_1001_1^17 - 15113777177495493751853624283830110142/1715648132623895546249071735\ 1852759*c_1001_1^16 - 77847569846832806554649484420368912352/171564\ 81326238955462490717351852759*c_1001_1^15 + 249490867267228101849405388693340515693/171564813262389554624907173\ 51852759*c_1001_1^14 + 360777438614496992325942569874749568389/1715\ 6481326238955462490717351852759*c_1001_1^13 + 356182565481250865189432906084518047828/171564813262389554624907173\ 51852759*c_1001_1^12 + 263107804521859333113043893640072663307/1715\ 6481326238955462490717351852759*c_1001_1^11 - 84932683854274711880819610339492659140/1715648132623895546249071735\ 1852759*c_1001_1^10 - 91799124664454664797988009187721296822/171564\ 81326238955462490717351852759*c_1001_1^9 - 177574702157010558494477030196709351040/171564813262389554624907173\ 51852759*c_1001_1^8 + 12561217146546671562120909096873483651/171564\ 81326238955462490717351852759*c_1001_1^7 + 24444813108232290454608342074530104611/1715648132623895546249071735\ 1852759*c_1001_1^6 + 57934823890456875267071557966008129506/1715648\ 1326238955462490717351852759*c_1001_1^5 - 17232921302987090620636390238954310917/1715648132623895546249071735\ 1852759*c_1001_1^4 - 5826134916481137052052351447002940894/17156481\ 326238955462490717351852759*c_1001_1^3 - 4770655855530353336521686625584062702/17156481326238955462490717351\ 852759*c_1001_1^2 + 4425519287117266971430611181345419634/171564813\ 26238955462490717351852759*c_1001_1 - 781954777949838607840805880341559307/171564813262389554624907173518\ 52759, c_0011_11 - 8258926671478379350394061010373599392/171564813262389554624\ 90717351852759*c_1001_1^24 + 4247277992063800364717251846365400832/\ 17156481326238955462490717351852759*c_1001_1^23 - 18433349457533743678398168559608083248/1715648132623895546249071735\ 1852759*c_1001_1^22 + 45728339362690492554860422360744768404/171564\ 81326238955462490717351852759*c_1001_1^21 + 51452492894358006282435377248655222356/1715648132623895546249071735\ 1852759*c_1001_1^20 + 104501041609764844512612559053564732363/17156\ 481326238955462490717351852759*c_1001_1^19 + 100471605329543235964034902792692478652/171564813262389554624907173\ 51852759*c_1001_1^18 - 84112469382362098131966860722028244179/17156\ 481326238955462490717351852759*c_1001_1^17 - 33764680049979793348801615087712924729/1715648132623895546249071735\ 1852759*c_1001_1^16 - 104911102822990774171054517524282190133/17156\ 481326238955462490717351852759*c_1001_1^15 + 272076738789087637284585792390607849283/171564813262389554624907173\ 51852759*c_1001_1^14 + 489402099787405956093189026085709503933/1715\ 6481326238955462490717351852759*c_1001_1^13 + 548883910348798520699098231704885167343/171564813262389554624907173\ 51852759*c_1001_1^12 + 460080888741780302632811234702682852999/1715\ 6481326238955462490717351852759*c_1001_1^11 + 24213102235528250875616047036991385542/1715648132623895546249071735\ 1852759*c_1001_1^10 - 89129729363343489208666320478757396299/171564\ 81326238955462490717351852759*c_1001_1^9 - 236236678777805716253319570946862396614/171564813262389554624907173\ 51852759*c_1001_1^8 - 47084181936212011803489845431206301847/171564\ 81326238955462490717351852759*c_1001_1^7 + 6690489066072244346831523653897940795/17156481326238955462490717351\ 852759*c_1001_1^6 + 68062562200070847502107639776532141019/17156481\ 326238955462490717351852759*c_1001_1^5 - 4014633694901365565262384475173069144/17156481326238955462490717351\ 852759*c_1001_1^4 - 4656675636979444961975523630495709642/171564813\ 26238955462490717351852759*c_1001_1^3 - 6647185404293177139113558643243805769/17156481326238955462490717351\ 852759*c_1001_1^2 + 3495750063139396107782082722442259672/171564813\ 26238955462490717351852759*c_1001_1 - 430286544804379008826464342317157728/171564813262389554624907173518\ 52759, c_0011_12 - 178718107693265319140991486277927840/1715648132623895546249\ 0717351852759*c_1001_1^24 + 364156464491410198126049787823616576/17\ 156481326238955462490717351852759*c_1001_1^23 - 604910008638255200419702631556770576/171564813262389554624907173518\ 52759*c_1001_1^22 + 1569488013285803952486418909814618196/171564813\ 26238955462490717351852759*c_1001_1^21 - 535804660201863650599534206858590756/171564813262389554624907173518\ 52759*c_1001_1^20 + 792988972134800830770140044299203639/1715648132\ 6238955462490717351852759*c_1001_1^19 - 573446660605776082476617858290967790/171564813262389554624907173518\ 52759*c_1001_1^18 - 3798178150286874027071995361742160458/171564813\ 26238955462490717351852759*c_1001_1^17 + 3853465556105105746192399572661015005/17156481326238955462490717351\ 852759*c_1001_1^16 - 643630865401539646411278727420580349/171564813\ 26238955462490717351852759*c_1001_1^15 + 8970881103807718862043774279248017542/17156481326238955462490717351\ 852759*c_1001_1^14 + 503012627901162100423921135904062703/171564813\ 26238955462490717351852759*c_1001_1^13 - 3024235947371434181839662954055135491/17156481326238955462490717351\ 852759*c_1001_1^12 - 2588433963639087494875406315060947464/17156481\ 326238955462490717351852759*c_1001_1^11 - 5935750967462461250722007917673947686/17156481326238955462490717351\ 852759*c_1001_1^10 + 6958983940633716291347402650244095677/17156481\ 326238955462490717351852759*c_1001_1^9 + 4106575960049150309425876206746516922/17156481326238955462490717351\ 852759*c_1001_1^8 + 8907464121386321816808654943064199168/171564813\ 26238955462490717351852759*c_1001_1^7 + 416403762137162390129765399098609040/171564813262389554624907173518\ 52759*c_1001_1^6 - 695054029191814699122278094794487560/17156481326\ 238955462490717351852759*c_1001_1^5 - 3355052440341656163300912428339001733/17156481326238955462490717351\ 852759*c_1001_1^4 + 93298395576981197675096395611106114/17156481326\ 238955462490717351852759*c_1001_1^3 + 298761036779350410073284941223634548/171564813262389554624907173518\ 52759*c_1001_1^2 + 346901136075708742531792675446787482/17156481326\ 238955462490717351852759*c_1001_1 - 117596433174262443658615597180789152/171564813262389554624907173518\ 52759, c_0011_5 + 4343271097118402459296309031805938784/1715648132623895546249\ 0717351852759*c_1001_1^24 - 3151685478054725666093909663621579648/1\ 7156481326238955462490717351852759*c_1001_1^23 + 9922219743621838964492926216740188496/17156481326238955462490717351\ 852759*c_1001_1^22 - 26031490056143417479896617634403584972/1715648\ 1326238955462490717351852759*c_1001_1^21 - 22501364366350900369994702374904308860/1715648132623895546249071735\ 1852759*c_1001_1^20 - 48023532430166770865729868313220575325/171564\ 81326238955462490717351852759*c_1001_1^19 - 39392469934960941271353857007088197176/1715648132623895546249071735\ 1852759*c_1001_1^18 + 58908545934341324786872058605444849741/171564\ 81326238955462490717351852759*c_1001_1^17 + 12271718338676927233446255189285865355/1715648132623895546249071735\ 1852759*c_1001_1^16 + 49883407583214767454485185127081206823/171564\ 81326238955462490717351852759*c_1001_1^15 - 156068540983875511315447021126581189077/171564813262389554624907173\ 51852759*c_1001_1^14 - 230504598620312921553160282627709185793/1715\ 6481326238955462490717351852759*c_1001_1^13 - 227165546509683174023875691967271693001/171564813262389554624907173\ 51852759*c_1001_1^12 - 164718083334632954821703510645431401660/1715\ 6481326238955462490717351852759*c_1001_1^11 + 58455863014959927518563828833749683735/1715648132623895546249071735\ 1852759*c_1001_1^10 + 68272586866589402724269712931542641460/171564\ 81326238955462490717351852759*c_1001_1^9 + 119792823711522346253996528735988249890/171564813262389554624907173\ 51852759*c_1001_1^8 - 2667886598547638263520900946107260651/1715648\ 1326238955462490717351852759*c_1001_1^7 - 15893973041191359603417535812482248527/1715648132623895546249071735\ 1852759*c_1001_1^6 - 38414378952936860976165818196778874228/1715648\ 1326238955462490717351852759*c_1001_1^5 + 9000100756085016859790024074322627031/17156481326238955462490717351\ 852759*c_1001_1^4 + 3673925680642861686086856480257735311/171564813\ 26238955462490717351852759*c_1001_1^3 + 3313326941598741465587838208080993525/17156481326238955462490717351\ 852759*c_1001_1^2 - 2620871364458612970092016062136649607/171564813\ 26238955462490717351852759*c_1001_1 + 438588488797906737734359549976760914/171564813262389554624907173518\ 52759, c_0011_6 - 2964196283063721862397490241302223104/1715648132623895546249\ 0717351852759*c_1001_1^24 + 2248524606113596715287201489780167360/1\ 7156481326238955462490717351852759*c_1001_1^23 - 6874669393665735520273413797862261632/17156481326238955462490717351\ 852759*c_1001_1^22 + 17976886779332136675230982242562873440/1715648\ 1326238955462490717351852759*c_1001_1^21 + 14688879074395256679639851946434162760/1715648132623895546249071735\ 1852759*c_1001_1^20 + 32381398209145134232901575751559289424/171564\ 81326238955462490717351852759*c_1001_1^19 + 26112207354406976181045875974873320002/1715648132623895546249071735\ 1852759*c_1001_1^18 - 40396921950889934244981186056216384596/171564\ 81326238955462490717351852759*c_1001_1^17 - 6056557256743260824006775554132780033/17156481326238955462490717351\ 852759*c_1001_1^16 - 33312488790178996242776525739789391326/1715648\ 1326238955462490717351852759*c_1001_1^15 + 107749298106794218417973215968321929557/171564813262389554624907173\ 51852759*c_1001_1^14 + 153267719297433533359518383156335677908/1715\ 6481326238955462490717351852759*c_1001_1^13 + 150366010640489099775597380121552097964/171564813262389554624907173\ 51852759*c_1001_1^12 + 109806778346889942951171715957360212565/1715\ 6481326238955462490717351852759*c_1001_1^11 - 39100611705562322621436925779087161794/1715648132623895546249071735\ 1852759*c_1001_1^10 - 39600618391561628549922269056681388239/171564\ 81326238955462490717351852759*c_1001_1^9 - 75850881297928282992127336038722119391/1715648132623895546249071735\ 1852759*c_1001_1^8 + 6931069627851656553438739362835627073/17156481\ 326238955462490717351852759*c_1001_1^7 + 10895780582951689699925011306208641273/1715648132623895546249071735\ 1852759*c_1001_1^6 + 25109363331975377273991714365984135794/1715648\ 1326238955462490717351852759*c_1001_1^5 - 7741759727567578027371463794409269570/17156481326238955462490717351\ 852759*c_1001_1^4 - 2457420014548548527652743608540554995/171564813\ 26238955462490717351852759*c_1001_1^3 - 2096773870117507754469642247345245261/17156481326238955462490717351\ 852759*c_1001_1^2 + 1944398298453811933806774008814211722/171564813\ 26238955462490717351852759*c_1001_1 - 351660173911284142153548826570281327/171564813262389554624907173518\ 52759, c_0011_8 + 15595768990617359219276857518263284512/171564813262389554624\ 90717351852759*c_1001_1^24 - 9309470705954122421910762499070486560/\ 17156481326238955462490717351852759*c_1001_1^23 + 35092469841095392354001851016621637168/1715648132623895546249071735\ 1852759*c_1001_1^22 - 89163284824028054165506292102438618964/171564\ 81326238955462490717351852759*c_1001_1^21 - 90832219687766872091704228284745473664/1715648132623895546249071735\ 1852759*c_1001_1^20 - 187517125093265486181850785282628078331/17156\ 481326238955462490717351852759*c_1001_1^19 - 170401497259101013854385328904414376237/171564813262389554624907173\ 51852759*c_1001_1^18 + 180207829859261937291476737817933351393/1715\ 6481326238955462490717351852759*c_1001_1^17 + 57248847154398102516670217957204848342/1715648132623895546249071735\ 1852759*c_1001_1^16 + 191257977492800713104269966765791259559/17156\ 481326238955462490717351852759*c_1001_1^15 - 532000596925965315229691172354194636936/171564813262389554624907173\ 51852759*c_1001_1^14 - 886641395401902065551732927540521363943/1715\ 6481326238955462490717351852759*c_1001_1^13 - 949463180179917153607016013289297549155/171564813262389554624907173\ 51852759*c_1001_1^12 - 757017286388273343849952015736453661672/1715\ 6481326238955462490717351852759*c_1001_1^11 + 59360647199912033240588438285719313912/1715648132623895546249071735\ 1852759*c_1001_1^10 + 204788242191918524948333111150396495531/17156\ 481326238955462490717351852759*c_1001_1^9 + 445306637973142604518436697373350387875/171564813262389554624907173\ 51852759*c_1001_1^8 + 53780515308275673673797776138418553414/171564\ 81326238955462490717351852759*c_1001_1^7 - 28493267978955568337336223718399865370/1715648132623895546249071735\ 1852759*c_1001_1^6 - 132154745193465853687608299979660980867/171564\ 81326238955462490717351852759*c_1001_1^5 + 17189433374772290027125566228503132124/1715648132623895546249071735\ 1852759*c_1001_1^4 + 10237789592723995583108512112083710463/1715648\ 1326238955462490717351852759*c_1001_1^3 + 12176374798473825198694325185415541755/1715648132623895546249071735\ 1852759*c_1001_1^2 - 7794377578307247162609767840758203817/17156481\ 326238955462490717351852759*c_1001_1 + 1162657085991441973625254498074362744/17156481326238955462490717351\ 852759, c_0101_1 + 5718988251554664462793607808842337088/1715648132623895546249\ 0717351852759*c_1001_1^24 - 4157832740320257580311250730260250048/1\ 7156481326238955462490717351852759*c_1001_1^23 + 13133208627216037340199454539605221344/1715648132623895546249071735\ 1852759*c_1001_1^22 - 34291827733137532477123773097492104104/171564\ 81326238955462490717351852759*c_1001_1^21 - 29438114594563732884597787202868037136/1715648132623895546249071735\ 1852759*c_1001_1^20 - 63462094935018849252009831683114599406/171564\ 81326238955462490717351852759*c_1001_1^19 - 52319763939577922188791458138769122834/1715648132623895546249071735\ 1852759*c_1001_1^18 + 76532009650704034732331254860666103058/171564\ 81326238955462490717351852759*c_1001_1^17 + 14657706294587396881289715392899461999/1715648132623895546249071735\ 1852759*c_1001_1^16 + 65511307099877170768600036354680880829/171564\ 81326238955462490717351852759*c_1001_1^15 - 205411767390199139319290747002842640644/171564813262389554624907173\ 51852759*c_1001_1^14 - 302257283902356948720922118202556272489/1715\ 6481326238955462490717351852759*c_1001_1^13 - 300179886146922277702914465339279847404/171564813262389554624907173\ 51852759*c_1001_1^12 - 221018096021084959859739143557378133998/1715\ 6481326238955462490717351852759*c_1001_1^11 + 70462629429163953804770843310585280856/1715648132623895546249071735\ 1852759*c_1001_1^10 + 82366093716752987733351359549622540774/171564\ 81326238955462490717351852759*c_1001_1^9 + 153294419101735626885946937928674984743/171564813262389554624907173\ 51852759*c_1001_1^8 - 5325501333563329223774098909128710240/1715648\ 1326238955462490717351852759*c_1001_1^7 - 19750026726895820110241774221311127054/1715648132623895546249071735\ 1852759*c_1001_1^6 - 49336815380435241987512379900942877884/1715648\ 1326238955462490717351852759*c_1001_1^5 + 12630796396228642455429135151483203345/1715648132623895546249071735\ 1852759*c_1001_1^4 + 4645510654353095821741488612634223823/17156481\ 326238955462490717351852759*c_1001_1^3 + 4219199190113549436695216721160255524/17156481326238955462490717351\ 852759*c_1001_1^2 - 3521956550972187278720200021407313014/171564813\ 26238955462490717351852759*c_1001_1 + 605735331198165587957325060597416434/171564813262389554624907173518\ 52759, c_0101_12 + 4360782310852124974216036218913049952/171564813262389554624\ 90717351852759*c_1001_1^24 - 2476579853929958225335118707347259904/\ 17156481326238955462490717351852759*c_1001_1^23 + 9582155560469306181787684278929061296/17156481326238955462490717351\ 852759*c_1001_1^22 - 24709625980793250486543346716183563244/1715648\ 1326238955462490717351852759*c_1001_1^21 - 26467063406092980246597572402484828572/1715648132623895546249071735\ 1852759*c_1001_1^20 - 52633869295459762846371144835329185953/171564\ 81326238955462490717351852759*c_1001_1^19 - 47574027345471207777140657969987227664/1715648132623895546249071735\ 1852759*c_1001_1^18 + 52172293751484207461608684514779220288/171564\ 81326238955462490717351852759*c_1001_1^17 + 21807204709001662622084578555894234705/1715648132623895546249071735\ 1852759*c_1001_1^16 + 55374632954498219629787265105649221565/171564\ 81326238955462490717351852759*c_1001_1^15 - 147748476647342547629937489064020650825/171564813262389554624907173\ 51852759*c_1001_1^14 - 254767365024533264232780375191994016598/1715\ 6481326238955462490717351852759*c_1001_1^13 - 269810160200617245836629769984809577870/171564813262389554624907173\ 51852759*c_1001_1^12 - 206637938518557632065311785857543475549/1715\ 6481326238955462490717351852759*c_1001_1^11 + 31063307495193065466502002538928856772/1715648132623895546249071735\ 1852759*c_1001_1^10 + 81310252334664413894301371754245589497/171564\ 81326238955462490717351852759*c_1001_1^9 + 142357682147014327830819712978288962489/171564813262389554624907173\ 51852759*c_1001_1^8 + 25329578634860967356903931731174956763/171564\ 81326238955462490717351852759*c_1001_1^7 - 9416727743701678650123063210940913410/17156481326238955462490717351\ 852759*c_1001_1^6 - 41225773211587433470680163889245723483/17156481\ 326238955462490717351852759*c_1001_1^5 + 1242532470567636444377470417850267791/17156481326238955462490717351\ 852759*c_1001_1^4 + 2981121859328295044817090707116505652/171564813\ 26238955462490717351852759*c_1001_1^3 + 3969811988101746696242016699627454541/17156481326238955462490717351\ 852759*c_1001_1^2 - 1873664021591501832302474135243652627/171564813\ 26238955462490717351852759*c_1001_1 + 211931708165941053133562531537385784/171564813262389554624907173518\ 52759, c_0101_2 - 24806719846359643122373802502513002912/171564813262389554624\ 90717351852759*c_1001_1^24 + 14222123476336140393763182936314522592\ /17156481326238955462490717351852759*c_1001_1^23 - 55650808419579301176120452490119903216/1715648132623895546249071735\ 1852759*c_1001_1^22 + 140515590835658024377034601227950282436/17156\ 481326238955462490717351852759*c_1001_1^21 + 147429697418686924327551307135934313144/171564813262389554624907173\ 51852759*c_1001_1^20 + 302507315699715949367247864111179064655/1715\ 6481326238955462490717351852759*c_1001_1^19 + 279586783435992950027842761643879194619/171564813262389554624907173\ 51852759*c_1001_1^18 - 277235434859114210124333557729557444089/1715\ 6481326238955462490717351852759*c_1001_1^17 - 94348523517801099564830144142881479172/1715648132623895546249071735\ 1852759*c_1001_1^16 - 306624790464560436181506740958959818490/17156\ 481326238955462490717351852759*c_1001_1^15 + 838101044362268177162418338722383927237/171564813262389554624907173\ 51852759*c_1001_1^14 + 1427620906165482692167046291397557751046/171\ 56481326238955462490717351852759*c_1001_1^13 + 1548570291200823173481912128272335896151/17156481326238955462490717\ 351852759*c_1001_1^12 + 1252657688546633286843891424217460255954/17\ 156481326238955462490717351852759*c_1001_1^11 - 48022321652724786322300627310654195947/1715648132623895546249071735\ 1852759*c_1001_1^10 - 310173984505544644076311729182507097477/17156\ 481326238955462490717351852759*c_1001_1^9 - 707519883167722509308154187500013308689/171564813262389554624907173\ 51852759*c_1001_1^8 - 100181601307623681535475814187274598983/17156\ 481326238955462490717351852759*c_1001_1^7 + 39166137530485749660430786498970570815/1715648132623895546249071735\ 1852759*c_1001_1^6 + 208936852256253494996718134655592604916/171564\ 81326238955462490717351852759*c_1001_1^5 - 23332371491545782372685822982273056840/1715648132623895546249071735\ 1852759*c_1001_1^4 - 15832671821073708834184119769426196422/1715648\ 1326238955462490717351852759*c_1001_1^3 - 19546288284774847822381263157588049993/1715648132623895546249071735\ 1852759*c_1001_1^2 + 11893224353330092403452009717808066161/1715648\ 1326238955462490717351852759*c_1001_1 - 1700039862918746805740389696536546103/17156481326238955462490717351\ 852759, c_0101_7 - 16773595644981624194123639017346760224/171564813262389554624\ 90717351852759*c_1001_1^24 + 10366420968152984982053818956394942496\ /17156481326238955462490717351852759*c_1001_1^23 - 37991296460438394713873368080591340208/1715648132623895546249071735\ 1852759*c_1001_1^22 + 96646613294872193749681827618399609396/171564\ 81326238955462490717351852759*c_1001_1^21 + 95595165658495430992931352908050680224/1715648132623895546249071735\ 1852759*c_1001_1^20 + 199672108191589414209085434982981106019/17156\ 481326238955462490717351852759*c_1001_1^19 + 179559781487998619982970565503071753373/171564813262389554624907173\ 51852759*c_1001_1^18 - 196704590638168602089477606058656502273/1715\ 6481326238955462490717351852759*c_1001_1^17 - 55960481873024432385389677090378660722/1715648132623895546249071735\ 1852759*c_1001_1^16 - 203525098669907305122523393767403235813/17156\ 481326238955462490717351852759*c_1001_1^15 + 576284234525761074373317122113824885782/171564813262389554624907173\ 51852759*c_1001_1^14 + 940873031559504767883833982918256038766/1715\ 6481326238955462490717351852759*c_1001_1^13 + 1001291290164179768712996193020706523378/17156481326238955462490717\ 351852759*c_1001_1^12 + 796594857055243690235214189900921407781/171\ 56481326238955462490717351852759*c_1001_1^11 - 74112456893337140471269252006678578046/1715648132623895546249071735\ 1852759*c_1001_1^10 - 210502535671040378844978531707612751736/17156\ 481326238955462490717351852759*c_1001_1^9 - 467593079565731593916791439134549262364/171564813262389554624907173\ 51852759*c_1001_1^8 - 44841197774074251066608660418619550577/171564\ 81326238955462490717351852759*c_1001_1^7 + 31800330110187928092807600676935160972/1715648132623895546249071735\ 1852759*c_1001_1^6 + 139804657692223256282828448574556259489/171564\ 81326238955462490717351852759*c_1001_1^5 - 22507252936324376874987260504208201952/1715648132623895546249071735\ 1852759*c_1001_1^4 - 10932227486136926025615498067131727667/1715648\ 1326238955462490717351852759*c_1001_1^3 - 12613538990408467215216479849070707706/1715648132623895546249071735\ 1852759*c_1001_1^2 + 8712773217870497866098858736075194285/17156481\ 326238955462490717351852759*c_1001_1 - 1385351663878840787684077703322569289/17156481326238955462490717351\ 852759, c_0110_10 - 1561155511234406882482357078582087040/171564813262389554624\ 90717351852759*c_1001_1^24 + 1164262001670623816784564982500621376/\ 17156481326238955462490717351852759*c_1001_1^23 - 3596469433412119588883878636088379104/17156481326238955462490717351\ 852759*c_1001_1^22 + 9421655714122407264820159871919857328/17156481\ 326238955462490717351852759*c_1001_1^21 + 7880677865221954004234455790928135832/17156481326238955462490717351\ 852759*c_1001_1^20 + 17112242515944519089718310065583485136/1715648\ 1326238955462490717351852759*c_1001_1^19 + 13899492077004097085592668616653352146/1715648132623895546249071735\ 1852759*c_1001_1^18 - 21270286460447477666394824421873414257/171564\ 81326238955462490717351852759*c_1001_1^17 - 3674746629942361264644151921573111065/17156481326238955462490717351\ 852759*c_1001_1^16 - 17628774420432774729659957542008505788/1715648\ 1326238955462490717351852759*c_1001_1^15 + 56519507468367460085259282666362100739/1715648132623895546249071735\ 1852759*c_1001_1^14 + 81607303907817445265521266895086776822/171564\ 81326238955462490717351852759*c_1001_1^13 + 80009291943690264198984251020609260172/1715648132623895546249071735\ 1852759*c_1001_1^12 + 58214606230815996608085332388367303624/171564\ 81326238955462490717351852759*c_1001_1^11 - 20886970012540344758320075604567417078/1715648132623895546249071735\ 1852759*c_1001_1^10 - 22293844464561594035080859057380200821/171564\ 81326238955462490717351852759*c_1001_1^9 - 40962559827457236271961664293688955566/1715648132623895546249071735\ 1852759*c_1001_1^8 + 2771780355092909986323251038810438824/17156481\ 326238955462490717351852759*c_1001_1^7 + 5908248345192008723173420602546380622/17156481326238955462490717351\ 852759*c_1001_1^6 + 13462087501489514156066700476359959619/17156481\ 326238955462490717351852759*c_1001_1^5 - 3751918740047679499429987392502608653/17156481326238955462490717351\ 852759*c_1001_1^4 - 1359705064336217205298412816739086980/171564813\ 26238955462490717351852759*c_1001_1^3 - 1124721403415977597299606323277085870/17156481326238955462490717351\ 852759*c_1001_1^2 + 985573633225344836740886418287638113/1715648132\ 6238955462490717351852759*c_1001_1 - 178718382861083264462300244026323034/171564813262389554624907173518\ 52759, c_1001_1^25 - c_1001_1^24 + 5/2*c_1001_1^23 - 53/8*c_1001_1^22 - 7/2*c_1001_1^21 - 311/32*c_1001_1^20 - 197/32*c_1001_1^19 + 253/16*c_1001_1^18 - 37/32*c_1001_1^17 + 173/16*c_1001_1^16 - 39*c_1001_1^15 - 1375/32*c_1001_1^14 - 1223/32*c_1001_1^13 - 789/32*c_1001_1^12 + 45/2*c_1001_1^11 + 43/4*c_1001_1^10 + 733/32*c_1001_1^9 - 259/32*c_1001_1^8 - 95/32*c_1001_1^7 - 243/32*c_1001_1^6 + 73/16*c_1001_1^5 + 5/32*c_1001_1^4 + 1/2*c_1001_1^3 - 13/16*c_1001_1^2 + 9/32*c_1001_1 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.320 Total time: 11.529 seconds, Total memory usage: 64.12MB