Magma V2.19-8 Tue Aug 20 2013 23:40:56 on localhost [Seed = 2017336479] Type ? for help. Type -D to quit. Loading file "K12n433__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n433 geometric_solution 10.83886195 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 1 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.890493016131 1.234780428200 0 3 4 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.591545032557 0.439954164228 5 0 0 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.234215841425 0.390775306822 7 1 8 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372319004294 1.384985844024 10 5 6 1 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876745371752 0.341078641782 2 9 4 10 0132 3120 2310 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.956218262449 0.618930485032 4 6 2 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.031377688261 1.172021317283 3 9 8 11 0132 1302 1302 0132 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 6 0 -6 5 0 1 -6 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.681603322119 0.973140313726 7 10 11 3 2031 1230 3012 0132 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 5 -5 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.356174280220 0.499284109664 11 5 3 7 0132 3120 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 -6 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.326190516855 0.728581625350 4 11 8 5 0132 1302 3012 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.417063591787 0.972089886049 9 8 7 10 0132 1230 0132 2031 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 6 -1 -6 0 6 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.327655570217 0.445662100677 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_1001_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_11']), 'c_1100_8' : negation(d['c_1001_11']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : negation(d['c_1001_11']), 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 's_1_7' : 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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : negation(d['c_0101_2']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1646929276206569684273264139558045000527557883501614040817507747378\ 558583/338865234537424569449081236908580485759920028765245290443024\ 610031436*c_1001_11^18 - 856757817264720835279956308414692366838163\ 45652152965717731614829983182981/7793900394360765097328868448897351\ 172478160661600641680189566030723028*c_1001_11^17 + 4193242977488711588646401223697085967629698422432966623543141232591\ 70684/2783535855128844677617453017463339704456485950571657742924845\ 01097251*c_1001_11^16 + 1529299159190087709809984990982655783982183\ 1932976134601683909927733734273/64949169953006375811073903740811259\ 7706513388466720140015797169226919*c_1001_11^15 - 3613255728985993958233745329664285196363530238077088274811563627469\ 23004627/7793900394360765097328868448897351172478160661600641680189\ 566030723028*c_1001_11^14 + 359596530484908228317391919598700579411\ 783874557142827663970370045461146151/779390039436076509732886844889\ 7351172478160661600641680189566030723028*c_1001_11^13 - 7343156361180559818025184055041077003727823841874679531881902932463\ 6678261/25979667981202550324429561496324503908260535538668805600631\ 88676907676*c_1001_11^12 + 3241042665786373979426930574561464179289\ 40998523389835373856730365387624/1771340998718355703938379192931216\ 17556321833218196401822490137061887*c_1001_11^11 + 6153202177213983622561105332953149901238832402556048324831171979008\ 2679/14459926520149842481129626064744621841332394548424196067142052\ 005052*c_1001_11^10 + 760152019125439612361972836984013884411800261\ 3873664109639979642898360661/11134143420515378710469812069853358817\ 82594380228663097169938004389004*c_1001_11^9 - 1458187526811541968620198101531804633493674739039182390870778801897\ 16259/1026864347083104755906306778510849956848242511409834213463710\ 9394892*c_1001_11^8 + 206070125357237879931765224942792039103405942\ 67766018679505272483019031271/1298983399060127516221478074816225195\ 413026776933440280031594338453838*c_1001_11^7 - 5936412134656204750234470244392305991750767605360919121051621687810\ 7268885/77939003943607650973288684488973511724781606616006416801895\ 66030723028*c_1001_11^6 - 61732084592545923439404109222239321445576\ 34468867664712629642246354724679/7793900394360765097328868448897351\ 172478160661600641680189566030723028*c_1001_11^5 + 4778162387199485591569407367247850062777413748828883034547007946998\ 241751/389695019718038254866443422444867558623908033080032084009478\ 3015361514*c_1001_11^4 + 258456636418442108205215945612185419377350\ 292804942980406137596676038571/389695019718038254866443422444867558\ 6239080330800320840094783015361514*c_1001_11^3 - 1286424577592220224922062264306638221118223218419432980483205332382\ 5016571/77939003943607650973288684488973511724781606616006416801895\ 66030723028*c_1001_11^2 + 41787782585614589278421844133497982161068\ 97196176486119911752967662986599/2597966798120255032442956149632450\ 390826053553866880560063188676907676*c_1001_11 - 5450647491821933240729851202664391721988622437381657940010079197826\ 16153/1298983399060127516221478074816225195413026776933440280031594\ 338453838, c_0011_0 - 1, c_0011_10 + 15629061735933639363392949243629285228591487773268363971421\ /283843767100539093275213038978136386139610768716596255478*c_1001_1\ 1^18 - 42490539379370276545922632583991058742020650475421376821895/\ 283843767100539093275213038978136386139610768716596255478*c_1001_11\ ^17 + 3202674508279091063764048388523541518921581522431217535900/20\ 274554792895649519658074212724027581400769194042589677*c_1001_11^16 - 9848240944188363107164806317903514098737012949234183893820/141921\ 883550269546637606519489068193069805384358298127739*c_1001_11^15 - 12991901179081856170181311441825973346707727306214208667817/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^14 + 19246881088103829764853304644856949734661636310307378225885/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^13 - 11800090011637374138151170048067680690820586219592505690585/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^12 - 10438112285265877794331073751169273995529352455335122103482/1419218\ 83550269546637606519489068193069805384358298127739*c_1001_11^11 + 2884296084670753034462355554915332089798766022247786810451/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^10 - 682759699502497112449609191955483636673156153992988962247/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^9 - 2903800055594635847899522662310559890717539013187988606917/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^8 + 5424920618379966507569830973287366052826524723044162961497/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 - 3129814176628358404781874229233594144693097725107183141685/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^6 - 3584427164948288366432509442325538173441869789506479333691/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^5 + 921566528867083756751663062280773940946877446418433253441/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^4 - 577093921056079585219441233229868792916747383530235349619/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 - 1009693353426065397025077221134533470488999181435785257317/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^2 + 679113058619544756313716731986628667531023584659412152843/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11 - 36726094023493676331696170424505868661937141151620205795/1419218835\ 50269546637606519489068193069805384358298127739, c_0011_11 - 18063780010076355119849668054371993269001103048504427142591\ /567687534201078186550426077956272772279221537433192510956*c_1001_1\ 1^18 + 13540393277061218070647614564832483163230172623006617502574/\ 141921883550269546637606519489068193069805384358298127739*c_1001_11\ ^17 - 2492213132518732086377786778499319413347645467878420788774/20\ 274554792895649519658074212724027581400769194042589677*c_1001_11^16 + 27389035259510699759022353167275816737806867235961482551809/28384\ 3767100539093275213038978136386139610768716596255478*c_1001_11^15 - 22656950025883854915125589563166372655644946335889146188261/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^14 + 3697134057455742179799130174931576559759122945124708174911/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^13 - 2979683022488984731895958140776236467051131526686358860519/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^12 + 27413581752427282205497412304951461563179081051847671411691/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^11 - 976819683790924496305161792341559845237553725875434121893/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^10 + 1766898924562727515065821776324471000228692018216106091423/81098219\ 171582598078632296850896110325603076776170358708*c_1001_11^9 - 2123168732724947484156060036358266381249767576304405080492/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^8 - 638890476489222483903030895280597127882119624665838287863/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^7 - 2218975459190625824367610251840890520783617125179343430037/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^6 + 1339340240405423016160812828154218482410319446515321153374/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^5 - 661849383127446077065348978158953588231638964870246177673/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11^4 + 327819992049998142597534586856478533968224591644615002461/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 - 173739358864133093847244007207807465087142872546235474273/567687534\ 201078186550426077956272772279221537433192510956*c_1001_11^2 + 58614428013375576092330303968995209361924733897962585863/2838437671\ 00539093275213038978136386139610768716596255478*c_1001_11 - 125809131180817237746564381199194684876157505091508255250/141921883\ 550269546637606519489068193069805384358298127739, c_0011_6 - 17134484496057687605061139766271668656683212138433678823799/\ 567687534201078186550426077956272772279221537433192510956*c_1001_11\ ^18 + 11966467241691848797752008121284220450867006041286468215606/1\ 41921883550269546637606519489068193069805384358298127739*c_1001_11^\ 17 - 1995460710358680980674574991870547290491569093383599814724/202\ 74554792895649519658074212724027581400769194042589677*c_1001_11^16 + 18370168165275379381834736510433750598122508811155730418171/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^15 - 6015181156834838707177630158435573003424655365553740080717/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^14 - 2268398615924439975380847473522881903882508520134976850471/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^13 + 6014306477356269168513723028510813027075160866430689178237/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^12 + 23675442602198456212523988071835958295119098506393678957843/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^11 - 853115000243664776171138311620929394122657627692811217039/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^10 + 1672551998359615338478044997858902128671616255344613970839/81098219\ 171582598078632296850896110325603076776170358708*c_1001_11^9 - 924670390672398005684015715240814717113907240509546678546/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^8 - 1644415058263761663406239882891147005594862028845117867713/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 + 1941818615390179175876213689228433575308888922670068214235/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^6 + 740142890744351269577324738774836045442559838026145329344/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^5 - 990629040755117136564316447412141656518249112456310741707/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11^4 + 494447740158595824341584558537089010022461322833076087800/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 + 565324047480493559988001357651355387243771637639803712503/567687534\ 201078186550426077956272772279221537433192510956*c_1001_11^2 - 138780922776960035381606954262091820993266782959082931007/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11 + 74956681379972654561613663648847485111791490006348989967/1419218835\ 50269546637606519489068193069805384358298127739, c_0011_8 + 6619312023902671099089073747476743128449481609428071885079/5\ 67687534201078186550426077956272772279221537433192510956*c_1001_11^\ 18 - 8018797349789139118631258926313195804175694795117343353210/141\ 921883550269546637606519489068193069805384358298127739*c_1001_11^17 + 2346824151504516993349593120137669334996761643139209059070/202745\ 54792895649519658074212724027581400769194042589677*c_1001_11^16 - 38001549663743223595435285780681250041037966777954733303779/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^15 + 51082097499308179587870739564480360996582564299095613930417/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^14 - 6094336829342062165605314893965191112698537315981465871525/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^13 - 10831284423295081592177927876144732571190247202756799824233/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^12 + 4066462444163423411948864420186189966801258610188287423289/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^11 + 732740552238350814617043004303130064016379100287211146236/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^10 - 3965984413217929605349444312524926865206433061750844722611/81098219\ 171582598078632296850896110325603076776170358708*c_1001_11^9 + 4362490597223158359130376541563134787114988937033869450106/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^8 - 1032587847330261874829746380367754657711264076434829689732/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 - 6538423620235455715395589002161210538332695176954874184411/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^6 + 876151602834620792676353875102187021722172329016854827812/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^5 + 900373636545660968087572134043542994454200511125436699393/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11^4 - 691639378929984640687870614492180831326441961850720587770/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 + 2025991516900821688949763387608492570323567543843510328185/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^2 - 157246988040368927204125231570253445224021143155144868435/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11 - 135298360995837042360141399978893394506509841598030927485/141921883\ 550269546637606519489068193069805384358298127739, c_0101_0 + 10470308104283603923441421593269542117351970811606214408035/\ 283843767100539093275213038978136386139610768716596255478*c_1001_11\ ^18 - 26344023765610348451622229331113108103176188647947218600887/2\ 83843767100539093275213038978136386139610768716596255478*c_1001_11^\ 17 + 1931950936998004244196873730950612749764536026058420262568/202\ 74554792895649519658074212724027581400769194042589677*c_1001_11^16 - 8021522535741103144278073658623658534389881517926291286121/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^15 + 2179123076983834813899549480834741671126552857737190607069/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^14 - 2327607856021868958952335875441565962208331762302471150035/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^13 + 2546522779664033833736941869632534508156419116853991697511/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^12 - 8627540651784681124299794164723358657343409481879077813726/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^11 + 1184988809700874074996480954230277555219693525805386056223/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^10 - 247475645800855827402853447672122266403952758313593156965/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^9 + 671588294907106189123172719955513323425415503913829528733/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11^8 + 1510180170269112078572776515811139043107167647324608055149/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 + 2212914285627480941491592169709742470439170458070242151371/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^6 - 2945645182290431909930058438811220382381267004027234044491/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^5 - 166125434213711745471931364580092020821071077997304953151/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^4 - 206538455995487114591888106509338338883315607048409678332/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 - 959813369889688602316604726786438985222063174340702013703/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11^2 - 88510845019393960939592795124604189624222903589484654129/2838437671\ 00539093275213038978136386139610768716596255478*c_1001_11 + 135936377345376705338401566128702466158461995636311212034/141921883\ 550269546637606519489068193069805384358298127739, c_0101_1 - 4181410558527913404527559617104435326384923798523756229855/1\ 41921883550269546637606519489068193069805384358298127739*c_1001_11^\ 18 + 11934349257911261625135150970505792380556664281084969020072/14\ 1921883550269546637606519489068193069805384358298127739*c_1001_11^1\ 7 - 2011891935967178485754816133342314569767280947199610899215/2027\ 4554792895649519658074212724027581400769194042589677*c_1001_11^16 + 8556959677665341618838509401760579139000201681711635339706/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^15 + 841732257863986314808191997854538103734729698880642173688/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^14 - 4655861916915765898913066304089814203344250343760778186611/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^13 + 3913531197326359470857283128902094203409724966290403869048/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^12 + 5021279272026139203042989938111938570755626706839164458806/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^11 - 867722437163479042092758559577359981334578843104385708225/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^10 + 352660212270261496101136991841683067675557929822490505248/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^9 + 67220775619873224528013041666992984901834072710630387472/1419218835\ 50269546637606519489068193069805384358298127739*c_1001_11^8 - 2875279229571411730835112991308998878312868988364120476008/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 + 1207622750108545230688853280143767181935326161250068295199/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^6 + 853142094371109260835899399398451426913960158035756018849/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^5 - 487951556633496661546667876726239150991464815567101951793/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^4 + 398838590860465572985481767828283854346072561295795346501/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 + 391851838763649356500986394131528712921226622488152406321/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^2 - 205393602900388587678629313253672261527768370411914890033/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11 + 6030813479792212384439048366057916678781518648749998889/14192188355\ 0269546637606519489068193069805384358298127739, c_0101_11 - 8379277827941457394743519745463972121469301822885710727691/\ 567687534201078186550426077956272772279221537433192510956*c_1001_11\ ^18 + 8825006625579002179289732329510542724531792803100147504194/14\ 1921883550269546637606519489068193069805384358298127739*c_1001_11^1\ 7 - 2236291848860342730677482433283536661504336708252615171900/2027\ 4554792895649519658074212724027581400769194042589677*c_1001_11^16 + 33768122013369813754713334307956761370826113645874489812479/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^15 - 50119503194042817158857758347777830230129615668189400924217/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^14 + 12457329823756844986263094133131076911278778583659468232241/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^13 - 8372017524607634433316050659883952914051360994691464935031/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^12 + 12119836518394396548472258278742855680777145755131409451067/5676875\ 34201078186550426077956272772279221537433192510956*c_1001_11^11 - 988055287388580981809433667917896903300250618448609304377/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^10 + 3254848981376298521989252353130662596263720552424187267091/81098219\ 171582598078632296850896110325603076776170358708*c_1001_11^9 - 4382211087210655223920528122016443770180903397772423571127/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^8 + 1893290222054419189968836245696407504598772709713867383424/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 + 1810519088467901368418707210554117681475918612543328209843/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^6 + 461590999362133352631545638511837342939397168152776852773/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^5 - 1136272361198567718248643630413886823368636551948213889555/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^4 + 355711376164735711542611857879983614291054325764936652359/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 - 2110971940320004866563634297347146884782204840721029199509/56768753\ 4201078186550426077956272772279221537433192510956*c_1001_11^2 + 11544008343231316562067510643512230525931455726398779235/2838437671\ 00539093275213038978136386139610768716596255478*c_1001_11 - 18277980351452324540352568402710727212055083356730356420/1419218835\ 50269546637606519489068193069805384358298127739, c_0101_2 - 833793467419806744076252659329193000945336156978549014825/14\ 1921883550269546637606519489068193069805384358298127739*c_1001_11^1\ 8 + 1734791609749395085023134418894008369876952655550775094767/2838\ 43767100539093275213038978136386139610768716596255478*c_1001_11^17 - 165664128384818827485158261407873238128726178135108127635/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^16 + 5118344016628149533098192729426654063883535502769669471716/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^15 - 8478693417755279638702646684336829489892175715027631091592/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^14 + 17802332484105296134572123729017539826611967844640920634499/2838437\ 67100539093275213038978136386139610768716596255478*c_1001_11^13 - 4795577395548052637138598654052870638996475570510468970774/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^12 + 5857160619189901207928255734494283386444393643314658902751/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^11 + 378176443457241500601972212261829517420624050394421591459/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^10 + 177925189552340159976326822144006574976490577032344648061/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^9 - 6232248952893906918955250550238466525110139538512403705741/28384376\ 7100539093275213038978136386139610768716596255478*c_1001_11^8 + 1785820648306304184488637188921001782368178198503158175456/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 - 1903094807217349614504811051965460469529110418934641482460/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^6 + 459348614443050326110812713115550994885088135102224518021/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11^5 + 572615213443745515957982758351648228704073679146964041146/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^4 + 279770309138149104061578284391595457759365766229058372493/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 + 15013073264189436988153570282089140646290175871500613144/1419218835\ 50269546637606519489068193069805384358298127739*c_1001_11^2 + 458980860474406443456236184499408172076585024283355408653/283843767\ 100539093275213038978136386139610768716596255478*c_1001_11 - 87857349108792033698551033562888344084046755923783451027/1419218835\ 50269546637606519489068193069805384358298127739, c_0101_5 - 990946963824108374274549197519861782714740496557981294647/14\ 1921883550269546637606519489068193069805384358298127739*c_1001_11^1\ 8 + 1946621825118137530300531813867041141719867130111568636738/1419\ 21883550269546637606519489068193069805384358298127739*c_1001_11^17 + 99216327892664153860396673772571172610787165714433011741/2027455479\ 2895649519658074212724027581400769194042589677*c_1001_11^16 - 6962821664704597784170665922248164011053191444312952675198/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^15 + 11574350792851474491889710978500821199849959450788242215192/1419218\ 83550269546637606519489068193069805384358298127739*c_1001_11^14 - 8282463404244133084191573173247805482154474282996597614137/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^13 + 1392021406744238277606313248994297741947555932255989788340/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^12 + 3771132819376346406283641971772803929099749091932565584224/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^11 - 183296272520803114395140306217463884803309098458026088357/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^10 - 428233667834961681913732338848040501299014996469886650641/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^9 + 4978701773758131927459299010414041665453987438048496858809/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^8 - 3003762751123875298365672275663923419628238202111265730867/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^7 - 235571938279368743611377139558884619553431078306397338156/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^6 + 1021599308883616208651706957030608470510070360972559948681/14192188\ 3550269546637606519489068193069805384358298127739*c_1001_11^5 - 166197154565731069252597312834745045504280682061845776201/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^4 - 413353387457801088649107830352592046991841481184308579164/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^3 + 658454344252703714620171456775862619145332357572054129432/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11^2 - 115665724284362556411087998213986039572782701677504269764/141921883\ 550269546637606519489068193069805384358298127739*c_1001_11 - 146843806498717859518725942318346168375903265252027577109/141921883\ 550269546637606519489068193069805384358298127739, c_1001_1 - 262895758403251595762114761879068357681890124892743457729/40\ 549109585791299039316148425448055162801538388085179354*c_1001_11^18 + 40623138834796386851569317081304399356829956961140369769/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^17 + 556694334592897691070864231222677859725650508241415565722/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^16 - 1081801797781327504825323570129215422645074083193629536142/20274554\ 792895649519658074212724027581400769194042589677*c_1001_11^15 + 2549612585519667320583950355236994810687024130247513934495/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^14 - 1424743301128109334120499666051435083792173199124662132331/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^13 + 240903868304435150311095780665378628754730292247585003865/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^12 + 364710873007187159128913888101799595586189887965028271526/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^11 + 902603190553263000940264207104460929683862970259879120125/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^10 - 1321086881096159565488899308951016465877622495093756070883/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^9 + 1078199616710086689056518377517155608853153706977415010349/40549109\ 585791299039316148425448055162801538388085179354*c_1001_11^8 - 260213449623014794505558163998029216068566153132360181260/202745547\ 92895649519658074212724027581400769194042589677*c_1001_11^7 - 358459936354489441089922637591945998551494069116070506225/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^6 + 283293825014431516575850573968517588136856793857170411469/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^5 + 78250417465913851648574831154280122152812359645722287334/2027455479\ 2895649519658074212724027581400769194042589677*c_1001_11^4 - 92193131391181498906466097212497591478670072635117997337/2027455479\ 2895649519658074212724027581400769194042589677*c_1001_11^3 + 141283380838688743758522701698719533838171303899380025681/405491095\ 85791299039316148425448055162801538388085179354*c_1001_11^2 + 15589734651495041497030617144835423371140275297320693543/4054910958\ 5791299039316148425448055162801538388085179354*c_1001_11 - 17951982013261702207164946904266956783733129857863074359/2027455479\ 2895649519658074212724027581400769194042589677, c_1001_11^19 - 23372/8947*c_1001_11^18 + 23168/8947*c_1001_11^17 - 10058/8947*c_1001_11^16 - 3671/8947*c_1001_11^15 + 2026/8947*c_1001_11^14 + 3167/8947*c_1001_11^13 - 18467/8947*c_1001_11^12 + 12100/8947*c_1001_11^11 - 861/8947*c_1001_11^10 - 52/389*c_1001_11^9 + 3048/8947*c_1001_11^8 + 2161/8947*c_1001_11^7 - 4548/8947*c_1001_11^6 + 1042/8947*c_1001_11^5 - 116/8947*c_1001_11^4 - 715/8947*c_1001_11^3 + 98/8947*c_1001_11^2 + 424/8947*c_1001_11 - 8/389 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.820 Total time: 3.029 seconds, Total memory usage: 32.09MB