Magma V2.19-8 Tue Aug 20 2013 23:39:19 on localhost [Seed = 1495219465] Type ? for help. Type -D to quit. Loading file "K13n2492__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2492 geometric_solution 10.06704669 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -10 10 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327137015428 1.459829253611 0 5 7 6 0132 0132 0132 0132 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 -10 0 10 0 0 1 -1 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552705355214 0.618355992084 8 0 5 7 0132 0132 1230 1230 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 11 0 -11 0 0 10 0 -10 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594471775209 0.746846315756 8 9 10 0 2103 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 0 0 0 0 10 0 0 -10 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180296778943 0.601542091665 5 8 0 10 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -10 -1 11 0 0 0 0 -11 11 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420877871700 1.323469418516 4 1 9 2 0132 0132 1023 3012 0 0 0 0 0 -1 0 1 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 10 0 -10 0 0 0 0 -11 0 0 11 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507495211450 0.739374790965 8 9 1 7 3120 2310 0132 3201 0 0 0 0 0 0 1 -1 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 0 -10 10 -11 0 1 10 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.355253312924 0.737597400555 2 6 10 1 3012 2310 2103 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 1 0 0 -1 0 -10 0 10 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453177122100 0.567733495822 2 4 3 6 0132 0132 2103 3120 0 0 0 0 0 -1 1 0 1 0 0 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 -11 0 0 11 0 11 0 -11 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388387623196 0.555654487298 10 3 5 6 1230 0132 1023 3201 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 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516638954357 0.898591462362 7 9 4 3 2103 3012 0132 0132 0 0 0 0 0 -1 1 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 11 -11 0 0 0 0 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180058392918 0.744990173477 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_3'], 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_1'], 'c_1100_10' : d['c_1100_0'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0011_6']), 'c_1100_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_7'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], '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_0101_9'], 'c_0101_8' : d['c_0011_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_2'], '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_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1449393546530066085928747008423042114987762726438496520363789273041\ 2671399/42896704244615082390809439880733243186075909872019116719842\ 053918574099147*c_1100_0^20 - 7677774882609000731403324067669464236\ 60404774281594125043806812066924349611/4289670424461508239080943988\ 0733243186075909872019116719842053918574099147*c_1100_0^19 + 1872698496146117988929881431302171771023529440457762559260052465138\ 03153584/6128100606373583198687062840104749026582272838859873817120\ 293416939157021*c_1100_0^18 - 1219376370305418204376980037747244895\ 5788459496985051796201820129913313021349/85793408489230164781618879\ 761466486372151819744038233439684107837148198294*c_1100_0^17 + 7136793088770683388612971929960504401743538056995148107503089675500\ 770613207/122562012127471663973741256802094980531645456777197476342\ 40586833878314042*c_1100_0^16 - 57016705210444169399478228869928305\ 638481975482448007634489454328813155353255/428967042446150823908094\ 39880733243186075909872019116719842053918574099147*c_1100_0^15 + 1945335234811608840269090945040788965575737318570280090044746207040\ 5541850813/61281006063735831986870628401047490265822728388598738171\ 20293416939157021*c_1100_0^14 - 28652716650767190350078921973533110\ 3880750074137880546530791502408129630469552/42896704244615082390809\ 439880733243186075909872019116719842053918574099147*c_1100_0^13 + 4999735813685210776255815640565992110314297469063922629247074128600\ 32958678430/4289670424461508239080943988073324318607590987201911671\ 9842053918574099147*c_1100_0^12 - 162758535982647269413576111065578\ 5995862550890146972373637015937794228918058843/85793408489230164781\ 618879761466486372151819744038233439684107837148198294*c_1100_0^11 + 9859961040351781110028194682935373555799688680968380823145807385594\ 80516743604/4289670424461508239080943988073324318607590987201911671\ 9842053918574099147*c_1100_0^10 - 119452296859480495046030790106034\ 51637498058267974146184224308112099141025733/5876260855426723615179\ 37532612784153233916573589302968764959642720193139*c_1100_0^9 + 6861624658131480803330997795987075581560710091644408979268841176790\ 00971728914/4289670424461508239080943988073324318607590987201911671\ 9842053918574099147*c_1100_0^8 - 4726795168082439995533631172731444\ 91266078218662601438707933234871794483872888/4289670424461508239080\ 9439880733243186075909872019116719842053918574099147*c_1100_0^7 - 2163900113817582265866825517200939896040080140681098610935089987772\ 2480003947/85793408489230164781618879761466486372151819744038233439\ 684107837148198294*c_1100_0^6 - 32215727765397537099125822607800895\ 4863310875843484472586307006511881151567871/42896704244615082390809\ 439880733243186075909872019116719842053918574099147*c_1100_0^5 + 4163892774980463352404675689725553373070018135761242308060296706505\ 87513808035/4289670424461508239080943988073324318607590987201911671\ 9842053918574099147*c_1100_0^4 - 1397059724003062340349374512708520\ 40106683911180203711120529710058178708106815/4289670424461508239080\ 9439880733243186075909872019116719842053918574099147*c_1100_0^3 + 1348062866335880170291339037355320814777102105883319276697524952185\ 54275355527/8579340848923016478161887976146648637215181974403823343\ 9684107837148198294*c_1100_0^2 - 6108209981778503587907619716229532\ 5082473362502774814994628018059531552042561/85793408489230164781618\ 879761466486372151819744038233439684107837148198294*c_1100_0 + 1746905460380120073376181405055199737334798214506922161919480722564\ 71718107173/8579340848923016478161887976146648637215181974403823343\ 9684107837148198294, c_0011_0 - 1, c_0011_10 - 12321226356783526554696069684763655091895858431076453673404\ 572/697369192463896026724262579191128178664222945049845524348817275\ 57*c_1100_0^20 - 65263409231371029936311859731381295199907255278646\ 9937278445465/69736919246389602672426257919112817866422294504984552\ 434881727557*c_1100_0^19 + 1116581991408031088713105701826204048884\ 145639987007032597920909/697369192463896026724262579191128178664222\ 94504984552434881727557*c_1100_0^18 - 5215049136817813568286803842735154759894398205937423761318253014/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 + 21077383645854342220539709664693217933808600472771182983\ 071458459/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 - 48459378733007709353294785314126412492237858\ 538031920072144030441/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 + 115046413944937321227952565617344590684756090987782651189644735899/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^14 - 239308372291992673356198639337747469102907953998418590\ 420560195586/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^13 + 41616778691069580323295706024488096790685\ 4982401344918955149351052/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^12 - 667623951012368583189174336560333473516492053381318961316159557506/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^11 + 784988522322125182709472885647303842574251456234376904\ 379209159786/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^10 - 64822659725201300838926675947469227605591\ 6146572499696452447616188/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^9 + 419467775930302511974659176076829794112437126532600678030855183961/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 - 2042978235166426430631198451742459653861723264559667546\ 50918618793/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 - 1728255967006640122645945148523198608682299\ 50228513325701084797460/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^6 - 151286679870171046501411567888593449702055096519483503406603881246/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^5 + 2979460667525180203830960247013892526344767659734308626\ 95647567335/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^4 - 2268436287589177096895631375098379638770725\ 80114451947515038052717/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^3 - 13538528705905229575687604933711637466366722223858634674122684913/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^2 + 18861526879369923686872201916623856269447111160506796128\ 897180992/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0 + 64333719731234232776075275477911233399217545530\ 783143769700397727/697369192463896026724262579191128178664222945049\ 84552434881727557, c_0011_3 + 178164459777702216115770324151500605809076229776568161568842\ 51/6973691924638960267242625791911281786642229450498455243488172755\ 7*c_1100_0^20 + 942880888138341295611230573432915854341913739051960\ 295637290407/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^19 - 16575410671231265359275037104449017628269\ 68191330940692801966618/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^18 + 7651502820360904023962003837013082809734492569270645952200569627/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 - 31129200185910072493580586539024528292122020387590063041\ 337318985/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 + 72123970496704803006895614664090731254727506\ 311568048425311213392/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 - 172644101279504359260915502842163757297256837078158242031775272580/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^14 + 363807638090108369858488938983524438071006808804606929\ 994776300019/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^13 - 63997678958258682506827947030339270201284\ 3580416220235209325578094/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^12 + 1044639919126464314613609743456977500436344753856696402642599839399\ /69736919246389602672426257919112817866422294504984552434881727557*\ c_1100_0^11 - 12831452265493766749186755469263955372607156414917574\ 94275662551818/6973691924638960267242625791911281786642229450498455\ 2434881727557*c_1100_0^10 + 116069622961944523541929379844035965147\ 0024258061068769958867205614/69736919246389602672426257919112817866\ 422294504984552434881727557*c_1100_0^9 - 907544949089653768733403888518243215384748767641676573497374581466/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 + 6100363546267317023096621497870938040282944466263758477\ 94940156091/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 + 1807216998297141540847664881486972895383877\ 0714834378903980367526/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^6 + 370724129140043760288895819510680175205061279942659605580293505950/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^5 - 4995218279100800969599654204181757276969744525084589220\ 65225923396/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^4 + 2234500243158906928799510488799752638700065\ 37675575122418911727734/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^3 - 122458807268081984772496689625797413564096307386976148020114129910/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^2 + 1153960935455007207266244712607105680443264700983733653\ 66746885527/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0 - 757451864091827018894004418481764139705588492\ 72567117289385694508/6973691924638960267242625791911281786642229450\ 4984552434881727557, c_0011_6 - 109820723579101263913802657482508044172569085259839848030768\ 38/6973691924638960267242625791911281786642229450498455243488172755\ 7*c_1100_0^20 - 579845610912950982781245772321642445440553998830819\ 029340726767/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^19 + 10959399785635129374645577912405889287190\ 23352309796311484950836/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^18 - 4686467769094380350839392070591935266630956013667180851455915022/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 + 19454196180229420108566077455770047675941542298414496259\ 151336233/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 - 45596273213532059745803955489776262761036870\ 888106469675955231054/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 + 106627089797750056116624181047059624475034544584091678244691288001/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^14 - 225005008534998649448448461961957241929377246118777810\ 488767827596/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^13 + 39421335520914764082435798536244212297006\ 0736813150477495876150312/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^12 - 633361228538011612547286842746899908711133804128298713637314200643/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^11 + 767527614200701008760035082535555751034991136718930714\ 673416881358/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^10 - 65117031402023885534147614093571170787379\ 0992861220744750794745023/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^9 + 454772167370936925070033163507839029588331124592631315320780922767/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 - 2939654696269604067951131837717030762560761544503154976\ 94743071981/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 - 6470560279936743439309644535726923642151519\ 1276476253245495877756/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^6 - 140430554230337660348711582964536966638047314422126789351249891684/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^5 + 3261816480724692494577677332392112840894635986018912298\ 54747886565/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^4 - 1110884189278820187260317844497263802713538\ 04345934047473304569741/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^3 - 45251829643214376240389895563083494110741744002674907440699046032/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^2 - 35068777184806944537943614598016463697219389099802900413\ 696323985/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0 + 60769007521757825576980778695869236639886525618\ 148780599170182594/697369192463896026724262579191128178664222945049\ 84552434881727557, c_0011_7 + 310633485344855830973651794233973352184229997600049104215584\ 2/69736919246389602672426257919112817866422294504984552434881727557\ *c_1100_0^20 + 1654459910993188426522250938735760964109841475123198\ 34175520764/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^19 - 235522136143850296047019287789680432402539\ 695662915502727396923/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^18 + 1114885847959315605903078586384737954615154738407126749518154065/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 - 49135149559536934345626285279774506353624868571848389335\ 22499765/6973691924638960267242625791911281786642229450498455243488\ 1727557*c_1100_0^16 + 100150759315457641066765390982124506725319849\ 08691789239073202001/6973691924638960267242625791911281786642229450\ 4984552434881727557*c_1100_0^15 - 231714813372445124920883310634316\ 81146212605069947293711782883047/6973691924638960267242625791911281\ 7866422294504984552434881727557*c_1100_0^14 + 48995844509257038352505179310492414154949754622554647108397200828/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^13 - 7969129314911076740305097590920981442115970198963355570\ 6280233662/69736919246389602672426257919112817866422294504984552434\ 881727557*c_1100_0^12 + 1267864781859730005483137572158112922232149\ 36609268288723437373370/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^11 - 140458390475705876344450621409547439062228329949704183310778138745/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^10 + 101620680727899800441495827564679280436189480916318821\ 648660650605/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^9 - 105989606962343375100080799980985851848362\ 244826948655006063428649/697369192463896026724262579191128178664222\ 94504984552434881727557*c_1100_0^8 + 129639914004755972906630955648945594967552298583620021824996502570/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^7 - 7440385116473141022287178902995864873660181385079717784\ 8107439975/69736919246389602672426257919112817866422294504984552434\ 881727557*c_1100_0^6 + 17622825854299220610778367867844984953562808\ 7492396233072692150765/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^5 - 178822636794952797633155544987332611031211946159743667595702065136/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^4 - 3664326029071821733243974361804333210228055920305060284\ 6192959004/69736919246389602672426257919112817866422294504984552434\ 881727557*c_1100_0^3 + 12495908835625896276459752156272923068486629\ 524428647684589389099/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^2 + 308274576734841089391912353571004\ 85130874270150761731276890320201/6973691924638960267242625791911281\ 7866422294504984552434881727557*c_1100_0 - 56975683282817348769692696642990149523458666544375526767450367820/6\ 9736919246389602672426257919112817866422294504984552434881727557, c_0101_0 + 634649150905345965264150497206567597886858800523463099478275\ 8/69736919246389602672426257919112817866422294504984552434881727557\ *c_1100_0^20 + 3307403489017155391052751998870062415626288463170186\ 99143442765/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^19 - 864750613350287855593952570501785160431685\ 009943217918020474696/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^18 + 3047841535353391934094126132263189036127033439527006250523259764/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 - 13067027117397783800726516474290472093991094215707719140\ 232631425/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 + 33426119806127005867712543214365384977619849\ 146155889592159658082/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 - 77412843151525143336974161038107745123142107757762780958986349573/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^14 + 1684140726181112689440562664960617709121544754373188462\ 18420544900/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^13 - 305848853209858727689091297454366427354078\ 262503145656323423356837/697369192463896026724262579191128178664222\ 94504984552434881727557*c_1100_0^12 + 499465794609915162644019055261308468684607681197644500520384190378/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^11 - 656774426288523344526550831107805116948633102252222478\ 056346362729/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^10 + 61400973310319111682147375777694662487177\ 9315752220428809586096873/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^9 - 445344610873244471198388508205513223117977075210460754652250048255/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 + 2648108216595008644921750955684730805641094088947833067\ 11286620971/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 + 3370342248948237619242491032375884312827920\ 6665596312712784470686/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^6 - 28543548954228668840109439907851674678807560284225301016577979238/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^5 - 26891246083511366876596172758104698510716689930604795277\ 0749096357/69736919246389602672426257919112817866422294504984552434\ 881727557*c_1100_0^4 + 16702647726655188298593692755024908688777499\ 0985515510126392624676/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^3 - 88552463817667785570995026444024420058845731758675906957759496887/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^2 + 28478377294231442572420323589259752589888573477210245817\ 960731429/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0 - 32716806062324915631062480258702633501177856127\ 721924765028857849/697369192463896026724262579191128178664222945049\ 84552434881727557, c_0101_1 - 917782242473689914191450349792361901055449125484050847285433\ 0/69736919246389602672426257919112817866422294504984552434881727557\ *c_1100_0^20 - 4886600479670020253576704778625579297435522323694834\ 71966110375/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^19 + 696863809418155276922225030184004841919548\ 653272087352006097038/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^18 - 3707399212158332884244595025391816581301404380131566790998241479/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 + 14852935938557320313815147191416095563934791923945295028\ 396551099/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 - 32300177403500070230504072919636525950701234\ 535276910645208933957/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 + 78423859723550636747860178595374696441010294790473104267072073934/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^14 - 1619965406242722699169475759298011443539370664694597130\ 38151929471/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^13 + 276700673518409520595432046595225339799563\ 057690151932950297991862/697369192463896026724262579191128178664222\ 94504984552434881727557*c_1100_0^12 - 448459033559967160581010672261718309885771012926171832754919393353/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^11 + 514750012469351303823193184138654555858093777769561485\ 872705264105/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^10 - 42924615109740861377072602717856360085379\ 1313258355870204022610220/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^9 + 330703282726739632599164914819226630630106427731918761081507937904/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 - 2062909101123187329747440981388138179622589033182317038\ 37190309847/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 - 6877428229658410153114338439908528819071757\ 3469193699672846264948/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^6 - 228748217642603795385174079582227601281395638455395014105959586393/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^5 + 2054010699616109911860438893481004468792177644345504621\ 16330750303/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^4 - 1050017259312293394934447504501466897869243\ 93643140848623004596180/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^3 + 101489181079326783185264013080067093489288448852105456706773449382/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^2 - 1781589640038263412562381305925774124248523594417203938\ 3297306259/69736919246389602672426257919112817866422294504984552434\ 881727557*c_1100_0 + 3885653806601541826289745164083527726010875838\ 8341275890706485870/69736919246389602672426257919112817866422294504\ 984552434881727557, c_0101_10 + 37211747223441355719246979035451608123911752769960379489353\ 92/6973691924638960267242625791911281786642229450498455243488172755\ 7*c_1100_0^20 + 193903083581081495968569569273787080815917091412553\ 061877178428/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^19 - 50441448011211764666291313359215944186675\ 4631623267515570201659/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^18 + 1990548104791511816887048228212447076154217409473464859511931756/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 - 79270465585879656521236153794220971917887363543881560530\ 51836913/6973691924638960267242625791911281786642229450498455243488\ 1727557*c_1100_0^16 + 211735330202987847858637160730441797767288848\ 45095418962916081308/6973691924638960267242625791911281786642229450\ 4984552434881727557*c_1100_0^15 - 515524569290317057822598514993903\ 74806166268005746577525679791825/6973691924638960267242625791911281\ 7866422294504984552434881727557*c_1100_0^14 + 111894290038582943800336226139420176711155367827158927484944454081/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^13 - 212478569043814998976989661246029938852128069295736374\ 223982562842/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^12 + 36216574475259942558941018304977516369442\ 1148766323115040324471848/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^11 - 505007822834634034656261987473133688163767916380904379207230846115/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^10 + 560627553984674131603029630007869290840945861637855555\ 288264843366/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^9 - 503969190293861154211250217338439680193336\ 251535773606900019548163/697369192463896026724262579191128178664222\ 94504984552434881727557*c_1100_0^8 + 391761073717496927307656973334409926409612081325645423937159164439/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^7 - 2063979997280040404300484512737951943634424356864300644\ 28511823175/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^6 + 1353047625914785257603841266146669009457464\ 05965946797716907570595/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^5 - 152475798659974790665682542481414712319824557743940370000808583858/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^4 + 1975148850905246488705942794319508475301331145494854710\ 33762798457/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^3 - 7716615376819070425361515554378384696899457\ 4012633547084301834872/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^2 + 17791599660622141116918396108480730472246708401806402029310893614/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0 - 5003560015815111995242247551541873207810604027860336383674\ 7232612/69736919246389602672426257919112817866422294504984552434881\ 727557, c_0101_2 + 633380284376410656548171170440846183571807145024504180946597\ 7/69736919246389602672426257919112817866422294504984552434881727557\ *c_1100_0^20 + 3304587528937505548513285063900111183347062750366469\ 51724237264/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^19 - 845250328157777618042109808013130931887957\ 052690952769860200573/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^18 + 2884083117376665062423563800093354136179099437072760644615621562/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 - 12636379725699129699512584856139871964095414271804575420\ 066463976/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 + 31642078420896376626418227366354515904225285\ 161918602568856872769/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 - 71578388822194555978110160712491425481352795996229635468998765649/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^14 + 1543852056366024355953826380301356912486111176260354142\ 99912879111/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^13 - 273747612207956823810796039219246509258932\ 120840649928196736928375/697369192463896026724262579191128178664222\ 94504984552434881727557*c_1100_0^12 + 436902344102211453310816845739911445730435557705849143038834373638/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^11 - 549093440696726953701656610816601196088599165131677866\ 828833858449/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^10 + 45321491549658065247032387797661428063265\ 2731210325945615215555581/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^9 - 270180155178030808052631375688869821916052929768635745644669736950/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 + 1363026749277029749301679162034805259040484839829795117\ 15188999864/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 + 6934996876330942584976493158343748724338549\ 7489432374694063908324/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^6 + 11807338009011299940481718726304943764720428184718329827563200672/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^5 - 34085152045091687077435395630987034609920706458325629600\ 0043903334/69736919246389602672426257919112817866422294504984552434\ 881727557*c_1100_0^4 + 15477517779555646534359259116092092890951578\ 3646779527768598275594/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^3 - 12446048343021296867906918985571143784544530589617070449997449510/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0^2 - 16388232041885826180681131774439324129457373374899481105\ 135690779/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0 - 15779806423414166168983262057101617958316512891\ 031126965712480543/697369192463896026724262579191128178664222945049\ 84552434881727557, c_0101_9 - 122261450911501742853738149151160721345212948318387574238940\ 62/6973691924638960267242625791911281786642229450498455243488172755\ 7*c_1100_0^20 - 649095874660603372790913844677775754546227953242544\ 285702086613/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^19 + 10319339016688012919214143023644425858308\ 41987910757925184207588/6973691924638960267242625791911281786642229\ 4504984552434881727557*c_1100_0^18 - 4855324876640552702771104239415614952605556783034178816227070211/69\ 736919246389602672426257919112817866422294504984552434881727557*c_1\ 100_0^17 + 20403086479427253312278463253798497843533084569456365464\ 262508523/697369192463896026724262579191128178664222945049845524348\ 81727557*c_1100_0^16 - 44675713301149347620501110233973947048602847\ 302361748054034137334/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^15 + 105720410786433486953873134826542322499973876981128252246523702679/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^14 - 222833889726634780649324548879835379312079688475645875\ 267133659327/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^13 + 37926217286338374781347351788063994558910\ 0374840784242433679016715/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^12 - 611268733783518659162322117423589729780822934882003278059251260539/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^11 + 715912814932677232793708701816025028087723052473310715\ 829026780008/697369192463896026724262579191128178664222945049845524\ 34881727557*c_1100_0^10 - 58568502110945640135900265438588012206481\ 6207641410313015575557163/69736919246389602672426257919112817866422\ 294504984552434881727557*c_1100_0^9 + 472556514355564613340693664056447382659088666119593033592360276393/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^8 - 3531861138435459564071873852059514961288332968145388177\ 99153174860/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^7 - 3590952841801127454719263379640391845933208\ 0967458844552277259914/69736919246389602672426257919112817866422294\ 504984552434881727557*c_1100_0^6 - 285583828676024489223213070065379220694023842878373509122494756044/\ 69736919246389602672426257919112817866422294504984552434881727557*c\ _1100_0^5 + 3931842222054521340559866383577732284490697139418514790\ 19007694202/6973691924638960267242625791911281786642229450498455243\ 4881727557*c_1100_0^4 + 6153092461620469167509986190067142325177978\ 415557133735774014369/697369192463896026724262579191128178664222945\ 04984552434881727557*c_1100_0^3 + 345353581828794363977605463009896\ 36347117247747616207438297196344/6973691924638960267242625791911281\ 7866422294504984552434881727557*c_1100_0^2 - 56585448239863445881713179689905020545241692493834843131313103095/6\ 9736919246389602672426257919112817866422294504984552434881727557*c_\ 1100_0 + 8843485165035502171815726552871519711715789882760638525330\ 1796965/69736919246389602672426257919112817866422294504984552434881\ 727557, c_1100_0^21 + 53*c_1100_0^20 - 89*c_1100_0^19 + 417*c_1100_0^18 - 1709*c_1100_0^17 + 3875*c_1100_0^16 - 9241*c_1100_0^15 + 19392*c_1100_0^14 - 33663*c_1100_0^13 + 54568*c_1100_0^12 - 65305*c_1100_0^11 + 56283*c_1100_0^10 - 42902*c_1100_0^9 + 28257*c_1100_0^8 + 4452*c_1100_0^7 + 20150*c_1100_0^6 - 27377*c_1100_0^5 + 8538*c_1100_0^4 - 4171*c_1100_0^3 + 2016*c_1100_0^2 - 5971*c_1100_0 - 73 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB