Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 1899031973] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1244 geometric_solution 5.14155515 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 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 -1 1 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.998088114281 1.207724494733 0 4 2 5 0132 0132 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.482939981080 0.460560539789 4 0 5 1 2310 0132 3201 1302 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482939981080 0.460560539789 0 6 6 0 3201 0132 1023 0132 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 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.027396525865 0.394131138148 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915587301827 1.034161007974 2 5 1 5 2310 1302 0132 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577998129392 0.311689236526 6 3 3 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.319224556502 0.957011500317 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(d['1']), '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_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_0_6' : d['1'], 's_0_4' : negation(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_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 5465920519261629821153481872639530146454310010820719216147689350617\ 1469330607266575542157747/59380963519482121334685739030007270783316\ 8413533274276837705407669704761478377529684729752*c_0101_6^23 - 9815305763286064796167079419985272896312526669114881978230717628230\ 92596801560936781155434335/5938096351948212133468573903000727078331\ 68413533274276837705407669704761478377529684729752*c_0101_6^22 - 3032235509194918648198175695886229443158493335503940389211639506267\ 9881099505280073595092271217/59380963519482121334685739030007270783\ 3168413533274276837705407669704761478377529684729752*c_0101_6^21 + 1523923293459966089690987918755321692811504760141029767368929449855\ 85165966128604566063553306135/5938096351948212133468573903000727078\ 33168413533274276837705407669704761478377529684729752*c_0101_6^20 + 6292427920693903324101980938221807995539467744911386539314461813434\ 43102341782995519757558953815/2969048175974106066734286951500363539\ 16584206766637138418852703834852380739188764842364876*c_0101_6^19 - 5040334478585015688458107945917372511432693622210345068921043093568\ 272784669659966286630096008193/593809635194821213346857390300072707\ 833168413533274276837705407669704761478377529684729752*c_0101_6^18 + 2758003480727094314429251620875955714148107981925928187265299255533\ 5175295276627253571773621815/12118563983567779864221579393879034853\ 738130888434168915055212401422546152619949585402648*c_0101_6^17 + 3935393381452120403234223041938909813244125402712626470495145038222\ 677554616275040391791667754317/148452408798705303336714347575018176\ 958292103383318569209426351917426190369594382421182438*c_0101_6^16 - 1793825827774136440951258667817372995175288242560434786618182365522\ 2119816363940871034543861585/37798194474527130066636371120310165998\ 2920696074649444199685173564420599286045531307912*c_0101_6^15 + 7426161197953538141116933235552314962738478986657727441172955412227\ 53240019610464701633187247089/3492997854087183607922690531176898281\ 3715789031369075108100318098217927145786913510866456*c_0101_6^14 + 1589957560393543405166529327058833472141079909561366941709199159087\ 328892012618601280900082927679/742262043993526516683571737875090884\ 79146051691659284604713175958713095184797191210591219*c_0101_6^13 - 5820559460175803258875691117174720071140447037083135750902991921844\ 382420375036522296804097746031/848299478849744590495510557571532439\ 76166916219039182405386486809957823068339647097818536*c_0101_6^12 + 6073444431352327307835326685694589630562255413694771392698256170887\ 8793315470303765046886727800053/29690481759741060667342869515003635\ 3916584206766637138418852703834852380739188764842364876*c_0101_6^11 - 48624516582350262874783504632737137520248999584607872111626881652\ 046225832619740721564010573140217/593809635194821213346857390300072\ 707833168413533274276837705407669704761478377529684729752*c_0101_6^\ 10 - 14982755155493545507376276396862987618181889324112215087318333\ 501089139252271295231788885325531532/742262043993526516683571737875\ 09088479146051691659284604713175958713095184797191210591219*c_0101_\ 6^9 + 4642163842911397906145486501264994388447723001355616784577155\ 5884536466560996412574815010717859/10603743485621807381193881969644\ 155497020864527379897800673310851244727883542455887227317*c_0101_6^\ 8 + 184006762829435652162772733055745233232730976815481479268077047\ 44433396820390052781148453834547015/2969048175974106066734286951500\ 36353916584206766637138418852703834852380739188764842364876*c_0101_\ 6^7 + 2329877427427507623227187591400079138488930441517345228293221\ 319525308866284626985848085013919951/148452408798705303336714347575\ 018176958292103383318569209426351917426190369594382421182438*c_0101\ _6^6 + 520959752048350969256356539303220510053339867971928594334428\ 48754952490439018632996780552962057/1746498927043591803961345265588\ 4491406857894515684537554050159049108963572893456755433228*c_0101_6\ ^5 + 15705118614554625413361636751342473972994122721896987107340068\ 663323541578346724072307919215495/873249463521795901980672632794224\ 5703428947257842268777025079524554481786446728377716614*c_0101_6^4 + 1187627802943589529929612922527577591878372823277040383719087410504\ 80801269698174588046004007439/2969048175974106066734286951500363539\ 16584206766637138418852703834852380739188764842364876*c_0101_6^3 + 5730837292615162855352942673669687705471650261389843576456716517832\ 4040094918612939898312666091/29690481759741060667342869515003635391\ 6584206766637138418852703834852380739188764842364876*c_0101_6^2 + 2376319056407450289198649682410519139220318402486099040880858642038\ 0519982876596451513908764083/59380963519482121334685739030007270783\ 3168413533274276837705407669704761478377529684729752*c_0101_6 + 2394299841044742516102059995824292533985403091344055957833992469833\ 531799085548089651323818489/593809635194821213346857390300072707833\ 168413533274276837705407669704761478377529684729752, c_0011_0 - 1, c_0011_3 + 561439567487509992981583022955154273172242139110395050397991\ 864178206896144079/431741044366676795170624342452225411553303372052\ 512092410343974199865216441719064*c_0101_6^23 - 1028425740903445388383562194233393085632331379705601323320708674868\ 6181961734943/43174104436667679517062434245222541155330337205251209\ 2410343974199865216441719064*c_0101_6^22 - 3077709266763957133140000565697428785753882734042075563318428239191\ 50932742624293/4317410443666767951706243424522254115533033720525120\ 92410343974199865216441719064*c_0101_6^21 + 1676512307758129797971806943102493652428033121310319414244774346909\ 395525079349311/431741044366676795170624342452225411553303372052512\ 092410343974199865216441719064*c_0101_6^20 + 6166172352903699065699468391062144205645684779278762527179734095080\ 662678730312519/215870522183338397585312171226112705776651686026256\ 046205171987099932608220859532*c_0101_6^19 - 5625085730599807820630805699741078889198879904624046962952820712952\ 3855761256196413/43174104436667679517062434245222541155330337205251\ 2092410343974199865216441719064*c_0101_6^18 + 3369059892910479497534385595486350029503182877537803431094047072877\ 3972412444856123/43174104436667679517062434245222541155330337205251\ 2092410343974199865216441719064*c_0101_6^17 + 3764864130157025230001438581616471043600272904958645086651584333975\ 8056301861951699/10793526109166919879265608561305635288832584301312\ 8023102585993549966304110429766*c_0101_6^16 - 3416846540620038450107839360953007602278002248020821901592254673425\ 74314516340946407/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^15 + 2460943384474958563656015685741054548294406071191641959653163431811\ 45028933260756777/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^14 + 1112661198482165768032823219653146594107149785757811820003315561230\ 2024215906844921/10793526109166919879265608561305635288832584301312\ 8023102585993549966304110429766*c_0101_6^13 - 4226516730230275768493744579558508355678200546580430740676055791467\ 66990216148406901/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^12 + 6915416220086295621507353223393712810621164989666449570499037453869\ 27670101698153515/2158705221833383975853121712261127057766516860262\ 56046205171987099932608220859532*c_0101_6^11 - 9858437007873502924471334882016276181263118184417853751658401303345\ 73490371441842969/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^10 - 1117411898424622873410877342814290651898667431544656406740072635713\ 90559553881661827/5396763054583459939632804280652817644416292150656\ 4011551292996774983152055214883*c_0101_6^9 + 7543923239889213266402220754429710674582057842222426902246110826525\ 5126022505607359/10793526109166919879265608561305635288832584301312\ 8023102585993549966304110429766*c_0101_6^8 + 1791628051658067458184051472834575716378600212240790836859164485117\ 69685744024603861/2158705221833383975853121712261127057766516860262\ 56046205171987099932608220859532*c_0101_6^7 - 6840708464478310953181611931182611272569208957747933969555393039287\ 91567360774005/1079352610916691987926560856130563528883258430131280\ 23102585993549966304110429766*c_0101_6^6 - 9148367360373339784446615553258201648263057423892789121106229025435\ 339509726692755/215870522183338397585312171226112705776651686026256\ 046205171987099932608220859532*c_0101_6^5 + 3318112980146205669749222827065994149523412375039162490412284156880\ 57072191706829/5396763054583459939632804280652817644416292150656401\ 1551292996774983152055214883*c_0101_6^4 + 2349077085678712796223919988993613834569280889270262548412294061760\ 996595298920231/215870522183338397585312171226112705776651686026256\ 046205171987099932608220859532*c_0101_6^3 + 4927677998962078844697097235234300493132485350308648301470728207834\ 65103861249265/2158705221833383975853121712261127057766516860262560\ 46205171987099932608220859532*c_0101_6^2 + 2214196258289002347471333767452424537634152693908291003615485009639\ 47147038604899/4317410443666767951706243424522254115533033720525120\ 92410343974199865216441719064*c_0101_6 - 2165113612250669749003145193322668826608868178487420827962204794288\ 3387875527927/43174104436667679517062434245222541155330337205251209\ 2410343974199865216441719064, c_0011_5 - 365405312266641262211937979810465047766467867056387283642505\ 35490365870629452/5396763054583459939632804280652817644416292150656\ 4011551292996774983152055214883*c_0101_6^23 + 5753248019388051823299399129284177350948906322919292356761914301483\ 24843266502/5396763054583459939632804280652817644416292150656401155\ 1292996774983152055214883*c_0101_6^22 + 2175244365082428269161689177075322697943633690015678652947404773717\ 3492518436112/53967630545834599396328042806528176444162921506564011\ 551292996774983152055214883*c_0101_6^21 - 5756916224209338549039299070740439267057848632295145158383863037506\ 5066048947601/53967630545834599396328042806528176444162921506564011\ 551292996774983152055214883*c_0101_6^20 - 1083090774826025627334217781655025982797268855836739803536930685016\ 396812745475753/539676305458345993963280428065281764441629215065640\ 11551292996774983152055214883*c_0101_6^19 + 1594761389758890774607637790987316634993084242125790732659484184762\ 151937136448862/539676305458345993963280428065281764441629215065640\ 11551292996774983152055214883*c_0101_6^18 + 7216197930575854029717015865361635174805932507556965613690015919824\ 679416864342932/539676305458345993963280428065281764441629215065640\ 11551292996774983152055214883*c_0101_6^17 - 1541048292789850678031945594614352363977596543359252055655882061689\ 1993781236883734/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^16 - 3034579252983323864416498806711163247936919513463780180021181832926\ 941112872251654/539676305458345993963280428065281764441629215065640\ 11551292996774983152055214883*c_0101_6^15 + 4135766225405974640389567677510513561795343442296597173183423138354\ 0864842739684067/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^14 - 4421672764076426775819802192814357506938070835931458119671975993569\ 6967125808899882/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^13 + 1943533373851895748197235440673344278514485586793754066002164774691\ 1495479737452058/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^12 - 1735477189859881856166968814374773253273828809943015932579101187237\ 5334659262213467/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^11 - 1693411899981541922414833254863369633607042919228662511326151213579\ 44374784869432754/5396763054583459939632804280652817644416292150656\ 4011551292996774983152055214883*c_0101_6^10 + 2230803294400233042695965145042405096627967499392786849717684725509\ 16096833734809699/5396763054583459939632804280652817644416292150656\ 4011551292996774983152055214883*c_0101_6^9 + 1321951558570163283950208140091485565564595582728436118411226121229\ 38178208974921143/5396763054583459939632804280652817644416292150656\ 4011551292996774983152055214883*c_0101_6^8 - 8051448569586845911635815597267915723121508124810830328812253066183\ 5415398068468228/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^7 - 5084910636750642556475524407280471765309824748610296298993549809445\ 1978226304597237/53967630545834599396328042806528176444162921506564\ 011551292996774983152055214883*c_0101_6^6 + 1324832163371101311908703158135277735422810942781688276992560597725\ 632745434697172/539676305458345993963280428065281764441629215065640\ 11551292996774983152055214883*c_0101_6^5 - 8193256686113895576671128353139761558371385280007678262564810444822\ 07969626294517/5396763054583459939632804280652817644416292150656401\ 1551292996774983152055214883*c_0101_6^4 - 9212009878404537030701058927904388200709550573433205918316314536278\ 80697735012770/5396763054583459939632804280652817644416292150656401\ 1551292996774983152055214883*c_0101_6^3 - 9971155938123977189869535453696932410071954997757693479009273584109\ 867636807367/539676305458345993963280428065281764441629215065640115\ 51292996774983152055214883*c_0101_6^2 - 5660949581764336896917636057954796222559520135184503884055796296595\ 2525033832569/53967630545834599396328042806528176444162921506564011\ 551292996774983152055214883*c_0101_6 - 2236286327888526306606744605602662459033407477054379993719747053828\ 216862135655/539676305458345993963280428065281764441629215065640115\ 51292996774983152055214883, c_0101_0 + 193183932332627387836049399028970121943792041290873490022450\ 2740446440824760679/43174104436667679517062434245222541155330337205\ 2512092410343974199865216441719064*c_0101_6^23 - 3554164607926848926567545386908067290654998554776396036366549020280\ 7949356858423/43174104436667679517062434245222541155330337205251209\ 2410343974199865216441719064*c_0101_6^22 - 1056371558107642457454160488466234508545856231831367897298476966302\ 803079892631197/431741044366676795170624342452225411553303372052512\ 092410343974199865216441719064*c_0101_6^21 + 5857471784733169241619332410057475200122286889402633917064077159121\ 703347508053399/431741044366676795170624342452225411553303372052512\ 092410343974199865216441719064*c_0101_6^20 + 2104242030073632777394179571355680183369817048469364011595280334666\ 7414463470011935/21587052218333839758531217122611270577665168602625\ 6046205171987099932608220859532*c_0101_6^19 - 1976207788308448586152131056213111816641084023106069057102954147225\ 17531830955814685/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^18 + 1271002673615321418654794882531519109080737900811411352877183258645\ 57518101860773611/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^17 + 1328533262585476217141450104903953398181397292236022855185500519431\ 97388851827874975/1079352610916691987926560856130563528883258430131\ 28023102585993549966304110429766*c_0101_6^16 - 1238643806789153824637914722741555996767500925742029513289624362182\ 114169675454032095/431741044366676795170624342452225411553303372052\ 512092410343974199865216441719064*c_0101_6^15 + 8949485372817788330996193551316707349298795635912496770861310525098\ 90131881509259745/4317410443666767951706243424522254115533033720525\ 12092410343974199865216441719064*c_0101_6^14 + 5730015961709211717854222828386745872933331744384862482619293867098\ 8932287808795179/10793526109166919879265608561305635288832584301312\ 8023102585993549966304110429766*c_0101_6^13 - 1618900989740915388287633612813683344347258087067265428837364545490\ 035947836113897917/431741044366676795170624342452225411553303372052\ 512092410343974199865216441719064*c_0101_6^12 + 2463858192467424370110638469459171163184969838818875156450240123020\ 349757105014404631/215870522183338397585312171226112705776651686026\ 256046205171987099932608220859532*c_0101_6^11 - 3639244412494023689457954346590648760950293325435181701935835904316\ 566418241162746041/431741044366676795170624342452225411553303372052\ 512092410343974199865216441719064*c_0101_6^10 - 4224054923885379960761535942997053683989854963391562271021797867609\ 57160368971803325/5396763054583459939632804280652817644416292150656\ 4011551292996774983152055214883*c_0101_6^9 + 4711342959926506475747864873541019008947056333085035932241873673019\ 86818106086584485/1079352610916691987926560856130563528883258430131\ 28023102585993549966304110429766*c_0101_6^8 + 6050486860621144708656313943434533582500255893467245212454290465122\ 13136263027651169/2158705221833383975853121712261127057766516860262\ 56046205171987099932608220859532*c_0101_6^7 - 5616198524826517400446300015586122684139230575540710472332466787457\ 4563600517843497/10793526109166919879265608561305635288832584301312\ 8023102585993549966304110429766*c_0101_6^6 - 4031822439184214756316842719168957295295090451321043785711894328566\ 8481423101265751/21587052218333839758531217122611270577665168602625\ 6046205171987099932608220859532*c_0101_6^5 + 1360429847655813247232750068459794061500308517607251689508321545809\ 805313790761246/539676305458345993963280428065281764441629215065640\ 11551292996774983152055214883*c_0101_6^4 - 1792730873918668724557128130221329109160094094411035943646904352470\ 29292559127681/2158705221833383975853121712261127057766516860262560\ 46205171987099932608220859532*c_0101_6^3 + 8405882752368626435512000385869505221046981123937820688661067561579\ 53543450343377/2158705221833383975853121712261127057766516860262560\ 46205171987099932608220859532*c_0101_6^2 - 5858176812094513525231630103128197688413869938502476646924041557334\ 39149559915221/4317410443666767951706243424522254115533033720525120\ 92410343974199865216441719064*c_0101_6 - 8329131128663166797340021931660151497371870312550931283660839635800\ 2938135035015/43174104436667679517062434245222541155330337205251209\ 2410343974199865216441719064, c_0101_2 + 502908107123146470469765512226072831562258513998010039525669\ 7005004434152341072647973/71285670491575175671891643493406087374930\ 1816966715818532659553024855656036467622670744*c_0101_6^23 - 9149761121810304611696287410065754675994330482466428145885823310735\ 5396936284896096893/71285670491575175671891643493406087374930181696\ 6715818532659553024855656036467622670744*c_0101_6^22 - 2768218961841769782888857865587944846554616720819574027046164524908\ 420858354548723277391/712856704915751756718916434934060873749301816\ 966715818532659553024855656036467622670744*c_0101_6^21 + 1467493232928885287320837774566359945743458815206330749646090497131\ 3118631100347850737925/71285670491575175671891643493406087374930181\ 6966715818532659553024855656036467622670744*c_0101_6^20 + 5614791957723483070763647399338502754800962616172563909538139530912\ 9728246398724410507225/35642835245787587835945821746703043687465090\ 8483357909266329776512427828018233811335372*c_0101_6^19 - 4901611645068978465580469757642292345856513904157346926558755289388\ 10536562706139561502791/7128567049157517567189164349340608737493018\ 16966715818532659553024855656036467622670744*c_0101_6^18 + 2412369686719757429387875110006037025333704300047085083920706639965\ 93493721984004672815737/7128567049157517567189164349340608737493018\ 16966715818532659553024855656036467622670744*c_0101_6^17 + 3466606472833069451610399976359232156219275117605271828497700743382\ 64564158490011255374761/1782141762289379391797291087335152184373254\ 54241678954633164888256213914009116905667686*c_0101_6^16 - 1857242830145343983978106058699563468526013371914499537354965397204\ 057205163133216743983/453759837629377311724326183917288907542521844\ 027190209123271516884058342480246736264*c_0101_6^15 + 1863423002615701910530199021650190195379818759010374605364435876034\ 492579171646740652623539/712856704915751756718916434934060873749301\ 816966715818532659553024855656036467622670744*c_0101_6^14 + 1754604495376203663579276564050066296609273268081925164296931023997\ 31060656792536887313217/1782141762289379391797291087335152184373254\ 54241678954633164888256213914009116905667686*c_0101_6^13 - 3893456497715032032017820976156171963294962429885433812442024077507\ 144141962568695468318631/712856704915751756718916434934060873749301\ 816966715818532659553024855656036467622670744*c_0101_6^12 + 6048484848808822023566164309116285129778346735179598519135690163755\ 628806582504841270668449/356428352457875878359458217467030436874650\ 908483357909266329776512427828018233811335372*c_0101_6^11 - 7364065224476735317408684288292331835695807233039992998727005944961\ 416892127951471819802939/712856704915751756718916434934060873749301\ 816966715818532659553024855656036467622670744*c_0101_6^10 - 1146886872445754280382206877559213077027053334709544287847772676633\ 329378077030494903855496/891070881144689695898645543667576092186627\ 27120839477316582444128106957004558452833843*c_0101_6^9 + 5802424015221902718473615320119517512968387745151092271153833847573\ 11169039614251854509843/1782141762289379391797291087335152184373254\ 54241678954633164888256213914009116905667686*c_0101_6^8 + 1386907144773712484662233425292991146712560256168610376243826355412\ 044147953207458114535623/356428352457875878359458217467030436874650\ 908483357909266329776512427828018233811335372*c_0101_6^7 + 5270996339668359703645202466983258223994029320416676330716030908014\ 9020031298369408508883/17821417622893793917972910873351521843732545\ 4241678954633164888256213914009116905667686*c_0101_6^6 + 7712688474439314723469958686377392953761000886761929486567872808046\ 1256530450473197508551/35642835245787587835945821746703043687465090\ 8483357909266329776512427828018233811335372*c_0101_6^5 + 9253426162545753818161175522257473147798349670554775007764016139840\ 957185929309985313163/891070881144689695898645543667576092186627271\ 20839477316582444128106957004558452833843*c_0101_6^4 + 6077231213203006613749856746347304674796072772288670744572075548630\ 76283714678425253949/3564283524578758783594582174670304368746509084\ 83357909266329776512427828018233811335372*c_0101_6^3 + 2927572746103567803441735593462079606144508297357387475330281915402\ 087552456113572270727/356428352457875878359458217467030436874650908\ 483357909266329776512427828018233811335372*c_0101_6^2 + 1746049948738902519271124199573247184611047519895896744891605087760\ 30722605693748127265/7128567049157517567189164349340608737493018169\ 66715818532659553024855656036467622670744*c_0101_6 + 1059326134360484134996066306989912292757192197329811058453480933421\ 92397657318003252115/7128567049157517567189164349340608737493018169\ 66715818532659553024855656036467622670744, c_0101_4 - 464374909733005195773341537078552447705932998533808205038810\ 5529193520906435600685493/71285670491575175671891643493406087374930\ 1816966715818532659553024855656036467622670744*c_0101_6^23 + 8422164862323404725044820421448206985324492701863300097084645309523\ 5162936754827104357/71285670491575175671891643493406087374930181696\ 6715818532659553024855656036467622670744*c_0101_6^22 + 2561595826014000766728656930087005399757982847051285006902276985432\ 042564932756787850831/712856704915751756718916434934060873749301816\ 966715818532659553024855656036467622670744*c_0101_6^21 - 1341646919611370691553774058576406249306936010014412295026837105836\ 1208871889927962055037/71285670491575175671891643493406087374930181\ 6966715818532659553024855656036467622670744*c_0101_6^20 - 5241127639782829318235473955860944845164452473616753894453836696343\ 6240379070082140116669/35642835245787587835945821746703043687465090\ 8483357909266329776512427828018233811335372*c_0101_6^19 + 4486561010344463705041148119518625709576814494642016267953604510473\ 56209939701420462561415/7128567049157517567189164349340608737493018\ 16966715818532659553024855656036467622670744*c_0101_6^18 - 1827078556298162430799464141786166794376119906847329436149258678599\ 68542425216661335770945/7128567049157517567189164349340608737493018\ 16966715818532659553024855656036467622670744*c_0101_6^17 - 3399224840998476512707631747114445666518508152932045367615844358119\ 63292155627187498378283/1782141762289379391797291087335152184373254\ 54241678954633164888256213914009116905667686*c_0101_6^16 + 1696348312824819271541778888891089145986335134735266493251531562689\ 906077556785381625039/453759837629377311724326183917288907542521844\ 027190209123271516884058342480246736264*c_0101_6^15 - 1392136472567427026890931469015982312114025264995264708840658973612\ 459200011265182006322619/712856704915751756718916434934060873749301\ 816966715818532659553024855656036467622670744*c_0101_6^14 - 2903860139074371377231007371054919058113953933381585758016197639602\ 58750618013829090443289/1782141762289379391797291087335152184373254\ 54241678954633164888256213914009116905667686*c_0101_6^13 + 3872750386456606548003443403526609266632544004044982590269891817709\ 430540878100714584338519/712856704915751756718916434934060873749301\ 816966715818532659553024855656036467622670744*c_0101_6^12 - 5458136411961591508313462423959031376486370480134058318266500179668\ 362250504386446770536009/356428352457875878359458217467030436874650\ 908483357909266329776512427828018233811335372*c_0101_6^11 + 5636739951424143144034325454018637728664988168578119834072088902151\ 443736324347301009391547/712856704915751756718916434934060873749301\ 816966715818532659553024855656036467622670744*c_0101_6^10 + 1315712193637513582034695275727617412686916491110936914693246152622\ 082097759161763657428156/891070881144689695898645543667576092186627\ 27120839477316582444128106957004558452833843*c_0101_6^9 - 7303742802677734780250839888440869145208004004346022299914945916300\ 46856706343852788609567/1782141762289379391797291087335152184373254\ 54241678954633164888256213914009116905667686*c_0101_6^8 - 1853067534964429510302198934852351460783372762300196623089327466674\ 111261307790010541530335/356428352457875878359458217467030436874650\ 908483357909266329776512427828018233811335372*c_0101_6^7 + 5245347483027787584887027329781931300852503233093286952662463502263\ 7890470194186110293857/17821417622893793917972910873351521843732545\ 4241678954633164888256213914009116905667686*c_0101_6^6 + 9265897654378894262430239713842148401193308848644134680353561541875\ 1629983789090306046409/35642835245787587835945821746703043687465090\ 8483357909266329776512427828018233811335372*c_0101_6^5 - 1667766783740874506965618088713820868682241862341106573386752419115\ 4449467951820682882367/89107088114468969589864554366757609218662727\ 120839477316582444128106957004558452833843*c_0101_6^4 - 2974739055556013560394604583115360564396324218544852535839292507352\ 114119540054098887057/356428352457875878359458217467030436874650908\ 483357909266329776512427828018233811335372*c_0101_6^3 + 4099678049248210366432317625141948958184462228424307937731023700225\ 44712356425626727973/3564283524578758783594582174670304368746509084\ 83357909266329776512427828018233811335372*c_0101_6^2 + 4111888382491806380453096561638891275359936203837043170401904768596\ 08064580932275260951/7128567049157517567189164349340608737493018169\ 66715818532659553024855656036467622670744*c_0101_6 + 5649221591884224073659411593682170521235567396178594661265076254741\ 53960018395972199493/7128567049157517567189164349340608737493018169\ 66715818532659553024855656036467622670744, c_0101_6^24 - 18*c_0101_6^23 - 554*c_0101_6^22 + 2812*c_0101_6^21 + 22913*c_0101_6^20 - 93237*c_0101_6^19 + 28336*c_0101_6^18 + 288247*c_0101_6^17 - 528205*c_0101_6^16 + 248848*c_0101_6^15 + 230141*c_0101_6^14 - 758415*c_0101_6^13 + 2250517*c_0101_6^12 - 973825*c_0101_6^11 - 2186257*c_0101_6^10 + 153132*c_0101_6^9 + 703730*c_0101_6^8 + 140822*c_0101_6^7 + 14514*c_0101_6^6 + 15810*c_0101_6^5 + 3362*c_0101_6^4 + 1660*c_0101_6^3 + 279*c_0101_6^2 + 2*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB