Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 913812221] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1007 geometric_solution 4.89162667 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.578553147700 0.185957181347 0 2 2 0 3201 0132 1023 0132 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 0 -1 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 1.305463500061 0.401367358941 3 1 1 4 0132 0132 1023 0132 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 -1 0 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441118975036 0.630459600168 2 4 4 5 0132 2310 3201 0132 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 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.189362977111 0.730623538810 3 5 2 3 2310 0132 0132 3201 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 1 -1 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.189362977111 0.730623538810 6 4 3 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.489506927604 0.721986189360 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.430831616658 0.509695709342 ==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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(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_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 3941999358325414333377938844642276525884289872854515422774768258445\ 829442315288136/819367903455653925144314686358956087700730039767714\ 159982167251519626276046603*c_0101_6^35 - 2093951274481203398402369506192846595126873862201099614320145143935\ 8432103465266388/81936790345565392514431468635895608770073003976771\ 4159982167251519626276046603*c_0101_6^34 - 2102692328296572512355122762859018880945532083328280899468713320243\ 36996972054314447/8193679034556539251443146863589560877007300397677\ 14159982167251519626276046603*c_0101_6^33 + 7869133631471347601098137610255292854548462617011348538541595939145\ 43997751588194197/8193679034556539251443146863589560877007300397677\ 14159982167251519626276046603*c_0101_6^32 + 4496297578945226133211602901196410803525194337211052026838240342663\ 797305358204246214/819367903455653925144314686358956087700730039767\ 714159982167251519626276046603*c_0101_6^31 - 9981987580384280853839442428971751996398058318468857332961897291708\ 655943501651122648/819367903455653925144314686358956087700730039767\ 714159982167251519626276046603*c_0101_6^30 - 3838195574136640554117175800389331139141149379649969050463957735195\ 1609410811662281593/81936790345565392514431468635895608770073003976\ 7714159982167251519626276046603*c_0101_6^29 + 1285237502794389590522895015099457335862088242375182856688652780563\ 3195699928148168673/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^28 + 1849721816142087060282713072266002946722220723582030601242703249051\ 19212644067576818586/8193679034556539251443146863589560877007300397\ 67714159982167251519626276046603*c_0101_6^27 - 5265382345498794680809381015520758321305011972338403426828113445104\ 75629665540715909909/8193679034556539251443146863589560877007300397\ 67714159982167251519626276046603*c_0101_6^26 - 5398250564294746452335921423147987671429972480834164523814653577527\ 41079478065557196279/8193679034556539251443146863589560877007300397\ 67714159982167251519626276046603*c_0101_6^25 + 1958552728738501491592892225997226719039658916205868650596537986491\ 653347361941533928379/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^24 + 7838253331282085707271141904886230238109515717806341195040063034969\ 40894879754060502669/8193679034556539251443146863589560877007300397\ 67714159982167251519626276046603*c_0101_6^23 - 4997806624991550853518900317333146347634373082642396320711047895569\ 206063591055768944104/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^22 - 6258747046669388518017783550124448559912630385847638296491780674043\ 6101061472005939898/81936790345565392514431468635895608770073003976\ 7714159982167251519626276046603*c_0101_6^21 + 8673591447515791495075446549809676076623562864046308677576571775744\ 144728388863753318726/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^20 - 2248171268964936779415347009628405192445929191627029271574607843651\ 342849964142601206308/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^19 - 2750781041887254040059585298574311920181581574473591835226492049175\ 41123072359142548079/2214507847177443040930580233402584020812783891\ 2640923242761277068098007460719*c_0101_6^18 + 5333315035816769495624782491649349257079464038484124650415272919690\ 097058772685009852633/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^17 + 8412408996848572410089068472091188197861533419509239825656690449439\ 442224060386954499105/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^16 - 6176976924881670162333016483681747164969110256468263106157233400396\ 282926639846130911777/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^15 - 4376347923722735951453325417693854130483250895096798177694693512759\ 878873673240176572288/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^14 + 4646584464913184285655551562802783249736367963666333041112272805818\ 360059443106731689789/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^13 + 1348777684488836325108507538007296901963204195209893331275016159115\ 262832463454340028989/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^12 - 2224869485715341652653853280729209817377244373648748559398000899807\ 098446611934543043688/819367903455653925144314686358956087700730039\ 767714159982167251519626276046603*c_0101_6^11 - 1986979332778997714329553368463918461871060309455025531597996188605\ 1308636676804738397/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^10 + 6520154945729882974030068672988812139894007052933219344400012679489\ 14075837750720098991/8193679034556539251443146863589560877007300397\ 67714159982167251519626276046603*c_0101_6^9 - 9000412017150441254148500529832241720227704812292723570401006713464\ 5070510002415364689/81936790345565392514431468635895608770073003976\ 7714159982167251519626276046603*c_0101_6^8 - 1411587655546530098691100739662643143685155779228539194506316226794\ 37964042155755491054/8193679034556539251443146863589560877007300397\ 67714159982167251519626276046603*c_0101_6^7 + 2346116371298159906021404764784461884841571018796596473597446275419\ 8005330175592975480/81936790345565392514431468635895608770073003976\ 7714159982167251519626276046603*c_0101_6^6 + 1301188718683596809789852301553314070348881204753072802955563344459\ 6857563184308991165/81936790345565392514431468635895608770073003976\ 7714159982167251519626276046603*c_0101_6^5 - 4991945165678132454945276232497830131427562497792786778118796755569\ 731417885256054630/819367903455653925144314686358956087700730039767\ 714159982167251519626276046603*c_0101_6^4 - 1072690536998714759147342368449342917777672344618712156428397622964\ 49464609204680851/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^3 + 4530016255322280580502806537990627255627761034373692298482148005733\ 86215374074759255/8193679034556539251443146863589560877007300397677\ 14159982167251519626276046603*c_0101_6^2 + 2893895544191466606412352396407893267273172872138620878903358808356\ 1145964326379174/81936790345565392514431468635895608770073003976771\ 4159982167251519626276046603*c_0101_6 - 1262325193042080676338925051894209994255943355359896634818046010393\ 7377862168101395/81936790345565392514431468635895608770073003976771\ 4159982167251519626276046603, c_0011_0 - 1, c_0011_1 - 977263174408530947685325126491526991877108295443581473497031\ 11812887971844349/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^35 + 5148476793894403631158108886904903590447337864831819740489318573203\ 31955974787/3163582638824918629900828904860834315446834130377274748\ 965896724014001065817*c_0101_6^34 + 1415722004468506346340645016487783037230204731928661660273749598833\ 84143623448/8550223348175455756488726769894146798504957109127769591\ 7997208757135163941*c_0101_6^33 - 192969297274555875982650857339142\ 52560473993502342852193051234247327001608747968/3163582638824918629\ 900828904860834315446834130377274748965896724014001065817*c_0101_6^\ 32 - 11245515882934585333235213175574904419303920132365967470481800\ 4894313960128586458/31635826388249186299008289048608343154468341303\ 77274748965896724014001065817*c_0101_6^31 + 2432194986417284942111327926947641805161019711307524564775061325109\ 43415996300094/3163582638824918629900828904860834315446834130377274\ 748965896724014001065817*c_0101_6^30 + 9650712657696448256162350659835117253969767195831660997121274115012\ 29489864065960/3163582638824918629900828904860834315446834130377274\ 748965896724014001065817*c_0101_6^29 - 2197269529930564432317620572256815189173116596533915095898529085055\ 363592431857718/316358263882491862990082890486083431544683413037727\ 4748965896724014001065817*c_0101_6^28 - 4704552970051355806155913647938642678113770001933071820597533751117\ 636972332795127/316358263882491862990082890486083431544683413037727\ 4748965896724014001065817*c_0101_6^27 + 1292730741130426547557860725706120210818321379304419888108708809817\ 1314047062466928/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^26 + 1403714517139852557410440886385649041414201466261052917272463579924\ 2602581206570677/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^25 - 4837872237477530826067401974981175526512860670908134582033801366292\ 6313656302405442/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^24 - 2168859931604102431103290679594076801421695258131610561675737513226\ 7765373500263050/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^23 + 1244653293554582059571586276825056759978008521390429365909110498406\ 38521126359223011/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^22 + 6697761768569619089524834521011301090034692300631231341131543407400\ 900004392262928/316358263882491862990082890486083431544683413037727\ 4748965896724014001065817*c_0101_6^21 - 2182064010862091842651888563777259757266658918363032082736476065829\ 10293952430271016/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^20 + 4811973617329648700865467307587111321636337638538842439384569679301\ 7986950973622468/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^19 + 2596304555784312270923549084556000567208032344488714427895251178228\ 34599048382970251/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^18 - 1254221687752509041883384199482455659909038527717326531724014366547\ 65622901119465798/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^17 - 2188380075411898476458598012984766247620546319842190990115052062310\ 66119765010095072/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^16 + 1500925982111220651754527437079538747924893288092324229155084583340\ 09514913087875698/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^15 + 1174873959668177813713146983695853365867285757468919358250929976713\ 50031800143617474/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^14 - 1158377939707179281387888660267940493081899095498105630021966612018\ 56459220914712988/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^13 - 3845058775479937226889845200442343096186234934673075052746231252732\ 0007272853333786/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^12 + 5677272128957422834398644928818744532619055258805655841030223891439\ 2937980646739585/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^11 + 5085977239028260776882650239986053132558081680813046982102619630360\ 812526634712597/316358263882491862990082890486083431544683413037727\ 4748965896724014001065817*c_0101_6^10 - 1706568749442745212606504728347342043961619489428017745011453430299\ 8325412798748607/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^9 + 2000460692749353555295052408052944199984756989078905767629538900936\ 157799691598042/316358263882491862990082890486083431544683413037727\ 4748965896724014001065817*c_0101_6^8 + 3767564098459224143367620288127659527883244878723507610266785198202\ 717223215397988/316358263882491862990082890486083431544683413037727\ 4748965896724014001065817*c_0101_6^7 - 5804591652157806854054690463582776899640511580820122426453553079813\ 17923990716534/3163582638824918629900828904860834315446834130377274\ 748965896724014001065817*c_0101_6^6 - 3584723820595325763803663923179228127324845582080840316784139488616\ 12465890786332/3163582638824918629900828904860834315446834130377274\ 748965896724014001065817*c_0101_6^5 + 1302446877712951835548945661066201758085118720153403870629545288949\ 15307855510717/3163582638824918629900828904860834315446834130377274\ 748965896724014001065817*c_0101_6^4 + 2109062888807741612026439716513989179766993772014846311099336050992\ 1196982131858/31635826388249186299008289048608343154468341303772747\ 48965896724014001065817*c_0101_6^3 - 1206889137010660726542848409169280506905675529502772734942155807865\ 2719556070259/31635826388249186299008289048608343154468341303772747\ 48965896724014001065817*c_0101_6^2 - 7982121633639571254368811894312568337763912430022331206676339018200\ 61850118010/3163582638824918629900828904860834315446834130377274748\ 965896724014001065817*c_0101_6 + 3442489511213156842646630572383584\ 69847124094007032116100715133787903832557318/3163582638824918629900\ 828904860834315446834130377274748965896724014001065817, c_0011_4 + 176989804744414944306634108327624982188354171384860755945364\ 22855921384767975910/1170525576365219893063306694798508696715328628\ 23959165711738178788518039435229*c_0101_6^35 - 9603768862850403697286156895685829978235576617659818117201327906770\ 2067934836913/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6^34 - 9324338645631668554082112979700939047828814572264760264011766997056\ 70676665124204/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^33 + 3635819265902311927132904679212141026933839226610872318321902458721\ 769944616210798/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^32 + 1973824432580686075039084149339009250754841504310296111327650066577\ 4834665935340617/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^31 - 4692434267186950599646742461311507191742990972561882855613635527405\ 4947972356050421/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^30 - 1662695420867667363710745062990769392438084671505807708801651070651\ 00427487865037839/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^29 + 4209284433959196889935204877286222197950593781017405641619528299605\ 51392004025802437/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^28 + 7767652694297669566491945794446974896992341860116491501958428875711\ 85797213843873171/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^27 - 2435016346326893629964507573966001796897074654305271693935357385723\ 609749804324746470/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^26 - 2121947831345653017533635981882834026873413946898663728596015407630\ 161661308593690734/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^25 + 8935851752817691312672665946579945214236446161174264868796449838780\ 822917846896742058/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^24 + 2451020893917274446649897374169519557262004462548131739119016617527\ 927365903767543522/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^23 - 2236415836875207749424244703470155580149757229186454226494889876767\ 2355014902159706396/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^22 + 2248661863154366312755489605510120259803135951089879134867989540083\ 649365285071077431/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^21 + 3784381124786997911787783812508464299981197048043962623776530045140\ 4165932689745333450/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^20 - 1404877868055108126221914974632823317793490340995501397413462773261\ 8277426858982192247/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^19 - 1156064288177971967953778888072858654774411241866011246986665277647\ 191441276448174605/316358263882491862990082890486083431544683413037\ 7274748965896724014001065817*c_0101_6^18 + 2785096363963159372933796363242318899798162222476180880332563651976\ 7930725284801640039/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^17 + 3328888162709777567747354228468452961661530327127179117948979620262\ 7595565799720020432/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^16 - 3003083713541912685870740718030815998409384946500452889833800326601\ 8544007890440572549/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^15 - 1545998028345707224105763849288478533925684567492547666928664602171\ 6380657472886715157/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^14 + 2122035996292648969798352519572149097664475159245159891250674928920\ 4900263326014505363/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^13 + 3523083293936293701342136264352166972311709716631215195937886458562\ 539507334811533571/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^12 - 9541871588582521041008394278927104993112392343126529170221456117021\ 880515503907993468/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^11 + 3074768357538776259153280122971474715974836578819257734001403616194\ 75353909455339502/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^10 + 2581170132780024383111169300033174326010174069124526818520315191450\ 712337410085746332/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^9 - 5794719490459959847105085269958212969297315863284270045988168005683\ 65305397265999062/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^8 - 5099033722751865002156619272442602897081975467919813047433277422125\ 95706094989651788/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^7 + 1213880869286179101033922200628782893707751792996113109574197772429\ 26757418101006774/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^6 + 3962181326188422381057984780374111575007097208178699749673231284366\ 4987466075539838/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^5 - 2055672059647268151009503616373550280277667241468025226843853875937\ 0453920268220447/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^4 - 1705371180055969588445609149390927332004550564681347562543191921116\ 579328127068886/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^3 + 1674696910887765448538209361666512257591379644471152017164016287389\ 401142128570590/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^2 + 6417639721608426252261043513663211378108288182435408245811110929188\ 8430741982838/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6 - 4292194030626168665692108333751666816454577444993922166281696805456\ 1594419495994/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229, c_0101_0 - 750655972707558570666580589572227694368972866870773402217160\ 360297356210793559/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^35 + 3796759454095177064929942389354038713930554442314847001272923818242\ 246585614082/117052557636521989306330669479850869671532862823959165\ 711738178788518039435229*c_0101_6^34 + 4113789488628678736934684953954529533096747216243391261946487090836\ 1883536297643/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6^33 - 1401660242040270892623070520470244859581500203006177477383067803242\ 43501085365113/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^32 - 8985652195961349308425242338002175600475251985616662708642339785275\ 17992702783576/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^31 + 1702202843670337420694442281910944074303468669666404422540698836476\ 805010123932208/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^30 + 7879882782293399764538506242457855238118779130001282818500985663657\ 353588537213647/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^29 - 1553030812937857382492614796338835475489651715047161817522552993980\ 7969266428790178/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^28 - 4028684989840671732019986253026602755393364230203860384550434137822\ 0921086208397493/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^27 + 9358333979475406386654269334831308287472115023479565910237621254540\ 3858094109151048/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^26 + 1312330584662508173552908930459432303145337994464029599236142305396\ 34444764100989348/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^25 - 3595886905198069903553682020141103211335875044208940069734330190420\ 87482709653636189/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^24 - 2498699160152858460884076527286072494482738269655005557189434378880\ 11515118635267217/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^23 + 9589866599541701717209754727452571876816928143095061096854000743969\ 78595452381940129/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^22 + 2499101051325330107332750852107767196614751317677243100838826328032\ 81251845523358954/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^21 - 1755705635709082542262264245047765660711690115338091634789489855380\ 188285269593642036/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^20 + 5688683694942800011205491980661696820538144618577772356757988865627\ 7671761334733834/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^19 + 5983392550697225716669248910493949629288320744638240372024315021614\ 3377174386420714/31635826388249186299008289048608343154468341303772\ 74748965896724014001065817*c_0101_6^18 - 6507570519017918593395989051925901449699267219924826290938581887991\ 41230101030156047/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^17 - 2023254433221028325292918572853694939881330339472937472154782590854\ 677929984333639864/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^16 + 9638134167433893155897785332652558759190155801914012291596067360680\ 08018408095619625/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^15 + 1225051944638187063645966726266489306957562590814453198866014508009\ 373748468585680656/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^14 - 8539839889262444968362796377283091035759743059210297863619168190791\ 29967761213457955/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^13 - 4916619967014674280372121390754437286961806218237128274118761628527\ 58540402448600823/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^12 + 4664539321006459647479808073387230910780849686543470172142808133406\ 84744710116132017/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^11 + 1116710835149843734843808026075276222822610524217163004949335750961\ 77586536896701048/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^10 - 1561952815874024346988003611325552486331099275310043334606766518033\ 88668534480371789/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^9 + 1557406245292207415474824478506011658517130280382860627261800757256\ 384412508484566/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^8 + 3805869453106292300388070353876759088834738500297445297586018874154\ 8405894692160311/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^7 - 3072655985005849963942680915128550105716687224262584175462504103713\ 255417874616755/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^6 - 4098325317708209507739992963596216996502633168420435471368465659802\ 503506700805257/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^5 + 1112634395808251932333769537357348743959034967940079961015500036742\ 972391724222826/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^4 + 2832778954746723987809443226176559569856236606935489901302273971063\ 37002900607754/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^3 - 1152773004767559229954498455869470309554433072398273043521978782046\ 74291619569891/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^2 - 1130680822492845662456974468464074868591239553165694715923342843309\ 5668572048962/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6 + 3485389607921810658769665595194222793547365973833418143000095698954\ 676999734537/117052557636521989306330669479850869671532862823959165\ 711738178788518039435229, c_0101_2 + 675537268597859367159507790046324941016422408549565699405779\ 6366773398138495033/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^35 - 3618998576950534491290661500086422463940610705016598298898405921385\ 9515185318509/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6^34 - 3585832833066041199016585858082363256540741990739654855139823332601\ 40490337268581/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^33 + 1364125108477514377090299481778755355504094760634313368593309003777\ 102694073948472/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^32 + 7637672158356493903911447937655658824180390818280910280920394398997\ 613184737309533/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^31 - 1742703350971133855217486010960062186927946338407620575956487940775\ 0332308614309731/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^30 - 6486615800494640095478200137087554497016707556632166473959496556722\ 4388058134740868/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^29 + 1567762591386194323920548176683671349233627310210297145562641023305\ 98420039135182209/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^28 + 3089166082193939224567901355907508409816492100289632130362401189200\ 31285871634822729/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^27 - 9133170157782756983405417257379484987187892612142684791143622271965\ 55810569624111541/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^26 - 8796373918699245117654721903046561293702427596388336894545042140663\ 78539620679074123/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^25 + 3379268760332649951110549437734395469135691000763868536299222432687\ 646546224994417821/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^24 + 1181697947148901758239343266955926580601441740938154259890503570285\ 329594758463423195/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^23 - 8557972045114107576852926729864206818377858581481952221531472970815\ 757083703427444509/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^22 + 2775110003732284680258704999731607039614700883467287054714809629456\ 72562210852110510/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^21 + 1470771115763597589239805558653412190984134836783717427516398094240\ 9951761120863040363/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^20 - 4459358244767990593446943726369779164248071116085669184657035379923\ 758397533124994763/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^19 - 4598266952774666159394126794013908885554260176571926766539395061223\ 04136658280030541/3163582638824918629900828904860834315446834130377\ 274748965896724014001065817*c_0101_6^18 + 9747809753859785518819165482149641702696195894143194795163545957380\ 717204496835615237/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^17 + 1374889746485985699448552770468753626072650507883207179800250156090\ 9951563370467361732/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^16 - 1095553826700063218789008364982632757158030224360623645676288188887\ 5272994964688703139/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^15 - 6867992091129759994521691325936432064867541022551418411806218950647\ 319700759243169624/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^14 + 8035091487139604372511164389565398519658989314264934094521645184694\ 870277050008898472/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^13 + 1923695469870739804410994879680642126191443136521200430038539279919\ 668080899928091401/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^12 - 3753860905245603272855880340117102963122917022912264788674305256226\ 178144370489130302/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^11 - 9272492759479065446702952779349286573734469057169253665422556154188\ 8569642806472262/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^10 + 1067118026203183040149561187835925984132748867272945561170477476891\ 330738441037015268/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^9 - 1827345234554198947654483746826521554840789027594331899848434134350\ 54732310545963936/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^8 - 2231864123080597828330821823090463562154243168419233807071674954528\ 75715575920237840/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^7 + 4306237953342147185398631784640939180311184217056003364391561471310\ 8939542321222530/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^6 + 1938991632458370895815293028800453661670317546650797646808498043176\ 9984836556887822/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^5 - 8308854690991397009827685009013320612770248303570610854492462450765\ 207702917765890/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^4 - 1022843864324744167677721178121158201975929553794781606951759734380\ 390482877191530/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^3 + 7228581260766649102046060812570356772851519240763204117925448952352\ 44760774130486/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^2 + 3871079735930906937464227494888124814815574360631439849710013185373\ 8660280173454/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6 - 1961391406660773753809208715997742776162486888755622477040534158560\ 8347059788584/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229, c_0101_3 + 153737008069110715950624220130054695733935196424579660580990\ 38810527557387467319/1170525576365219893063306694798508696715328628\ 23959165711738178788518039435229*c_0101_6^35 - 8256989273753816922207774521808732599298347388162947166938647721968\ 7814226668220/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6^34 - 8148335474501379161698730963251595246788383020865879649749388343416\ 47920709706715/1170525576365219893063306694798508696715328628239591\ 65711738178788518039435229*c_0101_6^33 + 3115000779921251036449534783219373277952492091194459172562526861773\ 312941766739338/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^32 + 1733435789389275063897748096817892414249370787437000491586323034641\ 0506432747233047/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^31 - 3987503077586671455050402348666945014047132187719677043122229156611\ 6872524575439892/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^30 - 1469796983371777567030977341206270902698920910190904022648256632815\ 26541831908093172/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^29 + 3585023625128745951428795957519912024273479156470141933344471849681\ 34223422233976344/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^28 + 6973601569828349106105944684905950066537158009999393440576018562957\ 23252082854246063/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^27 - 2085458654223020648156559462409099409319155787294554302204255735195\ 572187642030021303/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^26 - 1970267968782773195175798466036432723391898268631435478770507676493\ 935987586361626971/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^25 + 7703087075565286384211555016578699056150360717281129311283287690020\ 797178858493534460/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^24 + 2578451263892174434091103757368432257948045638078068356268399443875\ 892932526600882233/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^23 - 1946124676434144384778836902816457733685556180513793171347195022045\ 4325332616155947822/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^22 + 8906844751332059419960631736194375338812291938355118066601438138631\ 40357657750907257/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^21 + 3334240476495529203913234313852397769186412421045143651042667221432\ 3320796887265112104/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^20 - 1054618524000336422578720859756047985900145566132656291973087239582\ 3441917501733566074/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^19 - 1037709213027546753514645754865349091376284748259300137907813677021\ 633057236002434439/316358263882491862990082890486083431544683413037\ 7274748965896724014001065817*c_0101_6^18 + 2256344481651146335998474658473708736005297504004126893444953680242\ 3366290810394242335/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^17 + 3080834212443862754837399556458031280479096931468176203272294681586\ 1666575700451840198/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^16 - 2513744801995865964363966963692886402160720234938192756464938902781\ 8555418135918298201/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^15 - 1519128230791788196717777341398324583133975187180395827041002691086\ 1816996940318722631/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^14 + 1829587371290725962722603820553438791507834138152146602018579833148\ 9043704495431545803/11705255763652198930633066947985086967153286282\ 3959165711738178788518039435229*c_0101_6^13 + 4120869894893724224238075026623407007329845795815210411002785277069\ 920315303181448164/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^12 - 8482473536837936580057015139051419493287828169529120160572418329844\ 814004115943432013/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^11 - 1210174055793333787621784456979986750156218829418045368734239432821\ 25991327234114491/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^10 + 2388723331649886590503518863860344447151851109493295987066858787566\ 337593887926988849/117052557636521989306330669479850869671532862823\ 959165711738178788518039435229*c_0101_6^9 - 4309212957266419926626629369996950065906242156473141892121162164842\ 66923584239612141/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^8 - 4948663461169993615137854980332267800744215691581262526500831734259\ 81361132891715391/1170525576365219893063306694798508696715328628239\ 59165711738178788518039435229*c_0101_6^7 + 9889513001043304120656576426049952092776927523755147586774008791490\ 8764303137110501/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^6 + 4228176240701582063500149723282905054762440403004481152060738936883\ 6082567331664154/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^5 - 1864249651164904916252348199898469624093419485897941891024930735155\ 0012152351874728/11705255763652198930633066947985086967153286282395\ 9165711738178788518039435229*c_0101_6^4 - 2179764433788385729153199891215428106167805827421356338042198370597\ 111184257607485/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^3 + 1606374129782883588320947349507405239042340426207907978722659041573\ 536232124992750/117052557636521989306330669479850869671532862823959\ 165711738178788518039435229*c_0101_6^2 + 8318552514930355632338631156316152418122444466008807868820196029246\ 4743567036891/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229*c_0101_6 - 4330665148983313738282748566677180307080488664268125372668152975575\ 0866414983455/11705255763652198930633066947985086967153286282395916\ 5711738178788518039435229, c_0101_6^36 - 5*c_0101_6^35 - 55*c_0101_6^34 + 183*c_0101_6^33 + 1203*c_0101_6^32 - 2177*c_0101_6^31 - 10529*c_0101_6^30 + 19793*c_0101_6^29 + 54062*c_0101_6^28 - 119000*c_0101_6^27 - 178686*c_0101_6^26 + 454486*c_0101_6^25 + 353969*c_0101_6^24 - 1207059*c_0101_6^23 - 411229*c_0101_6^22 + 2198252*c_0101_6^21 + 114741*c_0101_6^20 - 2764276*c_0101_6^19 + 550828*c_0101_6^18 + 2560441*c_0101_6^17 - 906159*c_0101_6^16 - 1601602*c_0101_6^15 + 836883*c_0101_6^14 + 710392*c_0101_6^13 - 460334*c_0101_6^12 - 211007*c_0101_6^11 + 155381*c_0101_6^10 + 28473*c_0101_6^9 - 43125*c_0101_6^8 - 5109*c_0101_6^7 + 5182*c_0101_6^6 - 252*c_0101_6^5 - 585*c_0101_6^4 + 57*c_0101_6^3 + 43*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB