Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 3633923078] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1494 geometric_solution 5.30437070 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630035537668 0.113176525295 2 0 2 0 0132 2310 1023 0132 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 1 -1 -1 0 1 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.832368754005 0.163029703041 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 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.881894375120 0.493844885912 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0.664235935381 0.686650514722 5 6 2 3 1023 1023 0132 3120 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 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.664235935381 0.686650514722 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.272228369301 0.752330216119 4 6 6 3 1023 3201 2310 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 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.105681590675 0.956749366759 ==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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2091419940123557417273992146964752007380363981253852092710725122426\ 423889437850724/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^33 - 8900211836261518485611336596997263611414755126011673652953712440822\ 892308928342488/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^32 - 4775457338163036648796841519313872903250876489934608609488599048482\ 7875780019639104/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^31 + 2373892072296005511242367144015924462418694284769358909444262467447\ 12035506912065723/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^30 + 3454348342757023399993792985899776959750264319344586448459862004546\ 38154396877251258/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^29 - 2550280958806763603345154630232969698754885483223910954128819352170\ 242472396445096206/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^28 - 1996705566953865832203678719717255567845657297214279060719104116411\ 168256002734873758/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^27 + 1716831192873641805730625495434304283295107442701405795853214831151\ 1719995505559549973/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^26 + 1419474841889090250524370397627435037955220429122568036047146887098\ 1012034789459928552/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^25 - 8004110701741728567984095577889351906759961310337146234794748391286\ 6654855317914797162/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^24 - 8803748246127744620592672071980478039159301994826648888573947519672\ 1438325132530277059/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^23 + 2525081941660373298133089261753339578773933026480578549889820943749\ 10957031933972591899/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^22 + 3663961805623408379774647785456782344893145087204981703077230572536\ 12868920252504108714/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^21 - 5138687049478714644419463630409048416934171258718255231666546480544\ 86867573802550109181/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^20 - 1008800848669203573056715711666391510492777321151661586685911891831\ 401863127943560914577/274155725087460946985463066546015392298373551\ 47796657989680391376616405018962449*c_0101_6^19 + 5388709519340911820100299862882042827196430900697727588292361496282\ 89991626528579635951/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^18 + 1699810779326550237983424370451916773508007793202735254193503237951\ 228036927401217268027/274155725087460946985463066546015392298373551\ 47796657989680391376616405018962449*c_0101_6^17 - 1371049469836405406947760036767244297466493293290394208372787676306\ 54856314981068857840/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^16 - 1816603108334820677111685944187450283105744441179455844090291871042\ 096330542268949188176/274155725087460946985463066546015392298373551\ 47796657989680391376616405018962449*c_0101_6^15 - 3257810533323596247282275115799044593544688156609158879336669365427\ 53709689228387499438/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^14 + 1297469116332607576450384109767156585374442922151314438324035832514\ 788306669283221013396/274155725087460946985463066546015392298373551\ 47796657989680391376616405018962449*c_0101_6^13 + 4819350668409398849137065586692706277666612374110205919716203026661\ 29684671659676828435/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^12 - 6105877763281603186042418491009918715914714789834285195228019042867\ 58341067308883358962/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^11 - 3369809479264551293488554674326187815448379545031512426071205983442\ 11197599631143738464/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^10 + 1774472802192325307667015922008465423293005445276101602868333159754\ 62920637225765384728/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^9 + 1384401367474607314164279248189301724555780290301988473484544295213\ 17417401110523093473/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^8 - 2919906946679426343946436361882513267355297938426245467739695256246\ 0343356477354170487/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^7 - 3664256998872723310034414259599233937161541255002552260234009889433\ 7253883210345792407/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^6 - 4287669893886002760529759551843496901761916563072635221586353203102\ 41991246978632960/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^5 + 4176713638051641674052582659824098798860769886788506885001301747464\ 106738251007233215/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^4 + 1209346046837193120824034833789333323969665712490114555283303162053\ 79180153062683821/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^3 - 2563968003384098613865131800841404283794836689310533044776252691046\ 95094594891201279/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^2 + 4165900685088591541820682704865338693231349780051360465808870693287\ 8632116202479124/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6 + 2510038798418118304172810434813933626855286032167261664057852209547\ 5062709830159294/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449, c_0011_0 - 1, c_0011_1 - 130123956200542837428415754855628632771355282693172616202382\ 18516709438459206792/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^33 + 7273704860177792506592990739186187096504295222353489271289022117105\ 1892445118249/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^32 + 2047005710458939571094740683869723058268040502667499572233756021526\ 83895494043328/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^31 - 1775347939834510116707115246604468294539619534201348138245738850060\ 445531832559947/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^30 + 1434829073610628692848807355777587950091852637439769062744459480085\ 00377760673084/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^29 + 1629534835323639505298543103366170245987024712614999355753641420489\ 0214684665337762/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^28 - 9288589492137536428007074345152436443966312898459933155373710679083\ 861019344437999/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^27 - 1001770755443993314628562373326688340893987339937312626440241550768\ 35779400052953400/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^26 + 4784417685043827485227110844145976928919253266800320776032492981490\ 1305457740191092/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^25 + 4697785175639907591474497764226997497103670267547062265320550567611\ 49376214193464474/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^24 - 9088560457954071432644839427295929860406046764003454491641286640439\ 6718599873989292/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^23 - 1616286474864058723229332133534944323813364421718968522488435403752\ 487965965310365310/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^22 - 1151669009936336198257361438042540318348427670608790013940564332399\ 76719241559973199/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^21 + 3916266253296819597270112660539268720411457126576436581540038269963\ 118309252913770160/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^20 + 1173611196589507175312495982727300388563102501037261515634407451071\ 920631471309451071/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^19 - 6257951865434944868589963641894236729726039984071825985367933026249\ 395847631256362868/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^18 - 2829557416144246780550842948239041747505775565584890288426506612192\ 734787763895277155/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^17 + 6681099220916210487526134926456508265770201099506182176595029769861\ 006549748609486960/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^16 + 3658859694375612313249763500212213501277499839851764330508252211102\ 712086980200822442/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^15 - 4911602069273956627217784319443186675198480650238067252631652487003\ 099895434555020812/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^14 - 3051231588420156771965012098510924008839022186787372085888913691511\ 472691707752945441/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^13 + 2454806695173970610163679506131689969008405521776470566849008652694\ 760895024531549808/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^12 + 1729801691825500280722049754268286389167929631606741616745670990302\ 903767095489390245/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^11 - 8064277411344501738102526756737105374665864451925039859907967063902\ 45623482771704847/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^10 - 6688921887211476724651423448639766617649089572246178366152059452466\ 42065142433974814/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^9 + 1742686582626413729981644192254382247261858537097419167737805554441\ 94004579157696673/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^8 + 1764722205115789270201415233055201223039030577167469846421121864285\ 36412352096144147/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^7 - 1998412039664287208051964857250556290546846646116071873684798012157\ 7952956348642026/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^6 - 2444085108073019333274644568797722872825980923928487658289737809234\ 3522315516721824/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^5 + 2194264802493148203841089274074051356861922335262204329648303989002\ 768948553304953/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^4 + 1843336280680304482061956215803224115721147831505603626329014154347\ 039651590807604/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^3 - 3766015970568791375839924383800943143638986360601847129098737902392\ 82485279700938/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^2 - 1101770390198134987980662131330461672607518945249137826532228302472\ 76746251887752/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6 + 3731782492589736291301608948209098303467478904476148853587545016179\ 8905678614038/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449, c_0011_4 - 172253232139859747182548613807920949407574799829697373855053\ 01009084650689554107/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^33 + 9396135246076628844720440190147395490877611457505077666085397611903\ 0924488332314/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^32 + 2836930476687234819721918022507269449211270119544154217249612984959\ 84102167026989/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^31 - 2312072414343521503199597245980517160478274103640258244220387087502\ 208170137755641/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^30 - 1227044405362724935841172937003189484824503654274254514736083797412\ 48934244865282/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^29 + 2156123107842904253849604722644325354156123733362109454346810612363\ 8455803458674040/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^28 - 9389010061560089568215876220249348870677097551990204085413644325210\ 026093023465567/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^27 - 1339505741226994595605938068395983669508654564875437697302827867199\ 44251629048482495/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^26 + 4535750127490963915092499947965022002694131939950611408665916397290\ 5458385528108410/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^25 + 6284586554501219005093949721703527071118774466563557767174687446281\ 27491670700519503/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^24 - 3627615752612864743353135709484675493273617297457852751910502736626\ 8153299452367962/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^23 - 2146765103590600757586895979575568205498560012544441377362103448019\ 910771040479395300/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^22 - 4386022001165208834427980874017819216869650725830592945511959594688\ 99332033403101791/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^21 + 5134343141430620218065543251553744507009654522297386983369597920682\ 661892250777931654/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^20 + 2235041742029994563136020634507012939124746525124890322655052884080\ 225069781719424821/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^19 - 8011316927707382647886267375575467229791382901352260794649272046686\ 187785396414151031/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^18 - 4800874867260490853800548983281661084935968082381534853775178111957\ 958328580118257966/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^17 + 8260393172420000967312541819028212987616788331958490058531746223934\ 981382515715787952/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^16 + 5918898503137191873477091044324464678147522881271849358824612847919\ 879081345801424910/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^15 - 5799868136872649705230780101422719474940405410590379680304071443682\ 322235309667220193/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^14 - 4781896002612776588107219878350206501767512080779793018520564844172\ 906882407391879118/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^13 + 2702902460828489041245149901827600024498588121301681534001027398929\ 038955614657538808/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^12 + 2626291748652213586298143617814261315895319057376936583002770261607\ 613431444607832164/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^11 - 7817775828003034983406297171247125353798195055247639966828147490266\ 55439122994171972/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^10 - 9778689492350438396329468595998275848878714442495472042954946237798\ 23761438088263520/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^9 + 1315764932311847918421486471757830308574488105240585489166414815515\ 43622908986414402/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^8 + 2482004188674925539454673099987801304783389087212368541313288483074\ 88494235999688061/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^7 - 3712774678656692817777860790000772657503192929602522840835614210266\ 532132394802079/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^6 - 3259407011754202659938464359208303794743199288193606838079643431304\ 9356763829544813/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^5 + 9656141319327888505448462900256321497653380701571973972727544962794\ 95710463780129/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^4 + 2626323859428632154341793650043641170521354810794080559893832115742\ 918001759638756/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^3 - 3746156106467190619288407317281534749017852784361517996894526707563\ 02532320948748/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^2 - 1844881637803072572572061225189251761712702413593751339007630778116\ 58590089068331/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6 + 2558294936111635511109166386817249353727933008501963133398494469111\ 4306267419574/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449, c_0101_0 - 190632216001987236914895821422615425879623075338908543225152\ 73845560431001539411/2741557250874609469854630665460153922983735514\ 7796657989680391376616405018962449*c_0101_6^33 + 1094279127527981647103533196602154620802026864963756903039135789751\ 10951050358022/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^32 + 2847603535688832048916180349857471197997367945605606165711791449877\ 60445475402478/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^31 - 2650679274523947004760049464691290409411347224549428787198202935242\ 076922295939025/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^30 + 5849721529225601215042305663273223908808408963320550340847184843979\ 74399313438797/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^29 + 2395965796109108982552064680527921357830505462961773113436099974559\ 7368125737400942/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^28 - 1715634031036307140910292961696842807488467261375189057714260033234\ 1932263400200654/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^27 - 1458741960840666174175020490964358142002488309730758425585802046612\ 00220068179705596/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^26 + 9237723295366058283536220008383236261671316888697265761150009234248\ 4273099790079042/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^25 + 6850915151297235444009536269682982794804193323578249914248505532957\ 91809558809659051/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^24 - 2374782968538597717147410070099373878642603695591580135812896058630\ 34571415077834515/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^23 - 2382772397033940282094281621955027288114160331314669398577766634416\ 167391343044021919/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^22 + 1822186796779710544898838256260280043511576186704301843612363332742\ 39951834024774509/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^21 + 5881701022604302306888324229266277691835115610372160867603534387166\ 075862866759950079/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^20 + 9035176576682709777592993608306457022390438273595950968184352459360\ 60208793493872549/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^19 - 9709277171801784212128512828454261443972861802744275684660788701225\ 691389192816439600/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^18 - 2940787282681869274354019617169367906024502939719392936879274616216\ 444836343032272140/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^17 + 1084647518226138686421091292617170568557281541392045136953788513354\ 9250588796667917091/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^16 + 4228193887424853125877870696547411269353663935955382999521547872306\ 735931191000235916/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^15 - 8440687399753238384245284827038622342168159450602325951355691614187\ 993443028767523746/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^14 - 3787705652310387353249191184729211817661080749547235070899492624679\ 717209898010250620/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^13 + 4566886336721852109396268268962228303292989355104048348796358362206\ 086167105821797737/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^12 + 2304503368587159240822394565662833495462608446710603726500673969191\ 866045868777751674/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^11 - 1692464651855870548668197484134758697708549715796581861659476659501\ 287732163053997526/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^10 - 9666061201152684870779048905547332388231215278943943943508043373493\ 89317676467214907/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^9 + 4336969811139507147564447153017703034614067919211917038853220871532\ 86553243523033137/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^8 + 2786575575227138355215414084655719227558470855563909892373114020033\ 28502084107374680/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^7 - 7014668051735003764967519408327415463604385508868282755010713816770\ 1934176247194126/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^6 - 4556079001158986559932108415198926980016756195937383676412554486352\ 8971849690461416/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^5 + 7264445679375908262751371491733266518549459531011313891147025717938\ 759058347325047/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^4 + 3928691051970257970924152294876595113646360297053315128421990214002\ 127061992544401/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^3 - 7619274821941434607416872993213958978298779901084312797281294975534\ 48650157115271/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^2 - 2400127648938145511184245293172999369987882138133050844177477148632\ 89325532350001/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6 + 6811560335733620530326204004574458971070729395446636819552507583879\ 3342950992826/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449, c_0101_1 - 635488157638306013146166366890409798827113145746366056027578\ 647297662006866718/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^33 + 2785575391553772665729381946531877253610224982718489815152083537837\ 199432536995/274155725087460946985463066546015392298373551477966579\ 89680391376616405018962449*c_0101_6^32 + 1407273326418943693267795926983288968348435068642745829958516529967\ 2146009048016/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^31 - 7345465113314137329195651216341232593023482288219279191202856022560\ 9172298450961/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^30 - 9446636395501484692312482278297832689327472846105517167584251082762\ 0861694832528/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^29 + 7760219807109215818112197291532716799111196457943987882711896277968\ 22371359613949/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^28 + 5117021642329349647100694173915331454402808164964754048880935144957\ 52503237457946/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^27 - 5190607009624196289211943531267634539141409484965368890375354443775\ 761507469062739/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^26 - 3721167125123232757810709201487218846243613768821192907612199696450\ 214838979258064/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^25 + 2426308370918307998538043169233170798345576472931779799621994170424\ 4677766768300609/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^24 + 2397074455249060320558332425788203803390539870400395140203512545876\ 1964365763724174/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^23 - 7736144982821765856639135545145800410925739376787166796759873166062\ 8036187465922492/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^22 - 1020484019990633975672314072988746520412840479471063049233410887402\ 67051546943934835/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^21 + 1612284678032196484771578976119749700767847659879733253588826114608\ 94878066438104396/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^20 + 2853904407429649447369246306973992997251701701831301988756820889035\ 83273896017875332/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^19 - 1824964749621898041202681731018227240688452971941382885411469674532\ 77806546915152194/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^18 - 4867310612295093871682750053517186261514061269102586651522184697504\ 84949546675961435/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^17 + 7965899140446509387409705337261435489138446368073358800482349891368\ 9166781492436270/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^16 + 5271644568524857358027349342015158139860351949318515680554913769327\ 05307889301486688/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^15 + 5173823422223525918440096279723710286643774693831800592743359514742\ 0579514179760077/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^14 - 3839592683634702243155561312258788023531451695796488470383709756507\ 79703303384950035/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^13 - 1080228794233918385555961853094807990230318739357633766528677439770\ 33809189391138587/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^12 + 1866133089380031132997281989805418549889668577099359819297102838975\ 37433118454827740/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^11 + 8212607475225939111863591459756153340690044081421656619258054575650\ 4599663543078821/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^10 - 5768763600426826935699142952591117436768630729761972589155687120332\ 4956197411897243/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^9 - 3559151924560718093223946035562328701454469585985928984613605956470\ 8577089948363154/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^8 + 1079670768807468855523647516215998654547402655461324501782261518920\ 7142710176768207/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^7 + 1009419414029528709284518580725782631596527927432246939772588006457\ 0941968160057149/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^6 - 2411076126959423346696066403668454085755688781477181598360492381567\ 06897098022653/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^5 - 1246951546870245515934891200032350161185957341946429445803582706419\ 300964362670460/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^4 - 4194233224309756636508264189124927580452670982531345191041204171200\ 6593164994105/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^3 + 1005220910970329174706895931624502259531608821603920465928633706799\ 16560709521384/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^2 - 8854715309796799303473232735572730487105752765436425885623666113495\ 845111633417/274155725087460946985463066546015392298373551477966579\ 89680391376616405018962449*c_0101_6 + 7712890298257102562063628220717802941012026291598583885528745866315\ 872085549207/274155725087460946985463066546015392298373551477966579\ 89680391376616405018962449, c_0101_5 + 224167212531053054400057834547583328118714472305165174580774\ 8008663609206850582/27415572508746094698546306654601539229837355147\ 796657989680391376616405018962449*c_0101_6^33 - 1198726695277516854242405788855769229510746976589607033830504916700\ 9401646299335/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^32 - 3922601331408863662128060711128319698314863516932431544238931103722\ 2628303242445/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^31 + 3025425105881974929446350232941652562551782483743549825967774571853\ 03673686016052/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^30 + 6333904391481200817755565633483839997013875968612582011962963202113\ 5317803939587/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^29 - 2939455363715276055196223417891859710098372038222691399878249811972\ 084111189523929/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^28 + 9427927527746779164665768078459325523878652657140575838466868063405\ 18997156477710/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^27 + 1877610954485861625802073749771778722861829464141380989952641288849\ 9180924256449357/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^26 - 4799609351365686856609862675597339675925254585079516325236487446358\ 144166901963441/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^25 - 8976995806128126904385966277246715266475463327150232434774645587456\ 2678594227137925/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^24 - 2088789618238526250423091917300637833894710032524867781108763148455\ 25066284144961/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^23 + 3140600674273701580974293762474266798283859110908605449450745206079\ 39220274343767605/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^22 + 7936542364558879663213257833246836427776456414693187834639269352455\ 2352322325036133/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^21 - 7783118696122870270448747124493903723351698071255495344686473278685\ 23808879769335829/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^20 - 3682437460790336346101795118268800066529276504363485194414638477818\ 20201128155718547/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^19 + 1288040567905540110235706998649703077231612079483845032400757079961\ 615594576192290495/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^18 + 8162432418889494070550786967177107520340652006548223940952388459177\ 04950030081209846/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^17 - 1436484092743553198791852808708788118000860246380305045645463288947\ 575646832513901100/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^16 - 1078261706133439469308740634554147251508778873809289725759263983842\ 530406743596281271/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^15 + 1109365503466836069614287621641054211232814500357541183149703258780\ 762134073798588752/274155725087460946985463066546015392298373551477\ 96657989680391376616405018962449*c_0101_6^14 + 9467573316437681697183853976581438497365123849005413101494456460323\ 86177288226503750/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^13 - 5871871395567719025675995340638504206995891398957038757043334097803\ 06743691847000706/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^12 - 5763882578506254238294464792717111137388861339050473974505027423570\ 03751284381593150/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^11 + 2027547640601155785525461008823390404656951623995746970749759031719\ 70650448871665538/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^10 + 2446765391582371622536178599743200973125755033615681120373066003843\ 35465713586334237/2741557250874609469854630665460153922983735514779\ 6657989680391376616405018962449*c_0101_6^9 - 4236972517161403758810900092527508010952423132006245522024965884770\ 7980662357355409/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^8 - 7210532122106375106558177172600035805204631585119372739837272541799\ 7651182702056085/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^7 + 3567424334940808308774711710061513570514982221903824417858312703162\ 020136305016639/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^6 + 1302864084668333226278210876561332229332250705656279670050321556636\ 0554421593330845/27415572508746094698546306654601539229837355147796\ 657989680391376616405018962449*c_0101_6^5 + 1926443750915492299451635321594552281022356934809077627640491995266\ 64499282836735/2741557250874609469854630665460153922983735514779665\ 7989680391376616405018962449*c_0101_6^4 - 1107678211072276218149768261980533735510213024109016235787760405019\ 385080002844717/274155725087460946985463066546015392298373551477966\ 57989680391376616405018962449*c_0101_6^3 + 7472435560816224858071800413868305829572052304268463630416219655900\ 1259804783039/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6^2 + 6995012761400172667608615758953932977560857489275063325546591868897\ 6418548682281/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449*c_0101_6 - 1522739715921222806465468857525000037070782104109516570422909698118\ 3498348775970/27415572508746094698546306654601539229837355147796657\ 989680391376616405018962449, c_0101_6^34 - 5*c_0101_6^33 - 19*c_0101_6^32 + 127*c_0101_6^31 + 69*c_0101_6^30 - 1255*c_0101_6^29 - 25*c_0101_6^28 + 8085*c_0101_6^27 + 882*c_0101_6^26 - 38059*c_0101_6^25 - 14396*c_0101_6^24 + 127343*c_0101_6^23 + 82225*c_0101_6^22 - 292396*c_0101_6^21 - 267176*c_0101_6^20 + 419822*c_0101_6^19 + 497950*c_0101_6^18 - 373145*c_0101_6^17 - 577123*c_0101_6^16 + 199675*c_0101_6^15 + 448741*c_0101_6^14 - 42425*c_0101_6^13 - 237580*c_0101_6^12 - 19809*c_0101_6^11 + 84389*c_0101_6^10 + 17736*c_0101_6^9 - 20154*c_0101_6^8 - 6541*c_0101_6^7 + 2449*c_0101_6^6 + 913*c_0101_6^5 - 200*c_0101_6^4 - 52*c_0101_6^3 + 22*c_0101_6^2 + 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB