Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 779072325] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3180 geometric_solution 6.32685247 oriented_manifold CS_known 0.0000000000000000 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.333200923569 0.227896756683 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.622117199096 1.170587867254 1 4 5 6 0132 0132 0132 0132 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 -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.558804335764 1.397904875184 6 5 4 1 1023 1023 3201 0132 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 0 0 0 -1 0 1 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.558804335764 1.397904875184 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261044606927 0.564547394963 3 6 6 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.385669842336 0.527359989561 5 3 2 5 2310 1023 0132 3201 0 0 0 0 0 1 0 -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 1 0 -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.539258200286 0.861908241701 ==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' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : negation(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' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], '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_0101_1'], 'c_0110_2' : d['c_0101_1'], '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' : d['c_0101_1'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 9751852994425936149689283984608287486765619334964079480498634165503\ 79279942958602452197/7355723015975752990969605005272006485226634031\ 799207118452047326611262727865437185280*c_0101_4^30 + 3708986116001029777248577798070131253028607226311284032686630853091\ 1099557846538942801133/14711446031951505981939210010544012970453268\ 063598414236904094653222525455730874370560*c_0101_4^29 - 2424853577411740216907952666031480926209388553520266880951345070332\ 16412986297561240109303/4413433809585451794581763003163203891135980\ 4190795242710712283959667576367192623111680*c_0101_4^28 - 4927888757629900124469899477342076200034679671084475212223644069021\ 5665391482993256132593/22067169047927258972908815015816019455679902\ 095397621355356141979833788183596311555840*c_0101_4^27 - 1221211967240153460720634950739581426365734191313527355689552679872\ 049445774152401464761927/220671690479272589729088150158160194556799\ 02095397621355356141979833788183596311555840*c_0101_4^26 - 2429615327216574226809753507540083373731919241884815019677439726085\ 7514262491806267972725/12259538359959588318282675008786677475377723\ 3863320118640867455443521045464423953088*c_0101_4^25 - 5300893475610230593257797448284069276484265375656730054973730336557\ 689771817456134638918343/441343380958545179458176300316320389113598\ 04190795242710712283959667576367192623111680*c_0101_4^24 - 3158954293328328356506232137892419997649047276485235463255064266602\ 714052117273740519523157/220671690479272589729088150158160194556799\ 0209539762135535614197983378818359631155584*c_0101_4^23 + 3800230511229146351769766176115687160361638090357600745333957834476\ 7715835384129862496692161/44134338095854517945817630031632038911359\ 804190795242710712283959667576367192623111680*c_0101_4^22 - 5619547147544227152469615572675805906910125427105151930821831683775\ 532310001379041259813289/980763068796767065462614000702934198030217\ 870906560949126939643548168363715391624704*c_0101_4^21 + 6421337003579481476899811791083275109354924987134206941984373558831\ 7514115207810190687947075/88268676191709035891635260063264077822719\ 60838159048542142456791933515273438524622336*c_0101_4^20 - 7133618844437092865536918712454365840573937634345504550204941262255\ 90568136591184518397305727/4413433809585451794581763003163203891135\ 9804190795242710712283959667576367192623111680*c_0101_4^19 + 1132275535055062325652945694943092504723801510702025531465436344024\ 782960546996177353774218723/441343380958545179458176300316320389113\ 59804190795242710712283959667576367192623111680*c_0101_4^18 - 3646531001344497824511365799291316201518749143575165672725699440267\ 89169182264615192437141851/1103358452396362948645440750790800972783\ 9951047698810677678070989916894091798155777920*c_0101_4^17 + 1142996137306904872675139469392441577080960906844729322475379789704\ 965620540757230792314731519/220671690479272589729088150158160194556\ 79902095397621355356141979833788183596311555840*c_0101_4^16 - 1042034855476369421853615331985744544415585210738401524222688075056\ 003489912505986794344012641/220671690479272589729088150158160194556\ 79902095397621355356141979833788183596311555840*c_0101_4^15 + 8641520339038936572903886856926436056479236057068649327484601574290\ 800549777161128667574779/137919806549545368580680093848850121597999\ 388096235133470975887373961176147476947224*c_0101_4^14 - 2221178061228143400058629923726125905067317173071811890707457378817\ 59504053932655302778961877/4903815343983835327313070003514670990151\ 089354532804745634698217740841818576958123520*c_0101_4^13 + 3101718091594786914728945342813149524187495420670550363866024218724\ 3728125198538803117390433/68959903274772684290340046924425060798999\ 6940481175667354879436869805880737384736120*c_0101_4^12 - 1278211326374141918406630880903960210792279004340159605423636012649\ 800544561215089061628481219/441343380958545179458176300316320389113\ 59804190795242710712283959667576367192623111680*c_0101_4^11 + 1583408927853505458406491051153997700463489777387422664547518894437\ 43719797372444628625595795/8826867619170903589163526006326407782271\ 960838159048542142456791933515273438524622336*c_0101_4^10 - 6557033096936317648246491742614975820582599706011932729575372901294\ 6079057393756184112540309/55167922619818147432272037539540048639199\ 75523849405338839035494958447045899077888960*c_0101_4^9 + 6971689325503063954422012543404146065088182801981964411047880264920\ 5823821156129082660889349/22067169047927258972908815015816019455679\ 902095397621355356141979833788183596311555840*c_0101_4^8 - 1254232743711729796499137082119004660511839253746655109761239859440\ 85981442311149483903237989/4413433809585451794581763003163203891135\ 9804190795242710712283959667576367192623111680*c_0101_4^7 - 3533618893843846716382271109830960506203244199886283444045868339038\ 37291496616536033846749/2206716904792725897290881501581601945567990\ 2095397621355356141979833788183596311555840*c_0101_4^6 - 1204477689899720822678445681615416922281713324016523017010726665027\ 6833478131202971222673027/44134338095854517945817630031632038911359\ 804190795242710712283959667576367192623111680*c_0101_4^5 - 2285588022048836232536355206080548043089785707175760985793308388578\ 889672227784943840193/383110573748737134946333594024583671105553855\ 82287537075271079826100326707632485340*c_0101_4^4 + 2971919290835327581247321237292973618414929511891959341371965000704\ 55370924046420314918793/4413433809585451794581763003163203891135980\ 4190795242710712283959667576367192623111680*c_0101_4^3 - 1887371288666790539312903700236906750981021528414809150675541976631\ 68463582257126490649323/4413433809585451794581763003163203891135980\ 4190795242710712283959667576367192623111680*c_0101_4^2 + 9111924455811099150075385285673233199751684042971427810198131525702\ 31848560202673344899/6895990327477268429034004692442506079899969404\ 81175667354879436869805880737384736120*c_0101_4 + 4466081495070601856940436776610510436469490197011854186147615802938\ 104862616579143606121/441343380958545179458176300316320389113598041\ 90795242710712283959667576367192623111680, c_0011_0 - 1, c_0011_1 + 317763838235885302489098111442589824328789322022263488041016\ 81808803099618949813/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^30 + 1684601195831995017178037804696780181816303506714920642563332743325\ 38607828701575/7968824446855714527423229743676085297828298768284062\ 15012748034570926966252603392*c_0101_4^29 + 2676940532062338407504751251051335870900683912981535113694120868736\ 5667965353201/31875297787422858109692918974704341191313195073136248\ 60050992138283707865010413568*c_0101_4^28 - 7562117664241740505619084424640161496742310332454843604829418975409\ 66281659836113/7968824446855714527423229743676085297828298768284062\ 15012748034570926966252603392*c_0101_4^27 - 3853602545757710947983748185397031519605712216645558464877457573520\ 540905156787213/796882444685571452742322974367608529782829876828406\ 215012748034570926966252603392*c_0101_4^26 - 7668162573373441376873573619316595977451182079079183851733464070616\ 2535135168717273/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^25 - 1412329146706985569331548111575535529440775791496766100938097732968\ 14409826873336695/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^24 - 4352639667717727933870516948543041966972716423729160245317549886929\ 67997654192091907/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^23 - 2773127066063617135624209920105958898415419832236985066309883436011\ 96343088823024479/1593764889371142905484645948735217059565659753656\ 812430025496069141853932505206784*c_0101_4^22 - 1427978445815526177060721398679393111728298358829905382506389893247\ 86969635267984743/3984412223427857263711614871838042648914149384142\ 03107506374017285463483126301696*c_0101_4^21 - 5362266474151329772488068082450323996444342142906643481686643600755\ 98751481935371303/1593764889371142905484645948735217059565659753656\ 812430025496069141853932505206784*c_0101_4^20 - 2468975423292280952530954066718624615378486703071596218486936261695\ 88396405030296461/7968824446855714527423229743676085297828298768284\ 06215012748034570926966252603392*c_0101_4^19 - 1005225115979114634630604794825171887269964552423591784834881124475\ 193522333817491127/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^18 + 1384529307687271215296102054735429406314776101335534029256966218196\ 396829668542437969/159376488937114290548464594873521705956565975365\ 6812430025496069141853932505206784*c_0101_4^17 - 5978835616692396335875782184257022420628805103584061969033035048310\ 4195275803148563/39844122234278572637116148718380426489141493841420\ 3107506374017285463483126301696*c_0101_4^16 + 2492856960053933185429601723869555604930379179793759120177249378934\ 296745036342498157/796882444685571452742322974367608529782829876828\ 406215012748034570926966252603392*c_0101_4^15 - 9861522765571365096747265017211637416933298281147918024946714720858\ 47926987401001019/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^14 + 1353734301963817586600731855617044827350857647668194879570322825660\ 0858722597880259203/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^13 - 2560363449928490733417990504365291151062028216496567655778470635901\ 715741360419479079/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^12 + 2203991013092594259124984797191414921657893011903647276439558430711\ 458652944242868737/796882444685571452742322974367608529782829876828\ 406215012748034570926966252603392*c_0101_4^11 - 3562883004715543842579262625516525086485236267309800624181616785957\ 233313858347230963/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^10 + 2483003665681881500534169173204824236679047867350770026885515668281\ 29563227785415071/3984412223427857263711614871838042648914149384142\ 03107506374017285463483126301696*c_0101_4^9 - 2604474626354539686942741953047641637798350470517147344360956058705\ 037162080052434921/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^8 - 6751148951261090316727481743203745328691049371457438240825607323432\ 28550157134527375/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^7 - 1032037767132532177796700590666371505121260914007565490341252352193\ 418608288343923035/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^6 - 4547610679854785285720781178633910162639142899277928319025906855403\ 44278523216701631/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^5 - 2039409547009156164974709471037370781386458395252720562714339622201\ 95214433596266439/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^4 - 4525464967740134853058007190422749379431622289047389422762235326248\ 7331011337459893/15937648893711429054846459487352170595656597536568\ 12430025496069141853932505206784*c_0101_4^3 - 1956878126061815810367247224518501727839128256947933345071037834146\ 5610299745763171/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^2 - 5234852881505604084538205601151308343410090575764874286751956537649\ 326639291292557/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568*c_0101_4 + 1437874503290568948258912207248777960276838418320332764812881289854\ 570099577219843/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568, c_0011_3 + 214828772059034048830293856311400012870868413283875247750651\ 646646468076706632589/318752977874228581096929189747043411913131950\ 7313624860050992138283707865010413568*c_0101_4^30 + 1021375410839103192044256654538077692697131347948209078300546134340\ 066149677540455/796882444685571452742322974367608529782829876828406\ 215012748034570926966252603392*c_0101_4^29 - 8898038988846659998394008917795494471895502598905483009088477498731\ 709208599302199/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568*c_0101_4^28 - 8929407095021933037220518158807758145205386864328056746818630886688\ 36703669826265/7968824446855714527423229743676085297828298768284062\ 15012748034570926966252603392*c_0101_4^27 - 2240539101113671944770297772444415504412595706120194391249394639832\ 4409175291293077/79688244468557145274232297436760852978282987682840\ 6215012748034570926966252603392*c_0101_4^26 - 3214072642155472508685435684109396788386882764563452317842929422985\ 56078521245031633/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^25 - 1964124539697746258375153514669159280238784227169268824476104135263\ 91100520375306335/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^24 - 2326457459677806169829538016081349193650671129308148202757478854270\ 364426700856186539/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^23 + 6884562757485705834117165946175686576463105173958804193199642998499\ 50373271297418409/1593764889371142905484645948735217059565659753656\ 812430025496069141853932505206784*c_0101_4^22 - 1165751559177944572477771392520680001071625586472282653782551864714\ 047560178424236595/398441222342785726371161487183804264891414938414\ 203107506374017285463483126301696*c_0101_4^21 + 5858404518631285537264922495970100598460585516535407817645271368351\ 070814999227679873/159376488937114290548464594873521705956565975365\ 6812430025496069141853932505206784*c_0101_4^20 - 6579501952962001029795376952374409788903589670347073224594792238407\ 923503818985785725/796882444685571452742322974367608529782829876828\ 406215012748034570926966252603392*c_0101_4^19 + 4147036302227900091462931661668724690977090951797615971780009111021\ 7279105823032468385/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^18 - 2688810027049461044939319700472703340170912958143343421295801032694\ 2446904119521142071/15937648893711429054846459487352170595656597536\ 56812430025496069141853932505206784*c_0101_4^17 + 1051266994575706113149112973654619329572986513292264922785390420709\ 1171775470181771869/39844122234278572637116148718380426489141493841\ 4203107506374017285463483126301696*c_0101_4^16 - 1920984525955449906496981598638514233291897611288879196291560819413\ 9105707334081851019/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^15 + 1026664744426443977316827053237960262590270518317390031287013522613\ 58762238247737190237/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^14 - 7415818599347109765595470263194361303653778117657436624589094184353\ 5951009153803456117/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^13 + 7548878463465988766135265958969015739066177062155211650916012902015\ 4690438749463878865/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^12 - 1218316527423149774487006746818525012276254301578901253685400155298\ 7854813847531104831/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^11 + 3239712021191346442965649413971485214568746954952229145544128747878\ 3614498918112654533/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^10 - 2718737670879820027605395204502092962075937773989173780726558766062\ 064894007325959961/398441222342785726371161487183804264891414938414\ 203107506374017285463483126301696*c_0101_4^9 + 7544751694758512812027560708286400179813967270774632741211097299029\ 522424213836988895/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^8 - 6481717618231628422624877147940284178416871352005708843763543602712\ 310885227342604151/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^7 + 9282743325185993039661511925376259798584253294890221204056382862857\ 11615873389276925/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^6 - 1151633455449345987815028593621718200334982204393443321361575884552\ 556340979990017767/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^5 + 5028207541015169311290387202602015286684606710726769037063752619027\ 3199159606685233/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^4 - 4734630228188222248067047038811972180556524112526544340975307281358\ 7283707779988989/15937648893711429054846459487352170595656597536568\ 12430025496069141853932505206784*c_0101_4^3 - 1462230420183641353757676739081789817431355200145997157030478216648\ 7331150847579755/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^2 + 2961418351349049987831431228990092844899836186965490203509574923564\ 38276668504603/3187529778742285810969291897470434119131319507313624\ 860050992138283707865010413568*c_0101_4 - 2261345370340760131403994350704061877126853830384466333473175172073\ 331994634972469/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568, c_0101_0 - 601245181484708102240197554955643949809302127427788458943844\ 605744685615067365411/318752977874228581096929189747043411913131950\ 7313624860050992138283707865010413568*c_0101_4^30 - 2670949410051752853964065063866110810467051697963368941360526905743\ 502382888273405/796882444685571452742322974367608529782829876828406\ 215012748034570926966252603392*c_0101_4^29 + 3920495799777097238580359296136887993090087449257566549675841098478\ 5612806112571721/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^28 - 5126078439843702471662915740953914395435247590122394456906107129442\ 938439964653361/796882444685571452742322974367608529782829876828406\ 215012748034570926966252603392*c_0101_4^27 + 5914448197847528894130442058114238151899013279257200919250464278717\ 3472706074073507/79688244468557145274232297436760852978282987682840\ 6215012748034570926966252603392*c_0101_4^26 + 5868817245438134045321897784717270380493931878870419679994271512106\ 14875524635881215/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^25 - 5863611746995108853382095268726069450323157840584196395703844036484\ 95993239424976351/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^24 + 5789481551269386653385339867773048303407254603809792230935656450448\ 529020688241983237/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^23 - 5985809107911500268680753119204944088977613740667641171868348307193\ 438412393254154559/159376488937114290548464594873521705956565975365\ 6812430025496069141853932505206784*c_0101_4^22 + 3825805920553371932482950486572084942660749006044677803618748409900\ 552155672554553995/398441222342785726371161487183804264891414938414\ 203107506374017285463483126301696*c_0101_4^21 - 3242650657158942467941269081329101958747708503013102266111879554557\ 3315809701064109623/15937648893711429054846459487352170595656597536\ 56812430025496069141853932505206784*c_0101_4^20 + 2827007338687878425463824857335976898210254999113348778239082526644\ 0864365229526304359/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^19 - 2048633459932994567511388007961592489741522308445822098190601466585\ 09603667728260948799/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^18 + 1449240308930138679117965443744393925051998680357657567794096174690\ 17903193670042669593/1593764889371142905484645948735217059565659753\ 656812430025496069141853932505206784*c_0101_4^17 - 5158602100596358217543696368513815867340735502255029173604982139548\ 8311111856151824455/39844122234278572637116148718380426489141493841\ 4203107506374017285463483126301696*c_0101_4^16 + 1234877413418687873469776692489689463909521998573611557057235089864\ 48429895876254417405/7968824446855714527423229743676085297828298768\ 28406215012748034570926966252603392*c_0101_4^15 - 5328743951446415524389252450289839884340343163577127980900638625667\ 23733863894489674419/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^14 + 5377893672895965190683995074642340043397727105734569263087476894189\ 51375594602982280203/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^13 - 4367701050040865877231225907174351914561281524217518564901998537051\ 49776679465637322751/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^12 + 9071265334356203178629462873525828879950299473942243576542310891270\ 1747388443711198293/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^11 - 2267893652343726135248827851098895375031371149769355909737827636913\ 74452682551667514395/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^10 + 1766288213536544117084278120014507944050948040133552889323643057957\ 9240972521878567703/39844122234278572637116148718380426489141493841\ 4203107506374017285463483126301696*c_0101_4^9 - 7301564458886537929144992419691249789980907396858499470522467162575\ 9427471840138160945/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^8 + 2625278459889970373311193557141885801830574297388620684356644179970\ 4183710328170034601/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^7 - 1394827372330135436499319061654059003890787662014669884679655855796\ 6901585055901278259/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^6 + 6751797083684566493239222950383992024782485216544535570976229808042\ 00782792108340569/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^5 - 1127040796055771372926632798592678015986491946578011480260314652311\ 321302863013747615/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^4 - 1557506043828536692076359977143055328139613648883657969832308241735\ 05391795598544837/1593764889371142905484645948735217059565659753656\ 812430025496069141853932505206784*c_0101_4^3 + 3014505711852446217825161214576054420704081579209443262026670282460\ 2941485163493269/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^2 - 2229802004575179914740699329752265668489465557235718351588072817301\ 5705617256171477/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4 + 4768004532470689916253430464170777400282384008139659096177745628386\ 781735297293227/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568, c_0101_1 + 130479273838510042810880896180905224026391385672622912306425\ 590727252701819812107/318752977874228581096929189747043411913131950\ 7313624860050992138283707865010413568*c_0101_4^30 + 5970736553081238373921123181207334321120843098885935403168313991800\ 81380860873893/7968824446855714527423229743676085297828298768284062\ 15012748034570926966252603392*c_0101_4^29 - 7163620911101722140013490003301124750004586158922667497176049927324\ 261982695551169/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568*c_0101_4^28 + 4754635365806667035966995596137390568735385177032835327986169578813\ 06124595927753/7968824446855714527423229743676085297828298768284062\ 15012748034570926966252603392*c_0101_4^27 - 1331952732194812841345391836897333211688987322816496601136312591264\ 8227554347281707/79688244468557145274232297436760852978282987682840\ 6215012748034570926966252603392*c_0101_4^26 - 1569656814795029637577425897730013923504359114580241814663170861700\ 83582654551630471/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^25 + 1578920189435787139952052349407925614792721058633513747719483020781\ 1568636036888103/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^24 - 1346052983672423451937463462758476735821620463260622720810222336525\ 645967855762643293/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^23 + 9165706073204053689225250456781203077810150308003728127565133495915\ 18619354923085863/1593764889371142905484645948735217059565659753656\ 812430025496069141853932505206784*c_0101_4^22 - 7958495962242718791160132455537569900233206922887886415497601721978\ 17504843240289931/3984412223427857263711614871838042648914149384142\ 03107506374017285463483126301696*c_0101_4^21 + 5597269333421784955896463481793415677690246098954303182983947017048\ 359844951701494687/159376488937114290548464594873521705956565975365\ 6812430025496069141853932505206784*c_0101_4^20 - 5346319761771521329333955328452744900566834365670005196503764919120\ 130247958904795711/796882444685571452742322974367608529782829876828\ 406215012748034570926966252603392*c_0101_4^19 + 3693491045545143402634668334246067000733597623594826502385161304567\ 2099986351840599815/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^18 - 2561772609565618224719812850480565759360764521626948284462865308292\ 7988563865135246673/15937648893711429054846459487352170595656597536\ 56812430025496069141853932505206784*c_0101_4^17 + 9416551645052894945421241731025284869020272553410414474874639734286\ 150816499277564383/398441222342785726371161487183804264891414938414\ 203107506374017285463483126301696*c_0101_4^16 - 2089658117528191555253024465996624564182744645101580348298595337740\ 7254786254540312181/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^15 + 9654981538236256077703128151902165744462195986844068120257680279329\ 6981916712314883227/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^14 - 8877403309981825675409885819086614421636675222317042809236326361364\ 1400207074479190003/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^13 + 7693794789744259640949407086031884826634500476727764961410985200055\ 4020562330953311367/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^12 - 1491961953535610324287454753867468744174837141280540321291398250433\ 1127331720356315325/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^11 + 3736685684204668478707766524692843458624168093390627452069415720639\ 7726406605417644803/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^10 - 2994304554928616140666890806118367045706957550203840124268997759379\ 381154528551548287/398441222342785726371161487183804264891414938414\ 203107506374017285463483126301696*c_0101_4^9 + 1050906695326312484138263899052011568857597665598879067888257685625\ 9823478465413543081/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^8 - 4900441391906528298496182293339020967406772786177205063886897797640\ 581780049691712673/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^7 + 1668550895276538672015666509470910716235560089541226555038466515775\ 868902803743290523/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^6 - 1700674976448317405948980261933607367680753413759027691637619344023\ 68801573888452177/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^5 + 1652633952318496390938061247650702415265449352677905850638922181599\ 60545847943613223/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^4 + 5339730465151905360017025674864108754265629924912698871984588021677\ 4667314971375997/15937648893711429054846459487352170595656597536568\ 12430025496069141853932505206784*c_0101_4^3 + 1337792415514491068221971862317392120830737078884068253993857628352\ 3784621996393299/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^2 + 9494104348243250812730348594437357557153512062388608388802887697917\ 071614558428845/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568*c_0101_4 + 1172432478912039807863361993137507247849579229957131123418353126168\ 72787966078189/3187529778742285810969291897470434119131319507313624\ 860050992138283707865010413568, c_0101_3 - 171694530439179960544214633073411455317005955537900227068320\ 4064679958729666525565/31875297787422858109692918974704341191313195\ 07313624860050992138283707865010413568*c_0101_4^30 - 8119487312380249155984438141103331086436498577370673272813285279844\ 445457688585715/796882444685571452742322974367608529782829876828406\ 215012748034570926966252603392*c_0101_4^29 + 7445433063429834822331896869724931662686773088900903511903453308622\ 2790098568388183/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^28 + 5492271187081466259150670105242803859658835797727245065013390830440\ 503356529413297/796882444685571452742322974367608529782829876828406\ 215012748034570926966252603392*c_0101_4^27 + 1782982320233187153067492102697055362991282009370630724631730282692\ 34854997541051037/7968824446855714527423229743676085297828298768284\ 06215012748034570926966252603392*c_0101_4^26 + 2494347073913052660910972633701456720924713846178650529094600343179\ 068833620594971297/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^25 + 1292665404150120274971857054365366762913536899200799471215901188863\ 863532537918634623/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^24 + 1836770958662998776800136306974529639751552034463287642270134361657\ 3339781369379428827/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^23 - 6508678906871813234118053202804715516828316221130758848789437823744\ 161327243947288897/159376488937114290548464594873521705956565975365\ 6812430025496069141853932505206784*c_0101_4^22 + 9402088898413220408692636266201953635129058376702338521790802306609\ 630415664066584749/398441222342785726371161487183804264891414938414\ 203107506374017285463483126301696*c_0101_4^21 - 5077442502912995201114691664256887638674812208334941491834149641784\ 1567023004138950537/15937648893711429054846459487352170595656597536\ 56812430025496069141853932505206784*c_0101_4^20 + 5458661770432094340056114868217011381787143472179422844735368526342\ 4900709504220097481/79688244468557145274232297436760852978282987682\ 8406215012748034570926966252603392*c_0101_4^19 - 3525366749014463892383596171510010699184015573297291835157509813315\ 23990676730706083233/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^18 + 2300254520378041376038820254277458274442430015872926592379979647657\ 64122627151598208967/1593764889371142905484645948735217059565659753\ 656812430025496069141853932505206784*c_0101_4^17 - 8893570835027375613107629228209323997795281206723261865987292352792\ 2090741950385332841/39844122234278572637116148718380426489141493841\ 4203107506374017285463483126301696*c_0101_4^16 + 1690207082024399245218183947585073561235673512674836644980374502041\ 63591142799756172483/7968824446855714527423229743676085297828298768\ 28406215012748034570926966252603392*c_0101_4^15 - 8687539140137249267722869985890568234322232448428709211600650861407\ 43615322598986462317/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^14 + 6642019519917998423710691333248942211475612439416303612073714455285\ 78044591477684278997/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^13 - 6373295027180580905050034050362634008740260883324754997196270923932\ 38074236920097011617/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^12 + 1076342998187917720346775456137466183913394269954420594742446199380\ 82136550029187974619/7968824446855714527423229743676085297828298768\ 28406215012748034570926966252603392*c_0101_4^11 - 2680958754774726272364926665637254943494435467766624347678805090759\ 08832545353891393605/3187529778742285810969291897470434119131319507\ 313624860050992138283707865010413568*c_0101_4^10 + 2202891501727849845953145308707432485762926419152284741887771076908\ 8300395706804850249/39844122234278572637116148718380426489141493841\ 4203107506374017285463483126301696*c_0101_4^9 - 5639845052439293690047320525370651716331551571237371862750626341380\ 1492299254149954735/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^8 + 4113463380714548732320602843863142018648796532288674696717370744013\ 5407166697298031223/31875297787422858109692918974704341191313195073\ 13624860050992138283707865010413568*c_0101_4^7 - 3890734819022392784937645495308487719334035646085910208301777385361\ 767150944205008237/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^6 + 3818041061792563371612883872346347726535858403425181419506355643032\ 898942569191756103/318752977874228581096929189747043411913131950731\ 3624860050992138283707865010413568*c_0101_4^5 + 2709563138635856369001246677341432719550342274318766539798280066053\ 99875286231098367/3187529778742285810969291897470434119131319507313\ 624860050992138283707865010413568*c_0101_4^4 - 3655444078486028833930667806828448431471599954790000010758227140009\ 4149476369140219/15937648893711429054846459487352170595656597536568\ 12430025496069141853932505206784*c_0101_4^3 + 4654384810966810169253736896775399974230365503062381561231006258546\ 3060803853347723/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4^2 - 1697300629306299705952772873474189439853239904328478653352592025691\ 5368877312961547/31875297787422858109692918974704341191313195073136\ 24860050992138283707865010413568*c_0101_4 + 1234494071851036273553217695300655699860920976063462354401578342975\ 771578717066421/318752977874228581096929189747043411913131950731362\ 4860050992138283707865010413568, c_0101_4^31 + 19*c_0101_4^30 - 125/3*c_0101_4^29 - 43/3*c_0101_4^28 - 1264/3*c_0101_4^27 - 1489*c_0101_4^26 - 2762/3*c_0101_4^25 - 32764/3*c_0101_4^24 + 19819/3*c_0101_4^23 - 44354*c_0101_4^22 + 169030/3*c_0101_4^21 - 381178/3*c_0101_4^20 + 603931/3*c_0101_4^19 - 794537/3*c_0101_4^18 + 1244410/3*c_0101_4^17 - 1166444/3*c_0101_4^16 + 1556519/3*c_0101_4^15 - 388114*c_0101_4^14 + 1182914/3*c_0101_4^13 - 786635/3*c_0101_4^12 + 526063/3*c_0101_4^11 - 350123/3*c_0101_4^10 + 122441/3*c_0101_4^9 - 96002/3*c_0101_4^8 + 10756/3*c_0101_4^7 - 13252/3*c_0101_4^6 - 160*c_0101_4^5 - 461/3*c_0101_4^4 - 143/3*c_0101_4^3 + 50/3*c_0101_4^2 - 8/3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB