Magma V2.19-8 Wed Aug 21 2013 01:06:40 on localhost [Seed = 2084201601] Type ? for help. Type -D to quit. Loading file "L14n32807__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32807 geometric_solution 11.95255224 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 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 0 0 0 0 0 0 0.145484083798 0.609275012797 0 4 5 2 0132 3012 0132 0213 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 0 0 0 0 0 0 0 0 1 0 -1 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.109707997637 1.475101140440 6 0 5 1 0132 0132 2103 0213 1 0 0 1 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 -1 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 0 0 0 0 0.629228124853 1.552761189243 7 5 8 0 0132 0213 0132 0132 1 0 0 1 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 0 0 0 1 0 0 -1 -3 3 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270221566114 1.545787445008 1 5 0 6 1230 0132 0132 0321 1 0 1 1 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 0 0 1 -8 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417127222580 0.778356863478 2 4 3 1 2103 0132 0213 0132 1 0 1 1 0 0 0 0 -1 0 1 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 2 0 -3 1 1 0 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465108034748 0.998105157938 2 4 8 7 0132 0321 0321 0321 1 0 1 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -2 0 2 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249750032787 0.529010514900 3 6 9 10 0132 0321 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 -7 0 7 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350875791458 0.644849244526 11 10 6 3 0132 0132 0321 0132 1 0 1 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 -8 0 0 8 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350875791458 0.644849244526 12 10 11 7 0132 0321 3012 0132 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -3 0 0 3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.117847086483 1.680873663459 11 8 7 9 2103 0132 0132 0321 1 0 0 1 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 -1 1 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681330147518 0.435092462884 8 9 10 12 0132 1230 2103 0132 0 0 0 1 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 -2 -1 0 3 8 -1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.117847086483 1.680873663459 9 12 11 12 0132 2310 0132 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138531246122 0.590473297395 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_7'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1001_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0011_3'], '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_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_3']})} 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_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_9, c_1001_0, c_1001_10, c_1001_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1900332143960612236276733428354905006537755402747338794805557133/63\ 111515729483075274582669821056886874715405875172055883917370*c_1001\ _7^23 - 10739293574464959829757679457591859886113955795738062424692\ 731/1088129581542811642665218445190635980598541480606414756619265*c\ _1001_7^22 + 299949030502144099064918823607772933597651888280439346\ 2948249523/31555757864741537637291334910528443437357702937586027941\ 958685*c_1001_7^21 + 1226380798681984237882333895697672246472584503\ 9668838465230794767/31555757864741537637291334910528443437357702937\ 586027941958685*c_1001_7^20 - 2284823685690783018494107069230698054\ 5286124003796916417455011371/21037171909827691758194223273685628958\ 238468625057351961305790*c_1001_7^19 - 138083381241564671738070010426199131824015450596259392706783628909/\ 63111515729483075274582669821056886874715405875172055883917370*c_10\ 01_7^18 - 156337680111939652791181325508371055774732233454030727522\ 985192392/315557578647415376372913349105284434373577029375860279419\ 58685*c_1001_7^17 - 40167056019909803322409195900433645418390866211\ 786454694253850961/701239063660923058606474109122854298607948954168\ 5783987101930*c_1001_7^16 + 259113631775571441136252636171655260415\ 390103537194522566739994373/315557578647415376372913349105284434373\ 57702937586027941958685*c_1001_7^15 + 2534167506833876401174021247815167607726652819545459239186335879983\ /63111515729483075274582669821056886874715405875172055883917370*c_1\ 001_7^14 + 91234700691019491215607377196867454949001672946144206801\ 0332170229/21037171909827691758194223273685628958238468625057351961\ 305790*c_1001_7^13 + 7817558640684960660603703525294207532029902845\ 18305699129160617831/6311151572948307527458266982105688687471540587\ 517205588391737*c_1001_7^12 + 4464629109225457885684794073419436390\ 223138809265399075297248228303/315557578647415376372913349105284434\ 37357702937586027941958685*c_1001_7^11 + 6915730396518371543644948359746594828862432672647919095246510286028\ /31555757864741537637291334910528443437357702937586027941958685*c_1\ 001_7^10 + 32192297828222699548893455369141040329419721593457721796\ 4447249395/21037171909827691758194223273685628958238468625057351961\ 30579*c_1001_7^9 + 363505445162946007171170537035945863656708896453\ 4389167728474732668/31555757864741537637291334910528443437357702937\ 586027941958685*c_1001_7^8 - 15395341153257125661409781121564631776\ 36969081452246002449513778901/6311151572948307527458266982105688687\ 4715405875172055883917370*c_1001_7^7 + 1561921405463359714437648297163384227346906658626721425340256091429\ /31555757864741537637291334910528443437357702937586027941958685*c_1\ 001_7^6 - 320858418676087845642968678947841880508510206872909144211\ 514801021/631115157294830752745826698210568868747154058751720558839\ 17370*c_1001_7^5 + 145050613015686014892152259531172641263675077109\ 8325224447655697229/31555757864741537637291334910528443437357702937\ 586027941958685*c_1001_7^4 - 32548427348347763581912647673937274045\ 902887074444674430718276702/210371719098276917581942232736856289582\ 3846862505735196130579*c_1001_7^3 - 1134557850320338322731170191057763917750360285356112166091430688/23\ 3746354553641019535491369707618099535982984722859466236731*c_1001_7\ ^2 - 58062908127225531115144816596636950315384372298447558813178847\ 461/21037171909827691758194223273685628958238468625057351961305790*\ c_1001_7 - 35837944387743785133552837764697007696054693450096760623\ 233420478/315557578647415376372913349105284434373577029375860279419\ 58685, c_0011_0 - 1, c_0011_10 + 368333032440953354818590443834375363339083902659/3801988398\ 2050434229676286190588029569000247417755*c_1001_7^23 - 150468111500494773758712374436907587343589393312/380198839820504342\ 29676286190588029569000247417755*c_1001_7^22 + 1213763379490504645118854950615059919432205196962/38019883982050434\ 229676286190588029569000247417755*c_1001_7^21 + 4678392904668202626073114175608794001030625608998/38019883982050434\ 229676286190588029569000247417755*c_1001_7^20 - 2710487992963989382606341906480479474112617130509/76039767964100868\ 45935257238117605913800049483551*c_1001_7^19 - 25042400477708824160087285099690683867299150626242/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^18 - 59538782336233448775203418727453011809400575174818/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^17 - 69304271346758532896292816735026237950012903250906/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^16 + 19461281683767839063946992838005761620043857888777/7603976796410086\ 845935257238117605913800049483551*c_1001_7^15 + 469601312557033252644967297697369673923385609266459/380198839820504\ 34229676286190588029569000247417755*c_1001_7^14 + 495505210184796328949666455565734647300651776987303/380198839820504\ 34229676286190588029569000247417755*c_1001_7^13 + 1534309870516468836639486308131484721541887296415914/38019883982050\ 434229676286190588029569000247417755*c_1001_7^12 + 341312367241296954232524591642384006259537301412253/760397679641008\ 6845935257238117605913800049483551*c_1001_7^11 + 2757914864067426225516449586802293237098511457457518/38019883982050\ 434229676286190588029569000247417755*c_1001_7^10 + 1995624537013089809237269770211930813648451124220359/38019883982050\ 434229676286190588029569000247417755*c_1001_7^9 + 342941756190691497304690403841568373333618976555709/760397679641008\ 6845935257238117605913800049483551*c_1001_7^8 + 76533832160897248351007111987283401812887780811947/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^7 + 198390880580550888160521327058261434094750553780851/760397679641008\ 6845935257238117605913800049483551*c_1001_7^6 + 55298207213374801186166957061976361745451235801777/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^5 + 134642641237541615094448346207100686403104113144489/760397679641008\ 6845935257238117605913800049483551*c_1001_7^4 - 31879458350151297140643560040754784612909920299918/7603976796410086\ 845935257238117605913800049483551*c_1001_7^3 + 2188751413867015340410066259648072524512080767803/76039767964100868\ 45935257238117605913800049483551*c_1001_7^2 + 17343629322584561312495433695582370614072373758201/3801988398205043\ 4229676286190588029569000247417755*c_1001_7 - 4872897317604804945607045719718410236657391157237/76039767964100868\ 45935257238117605913800049483551, c_0011_12 + 7688312184591922885482912849529579880439097934621/342178955\ 838453908067086575715292266121002226759795*c_1001_7^23 - 3449468830744631475774196459577055681286648414826/34217895583845390\ 8067086575715292266121002226759795*c_1001_7^22 + 24094222156892719666103368983928332875873307921257/3421789558384539\ 08067086575715292266121002226759795*c_1001_7^21 + 97194509815683586671862840964410249785513852317078/3421789558384539\ 08067086575715292266121002226759795*c_1001_7^20 - 97146716229360087369968307063892687908537443440297/1140596519461513\ 02689028858571764088707000742253265*c_1001_7^19 - 529223426696455495871852932632367935786857562054503/342178955838453\ 908067086575715292266121002226759795*c_1001_7^18 - 1171303282441049810453033023764358758870420212861758/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^17 - 145252363965128651172126276097161428600090629235202/380198839820504\ 34229676286190588029569000247417755*c_1001_7^16 + 2308816988388681141950148906721688533896582883861882/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^15 + 10012780465278062384895200350022635297147802955148046/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^14 + 3211095233817156587365193002897921167220197335873503/11405965194615\ 1302689028858571764088707000742253265*c_1001_7^13 + 5989703785351380571182104301382565978753604065226940/68435791167690\ 781613417315143058453224200445351959*c_1001_7^12 + 32512208880001602546117340408030592763344295742889302/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^11 + 50042968074872013195020332816225675488139788528739672/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^10 + 2148587508351274221360068546003255811464637329717062/22811930389230\ 260537805771714352817741400148450653*c_1001_7^9 + 23130129867521655293504688904814085418046389296424352/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^8 - 9612197117285837385493349595578919568555010785393177/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^7 + 12222158408238053052181704164128526864545018958456176/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^6 - 2494052041239368891822197369014191516086077860282177/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^5 + 9181714759627068428015920242227560234727474802407371/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^4 - 265831580392063542186634312405510534964096397537460/228119303892302\ 60537805771714352817741400148450653*c_1001_7^3 - 30972112520350650203562821281647315314493764694125/7603976796410086\ 845935257238117605913800049483551*c_1001_7^2 - 47741706747112115972449889397929413542643800497912/1140596519461513\ 02689028858571764088707000742253265*c_1001_7 - 697388377043373878232128464280895575142054098661847/342178955838453\ 908067086575715292266121002226759795, c_0011_3 + 20348678592085671503796617712299860693422236591/760397679641\ 0086845935257238117605913800049483551*c_1001_7^23 - 75104725893373679080076037997462284733914966138/3801988398205043422\ 9676286190588029569000247417755*c_1001_7^22 + 350224782056068501440878204636785132124624237299/380198839820504342\ 29676286190588029569000247417755*c_1001_7^21 + 1191530882905749006021199544423850090318963515101/38019883982050434\ 229676286190588029569000247417755*c_1001_7^20 - 4158475919689217697398982774252152960057581490861/38019883982050434\ 229676286190588029569000247417755*c_1001_7^19 - 1127997252682054241574915942864711969975996278332/76039767964100868\ 45935257238117605913800049483551*c_1001_7^18 - 14052971622676415958912152837926879905337747829456/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^17 - 14031667141671693292840365519667544690198833485259/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^16 + 31825372603820390402790738643515108911462550300012/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^15 + 23634249932615487019713524345975517476637131716941/7603976796410086\ 845935257238117605913800049483551*c_1001_7^14 + 91379078219370553371822627111053443942851496481107/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^13 + 381383525354384765020606995939170384798599145910109/380198839820504\ 34229676286190588029569000247417755*c_1001_7^12 + 349803742464798247225618065429963192965728012227892/380198839820504\ 34229676286190588029569000247417755*c_1001_7^11 + 127824920758708760868191096812982568004362478394068/760397679641008\ 6845935257238117605913800049483551*c_1001_7^10 + 356619374500374625967435382676499232333590796132879/380198839820504\ 34229676286190588029569000247417755*c_1001_7^9 + 385533434598064351416009616339564654723202196722157/380198839820504\ 34229676286190588029569000247417755*c_1001_7^8 + 352735012643747401172783744896369280984832734916/760397679641008684\ 5935257238117605913800049483551*c_1001_7^7 + 382959031165429768738374025005592864430716900031316/380198839820504\ 34229676286190588029569000247417755*c_1001_7^6 + 2885752724849696070489383388538717410640857593908/76039767964100868\ 45935257238117605913800049483551*c_1001_7^5 + 236482586258291633018129230221965864390651643110676/380198839820504\ 34229676286190588029569000247417755*c_1001_7^4 - 10527133825176046440134631673148060845927672783073/7603976796410086\ 845935257238117605913800049483551*c_1001_7^3 + 13924053239667916975391867372589497173281053446971/7603976796410086\ 845935257238117605913800049483551*c_1001_7^2 + 8364183343602459262742137217470894376690641074884/76039767964100868\ 45935257238117605913800049483551*c_1001_7 - 22161780538151279549511688234304434734697983533752/3801988398205043\ 4229676286190588029569000247417755, c_0011_4 - 36554001316544033291996536249306591554738590094/380198839820\ 50434229676286190588029569000247417755*c_1001_7^23 + 52793490299769937443613442441716539194244550949/3801988398205043422\ 9676286190588029569000247417755*c_1001_7^22 - 126219141212333465994915647301067162343132160448/380198839820504342\ 29676286190588029569000247417755*c_1001_7^21 - 349889470978683341341323323774469889773801784387/380198839820504342\ 29676286190588029569000247417755*c_1001_7^20 + 1857218891620180102200386672253787897049967359069/38019883982050434\ 229676286190588029569000247417755*c_1001_7^19 + 1196927053440594008247473693672113947197818959082/38019883982050434\ 229676286190588029569000247417755*c_1001_7^18 + 2880071170752883711286165397348171483259748343992/38019883982050434\ 229676286190588029569000247417755*c_1001_7^17 + 304746014565101713181060098702335678593443290867/380198839820504342\ 29676286190588029569000247417755*c_1001_7^16 - 17804393141183245034328527232814977169821484058923/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^15 - 37253213882418750986366883416394682482098353451904/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^14 + 3541153158372366567224341444712357134666135938929/38019883982050434\ 229676286190588029569000247417755*c_1001_7^13 - 18033755389603593335122394131609842562489990002200/7603976796410086\ 845935257238117605913800049483551*c_1001_7^12 - 7094283233957070706787573357339326614049174462333/38019883982050434\ 229676286190588029569000247417755*c_1001_7^11 - 70427584148243807271871565890648907556721278641158/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^10 + 19697336424251780910877458042174793537045001056321/7603976796410086\ 845935257238117605913800049483551*c_1001_7^9 + 61574788891025056145372641610341093524107927526972/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^8 + 162958485460020613140481426238094688870913744546028/380198839820504\ 34229676286190588029569000247417755*c_1001_7^7 - 110543054440564837726219084946709706957295985364229/380198839820504\ 34229676286190588029569000247417755*c_1001_7^6 + 69882705672088420418810228371682769502928318020518/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^5 - 76341633116867595975056603103362341922613293877389/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^4 + 14310799313718223073247620209346030601582646232834/7603976796410086\ 845935257238117605913800049483551*c_1001_7^3 - 6222258033821290153264813469597111674223182689416/76039767964100868\ 45935257238117605913800049483551*c_1001_7^2 - 21910363960317845653152736108107912694334081859741/3801988398205043\ 4229676286190588029569000247417755*c_1001_7 - 9548204498247359476574249332596728451605107631077/38019883982050434\ 229676286190588029569000247417755, c_0101_0 - 1, c_0101_1 + 65189391643884324226986552312192711912372592861/380198839820\ 50434229676286190588029569000247417755*c_1001_7^23 - 22311235593603741636462595555745745539670415189/3801988398205043422\ 9676286190588029569000247417755*c_1001_7^22 + 224005640843735035445962557335717969781492076851/380198839820504342\ 29676286190588029569000247417755*c_1001_7^21 + 841641411927065664679876220649380200545161730714/380198839820504342\ 29676286190588029569000247417755*c_1001_7^20 - 2301257028069037595198596101998365063007614131792/38019883982050434\ 229676286190588029569000247417755*c_1001_7^19 - 4443059209969677199627106020651445902682162432578/38019883982050434\ 229676286190588029569000247417755*c_1001_7^18 - 11172900451923532247625987440578708422077999485464/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^17 - 13726921127106591579659305420965209011605390194392/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^16 + 14020979462637145368462211410700131741641066241089/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^15 + 80918035780658684112200738313482904901087305132801/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^14 + 94920231377742919939046968555765801077517632420036/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^13 + 291214748406366798344995025281121171986149195899109/380198839820504\ 34229676286190588029569000247417755*c_1001_7^12 + 342709459230841176518830492072623866351678837765559/380198839820504\ 34229676286190588029569000247417755*c_1001_7^11 + 568697019645299997069083918174263932465091113329182/380198839820504\ 34229676286190588029569000247417755*c_1001_7^10 + 455106056621633530521822672887373200018815801414484/380198839820504\ 34229676286190588029569000247417755*c_1001_7^9 + 447108223489089407561382257949905748247310124249129/380198839820504\ 34229676286190588029569000247417755*c_1001_7^8 + 164722160523239350146345344962576535275837908220608/380198839820504\ 34229676286190588029569000247417755*c_1001_7^7 + 272415976724864931012154940058883157473420914667087/380198839820504\ 34229676286190588029569000247417755*c_1001_7^6 + 84311469296336900771257145314376356556132605990058/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^5 + 160140953141424037043072627118603522468038349233287/380198839820504\ 34229676286190588029569000247417755*c_1001_7^4 + 3783665488542176633112988536197969755654973449761/76039767964100868\ 45935257238117605913800049483551*c_1001_7^3 + 7701795205846626822127053902992385499057870757555/76039767964100868\ 45935257238117605913800049483551*c_1001_7^2 + 19910552757694450660557949979246559189119123514679/3801988398205043\ 4229676286190588029569000247417755*c_1001_7 - 31709985036398639026085937566901163186303091164829/3801988398205043\ 4229676286190588029569000247417755, c_0101_10 + c_1001_7, c_0101_9 + 6085822333774849289583692978281318972703420110837/3421789558\ 38453908067086575715292266121002226759795*c_1001_7^23 - 1556263538394406255893261618426118381920873159046/34217895583845390\ 8067086575715292266121002226759795*c_1001_7^22 + 19598638873684112390610652562554231914358890631276/3421789558384539\ 08067086575715292266121002226759795*c_1001_7^21 + 79720610806172332589303155580920857103483273859554/3421789558384539\ 08067086575715292266121002226759795*c_1001_7^20 - 14145975660792452263759596367775944732497332989987/2281193038923026\ 0537805771714352817741400148450653*c_1001_7^19 - 450977136268509511415029896605563430603180587743256/342178955838453\ 908067086575715292266121002226759795*c_1001_7^18 - 1053227924895589560084816278708644099681292850470444/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^17 - 140699469751472528567513942583667873542978175176392/380198839820504\ 34229676286190588029569000247417755*c_1001_7^16 + 299286030588197361406901100290214077545100360816158/684357911676907\ 81613417315143058453224200445351959*c_1001_7^15 + 8127944412816452421336192390458282940545909186565307/34217895583845\ 3908067086575715292266121002226759795*c_1001_7^14 + 3163156617948311418063896307683487604494717888393818/11405965194615\ 1302689028858571764088707000742253265*c_1001_7^13 + 26336045021589221972310139684250074725369468237737767/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^12 + 6214104052602700829289638398507147543915415922981202/68435791167690\ 781613417315143058453224200445351959*c_1001_7^11 + 48572971964317839107602740935061483238616973243920069/3421789558384\ 53908067086575715292266121002226759795*c_1001_7^10 + 12259220886908485101717596403105282029383799332160134/1140596519461\ 51302689028858571764088707000742253265*c_1001_7^9 + 5847949551407458152584880946107894648009166864057070/68435791167690\ 781613417315143058453224200445351959*c_1001_7^8 + 83699357866781542454488777571858353627324191858061/3421789558384539\ 08067086575715292266121002226759795*c_1001_7^7 + 2447583960776870361248367571045269174051643922588647/68435791167690\ 781613417315143058453224200445351959*c_1001_7^6 + 281936298738334388566252418050632481369449133683056/342178955838453\ 908067086575715292266121002226759795*c_1001_7^5 + 2156060467938604606782864380801639618352858452957035/68435791167690\ 781613417315143058453224200445351959*c_1001_7^4 - 137171950199739063335826058863707225095987990651778/228119303892302\ 60537805771714352817741400148450653*c_1001_7^3 - 14015270390962840284207903013191049653999674180035/7603976796410086\ 845935257238117605913800049483551*c_1001_7^2 + 32578697590019755877920315582286547953205671534621/1140596519461513\ 02689028858571764088707000742253265*c_1001_7 - 92085107236119184310689054294128717905858644470409/6843579116769078\ 1613417315143058453224200445351959, c_1001_0 + 1, c_1001_10 + 1564929329703785549561844083525907728218434816/760397679641\ 0086845935257238117605913800049483551*c_1001_7^23 - 113489452576634860002321260363299019165651198302/380198839820504342\ 29676286190588029569000247417755*c_1001_7^22 + 49043450661480140910130847551507471997560298261/3801988398205043422\ 9676286190588029569000247417755*c_1001_7^21 - 265114780912344029951364039323829998989981290971/380198839820504342\ 29676286190588029569000247417755*c_1001_7^20 - 1757746945000406475865965598992841471133843208534/38019883982050434\ 229676286190588029569000247417755*c_1001_7^19 + 645745547385320693288174494670922225306291981133/760397679641008684\ 5935257238117605913800049483551*c_1001_7^18 + 6896396312638205785754902973182293742661731775066/38019883982050434\ 229676286190588029569000247417755*c_1001_7^17 + 18226749661424324411218362268517073606206289690734/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^16 + 27204859080516277175399733952169316702809490498798/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^15 - 2772509800060095796170885721282764515821822335877/76039767964100868\ 45935257238117605913800049483551*c_1001_7^14 - 134465035661935230022533410572427241420144877297427/380198839820504\ 34229676286190588029569000247417755*c_1001_7^13 - 147422955001090065029742641430437070504879647529924/380198839820504\ 34229676286190588029569000247417755*c_1001_7^12 - 466966932055742617767626737704207892025228522836337/380198839820504\ 34229676286190588029569000247417755*c_1001_7^11 - 110897353932831829883007646194721940257246882295894/760397679641008\ 6845935257238117605913800049483551*c_1001_7^10 - 913490361327208260362419426707783068946831832582849/380198839820504\ 34229676286190588029569000247417755*c_1001_7^9 - 765323439048483589102022546243460936672106124661577/380198839820504\ 34229676286190588029569000247417755*c_1001_7^8 - 133568490269896362866924937418901960252134902319125/760397679641008\ 6845935257238117605913800049483551*c_1001_7^7 - 124158146797206947934652769370840863151292521126566/380198839820504\ 34229676286190588029569000247417755*c_1001_7^6 - 58868443132784824301361144707355305507018273183121/7603976796410086\ 845935257238117605913800049483551*c_1001_7^5 - 55712397449614626301518856734020170195218399029966/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^4 - 41339357560375441701702704837846666493690908819018/7603976796410086\ 845935257238117605913800049483551*c_1001_7^3 + 2139571079767560921364174757483391223064761361488/76039767964100868\ 45935257238117605913800049483551*c_1001_7^2 - 479007967726138874696079953284039063532160573537/760397679641008684\ 5935257238117605913800049483551*c_1001_7 - 9206283466406508352375430901049186330917323034243/38019883982050434\ 229676286190588029569000247417755, c_1001_6 - 20348678592085671503796617712299860693422236591/760397679641\ 0086845935257238117605913800049483551*c_1001_7^23 + 75104725893373679080076037997462284733914966138/3801988398205043422\ 9676286190588029569000247417755*c_1001_7^22 - 350224782056068501440878204636785132124624237299/380198839820504342\ 29676286190588029569000247417755*c_1001_7^21 - 1191530882905749006021199544423850090318963515101/38019883982050434\ 229676286190588029569000247417755*c_1001_7^20 + 4158475919689217697398982774252152960057581490861/38019883982050434\ 229676286190588029569000247417755*c_1001_7^19 + 1127997252682054241574915942864711969975996278332/76039767964100868\ 45935257238117605913800049483551*c_1001_7^18 + 14052971622676415958912152837926879905337747829456/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^17 + 14031667141671693292840365519667544690198833485259/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^16 - 31825372603820390402790738643515108911462550300012/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^15 - 23634249932615487019713524345975517476637131716941/7603976796410086\ 845935257238117605913800049483551*c_1001_7^14 - 91379078219370553371822627111053443942851496481107/3801988398205043\ 4229676286190588029569000247417755*c_1001_7^13 - 381383525354384765020606995939170384798599145910109/380198839820504\ 34229676286190588029569000247417755*c_1001_7^12 - 349803742464798247225618065429963192965728012227892/380198839820504\ 34229676286190588029569000247417755*c_1001_7^11 - 127824920758708760868191096812982568004362478394068/760397679641008\ 6845935257238117605913800049483551*c_1001_7^10 - 356619374500374625967435382676499232333590796132879/380198839820504\ 34229676286190588029569000247417755*c_1001_7^9 - 385533434598064351416009616339564654723202196722157/380198839820504\ 34229676286190588029569000247417755*c_1001_7^8 - 352735012643747401172783744896369280984832734916/760397679641008684\ 5935257238117605913800049483551*c_1001_7^7 - 382959031165429768738374025005592864430716900031316/380198839820504\ 34229676286190588029569000247417755*c_1001_7^6 - 2885752724849696070489383388538717410640857593908/76039767964100868\ 45935257238117605913800049483551*c_1001_7^5 - 236482586258291633018129230221965864390651643110676/380198839820504\ 34229676286190588029569000247417755*c_1001_7^4 + 10527133825176046440134631673148060845927672783073/7603976796410086\ 845935257238117605913800049483551*c_1001_7^3 - 13924053239667916975391867372589497173281053446971/7603976796410086\ 845935257238117605913800049483551*c_1001_7^2 - 8364183343602459262742137217470894376690641074884/76039767964100868\ 45935257238117605913800049483551*c_1001_7 + 22161780538151279549511688234304434734697983533752/3801988398205043\ 4229676286190588029569000247417755, c_1001_7^24 + 3*c_1001_7^22 + 14*c_1001_7^21 - 32*c_1001_7^20 - 85*c_1001_7^19 - 186*c_1001_7^18 - 242*c_1001_7^17 + 215*c_1001_7^16 + 1425*c_1001_7^15 + 1855*c_1001_7^14 + 4531*c_1001_7^13 + 6036*c_1001_7^12 + 8686*c_1001_7^11 + 7412*c_1001_7^10 + 5356*c_1001_7^9 + 512*c_1001_7^8 + 1434*c_1001_7^7 + 565*c_1001_7^6 + 1354*c_1001_7^5 + 32*c_1001_7^4 - 390*c_1001_7^3 - 66*c_1001_7^2 - 68*c_1001_7 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.340 seconds, Total memory usage: 32.09MB