Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 644332282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0854 geometric_solution 4.76850258 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.401930551515 0.100150685106 0 2 2 0 3201 0132 1023 0132 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 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 1.168059421752 0.110829977980 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -1 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 1.213076202618 0.362282102303 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485711848891 0.490349342355 6 3 5 5 0132 0132 2103 3201 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480552146321 1.118542382818 4 4 6 3 2103 2310 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 0 0 0 0 0 -1 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480552146321 1.118542382818 4 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.487079511474 0.468495770154 ==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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], '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_0']), '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_1'], '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_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3064112340141490244004279966214360001987480414615395659586053080896\ 232956960127497302647/117795281719063803458852681365117555728842592\ 0164874952593666751617923774405187398863827*c_0101_6^31 + 2794554757337500982726005894846893600555551557960460579523356516429\ 409102185525550400408/392650939063546011529508937883725185762808640\ 054958317531222250539307924801729132954609*c_0101_6^30 + 4550168460343039416893952337739130200306198617796859829086785749532\ 0649945362595757775146/39265093906354601152950893788372518576280864\ 0054958317531222250539307924801729132954609*c_0101_6^29 - 7826738759557834620115879801142642172173151208063774688938207461368\ 80688996209653673297894/1177952817190638034588526813651175557288425\ 920164874952593666751617923774405187398863827*c_0101_6^28 + 1926322017452857056740076835118817071309709994648472096892756621430\ 93716130729219964783541/3926509390635460115295089378837251857628086\ 40054958317531222250539307924801729132954609*c_0101_6^27 + 5253781961157119383065535302158336101870616369956945592549829457199\ 948362772927775927103952/117795281719063803458852681365117555728842\ 5920164874952593666751617923774405187398863827*c_0101_6^26 - 4027644151609997778133167741965999711053437149882913673101089332808\ 73434790003179841225561/3569553991486781922995535798942956234207351\ 2732268937957383840958118902254702648450419*c_0101_6^25 - 3136735328147704698992255068860302422310193429372490377643470254722\ 90045142368955588729462/3926509390635460115295089378837251857628086\ 40054958317531222250539307924801729132954609*c_0101_6^24 + 5623108075775090359533218346349995532746404586260170518715628733188\ 9621666762963026057119013/11779528171906380345885268136511755572884\ 25920164874952593666751617923774405187398863827*c_0101_6^23 - 5882776480491763325037151830817508072199360914119537077726254368625\ 2928054792854401277772504/11779528171906380345885268136511755572884\ 25920164874952593666751617923774405187398863827*c_0101_6^22 - 5821896398444445244743397031985114344470283259738608489294729838282\ 7194786024776828265137059/11779528171906380345885268136511755572884\ 25920164874952593666751617923774405187398863827*c_0101_6^21 + 7165788494410015555508161370843301037437628469263712295979537522427\ 2710803137923388479198529/39265093906354601152950893788372518576280\ 8640054958317531222250539307924801729132954609*c_0101_6^20 - 2171956504252447108449015549064598873130253886318466059948999087529\ 60551249050976842344048586/1177952817190638034588526813651175557288\ 425920164874952593666751617923774405187398863827*c_0101_6^19 - 2608501127550607012826346303840966543187560289354512195686892485367\ 60089591550277775196273770/3926509390635460115295089378837251857628\ 08640054958317531222250539307924801729132954609*c_0101_6^18 + 8853761090701361125661079858210028279925932301295719371397240938461\ 32215350440405831239862165/1177952817190638034588526813651175557288\ 425920164874952593666751617923774405187398863827*c_0101_6^17 + 7440944294561550135989276161457810825927999494829654536300293915537\ 61199230756828567326554113/3926509390635460115295089378837251857628\ 08640054958317531222250539307924801729132954609*c_0101_6^16 - 1812773459023664767007601323623250659385222045479915837957236323630\ 778257136408097650506833015/117795281719063803458852681365117555728\ 8425920164874952593666751617923774405187398863827*c_0101_6^15 - 3044750875175865818388672076900947465829829185474360437159357745398\ 885760176764471122838068426/117795281719063803458852681365117555728\ 8425920164874952593666751617923774405187398863827*c_0101_6^14 + 2203153092890744394620925926605817331592597808522103410395542547515\ 091378270553273222246316050/117795281719063803458852681365117555728\ 8425920164874952593666751617923774405187398863827*c_0101_6^13 + 1420305799834965659061929555788561324192493438230742372829983564912\ 806317727532389296843096475/117795281719063803458852681365117555728\ 8425920164874952593666751617923774405187398863827*c_0101_6^12 - 3112249883273647956494194089595775438570144667367342198278685919196\ 29602664341372997122805228/3926509390635460115295089378837251857628\ 08640054958317531222250539307924801729132954609*c_0101_6^11 - 4124577757414891928515533247370184791650759601684701973498183507271\ 6354058741880969642855378/39265093906354601152950893788372518576280\ 8640054958317531222250539307924801729132954609*c_0101_6^10 + 1880387565194443267924086735556503961122321268592346174129460062052\ 0751642283983038375730942/39265093906354601152950893788372518576280\ 8640054958317531222250539307924801729132954609*c_0101_6^9 - 2495976404906463728302315448553625057402621746901271877963158853611\ 332538273432091972246175/107086619744603457689866073968288687026220\ 538196806813872151522874356706764107945351257*c_0101_6^8 - 2860321065593619056275486604553294411701842458048364241121184819842\ 605236029777494489778211/117795281719063803458852681365117555728842\ 5920164874952593666751617923774405187398863827*c_0101_6^7 - 1728433021779200378828491646614392234271035449513949842949999979678\ 0987749945575211974696162/11779528171906380345885268136511755572884\ 25920164874952593666751617923774405187398863827*c_0101_6^6 - 4687594981963171233593638142897696343018532458019111745412416792280\ 153577694610129860201608/117795281719063803458852681365117555728842\ 5920164874952593666751617923774405187398863827*c_0101_6^5 + 2983137142671790992559678686900614173274107317038030747091916713766\ 1528060378829222568799522/11779528171906380345885268136511755572884\ 25920164874952593666751617923774405187398863827*c_0101_6^4 + 1433954640350571836098932388801208156078706137771308808095335720466\ 931969647989442832455108/117795281719063803458852681365117555728842\ 5920164874952593666751617923774405187398863827*c_0101_6^3 - 2204396892250735720843007450346158295580459522455162960717471486497\ 370278761439231035950602/392650939063546011529508937883725185762808\ 640054958317531222250539307924801729132954609*c_0101_6^2 - 3093696792413480528008068280178312169934825961594209042257253092932\ 9806996266245793057706/10708661974460345768986607396828868702622053\ 8196806813872151522874356706764107945351257*c_0101_6 + 3378184183148983716767059917975302928577042281582674608358274262098\ 29445501977156124897925/1177952817190638034588526813651175557288425\ 920164874952593666751617923774405187398863827, c_0011_0 - 1, c_0011_1 + 192549719896652772572293354158181123651792979120404643836979\ 2704516279357055856883234/17071779959284609196935171212335877641861\ 245219780796414400967414752518469640397084983*c_0101_6^31 - 1105560175703063822958556661801242747724411223983956627912064162892\ 2488421079847656990/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983*c_0101_6^30 - 7560684616678601623720943955632386574214173621726392748026313790868\ 6199685009832140588/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983*c_0101_6^29 + 7527341286101106413178517695981927899820972350103241596311340858419\ 34137777899830038524/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^28 - 1576789304641315890601730036642039004939759346705640185271477884723\ 960852127019683385517/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^27 - 3081211462382103552853654249931427149549806915107513113612550565516\ 092895854380966181360/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^26 + 1560810002776548125755279788393948394476444249377197431758689016032\ 920712485805577112801/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^25 - 1625202836915172036160383049435538614581919036163779864386304908189\ 6954706532432912271409/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^24 - 4279181397383968615563205523923141900162300541215692591914297339875\ 0896303432617686768831/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^23 + 1201628731202187485265901421417276917346796219957486749527774701421\ 36531649902072414880206/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^22 - 1174371323017832657997767802204821425568702060582032588429341348485\ 4923842918210769564695/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^21 - 1951753778101466149088079465138402809251662049793748422507263990577\ 86204665005180270256361/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^20 + 4691582386759769698460851787287095947307797466854255061994524250837\ 76823003685756243121915/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^19 + 2979443713174644485785920967683495597237056340947369324541060925533\ 10202430466234232844735/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^18 - 1864352882086341320892939031813096687149920766653976890659782759935\ 416251645742351635299194/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^17 - 1076592250146661628613393374874902271125044320972261223622060695359\ 883547961262357117986720/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^16 + 3969684212669510943242262933565992602118142266048592747027509425394\ 196414587187587208693648/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^15 + 1014699623181986990084493021930398669240131433326768957676060059925\ 181501730325370101395661/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^14 - 4197378654694720581614127682238548807284424590666218841886698402567\ 462230352158083406603137/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^13 + 1048586173046873569747220608505922102714590989733831452100927553785\ 422162486807102046906930/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^12 + 9406348115803494125363935530391625051163633147808412755606143250096\ 40533936314103379726138/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^11 - 8273021147448565531221490882873636751934892189500845316705095256942\ 45431359305133995955441/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^10 + 4460470698706249014885486120439920631406964534049045221073106804318\ 64587067941106083495390/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^9 - 1041613111741245886363865308706747666114111819627830663728807999950\ 7982766448978904562863/15519799962986008360850155647578070583510222\ 92707345128581906128613865315421854280453*c_0101_6^8 + 5350319401910210204413609487996595069593144082824392618004690650982\ 699784850766287578469/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^7 + 7293840477269352300765961519688306812978768629398885976846379853351\ 8637694837075315207800/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^6 - 5724715197007521942590360572432063792667732102064506080715814683871\ 1347293599125913962629/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^5 - 4049990514332772373394538988471603729922455271700030270049433952009\ 706511945620398208240/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^4 + 9171310456473618484199772657719274604179032338391858161067142481125\ 340690931630724453326/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^3 - 6851479877450931307894500661640907966774761704208668273801667819486\ 36166634058246386890/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^2 - 3296817940670351962169343759959379380107091666697806455096304655433\ 8593552827726704986/15519799962986008360850155647578070583510222927\ 07345128581906128613865315421854280453*c_0101_6 + 5203019472627453095849724355208363826745847545537310036944466856329\ 9741887434653360691/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983, c_0011_5 + 607726845794002621824299711342635223015886538365515109857258\ 4511735320295005760851003/17071779959284609196935171212335877641861\ 245219780796414400967414752518469640397084983*c_0101_6^31 - 1096641302458527124270864511742643398787212397364659074507162919300\ 1565769342420926387/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983*c_0101_6^30 - 2740547986203661330920375704707822940400374124197688036303880884239\ 65603614617886094132/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^29 + 1287115489592395640655020491131158215925459273912840077296355327337\ 861325710950841445122/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^28 - 2630080876020771213425179901717345284256380996600306518914291808232\ 66363178502127166400/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^27 - 9318010085137419039090382881048599863823321902288918079319799354072\ 803405222507878955381/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^26 + 1629443790369490121748805458613106267207833498755025465579109812594\ 330631055480456766476/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^25 + 7853467767666267219280145566119779863427514884221397301675632552910\ 019087083281346345479/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^24 - 8772876147151405677126571729222916965112148649405901322568233329749\ 1533498692906678883193/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^23 + 5144672152207852876144780875821059247742783190148721964649218258331\ 7684375352190252805804/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^22 + 6671500131510426201646101388016147181107905775750848761925688481511\ 5612271443541694035230/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^21 - 3421168571348776293632942363483761698508845453158406179774806544087\ 99867333407830003228813/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^20 + 2101722778049269078475272963583622892568967072575720902031208995415\ 04125268492468237660867/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^19 + 1385190224796754073811171544500622067903878465593850660134346149464\ 323955379801389449971536/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^18 - 3678515427445015668796902264314796356817238647293784156959207637096\ 64409352750308972104146/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^17 - 3103912992052631979125957249456469033969730213899812617482806532010\ 044689923219876778677292/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^16 + 8576346131478390841026403729624325845955909110791529708951471142992\ 28506278872081909231181/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^15 + 3153848084931622291667486337256572624894975254484906424274613438861\ 427897819818977292875982/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^14 - 1736732864619047930124814020272508733363195194403652891871471752153\ 157829002319466166079020/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^13 - 5050426300949342117657814116069399392920663657735002283685199740157\ 79564543145560658518817/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^12 + 6611420369558911089232765559966592573939804404852471012996447149164\ 65448887599962219905284/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^11 - 3872447646833090141709591422473081902160416717547651631070142473744\ 04477637177548948889393/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^10 + 1587968299258131714724384031239501592756692382617951640957593841530\ 25626928420120699514056/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^9 - 3747908782160407023628507254558606625545860259141471459741905157162\ 757561307162490279145/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^8 - 2597737749650713639820079093822409644586904751481313620557381264919\ 2824905724484686665271/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^7 + 5061547451938904458069679720930715786973840984334020690845787322427\ 9275937643648380106922/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^6 - 6340899134645772578404896228603067428813847993634877203294895905617\ 553183373662665736775/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^5 - 9405142692480285230279569532664075154173078756682209868655282999278\ 969199698636452731349/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^4 + 6346671845416979343097134525853134169169340273721596023399221035149\ 81066734794943104580/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^3 + 7569568557812292952149478548332468952047263446106909014271152454793\ 72457655869408803752/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^2 + 1260546293148482444904328510274147682416561570362779418067413863749\ 954766404893167526/155197999629860083608501556475780705835102229270\ 7345128581906128613865315421854280453*c_0101_6 - 1211335201616780577261305457706808518233509633648306349053979403419\ 8545777338827135156/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983, c_0101_0 + 314613708212099674038801684820281886065839377359114658481740\ 97057933238698659245381018/1707177995928460919693517121233587764186\ 1245219780796414400967414752518469640397084983*c_0101_6^31 - 5847846419191494009626159797304844866612484700047231531124996151828\ 2487658048687969428/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983*c_0101_6^30 - 1425813688141827050679265158208704776470365314866061622133749070733\ 871314517613333832412/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^29 + 6754200467674399644945989465601502109323760413152925151368026024301\ 438486004989829761877/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^28 - 1261274523392072335720974524326328167191332852367479281480157306186\ 587776173192751073030/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^27 - 5011379313529632585968943271431674937754712897269282894043606324983\ 3388579954128155354604/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^26 + 8644168246326602865327834339036611163994491234874837882724175827193\ 875167838292066478752/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^25 + 5074632716495851079067693936717179557183373576899928840002267960676\ 7599553868995203485263/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^24 - 4799103652596898939866554586825068399471113892563854322634797955678\ 36247977109660813669574/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^23 + 2701270800702822047657856671635768108040212872117139470887607313372\ 54419647127963015525926/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^22 + 4650448999219892835839882001327581669372631090026453132429047390908\ 53192945994196477747698/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^21 - 1822022621505183386936915590816958030888507906532341841572996058046\ 108714984444641677534504/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^20 + 1079161592604903249293302234159282830809778825773467598623250987346\ 898836206098101570809891/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^19 + 7634575777840502996108342688175535097424009862171543727093407988995\ 637619859857437908244291/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^18 - 2438163214212935117411259010085994546451647218078663124865634860120\ 973294259354422009294759/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^17 - 1826030634764860015131645802611107884874151698325206998873039979553\ 8337621090344055713367705/17071779959284609196935171212335877641861\ 245219780796414400967414752518469640397084983*c_0101_6^16 + 4932431242024639881512724696520613156147375952475194289563934901250\ 882948289104714808414364/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^15 + 2075661212382130085894128538619594144815380077312967184588016164817\ 3980682376953208717502309/17071779959284609196935171212335877641861\ 245219780796414400967414752518469640397084983*c_0101_6^14 - 9397194781606599072921281429436539288125045360751634603333780944190\ 948107186346445857435265/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^13 - 6480991565418076831628154038711881222972455832771152112318168545000\ 746144026306033226258077/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^12 + 4720143083726145705095507970583328899341757112101905247037026281012\ 491581746235922153107612/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^11 - 1522154748948917579510309468247077860312529977220336707302863552054\ 643491741870928340868405/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^10 + 2530100911160834329395608730045712205180297076164002600435097918314\ 48040030216886813650528/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^9 + 2063139815510110278616241422307097504313426237379829868985309761313\ 4196735765155709114338/15519799962986008360850155647578070583510222\ 92707345128581906128613865315421854280453*c_0101_6^8 - 2855637861006475916088024029969006583660572765924687284176899803212\ 13221118532160112718291/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^7 + 3347943207030480897025771670186418075772005913477663089244746545768\ 94241887631876266178703/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^6 + 5900731088833003616131632422020842928398230648020504907467896190309\ 907820967371977653711/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^5 - 1031369975925010925500858611564757853067065712384615788945962406044\ 60138366563097567448997/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^4 + 2131722468779251634553331929310667127097827557740319423237103100664\ 998928044923636016335/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^3 + 9416410213952811788857526279576324361783298435746857163927466148525\ 531753445129026693353/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^2 + 6713805303749428722159195361289953306908871954154067553530738029802\ 882627692333530654/155197999629860083608501556475780705835102229270\ 7345128581906128613865315421854280453*c_0101_6 - 2065980854142283256899370897894462069510734118194743572716426930728\ 83583877598695297649/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983, c_0101_2 + 104764039431917766412290100567264153274980855849167312958787\ 30256639217675813177470622/1707177995928460919693517121233587764186\ 1245219780796414400967414752518469640397084983*c_0101_6^31 - 1370810122374765043598134197470505995420458689712714974558166911360\ 5987242715609051393/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983*c_0101_6^30 - 4864339763393369807959518372169191011640443551453614949204863677058\ 19928405900515769139/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^29 + 1991146773636270271979369429588215228121595190856660089358384853409\ 680460943369899799599/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^28 + 8575789151816742762727963980087797028633249156671182398283168776238\ 30326547244547175257/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^27 - 1719032527460543054948954632516109818883854626481838304809812955406\ 4683419567967891810277/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^26 + 2075173205771796182054043697820025564652640585615887866589790659754\ 665932730386726182515/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^25 + 3582839069152198317285192223696892191644903755801725253760288877242\ 3916171849033249390295/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^24 - 1556833432044603073872431864020877598577148487360142383334869212743\ 16422994037343018513105/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^23 + 4397589442167262504344702436630814609633312602015303231933561578835\ 089159479431473236661/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^22 + 2214944150206339387857961177139804485392901937954596889437996253425\ 42597260689921876067321/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^21 - 5507473790385344022848668326913310736799405051218563991818633490930\ 27930886459436494700797/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^20 + 1880416841626007802971609529862796378596790688780485700196727126325\ 5477020217355512715116/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^19 + 2810243896480931522933331287911614548385118596827952803055098391316\ 428521335808913281715077/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^18 + 4717296087923923857665057419365668826673606437508884814845172223674\ 90913335642387746812084/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^17 - 6723544075485032237652654414733292762431283101426753762716932477562\ 308288360676110417066769/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^16 - 1276233101204332887362255189192747793428221876347990060249579187550\ 657056409932332061867007/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^15 + 8377691332447323805889846079125977994848585344582552840800594386363\ 956024251407062737714302/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^14 - 2068313042022592933939488246325783335035859749190404116278683355759\ 48446247073351079973076/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^13 - 4487472238357250003671825966685596690702572960326711366527271455086\ 166710729954389464982892/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^12 + 1361495971292437768175477985262681329233811850761055795393791252701\ 628765191976863167724495/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^11 + 2853468589721201541668841118083687605142063146285000558014620363958\ 78047528484250673128456/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^10 - 4383962381065984120840189946001192050032454209614876530823485062498\ 53930684282238946875758/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^9 + 2733583451341087711042416440360114870967091326301936094700751278022\ 3068173372639997355305/15519799962986008360850155647578070583510222\ 92707345128581906128613865315421854280453*c_0101_6^8 - 1477502827876294949751047247168024139409727261513185592645929590144\ 94911361351525489982052/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^7 + 8242520819306916212429967547834524794503327526747536938854616359067\ 9638538208360162914355/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^6 + 6306261615154599170733798422175226140000418130113506412979039762381\ 1488765467963892391040/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^5 - 5252084234343690688566773924823747387909108742621147609363353881419\ 9685515516637379005526/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^4 - 7836714899190916457713923928172197284788833833188952046423281618504\ 236968813159905099925/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^3 + 6031270999288742542617176310921239914200940161349606148684746952003\ 297825332263552226569/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^2 + 3537024372004169245207594427360463340213996151623938930105802364084\ 5276254395868531891/15519799962986008360850155647578070583510222927\ 07345128581906128613865315421854280453*c_0101_6 - 1610429326260671421127658270183584442637423586888597997839554066813\ 76980066035289752354/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983, c_0101_4 - 265811395508861762438553484752482923874041938126363701663992\ 8190843839055904855957272/17071779959284609196935171212335877641861\ 245219780796414400967414752518469640397084983*c_0101_6^31 + 1208540504146299524592290269462600899701955145380806380397197320227\ 4579739745522605361/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983*c_0101_6^30 + 1102169934259140379666584482453900776660916148247641865234347908504\ 98655434806915183011/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^29 - 8962346638088382968592168335643415024814258630434124004062397485656\ 78213410681921149128/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^28 + 1499152795668694695203397155360978170153073921161645580390233320017\ 412179079082341011834/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^27 + 4421432641142344507446286808577754596829228525886734112614006310432\ 672384317147092319112/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^26 - 1714971306447711940526648743113460927930399652869412744594591456496\ 769777703950030054862/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^25 + 1288865007963045886114793967346109340246974897660010682323581651921\ 0091293502498279347331/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^24 + 5553404476964641691382086788918027879544871171384339122255261860005\ 5117997949185224180005/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^23 - 1202267720484665314834900587135929576958417778967369058798765483335\ 96479709406571958297202/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^22 - 1270353128795864063884998325646278156564893830854211814611860611596\ 8493779040557092050545/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^21 + 2376321002098798391424785240465991211858041742429329839569081652985\ 18302073022935665920631/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^20 - 4679066412726198785530061728570441101666099925020140432891480909190\ 08251655032617700041166/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^19 - 5299711634460237404597216988325373848878895878747903358734344374629\ 15013657465360565927299/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^18 + 1860974583575837863085800650164942117283766545791760081255885841115\ 869404720392396304956343/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^17 + 1701991357870695087206093605012308478232863436137383996379394912365\ 676005623589090109035807/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^16 - 3902631910844100778286246221147555578282188333660088395716321322770\ 159496197779704375544617/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^15 - 1911608952613964042415054386403543152553438545746136271388682995700\ 992579846230781140999920/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^14 + 4249722730921522293564949577994102450361073710194811074612503873731\ 949123577715509352541090/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^13 - 4627489405388018270664939705927561193264563185570115418632797174269\ 29379935456107957323283/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^12 - 1160779139430381727875381065137934242086127436866137812140689447185\ 699973841065872627254955/170717799592846091969351712123358776418612\ 45219780796414400967414752518469640397084983*c_0101_6^11 + 7870812654098059457599871361452696895688214913871206995315125205738\ 71480243889353702168937/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^10 - 3684140375190319946430296949592081335611354664516965884201302272218\ 68930790903860265862172/1707177995928460919693517121233587764186124\ 5219780796414400967414752518469640397084983*c_0101_6^9 + 5250280668758346344085717791870078519621439141044501144293836846962\ 156661703517589690262/155197999629860083608501556475780705835102229\ 2707345128581906128613865315421854280453*c_0101_6^8 + 2090893280587860552691670470116167666432055877244895769739420150022\ 7957742247738006158354/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^7 - 8606073797105302370604362293752652596263901904885673681607895391868\ 6881200316385037706216/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^6 + 5097571847304466570629282142430702974803157834571191835626704920582\ 1906426752136858180214/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^5 + 1134056683047040575123105745093865674206829546974106287480924759244\ 6299346651721873415409/17071779959284609196935171212335877641861245\ 219780796414400967414752518469640397084983*c_0101_6^4 - 9024712568986828355438827455167506652577038724682364664398748326724\ 631628545292930217419/170717799592846091969351712123358776418612452\ 19780796414400967414752518469640397084983*c_0101_6^3 - 1390649895701276891561348825215980721148738362217021169837731151989\ 29072189221549558121/1707177995928460919693517121233587764186124521\ 9780796414400967414752518469640397084983*c_0101_6^2 + 3491129742172695614539126230377860249863828290360809118667632604597\ 9103912044194008429/15519799962986008360850155647578070583510222927\ 07345128581906128613865315421854280453*c_0101_6 - 2388799521806876049807837006133059466976787018828187045048218593660\ 7893561744261277143/17071779959284609196935171212335877641861245219\ 780796414400967414752518469640397084983, c_0101_6^32 - 2*c_0101_6^31 - 45*c_0101_6^30 + 221*c_0101_6^29 - 73*c_0101_6^28 - 1576*c_0101_6^27 + 3248*c_0101_6^26 + 1101*c_0101_6^25 - 15341*c_0101_6^24 + 10844*c_0101_6^23 + 12804*c_0101_6^22 - 59743*c_0101_6^21 + 43049*c_0101_6^20 + 234821*c_0101_6^19 - 110665*c_0101_6^18 - 556672*c_0101_6^17 + 239579*c_0101_6^16 + 611257*c_0101_6^15 - 391817*c_0101_6^14 - 139197*c_0101_6^13 + 170005*c_0101_6^12 - 72579*c_0101_6^11 + 19101*c_0101_6^10 + 2881*c_0101_6^9 - 8850*c_0101_6^8 + 11475*c_0101_6^7 - 1584*c_0101_6^6 - 2945*c_0101_6^5 + 510*c_0101_6^4 + 259*c_0101_6^3 - 38*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB