Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 1680210095] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1634 geometric_solution 5.37951782 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 0 0 0 0 0 0 0 0 0 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 0.623672832735 0.121316673138 2 0 2 0 0132 2310 1023 0132 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 1 -1 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.831379987242 0.179206040401 1 3 1 4 0132 0132 1023 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 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.926215530450 0.530322849158 5 2 4 6 0132 0132 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459487283758 1.308777587743 6 3 2 5 1023 3201 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -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.459487283758 1.308777587743 3 5 5 4 0132 3201 2310 1023 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 1 0 -1 0 0 -1 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.469580001027 0.878821027597 6 4 3 6 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.238815361225 0.680228166106 ==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' : 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' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_0101_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 1075213492725666834183246103955658872813708691135002418569195727515\ 51606650393562479/2355184748388429581501149718950632695519081437885\ 05820574243028628658147207980808*c_0101_5^32 + 1175984565243921452751082084845759118216863067314034454740136066472\ 147710686088967195/235518474838842958150114971895063269551908143788\ 505820574243028628658147207980808*c_0101_5^31 - 1221078416321484998704964181929223611291579869966477596675991141021\ 369353910424069913/235518474838842958150114971895063269551908143788\ 505820574243028628658147207980808*c_0101_5^30 - 9174890995944346432761767117525785237561791606204852902139233481233\ 81493882010042751/2943980935485536976876437148688290869398851797356\ 3227571780378578582268400997601*c_0101_5^29 + 4415041127418384281946677029552706700325808760312245325434916457838\ 408666596297701284/294398093548553697687643714868829086939885179735\ 63227571780378578582268400997601*c_0101_5^28 - 1249581224744201467114870566892071610746225751382673954081644499620\ 843993004974743345/619785460102218310921355189197534919873442483653\ 9626857216921806017319663367916*c_0101_5^27 - 1866527820718312429054994660480809556155218715368966766965291112331\ 0752108803273695429/33645496405548994021444995985009038507415449112\ 643688653463289804094021029711544*c_0101_5^26 + 1249343894859276565253237657332287594814540334344865157964086487731\ 07571199874119428537/5887961870971073953752874297376581738797703594\ 7126455143560757157164536801995202*c_0101_5^25 + 1193313774425874155308180840207624793247304756757517723358153768102\ 9320729028115584547/16822748202774497010722497992504519253707724556\ 321844326731644902047010514855772*c_0101_5^24 - 7025600189870093637550837628247709303102661683853456115537130245457\ 67912293492196028371/1177592374194214790750574859475316347759540718\ 94252910287121514314329073603990404*c_0101_5^23 - 1159401682120310841283892590783099456985142048215721958471867221062\ 827112325194849734633/235518474838842958150114971895063269551908143\ 788505820574243028628658147207980808*c_0101_5^22 + 4970924058528113901602209121025942565695368897674411668813005821445\ 10767322320416928843/3364549640554899402144499598500903850741544911\ 2643688653463289804094021029711544*c_0101_5^21 + 2411078869122851325501875417517377477827291617853966319183914996980\ 799206014507752616449/235518474838842958150114971895063269551908143\ 788505820574243028628658147207980808*c_0101_5^20 - 2587726260885932429789761307953868949895454707993603848072456984412\ 061615634348365768453/117759237419421479075057485947531634775954071\ 894252910287121514314329073603990404*c_0101_5^19 - 1029985640614464274340109115277471205965478128311355042504038335622\ 443451565786443106411/588796187097107395375287429737658173879770359\ 47126455143560757157164536801995202*c_0101_5^18 + 2603599677198925676216927431779596791731986341715711810852057911971\ 394466874769479390365/117759237419421479075057485947531634775954071\ 894252910287121514314329073603990404*c_0101_5^17 + 3705389851489502276924781868760646597583588110859766891679773159255\ 227118434919191570237/117759237419421479075057485947531634775954071\ 894252910287121514314329073603990404*c_0101_5^16 - 4438570886034188253400985096243020741011567253450086107122249956236\ 244076022683873222725/235518474838842958150114971895063269551908143\ 788505820574243028628658147207980808*c_0101_5^15 - 2125331421983553386922137197708312656430619940474558185710232873713\ 509742536746552317009/588796187097107395375287429737658173879770359\ 47126455143560757157164536801995202*c_0101_5^14 + 3097537801493848490177276803937496081367886155185541569411830637440\ 64535017354707522807/3364549640554899402144499598500903850741544911\ 2643688653463289804094021029711544*c_0101_5^13 + 7611368756561941998367503928261029819242626323104458777334621590871\ 928284130414308870091/235518474838842958150114971895063269551908143\ 788505820574243028628658147207980808*c_0101_5^12 + 4408831791802397932153646946534277363209022178722762283115032768235\ 722291872090823121/154946365025554577730338797299383729968360620913\ 4906714304230451504329915841979*c_0101_5^11 - 1383707733473372624811525986758111261340500966613125996015718391771\ 459884667620244022765/588796187097107395375287429737658173879770359\ 47126455143560757157164536801995202*c_0101_5^10 - 2019471336792389672539116743176470568210946814502931135185323239476\ 665764446793740619971/235518474838842958150114971895063269551908143\ 788505820574243028628658147207980808*c_0101_5^9 + 1104450324570093034490839898002460747086159838728969711572878476528\ 513988989711572036925/117759237419421479075057485947531634775954071\ 894252910287121514314329073603990404*c_0101_5^8 + 1651618436002156200930661174000436833009013040410231149732908769075\ 1702371322981663893/30989273005110915546067759459876745993672124182\ 69813428608460903008659831683958*c_0101_5^7 - 1509286553291668894204722097914327381821740744289910795280975438778\ 38129921711131980967/1177592374194214790750574859475316347759540718\ 94252910287121514314329073603990404*c_0101_5^6 - 3088856071397256110421528628975362831329726323264347868767455341650\ 36743430932283550103/2355184748388429581501149718950632695519081437\ 88505820574243028628658147207980808*c_0101_5^5 - 1163408300899991257646815162105822604636036672948095245755672612292\ 270003788758352385/336454964055489940214449959850090385074154491126\ 43688653463289804094021029711544*c_0101_5^4 + 4962149502311851225568309535253417203300976011201460985061439089233\ 234631644910110789/294398093548553697687643714868829086939885179735\ 63227571780378578582268400997601*c_0101_5^3 + 7929383930819491854978329787216731245730840279775037759734212412874\ 347111236994953837/235518474838842958150114971895063269551908143788\ 505820574243028628658147207980808*c_0101_5^2 - 1306076150088728257989803025674062914341887429198474341319192723208\ 075454917913349951/235518474838842958150114971895063269551908143788\ 505820574243028628658147207980808*c_0101_5 - 3776240032512016438678258201746003096680463916001175803803874132595\ 55508480377980403/2355184748388429581501149718950632695519081437885\ 05820574243028628658147207980808, c_0011_0 - 1, c_0011_1 - 100367478943095025008960093172034877121107314924119366866412\ 602882004312015436/221351950036506539614769710427691042811943744162\ 129530614890064500618559405997*c_0101_5^32 + 1103025080861062151098573733154946824039313070649856858352531442686\ 340004474428/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^31 - 1177559367799117453560629092701677082110303154380638835418399375954\ 987857514013/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^30 - 7019591122464853469254920379806115978410313192219595066950115700185\ 263327412036/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^29 + 3365796050666782019700216559948869292802852280675883164453206151859\ 1390281184020/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^28 - 4484909403790638328063633026361502154580211156737149824611960193040\ 6946251899447/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^27 - 1267189207443244872828077436535319326819397228264120209205790918900\ 43193727181395/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^26 + 4849130156021352553321244314163523347586283247370904541645327488227\ 88580983374862/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^25 + 1500797118644236810241038350224329827246844391478476119587647438310\ 69210076868588/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^24 - 1420300089967595378106612550545072271752925776773026705609975416358\ 556476966727697/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^23 - 9994488821523276246949965102331649329267037736795430253355817506448\ 71787541101812/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^22 + 3553353927642219513963335935256123509058937612144118873696825672068\ 341239046095335/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^21 + 2187810706077745659737620887376322796028727988304758508463863878646\ 923191668422366/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^20 - 5622536139461909522020431884264141295145360063709121497394829577519\ 167608881254040/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^19 - 3737116198293508862641445326071213376188257045328604973690151255349\ 026392605249981/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^18 + 6035160832919974503300323519574314866645234628661296020216882334343\ 613416977178838/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^17 + 6980728560847471824718734216756734785124138549557616267164123870159\ 401931607465296/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^16 - 5530969143742956974885499346042167228661994198071323451216147719701\ 545142668070884/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^15 - 8604557867544703981680324523982926346043407656515083261579005724024\ 261690194165469/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^14 + 3563460302639766531872765107702788685617083929220251174138641228965\ 745754325632843/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^13 + 7995461313737889091687518559186766759315418962230136173812791856637\ 367526992420667/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^12 - 5032160451307088586446213429093620532554129066698070588511858754759\ 83734098976916/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^11 - 6169719665449987336661059953527080993552492372174751761281822763807\ 114441109995072/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^10 - 1366663478791308451612252555507669288723215638459838070276243359210\ 105818001674243/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^9 + 2974689797822748826310524100672224513359889778647233905412842125618\ 404136113309250/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^8 + 1089027775291391328204862920753051505421082082742580819916958219667\ 840080621488593/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^7 - 6821346166363067372294933732810506609980844583223479495901523829364\ 41177966665379/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^6 - 3373999913551710825230886143649785852363525726583828663555496899115\ 53556724698229/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^5 + 5680875465945003152772810600507058208538060165599403709342824077720\ 3054819985732/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^4 + 5815407455699161512298035424270392480832889138579602766636547882837\ 1802685467424/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^3 + 2752089853415422533835661358104922085563198719349147788555701710062\ 854250218952/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^2 - 4037006767226451656424939860562428436161695397815926510135665759335\ 099690446989/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5 - 5248514739643973605678165987060499419403597008993356387392755827119\ 05827327792/2213519500365065396147697104276910428119437441621295306\ 14890064500618559405997, c_0011_4 + 611026762993023826083406351060968330919810413294885146348968\ 415966366973256291/221351950036506539614769710427691042811943744162\ 129530614890064500618559405997*c_0101_5^32 - 6957058265299218860546786346512701186609706127585611842408567074106\ 051762834443/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^31 + 1002161897888520743563330337071442530783907533310936095357090686363\ 4366582242800/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^30 + 3762916762749354467092968632607625127604130346688757784287763940218\ 8213957907797/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^29 - 2179357946427517562686036628948554914863289672410992795507356578937\ 40277613151051/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^28 + 3648893597309855755785077282689385960812192893553491737971914728885\ 69313223840885/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^27 + 5908232409520130930581419062904206652839674681504118186422947387160\ 36306257001902/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^26 - 3119025409353989505208109000458446762161767068140166623742300909430\ 648244357838550/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^25 + 3992926123813578590772691451617826271706135928930441304690992570398\ 78110415694911/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^24 + 7972900504954410740592507158695321460752392920545560765414824742629\ 261894444119172/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^23 + 3114610950447668695212993264625109586122193812032305479269703136534\ 420401315561236/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^22 - 2165100095676584660467165710571723000682056491176290137393382371728\ 5881886285474982/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^21 - 4529351596486553009602600131096566064943449182290521264648685420702\ 617980768183414/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^20 + 3255838805926701992330815085871635386836066454750616453410964570599\ 2794767655559931/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^19 + 9961524043333186685443062229211314634945322220225778571973201518658\ 537689240080480/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^18 - 3562806250362050327058170185659859813879311171677600351152084581002\ 8640806215692482/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^17 - 2802175716178764791875404659132592220905075071272207584763884741659\ 1180206006329708/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^16 + 3918574589608308435610789247080014794711941673595312527109710560753\ 8582549784572275/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^15 + 3376727448270927905480865483129187865261208383355317636654274514234\ 9046577335317447/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^14 - 2829141559861458943656066589528185301298313185749474485253102655659\ 7014357407871732/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^13 - 3384560324461587753944055474491184263584361534945031135285764629148\ 6994507403751290/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^12 + 1130836547719408876887593372881409346967785879806692274946148057168\ 1062357635948072/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^11 + 2911911397055343016744947497708870701569276155266457491859810293822\ 5619843801307737/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^10 - 6349109101009631059565507087654145430771738032704317043516467782223\ 48704496784393/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^9 - 1402944111262700024884451463373905728662039969501674259173764878612\ 9899424928994510/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^8 - 2028427584067215099716904562289044183670201358179436098173918938497\ 278619751873430/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^7 + 3122340238036319039603036462855658054487276525746278756347004263297\ 862494566694156/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^6 + 9448233214364450766303105590308262737271401224844071550304251511874\ 20223359879063/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^5 - 3365886616803118669599613063344269822503055998170994367130388853329\ 78929887783917/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^4 - 1808678559438119148109113621160759609969491394138659491681460373490\ 97262422910336/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^3 + 5402252145213407361717631840073973956477014016772768483240875489510\ 869087322605/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^2 + 1281093380397955853080606619127147628685933395209242948507307107722\ 7550076195087/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5 + 1622719940823820146726601827920573154259655208661803325469544546521\ 087931717347/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997, c_0101_0 - 237060740806913682936628923583668984792349432100595697879148\ 045508908268651787/221351950036506539614769710427691042811943744162\ 129530614890064500618559405997*c_0101_5^32 + 2810388037706672898453314062302777951225185819740202178048207725519\ 296147451834/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^31 - 5183818401709769609734878843139002620657057931606666358764452626060\ 957618388574/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^30 - 1243751316693520474043652533296392603389831068807542441208253500869\ 0698005160260/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^29 + 9085483095082951000827322545607341998857859922109435529204817336060\ 9746457286965/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^28 - 1829092656565397673697490729682707591015715059399600974763288230995\ 86711591754454/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^27 - 1520844407949564026291732642204363597535466445755513825447778537888\ 19113010435721/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^26 + 1297990717638720963865069049912200257166384655892488683715211040850\ 005248792230509/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^25 - 7464221918892899476729990962701119140903724176318106800306046646334\ 58706467003998/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^24 - 2867696951506915843365155237649314527474615389844232989822521305157\ 832333668002376/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^23 + 1909980435553012966544430549320653690304375429150192714641461707227\ 90496800196656/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^22 + 8602662532486913228190818921503112045565079342998353145571595690564\ 999626055430775/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^21 - 2255629412154335079501327364559391350634406038377694133201894596578\ 619721244031951/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^20 - 1241965597970590759830789817791311979871714718405217287267280151128\ 5495828252059831/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^19 + 2053068747596309008861441532919236704834464855129857856749109314397\ 942917926504530/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^18 + 1411232103706371418153270382030749116917731428760113057469840375898\ 4484607329162370/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^17 + 4239880084849303991731135126618926143425148059850199361737301343294\ 498203162597504/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^16 - 1860825011983730836636115669491242919521942398929410117595275792867\ 1589325521782310/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^15 - 5005489543463558788639203304641248936098550841903250837996862236894\ 283025891988218/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^14 + 1508461308673257720799315214895899710570886050737014469233252873429\ 7846660505832806/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^13 + 6837591064872962609334594867169149792630350058103207045148196463615\ 448169304815074/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^12 - 8993625845147640407527079216281424460223361279709484613744847660974\ 217729713907901/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^11 - 7987236906325133601114817414708778042146669450750856408114205640985\ 760675073331227/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^10 + 4762132630569985337738529970440503092600232127033218873205705999854\ 001004920198885/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^9 + 4137653853296654206975687222588592627171440511529491120522700853074\ 929939142827843/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^8 - 1488523272118700366809545467590157634209699360272207996197464227322\ 654837985880421/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^7 - 9947976225850822931930162901255470518355695927754105019477268381978\ 74536855429389/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^6 + 1727535392696195580924531668292905955384934527951815554013226568155\ 83134643434115/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^5 + 1672645028242998095257596588205114236135996834003082341903328755101\ 10064610736944/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^4 - 5228496000274924824887911721934311112576233185783878513527836309727\ 587620148039/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^3 - 1707426605839075539556638787887500027652540999979477064448902243566\ 0782619161100/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^2 + 2066711698616710880005666777405253925671100205588645998496289819043\ 09090807454/2213519500365065396147697104276910428119437441621295306\ 14890064500618559405997*c_0101_5 + 6703635801419953175979526234263939868636096926580238817901474002905\ 22813144003/2213519500365065396147697104276910428119437441621295306\ 14890064500618559405997, c_0101_1 + 532904229746087334681588404066831869557014110670361051893941\ 212799028799952406/221351950036506539614769710427691042811943744162\ 129530614890064500618559405997*c_0101_5^32 - 6008681387006336706991077588521470614933521204958506173986501490736\ 219144961568/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^31 + 8040830018055613527851141034755241369068388623874978748512770755766\ 784916711346/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997*c_0101_5^30 + 3412002367945388504582644734490438936421600198525142688334395683302\ 8691601790308/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^29 - 1869894340835006231470972396571941357028698749361626917785287218876\ 88962503865040/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^28 + 2955753238142681066313919181132453327874001365298237534136114223317\ 17801492409826/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^27 + 5610947847795508302049238359773423063075088465832521896623633118155\ 40207648076295/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^26 - 2682845612048122633582769800597262075058526519714316742483354199717\ 679184580396872/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^25 + 2411183748114472400542428715855664076720997988875123783182781739032\ 9394947114421/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^24 + 7143648001499836709643298714661223421410752076980881890705648670908\ 538723383750876/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^23 + 3434181037913240621281507380736379955452452035446711838427912158513\ 851947877745946/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^22 - 1894199273706326604022314731677526118358610793179300709079218123579\ 9825821190844420/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^21 - 6115272365345390067864478177668250035102027350505015089006645486476\ 900114442572451/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^20 + 2897984248427458158329249219342040906783478026489990489453428997086\ 0595507139261056/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^19 + 1182940835853289473540207406821447534702117010020029393541864932362\ 3993771834314257/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^18 - 3159643750193872923080263593788265034865062139312303489873696616624\ 6331782021538881/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^17 - 2804010421490465752855601791193763893041301960204702097042933162040\ 7048835204223231/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^16 + 3310912983521146656080918445413251633921559560530168300367008380909\ 5728543309874057/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^15 + 3420363641935529052153841660459349253008708151456523449813849736952\ 0995291514722990/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^14 - 2337563379796312860477754243107758108782073103118072823512474392209\ 0456219849478538/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^13 - 3337799845653259273922714937848399338638229290763221093251656891996\ 9440738639601207/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^12 + 8060028722257667604761019410298897488328116615782231386522639766729\ 444201884882889/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^11 + 2770928435867796599088817961318818734282641690878781076066697657314\ 1524973564889728/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^10 + 1545607808594437032684740944757584137099347952002803173506712988085\ 834164187562575/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^9 - 1344344643119751826923392825242069372037830511803302369221199392021\ 1130272892286599/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^8 - 2889212751080912279579816807252727794734576806929695946944978599897\ 801386930544283/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^7 + 3067793742665551261167996143149270152903198938228927152274997443805\ 939749417728317/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^6 + 1111076048267777301839153046190579171660475362055971828911334467781\ 011384497053350/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^5 - 3126671675456164554512679300948293477243599452602970847085523455679\ 82673088794816/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^4 - 2049494024894249014303619218553341940766514674249427057740603299598\ 11029173705850/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^3 + 1117919981230105311917444000304269659343129789512896293210080677057\ 23028090680/2213519500365065396147697104276910428119437441621295306\ 14890064500618559405997*c_0101_5^2 + 1455140109745644629419403371920062314939582624892979297355609778409\ 1384687855045/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5 + 2033759931777989155967675723500349806065018537485545882335621716014\ 395421269769/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997, c_0101_3 - 128755650777708525578508941436660882131271509242408071298145\ 6068801871034535980/22135195003650653961476971042769104281194374416\ 2129530614890064500618559405997*c_0101_5^32 + 1459565833635093012330861186892749402687577281241112952782354536673\ 7605867832750/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^31 - 2035633439947029762531357682776582964664678924339761787141144287367\ 2331554918900/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^30 - 8069057187858530131909556823487583556230654081534314856964464129871\ 5433289249307/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^29 + 4558567496467584217530063019491790108829398145702507092392187120438\ 66482774859612/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^28 - 7443199106465149353554511152519788917573775795520569073924849959491\ 56377074695840/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^27 - 1294341579556140583591351709390300274333660085946444600410255462160\ 934386202665621/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^26 + 6530955928359725029064514469349703142541275086384862344708978705702\ 356362448760200/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^25 - 4906326671335723290796168057307864432392379824228952629054107036636\ 09611802312530/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^24 - 1699923715138519473663199448664083883517709948371578969995606848445\ 7957253616918231/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^23 - 7338912859866288588403045944633095342559668312434443648101198563444\ 999398950493921/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^22 + 4566186679136099628905931777903337298045753205972083059001875500575\ 4196402813100674/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^21 + 1187150757323540250922210169945070429030563361715374863814803232494\ 1728961051019475/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^20 - 6918855081245698768284989934687786195612957653680721159872086391112\ 1612179264832365/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^19 - 2434022448578945123928657704605475601284011039765928661525857967542\ 3884576127372084/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^18 + 7557184117632864704320137985968286368701099833372533504837362917811\ 2226428225240096/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^17 + 6285136605051035853149242239800359245107482048702261143977756004451\ 5359963437778617/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^16 - 8135564691325808823225302096996919524736332883070910449218679545223\ 9267450916701335/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^15 - 7614867913156125570537890320269802414322003915354600676604514626935\ 3349012611281607/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^14 + 5819099643317194561954606042647253527793243099258090632425908911507\ 8495098529819261/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^13 + 7532923953384879873282283477241703323105680922253211906335263059885\ 1945889443324445/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^12 - 2190999724131990471268724466875048263598648134113432907579279004577\ 3427031503642480/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^11 - 6372746581944358935516929226960339534808445466785438026583387990189\ 3327488264090747/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^10 - 8549056465388651996429405244173208798181290659189768415013115953365\ 32371229405484/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^9 + 3078673763267999928159563394757293974862199549064821181222564329643\ 3806579175204892/22135195003650653961476971042769104281194374416212\ 9530614890064500618559405997*c_0101_5^8 + 5400377324977806334627822880319984515660798174741005000697294253390\ 334363876976151/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^7 - 6941398111343422377724815918065545312815166088236469413962974462955\ 832347211223830/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^6 - 2257269641014924908422529658337771917748536143374655848326285523230\ 048379085680942/221351950036506539614769710427691042811943744162129\ 530614890064500618559405997*c_0101_5^5 + 7427747007259561731772222858808019747126176271794110254442298322182\ 12922943491601/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^4 + 4239714232201345911309873866958106920141342251956115688390846995366\ 08287966188356/2213519500365065396147697104276910428119437441621295\ 30614890064500618559405997*c_0101_5^3 - 1031433810806224919416208968976973420917477624219412253166050783844\ 0896827424546/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5^2 - 3039123540062927704577014930496878925982113696056353158902625794657\ 9451060219851/22135195003650653961476971042769104281194374416212953\ 0614890064500618559405997*c_0101_5 - 3648727255317943175866889699394502321205735165551021379375584732064\ 296382487724/221351950036506539614769710427691042811943744162129530\ 614890064500618559405997, c_0101_5^33 - 11*c_0101_5^32 + 12*c_0101_5^31 + 68*c_0101_5^30 - 333*c_0101_5^29 + 459*c_0101_5^28 + 1200*c_0101_5^27 - 4735*c_0101_5^26 - 1326*c_0101_5^25 + 13338*c_0101_5^24 + 10145*c_0101_5^23 - 33573*c_0101_5^22 - 21172*c_0101_5^21 + 50686*c_0101_5^20 + 37045*c_0101_5^19 - 52409*c_0101_5^18 - 68667*c_0101_5^17 + 46830*c_0101_5^16 + 80561*c_0101_5^15 - 25313*c_0101_5^14 - 73893*c_0101_5^13 - 2697*c_0101_5^12 + 55364*c_0101_5^11 + 17393*c_0101_5^10 - 23772*c_0101_5^9 - 12325*c_0101_5^8 + 3993*c_0101_5^7 + 3606*c_0101_5^6 + 24*c_0101_5^5 - 528*c_0101_5^4 - 106*c_0101_5^3 + 26*c_0101_5^2 + 11*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB