Magma V2.19-8 Wed Aug 21 2013 00:03:36 on localhost [Seed = 593841467] Type ? for help. Type -D to quit. Loading file "K13n1888__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1888 geometric_solution 12.19785325 oriented_manifold CS_known -0.0000000000000002 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 0 -1 1 -1 0 1 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.573104105863 0.911074242445 0 5 7 6 0132 0132 0132 0132 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 1 -1 0 1 0 -1 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.275818244502 0.852762072750 8 0 10 9 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 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.074475926087 0.914863889873 8 5 6 0 2031 2310 2310 0132 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 -1 0 1 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.389767826905 0.885449205220 11 9 0 7 0132 2103 0132 0321 0 0 0 0 0 1 0 -1 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 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.420918738819 0.569839274562 11 1 12 3 1230 0132 0132 3201 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.577869337379 1.044334511373 10 3 1 9 2103 3201 0132 2103 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 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.435997136873 0.628404964707 8 4 12 1 3120 0321 3012 0132 0 0 0 0 0 1 0 -1 0 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 -1 0 1 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.112540588247 0.893759617551 2 11 3 7 0132 1230 1302 3120 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 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.942485091572 0.914378176119 12 4 2 6 2031 2103 0132 2103 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095023667359 0.874150539375 11 12 6 2 3120 3012 2103 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 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.459977444431 1.023689987509 4 5 8 10 0132 3012 3012 3120 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 0 0 0 0 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.088655897551 1.124066012691 10 7 9 5 1230 1230 1302 0132 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 0 0 0.430391054295 0.557304587129 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0011_9'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : negation(d['c_0101_3']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['c_0011_7']), 'c_0101_10' : d['c_0101_0'], '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' : negation(d['c_0110_6']), 'c_1100_8' : d['c_0101_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0110_9']), 'c_1100_6' : negation(d['c_0110_9']), 'c_1100_1' : negation(d['c_0110_9']), 'c_1100_0' : negation(d['c_0011_12']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : negation(d['c_0110_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_9'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0011_7']), '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_0011_3']), '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_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_3']), '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_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0110_6, c_0110_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 14496116762279228782657977428106227131757125014353143/9569556833262\ 43928166300431983725157568055310826*c_1001_1^19 + 566695147479509295985973298287361061301704653981494/183388719801196\ 57159981367163451178977785032089*c_1001_1^18 - 6364190636900548134649299985129969455585470868945955/68353977380445\ 994869021459427408939826289665059*c_1001_1^17 + 978772440312716234266995723986509972425056895249595605/526325625829\ 4341604914652375910488366624304209543*c_1001_1^16 - 2125101813338909820667630970121494089624504985335933567/52632562582\ 94341604914652375910488366624304209543*c_1001_1^15 + 3111388342045498208467288478692152386317714252939174126/52632562582\ 94341604914652375910488366624304209543*c_1001_1^14 - 4610966103515468034310225598566385402374289205370422590/52632562582\ 94341604914652375910488366624304209543*c_1001_1^13 + 601943802537634855469151322818552133938876687598093683/619206618622\ 863718225253220695351572544035789358*c_1001_1^12 - 681222722985453471990922774721784512155774513561682489/956955683326\ 243928166300431983725157568055310826*c_1001_1^11 + 2139582990165712704288431950656736511278988691057254637/52632562582\ 94341604914652375910488366624304209543*c_1001_1^10 - 1891660201997661369371607486343610011354190061235631929/10526512516\ 588683209829304751820976733248608419086*c_1001_1^9 + 99516894322317905437473159910720052308786147217897375/1052651251658\ 8683209829304751820976733248608419086*c_1001_1^8 + 402399402946220695326003924085971845307705513321937432/526325625829\ 4341604914652375910488366624304209543*c_1001_1^7 - 128618168112767700802806676713567173947639848756672650/526325625829\ 4341604914652375910488366624304209543*c_1001_1^6 - 638274325346225505136993180402277469050000200607590/281457553919483\ 50828420600940697798752001626789*c_1001_1^5 - 8870625588255997604159421361707873998146363416709367/95695568332624\ 3928166300431983725157568055310826*c_1001_1^4 + 1503021487070299052413160301255368335613179443244393/95695568332624\ 3928166300431983725157568055310826*c_1001_1^3 + 13647726119502750214422774251328878185180458721421088/5263256258294\ 341604914652375910488366624304209543*c_1001_1^2 - 8867418863955612954395798849860107750938970013539403/10526512516588\ 683209829304751820976733248608419086*c_1001_1 - 1013492481964669007167033115205172677906432367513298/52632562582943\ 41604914652375910488366624304209543, c_0011_0 - 1, c_0011_10 + 63583748873229054717350920411765040193348/30362637255127664\ 46457455200095494046187*c_1001_1^19 - 143892720373668941974218078981804078744987/303626372551276644645745\ 5200095494046187*c_1001_1^18 + 418009117895869703427774289255144672\ 744707/3036263725512766446457455200095494046187*c_1001_1^17 - 874255237009528863216022165239777536187141/303626372551276644645745\ 5200095494046187*c_1001_1^16 + 170693556978651053674583139819407375\ 559758/276023975046615131496132290917772186017*c_1001_1^15 - 2898583852715984353407415887512559288331370/30362637255127664464574\ 55200095494046187*c_1001_1^14 + 43034341813180792791707274615959080\ 90209253/3036263725512766446457455200095494046187*c_1001_1^13 - 5094106629811458320040569802210462573979654/30362637255127664464574\ 55200095494046187*c_1001_1^12 + 41754690662430858189858695473223299\ 08487047/3036263725512766446457455200095494046187*c_1001_1^11 - 2831627147649159429689017975552347823008535/30362637255127664464574\ 55200095494046187*c_1001_1^10 + 16860118416241554562849268833543343\ 03128424/3036263725512766446457455200095494046187*c_1001_1^9 - 641722587991717027287493738560579421149721/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 1638433558566618309275376358720775409\ 5046/3036263725512766446457455200095494046187*c_1001_1^7 - 6202975096227026273834225797802766767273/30362637255127664464574552\ 00095494046187*c_1001_1^6 + 135259179391578211833594162141996989839\ 36/276023975046615131496132290917772186017*c_1001_1^5 + 877438620964555575802192242794358610786/276023975046615131496132290\ 917772186017*c_1001_1^4 + 1062494342100829313255458140897385729725/\ 3036263725512766446457455200095494046187*c_1001_1^3 - 37470047020776760177681201622957815296567/3036263725512766446457455\ 200095494046187*c_1001_1^2 + 16552368240833072193642469370553075219\ 80/3036263725512766446457455200095494046187*c_1001_1 - 1946342001486996260407908479246132944279/30362637255127664464574552\ 00095494046187, c_0011_11 + 65551128283214563877799810204996787768828/30362637255127664\ 46457455200095494046187*c_1001_1^19 - 97005797120399231514867482538475505776193/3036263725512766446457455\ 200095494046187*c_1001_1^18 + 3321229081056008795440987393725514889\ 01075/3036263725512766446457455200095494046187*c_1001_1^17 - 590249954352321509449103359696529648956273/303626372551276644645745\ 5200095494046187*c_1001_1^16 + 132558667473682008941709973651922542\ 9189451/3036263725512766446457455200095494046187*c_1001_1^15 - 1644027314808038459883383076582776150908559/30362637255127664464574\ 55200095494046187*c_1001_1^14 + 24917914813487354309190322855940120\ 06077179/3036263725512766446457455200095494046187*c_1001_1^13 - 2298776946328764944792441686286835855692661/30362637255127664464574\ 55200095494046187*c_1001_1^12 + 10280612305368594164707058050141404\ 81576085/3036263725512766446457455200095494046187*c_1001_1^11 - 400820609232845190007797610071539395731209/303626372551276644645745\ 5200095494046187*c_1001_1^10 + 768656375981377479922503780469219399\ 38264/3036263725512766446457455200095494046187*c_1001_1^9 + 243623861759932937929831488557468024627336/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 2849678487513547272786640798144893747\ 61901/3036263725512766446457455200095494046187*c_1001_1^7 - 83915564744422458229881205790008073211679/3036263725512766446457455\ 200095494046187*c_1001_1^6 + 11847899171708457764549772095761122288\ 028/276023975046615131496132290917772186017*c_1001_1^5 + 9720834841775796136810494743040578700766/27602397504661513149613229\ 0917772186017*c_1001_1^4 + 3126100607700516465643953068453222367686\ 2/3036263725512766446457455200095494046187*c_1001_1^3 - 17773639144600625052878715512171820585904/3036263725512766446457455\ 200095494046187*c_1001_1^2 - 73255992816491969659974945443887895554\ 29/3036263725512766446457455200095494046187*c_1001_1 + 2838631422701098288969744856273637007578/30362637255127664464574552\ 00095494046187, c_0011_12 - 9480299775751855236615200823087831465215/303626372551276644\ 6457455200095494046187*c_1001_1^19 + 9457729482914388318040482045619551728500/30362637255127664464574552\ 00095494046187*c_1001_1^18 - 49625035900109472463664456299404521034\ 655/3036263725512766446457455200095494046187*c_1001_1^17 + 78301634405828172941521771333784354318164/3036263725512766446457455\ 200095494046187*c_1001_1^16 - 2003851164561510145261263959937451806\ 08254/3036263725512766446457455200095494046187*c_1001_1^15 + 243279971403355150483550144609288849865887/303626372551276644645745\ 5200095494046187*c_1001_1^14 - 460143949236602007678529660840269683\ 498899/3036263725512766446457455200095494046187*c_1001_1^13 + 466942709860279560280285983565050148484803/303626372551276644645745\ 5200095494046187*c_1001_1^12 - 450896933954410017255701878262986930\ 435817/3036263725512766446457455200095494046187*c_1001_1^11 + 494866142936598975903504325027161043251481/303626372551276644645745\ 5200095494046187*c_1001_1^10 - 357022192340360011320289477011584326\ 994416/3036263725512766446457455200095494046187*c_1001_1^9 + 192876514975100064398030738683961371547641/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 9533148568228189629513339719852827922\ 259/276023975046615131496132290917772186017*c_1001_1^7 + 68636394698558625892369198166182074797990/3036263725512766446457455\ 200095494046187*c_1001_1^6 - 37347251051379277190004677809635938980\ 3/276023975046615131496132290917772186017*c_1001_1^5 - 1297644637531660596591535699684582160031/27602397504661513149613229\ 0917772186017*c_1001_1^4 - 3209157924329076695338930319599080630480\ 5/3036263725512766446457455200095494046187*c_1001_1^3 - 3498251101111577981530184331342434126859/30362637255127664464574552\ 00095494046187*c_1001_1^2 + 463673248188027223225682442219602230333\ /3036263725512766446457455200095494046187*c_1001_1 + 3506546420734511244764168789389700601739/30362637255127664464574552\ 00095494046187, c_0011_3 - 30909226384189073098603547128678899417667/303626372551276644\ 6457455200095494046187*c_1001_1^19 + 38513680048190165571441397884903308381519/3036263725512766446457455\ 200095494046187*c_1001_1^18 - 1538421393185318836099390478783029775\ 42277/3036263725512766446457455200095494046187*c_1001_1^17 + 254534040693231876031503644623592874617592/303626372551276644645745\ 5200095494046187*c_1001_1^16 - 603432571696555185450773798446428185\ 417740/3036263725512766446457455200095494046187*c_1001_1^15 + 708537889830309763800773230405352436183903/303626372551276644645745\ 5200095494046187*c_1001_1^14 - 117264516332103376169941448647967440\ 0099091/3036263725512766446457455200095494046187*c_1001_1^13 + 1045882170681949877711594810018496278635928/30362637255127664464574\ 55200095494046187*c_1001_1^12 - 59532005425808264523149923489197160\ 8553690/3036263725512766446457455200095494046187*c_1001_1^11 + 440254124182530750322168478943907364773327/303626372551276644645745\ 5200095494046187*c_1001_1^10 - 223504465277137328021703949717688497\ 515156/3036263725512766446457455200095494046187*c_1001_1^9 + 7777433907267139900165646609180187433359/30362637255127664464574552\ 00095494046187*c_1001_1^8 + 515468440092744039538960229814023945695\ 4/276023975046615131496132290917772186017*c_1001_1^7 + 59392179100924562403323559592944597676838/3036263725512766446457455\ 200095494046187*c_1001_1^6 - 14470524106343189387614096674112173161\ 67/276023975046615131496132290917772186017*c_1001_1^5 - 6142666357680792559079382280374678762007/27602397504661513149613229\ 0917772186017*c_1001_1^4 - 3796579997773905424425521857595860719418\ 0/3036263725512766446457455200095494046187*c_1001_1^3 - 2676050538195718307699173806714902116438/30362637255127664464574552\ 00095494046187*c_1001_1^2 + 129225891806101568583330488546361803744\ 7/3036263725512766446457455200095494046187*c_1001_1 + 1470854601493981526510111656211881386907/30362637255127664464574552\ 00095494046187, c_0011_7 + 20876827894623928284763216308401289434876/303626372551276644\ 6457455200095494046187*c_1001_1^19 - 1410953528679057340594176749447600153948/30362637255127664464574552\ 00095494046187*c_1001_1^18 + 37024912371799528607228203882328020826\ 736/3036263725512766446457455200095494046187*c_1001_1^17 + 15039660381999632281368050009944060536815/3036263725512766446457455\ 200095494046187*c_1001_1^16 - 7519194076991814804505735203051000231\ 04/3036263725512766446457455200095494046187*c_1001_1^15 + 35835662009942533638114997649219826847960/2760239750466151314961322\ 90917772186017*c_1001_1^14 - 63810670884285218273904449238985479680\ 6639/3036263725512766446457455200095494046187*c_1001_1^13 + 1424235345481454648845409913916138988897335/30362637255127664464574\ 55200095494046187*c_1001_1^12 - 22319538138595347561685454414792468\ 79928836/3036263725512766446457455200095494046187*c_1001_1^11 + 2075341254984148441104057845748365449508955/30362637255127664464574\ 55200095494046187*c_1001_1^10 - 14756580616876738449658840273765197\ 36070635/3036263725512766446457455200095494046187*c_1001_1^9 + 920262298036607905148341197859614616469249/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 4160963449371772949749442208340114175\ 56798/3036263725512766446457455200095494046187*c_1001_1^7 - 30391229495626799285330975399379331924638/3036263725512766446457455\ 200095494046187*c_1001_1^6 + 58779672143234946826307065165660418218\ 61/276023975046615131496132290917772186017*c_1001_1^5 + 8169423438137806058439906230949163676835/27602397504661513149613229\ 0917772186017*c_1001_1^4 - 1607280644231554570927195803398600203748\ /3036263725512766446457455200095494046187*c_1001_1^3 - 2721021076931125598591291689730508973062/30362637255127664464574552\ 00095494046187*c_1001_1^2 - 623082054516731478065029820194817295936\ 7/3036263725512766446457455200095494046187*c_1001_1 + 5190619032672704893442574754014252024533/30362637255127664464574552\ 00095494046187, c_0011_9 + 88955636215379836391070494634114080248135/303626372551276644\ 6457455200095494046187*c_1001_1^19 - 134156131017016089366087748489479555724729/303626372551276644645745\ 5200095494046187*c_1001_1^18 + 466855534605003275344520594335040373\ 040516/3036263725512766446457455200095494046187*c_1001_1^17 - 833566336053744797643579867044683114756017/303626372551276644645745\ 5200095494046187*c_1001_1^16 + 188870824628208454362881125593660271\ 1807703/3036263725512766446457455200095494046187*c_1001_1^15 - 2404615012207232907945010967264821687865851/30362637255127664464574\ 55200095494046187*c_1001_1^14 + 37203171663264770005764085223743627\ 93287876/3036263725512766446457455200095494046187*c_1001_1^13 - 3578072670310019120611898873672361090957568/30362637255127664464574\ 55200095494046187*c_1001_1^12 + 20401785709448542762055295678623958\ 48117775/3036263725512766446457455200095494046187*c_1001_1^11 - 1140985070737616728979208671228388952499609/30362637255127664464574\ 55200095494046187*c_1001_1^10 + 46579913005658374414054693163395647\ 4715815/3036263725512766446457455200095494046187*c_1001_1^9 + 119798042280381289319200289799335954525288/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 3016982635003393410979034887910230940\ 68390/3036263725512766446457455200095494046187*c_1001_1^7 - 109634235397241087474813536223518762669352/303626372551276644645745\ 5200095494046187*c_1001_1^6 + 1319081276365183123443595957228206502\ 0058/276023975046615131496132290917772186017*c_1001_1^5 + 11663453318271912801565275727008020664325/2760239750466151314961322\ 90917772186017*c_1001_1^4 + 543557360223990378644773909704898378432\ 40/3036263725512766446457455200095494046187*c_1001_1^3 - 10884161975275895783331926473888210653804/3036263725512766446457455\ 200095494046187*c_1001_1^2 - 32999404943329818122870350641109421129\ 19/3036263725512766446457455200095494046187*c_1001_1 + 542710102174276632859336106036268968024/303626372551276644645745520\ 0095494046187, c_0101_0 - 12142875491309091695098092074315543223657/303626372551276644\ 6457455200095494046187*c_1001_1^19 + 45469829360642225221761180052400643439096/3036263725512766446457455\ 200095494046187*c_1001_1^18 - 1166520582612584593693510633375702665\ 80367/3036263725512766446457455200095494046187*c_1001_1^17 + 277731248186823523218664119276875575236411/303626372551276644645745\ 5200095494046187*c_1001_1^16 - 582953884650645613089079472345170802\ 371484/3036263725512766446457455200095494046187*c_1001_1^15 + 1039735506737141053729631702074323358955046/30362637255127664464574\ 55200095494046187*c_1001_1^14 - 15429979191443352234457129695173632\ 73408723/3036263725512766446457455200095494046187*c_1001_1^13 + 2048952055338746712620835407668967021340813/30362637255127664464574\ 55200095494046187*c_1001_1^12 - 20267617300609737197310569374851725\ 85901584/3036263725512766446457455200095494046187*c_1001_1^11 + 1489317438288166154255391174137875131271894/30362637255127664464574\ 55200095494046187*c_1001_1^10 - 95011117205421935139284194657397187\ 6304628/3036263725512766446457455200095494046187*c_1001_1^9 + 489370941068798499177767918112805032345581/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 9450153838612925137579761641166879041\ 209/276023975046615131496132290917772186017*c_1001_1^7 - 43077451459858852591405170678333369685796/3036263725512766446457455\ 200095494046187*c_1001_1^6 - 17508405588088863636348438478771619412\ 15/276023975046615131496132290917772186017*c_1001_1^5 + 2312874388216954601255057546385812015004/27602397504661513149613229\ 0917772186017*c_1001_1^4 + 2310035738051294762922348137448426444678\ 1/3036263725512766446457455200095494046187*c_1001_1^3 + 7041079175034770557010273870311739087847/30362637255127664464574552\ 00095494046187*c_1001_1^2 - 108769959748597743548714138209226383657\ 04/3036263725512766446457455200095494046187*c_1001_1 - 683297167075220427306479687469536086495/303626372551276644645745520\ 0095494046187, c_0101_1 + 13649509633299408166644574862729577063132/303626372551276644\ 6457455200095494046187*c_1001_1^19 - 40710989685553462778000027048212736243348/3036263725512766446457455\ 200095494046187*c_1001_1^18 + 9859185940352162571873609884385642677\ 9527/3036263725512766446457455200095494046187*c_1001_1^17 - 20508553934193154322512911080190778600698/2760239750466151314961322\ 90917772186017*c_1001_1^16 + 45596530521156217894948275949405026347\ 2269/3036263725512766446457455200095494046187*c_1001_1^15 - 749039927992793350221657556792176467679092/303626372551276644645745\ 5200095494046187*c_1001_1^14 + 922274164097265919654480583582804672\ 26943/276023975046615131496132290917772186017*c_1001_1^13 - 1235454822199424060377056072985846844467581/30362637255127664464574\ 55200095494046187*c_1001_1^12 + 89630325924738338728745052363779822\ 5150418/3036263725512766446457455200095494046187*c_1001_1^11 - 371400565179393110085512386129733604668867/303626372551276644645745\ 5200095494046187*c_1001_1^10 + 122568662696416119270967716829114968\ 507456/3036263725512766446457455200095494046187*c_1001_1^9 + 3463578980102731298141862993483934330927/27602397504661513149613229\ 0917772186017*c_1001_1^8 - 1379618744048556668329082169148467353968\ 20/3036263725512766446457455200095494046187*c_1001_1^7 + 67860744628339486367321296283082528911007/3036263725512766446457455\ 200095494046187*c_1001_1^6 + 49555050768448182421180527931851731083\ 78/276023975046615131496132290917772186017*c_1001_1^5 - 1174145661623143957429515925295699567153/27602397504661513149613229\ 0917772186017*c_1001_1^4 - 2966112907844428839646142626986621750894\ 9/3036263725512766446457455200095494046187*c_1001_1^3 - 13866282235374932087574618238937458125219/3036263725512766446457455\ 200095494046187*c_1001_1^2 + 22039495515217242245021265528701702699\ 17/3036263725512766446457455200095494046187*c_1001_1 + 1463762735400395653001410580395113970299/30362637255127664464574552\ 00095494046187, c_0101_3 + 68286570606255890979427725360991744201158/303626372551276644\ 6457455200095494046187*c_1001_1^19 - 94305604212978907920260660177169606545555/3036263725512766446457455\ 200095494046187*c_1001_1^18 + 3495653300080545830522703979275341426\ 38312/3036263725512766446457455200095494046187*c_1001_1^17 - 602059241097609499766465766167976602906435/303626372551276644645745\ 5200095494046187*c_1001_1^16 + 139462839975600509429494604051129440\ 2731894/3036263725512766446457455200095494046187*c_1001_1^15 - 1711923710165135748064972503706604254361388/30362637255127664464574\ 55200095494046187*c_1001_1^14 + 27351479589289715697476974044119718\ 80397677/3036263725512766446457455200095494046187*c_1001_1^13 - 2548147556235789939013951663226796652694482/30362637255127664464574\ 55200095494046187*c_1001_1^12 + 14788579548687797115028575280424010\ 92706203/3036263725512766446457455200095494046187*c_1001_1^11 - 973321179669922870125274112775335272185428/303626372551276644645745\ 5200095494046187*c_1001_1^10 + 504480995614762864148462646700920283\ 852743/3036263725512766446457455200095494046187*c_1001_1^9 - 66897222539286838582223897706388991231338/3036263725512766446457455\ 200095494046187*c_1001_1^8 - 83325603373522396542950368320654041289\ 845/3036263725512766446457455200095494046187*c_1001_1^7 - 173855062215025070151798523461155559512210/303626372551276644645745\ 5200095494046187*c_1001_1^6 + 1014557439259645577693578311106367855\ 5055/276023975046615131496132290917772186017*c_1001_1^5 + 9518446570790315842003029601663572813191/27602397504661513149613229\ 0917772186017*c_1001_1^4 + 5507861928564689252848610091711162172312\ 6/3036263725512766446457455200095494046187*c_1001_1^3 + 6270183745423870178154731014321469323062/30362637255127664464574552\ 00095494046187*c_1001_1^2 - 156415007521796127095889636178100750663\ 5/3036263725512766446457455200095494046187*c_1001_1 - 588762449736645157772626301877728811814/303626372551276644645745520\ 0095494046187, c_0110_6 + 38500487941071663629056047683366156911813/303626372551276644\ 6457455200095494046187*c_1001_1^19 - 95474651656036402839749129091188367556629/3036263725512766446457455\ 200095494046187*c_1001_1^18 + 2585212851584333123710895581557531814\ 50841/3036263725512766446457455200095494046187*c_1001_1^17 - 558452214612337204751086488226824421988139/303626372551276644645745\ 5200095494046187*c_1001_1^16 + 106416821347870040572936810991036558\ 563671/276023975046615131496132290917772186017*c_1001_1^15 - 1843399226449552550345576694354674814210135/30362637255127664464574\ 55200095494046187*c_1001_1^14 + 26377549859631644333503326373322903\ 99932528/3036263725512766446457455200095494046187*c_1001_1^13 - 3149310150949381921993601870344056651983255/30362637255127664464574\ 55200095494046187*c_1001_1^12 + 24402217918668609219323847541404503\ 00635393/3036263725512766446457455200095494046187*c_1001_1^11 - 1434715141706209144993480660162252761628033/30362637255127664464574\ 55200095494046187*c_1001_1^10 + 77415571358525552659283646097331102\ 3733170/3036263725512766446457455200095494046187*c_1001_1^9 - 225801719281418079893030235465656978483298/303626372551276644645745\ 5200095494046187*c_1001_1^8 - 1192587514147367762305862242974299149\ 36872/3036263725512766446457455200095494046187*c_1001_1^7 + 39665094975256847425182680584911523657855/3036263725512766446457455\ 200095494046187*c_1001_1^6 + 11033228566069334716788621135502391729\ 917/276023975046615131496132290917772186017*c_1001_1^5 - 485816967030424590954149256277928447046/276023975046615131496132290\ 917772186017*c_1001_1^4 - 26535216320124669791451340244433468749798\ /3036263725512766446457455200095494046187*c_1001_1^3 - 28055526795191555545621912329509638620589/3036263725512766446457455\ 200095494046187*c_1001_1^2 + 27796186423540434773202634152648645767\ 7/3036263725512766446457455200095494046187*c_1001_1 + 755686523842368159112142455847128660363/303626372551276644645745520\ 0095494046187, c_0110_9 - 42183687274558850810607153323903217562103/303626372551276644\ 6457455200095494046187*c_1001_1^19 + 93213475549115241250245064915703883881038/3036263725512766446457455\ 200095494046187*c_1001_1^18 - 2647227777141507863575777946797723797\ 28386/3036263725512766446457455200095494046187*c_1001_1^17 + 554348530904080087322319614807182253639331/303626372551276644645745\ 5200095494046187*c_1001_1^16 - 117607718497653348311451618869220155\ 2291883/3036263725512766446457455200095494046187*c_1001_1^15 + 1788773264200392289217524026872342235139042/30362637255127664464574\ 55200095494046187*c_1001_1^14 - 25978626672237061705977853452756257\ 41531107/3036263725512766446457455200095494046187*c_1001_1^13 + 3035277272160402413769160196993658025575508/30362637255127664464574\ 55200095494046187*c_1001_1^12 - 22910296423184909388767656594602658\ 16029370/3036263725512766446457455200095494046187*c_1001_1^11 + 1452764541821728068423478495537206046932066/30362637255127664464574\ 55200095494046187*c_1001_1^10 - 87274013618148009259318623272326694\ 4662369/3036263725512766446457455200095494046187*c_1001_1^9 + 290726329541149494841714034025579040980798/303626372551276644645745\ 5200095494046187*c_1001_1^8 + 5046181103580530385429260120304630696\ 736/276023975046615131496132290917772186017*c_1001_1^7 + 23601268630395873322090424402463944812071/3036263725512766446457455\ 200095494046187*c_1001_1^6 - 11346186670745986414208086515094439222\ 975/276023975046615131496132290917772186017*c_1001_1^5 - 2693606176725166120681241066062876685542/27602397504661513149613229\ 0917772186017*c_1001_1^4 + 1675394193531800889802147333465026836131\ 4/3036263725512766446457455200095494046187*c_1001_1^3 + 32278127754153819836619675954538081306807/3036263725512766446457455\ 200095494046187*c_1001_1^2 + 61247627198729666020016850705800750346\ 93/3036263725512766446457455200095494046187*c_1001_1 + 1159392530954047322251283816688971490529/30362637255127664464574552\ 00095494046187, c_1001_1^20 - 184/101*c_1001_1^19 + 588/101*c_1001_1^18 - 1133/101*c_1001_1^17 + 2505/101*c_1001_1^16 - 3529/101*c_1001_1^15 + 5359/101*c_1001_1^14 - 5798/101*c_1001_1^13 + 4218/101*c_1001_1^12 - 2731/101*c_1001_1^11 + 1511/101*c_1001_1^10 - 422/101*c_1001_1^9 - 163/101*c_1001_1^8 - 98/101*c_1001_1^7 + 201/101*c_1001_1^6 + 88/101*c_1001_1^5 + 36/101*c_1001_1^4 - 27/101*c_1001_1^3 + 3/101*c_1001_1^2 + 1/101*c_1001_1 + 1/101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.040 Total time: 8.250 seconds, Total memory usage: 185.19MB