Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 374835935] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1647 geometric_solution 5.38924044 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.172921211737 0.146435774692 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 2.528330435438 2.747179169685 3 1 1 4 0132 3201 0132 0132 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 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212433251131 0.420708436325 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 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 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.059448379646 1.096488319123 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 1 -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.059448379646 1.096488319123 5 4 3 5 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507031439242 0.988452140590 6 6 4 3 1302 2031 3201 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448732203188 0.500204877018 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 6143544893937412139399088414005558160864191826189934131748332339790\ 18148919713800503394500/2563784445029601301452953684966855572069851\ 7164603803838895711602915746560278848135421973*c_0101_3^29 + 2036364210236082110058261278224436890698103789673901067396303954545\ 062720642109129229014642/256378444502960130145295368496685557206985\ 17164603803838895711602915746560278848135421973*c_0101_3^28 + 2275377669859334586537953867785332885206371316014946351913650855507\ 74113828673727724843411/1349360234226105948133133518403608195826237\ 745505463359941879558048197187383097270285367*c_0101_3^27 + 6853819296527135466276393902387172658986270320258221325041194903407\ 96848708020457948042581/1349360234226105948133133518403608195826237\ 745505463359941879558048197187383097270285367*c_0101_3^26 - 1005526391895251309242965575944910448618078420150166679305312789895\ 1256705663370343959817293/25637844450296013014529536849668555720698\ 517164603803838895711602915746560278848135421973*c_0101_3^25 + 6264293406475550736652729500644806167836002651694449217254454903261\ 808166227205181115315344/134936023422610594813313351840360819582623\ 7745505463359941879558048197187383097270285367*c_0101_3^24 - 3759313634262034106052689205108058344267028053866642266928590108135\ 06469843813947002809581721/2563784445029601301452953684966855572069\ 8517164603803838895711602915746560278848135421973*c_0101_3^23 + 1092476730580492250008012388358882470964515335130820049792993737110\ 090549051408299255313932864/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^22 - 1463032494990622336649481410504510106951041585241442445321201832475\ 255491142984415883948687383/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^21 + 3599194325786349009405747923321133389646757033416446924126948138807\ 372101296755322689401651580/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^20 - 1275409367135456656282420797162486911521930522327306211169584108142\ 5231844441113064746994341/13493602342261059481331335184036081958262\ 37745505463359941879558048197187383097270285367*c_0101_3^19 + 5073352133393278536554370473060231696671603005705481527222764342246\ 122149776664785535501930395/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^18 - 3278992611323386687270227685454688722010812222259818983480134936537\ 47222116418247114343151414/3662549207185144716361362407095507960099\ 788166371971976985101657559392365754121162203139*c_0101_3^17 + 3847502897147661385720275569173146647820515279569180449336534955075\ 506843571794449229366160048/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^16 - 5959329878654869136664544466435814482168173996688859196051106645170\ 438208665435907540113448958/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^15 - 2310371544135961149144408636232343807650458608531519653906810580883\ 3995237836144339827365814388/25637844450296013014529536849668555720\ 698517164603803838895711602915746560278848135421973*c_0101_3^14 - 8556171779291128847143951952316511305674148589227124021748819779074\ 53035750303202690118111059/3662549207185144716361362407095507960099\ 788166371971976985101657559392365754121162203139*c_0101_3^13 + 2182788488814644901085974315282499730956786319589981404294881076448\ 93500775085931851589201832/3662549207185144716361362407095507960099\ 788166371971976985101657559392365754121162203139*c_0101_3^12 + 8964047232870394193124748217127151844512104580373428268432885053812\ 64356621288786694608790664/2563784445029601301452953684966855572069\ 8517164603803838895711602915746560278848135421973*c_0101_3^11 + 1593472720770848451749494928035784431552373435224098615841857341300\ 0600613493124516344241338298/25637844450296013014529536849668555720\ 698517164603803838895711602915746560278848135421973*c_0101_3^10 + 4154537326839628075736277940657011967351395703071433341108984911128\ 9342274208614647164903976023/25637844450296013014529536849668555720\ 698517164603803838895711602915746560278848135421973*c_0101_3^9 - 1746677336187395353960001333948725865827512719284232142395987687696\ 3078194003962569124901126913/25637844450296013014529536849668555720\ 698517164603803838895711602915746560278848135421973*c_0101_3^8 - 2125455297706722758596519698162847696186953236537303281447615833013\ 0613868758457715702901565568/25637844450296013014529536849668555720\ 698517164603803838895711602915746560278848135421973*c_0101_3^7 + 7591159096062066622549766633472716213700759705412518322735514366011\ 325182242164022512927650074/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^6 - 2214629889940550238109109538063046935447876539867084442225546121310\ 96044216878455015603098772/1349360234226105948133133518403608195826\ 237745505463359941879558048197187383097270285367*c_0101_3^5 - 1324230044482811957219262250540659891614721224822413560256319273083\ 65268460720597660523076445/2563784445029601301452953684966855572069\ 8517164603803838895711602915746560278848135421973*c_0101_3^4 + 1348610271198695185705409269523480714486386434116291006313058150582\ 933028332208607736567503256/256378444502960130145295368496685557206\ 98517164603803838895711602915746560278848135421973*c_0101_3^3 + 4848436595570226363303855994029831401117371189058104690563638089711\ 7638561832460598715897255/25637844450296013014529536849668555720698\ 517164603803838895711602915746560278848135421973*c_0101_3^2 + 2487050097894708529762532515961714788561016727149675971021685536157\ 44017965516412533360384781/2563784445029601301452953684966855572069\ 8517164603803838895711602915746560278848135421973*c_0101_3 - 1426083205122135734613009252910569520793389795504311020916520690115\ 8992011139569267102744569/36625492071851447163613624070955079600997\ 88166371971976985101657559392365754121162203139, c_0011_0 - 1, c_0011_2 + 271807058997233915109157247478836961407317479655927402716805\ 029115990/384988771295020703812222523687446681254235978573607105112\ 8576456478589*c_0101_3^29 + 894235056827070416316683416888444588560\ 577738053066696800859850681305/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^28 + 1889925507258648107514724918987461201468090903103365942986501405001\ 819/384988771295020703812222523687446681254235978573607105112857645\ 6478589*c_0101_3^27 + 571182904982021593541578328457181317550594244\ 2767921088925339357019485/38498877129502070381222252368744668125423\ 59785736071051128576456478589*c_0101_3^26 - 4596365877150776227338051943086325598730784181262866929245692504717\ 294/384988771295020703812222523687446681254235978573607105112857645\ 6478589*c_0101_3^25 + 527532700363304013920978137358369664653203831\ 47678626584723958655002975/3849887712950207038122225236874466812542\ 359785736071051128576456478589*c_0101_3^24 - 1676230289394521007554904305173086850789077832563922883132580603634\ 40735/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^23 + 4873523392464046819724736754497975319907079\ 54407648439142450998933278136/3849887712950207038122225236874466812\ 542359785736071051128576456478589*c_0101_3^22 - 6589872088338152890471768666269185296109733677686525613684708907855\ 10853/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^21 + 1607755973857320124629682110707149123508067\ 625098474852396062394382463906/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^20 - 1463189630334648714290704283419667004758539326533869209654159735258\ 09892/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^19 + 2245761078549176189027553339356045204439021\ 769590278170118402796368792598/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^18 - 1535105061932339640774146811847188241442944951206142322857526714971\ 56087/5499839589928867197317464624106381160774799693908672930183680\ 65211227*c_0101_3^17 + 17245242334722781440476469956498528051208260\ 46298995844146433997508400843/3849887712950207038122225236874466812\ 542359785736071051128576456478589*c_0101_3^16 - 2681718349706783064276378230309698131339224311959385289117735469238\ 669073/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^15 - 101559553582292070414872829879022360235658\ 32145412324105902085437757635194/3849887712950207038122225236874466\ 812542359785736071051128576456478589*c_0101_3^14 - 3424293798237274835498830790364799120758496749563415638437128502080\ 51097/5499839589928867197317464624106381160774799693908672930183680\ 65211227*c_0101_3^13 + 10996545323824243442020332792503706723716862\ 4899086867133703803959512246/54998395899288671973174646241063811607\ 7479969390867293018368065211227*c_0101_3^12 + 4032815966105325081341287299864781177161503338555692236815964686667\ 87108/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^11 + 7037507210924363621594675878157908959579623\ 491982753444282765630740179122/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^10 + 1820554061894369598248931186052789808858214720860835032188242611950\ 5642676/38498877129502070381222252368744668125423597857360710511285\ 76456478589*c_0101_3^9 - 819727377304145979185265442022405366409724\ 8096973156483307871560282516193/38498877129502070381222252368744668\ 12542359785736071051128576456478589*c_0101_3^8 - 9266850060370470081649872702962649894721769813122525899477273437271\ 342175/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^7 + 3573662931599857842541645577402432815341722\ 815894450062046528650331603863/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^6 - 1897236485113267314866999189872840460625732078736037700955631010073\ 074302/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^5 - 1135444403387618906658478089198988004346419\ 5258805857978633659086690140/38498877129502070381222252368744668125\ 42359785736071051128576456478589*c_0101_3^4 + 5945520952796377958006329245953822511509768233182352470407877433685\ 56252/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^3 + 16498509784580850055641380446458418461577852\ 884611453637858580620294802/384988771295020703812222523687446681254\ 2359785736071051128576456478589*c_0101_3^2 + 1016601100700435822096108370401273276226790977290685922466596254684\ 00794/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3 - 6829893628861801379411646310162259290713388481\ 921887922633593140231972/549983958992886719731746462410638116077479\ 969390867293018368065211227, c_0011_4 - 281613350535580658162449680267971637215800540461189701571284\ 564859904157700156673998/470160360357528204924436765994288569974298\ 8660297781741957768494941453614575251812841*c_0101_3^29 - 9216005418573204112982674638437328694677837138494611857678404548165\ 22802389037495907/4701603603575282049244367659942885699742988660297\ 781741957768494941453614575251812841*c_0101_3^28 - 1940384749995856389475108236342013530259912911543797469730208627449\ 384396324975897266/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^27 - 5878475031897662305923908106788694988315709946743967417056802207808\ 520317709284446927/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^26 + 4876979621261286355962566398316618624081874201184317753028685583464\ 856633332921760817/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^25 - 5470337324974930212604492818271641282283241966430107025967288014207\ 1845599330943559849/47016036035752820492443676599428856997429886602\ 97781741957768494941453614575251812841*c_0101_3^24 + 1745984226887293368279746147324279480496035342614195636960301214872\ 15937029441435980611/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^23 - 5076324755401612895638753352209652335254859285381388050295166982192\ 11178634228291092267/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^22 + 6905530658613842937674244305079877434790129061895962068328419002467\ 55310788609170753509/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^21 - 1674692072945123866151450520294046073730999731608474095055657761961\ 906617690940893599412/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^20 + 1765034922008020008660815722788456743276754643242407498025676519705\ 94666192835682268342/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^19 - 2319286785619641309304761499074532923223901089279979791705418889145\ 857112799456717711943/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^18 + 1646252760729597042800469595074956558980402680150054188587533330300\ 80460401218103955445/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^17 - 1790334796593994731985627254899394286064427307662161719164584952122\ 245722538093729106185/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^16 + 2803832112867955150621323416805199980704587499269074855372501255227\ 998796886082581370170/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^15 + 1048800939663087674885828505824440446000846864421358936624895478303\ 9893429083886960097287/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^14 + 3262021626261470628269781349355863895224407239443647616090647980390\ 12339693245685658848/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^13 - 1284452129859251105741274938683892581133860107019958346061694857899\ 98228216387673049872/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^12 - 4266181219003519946965139077772685452627567865545040772157683580879\ 18508249795764939197/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^11 - 7298664199927603288686918688236798465516607301706363001442530666710\ 259115267367994252533/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^10 - 1874500396208903997926003213283128074389998200655751175268365848991\ 3713646372559720984861/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^9 + 8861113314381520436632421525315412684365719314837583030292157866310\ 554109783757048167632/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^8 + 9563487011319639222717255306601837501208088723219865226271358220090\ 157918164968477473968/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^7 - 3898694993481430307963623913196090494416086504930531336847650176006\ 903442685089115305941/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^6 + 2012632065513503182024948796081364204549872054267978939966770660944\ 541121770592190214302/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^5 - 1681678366768959803987762449214068663050725491305278039350897215287\ 26998585783597776/4701603603575282049244367659942885699742988660297\ 781741957768494941453614575251812841*c_0101_3^4 - 6403467892445967360891083462069701441291168252740387519649722990370\ 82881007692990951326/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^3 - 8610096508134149403509972873482395552599192730301517222600403045052\ 320128410168066277/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^2 - 1075692645186807454651790218252685472066509593513338410405132300519\ 56358831071642780330/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3 + 6972694228619865351958287222846934098852889093743407806403604727528\ 289884942912151932/671657657653611721320623951420412242820426951471\ 111677422538356420207659225035973263, c_0011_6 - 467072651288068093817741317255161996603867458563228608617674\ 487777034610006032689615/470160360357528204924436765994288569974298\ 8660297781741957768494941453614575251812841*c_0101_3^29 - 1538758176900386249906365383510564616976779422922771385470962462317\ 296598019057790829/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^28 - 3257527268133614579305260690243128216082895810039546127142774481158\ 644038874983139768/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^27 - 9839920673201881004090291865598152877535981999547680953358153763627\ 604916815170405056/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^26 + 7831706940820408071938888198096514116481224197776792994171786265874\ 341533920924542414/470160360357528204924436765994288569974298866029\ 7781741957768494941453614575251812841*c_0101_3^25 - 9068237687929069794475838402952243029549526639869046530218171341191\ 1021050425338500295/47016036035752820492443676599428856997429886602\ 97781741957768494941453614575251812841*c_0101_3^24 + 2876710683073683306303802057920793645450032455517558564776420684543\ 04859283457216154602/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^23 - 8367490194736100475192637537045724169839115041981107808176357384571\ 83832777868098109114/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^22 + 1130382472688854104245841438991347303746580694198374079431607001837\ 170457219912656909805/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^21 - 2762865446727576970431196855633645320114070763091185902251197496953\ 311754848117586738114/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^20 + 2458913740764415440808186911373927492316616872332774093998539052877\ 39901360562287567380/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^19 - 3875813291765966802084878992702488587475508043723312470735985791145\ 171514937583739768152/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^18 + 2614791939539983922223369849060643257846184230246037492236708676189\ 47391795668808749809/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^17 - 2983937012442126188277579357685576586211746395255224754565944582541\ 276622946451527677757/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^16 + 4604716033651237165125058327371063190957530126471142379354023837245\ 864283612625024397733/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^15 + 1744697626398421589092257988347100133081841913280394693970543777497\ 4317341024326602696742/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^14 + 6039775049940921895993219761298194472176458498677967255042527107430\ 37550969874108235848/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^13 - 1712409608162408384257882507355063405612348166349085062677351639976\ 15180669363840102056/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^12 - 6501338243405094510109127683630153557875636601892363588302520864962\ 73573171279803076304/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3^11 - 1207989951902487534899107339802458315000377904793860112798088083238\ 6102472550193685436324/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^10 - 3132939790146890170074204268535523442034289384337666087519076995249\ 6765376565414905330662/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^9 + 1388044278437127074300336017383611528688042735081586840594210301561\ 1838652836041516764172/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^8 + 1578261341701134031766402286589182550851495106766701968502940159445\ 8486654167356253107500/47016036035752820492443676599428856997429886\ 60297781741957768494941453614575251812841*c_0101_3^7 - 6019477822809999780861979284486300693052327445371585835536978894614\ 863136823184112974743/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^6 + 3298717970639038436630628671595522960624838294924484992848257537514\ 910300398746488753432/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^5 + 1447552649112214658251797343775882613168190861393450617244124536638\ 0572801503132863226/47016036035752820492443676599428856997429886602\ 97781741957768494941453614575251812841*c_0101_3^4 - 1007717165485468508965889534810452511842905890708401093592993532177\ 028957929071248923003/470160360357528204924436765994288569974298866\ 0297781741957768494941453614575251812841*c_0101_3^3 - 2790724618984430978331038320808722278353619911003326842841380239771\ 7761111611015726248/47016036035752820492443676599428856997429886602\ 97781741957768494941453614575251812841*c_0101_3^2 - 1794018857933254435368604991372899208504736983704246889576786825689\ 88652542874348545647/4701603603575282049244367659942885699742988660\ 297781741957768494941453614575251812841*c_0101_3 + 1112362186174840139149200973450673235028292282501445146162514726114\ 1766467273030558901/67165765765361172132062395142041224282042695147\ 1111677422538356420207659225035973263, c_0101_0 - 102954685302836855679721726666191573983248746343457016693840\ 054441444985009071410281/671657657653611721320623951420412242820426\ 951471111677422538356420207659225035973263*c_0101_3^29 - 3387654121815993099559231297481758118526501358634383825226656189098\ 90954476704055946/6716576576536117213206239514204122428204269514711\ 11677422538356420207659225035973263*c_0101_3^28 - 7162264521336306818253234447811872442862349908354858312521248258211\ 61228169203404482/6716576576536117213206239514204122428204269514711\ 11677422538356420207659225035973263*c_0101_3^27 - 2164347981424318758291058985886515433027978531096462115308018782850\ 443969626251994547/671657657653611721320623951420412242820426951471\ 111677422538356420207659225035973263*c_0101_3^26 + 1739132085808374325672006196508244490941843823697945923959037288458\ 652625378490916324/671657657653611721320623951420412242820426951471\ 111677422538356420207659225035973263*c_0101_3^25 - 1998401481251174843874039210450267747930917989964477191219938895452\ 3199004711916934652/67165765765361172132062395142041224282042695147\ 1111677422538356420207659225035973263*c_0101_3^24 + 6348999852960874691055120104425893942492680047438104490771567387171\ 2426322033123636863/67165765765361172132062395142041224282042695147\ 1111677422538356420207659225035973263*c_0101_3^23 - 1846111275388583913513810146875558805347119411790426645185733657617\ 30314562586632237202/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^22 + 2496868212518219153444146910182645426086037040479725468453224219630\ 41614605728479801612/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^21 - 6093478328843149381194062202643674994029573167023343698135186376746\ 54216256330787619900/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^20 + 5598700924176662167062167103527512305371774340679351162860532827074\ 8007767610467015626/67165765765361172132062395142041224282042695147\ 1111677422538356420207659225035973263*c_0101_3^19 - 8523656186789456383724395970739884282272002824333352213214209046207\ 82183487198223413517/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^18 + 5829221629968954055186103294491005146474705136679261728045470334135\ 4339097919850976545/95951093950515960188660564488630320402918135924\ 444525346076908060029665603576567609*c_0101_3^17 - 6552335759108585614659875591460813832051001266100417135195185871295\ 07860202901515210658/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^16 + 1018501053096517835565666311275543437814253898323369767527924708137\ 457693844560531765569/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^15 + 3844919116940841855292717208389258911057775680561236552833235788407\ 731355245067142028721/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^14 + 1306130420727137280913982045882932784274625717288555636466427502573\ 10980485198152898965/9595109395051596018866056448863032040291813592\ 4444525346076908060029665603576567609*c_0101_3^13 - 4083728125481649301703661639404216702494566841465427694107011077743\ 4442141580478832951/95951093950515960188660564488630320402918135924\ 444525346076908060029665603576567609*c_0101_3^12 - 1560817893484875299831826520045166643138551250646849597431183557573\ 94562096632089190805/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^11 - 2668166766641814521252443843947481473193734254161755596800592545377\ 983711211894332240622/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^10 - 6899774372280667998543757224396206507752876159599250178084647281077\ 251311529545616139917/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^9 + 3095171085964578604273398496605158779949913358785606282211257868066\ 393241169620144399245/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^8 + 3500449317462944097904182679863346893581929026551554342196254079187\ 539094643045398470467/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^7 - 1335408440704798064066850280979763098236219882989071655792401715145\ 031129976658785698461/671657657653611721320623951420412242820426951\ 471111677422538356420207659225035973263*c_0101_3^6 + 7197259788886109461157594129283961190969103300227997472258009250382\ 48823402702698105526/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^5 + 2724959137873620160985135969432114507747378807403381216927300340825\ 617716789171673458/671657657653611721320623951420412242820426951471\ 111677422538356420207659225035973263*c_0101_3^4 - 2232291705270442578710640714089422449166793251291431309617593574762\ 51269645107172937865/6716576576536117213206239514204122428204269514\ 71111677422538356420207659225035973263*c_0101_3^3 - 7802432084869194324439150143564217658102118294248890608703277023604\ 825176778274925426/671657657653611721320623951420412242820426951471\ 111677422538356420207659225035973263*c_0101_3^2 - 3967361119640945413950620431876183194113453992636719180391086560313\ 1910110258845873285/67165765765361172132062395142041224282042695147\ 1111677422538356420207659225035973263*c_0101_3 + 2485338040136008260251327315438146550127569017440847294418761862025\ 610814756826635907/959510939505159601886605644886303204029181359244\ 44525346076908060029665603576567609, c_0101_1 - 849201877825219698142283116993588578543386376638560991818977\ 525722894/384988771295020703812222523687446681254235978573607105112\ 8576456478589*c_0101_3^29 - 279331324051822474441453968048816574924\ 0603200662698750304321916440174/38498877129502070381222252368744668\ 12542359785736071051128576456478589*c_0101_3^28 - 5903754896024066001692240127934400837778234854220776310450263224856\ 158/384988771295020703812222523687446681254235978573607105112857645\ 6478589*c_0101_3^27 - 178441460503254010291930376310635994490052888\ 19499424313857237506969383/3849887712950207038122225236874466812542\ 359785736071051128576456478589*c_0101_3^26 + 1436592607973960117228578711397059933619578107673554550853550065610\ 6157/38498877129502070381222252368744668125423597857360710511285764\ 56478589*c_0101_3^25 - 16484274758496355386935113721706963387641932\ 4907164543921483890219212617/38498877129502070381222252368744668125\ 42359785736071051128576456478589*c_0101_3^24 + 5238195194042722313733195923975316771034078446051162191616899389139\ 97330/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^23 - 1523134775029717422472465244307204899604670\ 874736728418635893180408430593/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^22 + 2060391356066186480574540676201469958313910325041619261777117517879\ 843339/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^21 - 502618524893450068736517338552719425801238\ 9225311996098204927569753530612/38498877129502070381222252368744668\ 12542359785736071051128576456478589*c_0101_3^20 + 4632509835250399907754382176874017927487305577689499313132044056487\ 63382/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3^19 - 7023675507339776405256253152397608943929228\ 472448599335093769929858245669/384988771295020703812222523687446681\ 2542359785736071051128576456478589*c_0101_3^18 + 4808395716336259154959176088322935415117427840779653354494146889211\ 13901/5499839589928867197317464624106381160774799693908672930183680\ 65211227*c_0101_3^17 - 54022244599474056987222972983804613188744208\ 65955086669487725009490337881/3849887712950207038122225236874466812\ 542359785736071051128576456478589*c_0101_3^16 + 8389793106100595651996255667628982080066668785116317215752756015988\ 452975/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^15 + 317091201516248400981916729677897892302224\ 06082114122280106018914495634696/3849887712950207038122225236874466\ 812542359785736071051128576456478589*c_0101_3^14 + 1069112614305648780394698838294395735130719649778692761427050930993\ 858503/549983958992886719731746462410638116077479969390867293018368\ 065211227*c_0101_3^13 - 3416546751650397612237015778993135274118465\ 57330837783894167024218917325/5499839589928867197317464624106381160\ 77479969390867293018368065211227*c_0101_3^12 - 1252889914273013511984628880485155727829834045562409516868627579078\ 068107/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^11 - 219739260597393381245017973291513325127380\ 36787341830775711916462133888890/3849887712950207038122225236874466\ 812542359785736071051128576456478589*c_0101_3^10 - 5685816127067179231456516563776135392711168764360791719127154852843\ 8869179/38498877129502070381222252368744668125423597857360710511285\ 76456478589*c_0101_3^9 + 256372782860640152943204037593335987431631\ 14540690658587316007503137193434/3849887712950207038122225236874466\ 812542359785736071051128576456478589*c_0101_3^8 + 2888952990240218050078345475109689117639003090998648802161214339734\ 4809980/38498877129502070381222252368744668125423597857360710511285\ 76456478589*c_0101_3^7 - 111465673645390510627585346638855850549177\ 52524928950464872142656511592072/3849887712950207038122225236874466\ 812542359785736071051128576456478589*c_0101_3^6 + 5924123692350273174723230758386241883999690043904828652752379741845\ 236739/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^5 + 3228671081626717289427570773738135691048388\ 8405080649443916043515506978/38498877129502070381222252368744668125\ 42359785736071051128576456478589*c_0101_3^4 - 1854367857765519295502459737603914238311076410857117824577231187183\ 791556/384988771295020703812222523687446681254235978573607105112857\ 6456478589*c_0101_3^3 - 5072583445902128807680690269295934632874347\ 3943190930894334102021373782/38498877129502070381222252368744668125\ 42359785736071051128576456478589*c_0101_3^2 - 3254384373121015801401852144423499098598931933930821892529055138936\ 07571/3849887712950207038122225236874466812542359785736071051128576\ 456478589*c_0101_3 + 2010147342439577307283942157443899177007392127\ 3703346666614282619866045/54998395899288671973174646241063811607747\ 9969390867293018368065211227, c_0101_3^30 + 3*c_0101_3^29 + 6*c_0101_3^28 + 19*c_0101_3^27 - 23*c_0101_3^26 + 199*c_0101_3^25 - 673*c_0101_3^24 + 1972*c_0101_3^23 - 2945*c_0101_3^22 + 6620*c_0101_3^21 - 2257*c_0101_3^20 + 8426*c_0101_3^19 - 6356*c_0101_3^18 + 7503*c_0101_3^17 - 11719*c_0101_3^16 - 34488*c_0101_3^15 + 1995*c_0101_3^14 + 5376*c_0101_3^13 + 668*c_0101_3^12 + 25458*c_0101_3^11 + 59475*c_0101_3^10 - 49564*c_0101_3^9 - 25306*c_0101_3^8 + 22977*c_0101_3^7 - 10776*c_0101_3^6 + 1980*c_0101_3^5 + 2196*c_0101_3^4 - 572*c_0101_3^3 + 365*c_0101_3^2 - 280*c_0101_3 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB