Magma V2.19-8 Wed Aug 21 2013 00:15:58 on localhost [Seed = 1427323288] Type ? for help. Type -D to quit. Loading file "K13n4737__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4737 geometric_solution 11.72177023 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 1 0 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.252027705221 1.723459826008 0 5 7 6 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 0 1 -1 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.069746515209 0.698081703736 4 0 8 8 1302 0132 3201 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.541688975647 0.525572519644 9 10 10 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436218869411 0.953408574051 11 2 0 12 0132 2031 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 1 -1 -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.616735725810 0.477300940202 12 1 7 6 1230 0132 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007101123196 1.078417548557 11 5 1 11 2310 2310 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320341724245 0.888315184173 12 5 9 1 0132 3201 3012 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 1 0 -1 -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.908514323595 1.140543610497 2 10 2 9 2310 2310 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577289389414 0.971374922041 3 7 11 8 0132 1230 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434601907866 0.677890490558 12 3 3 8 3120 0132 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436218869411 0.953408574051 4 9 6 6 0132 3201 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640760822828 0.996178741887 7 5 4 10 0132 3012 0132 3120 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 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494777905023 0.399474858768 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_1001_1']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_1001_9']), 'c_1010_10' : negation(d['c_1001_0']), '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_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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_0011_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0011_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0101_7']), 'c_1100_8' : negation(d['c_0011_8']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), '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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0101_8, c_1001_0, c_1001_1, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 7710092414965766732747709618282033780679860452892/93732120187034953\ 45724970278610606026001769175*c_1001_9^18 - 16799514915403884907513283254779383452127896547701/9373212018703495\ 345724970278610606026001769175*c_1001_9^17 + 111193565651364582466929779282978962345907016871739/937321201870349\ 5345724970278610606026001769175*c_1001_9^16 - 251692043378953628128022709459424020232490123090124/937321201870349\ 5345724970278610606026001769175*c_1001_9^15 + 518796841664289718576375252720832023925479649050611/937321201870349\ 5345724970278610606026001769175*c_1001_9^14 - 3446422013343500921318966249541976493135609222971064/93732120187034\ 95345724970278610606026001769175*c_1001_9^13 + 3407222427694567418080457680811736746378892612575259/93732120187034\ 95345724970278610606026001769175*c_1001_9^12 - 3923977582506316717407622025397436247961976495295931/93732120187034\ 95345724970278610606026001769175*c_1001_9^11 + 27900292730218780667703935875020801890525475436818903/9373212018703\ 495345724970278610606026001769175*c_1001_9^10 - 1837629790393818926982903679898205991535778269973954/93732120187034\ 95345724970278610606026001769175*c_1001_9^9 - 25259636307459139118975035768092979100031882116083248/9373212018703\ 495345724970278610606026001769175*c_1001_9^8 + 863684723722452204654309094845135333239127687744006/228614927285451\ 105993291958014892829902482175*c_1001_9^7 - 4247559223338924287427952759101824179335524478200731/37492848074813\ 9813828998811144424241040070767*c_1001_9^6 + 92343952695299187356861278940242881690158839538702711/9373212018703\ 495345724970278610606026001769175*c_1001_9^5 - 5055836983427123756348576804564461955973240455310919/18746424037406\ 99069144994055722121205200353835*c_1001_9^4 + 9387761060503364427432202904302632617557301862918072/93732120187034\ 95345724970278610606026001769175*c_1001_9^3 + 1348780117399596375748119810843402015360203537525071/93732120187034\ 95345724970278610606026001769175*c_1001_9^2 + 410893787357509332618758533834191861931168806227742/937321201870349\ 5345724970278610606026001769175*c_1001_9 + 82371453530738914132760026774015838288728243118567/9373212018703495\ 345724970278610606026001769175, c_0011_0 - 1, c_0011_10 + 15425125689942881037480221046449962400684/22303895344922059\ 1212967763916968614539007*c_1001_9^18 - 28842879657656805510615540970737535072360/2230389534492205912129677\ 63916968614539007*c_1001_9^17 + 21188002150304960030540205731957449\ 5700684/223038953449220591212967763916968614539007*c_1001_9^16 - 434790339670144144217501727758132724339404/223038953449220591212967\ 763916968614539007*c_1001_9^15 + 8803958856169360830927661441213818\ 01675926/223038953449220591212967763916968614539007*c_1001_9^14 - 6573875295590141167775053433792837016303820/22303895344922059121296\ 7763916968614539007*c_1001_9^13 + 468564240983498682294697064172332\ 6116137008/223038953449220591212967763916968614539007*c_1001_9^12 - 5684519002845021428870204817169099719483666/22303895344922059121296\ 7763916968614539007*c_1001_9^11 + 534880157699848652719864178403150\ 04219227564/223038953449220591212967763916968614539007*c_1001_9^10 + 13509880936884071027713065440284898513085925/2230389534492205912129\ 67763916968614539007*c_1001_9^9 - 521704981141730880565008771925555\ 82601131856/223038953449220591212967763916968614539007*c_1001_9^8 + 53822583233203183789881344951675257246152823/2230389534492205912129\ 67763916968614539007*c_1001_9^7 - 189988851767653387613150442351203\ 298703673537/223038953449220591212967763916968614539007*c_1001_9^6 + 119522134063236386279643972863486188510509829/223038953449220591212\ 967763916968614539007*c_1001_9^5 + 7269931059307511139419576055695745644908165/22303895344922059121296\ 7763916968614539007*c_1001_9^4 + 6281365574258244509609601593646200\ 864544898/223038953449220591212967763916968614539007*c_1001_9^3 + 4756510653775725138526709096022242847526188/22303895344922059121296\ 7763916968614539007*c_1001_9^2 + 2279646849629459864368902258848656\ 824576477/223038953449220591212967763916968614539007*c_1001_9 + 174393054573545859827347605793964824528581/223038953449220591212967\ 763916968614539007, c_0011_11 - 2598448525112088258552597477670148020316/223038953449220591\ 212967763916968614539007*c_1001_9^18 + 4693780778789823513034999298988644072476/22303895344922059121296776\ 3916968614539007*c_1001_9^17 - 351994925824044251915782908509725921\ 20221/223038953449220591212967763916968614539007*c_1001_9^16 + 70704670220560202068902044980686811617633/2230389534492205912129677\ 63916968614539007*c_1001_9^15 - 14126917586548464753016255794666575\ 0526887/223038953449220591212967763916968614539007*c_1001_9^14 + 1093761046502426467353720864004405879715115/22303895344922059121296\ 7763916968614539007*c_1001_9^13 - 710625701016956885144187674248269\ 395719037/223038953449220591212967763916968614539007*c_1001_9^12 + 832626233261720113346944913610973125035679/223038953449220591212967\ 763916968614539007*c_1001_9^11 - 8924268579554793857599332370665755\ 819034061/223038953449220591212967763916968614539007*c_1001_9^10 - 2892647862985045700122935195083749709600973/22303895344922059121296\ 7763916968614539007*c_1001_9^9 + 9272115184324389331168510828344780\ 268891042/223038953449220591212967763916968614539007*c_1001_9^8 - 8089400945147866840640307021274668960516368/22303895344922059121296\ 7763916968614539007*c_1001_9^7 + 3088573959435308524870653660982862\ 0571098854/223038953449220591212967763916968614539007*c_1001_9^6 - 17846878336055221302642648579764534560132262/2230389534492205912129\ 67763916968614539007*c_1001_9^5 - 466180995269833669565657753098760\ 2009068445/223038953449220591212967763916968614539007*c_1001_9^4 - 852854553883898607223570055367476668711798/223038953449220591212967\ 763916968614539007*c_1001_9^3 - 37164137004787326505705816786836769\ 8880177/223038953449220591212967763916968614539007*c_1001_9^2 - 188871280358880703085857400658303810335980/223038953449220591212967\ 763916968614539007*c_1001_9 - 1298727845069581234500976794457043210\ 6112/223038953449220591212967763916968614539007, c_0011_12 - 21311359303543823009876213659344402056401/22303895344922059\ 1212967763916968614539007*c_1001_9^18 + 41039396123168002073025479683108305291842/2230389534492205912129677\ 63916968614539007*c_1001_9^17 - 29492734725676284525423240456577202\ 9652524/223038953449220591212967763916968614539007*c_1001_9^16 + 616699170459708093675825189013333875114592/223038953449220591212967\ 763916968614539007*c_1001_9^15 - 1248865932430785780524740409532764\ 157542385/223038953449220591212967763916968614539007*c_1001_9^14 + 9145267520777835323586698544007999054775123/22303895344922059121296\ 7763916968614539007*c_1001_9^13 - 696998147035946204273812363984327\ 3315863415/223038953449220591212967763916968614539007*c_1001_9^12 + 8182467905201543348189507189127507074533054/22303895344922059121296\ 7763916968614539007*c_1001_9^11 - 741979983083501382049615261852960\ 80204996119/223038953449220591212967763916968614539007*c_1001_9^10 - 14664515534376462107242634771436681279310977/2230389534492205912129\ 67763916968614539007*c_1001_9^9 + 733877934422685553542002479000072\ 38721374462/223038953449220591212967763916968614539007*c_1001_9^8 - 79393570248551762906743984514771189609367341/2230389534492205912129\ 67763916968614539007*c_1001_9^7 + 266476378504964137254790142395481\ 847693013609/223038953449220591212967763916968614539007*c_1001_9^6 - 178911766743581007371491623998981440759208668/223038953449220591212\ 967763916968614539007*c_1001_9^5 - 2759590252896956780359738710974577361634666/22303895344922059121296\ 7763916968614539007*c_1001_9^4 - 3981414086039734199906914315505856\ 856872921/223038953449220591212967763916968614539007*c_1001_9^3 - 9196606488062658277706330522726351727222851/22303895344922059121296\ 7763916968614539007*c_1001_9^2 - 1914895600741086834835685096109803\ 457839466/223038953449220591212967763916968614539007*c_1001_9 - 75329176712137514929328782320545239455705/2230389534492205912129677\ 63916968614539007, c_0011_8 - 1671151475019307681777593575295145962612/2230389534492205912\ 12967763916968614539007*c_1001_9^18 + 2702232309574633861506927918313272109073/22303895344922059121296776\ 3916968614539007*c_1001_9^17 - 224802910748332241624858455305525287\ 95885/223038953449220591212967763916968614539007*c_1001_9^16 + 41829142986652966363550118141843957018347/2230389534492205912129677\ 63916968614539007*c_1001_9^15 - 87663942880995065528883940788919411\ 307680/223038953449220591212967763916968614539007*c_1001_9^14 + 696090572112645008950903610589745350150113/223038953449220591212967\ 763916968614539007*c_1001_9^13 - 3434682805794780469991747498550393\ 37443690/223038953449220591212967763916968614539007*c_1001_9^12 + 617612276640255882580755634761632586389016/223038953449220591212967\ 763916968614539007*c_1001_9^11 - 5707362881144778874231035461634203\ 473923819/223038953449220591212967763916968614539007*c_1001_9^10 - 2842946429122382063316113644245892472373223/22303895344922059121296\ 7763916968614539007*c_1001_9^9 + 4221535215412310061573181541326095\ 100522865/223038953449220591212967763916968614539007*c_1001_9^8 - 4900327828885814185522294272067805656895779/22303895344922059121296\ 7763916968614539007*c_1001_9^7 + 2022810512295504354973966354927517\ 1038028261/223038953449220591212967763916968614539007*c_1001_9^6 - 8632182287816447188731832605734185859864070/22303895344922059121296\ 7763916968614539007*c_1001_9^5 - 4840814519508799645901278937979964\ 32797067/223038953449220591212967763916968614539007*c_1001_9^4 - 2622902025200951808369216982811002224775566/22303895344922059121296\ 7763916968614539007*c_1001_9^3 - 1823405484627268695623556849180285\ 630620693/223038953449220591212967763916968614539007*c_1001_9^2 - 245654512540221699197940312801876809730934/223038953449220591212967\ 763916968614539007*c_1001_9 - 1272657656099806503011146940614863309\ 33365/223038953449220591212967763916968614539007, c_0101_0 + 4771358304683630306715639068685163214421/2230389534492205912\ 12967763916968614539007*c_1001_9^18 - 9550299213054060621119910288639867545467/22303895344922059121296776\ 3916968614539007*c_1001_9^17 + 669272059697908775453192896868573935\ 66359/223038953449220591212967763916968614539007*c_1001_9^16 - 143273097084834032185708918644869388037572/223038953449220591212967\ 763916968614539007*c_1001_9^15 + 2925439787314874831935999606997032\ 94362116/223038953449220591212967763916968614539007*c_1001_9^14 - 2071944641618476277039286359547519333524417/22303895344922059121296\ 7763916968614539007*c_1001_9^13 + 172295837681278803761869210168393\ 1617179137/223038953449220591212967763916968614539007*c_1001_9^12 - 2026304789573433635024274936387898183236787/22303895344922059121296\ 7763916968614539007*c_1001_9^11 + 167372011860269573464084236424242\ 01281166794/223038953449220591212967763916968614539007*c_1001_9^10 + 1979242215310478334065182817656735905542046/22303895344922059121296\ 7763916968614539007*c_1001_9^9 - 1604826880943790846935024146567031\ 2054250232/223038953449220591212967763916968614539007*c_1001_9^8 + 19805313642016524449696948899513557766470684/2230389534492205912129\ 67763916968614539007*c_1001_9^7 - 613341649592034467443463387459042\ 53526648169/223038953449220591212967763916968614539007*c_1001_9^6 + 44812372359032382500003215920912817706362086/2230389534492205912129\ 67763916968614539007*c_1001_9^5 - 437937380130832610573717375196307\ 6014132486/223038953449220591212967763916968614539007*c_1001_9^4 + 510549269006814435570760223291155496514491/223038953449220591212967\ 763916968614539007*c_1001_9^3 + 28803557566614178879183908729219624\ 11581685/223038953449220591212967763916968614539007*c_1001_9^2 + 487558521964572930450356770847607326574096/223038953449220591212967\ 763916968614539007*c_1001_9 + 5123332849299739879400788055274889307\ 8448/223038953449220591212967763916968614539007, c_0101_1 - 3203573637160397423394564912372973764199/2230389534492205912\ 12967763916968614539007*c_1001_9^18 + 6747261832270291708817002229318485521683/22303895344922059121296776\ 3916968614539007*c_1001_9^17 - 456225219899796300013729151075989377\ 43883/223038953449220591212967763916968614539007*c_1001_9^16 + 100973929817769041825332950152821446475393/223038953449220591212967\ 763916968614539007*c_1001_9^15 - 2068020910704016159950765663712093\ 55498660/223038953449220591212967763916968614539007*c_1001_9^14 + 1412814195661566315961228426113862811592366/22303895344922059121296\ 7763916968614539007*c_1001_9^13 - 130476615462305744359695547797058\ 5929935605/223038953449220591212967763916968614539007*c_1001_9^12 + 1491263280115975733505917741432486577974766/22303895344922059121296\ 7763916968614539007*c_1001_9^11 - 114061917593158623453391858944692\ 59551000941/223038953449220591212967763916968614539007*c_1001_9^10 - 127519625797022115928237849889649444620063/223038953449220591212967\ 763916968614539007*c_1001_9^9 + 10840712801901418690839132998866214\ 316751519/223038953449220591212967763916968614539007*c_1001_9^8 - 14263433971025032510432414009162498754481615/2230389534492205912129\ 67763916968614539007*c_1001_9^7 + 426225309914467237349087881614085\ 39632847728/223038953449220591212967763916968614539007*c_1001_9^6 - 34647653079423828841479818335165931972324227/2230389534492205912129\ 67763916968614539007*c_1001_9^5 + 647456744889062648476348245356949\ 3563995244/223038953449220591212967763916968614539007*c_1001_9^4 - 1385512348269064557935515280382298496894794/22303895344922059121296\ 7763916968614539007*c_1001_9^3 - 1450734348168305822541443874235097\ 338407539/223038953449220591212967763916968614539007*c_1001_9^2 - 519597304590359475798895032969906064487287/223038953449220591212967\ 763916968614539007*c_1001_9 - 2116214671361435786791762897030892355\ 7343/223038953449220591212967763916968614539007, c_0101_10 + 1671151475019307681777593575295145962612/223038953449220591\ 212967763916968614539007*c_1001_9^18 - 2702232309574633861506927918313272109073/22303895344922059121296776\ 3916968614539007*c_1001_9^17 + 224802910748332241624858455305525287\ 95885/223038953449220591212967763916968614539007*c_1001_9^16 - 41829142986652966363550118141843957018347/2230389534492205912129677\ 63916968614539007*c_1001_9^15 + 87663942880995065528883940788919411\ 307680/223038953449220591212967763916968614539007*c_1001_9^14 - 696090572112645008950903610589745350150113/223038953449220591212967\ 763916968614539007*c_1001_9^13 + 3434682805794780469991747498550393\ 37443690/223038953449220591212967763916968614539007*c_1001_9^12 - 617612276640255882580755634761632586389016/223038953449220591212967\ 763916968614539007*c_1001_9^11 + 5707362881144778874231035461634203\ 473923819/223038953449220591212967763916968614539007*c_1001_9^10 + 2842946429122382063316113644245892472373223/22303895344922059121296\ 7763916968614539007*c_1001_9^9 - 4221535215412310061573181541326095\ 100522865/223038953449220591212967763916968614539007*c_1001_9^8 + 4900327828885814185522294272067805656895779/22303895344922059121296\ 7763916968614539007*c_1001_9^7 - 2022810512295504354973966354927517\ 1038028261/223038953449220591212967763916968614539007*c_1001_9^6 + 8632182287816447188731832605734185859864070/22303895344922059121296\ 7763916968614539007*c_1001_9^5 + 4840814519508799645901278937979964\ 32797067/223038953449220591212967763916968614539007*c_1001_9^4 + 2622902025200951808369216982811002224775566/22303895344922059121296\ 7763916968614539007*c_1001_9^3 + 1823405484627268695623556849180285\ 630620693/223038953449220591212967763916968614539007*c_1001_9^2 + 245654512540221699197940312801876809730934/223038953449220591212967\ 763916968614539007*c_1001_9 + 1272657656099806503011146940614863309\ 33365/223038953449220591212967763916968614539007, c_0101_7 - 4771358304683630306715639068685163214421/2230389534492205912\ 12967763916968614539007*c_1001_9^18 + 9550299213054060621119910288639867545467/22303895344922059121296776\ 3916968614539007*c_1001_9^17 - 669272059697908775453192896868573935\ 66359/223038953449220591212967763916968614539007*c_1001_9^16 + 143273097084834032185708918644869388037572/223038953449220591212967\ 763916968614539007*c_1001_9^15 - 2925439787314874831935999606997032\ 94362116/223038953449220591212967763916968614539007*c_1001_9^14 + 2071944641618476277039286359547519333524417/22303895344922059121296\ 7763916968614539007*c_1001_9^13 - 172295837681278803761869210168393\ 1617179137/223038953449220591212967763916968614539007*c_1001_9^12 + 2026304789573433635024274936387898183236787/22303895344922059121296\ 7763916968614539007*c_1001_9^11 - 167372011860269573464084236424242\ 01281166794/223038953449220591212967763916968614539007*c_1001_9^10 - 1979242215310478334065182817656735905542046/22303895344922059121296\ 7763916968614539007*c_1001_9^9 + 1604826880943790846935024146567031\ 2054250232/223038953449220591212967763916968614539007*c_1001_9^8 - 19805313642016524449696948899513557766470684/2230389534492205912129\ 67763916968614539007*c_1001_9^7 + 613341649592034467443463387459042\ 53526648169/223038953449220591212967763916968614539007*c_1001_9^6 - 44812372359032382500003215920912817706362086/2230389534492205912129\ 67763916968614539007*c_1001_9^5 + 437937380130832610573717375196307\ 6014132486/223038953449220591212967763916968614539007*c_1001_9^4 - 510549269006814435570760223291155496514491/223038953449220591212967\ 763916968614539007*c_1001_9^3 - 28803557566614178879183908729219624\ 11581685/223038953449220591212967763916968614539007*c_1001_9^2 - 487558521964572930450356770847607326574096/223038953449220591212967\ 763916968614539007*c_1001_9 - 5123332849299739879400788055274889307\ 8448/223038953449220591212967763916968614539007, c_0101_8 + 159590776609028464919224525740135566704/22303895344922059121\ 2967763916968614539007*c_1001_9^18 - 820435277807333962787759658701166214306/223038953449220591212967763\ 916968614539007*c_1001_9^17 + 2937782838662371993854007379543866111\ 870/223038953449220591212967763916968614539007*c_1001_9^16 - 11232667491376558811145342918392126662031/2230389534492205912129677\ 63916968614539007*c_1001_9^15 + 20681364135337308166946404650725663\ 377807/223038953449220591212967763916968614539007*c_1001_9^14 - 91272109325143389299928128080888514832839/2230389534492205912129677\ 63916968614539007*c_1001_9^13 + 25809763619358493916433942241536309\ 9990984/223038953449220591212967763916968614539007*c_1001_9^12 - 119436517620325764802124299006489915485410/223038953449220591212967\ 763916968614539007*c_1001_9^11 + 6750442313467859101862929125007213\ 02641603/223038953449220591212967763916968614539007*c_1001_9^10 - 1597153771219415049144959546856601250372336/22303895344922059121296\ 7763916968614539007*c_1001_9^9 - 1799853667453644215454919526228292\ 792024591/223038953449220591212967763916968614539007*c_1001_9^8 + 2122348886815364427142710225675128634330696/22303895344922059121296\ 7763916968614539007*c_1001_9^7 - 2897935210481558015659439099898856\ 228508383/223038953449220591212967763916968614539007*c_1001_9^6 + 6980007629196159087993113035033968586219470/22303895344922059121296\ 7763916968614539007*c_1001_9^5 - 1115359952475049704818133663166113\ 082104279/223038953449220591212967763916968614539007*c_1001_9^4 - 1875975760662435181820009389743220902406646/22303895344922059121296\ 7763916968614539007*c_1001_9^3 - 6459471576282248305913922028809755\ 63557131/223038953449220591212967763916968614539007*c_1001_9^2 - 51552855974025274872956624382195325050135/2230389534492205912129677\ 63916968614539007*c_1001_9 - 18459421355677807795622064463280049419\ 0394/223038953449220591212967763916968614539007, c_1001_0 - 36414143397128916134036082323847223429601/223038953449220591\ 212967763916968614539007*c_1001_9^18 + 72936656268564616273425501026937880221714/2230389534492205912129677\ 63916968614539007*c_1001_9^17 - 51049564274278736053061824676655557\ 8311980/223038953449220591212967763916968614539007*c_1001_9^16 + 1095208891020746137973738246283526562310190/22303895344922059121296\ 7763916968614539007*c_1001_9^15 - 223183065360324144179071349937368\ 7631428578/223038953449220591212967763916968614539007*c_1001_9^14 + 15829028064420322745254547905736374184089706/2230389534492205912129\ 67763916968614539007*c_1001_9^13 - 13194321489972170285641374296940895480522693/2230389534492205912129\ 67763916968614539007*c_1001_9^12 + 15414241581587070593402046878373593112321843/2230389534492205912129\ 67763916968614539007*c_1001_9^11 - 128382330190338334106323028317351514493581940/223038953449220591212\ 967763916968614539007*c_1001_9^10 - 14685462744990624107034652432924322943562153/2230389534492205912129\ 67763916968614539007*c_1001_9^9 + 123162159934569641614155963229131\ 310078114478/223038953449220591212967763916968614539007*c_1001_9^8 - 144933728753053369797698741842719778020973977/223038953449220591212\ 967763916968614539007*c_1001_9^7 + 469744872832233030240521997617492143177856138/223038953449220591212\ 967763916968614539007*c_1001_9^6 - 345930999992392161751120237511817927073274932/223038953449220591212\ 967763916968614539007*c_1001_9^5 + 34742737338674322524831366280560008634031585/2230389534492205912129\ 67763916968614539007*c_1001_9^4 - 205874879249870337859749165939006\ 67988971035/223038953449220591212967763916968614539007*c_1001_9^3 - 11627291703687417386037294346409456459583885/2230389534492205912129\ 67763916968614539007*c_1001_9^2 - 347333519443025412585665272424407\ 8160420583/223038953449220591212967763916968614539007*c_1001_9 - 83026048831864459825662406906082173677441/2230389534492205912129677\ 63916968614539007, c_1001_1 - 22637456722543641610646344582062438794983/223038953449220591\ 212967763916968614539007*c_1001_9^18 + 41928975704013013878292798064920582355823/2230389534492205912129677\ 63916968614539007*c_1001_9^17 - 30984576472207542391906618066617049\ 3817024/223038953449220591212967763916968614539007*c_1001_9^16 + 631687967237567375314584995803216291887376/223038953449220591212967\ 763916968614539007*c_1001_9^15 - 1275424587418512549107959115432350\ 485133074/223038953449220591212967763916968614539007*c_1001_9^14 + 9611403762570676053993372303722546765568498/22303895344922059121296\ 7763916968614539007*c_1001_9^13 - 667873133879233150937365526806133\ 6326661162/223038953449220591212967763916968614539007*c_1001_9^12 + 8054652270595927910646066349237210048620926/22303895344922059121296\ 7763916968614539007*c_1001_9^11 - 781382516915486088881106430202784\ 51303846642/223038953449220591212967763916968614539007*c_1001_9^10 - 21427108895841252745657469524226512210289135/2230389534492205912129\ 67763916968614539007*c_1001_9^9 + 775618586363558001776391879156045\ 82458551529/223038953449220591212967763916968614539007*c_1001_9^8 - 78154260120441472077804220855516520345492842/2230389534492205912129\ 67763916968614539007*c_1001_9^7 + 276097184430534018154331201928977\ 754158588844/223038953449220591212967763916968614539007*c_1001_9^6 - 168605038681951582866968775383380942390496919/223038953449220591212\ 967763916968614539007*c_1001_9^5 - 19284600501396195018718959119942446687733072/2230389534492205912129\ 67763916968614539007*c_1001_9^4 - 360480640464649502188666232224458\ 6066329618/223038953449220591212967763916968614539007*c_1001_9^3 - 9197613779157610254062851681322013046316239/22303895344922059121296\ 7763916968614539007*c_1001_9^2 - 2912144970008260248121299323843814\ 767427674/223038953449220591212967763916968614539007*c_1001_9 - 114071814956552658673579639706959472140615/223038953449220591212967\ 763916968614539007, c_1001_9^19 - 2*c_1001_9^18 + 14*c_1001_9^17 - 30*c_1001_9^16 + 61*c_1001_9^15 - 434*c_1001_9^14 + 360*c_1001_9^13 - 416*c_1001_9^12 + 3516*c_1001_9^11 + 422*c_1001_9^10 - 3431*c_1001_9^9 + 3994*c_1001_9^8 - 12837*c_1001_9^7 + 9383*c_1001_9^6 - 727*c_1001_9^5 + 331*c_1001_9^4 + 404*c_1001_9^3 + 89*c_1001_9^2 + 2*c_1001_9 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.780 Total time: 14.990 seconds, Total memory usage: 64.12MB