Magma V2.19-8 Tue Aug 20 2013 23:47:03 on localhost [Seed = 1014650381] Type ? for help. Type -D to quit. Loading file "K14n7323__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7323 geometric_solution 11.04655486 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.277799345621 0.738245013589 0 5 5 6 0132 0132 2103 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.007654113370 1.576417338491 5 0 8 7 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -2 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.624976272579 0.590832984648 9 4 6 0 0132 2031 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -2 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.335931684880 0.971825522443 3 10 0 7 1302 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358921251956 0.421827336443 1 1 9 2 2103 0132 0213 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 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.238448063698 0.894064716694 3 8 1 7 2103 3201 0132 3120 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 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.043333377717 0.577795657726 6 10 2 4 3120 3012 0132 2103 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 2 0 -2 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.389111811792 0.718813843761 11 10 6 2 0132 0321 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 -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.876370771022 0.669538722766 3 5 11 11 0132 0213 2031 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 0.876256065047 0.894976448667 7 4 11 8 1230 0132 2310 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168703814992 1.371018566972 8 10 9 9 0132 3201 1230 1302 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 2 0 -1 -1 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.876256065047 0.894976448667 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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_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_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_0'], 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_6'], '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'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0110_6'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_7, c_0101_8, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 122482934895580792801411878501962932139199652633903/734258087746529\ 833537069798801639867125529262745*c_1001_2^17 + 222861559236466478952065230730750143566252032776106/489505391831019\ 88902471319920109324475035284183*c_1001_2^16 + 778567762785244567952289147955370645150040387692020/489505391831019\ 88902471319920109324475035284183*c_1001_2^15 + 123383774978581575334123013112227254648962939851904034/734258087746\ 529833537069798801639867125529262745*c_1001_2^14 + 66252214979313418858598180652191657851032729914630519/2447526959155\ 09944512356599600546622375176420915*c_1001_2^13 + 1147066260787665209036305785353414136264119186681656133/73425808774\ 6529833537069798801639867125529262745*c_1001_2^12 + 1627444190483352339214001749431736172927619733511671067/73425808774\ 6529833537069798801639867125529262745*c_1001_2^11 + 1245146865256915097848828313002761627608259334138335706/24475269591\ 5509944512356599600546622375176420915*c_1001_2^10 + 1009471924462021656675095698410842300591527742933625403/14685161754\ 9305966707413959760327973425105852549*c_1001_2^9 + 994106800583071837098581930882865607554240971316989861/146851617549\ 305966707413959760327973425105852549*c_1001_2^8 + 4196300132959327041684085668056789804590104192860056721/73425808774\ 6529833537069798801639867125529262745*c_1001_2^7 + 481817422470129729300605136665589413814288496679831242/146851617549\ 305966707413959760327973425105852549*c_1001_2^6 + 49313544073045656719001498012223943098415691764544698/1468516175493\ 05966707413959760327973425105852549*c_1001_2^5 - 669743504647745565978534824751782507967736267380907348/734258087746\ 529833537069798801639867125529262745*c_1001_2^4 - 163119577644710805712467461099207096892513390413542139/244752695915\ 509944512356599600546622375176420915*c_1001_2^3 - 128667823984924962547500890299940261577598370807350166/734258087746\ 529833537069798801639867125529262745*c_1001_2^2 + 1079751612661281955380938090674328930184851439391357/24475269591550\ 9944512356599600546622375176420915*c_1001_2 + 645436951223991614385653949045057648287462296147636/815842319718366\ 48170785533200182207458392140305, c_0011_0 - 1, c_0011_10 - 7436446008943354756577708345434212479289/156642727899384920\ 5513997527027671360297835*c_1001_2^17 - 590055033505823422935742994784149845197892/469928183698154761654199\ 2581083014080893505*c_1001_2^16 - 539040108245310026060221350022733\ 491748782/1566427278993849205513997527027671360297835*c_1001_2^15 - 1385816235496687946707304820887126893633630/31328545579876984110279\ 9505405534272059567*c_1001_2^14 - 176315293578192573847187449210200\ 67628881861/4699281836981547616541992581083014080893505*c_1001_2^13 - 60789710623336808180538677647287233690369507/15664272789938492055\ 13997527027671360297835*c_1001_2^12 - 25437809338134158584653917984998610170250398/9398563673963095233083\ 98516216602816178701*c_1001_2^11 - 465501645798894195157206032271806797260486059/469928183698154761654\ 1992581083014080893505*c_1001_2^10 - 26923104628009520083572033881851056203166661/3132854557987698411027\ 99505405534272059567*c_1001_2^9 - 463941322462313707018785625066102\ 31279192488/939856367396309523308398516216602816178701*c_1001_2^8 - 172803344480849312706392574639118579612966714/469928183698154761654\ 1992581083014080893505*c_1001_2^7 + 94255021673889049170351642073526203111746196/4699281836981547616541\ 992581083014080893505*c_1001_2^6 + 220735081851610870530192991220103185547673963/469928183698154761654\ 1992581083014080893505*c_1001_2^5 + 121995612843136498421369073394534142527824524/469928183698154761654\ 1992581083014080893505*c_1001_2^4 + 20778018895051373166370165025128282631119861/4699281836981547616541\ 992581083014080893505*c_1001_2^3 - 4284921939504880788489288253731976204964931/15664272789938492055139\ 97527027671360297835*c_1001_2^2 + 201498659808735906986409183050370\ 079528558/939856367396309523308398516216602816178701*c_1001_2 + 463359558683177232010651259581691754954801/156642727899384920551399\ 7527027671360297835, c_0011_11 - 1858030473164537757673289277110427131434/313285455798769841\ 102799505405534272059567*c_1001_2^17 - 148640747361939562870260868705100592119576/939856367396309523308398\ 516216602816178701*c_1001_2^16 - 7257669975961225989404432023611645\ 93236588/1566427278993849205513997527027671360297835*c_1001_2^15 - 1754797405269322751208841204252865244698739/31328545579876984110279\ 9505405534272059567*c_1001_2^14 - 274598987478359179341766545985376\ 56752837808/4699281836981547616541992581083014080893505*c_1001_2^13 - 76530502413760402941230553412185355932294119/15664272789938492055\ 13997527027671360297835*c_1001_2^12 - 206635093070417550231063993332869352646833132/469928183698154761654\ 1992581083014080893505*c_1001_2^11 - 589293745700763096423770269270889186278670258/469928183698154761654\ 1992581083014080893505*c_1001_2^10 - 41269507137042338654237980309012996747562436/3132854557987698411027\ 99505405534272059567*c_1001_2^9 - 662546369184480678848363465821892\ 51789173741/939856367396309523308398516216602816178701*c_1001_2^8 - 46882471149011904933349988667567533509096805/9398563673963095233083\ 98516216602816178701*c_1001_2^7 + 199467151745333951519831540571389\ 22549270902/939856367396309523308398516216602816178701*c_1001_2^6 + 332039248196867595893811993072102648410055472/469928183698154761654\ 1992581083014080893505*c_1001_2^5 + 38978404576816886202856613608678005354758581/9398563673963095233083\ 98516216602816178701*c_1001_2^4 + 441491069130698024995869148407707\ 18220949144/4699281836981547616541992581083014080893505*c_1001_2^3 - 6851321839396995739817020471372200315957147/15664272789938492055139\ 97527027671360297835*c_1001_2^2 - 116623839816621468815279099274634\ 21581049021/4699281836981547616541992581083014080893505*c_1001_2 + 808119349158979443801733372420966321409457/156642727899384920551399\ 7527027671360297835, c_0011_3 - 2618855232711343558897303918568970564010942/1268806095985017\ 85646633799689241380184124635*c_1001_2^17 - 23327153565473400595880040037056706392066823/4229353653283392854887\ 7933229747126728041545*c_1001_2^16 - 13907860518046019614141856054181075885971263/8458707306566785709775\ 586645949425345608309*c_1001_2^15 - 2488301149001516577429200482911338657764533259/12688060959850178564\ 6633799689241380184124635*c_1001_2^14 - 181982914589728153716341381431351988162031427/845870730656678570977\ 5586645949425345608309*c_1001_2^13 - 21844889912077016458681628793258907451901412739/1268806095985017856\ 46633799689241380184124635*c_1001_2^12 - 20792758931464235522048348576773024972609084646/1268806095985017856\ 46633799689241380184124635*c_1001_2^11 - 19193906194873534133460895441995887273407097389/4229353653283392854\ 8877933229747126728041545*c_1001_2^10 - 12518508739012835338406459235362021708772673705/2537612191970035712\ 9326759937848276036824927*c_1001_2^9 - 7497651626225000911672739369631392514655392857/25376121919700357129\ 326759937848276036824927*c_1001_2^8 - 27514774099681809581683902960591856319383021784/1268806095985017856\ 46633799689241380184124635*c_1001_2^7 + 5689800918746199270978891888644884214677198807/12688060959850178564\ 6633799689241380184124635*c_1001_2^6 + 6033570803965019098495866848989670407496087002/25376121919700357129\ 326759937848276036824927*c_1001_2^5 + 20624319562923264443531315565207283948887408736/1268806095985017856\ 46633799689241380184124635*c_1001_2^4 + 2150358235991586707105747042100922059473263484/42293536532833928548\ 877933229747126728041545*c_1001_2^3 - 251463070213834107915419068123004995340529397/126880609598501785646\ 633799689241380184124635*c_1001_2^2 - 145671467287226586387142402910492154193532191/422935365328339285488\ 77933229747126728041545*c_1001_2 + 963391658786588989098177849940986659287046/140978455109446428496259\ 77743249042242680515, c_0011_6 - 689059166675804535023235333689516790368959/12688060959850178\ 5646633799689241380184124635*c_1001_2^17 - 6060861356530762207221538516943153127395218/42293536532833928548877\ 933229747126728041545*c_1001_2^16 - 16184952277628606236789153565941117905860039/4229353653283392854887\ 7933229747126728041545*c_1001_2^15 - 126350682528098859485312275318546387829336705/253761219197003571293\ 26759937848276036824927*c_1001_2^14 - 162397071308913190438021111525978316003367254/422935365328339285488\ 77933229747126728041545*c_1001_2^13 - 5346896824619276174647970442220339379344928717/12688060959850178564\ 6633799689241380184124635*c_1001_2^12 - 686667091832808979616487095250714175171232032/253761219197003571293\ 26759937848276036824927*c_1001_2^11 - 3973822411535245599872114506708060759085021071/42293536532833928548\ 877933229747126728041545*c_1001_2^10 - 2120707207296020979392093907342549392047498966/25376121919700357129\ 326759937848276036824927*c_1001_2^9 - 184253003719359258160862833023692434951828646/253761219197003571293\ 26759937848276036824927*c_1001_2^8 - 1249204834533891039388002730801452828561524798/12688060959850178564\ 6633799689241380184124635*c_1001_2^7 + 5151070173863515055705437533088340133786250507/12688060959850178564\ 6633799689241380184124635*c_1001_2^6 + 8596345856185183315168000535808197446667868086/12688060959850178564\ 6633799689241380184124635*c_1001_2^5 + 1899161788370161248780549626230660875102643228/12688060959850178564\ 6633799689241380184124635*c_1001_2^4 - 591011173835061137294285360311418385452651716/422935365328339285488\ 77933229747126728041545*c_1001_2^3 - 1288256027855018992883440905236396551501445821/12688060959850178564\ 6633799689241380184124635*c_1001_2^2 - 8742927693961060457968331580208385328909245/84587073065667857097755\ 86645949425345608309*c_1001_2 + 12095677221239120732370035103416357\ 486653484/14097845510944642849625977743249042242680515, c_0101_0 - 1563384480565168355858221358501343009756796/1268806095985017\ 85646633799689241380184124635*c_1001_2^17 - 13953311704219862050693955248929678211775974/4229353653283392854887\ 7933229747126728041545*c_1001_2^16 - 8448199606189597898840220098964385696697845/84587073065667857097755\ 86645949425345608309*c_1001_2^15 - 1491242049367718778507111802508697635963102392/12688060959850178564\ 6633799689241380184124635*c_1001_2^14 - 113806025467291624334090228952021642219239050/845870730656678570977\ 5586645949425345608309*c_1001_2^13 - 13099532042784042015711110896399620943602283817/1268806095985017856\ 46633799689241380184124635*c_1001_2^12 - 13115165956415941018216830296982744836486680118/1268806095985017856\ 46633799689241380184124635*c_1001_2^11 - 11593334663457245870170029793859389076199068602/4229353653283392854\ 8877933229747126728041545*c_1001_2^10 - 7864743763702807274598366417534080095721380168/25376121919700357129\ 326759937848276036824927*c_1001_2^9 - 4747027534767976054765161503378452459036021544/25376121919700357129\ 326759937848276036824927*c_1001_2^8 - 17790730254415678152009243821223375425709778817/1268806095985017856\ 46633799689241380184124635*c_1001_2^7 + 2537902661449973717017634810232888759093340381/12688060959850178564\ 6633799689241380184124635*c_1001_2^6 + 3656233163213546827862685000049227441953534701/25376121919700357129\ 326759937848276036824927*c_1001_2^5 + 12825089163219080637236206850954926493560924708/1268806095985017856\ 46633799689241380184124635*c_1001_2^4 + 1456742600463763859980443697616871863320553252/42293536532833928548\ 877933229747126728041545*c_1001_2^3 + 67505614545242584833850072402790262555397919/1268806095985017856466\ 33799689241380184124635*c_1001_2^2 - 81958225983323071940886744235134508622619388/4229353653283392854887\ 7933229747126728041545*c_1001_2 + 501464383835767982147481869509579\ 5908801453/14097845510944642849625977743249042242680515, c_0101_10 + 3585488228344577873553764446726887467789/313285455798769841\ 102799505405534272059567*c_1001_2^17 + 1427564838774117242861874813893713652439259/46992818369815476165419\ 92581083014080893505*c_1001_2^16 + 268517706729597039009409638815502124414163/313285455798769841102799\ 505405534272059567*c_1001_2^15 + 1678114497891696977214727068497696\ 2879282051/1566427278993849205513997527027671360297835*c_1001_2^14 + 46890921694725481327385333424875051307772102/4699281836981547616541\ 992581083014080893505*c_1001_2^13 + 146266880716471163298027553773906374954353554/156642727899384920551\ 3997527027671360297835*c_1001_2^12 + 344965514512421208976034452647779810724609203/469928183698154761654\ 1992581083014080893505*c_1001_2^11 + 221542623216880674518103925362281916672883942/939856367396309523308\ 398516216602816178701*c_1001_2^10 + 70524786723527625613403400047337740452518244/3132854557987698411027\ 99505405534272059567*c_1001_2^9 + 107184970272823445069325313741587\ 017872868431/939856367396309523308398516216602816178701*c_1001_2^8 + 78461973668058706632873057211294325893024070/9398563673963095233083\ 98516216602816178701*c_1001_2^7 - 253711240283431715786341707603820\ 581548493397/4699281836981547616541992581083014080893505*c_1001_2^6 - 120511888773376351239934882608032160860070590/9398563673963095233\ 08398516216602816178701*c_1001_2^5 - 328113268327608909218303251757854418356655219/469928183698154761654\ 1992581083014080893505*c_1001_2^4 - 46296778541327104308235690240195981754168164/4699281836981547616541\ 992581083014080893505*c_1001_2^3 + 16541766941162799694320120399328013623095612/1566427278993849205513\ 997527027671360297835*c_1001_2^2 + 10897143958362007974261125780061318119676619/4699281836981547616541\ 992581083014080893505*c_1001_2 - 1793424667554622207290675147787967\ 26203468/313285455798769841102799505405534272059567, c_0101_11 - 3056300624090609685877872934439749746419293/126880609598501\ 785646633799689241380184124635*c_1001_2^17 - 27288273958885564744704706066259096283047263/4229353653283392854887\ 7933229747126728041545*c_1001_2^16 - 16564101899865933152448146121042626445723931/8458707306566785709775\ 586645949425345608309*c_1001_2^15 - 2914527639116843927149563818867351329102583602/12688060959850178564\ 6633799689241380184124635*c_1001_2^14 - 1118974808085738130977738755689190428842947243/42293536532833928548\ 877933229747126728041545*c_1001_2^13 - 5105108064017033533791059181634351907605087981/25376121919700357129\ 326759937848276036824927*c_1001_2^12 - 5149928299736781817787709175976608806995598346/25376121919700357129\ 326759937848276036824927*c_1001_2^11 - 22417676917748120596242459864194566991509320151/4229353653283392854\ 8877933229747126728041545*c_1001_2^10 - 15271061793247721222792330816759607439402688425/2537612191970035712\ 9326759937848276036824927*c_1001_2^9 - 8937642486234866939249218993326323300224530587/25376121919700357129\ 326759937848276036824927*c_1001_2^8 - 31735074032767645887920729636123357073117850166/1268806095985017856\ 46633799689241380184124635*c_1001_2^7 + 6142853356173958347088097515521314276678554237/12688060959850178564\ 6633799689241380184124635*c_1001_2^6 + 7404065376447841239403630684038428668237551037/25376121919700357129\ 326759937848276036824927*c_1001_2^5 + 25451785779052778093129469342726340593575893687/1268806095985017856\ 46633799689241380184124635*c_1001_2^4 + 2378785002436791452829697605345738047829550892/42293536532833928548\ 877933229747126728041545*c_1001_2^3 - 152257815051951133797078037308134701132348877/253761219197003571293\ 26759937848276036824927*c_1001_2^2 - 42620541063381100865920812387722369736920783/8458707306566785709775\ 586645949425345608309*c_1001_2 + 1243530775122519473044261917406379\ 0039444549/14097845510944642849625977743249042242680515, c_0101_7 + 756437570747847889823160318035137994345312/42293536532833928\ 548877933229747126728041545*c_1001_2^17 + 6715913469264313407145342540727540754764573/14097845510944642849625\ 977743249042242680515*c_1001_2^16 + 3901353237850033304595445582927944962285237/28195691021889285699251\ 95548649808448536103*c_1001_2^15 + 714107260430977432526882477848418480006938319/422935365328339285488\ 77933229747126728041545*c_1001_2^14 + 48512983153774451347551522190484211214991795/2819569102188928569925\ 195548649808448536103*c_1001_2^13 + 6263256681685242340587616590964949927491074934/42293536532833928548\ 877933229747126728041545*c_1001_2^12 + 5479432464788893251915018892730155405593360826/42293536532833928548\ 877933229747126728041545*c_1001_2^11 + 5433517827740830524663486932937231007565058104/14097845510944642849\ 625977743249042242680515*c_1001_2^10 + 3361547714271388320262473708992635324083174656/84587073065667857097\ 75586645949425345608309*c_1001_2^9 + 1945841667571234724359065602279435471604816967/84587073065667857097\ 75586645949425345608309*c_1001_2^8 + 7541658903334231755900976156503513986202658114/42293536532833928548\ 877933229747126728041545*c_1001_2^7 - 2101867964144543221044681778394789399604275417/42293536532833928548\ 877933229747126728041545*c_1001_2^6 - 1672354983193376724429174095909447987686836389/84587073065667857097\ 75586645949425345608309*c_1001_2^5 - 5251718624830152703706998279333272826239221651/42293536532833928548\ 877933229747126728041545*c_1001_2^4 - 544289528906895477148602090331878337385556199/140978455109446428496\ 25977743249042242680515*c_1001_2^3 + 101737204686889047660680992205880066720205712/422935365328339285488\ 77933229747126728041545*c_1001_2^2 + 33489985036604659235221130615495048450234126/1409784551094464284962\ 5977743249042242680515*c_1001_2 - 169753340512765396759585625888075\ 387393116/4699281836981547616541992581083014080893505, c_0101_8 - 1127470337933581812039599074338373034037131/4229353653283392\ 8548877933229747126728041545*c_1001_2^17 - 222750328932687057445138588285285406900162/313285455798769841102799\ 505405534272059567*c_1001_2^16 - 5884595669750151363132801826416604\ 793342420/2819569102188928569925195548649808448536103*c_1001_2^15 - 1066220041147750825192328258416385322899651063/42293536532833928548\ 877933229747126728041545*c_1001_2^14 - 373121036819530140416751355249762278235603118/140978455109446428496\ 25977743249042242680515*c_1001_2^13 - 9327532360669834773140989856455681443897075376/42293536532833928548\ 877933229747126728041545*c_1001_2^12 - 8452669880111710989876239199932363323469287489/42293536532833928548\ 877933229747126728041545*c_1001_2^11 - 8060964727621906557750445286301608571822255142/14097845510944642849\ 625977743249042242680515*c_1001_2^10 - 5103155359550751674658404077004193954927776537/84587073065667857097\ 75586645949425345608309*c_1001_2^9 - 2872920111468707651034891011797073824190924560/84587073065667857097\ 75586645949425345608309*c_1001_2^8 - 10515818810207310708806331132962873156483437072/4229353653283392854\ 8877933229747126728041545*c_1001_2^7 + 672286818089485915381140443756085619870597303/845870730656678570977\ 5586645949425345608309*c_1001_2^6 + 2612926403309472911443945972403800102049517548/84587073065667857097\ 75586645949425345608309*c_1001_2^5 + 8210711861629331654074866429251682134247169541/42293536532833928548\ 877933229747126728041545*c_1001_2^4 + 692326712919107283589539748769835151166035643/140978455109446428496\ 25977743249042242680515*c_1001_2^3 - 506486746491690722689384566645414537588321323/422935365328339285488\ 77933229747126728041545*c_1001_2^2 - 24109791554882483718015674080950602344709713/4699281836981547616541\ 992581083014080893505*c_1001_2 + 5114775435603645149923195918512062\ 303791523/4699281836981547616541992581083014080893505, c_0110_6 - 689059166675804535023235333689516790368959/12688060959850178\ 5646633799689241380184124635*c_1001_2^17 - 6060861356530762207221538516943153127395218/42293536532833928548877\ 933229747126728041545*c_1001_2^16 - 16184952277628606236789153565941117905860039/4229353653283392854887\ 7933229747126728041545*c_1001_2^15 - 126350682528098859485312275318546387829336705/253761219197003571293\ 26759937848276036824927*c_1001_2^14 - 162397071308913190438021111525978316003367254/422935365328339285488\ 77933229747126728041545*c_1001_2^13 - 5346896824619276174647970442220339379344928717/12688060959850178564\ 6633799689241380184124635*c_1001_2^12 - 686667091832808979616487095250714175171232032/253761219197003571293\ 26759937848276036824927*c_1001_2^11 - 3973822411535245599872114506708060759085021071/42293536532833928548\ 877933229747126728041545*c_1001_2^10 - 2120707207296020979392093907342549392047498966/25376121919700357129\ 326759937848276036824927*c_1001_2^9 - 184253003719359258160862833023692434951828646/253761219197003571293\ 26759937848276036824927*c_1001_2^8 - 1249204834533891039388002730801452828561524798/12688060959850178564\ 6633799689241380184124635*c_1001_2^7 + 5151070173863515055705437533088340133786250507/12688060959850178564\ 6633799689241380184124635*c_1001_2^6 + 8596345856185183315168000535808197446667868086/12688060959850178564\ 6633799689241380184124635*c_1001_2^5 + 1899161788370161248780549626230660875102643228/12688060959850178564\ 6633799689241380184124635*c_1001_2^4 - 591011173835061137294285360311418385452651716/422935365328339285488\ 77933229747126728041545*c_1001_2^3 - 1288256027855018992883440905236396551501445821/12688060959850178564\ 6633799689241380184124635*c_1001_2^2 - 8742927693961060457968331580208385328909245/84587073065667857097755\ 86645949425345608309*c_1001_2 + 12095677221239120732370035103416357\ 486653484/14097845510944642849625977743249042242680515, c_1001_2^18 + 27*c_1001_2^17 + 87*c_1001_2^16 + 970*c_1001_2^15 + 1299*c_1001_2^14 + 8549*c_1001_2^13 + 10148*c_1001_2^12 + 23469*c_1001_2^11 + 29156*c_1001_2^10 + 18955*c_1001_2^9 + 12017*c_1001_2^8 - 901*c_1001_2^7 - 13181*c_1001_2^6 - 11032*c_1001_2^5 - 3558*c_1001_2^4 + 361*c_1001_2^3 + 504*c_1001_2^2 + 27*c_1001_2 - 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.070 Total time: 1.270 seconds, Total memory usage: 32.09MB