Magma V2.19-8 Tue Aug 20 2013 23:46:46 on localhost [Seed = 1545221755] Type ? for help. Type -D to quit. Loading file "K14n26238__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n26238 geometric_solution 10.46299493 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 8 -7 -1 -8 0 0 8 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.322221181064 0.931916839837 0 5 5 6 0132 0132 1302 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 8 0 0 -8 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.050178905456 0.564539653732 4 0 8 7 0213 0132 0132 0132 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 -8 0 8 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546966854006 0.943671373171 3 3 6 0 1230 3012 3201 0132 0 0 0 0 0 1 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 7 0 -7 0 7 -7 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831246195798 1.168761386275 2 9 0 8 0213 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 0 0 -8 8 -8 8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296821061770 0.813798526481 1 1 10 11 2031 0132 0132 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 -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.843787915777 1.757469899652 3 11 1 7 2310 3120 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 7 1 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.365929456204 1.352634194713 9 6 2 10 0213 1302 0132 2310 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 0 8 -8 0 1 0 0 -1 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111909867796 0.605515802471 4 9 11 2 3120 0321 1230 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 -8 0 0 8 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.251965367289 1.582260016550 7 4 10 8 0213 0132 1023 0321 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 -1 1 -1 1 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759549694927 0.647238273874 7 11 9 5 3201 3012 1023 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 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 -0.138983223579 0.502440654198 10 6 5 8 1230 3120 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387139743606 0.815406138107 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_8']), '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_8']), 'c_1100_10' : negation(d['c_1001_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], '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_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(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_0011_10'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : d['c_1001_8'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_4, c_0011_6, c_0011_8, c_0101_11, c_0101_3, c_0101_5, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 687034624230940454750095783714175987074537843377063986176063079159/\ 700101860771805471764957354455853859677417169490176818787721342*c_1\ 001_8^19 - 14117305957139570871316466230650473216454505015620839657\ 94800740813/3500509303859027358824786772279269298387085847450884093\ 93860671*c_1001_8^18 - 15424272986752244617197462658518948866853854\ 043126839375800238643437/700101860771805471764957354455853859677417\ 169490176818787721342*c_1001_8^17 + 81270230761341677307277638689641073520572008968803910205193798286/6\ 604734535583070488348654287319376034692614806511102064035107*c_1001\ _8^16 - 35020316994472155010520963208412766573063776060651649132477\ 903963919/500072757694146765546398110325609899769583692492983441991\ 22953*c_1001_8^15 + 13523457690376057969155149718371209723652143306\ 14112863486658409876310/3500509303859027358824786772279269298387085\ 84745088409393860671*c_1001_8^14 - 5547926961717068301127497485623272079745754870178399450769652254210\ 682/350050930385902735882478677227926929838708584745088409393860671\ *c_1001_8^13 + 3173960229331166417345438220419875671699579602398674\ 600287968830668023/500072757694146765546398110325609899769583692492\ 98344199122953*c_1001_8^12 - 12885148244192155549461296179531835114\ 7291445183772277688835245740757883/70010186077180547176495735445585\ 3859677417169490176818787721342*c_1001_8^11 + 1856679797422279692922481788210848082847710561092560731992018364116\ 97444/3500509303859027358824786772279269298387085847450884093938606\ 71*c_1001_8^10 - 36464315628695760300057681368802229415473193612568\ 7716853184538934182104/35005093038590273588247867722792692983870858\ 4745088409393860671*c_1001_8^9 + 1043520766054656364908292097536614\ 939864865797851701661957119928541647547/700101860771805471764957354\ 455853859677417169490176818787721342*c_1001_8^8 - 6462843278930673172815295201661416702658134165012463164752200230002\ 58130/3500509303859027358824786772279269298387085847450884093938606\ 71*c_1001_8^7 + 132113641294634343670984914654820251349727505143430\ 6947444687487042060185/70010186077180547176495735445585385967741716\ 9490176818787721342*c_1001_8^6 - 4554054005314314546084804771545408\ 95678913373819789202914885816186926479/3500509303859027358824786772\ 27926929838708584745088409393860671*c_1001_8^5 + 1796783364844062819378579127703893444932137256484163561196365353033\ 92744/3500509303859027358824786772279269298387085847450884093938606\ 71*c_1001_8^4 - 696236328659346800396471584679316519662843871555813\ 57905005945512228313/7001018607718054717649573544558538596774171694\ 90176818787721342*c_1001_8^3 + 976545888443265396803504926453506207\ 624075469355628803620894216920715/100014551538829353109279622065121\ 979953916738498596688398245906*c_1001_8^2 - 2358586801556837156247917691327943299528966045985833372948846747103\ 9/50007275769414676554639811032560989976958369249298344199122953*c_\ 1001_8 + 3115477437291465379667012314094732676549732640274989715718\ 045096217/350050930385902735882478677227926929838708584745088409393\ 860671, c_0011_0 - 1, c_0011_10 - 192037720857930664405541069832564568892566825360009605913/8\ 631890119151891145373162047331604670857536235165164309*c_1001_8^19 - 794977093893298341921985646803321121303060013741356155689/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 - 4335362415956393549023815487773834921737087951362835321036/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 + 42964474995647318362327713804041532865625900059991226620/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 - 136977069685813025677832757686089140024597538396376669365809/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^15 + 751891024004922025534126362844481572561328265661008199843493/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 - 3078965499996590469082783003946272539331416573316845730532781/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 + 12328391825511631298244194487719245626070376548780812437800813/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^12 - 35647581057990427561410725825651025063381771190945709980808916/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 + 102731126412884643349794133909991327197833613311321112302511369/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^10 - 200783011363042033350780406961593524988211978474327552371567703/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^9 + 285713067946354407225990178993916439708664097123989107407634187/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^8 - 352837333491931702064083151222106197713509051147037842949023940/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 + 358860652192833945607179755551874714581298639540249120489339411/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 - 244030780012143259930874490011152434948577647100441537053041303/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^5 + 93346157425169595590443412175127787822100718472808354679408197/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 - 16816041041240712679563760715266081894298525843987910079914690/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^3 + 1467508677223410084984775201033991952633513613218237347744556/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^2 - 59526000409815365721170018238866687262191658599923732549282/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8 + 860711079622988378323832964719914986521967764600926420259/863189011\ 9151891145373162047331604670857536235165164309, c_0011_11 - 24058453393535057582414742900930021530396051103820450263/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 - 103025012902354660224726488762762903458621158513566130119/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 - 557485244724519940376883666319889780662352796673961834703/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^17 + 3909414452866029915564078819690071750791079444309964449/16286585130\ 4752663120248340515690654167123325191795553*c_1001_8^16 - 17123235766806822256738744222058739937415227118502780451098/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^15 + 91751490770577785518314260662810320996894839264031360047731/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^14 - 372408640135327963739651797357760006647709608290085831198113/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^13 + 1490082536722541022108820377607358624548995470637849376572553/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 - 4248081191068736746907920404773141459820159246126747236942333/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^11 + 12242897168609738785624142994759099996326071478676827436897370/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 - 23346372950667730952714951947323737913286139208387864499916303/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^9 + 32286498157062731063265452516480783153446307198684600161142074/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^8 - 39252562367352292738885025850791898980216234611918023221088997/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^7 + 38870481553788364742129508899573901270569887231159258382177350/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^6 - 24426102730618099333595280095816031452643869063075846594067905/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^5 + 7601434907054107966412714188033534335364583158074748800532171/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^4 - 615328213548114937341662717990738537309207186754227868733114/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^3 - 53326000827839617428771376081395535025096268183532123715002/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^2 + 9079050543689089632902924802389689589642275453930424998910/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8 - 313229261253904632004142006790996262769706398122473594219/863189011\ 9151891145373162047331604670857536235165164309, c_0011_3 - 392842073560895119146594328698973142200033646081635794287/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 - 1612235458573849441108991887601778985017421306154851690403/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^18 - 8810291770905098001287302986082361689144724469177237732538/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 + 93885059284977524056078689015388817769684672037294221924/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 - 280365489101832924444839834550332126624466058180412721415691/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^15 + 1548095152636031622358967608820473162911786451322995111923523/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^14 - 6353092541428747256930702980421297417404682909417745881383942/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 + 25442840267310628892641822064549435255065696882940552624213732/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^12 - 73816313767852865241347918080232065643108089809713887497910183/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 + 212730255744161210045941273178457850052976451594848182073514266/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^10 - 418161853545148261945137364852834676758681412044012454824528389/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^9 + 598930682206466184388300541216237494670079287804480557980397573/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^8 - 742261571854231899276992612599849006898280339881747154032084521/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 + 759326299445127541800048443443248143839423953847755155380825469/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 - 524742430578503225807430262298252184263657552256447888233317027/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^5 + 208106405276128373531503060497073339134249940327281980155386539/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^4 - 40768088853961193552170122562410129914926282518572047024750050/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^3 + 4060664230353485790278641015587058870172062529850653925819046/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^2 - 199224947578627872971159998001858769258094468379350401120416/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8 + 3820790735991547003741735229438938719891198871217111463041/86318901\ 19151891145373162047331604670857536235165164309, c_0011_4 - 251919236002971395565759208862395516957127848968743690534/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 - 1034334359434598254094373270642471492129036826782748637646/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^18 - 5651657697787001820634130117275072698399913479542949365424/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 + 60015237314154400120794896616996863243597529404846798725/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 - 179785324952607798975736460470333895822899332260701453318575/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^15 + 992431055555185022495375347497926949001449446251089727999518/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 - 4072296955361466925139389957678025726523570048117015669010696/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 + 16308544594152124039651325218493382361736014227587230640206360/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^12 - 47307310793762343460172554793449755060449846612885093215173609/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 + 136333779979696278701718087229783059884129171681745655001799875/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^10 - 267912578955920300625000204126921155073202035485076497438753465/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^9 + 383599955340539948774268515630655341166584709909777721985606236/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^8 - 475307755204496292675612835188711560980637799013882094632138530/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 + 486087144577267797680424446493060667045015873684729347242913571/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 - 335635610820387581635859180944925525679291185444003724146058569/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^5 + 132854087043568168817720631101155501186378892415012853636972466/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^4 - 25906330645661538426449561798726212185089366747452467813779909/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^3 + 2557646130334403716125139366120254784645111631911299075525183/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^2 - 123181601264114726458318901916156312808788116821440163386817/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8 + 2263440781242967738125900336703528690020844480304600598623/86318901\ 19151891145373162047331604670857536235165164309, c_0011_6 + 153079516588474628007486847177298346340381334175368313959/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 + 634295379109788406805504351485069719608451107480406391061/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 + 3458330400792663175139836251019916634190012952281573236449/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 - 33994422389156002485114462582643078640104722481970601586/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 + 109182207475246959656241103611713178512390434171523986218614/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^15 - 598933817946511363512216810244719724175453211539455441587471/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 + 2452032174458149717852631594630251878103244611561189018921043/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 - 9817912804513262698587280799683183146218688396523969390297057/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 + 28378016165552455434120050835270029768164911012558748160241160/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 - 81781220524964281722030998216583908973774638615127994295338923/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 + 159736258593867164051051009060231861426872670197312390754773751/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^9 - 227139424133328302114463865825430687021749378895250895333940135/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^8 + 280392082603682658238281841423779215885045172615986374987920030/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 - 284993122275533307297640055495147529329515656697200696470936777/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 + 193445394463503710142887127366734297252260811082521316752944735/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^5 - 73684973784181682483961129220627117342904829961657482894581130/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 + 13136304911998024383929411157646848275790650342787656665037045/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^3 - 1125437981074474086722217419378542358352184781082665356682377/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^2 + 44213913179126801103982429158824416531900529570874002302375/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8 - 599792205043503092487713755899197134719859419529414125438/863189011\ 9151891145373162047331604670857536235165164309, c_0011_8 - 68881153721554621430578138988153282909541519711502688908/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^19 - 287656608694098837820545411134816508457558857729334315549/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 - 1565534539575792674487288401600209219603904546471384929654/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 + 14332715636966812084046038942314117879365612713431836356/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 - 49104512850374913953500174305990005939957305918119528304404/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^15 + 267903395221145331076300606496324640911929635576260980715627/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 - 1094634072222023878629836164119109030865268950537418383933019/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 + 4382212227007566223764103290683793529247946802775379816853257/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 - 12626928750287640388788767171968614413677106833171528523351947/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 + 36389408790745081052984889923744352567633226162734327960011851/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 - 70695825217114431401574602418950899962719006193552806726317916/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^9 + 99916118344560580666941115143483026860651933344228499475046383/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^8 - 122937831890099083952470869313797174197704015913427549155948958/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 + 124267612885516711756724221514917542561059572656090254862732695/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 - 83037721234505156019227505901508873132164918452093048031644114/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^5 + 30491420088203870776585735681059854822032863647852036546859630/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 - 4943124819515504369866208492104565164386681208273651913502351/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^3 + 353707826293189900663776520913968898402461124724202949088942/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^2 - 9350530903937961208159953998314335044800152752136140731614/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8 + 4171913616534726327968902122321094917620600783105611736/86318901191\ 51891145373162047331604670857536235165164309, c_0101_11 - 33793026909106658931666683721979983979693642527168105418/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 - 138739913379623629276831859152465215758358675918369536626/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 - 758099295829342752041369210308606592760889072441589000671/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^17 + 8053513904134384367857452014961244613926121504223860259/16286585130\ 4752663120248340515690654167123325191795553*c_1001_8^16 - 24117060516310074377284143315958664963935452063038405783624/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^15 + 133132811280280763772573601528065828987211682394268835108704/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 - 546303474586568614584624770552947547687436110929713210198970/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^13 + 2187819714649694591850196760679189676154573643524334717914215/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 - 6346529798546766692551199202781890246030584457354410494833803/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^11 + 18290025053835782591701839029786816407580279447676525823206521/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 - 35943871068342001064827449063642266785837884625312061198494032/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^9 + 51468711470242315353328700836556001066413053430220182044018036/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^8 - 63777195807278312919084302810666576643863158139232103667267467/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^7 + 65228497605271607483102178527545132460958488495423245378677241/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^6 - 45048812288778849131149297574870338501249946484796161198674330/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^5 + 17842394693332928527455656560945635100818472809474891915345677/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 - 3486050204769481966768184971904736616809552469484264226779587/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^3 + 346216845098075815166117224120950643520112234606515129139470/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^2 - 16915508498147266958765027403725132009640921097315358647886/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8 + 319505289821184713429092576306355484916515134023079901370/863189011\ 9151891145373162047331604670857536235165164309, c_0101_3 + 103103902962570359976665861482660686179962484549875627158/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 + 429782711553411866756016764400557121161203936207273810162/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 + 2340138816314929293864919475282428869313351043183137709555/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 - 21785791197989269817534183161993943954586201253519522353/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 + 73512466670037475072225043209783518765647977754075786532377/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^15 - 401573787358469854735898399597284630933223346204219547622760/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 + 1641641256498085856216199331706543184651467431297685313229042/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 - 6572428831070228895012694242956965558604633984371258837398433/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 + 18952402819226532072712718211889118617775787373457465057578732/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 - 54620402082604292101443034385674496125968586542437915527681770/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 + 106256255234663247268924971127659564447760991436284603280493877/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^9 - 150421728304511486873980481272965291316183776231005971316116187/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^8 + 185263677030337628867911486800464280228672087736118830041390300/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 - 187556436078705653755057516294722249551290281300157822790418154/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 + 125886611480920489819937665698364619936870234431804870592689143/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^5 - 46758340884079744772247343095464866714808044396807496538368428/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 + 7853444843964539452461888819322052630329302606300352058127046/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^3 - 620155589246435866568104409544582042382729714708628009273901/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^2 + 21892634231038292284490503099312020379375757918780317568000/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8 - 249705165252626044338265678853984668802059957977576143242/863189011\ 9151891145373162047331604670857536235165164309, c_0101_5 - 28094652666001544720241199099733655059434267672240418789/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^19 - 115350683669497067627345435092718603656959358740660736711/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 - 630289841762134244274499853909084559765539503653807557190/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^17 + 6692869038747816670818593954682203396989551234429947464/16286585130\ 4752663120248340515690654167123325191795553*c_1001_8^16 - 20050263576865554086765839854877444253862916371085126434310/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^15 + 110678989923517636903471084482977891740717419296317232260544/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 - 454160448211272401587400092953989010593359756613637359113650/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^13 + 1818806882020319618032991581235965301855201152268258129889359/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 - 5275980768094952809523582191301542819220570261489276921982921/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^11 + 15204832371947935186062515512219446857389257178069536877193021/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 - 29879850925707510704390689574875112280406828711933969607614793/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^9 + 42784164345166062653638587489762844634738105873028960392560336/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^8 - 53014967989927532948583055074072815847368479059007965223653413/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^7 + 54219827183155104407066392839035709611273924918791155695154780/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^6 - 37443057494437602663631265502666598005134392885612989996171664/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^5 + 14827793437831575805728233347034802096764118772550553685239321/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 - 2896249274903115692334873026413123271602536851578946287090922/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^3 + 287569619860382436651624734335793328416513394535474300342836/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^2 - 14068157687190619673558475376495037286390882611598324845494/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8 + 273134919037551328362538283202779623885494095543359008981/863189011\ 9151891145373162047331604670857536235165164309, c_1001_2 + 107839357991010657828632361643419505461727010896143980862/86\ 31890119151891145373162047331604670857536235165164309*c_1001_8^19 + 448338323477608772937026706453067910152167763990284080177/863189011\ 9151891145373162047331604670857536235165164309*c_1001_8^18 + 2442566554739523048371267638354127507150979545552647014241/86318901\ 19151891145373162047331604670857536235165164309*c_1001_8^17 - 23302768243458127961259290163712572104886790291452461390/1628658513\ 04752663120248340515690654167123325191795553*c_1001_8^16 + 76899375060940979975091828380365967452164410142972211451599/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8^15 - 420860601279555993098210159096086489297804689697813738971649/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^14 + 1721567397760464629859987573435129692093440912293075095544757/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^13 - 6892691248005934823421016978719856009099634955032222864357013/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^12 + 19896493642725612516079442162349609708893967011558490343919703/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^11 - 57339314678665442680748025617151770791692200858927445967184297/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^10 + 111742577986289300701304000320312563524058314470567968343111868/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^9 - 158489762157586685778467428311968779547566651572966711548740435/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^8 + 195383082778348127778272179112124156026167894444479017117052868/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^7 - 198135142802817350066263921571644727812842555499138678881135329/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^6 + 133623106783144705807214868545927010828481754470013268331740682/863\ 1890119151891145373162047331604670857536235165164309*c_1001_8^5 - 50152603729191783883068018635560525301228752159002908331686697/8631\ 890119151891145373162047331604670857536235165164309*c_1001_8^4 + 8622860948758192665500558049723798782894556709473905328379996/86318\ 90119151891145373162047331604670857536235165164309*c_1001_8^3 - 695778522442125898926334302569418492683789956859774940151121/863189\ 0119151891145373162047331604670857536235165164309*c_1001_8^2 + 24662618134626525825347543078356605775091281781185870978521/8631890\ 119151891145373162047331604670857536235165164309*c_1001_8 - 265090788196020012164088110943038946719728945854617906557/863189011\ 9151891145373162047331604670857536235165164309, c_1001_8^20 + 4*c_1001_8^19 + 22*c_1001_8^18 - 15*c_1001_8^17 + 715*c_1001_8^16 - 4015*c_1001_8^15 + 16582*c_1001_8^14 - 66448*c_1001_8^13 + 194639*c_1001_8^12 - 561056*c_1001_8^11 + 1120765*c_1001_8^10 - 1635282*c_1001_8^9 + 2047950*c_1001_8^8 - 2129296*c_1001_8^7 + 1536631*c_1001_8^6 - 668495*c_1001_8^5 + 158748*c_1001_8^4 - 21083*c_1001_8^3 + 1575*c_1001_8^2 - 62*c_1001_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.840 Total time: 2.049 seconds, Total memory usage: 32.09MB