Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 1360055416] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2522 geometric_solution 5.83953100 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 1 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.281840490637 0.217168842946 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -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.491867444621 1.498274068284 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 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 -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.687432840182 1.075921383492 2 5 4 1 3012 3201 3201 0132 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687432840182 1.075921383492 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 0 1 -1 0 1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.305181097906 0.622521119862 6 6 3 2 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297728711348 1.224655710129 5 6 5 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.700314737374 0.550458157036 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], '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_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 2320879058577147474724648597030378930554375389098073627623525012918\ 1274178/46973552772375060239740310891901777527738878188142745314736\ 1798014035*c_0101_4^35 + 218486457538556867787863559322676663120121\ 135168784509510513496873278680443/469735527723750602397403108919017\ 775277388781881427453147361798014035*c_0101_4^34 + 1269913908125710144968143734159771589413716026428948688415986177584\ 92410486/4697355277237506023974031089190177752773887818814274531473\ 61798014035*c_0101_4^33 - 65131906058030482977917587416347063185225\ 3240799688014119690019232380552356/93947105544750120479480621783803\ 555055477756376285490629472359602807*c_0101_4^32 - 5729611896171217615357267380003497685348936333975870884909626630807\ 055832237/469735527723750602397403108919017775277388781881427453147\ 361798014035*c_0101_4^31 + 1179518792369690570856548221611377323495\ 4299259760249504680372323684919888319/46973552772375060239740310891\ 9017775277388781881427453147361798014035*c_0101_4^30 + 3189506638809441568459646823442981127839012080488921084313124727822\ 960840214/361335021325962001844156237630013673290299062985713425497\ 97061385695*c_0101_4^29 + 38029860937565777586920918680409044829049\ 043857912666408145332618371434449692/469735527723750602397403108919\ 017775277388781881427453147361798014035*c_0101_4^28 - 8302147735737653957291433876170116754212694984309125419731621525843\ 3246931268/46973552772375060239740310891901777527738878188142745314\ 7361798014035*c_0101_4^27 - 320739711913757836505250009918845370830\ 78894551763427930314012407219119582501/3613350213259620018441562376\ 3001367329029906298571342549797061385695*c_0101_4^26 - 4792894832679895720888953159540994863097325467017059876433474830770\ 0947121630/93947105544750120479480621783803555055477756376285490629\ 472359602807*c_0101_4^25 + 1410455053823125677519719199310495583593\ 023785871364472019701283308495156257831/469735527723750602397403108\ 919017775277388781881427453147361798014035*c_0101_4^24 + 1494410414216518039765944333239030015821565865576260546015647996731\ 125855910206/469735527723750602397403108919017775277388781881427453\ 147361798014035*c_0101_4^23 - 2906314600625507652223448213512057350\ 359887394885440501098615042187871632974703/469735527723750602397403\ 108919017775277388781881427453147361798014035*c_0101_4^22 - 3240078248073162934821939373255516339722402481863936082427256523390\ 170862606011/469735527723750602397403108919017775277388781881427453\ 147361798014035*c_0101_4^21 + 4856029653623760984884170692970011714\ 105200730555701289036628021391696527198938/469735527723750602397403\ 108919017775277388781881427453147361798014035*c_0101_4^20 + 3182473443115888199450018404202203842746967268882377462083380745222\ 87495008818/3613350213259620018441562376300136732902990629857134254\ 9797061385695*c_0101_4^19 - 683995816809836620812177905508784549686\ 1955897450838945157263075916350258315711/46973552772375060239740310\ 8919017775277388781881427453147361798014035*c_0101_4^18 - 3360996991765695161969882617078558142282044119291838739524903644450\ 111543545127/469735527723750602397403108919017775277388781881427453\ 147361798014035*c_0101_4^17 + 7249882296893502577098732803682018905\ 048229573983360857184207179776606049084402/469735527723750602397403\ 108919017775277388781881427453147361798014035*c_0101_4^16 + 1064556366945335881925049794264251993385438211735698161739878697661\ 883969432274/469735527723750602397403108919017775277388781881427453\ 147361798014035*c_0101_4^15 - 5668682762849993198035726521910866612\ 003788919538341217989490326452034928154556/469735527723750602397403\ 108919017775277388781881427453147361798014035*c_0101_4^14 + 1581390541295857510040617982920150396540999508230082334210568860637\ 43620686345/9394710554475012047948062178380355505547775637628549062\ 9472359602807*c_0101_4^13 + 306331814709502641161997674632226552041\ 1979130586837836650726109919986413622482/46973552772375060239740310\ 8919017775277388781881427453147361798014035*c_0101_4^12 - 1160422941248967287265639474059368555707234283818073156510162917579\ 803741535468/469735527723750602397403108919017775277388781881427453\ 147361798014035*c_0101_4^11 - 1047115022095728319634067445327917721\ 576228106150865253953951838835383052554181/469735527723750602397403\ 108919017775277388781881427453147361798014035*c_0101_4^10 + 6943626115477214475051567925104244522748172668908843475999902099891\ 31315509034/4697355277237506023974031089190177752773887818814274531\ 47361798014035*c_0101_4^9 + 194414313919669237517932433376332910517\ 380417252458522859128421757677629295576/469735527723750602397403108\ 919017775277388781881427453147361798014035*c_0101_4^8 - 2397719767821021831772135159598912566830210200991052571692690942959\ 55373674439/4697355277237506023974031089190177752773887818814274531\ 47361798014035*c_0101_4^7 - 435421778646107895109283171047690995024\ 0797690757769045618906391224809096578/46973552772375060239740310891\ 9017775277388781881427453147361798014035*c_0101_4^6 + 7375899719849631527418743433557560841071311453546840243840801784808\ 90370635/7226700426519240036883124752600273465805981259714268509959\ 412277139*c_0101_4^5 - 59098169993022321506676923409187957276058928\ 20956992796481765396696761783797/4697355277237506023974031089190177\ 75277388781881427453147361798014035*c_0101_4^4 - 4807440583559757440379406722698060232318205620132936227034364203382\ 001360621/469735527723750602397403108919017775277388781881427453147\ 361798014035*c_0101_4^3 + 10238160462915797882134599922349627521018\ 94031731938691581617258873535883754/4697355277237506023974031089190\ 17775277388781881427453147361798014035*c_0101_4^2 + 1523493381549786585371350016928563262186164739503993878398153220654\ 07037902/4697355277237506023974031089190177752773887818814274531473\ 61798014035*c_0101_4 - 41638719015013362377002454028744578775397947\ 772636074065614577983001163127/469735527723750602397403108919017775\ 277388781881427453147361798014035, c_0011_0 - 1, c_0011_1 + 552216234400315390163242512465940042452125311736007679483181\ 170079680/722670042651924003688312475260027346580598125971426850995\ 9412277139*c_0101_4^35 + 519524992175835533111472830025294923413096\ 7366541156395379228392623900/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^34 + 2996733087366502776893744148745790610418807698310585887831466268101\ 811/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4^33 - 774483470108565078553801170116828060595835226542\ 57585035125488687653476/7226700426519240036883124752600273465805981\ 259714268509959412277139*c_0101_4^32 - 1358539827794183222643101284265366283388369837085808345168723384956\ 21978/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^31 + 2806025701667153485737055275634164133675012316\ 84835819862923422207145474/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^30 + 9837315228538899989393077844644951612892303030209595988222909629377\ 25880/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^29 + 9024622815360173131938205196809243941066884956\ 09181684710897808666515349/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^28 - 1971407330736509053270129673489286011463028414967166795874795731645\ 737590/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^27 - 990255564745202943156496936414145780776716476\ 2943051432626851942642981409/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^26 - 5666228502496217616022726783405642169406962383383288126917912420530\ 152937/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^25 + 334941483544331107608155403539132326038742029\ 45328843759955919855691373186/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^24 + 3533203062847262893725286049098725291338392816865573212785519233961\ 5774050/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^23 - 68993745787133912615498274918942709156235378\ 341786288572365132891855822637/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^22 - 7644378853367504602555878714536522542081081574203705153539648096938\ 4017374/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^21 + 11518295404305664146591513265912209991580690\ 5965537144530137970115393144359/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^20 + 9727028348344726681588064776820112484635221494005518710724964953117\ 3557656/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^19 - 16195118170880612035524248275935050524646964\ 8207738440769900151721970277994/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^18 - 7855424910997672781689980799079572295076101962887301725912374649194\ 8107027/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^17 + 17114940136481183287504184797152665908094602\ 9561481635402077441728594600405/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^16 + 2424892899378570323023997718981013434216183214790767297865700691623\ 1548941/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^15 - 13330977656492805948309422682513007150595509\ 7653854275134615289392736506634/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^14 + 1914985680991559302560117429949049084683934004943553179696369161196\ 4222610/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^13 + 71678465742726493441800005015656581851084546\ 950238615161806184338505755261/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^12 - 2741164680860571650199685713231388619907330066498174822323233606022\ 9081585/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^11 - 24341156898041365225287638937478685217065031\ 161204312368114506968519439095/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^10 + 1625284512500572337068801008317864786985741898378886900931636658246\ 0716688/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^9 + 448052115561788265347025088483274824506561435\ 3047604630145710788925582306/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^8 - 5572538605643788413966285806115818500324145270071788692835859919689\ 725316/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^7 - 9540599673904574586385902613419755905816478857\ 9070941994757488214971095/72267004265192400368831247526002734658059\ 81259714268509959412277139*c_0101_4^6 + 1106436707958243107771330771946371468268982576619307554798899867398\ 017029/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^5 - 1350120158244750710648315201488432020928259166\ 17237669744648997990336540/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^4 - 1102196749054653923148763635480827581449320593835966851961836697218\ 22317/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^3 + 23083705150203470565962081706248247746560329375\ 327395807150012676746641/722670042651924003688312475260027346580598\ 1259714268509959412277139*c_0101_4^2 + 3501397517250406181826048664515482054449760231409639387767283181009\ 440/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4 - 935870339566525461046258475961374490145002168526346\ 031819177959598551/722670042651924003688312475260027346580598125971\ 4268509959412277139, c_0011_3 + 371412020125051650058534105510182253601990549051171861209055\ 659198222/722670042651924003688312475260027346580598125971426850995\ 9412277139*c_0101_4^35 + 350080851651821309323676744319536676206707\ 8029127832044623250558888738/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^34 + 2083710863859886385633865308702071894419334871692953389057624549472\ 723/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4^33 - 519934317848947147138471857409682360603730179571\ 39166815014720718029399/7226700426519240036883124752600273465805981\ 259714268509959412277139*c_0101_4^32 - 9224553764348085651285845155121226088029187701681563014648168682877\ 8281/72267004265192400368831247526002734658059812597142685099594122\ 77139*c_0101_4^31 + 18623608452526613194348299758275373504310225840\ 7036008778112072574019816/72267004265192400368831247526002734658059\ 81259714268509959412277139*c_0101_4^30 + 6632267046525390298892789982846065425179502341836721307570403670808\ 17137/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^29 + 6214243841649623194573179773331291250472938160\ 36568888120116124785798339/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^28 - 1303458499351026521518607378861409981192570615970648601362999224008\ 829665/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^27 - 667031874294679516612776493012648487087475328\ 5471748903833810836996536590/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^26 - 3947185850468156631947721583589033075913697912058584714139455231313\ 598347/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^25 + 223430912436584439950832644348049327926520107\ 59803299604175039221462618583/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^24 + 2406846387482202962501453267336779107352813988731380229423299492423\ 6075261/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^23 - 45632309655994241462278021899124335949630355\ 654459175667278777820893966123/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^22 - 5175973570581746591009230838232906103786054651972209487134018226647\ 8514937/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^21 + 75920395738706157720854187545910301284538739\ 266427791519849807692546697547/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^20 + 6582139572376229326268659147259003391092489394703847933085596563567\ 8588974/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^19 - 10676369271010853006124221415897747262930896\ 1327695948914401108794709525056/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^18 - 5352241421621851607631082598088731443584596756034223243420728138799\ 7924684/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^17 + 11277159687979771723787928468069035323644604\ 1660533445198864530636921940234/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^16 + 1724713870999989745593888953613160710243053597106156157254714722744\ 2471794/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^15 - 87903080379924371467239954492824128108642346\ 635664485621670531636783931280/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^14 + 1183085741480732715493467114667394528727596592821242430221191884275\ 8172763/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^13 + 47278375631064161306078458668493415756839540\ 773643678936738540723191197064/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^12 - 1763979251793183394103521095007279772361872006234085828639477030504\ 6266514/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^11 - 16062256563134588608844184153906090168139334\ 582235003162649124604892253038/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^10 + 1053277104103641391799634908415772763878842846196872862566624256790\ 8361325/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^9 + 297905979024763906927926878707791056152168811\ 7075269605887424537174993351/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^8 - 3609766192299011445336449968904324541240058361589216809195539906946\ 420353/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^7 - 7640666559856605720747266750878093001162863981\ 3148093344958887115604805/72267004265192400368831247526002734658059\ 81259714268509959412277139*c_0101_4^6 + 7128314776687418271061592708055040014537445328108639963559127540168\ 32571/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^5 - 85700602260221637576829079877576659310331105809\ 448106386229821043088653/722670042651924003688312475260027346580598\ 1259714268509959412277139*c_0101_4^4 - 7020088210182513404340175885389814341949611274920977235773279609140\ 9722/72267004265192400368831247526002734658059812597142685099594122\ 77139*c_0101_4^3 + 148715017875081443218891067317432450434113505045\ 37704022037565407828027/7226700426519240036883124752600273465805981\ 259714268509959412277139*c_0101_4^2 + 2181279521778111206292608652076220785721782709983718951323065891622\ 666/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4 - 606090990106486861533607836372713983016183929066249\ 074479721562197224/722670042651924003688312475260027346580598125971\ 4268509959412277139, c_0011_5 + 139212569623194008281105497219214267553231817616894370673643\ 607458916/722670042651924003688312475260027346580598125971426850995\ 9412277139*c_0101_4^35 + 132048571187870660121843291134402253545057\ 1223431468287223525313773390/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^34 + 8650556764760352939759276564259444806198566819081897841374204012890\ 92/7226700426519240036883124752600273465805981259714268509959412277\ 139*c_0101_4^33 - 1938804303639193102423996125315168310978434654252\ 1738786767692374268147/72267004265192400368831247526002734658059812\ 59714268509959412277139*c_0101_4^32 - 3570689289318654599947410382772624399887789798255507901990852160880\ 7755/72267004265192400368831247526002734658059812597142685099594122\ 77139*c_0101_4^31 + 66953778496751807677405805567311164565760270396\ 135422260821148341661448/722670042651924003688312475260027346580598\ 1259714268509959412277139*c_0101_4^30 + 2513592439571898829246359291673130928730693002190930171217514460734\ 31156/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^29 + 2504925843947870441934229235008534646769316266\ 68691085440962805458985574/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^28 - 4647447716849172628976339377600430357890692533960022378241884002142\ 51664/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^27 - 2519419929085143873848614631527021129966354991\ 581762527910760619748045525/722670042651924003688312475260027346580\ 5981259714268509959412277139*c_0101_4^26 - 1647234841962638962632313350226389134052632384763352713200727371810\ 070623/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^25 + 818580707121647532755955553304508241702719976\ 2622828493868421504904740181/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^24 + 9458594499607706235997493153384846143993663257741264708110805995835\ 299434/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^23 - 162393213140131041311410348348972935411677922\ 67497852303001938281318565978/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^22 - 2006406201355744526892550351456990915969383913132931406858391099719\ 8720761/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^21 + 26653827634936301593273347265195443573467915\ 780563137149668552507163217158/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^20 + 2563292146681093414919737486710012103813172108644402905956501820730\ 2891460/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^19 - 37495989561023439011378494463994413501806989\ 157829186113942901009740551814/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^18 - 2155115705742929175157314869354883553938728627207715748499524646084\ 4606690/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^17 + 39629274305696933699201993187863435873779532\ 953242301640652955506580966283/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^16 + 8288416133911948569635257181353456161730169309194172806411468241802\ 441898/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^15 - 310976422141410078727688332597099458750632714\ 28339417418465460302395722431/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^14 + 2662778129756799064730327530645222102014775168005559167811096741285\ 310416/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^13 + 168969562787730820071880731309361312402845134\ 99247431801927986127746228703/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^12 - 5391694216263604185536596268585613877994567921434961058860763457609\ 830797/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^11 - 586765300349709678094992453230041458718839377\ 7871871667732871533971150732/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^10 + 3382425524224667457759866883485311447708313520882361574972343933394\ 565219/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^9 + 1182150741298192280312137816309692176858440610\ 454389505502779901271871738/722670042651924003688312475260027346580\ 5981259714268509959412277139*c_0101_4^8 - 1175537912322960920466652059958398839350131621122714638067030206695\ 066581/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^7 - 7993883896854508458678916067712766273228685674\ 3782492059807258498463243/72267004265192400368831247526002734658059\ 81259714268509959412277139*c_0101_4^6 + 2318334901137436729286382339860107833851427758366828916753954615594\ 97358/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^5 - 17664343376925588187819674917945729431627675343\ 960117849097181929147147/722670042651924003688312475260027346580598\ 1259714268509959412277139*c_0101_4^4 - 2259167206922823942076667869131646349689981727978652027180046507871\ 0664/72267004265192400368831247526002734658059812597142685099594122\ 77139*c_0101_4^3 + 372946151543565230371539890569817960493199159899\ 7087818020321124226130/72267004265192400368831247526002734658059812\ 59714268509959412277139*c_0101_4^2 + 7094228490898565692155420207092548271364519846382827134460645100393\ 99/7226700426519240036883124752600273465805981259714268509959412277\ 139*c_0101_4 - 1531081584491130586948970213252397187423262548305677\ 11551761373077840/7226700426519240036883124752600273465805981259714\ 268509959412277139, c_0101_0 + 562216818618375063905482392314601982542291713757233790635952\ 465117066/722670042651924003688312475260027346580598125971426850995\ 9412277139*c_0101_4^35 + 529572418278137260513800631522123988197703\ 1380305590733804723094042262/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^34 + 3108969990053906405026285945249011177695910279545822154051523667921\ 674/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4^33 - 788342344375384347174789543430032539404175572795\ 81045308875868880391603/7226700426519240036883124752600273465805981\ 259714268509959412277139*c_0101_4^32 - 1392026464464800993813545901029869646480014188303175917082938335841\ 59104/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^31 + 2844157723218850015387354500731054065606947561\ 94943190025437042023732880/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^30 + 1005017684818640058054299327587740149615951798933241263309619281409\ 027020/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^29 + 928705166050688002653188145018211413973108169\ 042083580487452984584514038/722670042651924003688312475260027346580\ 5981259714268509959412277139*c_0101_4^28 - 1999230982978228257450156010479652999932776035501027218927000775232\ 112601/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^27 - 101049410877615338349576856688476181127331074\ 25480334914399702995520198513/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^26 - 5873616139312286769468593083438416865000824434576282487997161663086\ 057594/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^25 + 340650956809070075662800871640167402400101374\ 35184311084979634045306484528/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^24 + 3634662792249498104582740902601886165100554722509152439385340030871\ 2112337/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^23 - 69971419602663923135139188613075736615560132\ 966249039180914841584016804560/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^22 - 7863181167485170323080643478918041269592520949036356827850772613646\ 4696883/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^21 + 11673089534993385360384312382878015876523991\ 2219742926099736739854147759461/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^20 + 1003657374588831871723353773731370893435567962449407545810281013310\ 28123635/7226700426519240036883124752600273465805981259714268509959\ 412277139*c_0101_4^19 - 1643678481806807404876417457375899928404361\ 84551706092382110840911079938993/7226700426519240036883124752600273\ 465805981259714268509959412277139*c_0101_4^18 - 8172801100523392769413969361052180754895033761023355717021081483649\ 9999815/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^17 + 17411634420147381682013004408060391157121955\ 3145827381184157788436167543823/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^16 + 2631346960652843157756964364315049436677729205247898821699736502065\ 6569676/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^15 - 13611395083737308355337993970455333721544205\ 2920955939735033516620477085103/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^14 + 1848006985049080798230976268120080732376585104255412765716685707797\ 3616993/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^13 + 73539221170422397833179541606820928227906999\ 739362741893427893216303668571/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^12 - 2754688067220850055578683428819488659772483126812169957768937996763\ 3303908/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^11 - 25145440686742633890873671011464010579499700\ 545053159202795801119943133847/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^10 + 1651811779147540174191093426160381240386089627510331909469994681292\ 4662588/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^9 + 469285385880330173507111183365842905934255123\ 0093775822623862702770316506/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^8 - 5701317801836836922240718385159560841203286892523588117335183936750\ 877908/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^7 - 1213924505943410858097415533832555184758943645\ 76241874250388154276425533/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^6 + 1137626129574078007220412842538300595187527368254341122346169190618\ 528963/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^5 - 1368317386840932803198859578887975835345514147\ 55788435702837016380834694/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^4 - 1136504224636057077779791700309923992454067334495550480358311613074\ 96039/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^3 + 23926744115185201361364515619321639754142265616\ 927868147215581001157156/722670042651924003688312475260027346580598\ 1259714268509959412277139*c_0101_4^2 + 3580353026944093155311256339314149549687245545990436313970456088078\ 730/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4 - 975755996254177223485818981340908938293747729566863\ 116412540792723889/722670042651924003688312475260027346580598125971\ 4268509959412277139, c_0101_3 - 399984943481558646048032665321341138638323122151878599786848\ 195350592/722670042651924003688312475260027346580598125971426850995\ 9412277139*c_0101_4^35 - 377402091345147239286762497548630260933652\ 6902903772276005131180719559/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^34 - 2277662524848056217681612609009454264198490933510715299951171770697\ 138/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4^33 + 560008528863084162942206088044890355276303570371\ 67763871357698527063984/7226700426519240036883124752600273465805981\ 259714268509959412277139*c_0101_4^32 + 9991121115315082482437133444605289225333864382175320803020789294973\ 4087/72267004265192400368831247526002734658059812597142685099594122\ 77139*c_0101_4^31 - 20001153032821889001346811768191371902238471939\ 7576604712422954833343076/72267004265192400368831247526002734658059\ 81259714268509959412277139*c_0101_4^30 - 7170456935453749380106341582858056853797980993899593971002761666352\ 01975/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^29 - 6749308811262597078995694969682580655698802878\ 81643804627003186107042803/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^28 + 1402785453916411380732906222809719894424978358924310830017364138813\ 041515/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^27 + 720378458582216896000051644431712477196002117\ 3604149271785193506713466574/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^26 + 4312622328174658093365356483435026969215898082119078088592058639262\ 171482/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^25 - 240761077853410343733489653815314941660788604\ 67418377197362714184047822883/7226700426519240036883124752600273465\ 805981259714268509959412277139*c_0101_4^24 - 2620106938985365887429752618000051886178371898050715717734035199264\ 3499006/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^23 + 49052328773571543850232254733598934647100249\ 817478304953826321903736798482/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^22 + 5644718711794028032614695685373979676333589112229812078172513226233\ 3625821/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^21 - 81504338944942267831532587235439670967591047\ 894710767631192335168147644323/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^20 - 7213212251302909280638520965933536873499467001897673619158573342737\ 8890635/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^19 + 11473025832541347418405950378605336448015946\ 4436548034773305944234969562652/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^18 + 5932165813513523004860278406685794451550962642859714624325093839287\ 8022995/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^17 - 12150391224570835229452037414615705730916615\ 9405141755539089892344496053207/72267004265192400368831247526002734\ 65805981259714268509959412277139*c_0101_4^16 - 2024499239778518643816217363938358617293597998459456733103311539495\ 1683063/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^15 + 95118713984148054657191174688814626128379902\ 256182005856761029088186443655/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^14 - 1159298827343157942639898908874478265501840201221250745816170413030\ 7529862/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^13 - 51527960843308675990037839406966697780268262\ 276878293922970182316498506183/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^12 + 1848477154581410298409958781606902007012907595540206876431804914323\ 3110607/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^11 + 17738054628782431723805974523932281324527776\ 099970495692726928848836279144/722670042651924003688312475260027346\ 5805981259714268509959412277139*c_0101_4^10 - 1122226667637497433051642986087556669271339142230029228112723531220\ 5456475/72267004265192400368831247526002734658059812597142685099594\ 12277139*c_0101_4^9 - 340228524257997678554405188368516885613104577\ 2762182386650559635264400539/72267004265192400368831247526002734658\ 05981259714268509959412277139*c_0101_4^8 + 3889390981717887309955068346039863762617743728126075801946976458265\ 039185/722670042651924003688312475260027346580598125971426850995941\ 2277139*c_0101_4^7 + 1376066867256637031625591310535227215228962168\ 86288662227382357799477251/7226700426519240036883124752600273465805\ 981259714268509959412277139*c_0101_4^6 - 7769107341776524523098875371325760455240346970114788570203764488935\ 91142/7226700426519240036883124752600273465805981259714268509959412\ 277139*c_0101_4^5 + 82651467249864417927191979570268004361200118728\ 699985897313420055176936/722670042651924003688312475260027346580598\ 1259714268509959412277139*c_0101_4^4 + 7774167578325263570160467180408457128051516973181068295717258295701\ 7898/72267004265192400368831247526002734658059812597142685099594122\ 77139*c_0101_4^3 - 151384551089128336626628489645749702316239498154\ 82499898098443368615178/7226700426519240036883124752600273465805981\ 259714268509959412277139*c_0101_4^2 - 2496176205884115210034455667265815567562036546617065250573862308069\ 371/722670042651924003688312475260027346580598125971426850995941227\ 7139*c_0101_4 + 621909938139803741532031704657820812224487325393264\ 287047513728604024/722670042651924003688312475260027346580598125971\ 4268509959412277139, c_0101_4^36 + 10*c_0101_4^35 + 11*c_0101_4^34 - 137*c_0101_4^33 - 329*c_0101_4^32 + 362*c_0101_4^31 + 2081*c_0101_4^30 + 2690*c_0101_4^29 - 2595*c_0101_4^28 - 20035*c_0101_4^27 - 20884*c_0101_4^26 + 54507*c_0101_4^25 + 99805*c_0101_4^24 - 86883*c_0101_4^23 - 212031*c_0101_4^22 + 126383*c_0101_4^21 + 298907*c_0101_4^20 - 188660*c_0101_4^19 - 314912*c_0101_4^18 + 225213*c_0101_4^17 + 226419*c_0101_4^16 - 214835*c_0101_4^15 - 107578*c_0101_4^14 + 149794*c_0101_4^13 + 26900*c_0101_4^12 - 73116*c_0101_4^11 + 3420*c_0101_4^10 + 25384*c_0101_4^9 - 5290*c_0101_4^8 - 6098*c_0101_4^7 + 1896*c_0101_4^6 + 931*c_0101_4^5 - 343*c_0101_4^4 - 75*c_0101_4^3 + 31*c_0101_4^2 + 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB