Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 745386179] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0712 geometric_solution 4.66504264 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.383762458460 0.101876590860 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 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.149175538125 0.104109298194 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 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 1.185086022786 0.304530032648 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -1 0 1 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610841399603 0.508191375211 5 3 6 5 2103 0132 0132 2031 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.638366939366 0.664721906048 6 4 4 3 1023 1302 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638366939366 0.664721906048 6 5 6 4 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803624800083 0.437180391885 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(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' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], '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_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 4415566823035066627200923600175429798935507920763398027104623248239\ 0456160785/53655155012480770051601390149133560973537167386081949963\ 3829712959761333714*c_0101_4^29 + 115800843395753929263618233308382\ 5517815038606342182438260116531694625014253945/10731031002496154010\ 32027802982671219470743347721638999267659425919522667428*c_0101_4^2\ 8 - 533962373509406634343042856529451881486684251472177221124915428\ 0639054934590133/10731031002496154010320278029826712194707433477216\ 38999267659425919522667428*c_0101_4^27 + 2287671439264596514317309946980703162302901972379306699437951134192\ 803347613775/268275775062403850258006950745667804867685836930409749\ 816914856479880666857*c_0101_4^26 + 4818209422893681602199454938477021589140591473206758798823719578258\ 418422286757/268275775062403850258006950745667804867685836930409749\ 816914856479880666857*c_0101_4^25 - 1255964869177735582274175012196897992862135110687801836428001376214\ 95119798855711/1073103100249615401032027802982671219470743347721638\ 999267659425919522667428*c_0101_4^24 + 8429892589400292685456884032039676894713658380243012730943964278930\ 4441573476015/53655155012480770051601390149133560973537167386081949\ 9633829712959761333714*c_0101_4^23 + 3818696440759425811999484596195384109779920809151278832833424513009\ 95719005155775/1073103100249615401032027802982671219470743347721638\ 999267659425919522667428*c_0101_4^22 - 4555344857806029508463460637401123753644846698574342958371686363290\ 60076504989615/5365515501248077005160139014913356097353716738608194\ 99633829712959761333714*c_0101_4^21 + 1336367379456302729047994904288328696737545250288898573040332232662\ 898683097385/107310310024961540103202780298267121947074334772163899\ 9267659425919522667428*c_0101_4^20 + 6174826838529373159231969289769369255376850008118857761730632859646\ 73266171020164/2682757750624038502580069507456678048676858369304097\ 49816914856479880666857*c_0101_4^19 - 6291688175298791228065936379546706013998092136717793142326840312903\ 24772650827129/1073103100249615401032027802982671219470743347721638\ 999267659425919522667428*c_0101_4^18 - 1068960076700766183644658596156925447373261719447683539056077476047\ 886130754385897/268275775062403850258006950745667804867685836930409\ 749816914856479880666857*c_0101_4^17 + 1384650045546148868016624016714298037845383464560743363894283427200\ 287538332177853/536551550124807700516013901491335609735371673860819\ 499633829712959761333714*c_0101_4^16 + 6486122130455302447804351781030702870242242016972758998506659089695\ 715489179494017/107310310024961540103202780298267121947074334772163\ 8999267659425919522667428*c_0101_4^15 - 6155171482640483935840968872643954003734527333088952001718047811993\ 56538481342185/8254639232689349238707906176789778611313410367089530\ 7635973801993809435956*c_0101_4^14 - 1905620390267920405432521537678650541635951680578591688989603861468\ 260462236934803/536551550124807700516013901491335609735371673860819\ 499633829712959761333714*c_0101_4^13 + 2611911893134361679279264634234349707641843868075246708539570660949\ 966886945335576/268275775062403850258006950745667804867685836930409\ 749816914856479880666857*c_0101_4^12 - 4929079645727789676919652945372774584721714460087814589803526964485\ 2235492147527/20636598081723373096769765441974446528283525917723826\ 908993450498452358989*c_0101_4^11 - 5266586791830953031420246062409275972594658605081922154082561604048\ 352944404298323/107310310024961540103202780298267121947074334772163\ 8999267659425919522667428*c_0101_4^10 + 1511206465866130678446030266248394544534440564054802766325041145574\ 633934675369839/536551550124807700516013901491335609735371673860819\ 499633829712959761333714*c_0101_4^9 + 1379953342672926263381307019125806643087844925932920999183659310806\ 73485265748922/2682757750624038502580069507456678048676858369304097\ 49816914856479880666857*c_0101_4^8 - 3303135021876208581293892532958458206022659434897440918902767815387\ 32263222011657/5365515501248077005160139014913356097353716738608194\ 99633829712959761333714*c_0101_4^7 + 2037706757093333581818719938477044925200005345517326127353648779591\ 18322404125693/1073103100249615401032027802982671219470743347721638\ 999267659425919522667428*c_0101_4^6 - 2546146365392054343547285659123065995972370060389461416585582425274\ 1548829030903/53655155012480770051601390149133560973537167386081949\ 9633829712959761333714*c_0101_4^5 + 3772157831736400077042039087792531740115008728740377859063975672537\ 580071015663/536551550124807700516013901491335609735371673860819499\ 633829712959761333714*c_0101_4^4 + 1345556066540283632880675544496021341090222166081292649815899972656\ 2433037850063/10731031002496154010320278029826712194707433477216389\ 99267659425919522667428*c_0101_4^3 - 1635425947582713952915775038102618184847336886347011654377318572195\ 0518324174195/10731031002496154010320278029826712194707433477216389\ 99267659425919522667428*c_0101_4^2 + 1676837328426060861856841022992255238897450548538102004012339979734\ 528898007591/107310310024961540103202780298267121947074334772163899\ 9267659425919522667428*c_0101_4 + 944474385269117789061566270293929\ 774289157806448173832891611339982792963960601/107310310024961540103\ 2027802982671219470743347721638999267659425919522667428, c_0011_0 - 1, c_0011_1 - 736290888149933437529721864539853060437500215707079569361986\ 388206473231/971134027375217557495047785504679836625107102010533031\ 0114564940448168936*c_0101_4^29 + 476029977076591854728387268676782\ 8620209643620832931744605638693109516251/48556701368760877874752389\ 27523399183125535510052665155057282470224084468*c_0101_4^28 - 4280202771199576578947491006314546009396722134744632994276276940760\ 2045083/97113402737521755749504778550467983662510710201053303101145\ 64940448168936*c_0101_4^27 + 34383405368630659477439551771521534944\ 794312020098762379128951967889935379/485567013687608778747523892752\ 3399183125535510052665155057282470224084468*c_0101_4^26 + 1716904637060775643634549035825636982869734610469414046940390837807\ 90003141/9711340273752175574950477855046798366251071020105330310114\ 564940448168936*c_0101_4^25 - 1011974254070521857271715260312823633\ 257797666236236691695601806008255777965/971134027375217557495047785\ 5046798366251071020105330310114564940448168936*c_0101_4^24 + 1221277361963377904032795303676679756044423814358827328783667966978\ 721677553/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^23 + 337617564459171841002986686213012824\ 2467064601234261527044967790307193493301/97113402737521755749504778\ 55046798366251071020105330310114564940448168936*c_0101_4^22 - 6904277406910247648911286336509336797767338562467943261883430410600\ 709653305/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^21 - 124105971268725536688171648461793153\ 3597157048307127520359210690249423584215/97113402737521755749504778\ 55046798366251071020105330310114564940448168936*c_0101_4^20 + 2010578569471554838415587938079683941319456465363115802016481447454\ 3036516735/97113402737521755749504778550467983662510710201053303101\ 14564940448168936*c_0101_4^19 - 12971321928610110250413012676774877\ 86363713092680188416766587422382999554211/9711340273752175574950477\ 855046798366251071020105330310114564940448168936*c_0101_4^18 - 4444146233583164906035047402218207506144078659112145263007476263627\ 471303402/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^17 + 159372028864513921659391096418697033\ 16610677637230810823626027715987152205961/9711340273752175574950477\ 855046798366251071020105330310114564940448168936*c_0101_4^16 + 2823288347683117697837071190120262105208813803660987672191316478067\ 6249470317/48556701368760877874752389275233991831255355100526651550\ 57282470224084468*c_0101_4^15 - 55100392760432485999418348613951268\ 150852555344814664386334461164540019508105/971134027375217557495047\ 7855046798366251071020105330310114564940448168936*c_0101_4^14 - 2077257960199857199238734306421312113151504027768805795741395884034\ 5462633897/48556701368760877874752389275233991831255355100526651550\ 57282470224084468*c_0101_4^13 + 38481623410546199945400876156199070\ 968862775407422893855448056781169261350603/485567013687608778747523\ 8927523399183125535510052665155057282470224084468*c_0101_4^12 - 5726067455127562620115806319644981882837360150612360375875883527586\ 983247771/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^11 - 437048905148856676057006572180662858\ 15890699192167776625840535920750466449099/9711340273752175574950477\ 855046798366251071020105330310114564940448168936*c_0101_4^10 + 7594367115725319548644585867279744197626340604359258620034982452906\ 918573737/485567013687608778747523892752339918312553551005266515505\ 7282470224084468*c_0101_4^9 + 2052542714104973106798811943347428148\ 604534487380546582603770410495873407149/242783506843804389373761946\ 3761699591562767755026332577528641235112042234*c_0101_4^8 - 4114906579445230756251362527380564648005707641634304567374664313973\ 456416561/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^7 + 9461315103034392245781535082902944518\ 03489521007044936684416569558983017777/9711340273752175574950477855\ 046798366251071020105330310114564940448168936*c_0101_4^6 - 2509530993059379373546320273241482183553909302028914245176050226058\ 901193/485567013687608778747523892752339918312553551005266515505728\ 2470224084468*c_0101_4^5 - 1004052780253437094210186865399139663595\ 11080146361080772458303053986629073/9711340273752175574950477855046\ 798366251071020105330310114564940448168936*c_0101_4^4 + 2782741861279752291572874808254845398975046621761671732231949268901\ 7263995/24278350684380438937376194637616995915627677550263325775286\ 41235112042234*c_0101_4^3 - 143822105142376610550901272807390010683\ 56000430295178205450446731515296289/1213917534219021946868809731880\ 849795781383877513166288764320617556021117*c_0101_4^2 - 6316615799042422050779825364340570888903404246397432669408370086409\ 398243/485567013687608778747523892752339918312553551005266515505728\ 2470224084468*c_0101_4 + 448657866639596165676731227084000362088291\ 1442971265799534355132040924203/97113402737521755749504778550467983\ 66251071020105330310114564940448168936, c_0011_5 + 300379629113806215737303801132494545909194486349252917381213\ 606365392413/485567013687608778747523892752339918312553551005266515\ 5057282470224084468*c_0101_4^29 - 395818929245705364797515865435710\ 2325124404172193740230804489574565293939/48556701368760877874752389\ 27523399183125535510052665155057282470224084468*c_0101_4^28 + 4632478751707459453403144873359153904267271523655027309358327063373\ 470590/121391753421902194686880973188084979578138387751316628876432\ 0617556021117*c_0101_4^27 - 169097688979434913811316599702885477241\ 09355107074152647595757295028615719/2427835068438043893737619463761\ 699591562767755026332577528641235112042234*c_0101_4^26 - 5622627058505546716099570550984877866420223224045779610061615380696\ 4662385/48556701368760877874752389275233991831255355100526651550572\ 82470224084468*c_0101_4^25 + 10432246351238107604387389992379777590\ 7280160841759370251088342359374989595/12139175342190219468688097318\ 80849795781383877513166288764320617556021117*c_0101_4^24 - 6202785943684306099709500969292141398433022344909876234735257099074\ 98432011/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^23 - 2745399180744093091467691043108535509\ 11306984906310123519424631751139856595/1213917534219021946868809731\ 880849795781383877513166288764320617556021117*c_0101_4^22 + 2916232891603126353381409063735848303428292218087296191484736984817\ 712796847/485567013687608778747523892752339918312553551005266515505\ 7282470224084468*c_0101_4^21 - 292495330013993701797183279359500920\ 465688384031387161184386318753140685143/242783506843804389373761946\ 3761699591562767755026332577528641235112042234*c_0101_4^20 - 7186250532480107232084289667130913302896546074818879266329982799993\ 866293003/485567013687608778747523892752339918312553551005266515505\ 7282470224084468*c_0101_4^19 + 563306968223797377081899114487180093\ 281516114060736499491742491870607051049/121391753421902194686880973\ 1880849795781383877513166288764320617556021117*c_0101_4^18 + 2906101280596622086612705131688857689323982282563183417281049018421\ 524380596/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^17 - 887801337783850859379466592167214718\ 2760315655230357358626865879966917296635/48556701368760877874752389\ 27523399183125535510052665155057282470224084468*c_0101_4^16 - 1702966377190332841538824906438281635474218828030504890412634706834\ 6369265703/48556701368760877874752389275233991831255355100526651550\ 57282470224084468*c_0101_4^15 + 12080857119964867011932324098758318\ 788732779837562967892610192134484805177133/242783506843804389373761\ 9463761699591562767755026332577528641235112042234*c_0101_4^14 + 1285946890404723343295036318941072255242831396817060478462300810392\ 483609527/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^13 - 127025324326174374048867516448733698\ 08156437797436906733859679619211230379697/2427835068438043893737619\ 463761699591562767755026332577528641235112042234*c_0101_4^12 + 1141143776512370721636254459557449610858752314830053618086000790320\ 4636314543/48556701368760877874752389275233991831255355100526651550\ 57282470224084468*c_0101_4^11 + 31351040923602692527634930296949890\ 94530813731934170189976903512050767170027/2427835068438043893737619\ 463761699591562767755026332577528641235112042234*c_0101_4^10 - 1215247266989854861446503424503017222164508063528718239952030237974\ 609508222/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^9 + 3032857180996421061142573733956110332\ 54515510280534262816802722684496924532/1213917534219021946868809731\ 880849795781383877513166288764320617556021117*c_0101_4^8 - 7977825764446313797947672020200565276466418987088930651177185671958\ 44913405/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^7 - 42341278373838717718409678824912630198\ 336856039183843123464197066412711611/242783506843804389373761946376\ 1699591562767755026332577528641235112042234*c_0101_4^6 + 4811345608480757857386534423580090913329983308454399369947480381931\ 7110278/12139175342190219468688097318808497957813838775131662887643\ 20617556021117*c_0101_4^5 - 114983088838214340894324083611161451893\ 472110162334103643509105135948011073/485567013687608778747523892752\ 3399183125535510052665155057282470224084468*c_0101_4^4 + 2793979437589182160372757908115373180592195633900379132020904904369\ 8554153/48556701368760877874752389275233991831255355100526651550572\ 82470224084468*c_0101_4^3 - 986628154596160740166966415403136242852\ 739163421647927678484028208514341/485567013687608778747523892752339\ 9183125535510052665155057282470224084468*c_0101_4^2 + 9295807423642113269012862930649552524990886040253688790751924649006\ 194267/485567013687608778747523892752339918312553551005266515505728\ 2470224084468*c_0101_4 + 325694414243375689757165331197967949749839\ 35212259395624552083271765833/1213917534219021946868809731880849795\ 781383877513166288764320617556021117, c_0101_0 + 571430053060293692030929375485696298912946337544616580080927\ 455287849087/121391753421902194686880973188084979578138387751316628\ 8764320617556021117*c_0101_4^29 - 299696648941349016174297435044896\ 90792308046018002479972681797334621739645/4855670136876087787475238\ 927523399183125535510052665155057282470224084468*c_0101_4^28 + 1381769674321025680405246114534842748699240777874360487142007917601\ 75823005/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^27 - 5919083669463184745614562678050097225\ 5749907013368584865220649382703063940/12139175342190219468688097318\ 80849795781383877513166288764320617556021117*c_0101_4^26 - 2494649825968488070121835406450614006784070032625039196132322050133\ 30331683/2427835068438043893737619463761699591562767755026332577528\ 641235112042234*c_0101_4^25 + 3250784211754747463913710360880797030\ 296015776175167424747097103627258221349/485567013687608778747523892\ 7523399183125535510052665155057282470224084468*c_0101_4^24 - 2182197678385908161950177999205673537973010635843113403358581697131\ 913294577/242783506843804389373761946376169959156276775502633257752\ 8641235112042234*c_0101_4^23 - 988120196652988507629943814410531427\ 1748199228787086737190704282809837275407/48556701368760877874752389\ 27523399183125535510052665155057282470224084468*c_0101_4^22 + 5896185560868095192086006420455844683468804896254176214415302530010\ 714678908/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^21 - 902695815591571722414909389282468458\ 37637428613216194361626236538484196023/4855670136876087787475238927\ 523399183125535510052665155057282470224084468*c_0101_4^20 - 1597706263998262867924030645064862397054869541750652229469279281794\ 0329189498/12139175342190219468688097318808497957813838775131662887\ 64320617556021117*c_0101_4^19 + 16427391886905463714928053477726866\ 600148233765014161810912960597371447935881/485567013687608778747523\ 8927523399183125535510052665155057282470224084468*c_0101_4^18 + 2759445865428770999492197586072208515735289552476113987500774633310\ 1918377046/12139175342190219468688097318808497957813838775131662887\ 64320617556021117*c_0101_4^17 - 17983791886088425970595128053543105\ 576935177623537865065131150829184477551870/121391753421902194686880\ 9731880849795781383877513166288764320617556021117*c_0101_4^16 - 1672995519177493194711753326107604551753884691184970032611882310317\ 20511449221/4855670136876087787475238927523399183125535510052665155\ 057282470224084468*c_0101_4^15 + 2073821850271275673073294521616858\ 34997970288912237840620028119725073594608385/4855670136876087787475\ 238927523399183125535510052665155057282470224084468*c_0101_4^14 + 4877089784722083263866935994836860180547362871927505127245400793556\ 5544982999/24278350684380438937376194637616995915627677550263325775\ 28641235112042234*c_0101_4^13 - 67624708132896266327468594234881258\ 689185328944279805269209834833110933063344/121391753421902194686880\ 9731880849795781383877513166288764320617556021117*c_0101_4^12 + 3412885271746653039633771454170301319410820047040505374521375709184\ 1131699503/24278350684380438937376194637616995915627677550263325775\ 28641235112042234*c_0101_4^11 + 13525451017871290720722921306941553\ 2344771064606514412520633651820376403972789/48556701368760877874752\ 38927523399183125535510052665155057282470224084468*c_0101_4^10 - 1986078197132833636724722176493769333708991836308383584398802578821\ 4773310873/12139175342190219468688097318808497957813838775131662887\ 64320617556021117*c_0101_4^9 - 634268969146731807491847953545615681\ 4816844636658360599775498309214816745567/24278350684380438937376194\ 63761699591562767755026332577528641235112042234*c_0101_4^8 + 8418036406304099217859920403061635852430994026463026342899078135639\ 168711055/242783506843804389373761946376169959156276775502633257752\ 8641235112042234*c_0101_4^7 - 5601364386705113211804631645282544826\ 580288667686332227820664042731750431773/485567013687608778747523892\ 7523399183125535510052665155057282470224084468*c_0101_4^6 + 7621243142361739841175954598801323600756283067830141466242353426334\ 84389985/2427835068438043893737619463761699591562767755026332577528\ 641235112042234*c_0101_4^5 - 77080461050450098611674077371107314368\ 340437096022213076645057285093680247/121391753421902194686880973188\ 0849795781383877513166288764320617556021117*c_0101_4^4 - 3369552426443998662704950752578668639715866817445618046808494057593\ 01019143/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^3 + 41894797842929570959153130764077574869\ 0595295135281172853106127323167149457/48556701368760877874752389275\ 23399183125535510052665155057282470224084468*c_0101_4^2 - 4961312105745046800898604576812400809588582058623951686057344969415\ 9541747/48556701368760877874752389275233991831255355100526651550572\ 82470224084468*c_0101_4 - 16877467490194767831469548075613170863437\ 327157469413028981333417424830845/485567013687608778747523892752339\ 9183125535510052665155057282470224084468, c_0101_2 + 333276571746937031020683674607497345887947986517251193775139\ 8612022740373/97113402737521755749504778550467983662510710201053303\ 10114564940448168936*c_0101_4^29 - 1093219044632312591134531072623303152701353754926207516514679088798\ 8030067/24278350684380438937376194637616995915627677550263325775286\ 41235112042234*c_0101_4^28 + 20199919769235626960090853799192673980\ 0076489548507865693278313344854699199/97113402737521755749504778550\ 46798366251071020105330310114564940448168936*c_0101_4^27 - 1743697316396745198577489630200002761889151001799795293367692901183\ 19455585/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^26 - 7163076230819262416335841118862645934\ 36061830271694850229362990466627398547/9711340273752175574950477855\ 046798366251071020105330310114564940448168936*c_0101_4^25 + 4731142509933959099388301495919367574333162289714656595315239200678\ 604470745/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^24 - 642801233205123774211313936701482158\ 1965514532566125337846576097965490026155/97113402737521755749504778\ 55046798366251071020105330310114564940448168936*c_0101_4^23 - 1417167430118266858033412834772209820506259616349428037119783830359\ 3784794073/97113402737521755749504778550467983662510710201053303101\ 14564940448168936*c_0101_4^22 + 34232493419124590642048046721272948\ 892243837881460914877366849403266701283243/971134027375217557495047\ 7855046798366251071020105330310114564940448168936*c_0101_4^21 - 8580586023153546432583165738144773765493238104435642269116780210652\ 85175833/9711340273752175574950477855046798366251071020105330310114\ 564940448168936*c_0101_4^20 - 9189640833986477359467138386888530145\ 4231369111659748735155199485518600893241/97113402737521755749504778\ 55046798366251071020105330310114564940448168936*c_0101_4^19 + 2435304513684260369300797126252950503131374462420307910689570758358\ 1477625727/97113402737521755749504778550467983662510710201053303101\ 14564940448168936*c_0101_4^18 + 19723124601908459733021258542173664\ 092487003530280700895812394351202012280935/121391753421902194686880\ 9731880849795781383877513166288764320617556021117*c_0101_4^17 - 1049347613853563610619821298755145891008017207652208379363730059427\ 87818147211/9711340273752175574950477855046798366251071020105330310\ 114564940448168936*c_0101_4^16 - 2979074439365359102595221773990931\ 5948081333419610858240516265011911651085053/12139175342190219468688\ 09731880849795781383877513166288764320617556021117*c_0101_4^15 + 3001012323869861442301119785126945568060095594521987882904099902608\ 37637029337/9711340273752175574950477855046798366251071020105330310\ 114564940448168936*c_0101_4^14 + 6651943445998926653075142799165112\ 0143799012020112343317283596238397725266821/48556701368760877874752\ 38927523399183125535510052665155057282470224084468*c_0101_4^13 - 1922392345514635535225516469190155619009287558533446561151060366723\ 65547937137/4855670136876087787475238927523399183125535510052665155\ 057282470224084468*c_0101_4^12 + 1035039314426576438482725059129526\ 23406533324115841510271772970655132240168157/9711340273752175574950\ 477855046798366251071020105330310114564940448168936*c_0101_4^11 + 1854560102237952228959984915184737580240900780893532535470274041122\ 56890552355/9711340273752175574950477855046798366251071020105330310\ 114564940448168936*c_0101_4^10 - 5556190125809060216412113555202506\ 2995036208199851425419911113706635960393677/48556701368760877874752\ 38927523399183125535510052665155057282470224084468*c_0101_4^9 - 3891769857316910657990246995468841772114130794746698052540633131437\ 182236401/242783506843804389373761946376169959156276775502633257752\ 8641235112042234*c_0101_4^8 + 2220966098810621735415545022425283385\ 7996436424156954400594405190301581073555/97113402737521755749504778\ 55046798366251071020105330310114564940448168936*c_0101_4^7 - 7645752868318238143739625890596669782372101886560095936840294169084\ 876024417/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^6 + 1034960778407002643186293152699884648\ 258220811978982571548928043532581165765/485567013687608778747523892\ 7523399183125535510052665155057282470224084468*c_0101_4^5 - 5249082988023470998120023306231121331668830906475865848557764503801\ 15339085/9711340273752175574950477855046798366251071020105330310114\ 564940448168936*c_0101_4^4 - 20140426711482644547642550509202805166\ 3977145930929912719940691852271186817/48556701368760877874752389275\ 23399183125535510052665155057282470224084468*c_0101_4^3 + 2759853561874125828372477136802515223107783555254116814559031013129\ 11783347/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^2 - 15970697519742626624632497678377686886\ 342621698881065356263955552390183307/242783506843804389373761946376\ 1699591562767755026332577528641235112042234*c_0101_4 - 2080329744340120765256474630691113105820603064013326600767825710475\ 7864631/97113402737521755749504778550467983662510710201053303101145\ 64940448168936, c_0101_3 + 331488904635187157924667520023976904340714514834604501403250\ 238875052791/971134027375217557495047785504679836625107102010533031\ 0114564940448168936*c_0101_4^29 - 117845789638211397000750344632396\ 9810904574498364002868413778693348404417/24278350684380438937376194\ 63761699591562767755026332577528641235112042234*c_0101_4^28 + 2481709329662694423128997974397290059603702297081867666790681077140\ 1889929/97113402737521755749504778550467983662510710201053303101145\ 64940448168936*c_0101_4^27 - 28043723377718533595905067934213829472\ 268836901109247363123991060527065511/485567013687608778747523892752\ 3399183125535510052665155057282470224084468*c_0101_4^26 - 3588687341471042515795826393120045198307278516684818458975357287874\ 5669345/97113402737521755749504778550467983662510710201053303101145\ 64940448168936*c_0101_4^25 + 55187963820136094376331845013687166522\ 6194896530003188028309193909442150259/97113402737521755749504778550\ 46798366251071020105330310114564940448168936*c_0101_4^24 - 1139538635494808233008731290781214583114214294126125263312508243243\ 043536517/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^23 - 776665556927931259554403662600817388\ 744080827680056787606178863691397225167/971134027375217557495047785\ 5046798366251071020105330310114564940448168936*c_0101_4^22 + 4996121893786941390261741897582928339101382119680225457488984568933\ 046439009/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^21 - 349579971036823432610962227783285846\ 7233049055029598329630037822541064403419/97113402737521755749504778\ 55046798366251071020105330310114564940448168936*c_0101_4^20 - 9436263221302057011308483719586008816293842885078785596916882363986\ 026765159/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^19 + 120065162268963195411255006714529343\ 26699888741438064008648364766056409450577/9711340273752175574950477\ 855046798366251071020105330310114564940448168936*c_0101_4^18 + 1829587320065324084962595816058465265154879068669007261537255208339\ 241754581/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^17 - 268784237943193672246222963449367832\ 62560258849297324096653689161135496185561/9711340273752175574950477\ 855046798366251071020105330310114564940448168936*c_0101_4^16 - 1910743629487168108152615160324608521718712614610157991035505579794\ 723370607/121391753421902194686880973188084979578138387751316628876\ 4320617556021117*c_0101_4^15 + 556460408880968136056209797314158344\ 00340392881887648809298648261349216492615/9711340273752175574950477\ 855046798366251071020105330310114564940448168936*c_0101_4^14 - 7025280277150559774580034283567828986129472875403128144873352513390\ 267866885/485567013687608778747523892752339918312553551005266515505\ 7282470224084468*c_0101_4^13 - 274232460200593815207570043928367660\ 41822486466579572963138772143744694140103/4855670136876087787475238\ 927523399183125535510052665155057282470224084468*c_0101_4^12 + 4592259804919717450600062153618010837489697984342775202963728893008\ 8513160383/97113402737521755749504778550467983662510710201053303101\ 14564940448168936*c_0101_4^11 + 12361549623734169736486597878164921\ 782725311421825953420592426648614213877577/971134027375217557495047\ 7855046798366251071020105330310114564940448168936*c_0101_4^10 - 1407673511226529464386097904802957582322070024706278930390178700811\ 1669653405/48556701368760877874752389275233991831255355100526651550\ 57282470224084468*c_0101_4^9 + 695496931830504446126371596190176478\ 027911716447128716481052672164422760236/121391753421902194686880973\ 1880849795781383877513166288764320617556021117*c_0101_4^8 + 3975469844261273054126041520241447107328273673779917930860360333973\ 717720517/971134027375217557495047785504679836625107102010533031011\ 4564940448168936*c_0101_4^7 - 1524446109820772484379197791826444928\ 753192056015856529029597808834704654871/971134027375217557495047785\ 5046798366251071020105330310114564940448168936*c_0101_4^6 + 2723606703229703091275506856174977144490542735015537497771157588458\ 86573279/4855670136876087787475238927523399183125535510052665155057\ 282470224084468*c_0101_4^5 - 23080017024206868901634683654281860212\ 1514836839832697220817466738617617943/97113402737521755749504778550\ 46798366251071020105330310114564940448168936*c_0101_4^4 + 2897345870886763841190965103119231167821635636713339550546427627814\ 6810421/48556701368760877874752389275233991831255355100526651550572\ 82470224084468*c_0101_4^3 + 358894087677770945776564480330975561591\ 71014541301518452582802208100232211/4855670136876087787475238927523\ 399183125535510052665155057282470224084468*c_0101_4^2 - 1096736371167417334634712862153774479579156887916984677283366493896\ 4252961/24278350684380438937376194637616995915627677550263325775286\ 41235112042234*c_0101_4 - 31949941794341021170146381070667966494598\ 26869348007084165586640552199985/9711340273752175574950477855046798\ 366251071020105330310114564940448168936, c_0101_4^30 - 13*c_0101_4^29 + 59*c_0101_4^28 - 97*c_0101_4^27 - 229*c_0101_4^26 + 1396*c_0101_4^25 - 1752*c_0101_4^24 - 4518*c_0101_4^23 + 9800*c_0101_4^22 + 1084*c_0101_4^21 - 27820*c_0101_4^20 + 3968*c_0101_4^19 + 48817*c_0101_4^18 - 25815*c_0101_4^17 - 76297*c_0101_4^16 + 81905*c_0101_4^15 + 52329*c_0101_4^14 - 112188*c_0101_4^13 + 16259*c_0101_4^12 + 61358*c_0101_4^11 - 27093*c_0101_4^10 - 9434*c_0101_4^9 + 6411*c_0101_4^8 - 1500*c_0101_4^7 + 355*c_0101_4^6 - 43*c_0101_4^5 - 153*c_0101_4^4 + 164*c_0101_4^3 + 2*c_0101_4^2 - 11*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB