Magma V2.19-8 Tue Aug 20 2013 23:38:28 on localhost [Seed = 4155610056] Type ? for help. Type -D to quit. Loading file "K10a111__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a111 geometric_solution 11.35201756 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736431361751 0.784420754524 0 2 6 5 0132 0213 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 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.922600600026 0.678358628791 5 0 1 5 3201 0132 0213 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 1 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.383493993867 0.550163844344 6 7 8 0 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 -1 1 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.548547050929 0.663322805091 8 6 0 7 0132 0132 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 4 0 0 -4 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.548547050929 0.663322805091 6 2 1 2 2103 1302 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902961635562 0.805794006505 3 4 5 1 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 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.736431361751 0.784420754524 9 3 4 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 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.010781045465 1.122311945954 4 11 9 3 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -4 0 3 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.010781045465 1.122311945954 7 11 10 8 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 -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.382943304424 0.369769489570 11 11 7 9 3201 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 4 -3 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.312540371327 0.984573343190 9 8 10 10 1023 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.312540371327 0.984573343190 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0110_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0110_2']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_1'], '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_0110_2'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0110_2, c_1001_1, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1718562591807000052232620084202456755623394212/17571191931365866347\ 130461163221652198514795*c_1100_0^29 + 14370113744013394460914828205345200399582794144/1757119193136586634\ 7130461163221652198514795*c_1100_0^28 - 62928284937006677372587111643657006947055726103/1757119193136586634\ 7130461163221652198514795*c_1100_0^27 + 199823495671536674139967504950225962254557475932/175711919313658663\ 47130461163221652198514795*c_1100_0^26 - 500671920996106213423293706329747877709137345189/175711919313658663\ 47130461163221652198514795*c_1100_0^25 + 1006454125320546752469734727648190495926837641869/17571191931365866\ 347130461163221652198514795*c_1100_0^24 - 332575676331942648141769935733967013385094271333/351423838627317326\ 9426092232644330439702959*c_1100_0^23 + 466097032806716725178361295443808970608200699831/351423838627317326\ 9426092232644330439702959*c_1100_0^22 - 400495098744196249218626892882478032504742800316/251017027590940947\ 8161494451888807456930685*c_1100_0^21 + 2954642972693487697362226693013261408433399255507/17571191931365866\ 347130461163221652198514795*c_1100_0^20 - 3103820554144773161539269486996820620672509653697/17571191931365866\ 347130461163221652198514795*c_1100_0^19 + 3042318909135468749022949072014762878779318223/14581902017731009416\ 705776898939130455199*c_1100_0^18 - 877383592467669542116880655769573734569503977991/351423838627317326\ 9426092232644330439702959*c_1100_0^17 + 5099417744701332984001585432839717931583311788703/17571191931365866\ 347130461163221652198514795*c_1100_0^16 - 1148952982660708213466938510568152375586375451001/35142383862731732\ 69426092232644330439702959*c_1100_0^15 + 4975787292393218981490241127476218568716311055626/17571191931365866\ 347130461163221652198514795*c_1100_0^14 - 2430980714716807862155012795402510701495586074131/17571191931365866\ 347130461163221652198514795*c_1100_0^13 + 693524941013769873648124117919088278832799291627/175711919313658663\ 47130461163221652198514795*c_1100_0^12 - 231359536578053484789538894718084422031120731345/351423838627317326\ 9426092232644330439702959*c_1100_0^11 + 455261100622754974687028126304085265268762153565/351423838627317326\ 9426092232644330439702959*c_1100_0^10 - 258808023736587287663994570645693516499114611456/159738108466962421\ 3375496469383786563501345*c_1100_0^9 + 2414867230492796245923109183686746704790349613091/17571191931365866\ 347130461163221652198514795*c_1100_0^8 - 859870248460998461309376469765358214885263882561/175711919313658663\ 47130461163221652198514795*c_1100_0^7 - 80465785873552782728393088978010475905972810232/2510170275909409478\ 161494451888807456930685*c_1100_0^6 + 654068276862836763143900874954546365626216112756/175711919313658663\ 47130461163221652198514795*c_1100_0^5 - 19508045307697482680422006938452879144974755231/3514238386273173269\ 426092232644330439702959*c_1100_0^4 - 32587083283721312237024840544891125062125971450/3514238386273173269\ 426092232644330439702959*c_1100_0^3 + 22603641427588401966724099711341428702263188810/3514238386273173269\ 426092232644330439702959*c_1100_0^2 - 48498837795588247050447812801168850286468455798/1757119193136586634\ 7130461163221652198514795*c_1100_0 + 9526471695907138490003587191556765266928644231/17571191931365866347\ 130461163221652198514795, c_0011_0 - 1, c_0011_10 - 329391423569074626276610382869688976/2459420141293811674263\ 075881082666631*c_1100_0^29 + 2797435937563532067864567332554888658\ /2459420141293811674263075881082666631*c_1100_0^28 - 12335557271081406968716479787564212928/2459420141293811674263075881\ 082666631*c_1100_0^27 + 39261623743101286157638361880253555630/2459\ 420141293811674263075881082666631*c_1100_0^26 - 98625150892651473774934247355678120646/2459420141293811674263075881\ 082666631*c_1100_0^25 + 198695799041531125465235251316651009480/245\ 9420141293811674263075881082666631*c_1100_0^24 - 328553975080032396811022584653189697277/245942014129381167426307588\ 1082666631*c_1100_0^23 + 460800286483402562121129297547589767965/24\ 59420141293811674263075881082666631*c_1100_0^22 - 555124694352118954119840557946696635392/245942014129381167426307588\ 1082666631*c_1100_0^21 + 584993286158402842641583011792017732268/24\ 59420141293811674263075881082666631*c_1100_0^20 - 613456280487027206002575523181004068383/245942014129381167426307588\ 1082666631*c_1100_0^19 + 726735800387439584790164572206094299161/24\ 59420141293811674263075881082666631*c_1100_0^18 - 869223385632018848825456154128728789758/245942014129381167426307588\ 1082666631*c_1100_0^17 + 1004691324347055030620208784592016653674/2\ 459420141293811674263075881082666631*c_1100_0^16 - 1139384949783995609411337555287976406497/24594201412938116742630758\ 81082666631*c_1100_0^15 + 991043117478378138219955271569426458875/2\ 459420141293811674263075881082666631*c_1100_0^14 - 473486512388718093519358690225156872323/245942014129381167426307588\ 1082666631*c_1100_0^13 + 137941691962227459281318200631235959004/24\ 59420141293811674263075881082666631*c_1100_0^12 - 238647173459106076453330537793577307999/245942014129381167426307588\ 1082666631*c_1100_0^11 + 440747957745510026589133616203789838823/24\ 59420141293811674263075881082666631*c_1100_0^10 - 555493852127282190639091679801467192757/245942014129381167426307588\ 1082666631*c_1100_0^9 + 482244747637040962789446180946650570901/245\ 9420141293811674263075881082666631*c_1100_0^8 - 165688336145571516073578399902353388454/245942014129381167426307588\ 1082666631*c_1100_0^7 - 113309562733474842612724023938821878348/245\ 9420141293811674263075881082666631*c_1100_0^6 + 124073038031484409746917789339221886978/245942014129381167426307588\ 1082666631*c_1100_0^5 - 20042077592375312858554392989628866893/2459\ 420141293811674263075881082666631*c_1100_0^4 - 25538017286668186634503050863228093983/2459420141293811674263075881\ 082666631*c_1100_0^3 + 20076226731440994445206849763878835483/24594\ 20141293811674263075881082666631*c_1100_0^2 - 9269373991142042911365435808566865842/24594201412938116742630758810\ 82666631*c_1100_0 + 1737915189226934095926348508122323552/245942014\ 1293811674263075881082666631, c_0011_11 + c_1100_0, c_0011_5 + 173840113961990745352864797389370449633/59272025405180861349\ 7401287340922658071*c_1100_0^29 - 149753229131325797885573249691129\ 3364927/592720254051808613497401287340922658071*c_1100_0^28 + 6690616391037271589242151619731062170256/59272025405180861349740128\ 7340922658071*c_1100_0^27 - 214937056278973619915468175763043791713\ 19/592720254051808613497401287340922658071*c_1100_0^26 + 54406991766736556199270703847146818060368/5927202540518086134974012\ 87340922658071*c_1100_0^25 - 11053142239609812210508306231733729105\ 5365/592720254051808613497401287340922658071*c_1100_0^24 + 184188143037351867968117527042245505093055/592720254051808613497401\ 287340922658071*c_1100_0^23 - 2596938062320144625948454559987186966\ 14271/592720254051808613497401287340922658071*c_1100_0^22 + 314195061830265771243250628944739306240266/592720254051808613497401\ 287340922658071*c_1100_0^21 - 3320346333782091259821655939635298506\ 10596/592720254051808613497401287340922658071*c_1100_0^20 + 345734439411933420451993076620941519918227/592720254051808613497401\ 287340922658071*c_1100_0^19 - 1685992734629969153655470826314609895\ 057/2459420141293811674263075881082666631*c_1100_0^18 + 489990445967546648093692902827132425398345/592720254051808613497401\ 287340922658071*c_1100_0^17 - 5683925200038090999224796162443254877\ 70588/592720254051808613497401287340922658071*c_1100_0^16 + 641530954997816327583795052224306215071587/592720254051808613497401\ 287340922658071*c_1100_0^15 - 5695758649521244467715663293860795299\ 43057/592720254051808613497401287340922658071*c_1100_0^14 + 283170873090078460279338358205979581127205/592720254051808613497401\ 287340922658071*c_1100_0^13 - 6773903789772562658141738289501250273\ 4159/592720254051808613497401287340922658071*c_1100_0^12 + 117790308688948336186918411061906250793170/592720254051808613497401\ 287340922658071*c_1100_0^11 - 2534808312995367543952523707017192534\ 86506/592720254051808613497401287340922658071*c_1100_0^10 + 318953359238444250449230723227504904461006/592720254051808613497401\ 287340922658071*c_1100_0^9 - 27542512556747514729558592805367431331\ 8957/592720254051808613497401287340922658071*c_1100_0^8 + 102904302851804399670090475786394119710483/592720254051808613497401\ 287340922658071*c_1100_0^7 + 65972238990111846591660446105865462659\ 775/592720254051808613497401287340922658071*c_1100_0^6 - 80558478095671100891258286484278724269561/5927202540518086134974012\ 87340922658071*c_1100_0^5 + 121261035055971798229534170154899323347\ 42/592720254051808613497401287340922658071*c_1100_0^4 + 19475448781548582814618561758168390031545/5927202540518086134974012\ 87340922658071*c_1100_0^3 - 128895093865780450420020372955564292598\ 99/592720254051808613497401287340922658071*c_1100_0^2 + 4540350406512381743044670934619353508190/59272025405180861349740128\ 7340922658071*c_1100_0 - 1147454490246288901518052173562718451149/5\ 92720254051808613497401287340922658071, c_0101_0 - 128794675589351602380355617108777444428/59272025405180861349\ 7401287340922658071*c_1100_0^29 + 104697996159393933006025463877826\ 4841987/592720254051808613497401287340922658071*c_1100_0^28 - 4470461255119646624386798323776087095946/59272025405180861349740128\ 7340922658071*c_1100_0^27 + 139360084655841247869607749407871202475\ 40/592720254051808613497401287340922658071*c_1100_0^26 - 34339794527457369356326746620890525634988/5927202540518086134974012\ 87340922658071*c_1100_0^25 + 67740480592797911623570909784386910199\ 795/592720254051808613497401287340922658071*c_1100_0^24 - 109868402502975587733718430268033189995945/592720254051808613497401\ 287340922658071*c_1100_0^23 + 1516594379364979768196021557963064209\ 95427/592720254051808613497401287340922658071*c_1100_0^22 - 179837381667091030473869229012554343642370/592720254051808613497401\ 287340922658071*c_1100_0^21 + 1874706216539258985493609035963927268\ 55842/592720254051808613497401287340922658071*c_1100_0^20 - 199532010747950699123269281441150297979753/592720254051808613497401\ 287340922658071*c_1100_0^19 + 9968389450270622268192711580824700288\ 06/2459420141293811674263075881082666631*c_1100_0^18 - 284352946478986305481704866888315139004773/592720254051808613497401\ 287340922658071*c_1100_0^17 + 3285169327381014773202698897854160218\ 42811/592720254051808613497401287340922658071*c_1100_0^16 - 370713066020858771923795187789947953657760/592720254051808613497401\ 287340922658071*c_1100_0^15 + 3054090105622284998338092991528768287\ 40974/592720254051808613497401287340922658071*c_1100_0^14 - 132599882230519193357581469403597814061703/592720254051808613497401\ 287340922658071*c_1100_0^13 + 4735560119981298552836769505986564469\ 3105/592720254051808613497401287340922658071*c_1100_0^12 - 93061571732113311446285756410258804510647/5927202540518086134974012\ 87340922658071*c_1100_0^11 + 15027072460082259406111051950657042808\ 2701/592720254051808613497401287340922658071*c_1100_0^10 - 180666626951619490198426379405764418185954/592720254051808613497401\ 287340922658071*c_1100_0^9 + 14832331914408456968750872459785693950\ 0808/592720254051808613497401287340922658071*c_1100_0^8 - 40249195769769903144244078969636063816043/5927202540518086134974012\ 87340922658071*c_1100_0^7 - 386169757643470834282036293695020918037\ 80/592720254051808613497401287340922658071*c_1100_0^6 + 31026160652343635756287980438786835022758/5927202540518086134974012\ 87340922658071*c_1100_0^5 - 180536386473486519547165460833593942665\ 1/592720254051808613497401287340922658071*c_1100_0^4 - 8664191151367070084354130761206695809070/59272025405180861349740128\ 7340922658071*c_1100_0^3 + 6462873637842611575447549900906676594534\ /592720254051808613497401287340922658071*c_1100_0^2 - 3041954689824126388122680701952977078966/59272025405180861349740128\ 7340922658071*c_1100_0 + 179585854123903889085580782671812607162/59\ 2720254051808613497401287340922658071, c_0101_1 - 173840113961990745352864797389370449633/59272025405180861349\ 7401287340922658071*c_1100_0^29 + 149753229131325797885573249691129\ 3364927/592720254051808613497401287340922658071*c_1100_0^28 - 6690616391037271589242151619731062170256/59272025405180861349740128\ 7340922658071*c_1100_0^27 + 214937056278973619915468175763043791713\ 19/592720254051808613497401287340922658071*c_1100_0^26 - 54406991766736556199270703847146818060368/5927202540518086134974012\ 87340922658071*c_1100_0^25 + 11053142239609812210508306231733729105\ 5365/592720254051808613497401287340922658071*c_1100_0^24 - 184188143037351867968117527042245505093055/592720254051808613497401\ 287340922658071*c_1100_0^23 + 2596938062320144625948454559987186966\ 14271/592720254051808613497401287340922658071*c_1100_0^22 - 314195061830265771243250628944739306240266/592720254051808613497401\ 287340922658071*c_1100_0^21 + 3320346333782091259821655939635298506\ 10596/592720254051808613497401287340922658071*c_1100_0^20 - 345734439411933420451993076620941519918227/592720254051808613497401\ 287340922658071*c_1100_0^19 + 1685992734629969153655470826314609895\ 057/2459420141293811674263075881082666631*c_1100_0^18 - 489990445967546648093692902827132425398345/592720254051808613497401\ 287340922658071*c_1100_0^17 + 5683925200038090999224796162443254877\ 70588/592720254051808613497401287340922658071*c_1100_0^16 - 641530954997816327583795052224306215071587/592720254051808613497401\ 287340922658071*c_1100_0^15 + 5695758649521244467715663293860795299\ 43057/592720254051808613497401287340922658071*c_1100_0^14 - 283170873090078460279338358205979581127205/592720254051808613497401\ 287340922658071*c_1100_0^13 + 6773903789772562658141738289501250273\ 4159/592720254051808613497401287340922658071*c_1100_0^12 - 117790308688948336186918411061906250793170/592720254051808613497401\ 287340922658071*c_1100_0^11 + 2534808312995367543952523707017192534\ 86506/592720254051808613497401287340922658071*c_1100_0^10 - 318953359238444250449230723227504904461006/592720254051808613497401\ 287340922658071*c_1100_0^9 + 27542512556747514729558592805367431331\ 8957/592720254051808613497401287340922658071*c_1100_0^8 - 102904302851804399670090475786394119710483/592720254051808613497401\ 287340922658071*c_1100_0^7 - 65972238990111846591660446105865462659\ 775/592720254051808613497401287340922658071*c_1100_0^6 + 80558478095671100891258286484278724269561/5927202540518086134974012\ 87340922658071*c_1100_0^5 - 121261035055971798229534170154899323347\ 42/592720254051808613497401287340922658071*c_1100_0^4 - 19475448781548582814618561758168390031545/5927202540518086134974012\ 87340922658071*c_1100_0^3 + 128895093865780450420020372955564292598\ 99/592720254051808613497401287340922658071*c_1100_0^2 - 4540350406512381743044670934619353508190/59272025405180861349740128\ 7340922658071*c_1100_0 + 1147454490246288901518052173562718451149/5\ 92720254051808613497401287340922658071, c_0101_10 + 15050927651043804730604606259802586698/59272025405180861349\ 7401287340922658071*c_1100_0^29 - 748198540378008558844612658222109\ 93319/592720254051808613497401287340922658071*c_1100_0^28 + 164651931989855932511193692698011830740/592720254051808613497401287\ 340922658071*c_1100_0^27 - 201341173442933017672863536749292771243/\ 592720254051808613497401287340922658071*c_1100_0^26 - 216373050115836045403235903472206524347/592720254051808613497401287\ 340922658071*c_1100_0^25 + 1983605977423239490308574622384501443715\ /592720254051808613497401287340922658071*c_1100_0^24 - 5493813925136905294127359199128263763077/59272025405180861349740128\ 7340922658071*c_1100_0^23 + 100536477389129174047757604226410433072\ 58/592720254051808613497401287340922658071*c_1100_0^22 - 14807024503611115470632385242260684934292/5927202540518086134974012\ 87340922658071*c_1100_0^21 + 17269555563126668147140856559669383972\ 031/592720254051808613497401287340922658071*c_1100_0^20 - 14398742811984624009483740248013606210086/5927202540518086134974012\ 87340922658071*c_1100_0^19 + 55356258096630943485379853784154560165\ /2459420141293811674263075881082666631*c_1100_0^18 - 20244931797557805015328938702804361787166/5927202540518086134974012\ 87340922658071*c_1100_0^17 + 23197263667034748579509112816522643344\ 262/592720254051808613497401287340922658071*c_1100_0^16 - 27807682356005886283949662061206039983271/5927202540518086134974012\ 87340922658071*c_1100_0^15 + 42891727794929134410893596944676909047\ 869/592720254051808613497401287340922658071*c_1100_0^14 - 31784522447421104724773792445518750621731/5927202540518086134974012\ 87340922658071*c_1100_0^13 - 46372740106887906409793590563121913751\ 05/592720254051808613497401287340922658071*c_1100_0^12 + 10769935297171291274114909309644459195509/5927202540518086134974012\ 87340922658071*c_1100_0^11 + 68770398557659665470258578709959886396\ 54/592720254051808613497401287340922658071*c_1100_0^10 - 15557506116155491939145626954992639053429/5927202540518086134974012\ 87340922658071*c_1100_0^9 + 221183042753171639789405119084000387458\ 98/592720254051808613497401287340922658071*c_1100_0^8 - 17163940915481649295228928012823325098905/5927202540518086134974012\ 87340922658071*c_1100_0^7 - 314678257690644323223804913153605970991\ 7/592720254051808613497401287340922658071*c_1100_0^6 + 12946912817763543208927519899008019189161/5927202540518086134974012\ 87340922658071*c_1100_0^5 - 467354882883730381898197601499440422950\ 7/592720254051808613497401287340922658071*c_1100_0^4 - 2099769285972100684610084566047663203172/59272025405180861349740128\ 7340922658071*c_1100_0^3 + 1870572556892683976343756284607518234730\ /592720254051808613497401287340922658071*c_1100_0^2 - 188359172209264174122029325839306556171/592720254051808613497401287\ 340922658071*c_1100_0 + 177747585188645260477419493509870803154/592\ 720254051808613497401287340922658071, c_0101_7 - 112867880248707157434092125349999868349/59272025405180861349\ 7401287340922658071*c_1100_0^29 + 936220887239050082632741189192798\ 192406/592720254051808613497401287340922658071*c_1100_0^28 - 4074280490990698088409101321648347650227/59272025405180861349740128\ 7340922658071*c_1100_0^27 + 128827461569572677598764407770000775398\ 36/592720254051808613497401287340922658071*c_1100_0^26 - 32161626614966015718302785922601315333399/5927202540518086134974012\ 87340922658071*c_1100_0^25 + 64410330732016551916321217851561357339\ 785/592720254051808613497401287340922658071*c_1100_0^24 - 106079347597688539925770762125991662898906/592720254051808613497401\ 287340922658071*c_1100_0^23 + 1483912915943395247163632075450131625\ 07050/592720254051808613497401287340922658071*c_1100_0^22 - 178339007625547874214264740127732272292290/592720254051808613497401\ 287340922658071*c_1100_0^21 + 1880491052887366182174539022165164444\ 46600/592720254051808613497401287340922658071*c_1100_0^20 - 198534060131725343064960063737401417683018/592720254051808613497401\ 287340922658071*c_1100_0^19 + 9765063512930312663536193970339124024\ 53/2459420141293811674263075881082666631*c_1100_0^18 - 280483449315201000482309895550841516431058/592720254051808613497401\ 287340922658071*c_1100_0^17 + 3252598550704502948518585440914896198\ 14042/592720254051808613497401287340922658071*c_1100_0^16 - 366939881581470222921007605232525217811633/592720254051808613497401\ 287340922658071*c_1100_0^15 + 3157108211645005598225665790421484550\ 17338/592720254051808613497401287340922658071*c_1100_0^14 - 152819774112100617982316319243098506035144/592720254051808613497401\ 287340922658071*c_1100_0^13 + 4935901854978280880448216821534841625\ 0881/592720254051808613497401287340922658071*c_1100_0^12 - 81112411969471879762691778860003117332998/5927202540518086134974012\ 87340922658071*c_1100_0^11 + 14482876634210295761383657002746127669\ 9014/592720254051808613497401287340922658071*c_1100_0^10 - 179417731618595772876877274192727021490800/592720254051808613497401\ 287340922658071*c_1100_0^9 + 15327984102104357998461967095299547063\ 0078/592720254051808613497401287340922658071*c_1100_0^8 - 53045542534177204681242817973923063276509/5927202540518086134974012\ 87340922658071*c_1100_0^7 - 338592826570924254585385601841415157814\ 33/592720254051808613497401287340922658071*c_1100_0^6 + 37043177979999940649736210707899142505239/5927202540518086134974012\ 87340922658071*c_1100_0^5 - 579724429507001579653622976580649741579\ 0/592720254051808613497401287340922658071*c_1100_0^4 - 8630791614624161529718456818530027317352/59272025405180861349740128\ 7340922658071*c_1100_0^3 + 6447537901093781762493443224471317621843\ /592720254051808613497401287340922658071*c_1100_0^2 - 3012165729763000919225502781569638635234/59272025405180861349740128\ 7340922658071*c_1100_0 + 458369806510472226421476504560703908237/59\ 2720254051808613497401287340922658071, c_0110_2 + 28070603236591337879378923354823916708/592720254051808613497\ 401287340922658071*c_1100_0^29 - 3889743410323444231327477887703961\ 22376/592720254051808613497401287340922658071*c_1100_0^28 + 2241576277049878711215474608050271268323/59272025405180861349740128\ 7340922658071*c_1100_0^27 - 831430372127521036343328174150704679411\ 9/592720254051808613497401287340922658071*c_1100_0^26 + 23637053100769897104084596519175483705715/5927202540518086134974012\ 87340922658071*c_1100_0^25 - 53830469638418234065494729137263050129\ 049/592720254051808613497401287340922658071*c_1100_0^24 + 99313418790678040104570683637915101753719/5927202540518086134974012\ 87340922658071*c_1100_0^23 - 15242014024428346174511168225881168585\ 4557/592720254051808613497401287340922658071*c_1100_0^22 + 200011629135201830169724327111998719964214/592720254051808613497401\ 287340922658071*c_1100_0^21 - 2262578789074165696668101963366288618\ 58401/592720254051808613497401287340922658071*c_1100_0^20 + 231610937431820319058824920583477436340455/592720254051808613497401\ 287340922658071*c_1100_0^19 - 1052648806912843433716573104222443496\ 582/2459420141293811674263075881082666631*c_1100_0^18 + 309965250612274013643670050673401322559576/592720254051808613497401\ 287340922658071*c_1100_0^17 - 3646852519200049003771545249410596237\ 36342/592720254051808613497401287340922658071*c_1100_0^16 + 419323539057965452277122665097689710211927/592720254051808613497401\ 287340922658071*c_1100_0^15 - 4438790215016456383529756456116857302\ 17552/592720254051808613497401287340922658071*c_1100_0^14 + 315052170851154182405920214483555946802372/592720254051808613497401\ 287340922658071*c_1100_0^13 - 1034697765206576696796998648712893829\ 37958/592720254051808613497401287340922658071*c_1100_0^12 + 44725147206570905383889481031676889769100/5927202540518086134974012\ 87340922658071*c_1100_0^11 - 13147143400926432291343785572276789904\ 4462/592720254051808613497401287340922658071*c_1100_0^10 + 206773637533930783554680226702577350246047/592720254051808613497401\ 287340922658071*c_1100_0^9 - 22049220116437272895627509950514072908\ 5354/592720254051808613497401287340922658071*c_1100_0^8 + 143916935161575578963980928234294325012081/592720254051808613497401\ 287340922658071*c_1100_0^7 - 60775054249046198325332270254991758073\ 48/592720254051808613497401287340922658071*c_1100_0^6 - 65399357880504241320378240815412545934807/5927202540518086134974012\ 87340922658071*c_1100_0^5 + 324478490163966923019039560430247039651\ 90/592720254051808613497401287340922658071*c_1100_0^4 + 8627948451584573747698552390349548001569/59272025405180861349740128\ 7340922658071*c_1100_0^3 - 1361939071342569509629922784552023938790\ 7/592720254051808613497401287340922658071*c_1100_0^2 + 5033454872603355605556392085748832222614/59272025405180861349740128\ 7340922658071*c_1100_0 - 1596389883684412656315458558482808952943/5\ 92720254051808613497401287340922658071, c_1001_1 - 128794675589351602380355617108777444428/59272025405180861349\ 7401287340922658071*c_1100_0^29 + 104697996159393933006025463877826\ 4841987/592720254051808613497401287340922658071*c_1100_0^28 - 4470461255119646624386798323776087095946/59272025405180861349740128\ 7340922658071*c_1100_0^27 + 139360084655841247869607749407871202475\ 40/592720254051808613497401287340922658071*c_1100_0^26 - 34339794527457369356326746620890525634988/5927202540518086134974012\ 87340922658071*c_1100_0^25 + 67740480592797911623570909784386910199\ 795/592720254051808613497401287340922658071*c_1100_0^24 - 109868402502975587733718430268033189995945/592720254051808613497401\ 287340922658071*c_1100_0^23 + 1516594379364979768196021557963064209\ 95427/592720254051808613497401287340922658071*c_1100_0^22 - 179837381667091030473869229012554343642370/592720254051808613497401\ 287340922658071*c_1100_0^21 + 1874706216539258985493609035963927268\ 55842/592720254051808613497401287340922658071*c_1100_0^20 - 199532010747950699123269281441150297979753/592720254051808613497401\ 287340922658071*c_1100_0^19 + 9968389450270622268192711580824700288\ 06/2459420141293811674263075881082666631*c_1100_0^18 - 284352946478986305481704866888315139004773/592720254051808613497401\ 287340922658071*c_1100_0^17 + 3285169327381014773202698897854160218\ 42811/592720254051808613497401287340922658071*c_1100_0^16 - 370713066020858771923795187789947953657760/592720254051808613497401\ 287340922658071*c_1100_0^15 + 3054090105622284998338092991528768287\ 40974/592720254051808613497401287340922658071*c_1100_0^14 - 132599882230519193357581469403597814061703/592720254051808613497401\ 287340922658071*c_1100_0^13 + 4735560119981298552836769505986564469\ 3105/592720254051808613497401287340922658071*c_1100_0^12 - 93061571732113311446285756410258804510647/5927202540518086134974012\ 87340922658071*c_1100_0^11 + 15027072460082259406111051950657042808\ 2701/592720254051808613497401287340922658071*c_1100_0^10 - 180666626951619490198426379405764418185954/592720254051808613497401\ 287340922658071*c_1100_0^9 + 14832331914408456968750872459785693950\ 0808/592720254051808613497401287340922658071*c_1100_0^8 - 40249195769769903144244078969636063816043/5927202540518086134974012\ 87340922658071*c_1100_0^7 - 386169757643470834282036293695020918037\ 80/592720254051808613497401287340922658071*c_1100_0^6 + 31026160652343635756287980438786835022758/5927202540518086134974012\ 87340922658071*c_1100_0^5 - 180536386473486519547165460833593942665\ 1/592720254051808613497401287340922658071*c_1100_0^4 - 8664191151367070084354130761206695809070/59272025405180861349740128\ 7340922658071*c_1100_0^3 + 6462873637842611575447549900906676594534\ /592720254051808613497401287340922658071*c_1100_0^2 - 3041954689824126388122680701952977078966/59272025405180861349740128\ 7340922658071*c_1100_0 + 179585854123903889085580782671812607162/59\ 2720254051808613497401287340922658071, c_1001_10 - 112867880248707157434092125349999868349/5927202540518086134\ 97401287340922658071*c_1100_0^29 + 936220887239050082632741189192798192406/592720254051808613497401287\ 340922658071*c_1100_0^28 - 4074280490990698088409101321648347650227\ /592720254051808613497401287340922658071*c_1100_0^27 + 12882746156957267759876440777000077539836/5927202540518086134974012\ 87340922658071*c_1100_0^26 - 32161626614966015718302785922601315333\ 399/592720254051808613497401287340922658071*c_1100_0^25 + 64410330732016551916321217851561357339785/5927202540518086134974012\ 87340922658071*c_1100_0^24 - 10607934759768853992577076212599166289\ 8906/592720254051808613497401287340922658071*c_1100_0^23 + 148391291594339524716363207545013162507050/592720254051808613497401\ 287340922658071*c_1100_0^22 - 1783390076255478742142647401277322722\ 92290/592720254051808613497401287340922658071*c_1100_0^21 + 188049105288736618217453902216516444446600/592720254051808613497401\ 287340922658071*c_1100_0^20 - 1985340601317253430649600637374014176\ 83018/592720254051808613497401287340922658071*c_1100_0^19 + 976506351293031266353619397033912402453/245942014129381167426307588\ 1082666631*c_1100_0^18 - 280483449315201000482309895550841516431058\ /592720254051808613497401287340922658071*c_1100_0^17 + 325259855070450294851858544091489619814042/592720254051808613497401\ 287340922658071*c_1100_0^16 - 3669398815814702229210076052325252178\ 11633/592720254051808613497401287340922658071*c_1100_0^15 + 315710821164500559822566579042148455017338/592720254051808613497401\ 287340922658071*c_1100_0^14 - 1528197741121006179823163192430985060\ 35144/592720254051808613497401287340922658071*c_1100_0^13 + 49359018549782808804482168215348416250881/5927202540518086134974012\ 87340922658071*c_1100_0^12 - 81112411969471879762691778860003117332\ 998/592720254051808613497401287340922658071*c_1100_0^11 + 144828766342102957613836570027461276699014/592720254051808613497401\ 287340922658071*c_1100_0^10 - 1794177316185957728768772741927270214\ 90800/592720254051808613497401287340922658071*c_1100_0^9 + 153279841021043579984619670952995470630078/592720254051808613497401\ 287340922658071*c_1100_0^8 - 53045542534177204681242817973923063276\ 509/592720254051808613497401287340922658071*c_1100_0^7 - 33859282657092425458538560184141515781433/5927202540518086134974012\ 87340922658071*c_1100_0^6 + 370431779799999406497362107078991425052\ 39/592720254051808613497401287340922658071*c_1100_0^5 - 5797244295070015796536229765806497415790/59272025405180861349740128\ 7340922658071*c_1100_0^4 - 8630791614624161529718456818530027317352\ /592720254051808613497401287340922658071*c_1100_0^3 + 6447537901093781762493443224471317621843/59272025405180861349740128\ 7340922658071*c_1100_0^2 - 3012165729763000919225502781569638635234\ /592720254051808613497401287340922658071*c_1100_0 + 458369806510472226421476504560703908237/592720254051808613497401287\ 340922658071, c_1100_0^30 - 9*c_1100_0^29 + 42*c_1100_0^28 - 140*c_1100_0^27 + 367*c_1100_0^26 - 776*c_1100_0^25 + 1352*c_1100_0^24 - 1994*c_1100_0^23 + 2529*c_1100_0^22 - 2804*c_1100_0^21 + 2954*c_1100_0^20 - 3338*c_1100_0^19 + 3971*c_1100_0^18 - 4666*c_1100_0^17 + 5317*c_1100_0^16 - 5122*c_1100_0^15 + 3367*c_1100_0^14 - 1385*c_1100_0^13 + 960*c_1100_0^12 - 1770*c_1100_0^11 + 2533*c_1100_0^10 - 2504*c_1100_0^9 + 1446*c_1100_0^8 - 30*c_1100_0^7 - 583*c_1100_0^6 + 311*c_1100_0^5 + 53*c_1100_0^4 - 126*c_1100_0^3 + 71*c_1100_0^2 - 25*c_1100_0 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.440 seconds, Total memory usage: 32.09MB