Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 3035965531] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0674 geometric_solution 4.64651341 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690912177906 0.099673926981 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.891234478039 0.104871621939 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -1 0 1 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 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.888914800225 0.244740304118 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.264098959710 0.496579839710 3 5 6 5 0132 1230 0132 2310 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 0 -1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686697175923 1.142983587805 4 6 4 3 3201 1023 3012 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 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.686697175923 1.142983587805 5 6 6 4 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.008735819832 0.505410184332 ==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' : 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' : 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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 1371593583498055519922737853182294704715507545812641695734929635170\ 844483822/165427001394437955063147572340504939423957591694131378395\ 27302417492195253*c_0101_4^26 - 40431131650066708468566146798237740\ 285627419478280142603576752129928709656151/496281004183313865189442\ 71702151481827187277508239413518581907252476585759*c_0101_4^25 - 1184980393918520793315252094867700250146011948190410668793579770400\ 174910144/496281004183313865189442717021514818271872775082394135185\ 81907252476585759*c_0101_4^24 + 10700722250062858757710653962908899\ 94548274685213647051377625679467638135607300/4962810041833138651894\ 4271702151481827187277508239413518581907252476585759*c_0101_4^23 + 2673364928059690836535235222756905852169066259563417263888249753800\ 768914380369/496281004183313865189442717021514818271872775082394135\ 18581907252476585759*c_0101_4^22 - 8206232836317089529651932545271074353528277309100790543297703003523\ 518987356167/496281004183313865189442717021514818271872775082394135\ 18581907252476585759*c_0101_4^21 - 3523020459870285367368080592178282643849848238729996476038380722307\ 4897386420521/49628100418331386518944271702151481827187277508239413\ 518581907252476585759*c_0101_4^20 + 2361932918370372774408873187686281399160385639859483370265798813190\ 3499220513231/49628100418331386518944271702151481827187277508239413\ 518581907252476585759*c_0101_4^19 + 2204188019612762201857662992822339498287646221789979047155539578941\ 01056112984634/4962810041833138651894427170215148182718727750823941\ 3518581907252476585759*c_0101_4^18 + 4074584333807571718161393080402979285126079493418506810405485834875\ 640882896761/496281004183313865189442717021514818271872775082394135\ 18581907252476585759*c_0101_4^17 - 2919898560576364792370250782741674079763856140474346645377012107864\ 10860440618318/1654270013944379550631475723405049394239575916941313\ 7839527302417492195253*c_0101_4^16 - 1634351433488736946408694663019959740712781756409849511955724922550\ 11014959577730/4962810041833138651894427170215148182718727750823941\ 3518581907252476585759*c_0101_4^15 + 7870364116314625416320747415030694865536954057155502224527136095876\ 96785741693908/1654270013944379550631475723405049394239575916941313\ 7839527302417492195253*c_0101_4^14 + 2608954875358860788069116787711020273485630824026596376872445193993\ 77399257658186/4962810041833138651894427170215148182718727750823941\ 3518581907252476585759*c_0101_4^13 - 4035284856896614792957776697243161741355052936435818232396489845171\ 369995737590120/496281004183313865189442717021514818271872775082394\ 13518581907252476585759*c_0101_4^12 - 7205635138798378566874615774315074168908635527660271711305132305257\ 0861170571417/16542700139443795506314757234050493942395759169413137\ 839527302417492195253*c_0101_4^11 + 1500401218108737828671022685957915739835763496195479879993722915382\ 361995777873954/165427001394437955063147572340504939423957591694131\ 37839527302417492195253*c_0101_4^10 + 7312327475414457761515856815045204680081239605338412156768806077122\ 1385606141523/49628100418331386518944271702151481827187277508239413\ 518581907252476585759*c_0101_4^9 - 3284015108694829936560370406268338778411348836181584769415769678416\ 560514525508893/496281004183313865189442717021514818271872775082394\ 13518581907252476585759*c_0101_4^8 + 4988013927545029264228744889001892684650828021549395727925961184949\ 2431684377717/16542700139443795506314757234050493942395759169413137\ 839527302417492195253*c_0101_4^7 + 1420277398120803366620923487142501279680248873534014635491744416962\ 967056656949956/496281004183313865189442717021514818271872775082394\ 13518581907252476585759*c_0101_4^6 - 1684684107920321758650056402656085668517910824156619885847723646108\ 59198245407974/4962810041833138651894427170215148182718727750823941\ 3518581907252476585759*c_0101_4^5 - 1012992245214788269292520252564151620758552531360615455858499802131\ 18068860500630/1654270013944379550631475723405049394239575916941313\ 7839527302417492195253*c_0101_4^4 + 4595010955965544655595782383070852200472307272963746098553359155289\ 4389193224305/49628100418331386518944271702151481827187277508239413\ 518581907252476585759*c_0101_4^3 + 2929219905580506808795339607865845110411436914785949797565148791654\ 6754277401746/49628100418331386518944271702151481827187277508239413\ 518581907252476585759*c_0101_4^2 - 3905037328635425415441659002595595760084525788574606429393212222060\ 161970335693/496281004183313865189442717021514818271872775082394135\ 18581907252476585759*c_0101_4 - 11372979293631038813787416430145909\ 05446132813056323795847150997170968688204018/4962810041833138651894\ 4271702151481827187277508239413518581907252476585759, c_0011_0 - 1, c_0011_1 + 604040814481279182228931045713189610343094687994357317530823\ 80383248496/3519723433924211809854203666819254030296970036045348476\ 49517072712599899*c_0101_4^26 + 59262641012863972257613922594616402\ 9991859995857266130520639589982194247/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^25 + 8560959509241147183044826013667161804589155148072058296650120366980\ 995/351972343392421180985420366681925403029697003604534847649517072\ 712599899*c_0101_4^24 - 1570945109045422718690273800948057883249829\ 7839882965620868256395834510866/35197234339242118098542036668192540\ 3029697003604534847649517072712599899*c_0101_4^23 - 3901469181744235205482450720173187343838706901495901235990342520543\ 3000755/35197234339242118098542036668192540302969700360453484764951\ 7072712599899*c_0101_4^22 + 121057792075359069234739816801675850134\ 138331338969513985684310001721604652/351972343392421180985420366681\ 925403029697003604534847649517072712599899*c_0101_4^21 + 5154878110791701939325306563309598200572181067413109086802030752017\ 32101147/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^20 - 35426685656595171882559406235187701053\ 2326955972631803256486298516302441424/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^19 - 3231361610019511204755871514753805316244335717289677219504789497119\ 348081845/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^18 - 1410760502867673893257046812278602238\ 8032161634046035530476632219343088858/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^17 + 1286231555017386900423923280061509773654806678504610995750525506522\ 5675987659/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^16 + 222255825653844571303309109417183606\ 9864856383412242753045819247534377588817/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^15 - 3469661392080201554601661718943900986550809014478119801777612610080\ 5248311098/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^14 - 336675346713506895633071261121085823\ 6777801915178981158889058652426751764135/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^13 + 5927747951968478671416246123122698735930474079493396332454056067441\ 3480285915/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^12 + 241728592036564737035530895852022846\ 7951532359216673616566661046577752484718/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^11 - 6607216063515566527325618683916908306890278108646526710188888271478\ 9074303211/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^10 - 286633004756020583503945909641714152\ 427997037014215385730912802665622016048/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^9 + 4814009119493646824794843248268593437026735204646841545972218726676\ 2517698180/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^8 - 2719404695046986796404294266665430915\ 634816367686822352089996498715327265588/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^7 - 2073458037599681534911505832379838564439043674793391777916015423778\ 2857509314/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^6 + 2661625271754817304013208029635419437\ 673689305257024849128510799515131652537/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^5 + 4384517349396306890646093145357852908689089279948885367653826336592\ 007671672/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^4 - 69717390757407824041919743050871955321\ 0725555111945274438459939828671098911/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^3 - 4140978492235993180279816247474223143255429951594268645576484880726\ 75621185/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^2 + 574252007306859053174205542561895331408\ 69959534236312212000057990734688797/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4 + 1580232364133443771707733239809437929725291504043855402141442062046\ 5387755/35197234339242118098542036668192540302969700360453484764951\ 7072712599899, c_0011_5 + 323976767017014610764863017597110491503003957053504460586167\ 44300137207/3519723433924211809854203666819254030296970036045348476\ 49517072712599899*c_0101_4^26 + 31812739863227107683609953319975592\ 5909010930181640667959262278141911003/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^25 + 7813292026041862023451629531263475962350336786004232890243751846031\ 694/351972343392421180985420366681925403029697003604534847649517072\ 712599899*c_0101_4^24 - 8420120227274488365181664123783054910402464\ 221196408453223243470344541414/351972343392421180985420366681925403\ 029697003604534847649517072712599899*c_0101_4^23 - 2099378446935874445394472677497395825708036335617449739335063169960\ 0177197/35197234339242118098542036668192540302969700360453484764951\ 7072712599899*c_0101_4^22 + 646136681052273004006513564519195021712\ 40046300440721681349784154817336480/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4^21 + 2766152685026740041826074849179042175481130575377048809859384592062\ 50398633/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^20 - 18680388944425911375892709643420179187\ 9313896087054163836739071451934308586/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^19 - 1729791846812602140713965999337734217298334957635462289374033388698\ 272534692/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^18 - 2296351027333115065125034238669313051\ 4194143828379071106833363353893061242/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^17 + 6870239266505561011916738952504665227637904715514766687864697032521\ 914809327/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^16 + 1237153452644813798680908804124529508\ 746144819696876322881032802530519825054/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^15 - 1849568958382374085451644159918977170843399541683922155908758836815\ 3135483864/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^14 - 189842224496982929397939258658257390\ 0808456599655008034631114828237914983379/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^13 + 3151789568106087435575814473770607461899244315804823261400009834737\ 2601953025/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^12 + 142823253137475394273516537060433314\ 2984374204083463922353104006851960621927/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^11 - 3501386071131925464887676294734544616111194300531982058939894988873\ 7481343914/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^10 - 262790798783463120694910999554809623\ 894619593638299812774450770450922498822/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^9 + 2540021814870247831082067512802369226384555276546026799909430505013\ 1941499570/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^8 - 1410704252441759636330884232793929598\ 134093350953447082838722873562135149146/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^7 - 1086590222592477158044461213209679078349026791105714658694261681881\ 4454893449/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^6 + 1414663701689780231030271090260327363\ 720079717743584587538925054163846793142/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^5 + 2267627283820034302826754084135198175874120493562550938953846320762\ 817869916/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^4 - 36956322669789311836430982330847091881\ 0781656241297370895555363438944300317/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^3 - 2097875416526155798005682138601727977386791120692207882876536306305\ 00127077/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^2 + 297617544930434369493920032584943215188\ 18556102446292033598858499527934036/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4 + 7852159305187916338264150330329954353467125063769286590951549579273\ 851665/351972343392421180985420366681925403029697003604534847649517\ 072712599899, c_0101_0 + 905348177441730949555387650133243665206109630469615624920166\ 14385123457/3519723433924211809854203666819254030296970036045348476\ 49517072712599899*c_0101_4^26 + 88947319964418704677308521594096750\ 2120919272566210113531891680880240529/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^25 + 2486160844955797408513069979770734077713272319840934961193306397050\ 9510/35197234339242118098542036668192540302969700360453484764951707\ 2712599899*c_0101_4^24 - 235460021734346942704044036397938073711241\ 27442881681137817351076201944255/3519723433924211809854203666819254\ 03029697003604534847649517072712599899*c_0101_4^23 - 5879531201960446366016964628007761221675715167388997270434768948878\ 6406455/35197234339242118098542036668192540302969700360453484764951\ 7072712599899*c_0101_4^22 + 180666628252186570227985982108371941531\ 356843477966948621538723340288688038/351972343392421180985420366681\ 925403029697003604534847649517072712599899*c_0101_4^21 + 7751058951029311077704772748357337287272189270189327261027512891734\ 65151815/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^20 - 52071727132912126046047701305116876509\ 7888930753923890241541777791696381294/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^19 - 4850886746905442128508061911325385210440517070053739263611661510218\ 309354221/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^18 - 8532265235339105378082788216210724541\ 0716006425420388212169532557289042975/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^17 + 1928215582107647157746885448357285715607565009577668967183532242886\ 5127720863/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^16 + 358607449042514998802824021912298534\ 0753129199447366279173750473842355161697/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^15 - 5198066349079692143055196326199335549362597363881724369646565786438\ 9427766976/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^14 - 572922922670420207115363768012522106\ 7653607410738085450433711290115123967946/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^13 + 8884985043981665350672556675709274250110454296638409896008155677166\ 3710353351/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^12 + 476472116059653599652814329208669010\ 6007818140965491710209929278524276409499/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^11 - 9912491410773383421866211415579959403279306889828734161117229926150\ 5218982533/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^10 - 165040191240527311680612430923192397\ 9051789206157761568804336061633753931267/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^9 + 7232409805420600946695819687539581148566822674488867813762471287977\ 2849287293/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^8 - 3237949855596525320278650912456476224\ 442150101762032555189222259360465061252/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^7 - 3127348773724728905760204718793482818196510100439595755905814289142\ 9369252713/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^6 + 3674035944963264160929543117184968793\ 071025366669403111396649754141801149116/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^5 + 6685071031996377188633642067704646680100230334346277866086737596552\ 489066606/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^4 - 10033650067577800981835957138564618678\ 25206716662308054130102608072826855777/3519723433924211809854203666\ 81925403029697003604534847649517072712599899*c_0101_4^3 - 6401260825200269767028230137541612080727142432970414746809160875532\ 02045591/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^2 + 847516353181768898649801700415358342884\ 21351326359949272317839344839659646/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4 + 2420447821015979508252125828553135223117160560665423913661927968310\ 1165091/35197234339242118098542036668192540302969700360453484764951\ 7072712599899, c_0101_1 - 213975108666045371701409759206938800874075131511819041607889\ 61691251393/3519723433924211809854203666819254030296970036045348476\ 49517072712599899*c_0101_4^26 - 20917496096113143297456434513639011\ 4657628531337015479192313007189178267/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^25 + 4276375868340791443464506857409647962352823961428787833175077008877\ 816/351972343392421180985420366681925403029697003604534847649517072\ 712599899*c_0101_4^24 + 5564026835529910972479350266384479417826606\ 515736074678666560581431642616/351972343392421180985420366681925403\ 029697003604534847649517072712599899*c_0101_4^23 + 1362521298507411020462825581174633277924657766400476947405856485336\ 1067623/35197234339242118098542036668192540302969700360453484764951\ 7072712599899*c_0101_4^22 - 433412237169967821141675001786250392670\ 25390245875997581156700007410892542/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4^21 - 1810513310528484465155127848171698040934674690858790272344830434509\ 91322266/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^20 + 13160664304771257227301179482597118202\ 1396695096161603958660633954221105991/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^19 + 1139461781379947881010266404273377057522916497874817764781157368362\ 360745670/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^18 - 3346821351462399182270047321726608305\ 7342332461287832427380219638984711052/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^17 - 4550327787496620930856032995279410420852850532341519910822786367985\ 416164326/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^16 - 6336674873899351559820745575040737866\ 28491312082032999849383788842752818432/3519723433924211809854203666\ 81925403029697003604534847649517072712599899*c_0101_4^15 + 1228962823358788181029654660509353980801220064318727135036269680226\ 1678296448/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^14 + 780814450088637719696900412081767268\ 482731404848786001645513822515253968620/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^13 - 2095385320053793219543396079784068336297328560045631010495425959483\ 0669938806/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^12 - 175825172995397695708909103196446279\ 464888910059918156802804001010825637473/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^11 + 2327984525567159601212223236140573015316759121441634882445375321830\ 3473657064/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^10 - 617866849535959154173091700486369792\ 067178580754418911698960095163693724714/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^9 - 1687864048201667328154777639778332255069109147175849734912448832106\ 6365039867/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^8 + 1450131294367027460617454172028847604\ 123924002358141109551637686675513850547/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^7 + 7180725195885391922781441768920815638698260635558682193371324950097\ 507719771/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^6 - 11190271614583899483002857843518196599\ 27284921130832451207163987141319086870/3519723433924211809854203666\ 81925403029697003604534847649517072712599899*c_0101_4^5 - 1470333680937966236282356186289593484223078912897848539111023202930\ 213129785/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^4 + 26636697480656596136413557921087674261\ 8593249274908422110743646132489938437/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^3 + 1333427445430079848068287420331710503672040573436769411902545960310\ 50875275/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^2 - 200130235022819190207228620512900845056\ 82347453905272785546419483925967718/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4 - 4911923350026406295295343745956043806037932710438651953940610930881\ 793895/351972343392421180985420366681925403029697003604534847649517\ 072712599899, c_0101_3 + 433173604899632845675801154400068614518498085890622322174635\ 87931509993/3519723433924211809854203666819254030296970036045348476\ 49517072712599899*c_0101_4^26 + 42494325927758484685179748724615743\ 7482874599877977049064748143502168702/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^25 + 6004351587929197078232986768976163466614012751453240433219090494225\ 474/351972343392421180985420366681925403029697003604534847649517072\ 712599899*c_0101_4^24 - 1126256901389907264647684591749166923734731\ 5321550951181059552544730108945/35197234339242118098542036668192540\ 3029697003604534847649517072712599899*c_0101_4^23 - 2796541425383820311322027869298178773148849630421424859998913035305\ 1811727/35197234339242118098542036668192540302969700360453484764951\ 7072712599899*c_0101_4^22 + 867661138460522276980647695455926624561\ 79797160833455028215953589489519450/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4^21 + 3693555888686423598204139664148978670152553643617402343425052705431\ 46903675/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^20 - 25396271166511743060209672193092758480\ 3850985514759271018030903994241553978/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^19 - 2314400890073691082229484793552214330101939439625242314971057988891\ 965161223/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^18 - 8167910911864202808726823952503797628\ 887634988717748245646061325602089069/351972343392421180985420366681\ 925403029697003604534847649517072712599899*c_0101_4^17 + 9209199384280288737383931096475399724592950158138894940460245382514\ 962918625/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^16 + 1578078093040020926400276274310407954\ 323646095608857263279126394155038467483/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^15 - 2483098585982657476381224176363170708163383502609747927434359225278\ 8867939695/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^14 - 236008371692448010846453572009176200\ 6045420077417096545194717970384898536259/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^13 + 4238414016431439983626077855826958585384550994270087927368480121233\ 7884357462/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^12 + 163713863242232888432752760495281170\ 2034449073607993144796219400286772829352/35197234339242118098542036\ 6681925403029697003604534847649517072712599899*c_0101_4^11 - 4719360309827462515569978418634724359398003913918597677485202732548\ 5542361062/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^10 - 920531464867579861628893827658178070\ 17106013501085114737483761924563737803/3519723433924211809854203666\ 81925403029697003604534847649517072712599899*c_0101_4^9 + 3434283021974681614621501223659316131782806111641865917863800111074\ 5593615258/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^8 - 2031730110817182244402740766242755403\ 597667804381390924997414918682225938900/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^7 - 1476075890493559770511436277078124881218200841964986883313380543528\ 8307385140/35197234339242118098542036668192540302969700360453484764\ 9517072712599899*c_0101_4^6 + 1935202295754426990984435583428201112\ 937324857206535233827294830668752146567/351972343392421180985420366\ 681925403029697003604534847649517072712599899*c_0101_4^5 + 3107741890623422978758841553405403702549898146756765558982821339032\ 351183487/351972343392421180985420366681925403029697003604534847649\ 517072712599899*c_0101_4^4 - 50157631798377782958411527298370110916\ 8346100509531794576298729513183185042/35197234339242118098542036668\ 1925403029697003604534847649517072712599899*c_0101_4^3 - 2910655526354693092652434860512792103431668365851081542111662543636\ 55324568/3519723433924211809854203666819254030296970036045348476495\ 17072712599899*c_0101_4^2 + 409071784705206836551991549743372088938\ 68002268076415360570470032994216359/3519723433924211809854203666819\ 25403029697003604534847649517072712599899*c_0101_4 + 1097770820204502951886436115349087883506365668507957892596865558851\ 9945019/35197234339242118098542036668192540302969700360453484764951\ 7072712599899, c_0101_4^27 + 10*c_0101_4^26 + 2*c_0101_4^25 - 260*c_0101_4^24 - 695*c_0101_4^23 + 1881*c_0101_4^22 + 8909*c_0101_4^21 - 4247*c_0101_4^20 - 54563*c_0101_4^19 - 10331*c_0101_4^18 + 212677*c_0101_4^17 + 76837*c_0101_4^16 - 566733*c_0101_4^15 - 163465*c_0101_4^14 + 969156*c_0101_4^13 + 223655*c_0101_4^12 - 1083880*c_0101_4^11 - 208813*c_0101_4^10 + 793935*c_0101_4^9 + 103156*c_0101_4^8 - 350632*c_0101_4^7 - 19500*c_0101_4^6 + 80571*c_0101_4^5 + 1801*c_0101_4^4 - 8965*c_0101_4^3 - 297*c_0101_4^2 + 432*c_0101_4 + 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB