Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 3280101158] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0617 geometric_solution 4.61965834 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.719167393076 0.133702309350 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.744011803919 0.671683417277 3 1 1 3 0132 3201 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 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025541255292 0.335427142180 2 4 5 2 0132 0132 0132 1023 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620774620720 0.249184085158 5 3 5 6 2103 0132 3201 0132 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 0 0 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479304250679 1.133315650416 4 6 4 3 2310 1023 2103 0132 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 -1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479304250679 1.133315650416 5 6 4 6 1023 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.316552777859 0.748489538371 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 4614254046256358898827774969995660010298611064508191977489334667109\ 5090612634509477649484868163/17249709342627810022762776596720088275\ 0028817008432311472508999532652885101571864941423976400*c_0110_6^28 + 34497548505084060436609011268564251395910591722362258138101007308\ 8707677048033759328237553406953/25874564013941715034144164895080132\ 4125043225512648467208763499298979327652357797412135964600*c_0110_6\ ^27 - 9437473766980824542392719001043426426902951152199696943813002\ 4006000287766547025857199847379527/86248546713139050113813882983600\ 441375014408504216155736254499766326442550785932470711988200*c_0110\ _6^26 - 58597437263827380935312565395127561090966183013070346204645\ 90707133211715265440689935609590638147/1724970934262781002276277659\ 67200882750028817008432311472508999532652885101571864941423976400*c\ _0110_6^25 - 919071093402330315082936023434002229480536862090675590\ 88325361548502233048039390066098392101553183/5174912802788343006828\ 8329790160264825008645102529693441752699859795865530471559482427192\ 9200*c_0110_6^24 - 962957815629002341786123399648305265514212285894\ 6901492588223004183136076872096714812031523790237/32343205017427143\ 7926802061188501655156304031890810584010954374123724159565447246765\ 16995575*c_0110_6^23 - 48502587869133309082743674377642908512214745\ 3174073681699104798798630796508493065999056065799298089/51749128027\ 8834300682883297901602648250086451025296934417526998597958655304715\ 594824271929200*c_0110_6^22 - 4474629143792979773180825059138790864\ 878843034160167430369423781700100840911393306353647574098477349/517\ 4912802788343006828832979016026482500864510252969344175269985979586\ 55304715594824271929200*c_0110_6^21 - 1799978165136788960073934009928652240693488692792665114624479469743\ 910340268506451556859168066778147/646864100348542875853604122377003\ 31031260806378162116802190874824744831913089449353033991150*c_0110_\ 6^20 - 170173551368595392679592438191628572257636867808501807670160\ 7213827337982931389658422590478830305457/43124273356569525056906941\ 491800220687507204252108077868127249883163221275392966235355994100*\ c_0110_6^19 + 81388827310699014654597433632211352473771593433428621\ 20358775557610759442924996454389550387182183809/1724970934262781002\ 2762776596720088275002881700843231147250899953265288510157186494142\ 3976400*c_0110_6^18 + 264700817193472955600034011733683052916997437\ 80286542080678689514304379182674390303145587457114937647/8624854671\ 3139050113813882983600441375014408504216155736254499766326442550785\ 932470711988200*c_0110_6^17 + 3772093235387730857285706389053317087\ 2511586398066840778456596120116290511130047272182658625947305131/12\ 9372820069708575170720824475400662062521612756324233604381749649489\ 663826178898706067982300*c_0110_6^16 + 6533549720258602451058594263574809293724150843006153633104710245547\ 007387064582207674984093321057724/323432050174271437926802061188501\ 65515630403189081058401095437412372415956544724676516995575*c_0110_\ 6^15 - 327744608464018610958390337187031740757036816371831092632489\ 42696014953502422940498320594013628651063/1724970934262781002276277\ 6596720088275002881700843231147250899953265288510157186494142397640\ 0*c_0110_6^14 - 718138047231350523791124872407977510094435302402247\ 62543983623881413048738403914841300782630963441843/6468641003485428\ 7585360412237700331031260806378162116802190874824744831913089449353\ 033991150*c_0110_6^13 - 2216677204300760474883118027031241295456957\ 2645923108473381254225655610906834670279676041983884047571/86248546\ 7131390501138138829836004413750144085042161557362544997663264425507\ 85932470711988200*c_0110_6^12 + 92889326291237702009491319007708781\ 905458301042416806137970351254562490653206932688943428329579921803/\ 1034982560557668601365766595803205296500172902050593868835053997195\ 91731060943118964854385840*c_0110_6^11 + 1251719296883963005308939157827285960202337155605281046097929167455\ 26287890714476142139439995663872897/5174912802788343006828832979016\ 02648250086451025296934417526998597958655304715594824271929200*c_01\ 10_6^10 - 444424065439628900392931805773606884354033105654265052752\ 11144292210586067200051113701668829146246023/1724970934262781002276\ 2776596720088275002881700843231147250899953265288510157186494142397\ 6400*c_0110_6^9 - 1990430077919782460400710053828679812778814536166\ 787728221640356464862215338136304045149618775398003/323432050174271\ 4379268020611885016551563040318908105840109543741237241595654472467\ 6516995575*c_0110_6^8 + 1073659846755996900323191074633583602597466\ 479050056951777698417273203931906510363175861835818161053/646864100\ 3485428758536041223770033103126080637816211680219087482474483191308\ 9449353033991150*c_0110_6^7 + 1826442568720074385393697823299211209\ 7299276483657533261941458601684176955418078940753904379316671/51749\ 1280278834300682883297901602648250086451025296934417526998597958655\ 30471559482427192920*c_0110_6^6 + 261981572282225087360691601530092\ 932270914720628507385249390173574539169389388567370440050623415243/\ 6468641003485428758536041223770033103126080637816211680219087482474\ 4831913089449353033991150*c_0110_6^5 + 4502206397126821112155332001330586860389025943931884496382678191786\ 29459529196886668504219582072049/2587456401394171503414416489508013\ 24125043225512648467208763499298979327652357797412135964600*c_0110_\ 6^4 - 7976198229826885675054897111326636262352631030060588801767513\ 9385754634508831295147438473915733561/12937282006970857517072082447\ 5400662062521612756324233604381749649489663826178898706067982300*c_\ 0110_6^3 - 96453061324558547957237676061776427147946189036510208332\ 474441535202001045237981718354543250243213/517491280278834300682883\ 2979016026482500864510252969344175269985979586553047155948242719292\ 00*c_0110_6^2 + 121550783971336058340529850037921326986254797547208\ 96945742507003103498075200492755214904757150091/5174912802788343006\ 8288329790160264825008645102529693441752699859795865530471559482427\ 1929200*c_0110_6 + 261071968956959028251120429851532437502893950611\ 5851921174841191488268072018937759541714459496539/51749128027883430\ 0682883297901602648250086451025296934417526998597958655304715594824\ 271929200, c_0011_0 - 1, c_0011_2 - 273303242881934757817043431997918895603397659784737264058953\ 22082413515830890650371066036/1078106833914238126422673537295005517\ 1876801063027019467031812470790805318848241558838998525*c_0110_6^28 - 11728102653795504495973998813470088368727059301888662203869396075\ 74251221143924072792725262/3234320501742714379268020611885016551563\ 0403189081058401095437412372415956544724676516995575*c_0110_6^27 - 1144300545027929109119662994390306386678617218938960920164010244742\ 065315230685095640803142/107810683391423812642267353729500551718768\ 01063027019467031812470790805318848241558838998525*c_0110_6^26 + 4543234787855262920503630466460608726895854262975746490687754645058\ 974475914260504023206994/107810683391423812642267353729500551718768\ 01063027019467031812470790805318848241558838998525*c_0110_6^25 + 1507561644653198603413897843987465558603641245827776680122483483536\ 85036084311476695185257291/3234320501742714379268020611885016551563\ 0403189081058401095437412372415956544724676516995575*c_0110_6^24 + 5938513362692570600610540305395752233927561629583705815374082698796\ 06653801694565440929369494/3234320501742714379268020611885016551563\ 0403189081058401095437412372415956544724676516995575*c_0110_6^23 + 1124829206557526793911051760541422213763011539835828207628944338386\ 660372090308876088228895203/323432050174271437926802061188501655156\ 30403189081058401095437412372415956544724676516995575*c_0110_6^22 + 5356963690097585847363994343780021688213991323780500564042230837377\ 649205357188687254783528863/323432050174271437926802061188501655156\ 30403189081058401095437412372415956544724676516995575*c_0110_6^21 + 3322011429346106078709319986878124473075358146912315021432999912110\ 1300524839803392440178069217/32343205017427143792680206118850165515\ 630403189081058401095437412372415956544724676516995575*c_0110_6^20 + 3023042151217180258664259232453333707735584907202056545713635306379\ 8096091082227184379087922591/10781068339142381264226735372950055171\ 876801063027019467031812470790805318848241558838998525*c_0110_6^19 + 3255793493589662544156420791812246960356337423127418998136555679621\ 1863368989712779695400317862/10781068339142381264226735372950055171\ 876801063027019467031812470790805318848241558838998525*c_0110_6^18 - 7432951451866633213791374924295555766999309424304188841984479889561\ 8774665913378071050643606358/10781068339142381264226735372950055171\ 876801063027019467031812470790805318848241558838998525*c_0110_6^17 - 9409731777362506270231012461007298461369155642103945191156729069658\ 77008231147061188065538901448/3234320501742714379268020611885016551\ 5630403189081058401095437412372415956544724676516995575*c_0110_6^16 - 86373529135766065649273360460901567902063829362541372302864495445\ 9205340797027152199420197394008/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 15 - 19938419947038325149323500711004916113281668298120138665411892\ 2605882970688245231777677638487179/10781068339142381264226735372950\ 055171876801063027019467031812470790805318848241558838998525*c_0110\ _6^14 + 78009522735973299720928706238431188577914430212170625180557\ 2104291605256861122863273606900380118/32343205017427143792680206118\ 850165515630403189081058401095437412372415956544724676516995575*c_0\ 110_6^13 + 10339303386235493199740644239550053045677468763561044201\ 01217350164606464974313391303197496788884/1078106833914238126422673\ 5372950055171876801063027019467031812470790805318848241558838998525\ *c_0110_6^12 + 6581375675210059089793569468943735209023483358363477\ 5481727195345701866553785022663199666572217/64686410034854287585360\ 4122377003310312608063781621168021908748247448319130894493530339911\ 5*c_0110_6^11 - 224613900412575098209300217079069540634039359469088\ 6743518454828994618790814384047069826788474149/32343205017427143792\ 6802061188501655156304031890810584010954374123724159565447246765169\ 95575*c_0110_6^10 - 10923565484920070914731657037789774812030407416\ 7579386189335442526258068640322555493211548135744/10781068339142381\ 2642267353729500551718768010630270194670318124707908053188482415588\ 38998525*c_0110_6^9 + 521863613109418783645779316956444324988851709\ 172410472987823482077924771499949824775517252728986/323432050174271\ 4379268020611885016551563040318908105840109543741237241595654472467\ 6516995575*c_0110_6^8 + 4631846051249774321711296017166050347220665\ 0689038158834297112673801581817159889540327321313127/32343205017427\ 1437926802061188501655156304031890810584010954374123724159565447246\ 76516995575*c_0110_6^7 - 986140856560657558937890300361571884746753\ 430875765414728318627856304895611292890806063761031/646864100348542\ 8758536041223770033103126080637816211680219087482474483191308944935\ 303399115*c_0110_6^6 + 90771847280569082474524160309921455998440939\ 83472777684197777121544155170573772070389215006442/3234320501742714\ 3792680206118850165515630403189081058401095437412372415956544724676\ 516995575*c_0110_6^5 - 11669969896440583068557882569695603465896066\ 678975087511712762272214142645753958726638962762346/323432050174271\ 4379268020611885016551563040318908105840109543741237241595654472467\ 6516995575*c_0110_6^4 - 1892105502769290348190186104869863726510324\ 628162151945855669056488046253014412666498469963477/323432050174271\ 4379268020611885016551563040318908105840109543741237241595654472467\ 6516995575*c_0110_6^3 + 1033265474018081849038127854153246498989378\ 235147474946961846667737335138709108520698336920111/323432050174271\ 4379268020611885016551563040318908105840109543741237241595654472467\ 6516995575*c_0110_6^2 + 1255829731349395182878569537864833547940733\ 93359282200061857328070416830959636051040858392983/3234320501742714\ 3792680206118850165515630403189081058401095437412372415956544724676\ 516995575*c_0110_6 - 7112708292964592733408235504718501923825090997\ 472202172653835350607068623177705919245727138/323432050174271437926\ 8020611885016551563040318908105840109543741237241595654472467651699\ 5575, c_0011_5 + 879019128686983634810653723146549345164807453656911923635611\ 2183591576878378354365886867459/10781068339142381264226735372950055\ 171876801063027019467031812470790805318848241558838998525*c_0110_6^\ 28 + 12306907898635851091620382710270836994957184665681534926246819\ 5821837771551944153189921695083/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 27 - 48490725486367352987982587903943154614096665809958033509725463\ 625088303500527938652137682872/107810683391423812642267353729500551\ 71876801063027019467031812470790805318848241558838998525*c_0110_6^2\ 6 - 109862852395945367376959903132146028017679726346483240210159189\ 3327157619398136544797966823171/10781068339142381264226735372950055\ 171876801063027019467031812470790805318848241558838998525*c_0110_6^\ 25 - 16470281473360603717567209706358795714178943411929044699151358\ 862867055271586320055115775822844/323432050174271437926802061188501\ 65515630403189081058401095437412372415956544724676516995575*c_0110_\ 6^24 - 243062147998313526680179085535501905437055462667888316452690\ 77028137368725801074703263893232231/3234320501742714379268020611885\ 0165515630403189081058401095437412372415956544724676516995575*c_011\ 0_6^23 - 8559736987490231999268501991684230950821991428504862492176\ 0024518553449581473456543586854032802/32343205017427143792680206118\ 850165515630403189081058401095437412372415956544724676516995575*c_0\ 110_6^22 - 82663865299237570104698013082405150707039256387017566244\ 5325908109603366445066856718674305340582/32343205017427143792680206\ 118850165515630403189081058401095437412372415956544724676516995575*\ c_0110_6^21 - 24856766312547609560121963049571862361734437551018300\ 05327913103390069320752053307163290356582993/3234320501742714379268\ 0206118850165515630403189081058401095437412372415956544724676516995\ 575*c_0110_6^20 - 1049039772106481525085722694525969162808953317914\ 309222077839705632509116425573910976857269343379/107810683391423812\ 6422673537295005517187680106302701946703181247079080531884824155883\ 8998525*c_0110_6^19 + 183715069410190807103831063315300345080655443\ 1919837807247307778147211825801032404218680860660087/10781068339142\ 3812642267353729500551718768010630270194670318124707908053188482415\ 58838998525*c_0110_6^18 + 94422731700222582568898258349351137079329\ 03025122694365426559161392704148695390190049983858471817/1078106833\ 9142381264226735372950055171876801063027019467031812470790805318848\ 241558838998525*c_0110_6^17 + 2004620006269698912377219681771100199\ 0725539444884659286984032572866295022264656448390246782515807/32343\ 2050174271437926802061188501655156304031890810584010954374123724159\ 56544724676516995575*c_0110_6^16 + 1511411319829680068213010618763451683397514522111491850745601305266\ 0753727449675237844341252136312/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 15 - 74516229332359717572548257962857767048176585939258217414639535\ 23053148720972202694445669290197734/1078106833914238126422673537295\ 0055171876801063027019467031812470790805318848241558838998525*c_011\ 0_6^14 - 1014277327019628466976887871320226406813456796547117253873\ 90160772496243863018688652913021000136692/3234320501742714379268020\ 6118850165515630403189081058401095437412372415956544724676516995575\ *c_0110_6^13 + 1901985148151754454196054882251644659042177260220866\ 006179736008667686342897928679672072625979744/107810683391423812642\ 2673537295005517187680106302701946703181247079080531884824155883899\ 8525*c_0110_6^12 + 162194928371030292624402607624122694909063997083\ 47774360293413833018975762658104414982618013620604/6468641003485428\ 7585360412237700331031260806378162116802190874824744831913089449353\ 03399115*c_0110_6^11 - 18199334327153785342492392635270405171694693\ 08752917318173080976164488701221512143408107004203054/3234320501742\ 7143792680206118850165515630403189081058401095437412372415956544724\ 676516995575*c_0110_6^10 - 6841453901841930647374617480587755744978\ 342676141443656336120619472447077274922809849441533581314/107810683\ 3914238126422673537295005517187680106302701946703181247079080531884\ 8241558838998525*c_0110_6^9 + 4746225322454679550870964034320484594\ 66237561512154567797828151980869884315324983188519214250061/3234320\ 5017427143792680206118850165515630403189081058401095437412372415956\ 544724676516995575*c_0110_6^8 + 45623781294917369414731843072214067\ 6432259770760641487320556697320427306100876383524576360959332/32343\ 2050174271437926802061188501655156304031890810584010954374123724159\ 56544724676516995575*c_0110_6^7 - 198298356991686123817198928266701\ 61831388473777484710980377161521369880011337219096084503693599/6468\ 6410034854287585360412237700331031260806378162116802190874824744831\ 91308944935303399115*c_0110_6^6 + 438003346495770225373548348528327\ 445929453567970909799920639020683662496753755450335930326786017/323\ 4320501742714379268020611885016551563040318908105840109543741237241\ 5956544724676516995575*c_0110_6^5 + 2398990573420290391771597899561140903051873964183905823290232417100\ 2299969751121490590337578139/32343205017427143792680206118850165515\ 630403189081058401095437412372415956544724676516995575*c_0110_6^4 - 4503011089969868199770830715807471667235032949939699520849698773381\ 6892697689766423759092634867/32343205017427143792680206118850165515\ 630403189081058401095437412372415956544724676516995575*c_0110_6^3 - 2258807559060379475491494162516460479619865583006411089903004428512\ 198338060768111464948226809/323432050174271437926802061188501655156\ 30403189081058401095437412372415956544724676516995575*c_0110_6^2 + 1089553799607070931947253341647290877829571783821414206133998003998\ 681868805638541118591415163/323432050174271437926802061188501655156\ 30403189081058401095437412372415956544724676516995575*c_0110_6 + 8435303293421197099413256761954623773950806403254849785234536185321\ 0906007672749822252335402/32343205017427143792680206118850165515630\ 403189081058401095437412372415956544724676516995575, c_0101_0 - 172890150201851526256503296315830792447906508094232073229108\ 17324240294049988768451929016522/3234320501742714379268020611885016\ 5515630403189081058401095437412372415956544724676516995575*c_0110_6\ ^28 - 8543966486415519008863168199379016174582597001522361841488551\ 5592815404442119811891649313638/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 27 + 24453082634442815256241429959065782025474863302675351698018110\ 820906940571954514059172846917/107810683391423812642267353729500551\ 71876801063027019467031812470790805318848241558838998525*c_0110_6^2\ 6 + 218764262326741489718357598307653908860202613560562753449654433\ 5196228978165850247999155343018/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 25 + 11390411959807232067335712057251916633005456365870132835713690\ 321845223496515209437664012110659/323432050174271437926802061188501\ 65515630403189081058401095437412372415956544724676516995575*c_0110_\ 6^24 + 629483041097680308370250895651901101473053029227726257869488\ 3554355754838502536698790332319697/10781068339142381264226735372950\ 055171876801063027019467031812470790805318848241558838998525*c_0110\ _6^23 + 20140290486561074170908168140750349041516263504489124624027\ 006428150069445930237470038058895049/107810683391423812642267353729\ 50055171876801063027019467031812470790805318848241558838998525*c_01\ 10_6^22 + 557361476702643542893122567872392144939887211923084853784\ 810415920079106695402851069504443500427/323432050174271437926802061\ 18850165515630403189081058401095437412372415956544724676516995575*c\ _0110_6^21 + 177829883002543567264944978700584749161607704412392203\ 0696625180314917612428999351218040148773148/32343205017427143792680\ 2061188501655156304031890810584010954374123724159565447246765169955\ 75*c_0110_6^20 + 83558227848230595322116628396146404719505669474863\ 2214467748333496932753280387997194577101801044/10781068339142381264\ 2267353729500551718768010630270194670318124707908053188482415588389\ 98525*c_0110_6^19 - 10185111752020958619428394539433810303854730125\ 48213001293863831510860190481771668523821795538182/1078106833914238\ 1264226735372950055171876801063027019467031812470790805318848241558\ 838998525*c_0110_6^18 - 1956580277848695546831111546570179487681799\ 4674091747073414202584661509136753784729945639579925661/32343205017\ 4271437926802061188501655156304031890810584010954374123724159565447\ 24676516995575*c_0110_6^17 - 18188844307703905129576191961177074055\ 280587836908340969968114074761041508846508892029745392961027/323432\ 0501742714379268020611885016551563040318908105840109543741237241595\ 6544724676516995575*c_0110_6^16 - 133841184335279738382557299763243\ 28138175461600803945294514448908435325505938174605069337042060657/3\ 2343205017427143792680206118850165515630403189081058401095437412372\ 415956544724676516995575*c_0110_6^15 + 1184038730234426989719861913539884476119017600545660245885461591464\ 7117460063758780968923148003322/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 14 + 70470847960357924953612129260972199285366999169783888735561104\ 490451085767328288833115113649614462/323432050174271437926802061188\ 50165515630403189081058401095437412372415956544724676516995575*c_01\ 10_6^13 + 142665070592929442561506356215363951003291909833923268169\ 88598555978309298022090980266574814582023/3234320501742714379268020\ 6118850165515630403189081058401095437412372415956544724676516995575\ *c_0110_6^12 - 3644787469863560652692750168638739740634530102826466\ 677007824061885810245080478402104962095576918/215621366782847625284\ 5347074590011034375360212605403893406362494158161063769648311767799\ 705*c_0110_6^11 - 1260290561335150586233651903378080692668577144916\ 4386440995678875408641222262206050444958358135506/32343205017427143\ 7926802061188501655156304031890810584010954374123724159565447246765\ 16995575*c_0110_6^10 + 14247404277214688847048156579531463887472469\ 236247139915795674077004464508577330958271448430312262/323432050174\ 2714379268020611885016551563040318908105840109543741237241595654472\ 4676516995575*c_0110_6^9 + 9375799153018120065957184237133973329573\ 93348484023457390335924399445001108963114939758070420343/1078106833\ 9142381264226735372950055171876801063027019467031812470790805318848\ 241558838998525*c_0110_6^8 - 50547339281474638292012824231174633423\ 6518881599262149305693081950243052658487620548729949172152/32343205\ 0174271437926802061188501655156304031890810584010954374123724159565\ 44724676516995575*c_0110_6^7 + 618575869133707492177477353761438308\ 9148298126086971805039558771390715554663523117745685198798/21562136\ 6782847625284534707459001103437536021260540389340636249415816106376\ 9648311767799705*c_0110_6^6 - 8781557772261843259952364450272821738\ 0952017690771893635481870464906399192981688482661049552554/10781068\ 3391423812642267353729500551718768010630270194670318124707908053188\ 48241558838998525*c_0110_6^5 - 303205657852854158850903695685769402\ 36149942637778801136607052566118902749378664472216719655093/1078106\ 8339142381264226735372950055171876801063027019467031812470790805318\ 848241558838998525*c_0110_6^4 + 28561508688257629865148973907141094\ 818299422069748540419198323289207362028151539464278828459612/323432\ 0501742714379268020611885016551563040318908105840109543741237241595\ 6544724676516995575*c_0110_6^3 + 7248833160959290363747166975334228\ 144687694503632668206094484227081560135854444464502285998399/323432\ 0501742714379268020611885016551563040318908105840109543741237241595\ 6544724676516995575*c_0110_6^2 - 8265972983942850769216572492954780\ 86694843738819673039736863090176017383283899008732434075318/3234320\ 5017427143792680206118850165515630403189081058401095437412372415956\ 544724676516995575*c_0110_6 - 1113493007165149350348766990463606219\ 45102464658864589387439910269178065914307686592658886322/3234320501\ 7427143792680206118850165515630403189081058401095437412372415956544\ 724676516995575, c_0101_1 + 232497812776033614716964850137442734292243345832927786715298\ 3493097329033742393164255425531/10781068339142381264226735372950055\ 171876801063027019467031812470790805318848241558838998525*c_0110_6^\ 28 + 25844143761217758071851637460754528059127912549036500895421720\ 585703554999673934404142409402/323432050174271437926802061188501655\ 15630403189081058401095437412372415956544724676516995575*c_0110_6^2\ 7 - 230970544841223463905181082237812713373838279104792776167787193\ 14079839579770212859133054993/1078106833914238126422673537295005517\ 1876801063027019467031812470790805318848241558838998525*c_0110_6^26 - 27751788669556791265646528423839411157035736140733278204602230343\ 2224124261122399340223116174/10781068339142381264226735372950055171\ 876801063027019467031812470790805318848241558838998525*c_0110_6^25 - 3521141496447249068247549834515553494077636478872163217668478499964\ 934155657237630674211111786/323432050174271437926802061188501655156\ 30403189081058401095437412372415956544724676516995575*c_0110_6^24 - 2300457358258004353808260432973824223023201042545088020704214786931\ 874498553498963399529847699/323432050174271437926802061188501655156\ 30403189081058401095437412372415956544724676516995575*c_0110_6^23 - 1675255021106789268991533157986231227506799299628819381375239473348\ 5084704723014368032373321713/32343205017427143792680206118850165515\ 630403189081058401095437412372415956544724676516995575*c_0110_6^22 - 1972677571898082809829879945205852722929078494460577105271627338430\ 58446359197440461074750050748/3234320501742714379268020611885016551\ 5630403189081058401095437412372415956544724676516995575*c_0110_6^21 - 44869218046928623483767662687857291314591570932847139222745282434\ 9993721380547724435460956066257/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 20 - 71732555838313319777084542829983291534178542451120047963013037\ 515297972092164863990087748489261/107810683391423812642267353729500\ 55171876801063027019467031812470790805318848241558838998525*c_0110_\ 6^19 + 738273142899460590991746689641851514833961581084348921898492\ 234860804329960773480143098203857673/107810683391423812642267353729\ 50055171876801063027019467031812470790805318848241558838998525*c_01\ 10_6^18 + 201362210429180095688327133831398452345689686434784515962\ 6847115666419191684776831966937085171718/10781068339142381264226735\ 372950055171876801063027019467031812470790805318848241558838998525*\ c_0110_6^17 - 17884854337832032654315232573883501270870178497222747\ 03846306061656460129911972372875990540491442/3234320501742714379268\ 0206118850165515630403189081058401095437412372415956544724676516995\ 575*c_0110_6^16 - 5911298986010996934215484751289187266918418845287\ 19523841962939949430432062978202418675426586532/3234320501742714379\ 2680206118850165515630403189081058401095437412372415956544724676516\ 995575*c_0110_6^15 - 3160387531808591256195431716618028920570600998\ 999615110947871346917299213030917779643618101747341/107810683391423\ 8126422673537295005517187680106302701946703181247079080531884824155\ 8838998525*c_0110_6^14 - 209561595302813450732226667073231469534494\ 49709848464912385206493607806978998915116668212090423978/3234320501\ 7427143792680206118850165515630403189081058401095437412372415956544\ 724676516995575*c_0110_6^13 + 8947500998873764446376066156291987535\ 380211385460098548393751890180384279868334971725203384325086/107810\ 6833914238126422673537295005517187680106302701946703181247079080531\ 8848241558838998525*c_0110_6^12 + 363563604380238384610093972593395\ 0120181144900388889575796089868812577959889399332457522525884718/64\ 6864100348542875853604122377003310312608063781621168021908748247448\ 3191308944935303399115*c_0110_6^11 - 2065181474964545021679903062425578239236606489058388534311131421328\ 1175904679690233590792740116646/32343205017427143792680206118850165\ 515630403189081058401095437412372415956544724676516995575*c_0110_6^\ 10 - 11206230062890917254046437948518193451596746565510465458172227\ 89617004148767052667508829721082001/1078106833914238126422673537295\ 0055171876801063027019467031812470790805318848241558838998525*c_011\ 0_6^9 + 49839446202244345365132438068659713348731473102671117840825\ 05661864449417178888022522019243310394/3234320501742714379268020611\ 8850165515630403189081058401095437412372415956544724676516995575*c_\ 0110_6^8 - 45229073460004484955847695332122669377089502526486513526\ 4963501221051622599423294672644131470167/32343205017427143792680206\ 118850165515630403189081058401095437412372415956544724676516995575*\ c_0110_6^7 - 544435414140816611954159123048688223217881488147782930\ 0111364017624356850117142300177671438309/64686410034854287585360412\ 23770033103126080637816211680219087482474483191308944935303399115*c\ _0110_6^6 + 1528878614286212710921684670069979085115355323329570540\ 11694184898474766798423059416528200685143/3234320501742714379268020\ 6118850165515630403189081058401095437412372415956544724676516995575\ *c_0110_6^5 - 11068155156142079276346718613094030460397558053248669\ 1951976508272739701995938520965359665425409/32343205017427143792680\ 2061188501655156304031890810584010954374123724159565447246765169955\ 75*c_0110_6^4 - 726216901513968906720552973357115222751261504665576\ 9511766907869077350427941009173449606180833/32343205017427143792680\ 2061188501655156304031890810584010954374123724159565447246765169955\ 75*c_0110_6^3 + 903471066971462392203948329745904204200629906787048\ 7144565081820511283668514624723220479285419/32343205017427143792680\ 2061188501655156304031890810584010954374123724159565447246765169955\ 75*c_0110_6^2 - 257331168594792948465651687076281484608549485031064\ 928544965424723126925507694511050441363468/323432050174271437926802\ 0611885016551563040318908105840109543741237241595654472467651699557\ 5*c_0110_6 - 100997511018280606530427188057280396338392104138049643\ 391321629134866804023951824875019053052/323432050174271437926802061\ 18850165515630403189081058401095437412372415956544724676516995575, c_0101_3 + 142377960112131316501191904635345884139107175777147248992822\ 4470907244400152433764702040306/12937282006970857517072082447540066\ 20625216127563242336043817496494896638261788987060679823*c_0110_6^2\ 8 + 221543231363246392619216369205942388404810094840748416872152118\ 5895786493534193035831740090/43124273356569525056906941491800220687\ 5072042521080778681272498831632212753929662353559941*c_0110_6^27 - 2613507412780372697652393744446115698296479372379906736430369758894\ 744204086718476829701046/431242733565695250569069414918002206875072\ 042521080778681272498831632212753929662353559941*c_0110_6^26 - 1779314474604377605577174222115892517398424836902478502701776854094\ 83660556201983621808943414/1293728200697085751707208244754006620625\ 216127563242336043817496494896638261788987060679823*c_0110_6^25 - 8894960558611119934378117574099402094084815275204812613927730913107\ 52344808457709339812010959/1293728200697085751707208244754006620625\ 216127563242336043817496494896638261788987060679823*c_0110_6^24 - 1314090711942313627138133969736608938561194576838889356433732215408\ 805515089035960490384278390/129372820069708575170720824475400662062\ 5216127563242336043817496494896638261788987060679823*c_0110_6^23 - 4626594658503313700448629378273674334985399188437054963212069077462\ 828073411560198160356453191/129372820069708575170720824475400662062\ 5216127563242336043817496494896638261788987060679823*c_0110_6^22 - 4464125701041133145725118627236607473076369283820587465435488023380\ 5691533232935230029717012883/12937282006970857517072082447540066206\ 25216127563242336043817496494896638261788987060679823*c_0110_6^21 - 4475829712282318999700415074673270663450845567200157371830224617125\ 6379268952538116319004097190/43124273356569525056906941491800220687\ 5072042521080778681272498831632212753929662353559941*c_0110_6^20 - 5675205014149556005592294228178315162771636871808793615495058229897\ 0608023002991513716302949904/43124273356569525056906941491800220687\ 5072042521080778681272498831632212753929662353559941*c_0110_6^19 + 9895080216702956247585750827352775871635696494286935084883616885095\ 1685965668690086055573107908/43124273356569525056906941491800220687\ 5072042521080778681272498831632212753929662353559941*c_0110_6^18 + 1529147738034429875707567730686104291529845351614030310062807129310\ 446788833820729782300685583945/129372820069708575170720824475400662\ 0625216127563242336043817496494896638261788987060679823*c_0110_6^17 + 10854639918944611243062815735053579981255637912606939595618683668\ 21365721327372419218717624174840/1293728200697085751707208244754006\ 620625216127563242336043817496494896638261788987060679823*c_0110_6^\ 16 + 27445061675151165815625648238065728022932506687396842675911524\ 2281890359281829615549935941616164/43124273356569525056906941491800\ 2206875072042521080778681272498831632212753929662353559941*c_0110_6\ ^15 - 1202919117971282724417544596893287918268078962415934330761465\ 754984962311568110067681357727021691/129372820069708575170720824475\ 4006620625216127563242336043817496494896638261788987060679823*c_011\ 0_6^14 - 1824857061782788630778856552144823939318495413751941512663\ 566975487599558323099088854771839293390/431242733565695250569069414\ 918002206875072042521080778681272498831632212753929662353559941*c_0\ 110_6^13 + 29610007426229242402890510796806236489749503572462302894\ 0327092542418970058141647301608811719811/12937282006970857517072082\ 44754006620625216127563242336043817496494896638261788987060679823*c\ _0110_6^12 + 435739359516464310793745182097617826604320990960261217\ 1983672261765586858235260777157218280941621/12937282006970857517072\ 0824475400662062521612756324233604381749649489663826178898706067982\ 3*c_0110_6^11 - 289130125605297978396483488746484752737602178324397\ 22749192984113081924066652722328544455137789/4312427335656952505690\ 6941491800220687507204252108077868127249883163221275392966235355994\ 1*c_0110_6^10 - 109273966480227771141525379332567727141567811883278\ 3342374787637350437704448881857287392484195969/12937282006970857517\ 0720824475400662062521612756324233604381749649489663826178898706067\ 9823*c_0110_6^9 + 2019517307276091775244868584317723887760265459710\ 4204268357337705575200977593170115072278098003/12937282006970857517\ 0720824475400662062521612756324233604381749649489663826178898706067\ 9823*c_0110_6^8 + 2211239715772875156475672052582640864157092631171\ 3360793519489392710995505867775970891820122953/12937282006970857517\ 0720824475400662062521612756324233604381749649489663826178898706067\ 9823*c_0110_6^7 - 4678332875730901502681589253873250446274896386337\ 449535686420422442909633510011788721015009242/129372820069708575170\ 7208244754006620625216127563242336043817496494896638261788987060679\ 823*c_0110_6^6 + 23325097373610720357752760561844339479013238922380\ 858942735572235957599589877912342255217975675/129372820069708575170\ 7208244754006620625216127563242336043817496494896638261788987060679\ 823*c_0110_6^5 + 13959371022041542727655218261227756714629246537082\ 48047289000017737104489715788859804616520412/1293728200697085751707\ 2082447540066206252161275632423360438174964948966382617889870606798\ 23*c_0110_6^4 - 234951222942340958251675193054932534107441025380289\ 7969543732640206640961501925921895721943881/12937282006970857517072\ 0824475400662062521612756324233604381749649489663826178898706067982\ 3*c_0110_6^3 - 1395558499406197762772367710393859881318349152172796\ 68941279166853250453692435278082722949453/1293728200697085751707208\ 244754006620625216127563242336043817496494896638261788987060679823*\ c_0110_6^2 + 576172273949065849584952721403306815160167765703839117\ 49578763771470011083556760882434626851/1293728200697085751707208244\ 754006620625216127563242336043817496494896638261788987060679823*c_0\ 110_6 + 15341992508090533152603340011476672994048831216662736500900\ 52402558418338432722808605829510/4312427335656952505690694149180022\ 06875072042521080778681272498831632212753929662353559941, c_0110_6^29 + 5*c_0110_6^28 - 4*c_0110_6^27 - 127*c_0110_6^26 - 666*c_0110_6^25 - 1125*c_0110_6^24 - 3529*c_0110_6^23 - 32392*c_0110_6^22 - 104575*c_0110_6^21 - 149540*c_0110_6^20 + 172887*c_0110_6^19 + 1148531*c_0110_6^18 + 1110354*c_0110_6^17 + 785372*c_0110_6^16 - 687645*c_0110_6^15 - 4153247*c_0110_6^14 - 1034730*c_0110_6^13 + 3293801*c_0110_6^12 + 953958*c_0110_6^11 - 912698*c_0110_6^10 - 243103*c_0110_6^9 + 48784*c_0110_6^8 + 2406*c_0110_6^7 + 15586*c_0110_6^6 + 6578*c_0110_6^5 - 2014*c_0110_6^4 - 713*c_0110_6^3 + 52*c_0110_6^2 + 20*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB