Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 3499183132] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1039 geometric_solution 4.91715293 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 0 0 0 0 0 0 0 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.338650401705 0.263745415005 2 0 0 3 0132 0132 1023 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 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070886793297 0.768773862058 1 4 3 3 0132 0132 3201 2031 0 0 0 0 0 1 -1 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 -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.277931206101 0.647481188290 2 2 1 4 2310 1302 0132 2310 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 0 -1 1 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.277931206101 0.647481188290 3 2 5 5 3201 0132 2310 0132 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 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.423218667293 0.456664752798 6 4 4 6 0132 3201 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.116851635109 0.680611504621 5 5 6 6 0132 2310 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.982123079958 1.565187274833 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 2733982211040374013369483853467122909569599161318960690452848869423\ 31689866927265714293973680093975/7705993731533813541656260384410002\ 84246900795218117531468502105321832952578240544476107900006736*c_01\ 01_6^30 - 889232819937976628371705743859935751210912654417012047262\ 90770820947991079675814338310809046837037/1284332288588968923609376\ 7307350004737448346586968625524475035088697215876304009074601798333\ 4456*c_0101_6^29 - 158073721210216267421007309557599773568858236011\ 260812529914528427609579467954015112811524999558489/481624608220863\ 3463535162740256251776543129970113234571678138158261455953614003402\ 9756743750421*c_0101_6^28 - 681579127522907777084860712550103054469\ 629437427863022887120528929337482429410375850516234750950295/192649\ 8432883453385414065096102500710617251988045293828671255263304582381\ 44560136119026975001684*c_0101_6^27 - 2739804483270797724438537310702680148604142081827210312463713346595\ 8753200629763686038936973444440431/38529968657669067708281301922050\ 0142123450397609058765734251052660916476289120272238053950003368*c_\ 0101_6^26 - 9489121461077214842472584958194522698428268675894759763\ 3913754768029938391064567378011847647838214743/38529968657669067708\ 2813019220500142123450397609058765734251052660916476289120272238053\ 950003368*c_0101_6^25 - 2793417959011214618589921576706978842013024\ 29072417988493798756530379258003639941112166546789571360673/3852996\ 8657669067708281301922050014212345039760905876573425105266091647628\ 9120272238053950003368*c_0101_6^24 - 3122855661521645384219179149606504807558097491880657158072926799580\ 34371164781028082644143935868282601/2568664577177937847218753461470\ 00094748966931739372510489500701773944317526080181492035966668912*c\ _0101_6^23 + 241917915971429893690777705294782020503985305338867627\ 46535509079518196857081401858921185069104982735/3852996865766906770\ 8281301922050014212345039760905876573425105266091647628912027223805\ 3950003368*c_0101_6^22 + 201602659633447391593694634008721897019242\ 544982198366418623873966437485475298807027178964834844516021/481624\ 6082208633463535162740256251776543129970113234571678138158261455953\ 6140034029756743750421*c_0101_6^21 + 4331753245275757982012359898236126367863655601759532716361524519620\ 428527696515204878218914271509420473/385299686576690677082813019220\ 500142123450397609058765734251052660916476289120272238053950003368*\ c_0101_6^20 + 61781918556756525188809324704461144792657442897031534\ 84461324687358970660914094642298927682814136411913/7705993731533813\ 5416562603844100028424690079521811753146850210532183295257824054447\ 6107900006736*c_0101_6^19 - 189261385374827383878831756687326912127\ 8546312708676206634713856740489036053176082627367875971983985851/19\ 2649843288345338541406509610250071061725198804529382867125526330458\ 238144560136119026975001684*c_0101_6^18 - 2085295171159027916897272330563341796697348765572615797386355892967\ 6051951495452039681230579962013192395/77059937315338135416562603844\ 1000284246900795218117531468502105321832952578240544476107900006736\ *c_0101_6^17 - 1890400378226547351138227667521728570879288629651157\ 73823764712998605350838288020087536018759025449953/1085351229793494\ 8650220085048464792735871842186170669457302846553828633134904796401\ 071942253616*c_0101_6^16 + 5585317450727635993317470092806740173021\ 085264466605048936350164600885154701097477068873344263328799787/256\ 8664577177937847218753461470000947489669317393725104895007017739443\ 17526080181492035966668912*c_0101_6^15 + 2726293326299936204013546358124394594372019379845606164904453036667\ 860029320132314097570256833088446673/128433228858896892360937673073\ 500047374483465869686255244750350886972158763040090746017983334456*\ c_0101_6^14 - 62752246255802700162307893352422702282463928004766762\ 5990795932597071903934592165135054361463665282895/77059937315338135\ 4165626038441000284246900795218117531468502105321832952578240544476\ 107900006736*c_0101_6^13 + 2237846403643996438902075482224172847366\ 06999178028877815121045470276794889086204461343602198635794349/2568\ 6645771779378472187534614700009474896693173937251048950070177394431\ 7526080181492035966668912*c_0101_6^12 - 8570156940187298449893436296637057052953507235963915622025218575232\ 226616388872412976746689302068796391/770599373153381354165626038441\ 000284246900795218117531468502105321832952578240544476107900006736*\ c_0101_6^11 - 47904165029604219918005979364263619901446320113577715\ 0526428159584421627027642069125093332928019945379/96324921644172669\ 2707032548051250355308625994022646914335627631652291190722800680595\ 13487500842*c_0101_6^10 + 11254371157705217940845584771185316022778\ 78483611125046309313130523328125401825679665405590108425125335/1284\ 3322885889689236093767307350004737448346586968625524475035088697215\ 8763040090746017983334456*c_0101_6^9 - 2091668797238863721542770782924772462860059609158100394393996888333\ 21733513429331832155530503234444435/9632492164417266927070325480512\ 5035530862599402264691433562763165229119072280068059513487500842*c_\ 0101_6^8 - 11744959026154642048355300096856937362496180851579982556\ 1672008733989043164785214582593125969079497843/64216614429448446180\ 4688365367500236872417329348431276223751754434860793815200453730089\ 91667228*c_0101_6^7 + 500471729753221169929950620618625717035518789\ 691978134767580208974923883494816261983178375099682557255/256866457\ 7177937847218753461470000947489669317393725104895007017739443175260\ 80181492035966668912*c_0101_6^6 - 181270145163604755755998453846189\ 0666985102123293315036587049200975832766824312877535836556361651561\ 43/3852996865766906770828130192205001421234503976090587657342510526\ 60916476289120272238053950003368*c_0101_6^5 - 6866119541486704526442977870449222382776026591965708760353216603194\ 019480547953044293492640377345789/642166144294484461804688365367500\ 23687241732934843127622375175443486079381520045373008991667228*c_01\ 01_6^4 + 3735472129860348637349101661002318375249739271497395937561\ 6627926570934812658686502068355479979490623/38529968657669067708281\ 3019220500142123450397609058765734251052660916476289120272238053950\ 003368*c_0101_6^3 - 12757936884493063250885789390829580754921487007\ 774605413683826214339812482170471492533915487078545401/770599373153\ 3813541656260384410002842469007952181175314685021053218329525782405\ 44476107900006736*c_0101_6^2 - 839497452046182858194768558303432733\ 791436559023807413819760052588430157724944266833434239038787195/770\ 5993731533813541656260384410002842469007952181175314685021053218329\ 52578240544476107900006736*c_0101_6 + 1659486970399159747196214350828024138575389317084116756907685005681\ 00523406346371789430370531057757/2568664577177937847218753461470000\ 94748966931739372510489500701773944317526080181492035966668912, c_0011_0 - 1, c_0011_3 + 217767279460421889808279172394404258975541723151888205424211\ 2064315719582737233240302207945304/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^30 - 33212117690627493584452087369378745162587200431173059918\ 07449102292972931086379099501173115880/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^29 - 2015955486666540261716775199081031193904885430815801\ 2746115689250067177712157776686513004187066/16054153607362111545117\ 2091341875059218104332337107819055937938608715198453800113432522479\ 16807*c_0101_6^28 - 31986469090008583047430494541023248692519084933\ 257380676289004015122775942920130950040144776894/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807*c_0101_6^27 - 464976406862403744378196919070872863874800\ 438001338743104049376439576123057398056674451086081362/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^26 - 173337631665847422857492621645296886\ 6816283291913282792565770284001104450069335838245997901564011/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^25 - 5483541647822948255495187869335777357128909004717961894308929706636\ 513528823045015151977408695495/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^24 - 109934887015422126149832563366282848413384999726074078283048\ 19560887490856574436604633887907342602/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^23 - 7944351192044594520807088855201474153239734466147802\ 784023280857372180277182406804626615154411353/160541536073621115451\ 1720913418750592181043323371078190559379386087151984538001134325224\ 7916807*c_0101_6^22 + 150817888929543965980187002611840903721722720\ 35764518103591611877491405193255681151703145331248067/1605415360736\ 2111545117209134187505921810433233710781905593793860871519845380011\ 343252247916807*c_0101_6^21 + 7125166957448888320086865163940235456\ 9285597509715667504668059178584194724050102180216039097289554/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^20 + 9431013665411879176220127298879270850243775141807432929707428096719\ 0267800655406948604244343686990/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^19 + 34314835623978778267867995712294191091761953001934602084349\ 093536792055904051569072913069930984672/160541536073621115451172091\ 3418750592181043323371078190559379386087151984538001134325224791680\ 7*c_0101_6^18 - 851164110051829983197885013113854563155781540602935\ 00424739780783146142091298014158213060018828596/1605415360736211154\ 5117209134187505921810433233710781905593793860871519845380011343252\ 247916807*c_0101_6^17 - 2068475511891550739899936466541959437790172\ 543010803819627068750507130654006691027671992007012011/226114839540\ 3114302129184385096831819973300455452222803604759698714298569771832\ 58355665463617*c_0101_6^16 - 41382648489782869635921573906529451920\ 942949866575700228405995812832769886733100242797900217098353/160541\ 5360736211154511720913418750592181043323371078190559379386087151984\ 5380011343252247916807*c_0101_6^15 - 2248462116301807433189611860745075861000095936153403852926012782364\ 7652997999851317573826786862558/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^14 + 32777893221544450926050681766997037235657050648411980680547\ 36431388560931500971045417825770022827/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^13 + 1100833064040617896691177200370470201423127454532733\ 90894113289253571988563714483621653060761681842/1605415360736211154\ 5117209134187505921810433233710781905593793860871519845380011343252\ 247916807*c_0101_6^12 + 1274208687534309143966230269976683219744223\ 4369019692652391252821959709034987194588860314366875631/16054153607\ 3621115451172091341875059218104332337107819055937938608715198453800\ 11343252247916807*c_0101_6^11 - 20706421055137147674931504858731965\ 44713478680946038941700102656299438877504804478734470228275174/1605\ 4153607362111545117209134187505921810433233710781905593793860871519\ 845380011343252247916807*c_0101_6^10 + 2593762302467667878614198999265753453670660668452759775382494081370\ 6708294888221010662679983943793/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^9 - 429003849587277365349185892449042757314779238508304420658280\ 54962757282883866618026021532677505670/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^8 - 32225237577667594202810171251761915791955077963631434\ 59598329338330948388367409334144458639183625/1605415360736211154511\ 7209134187505921810433233710781905593793860871519845380011343252247\ 916807*c_0101_6^7 + 12812344309839075112355390550001320640692893309\ 419386865524809331519919397262215279700119851944208/160541536073621\ 1154511720913418750592181043323371078190559379386087151984538001134\ 3252247916807*c_0101_6^6 - 8248548680310002437020430842013717740469\ 674147050133765028108546501001931033882065136424625204436/160541536\ 0736211154511720913418750592181043323371078190559379386087151984538\ 0011343252247916807*c_0101_6^5 + 1582167049574669694417224955492831\ 144146147443829216525266315619045263353523528227484093898188280/160\ 5415360736211154511720913418750592181043323371078190559379386087151\ 9845380011343252247916807*c_0101_6^4 + 8006702038290125975870282570256847124353748940084480454385382822876\ 08284539154089287441850649436/1605415360736211154511720913418750592\ 1810433233710781905593793860871519845380011343252247916807*c_0101_6\ ^3 - 35578989595803804069519197707709957788449559045238968693666550\ 5149608058500533270404779279680049/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^2 + 403387088920342366736310909446016058221100370267012816110\ 15403370483003715768156634450390689780/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6 + 9966682542525196938904952768963554801898324906922253086\ 272144551438632410350836695584131983643/160541536073621115451172091\ 3418750592181043323371078190559379386087151984538001134325224791680\ 7, c_0011_5 - 184435691015183663716038681462953310721263130591128013764005\ 5266299322307107326981813233998939/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^30 + 30584258638783009667926585776337797153834655727358420291\ 35078002229931529492560418795656275523/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^29 + 1802361008346274351490757490602434078069149990838794\ 5354147514931100911295272594118524590692522/16054153607362111545117\ 2091341875059218104332337107819055937938608715198453800113432522479\ 16807*c_0101_6^28 + 23554841591154318064085269173386978827751773972\ 529958540097199733679919663936974572451853693529/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807*c_0101_6^27 + 375953290785371494637516938833597523033006\ 587983362715511080360253837484738730220882883078993103/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^26 + 138985495258307780735674771785613567\ 9288342903614066463586978000465626833202338673830245235480972/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^25 + 4163500898566476304821249138021239124024534998689737140053583478341\ 713693489648792411538245178742/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^24 + 749530728557435136987598765272750052947838669078038657308770\ 6484689372094257638616061746551277724/16054153607362111545117209134\ 187505921810433233710781905593793860871519845380011343252247916807*\ c_0101_6^23 + 17373353943064831629768313204810221629676681294091430\ 38553936368816807957822227727941860861778160/1605415360736211154511\ 7209134187505921810433233710781905593793860871519845380011343252247\ 916807*c_0101_6^22 - 2147796124261434855809993618845664488981523659\ 7214169163850033687173624646964234147842175041969423/16054153607362\ 1115451172091341875059218104332337107819055937938608715198453800113\ 43252247916807*c_0101_6^21 - 64736773634687152911559479205231568574\ 756916859732247213643595884934320377182289062572602374215959/160541\ 5360736211154511720913418750592181043323371078190559379386087151984\ 5380011343252247916807*c_0101_6^20 - 5988427448795047828786436585882862792650309115522000458599120267190\ 9674636505647219602244764158136/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^19 + 35604110112703156615531720757965051541176276168712929171225\ 409274758334602691024233330064342670097/160541536073621115451172091\ 3418750592181043323371078190559379386087151984538001134325224791680\ 7*c_0101_6^18 + 152650325749545493088501398697107280382486732052162\ 663112320428038234128126491297981895014139379091/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807*c_0101_6^17 + 187993107676455856760787936288544393798829\ 4469841066886106683187026928796373508705215449332985562/22611483954\ 0311430212918438509683181997330045545222280360475969871429856977183\ 258355665463617*c_0101_6^16 - 7901961727947245787665013271838126385\ 4954097107860616118526735707761712002951401402470683549420463/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^15 - 1368369328826651484492097920222304878037349192172775670833622184420\ 00281739150338534186989356620905/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^14 - 3179223180664456303637957098254473273366693869559611965819\ 6605812407353460543796992376581049211794/16054153607362111545117209\ 1341875059218104332337107819055937938608715198453800113432522479168\ 07*c_0101_6^13 - 95724392857980464377297662125812121550993238824616\ 61655948780400665300218588009151911499615443932/1605415360736211154\ 5117209134187505921810433233710781905593793860871519845380011343252\ 247916807*c_0101_6^12 + 5474793449787013124487044607262939674825801\ 1930250333307111704057299715323867940930611702529520844/16054153607\ 3621115451172091341875059218104332337107819055937938608715198453800\ 11343252247916807*c_0101_6^11 + 41799696620690847987965452795659225\ 424391572037379505963248115476562322619361944711803374852123968/160\ 5415360736211154511720913418750592181043323371078190559379386087151\ 9845380011343252247916807*c_0101_6^10 - 3520134934009129176999939794742936459467890674692264382457946186334\ 2946908744995847874433131358021/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^9 - 138575275437286301078204280927697263083810941346682535799377\ 003083392215045594949318411178068965/160541536073621115451172091341\ 87505921810433233710781905593793860871519845380011343252247916807*c\ _0101_6^8 + 1117007936243245908807591583571735895112632191221868138\ 4199197559565391762136840782394887571863321/16054153607362111545117\ 2091341875059218104332337107819055937938608715198453800113432522479\ 16807*c_0101_6^7 - 706493941399088997138367746375425932282449013500\ 6078602015357266974839107130212776499576492905627/16054153607362111\ 5451172091341875059218104332337107819055937938608715198453800113432\ 52247916807*c_0101_6^6 - 162595977855907711423957093618621734380751\ 369120600034255346136573118181446876423178804530977298/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^5 + 9521064877049489162583477438554035795\ 01616804089171769918226592821497697856681237112591691368680/1605415\ 3607362111545117209134187505921810433233710781905593793860871519845\ 380011343252247916807*c_0101_6^4 - 2836190484307676525037185711035931804768606691172982488958061287962\ 27786683498936413675192897718/1605415360736211154511720913418750592\ 1810433233710781905593793860871519845380011343252247916807*c_0101_6\ ^3 - 67232236872289469170326525557734296334550027332349538806412836\ 233883235878720721194226310212310/160541536073621115451172091341875\ 05921810433233710781905593793860871519845380011343252247916807*c_01\ 01_6^2 + 4267514388772884203066552043210404381166172797131135298305\ 3441456945855261016601631155539989553/16054153607362111545117209134\ 187505921810433233710781905593793860871519845380011343252247916807*\ c_0101_6 - 58827181821448815868939002867969963157348473113284053643\ 0396563160773386411529356998962740444/16054153607362111545117209134\ 187505921810433233710781905593793860871519845380011343252247916807, c_0101_0 - 283472065855241201093817286378011073578868264967890018935334\ 3628462367185982864807866792509762/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^30 + 18202183160479875399521274852908876247717769915247470638\ 34783281844472344164599962023805232813/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^29 + 3235925144519507044099932116862657362363173473922214\ 5154930466224215690119389810549042000856158/16054153607362111545117\ 2091341875059218104332337107819055937938608715198453800113432522479\ 16807*c_0101_6^28 + 64364661984389366836871069785004835912283662138\ 601578737132313562322031489747173754957942521491/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807*c_0101_6^27 + 615930781969521282950065803389368103206942\ 930200240200843975501993418935639337615396752176681292/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^26 + 272679106828471910590862024518353870\ 1311887824116128585283711474263351345949172063770530316577746/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^25 + 8598089523200704511034644140076228757646602996857011587671410222374\ 881074014040610288658030024141/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^24 + 181532465223058621955502177009495823130391986762562394107562\ 17596866003087693847122685532865750831/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^23 + 1481889070395664896831857845024879458960707889026525\ 7015657435207329537058229324094589261979954212/16054153607362111545\ 1172091341875059218104332337107819055937938608715198453800113432522\ 47916807*c_0101_6^22 - 29252218478876875151229053750501164884506417\ 170908413605174982695908153502932820745765563967771989/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^21 - 131714424969130916998569835279917078\ 316975223819546448508504578366608691356440694597036180039887740/160\ 5415360736211154511720913418750592181043323371078190559379386087151\ 9845380011343252247916807*c_0101_6^20 - 1933621452182779082540396336152783634480994761418374170243387572792\ 80264148409597969378123069366897/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^19 - 4421033598222547287825199806182760651236574783325189623938\ 0892696366966908084327515386613007093337/16054153607362111545117209\ 1341875059218104332337107819055937938608715198453800113432522479168\ 07*c_0101_6^18 + 27878994030719516274446106218234712307511983370540\ 9139087291920118579491674617147541173898014344119/16054153607362111\ 5451172091341875059218104332337107819055937938608715198453800113432\ 52247916807*c_0101_6^17 + 61061551022984942178689350695396960426920\ 89507552604793102011251295008040890459158198958720179973/2261148395\ 4031143021291843850968318199733004554522228036047596987142985697718\ 3258355665463617*c_0101_6^16 + 904130533186725617486379137826867034\ 58535570258189647821402110235820441897756897169797953206000810/1605\ 4153607362111545117209134187505921810433233710781905593793860871519\ 845380011343252247916807*c_0101_6^15 - 3147769211865431262581797472021299315341801850887772829479683757590\ 01569997281000046387205554210502/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^14 - 2453850989630558431405526602552784218254059067740983025402\ 00473551683756801692040568949063581999123/1605415360736211154511720\ 9134187505921810433233710781905593793860871519845380011343252247916\ 807*c_0101_6^13 - 6264353173525999205649510662050733777129312610652\ 8583403105314986459038966369119264134775715021968/16054153607362111\ 5451172091341875059218104332337107819055937938608715198453800113432\ 52247916807*c_0101_6^12 + 61750451824125613792518613867058589805831\ 416488987860023203251934043182979706766569925697292997456/160541536\ 0736211154511720913418750592181043323371078190559379386087151984538\ 0011343252247916807*c_0101_6^11 + 141345043847297955367865449968736\ 277795850322675277694461542736179254048708553401203423041909738350/\ 1605415360736211154511720913418750592181043323371078190559379386087\ 1519845380011343252247916807*c_0101_6^10 + 6823870590505943639224163673870898234563170555366532629396520981409\ 850000521850986737722891060889/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^9 - 5387917036913612322782729906871740246685409097880593020437029\ 3297956124792084989312203152510304319/16054153607362111545117209134\ 187505921810433233710781905593793860871519845380011343252247916807*\ c_0101_6^8 + 180528510267239315139323880114616699578988100039820833\ 41208801403620353092643597290700037309595392/1605415360736211154511\ 7209134187505921810433233710781905593793860871519845380011343252247\ 916807*c_0101_6^7 + 58454308368052767613235149332887832317942594041\ 37110008936825880023043592729646511265641873706785/1605415360736211\ 1545117209134187505921810433233710781905593793860871519845380011343\ 252247916807*c_0101_6^6 - 10974114849018973049544068617400240953093\ 287196223515218284905485978728670803241811235276303265290/160541536\ 0736211154511720913418750592181043323371078190559379386087151984538\ 0011343252247916807*c_0101_6^5 + 1759304776016706304956054259066136\ 713417438604863080137437893116157831056181335486457074195007486/160\ 5415360736211154511720913418750592181043323371078190559379386087151\ 9845380011343252247916807*c_0101_6^4 + 1029048197200676811700126610192571642087704977278120460869210793210\ 192589811957820190394130095046/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^3 - 4833904977144771657678359388370332330588433048997533923327336\ 05389730994883466040958209101204287/1605415360736211154511720913418\ 7505921810433233710781905593793860871519845380011343252247916807*c_\ 0101_6^2 + 30926174203305582064690725227609047296806676282752764649\ 887965928748957173089825559506138532019/160541536073621115451172091\ 3418750592181043323371078190559379386087151984538001134325224791680\ 7*c_0101_6 + 279855964026034864158732470393518242856587556447943588\ 23493426342234893690923079760671266457556/1605415360736211154511720\ 9134187505921810433233710781905593793860871519845380011343252247916\ 807, c_0101_1 - 213396076557586784112270888949659649561394619300685639347268\ 1942700888355068471160256428216256/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^30 - 47447098448683860536990908884536273217934028758962242784\ 09659296128694659456314516757368518768/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^29 + 3475230200568873862443591119874157720600468295812454\ 7284135171981832217484188116352718615581693/16054153607362111545117\ 2091341875059218104332337107819055937938608715198453800113432522479\ 16807*c_0101_6^28 + 10682281339872522492969119951788946330863624801\ 0330823110677752555805248499992374504239628308449/16054153607362111\ 5451172091341875059218104332337107819055937938608715198453800113432\ 52247916807*c_0101_6^27 + 54092448141424491623197110823106345550047\ 7812608394848490043696690910536325383914979345272931839/16054153607\ 3621115451172091341875059218104332337107819055937938608715198453800\ 11343252247916807*c_0101_6^26 + 33046993691576037330743426489722314\ 61106333926853658322959556634520263467886873803785837276127580/1605\ 4153607362111545117209134187505921810433233710781905593793860871519\ 845380011343252247916807*c_0101_6^25 + 1104265725325307592005166736276297896700792008032954437994835459281\ 5668516272739967448282114753921/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^24 + 27483318822182949523346854565173002128173398158837337938252\ 082656124853562037971666051527530419485/160541536073621115451172091\ 3418750592181043323371078190559379386087151984538001134325224791680\ 7*c_0101_6^23 + 361737135951764199579849635139259340378671105911644\ 87815308451159303412365040379000847776223652258/1605415360736211154\ 5117209134187505921810433233710781905593793860871519845380011343252\ 247916807*c_0101_6^22 - 1496126186596145856593679423793909496010347\ 4378930666627046309140921628370413262004711530234206694/16054153607\ 3621115451172091341875059218104332337107819055937938608715198453800\ 11343252247916807*c_0101_6^21 - 16616631572700907241387393089643400\ 1034802644658713100536880001544288003039048426349346261046871140/16\ 0541536073621115451172091341875059218104332337107819055937938608715\ 19845380011343252247916807*c_0101_6^20 - 3547208872172780348921218370972322203441138214805867562223160116223\ 43538640258848084435296113377223/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^19 - 2310655303668443530248458258290624144269308304506937697372\ 21059946261178466889527334452639034120237/1605415360736211154511720\ 9134187505921810433233710781905593793860871519845380011343252247916\ 807*c_0101_6^18 + 3041020774747018875505358480199969431513572020956\ 61341329372626783988627494485420071091296289465649/1605415360736211\ 1545117209134187505921810433233710781905593793860871519845380011343\ 252247916807*c_0101_6^17 + 1113794648160297443874304867419047226600\ 2694550211250323572613556216857089951191965237382277155490/22611483\ 9540311430212918438509683181997330045545222280360475969871429856977\ 183258355665463617*c_0101_6^16 + 4854861222984569696424293046411449\ 25253137865890411664740001214072218844221181243020001834945156502/1\ 6054153607362111545117209134187505921810433233710781905593793860871\ 519845380011343252247916807*c_0101_6^15 - 4642264853894229073347464696530190281277583003442362952236367113375\ 22421459088686311659159877585370/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^14 - 5622860363629171435660722416068138958969018110119161912341\ 67890634698906258065725057083317096185142/1605415360736211154511720\ 9134187505921810433233710781905593793860871519845380011343252247916\ 807*c_0101_6^13 - 1367687389155338593680389506623951255452604008166\ 63582383478329079570689440105934317196924338466140/1605415360736211\ 1545117209134187505921810433233710781905593793860871519845380011343\ 252247916807*c_0101_6^12 - 2072346800713988402210500031838278576152\ 080801035045484961085924087803214777871808638857825977611/160541536\ 0736211154511720913418750592181043323371078190559379386087151984538\ 0011343252247916807*c_0101_6^11 + 273905999248240372068400908240913\ 913195088275373455897017522502495608373905665550590885169302826068/\ 1605415360736211154511720913418750592181043323371078190559379386087\ 1519845380011343252247916807*c_0101_6^10 + 1144967179557936426205481897068495320153171903684436953423236057107\ 73695603094511525487171157600730/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^9 - 15212890429374353690565588975646526969115292745163330045352\ 8098061510745788476777141328827822173647/16054153607362111545117209\ 1341875059218104332337107819055937938608715198453800113432522479168\ 07*c_0101_6^8 + 228412860190514738261477656525483018755616086134212\ 19728526247118381456540100828357473322609132462/1605415360736211154\ 5117209134187505921810433233710781905593793860871519845380011343252\ 247916807*c_0101_6^7 + 32443468308806698886539918060224842605028723\ 224137923540416665729026557129143518674499189449143447/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^6 - 2859146094902898246816362043907726212\ 2843319495303423160198907927434297305908399633764149455716851/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^5 + 4076091163266386662315784544728297868505528503967319988621114493877\ 649817264969463040697466942915/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^4 + 2417837155917496789197227768643721630383252313380617468461597\ 543097669722868572803634018665423393/160541536073621115451172091341\ 87505921810433233710781905593793860871519845380011343252247916807*c\ _0101_6^3 - 1022815776286629981416355964683255922447981225019790423\ 811320738599041585697937445044108104771062/160541536073621115451172\ 0913418750592181043323371078190559379386087151984538001134325224791\ 6807*c_0101_6^2 + 6324426589413908166269561783922089260174994731543\ 2401178337391302316117911166714755805568672602/16054153607362111545\ 1172091341875059218104332337107819055937938608715198453800113432522\ 47916807*c_0101_6 + 23589474029566787988364345540398929442382119928\ 037552883460713798187887053522379735010070641662/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807, c_0101_2 + 380144995465278678263432224873781581110102622327413279862318\ 6114272322729714440694288684399632/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^30 - 61177109290896886312556762156608145703811420410730845585\ 13890759421440405983146210570548382266/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^29 - 3745440684720268361360309407794786936250740265862406\ 9051085865214049560491829031888449912986232/16054153607362111545117\ 2091341875059218104332337107819055937938608715198453800113432522479\ 16807*c_0101_6^28 - 50388539784417509990014631023784930994171303202\ 858625745015755960839173103223331503545426144421/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807*c_0101_6^27 - 777255014856737359454505964402444419328457\ 268737427852905390094584003131792810904233459629240282/160541536073\ 6211154511720913418750592181043323371078190559379386087151984538001\ 1343252247916807*c_0101_6^26 - 290251818406661184524777716000018957\ 7532119733318008573787557632381024164535267435897014760104427/16054\ 1536073621115451172091341875059218104332337107819055937938608715198\ 45380011343252247916807*c_0101_6^25 - 8722249742848079757450939479439924357909090319919697572349220445966\ 399098741232130203831363065417/160541536073621115451172091341875059\ 21810433233710781905593793860871519845380011343252247916807*c_0101_\ 6^24 - 158680898362823821603418945074664775933419324373475650404729\ 91820255220543145004022154573092521485/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6^23 - 4334954007047572660979818190069334474261902380104802\ 039560352078129919165779195474185362064166694/160541536073621115451\ 1720913418750592181043323371078190559379386087151984538001134325224\ 7916807*c_0101_6^22 + 441086147437707172589059761050928586475108596\ 78770882640594665590779076987847573829764287569032265/1605415360736\ 2111545117209134187505921810433233710781905593793860871519845380011\ 343252247916807*c_0101_6^21 + 1356355709608550625765529279807461396\ 50960064314915306173503083459319948351542496470643325387269271/1605\ 4153607362111545117209134187505921810433233710781905593793860871519\ 845380011343252247916807*c_0101_6^20 + 1299800660782712213405673318633227151220559387852212411066244179169\ 35079149264089754774120087089663/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^19 - 6739671222535036910343928299400592726249459828817621317305\ 3042895286935446192462504484594836241733/16054153607362111545117209\ 1341875059218104332337107819055937938608715198453800113432522479168\ 07*c_0101_6^18 - 31853431882567171641906713080323525080506298771263\ 3464857670425859650002993928242769483319444308498/16054153607362111\ 5451172091341875059218104332337107819055937938608715198453800113432\ 52247916807*c_0101_6^17 - 40950712980435509102467018429290912705412\ 19104511226713617487164431955663518990956775938322211445/2261148395\ 4031143021291843850968318199733004554522228036047596987142985697718\ 3258355665463617*c_0101_6^16 + 149552845418954284282891409360278760\ 712107018608273321421937914620056875229604130403240113210562163/160\ 5415360736211154511720913418750592181043323371078190559379386087151\ 9845380011343252247916807*c_0101_6^15 + 2907178103943799707544249645647815162896394688231426979532739883210\ 44962961783239819989196590270326/1605415360736211154511720913418750\ 5921810433233710781905593793860871519845380011343252247916807*c_010\ 1_6^14 + 7986599275122080622709561726229192145704577743557150550738\ 4531468192296535489079528700236106415747/16054153607362111545117209\ 1341875059218104332337107819055937938608715198453800113432522479168\ 07*c_0101_6^13 + 22269337272425351482821758157766576045334246905325\ 539775669828617866091886232113922630581926572659/160541536073621115\ 4511720913418750592181043323371078190559379386087151984538001134325\ 2247916807*c_0101_6^12 - 112194812355667356787309563419764668649538\ 691165621445426744594044322676390910438468167151795505298/160541536\ 0736211154511720913418750592181043323371078190559379386087151984538\ 0011343252247916807*c_0101_6^11 - 917267918785463312934902370088996\ 93820900043331279722685648919799806072133504582006204782839015456/1\ 6054153607362111545117209134187505921810433233710781905593793860871\ 519845380011343252247916807*c_0101_6^10 + 6818154344301032170235128037289606445940553912173682730772944374560\ 1659503671253254055812094730892/16054153607362111545117209134187505\ 921810433233710781905593793860871519845380011343252247916807*c_0101\ _6^9 + 427821697370959840445622641700452578294656395507734748557254\ 9527712553297915743398765631510011376/16054153607362111545117209134\ 187505921810433233710781905593793860871519845380011343252247916807*\ c_0101_6^8 - 230409108452398711099595492063531825312056489839268622\ 94471375799836775756835872576499431449678159/1605415360736211154511\ 7209134187505921810433233710781905593793860871519845380011343252247\ 916807*c_0101_6^7 + 13283480686026911542549946104902401241495165954\ 496426507098932072291284135571389114154135983852159/160541536073621\ 1154511720913418750592181043323371078190559379386087151984538001134\ 3252247916807*c_0101_6^6 + 1141813325079934610475828340389946883471\ 228528005280800868990630420774954644590543810848695758418/160541536\ 0736211154511720913418750592181043323371078190559379386087151984538\ 0011343252247916807*c_0101_6^5 - 1952023853025563529583162780987424\ 456694603184758459928015807211040097146426522221832056845677799/160\ 5415360736211154511720913418750592181043323371078190559379386087151\ 9845380011343252247916807*c_0101_6^4 + 4696736187695142025405806058079637323437212421017333796775928081687\ 52429965365317872315000558803/1605415360736211154511720913418750592\ 1810433233710781905593793860871519845380011343252247916807*c_0101_6\ ^3 + 16820441208298281412791305491580829454169578258848080672544380\ 3124402410875306512033547693209136/16054153607362111545117209134187\ 505921810433233710781905593793860871519845380011343252247916807*c_0\ 101_6^2 - 353169961463977821998839013162576368974071371696761941223\ 29797141823144510286347324484782363804/1605415360736211154511720913\ 4187505921810433233710781905593793860871519845380011343252247916807\ *c_0101_6 + 5119076152392360573431794174854762533394670294351104936\ 819535475218023275519833794805633044613/160541536073621115451172091\ 3418750592181043323371078190559379386087151984538001134325224791680\ 7, c_0101_6^31 - 13/7*c_0101_6^30 - 66/7*c_0101_6^29 - 76/7*c_0101_6^28 - 1410/7*c_0101_6^27 - 4992/7*c_0101_6^26 - 14772/7*c_0101_6^25 - 25369/7*c_0101_6^24 - 1119/7*c_0101_6^23 + 82546/7*c_0101_6^22 + 229618/7*c_0101_6^21 + 179671/7*c_0101_6^20 - 177421/7*c_0101_6^19 - 551119/7*c_0101_6^18 - 395364/7*c_0101_6^17 + 56128*c_0101_6^16 + 456877/7*c_0101_6^15 + 26395/7*c_0101_6^14 + 18878/7*c_0101_6^13 - 217846/7*c_0101_6^12 - 16991*c_0101_6^11 + 162098/7*c_0101_6^10 - 3902*c_0101_6^9 - 38924/7*c_0101_6^8 + 34889/7*c_0101_6^7 - 5947/7*c_0101_6^6 - 2750/7*c_0101_6^5 + 1674/7*c_0101_6^4 - 167/7*c_0101_6^3 - 6*c_0101_6^2 + 10/7*c_0101_6 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB