Magma V2.19-8 Wed Aug 21 2013 01:04:48 on localhost [Seed = 3052645854] Type ? for help. Type -D to quit. Loading file "L14n24644__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24644 geometric_solution 12.11108718 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 1 -1 0 0 -1 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.027661969719 0.775305569435 0 5 7 6 0132 0132 0132 0132 1 0 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 0 0 0 0 -1 -7 8 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261020773613 0.875215584326 7 0 8 4 0132 0132 0132 0213 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472072366813 0.830946289122 9 4 8 0 0132 3120 2310 0132 1 0 0 1 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 1 0 -1 1 0 -2 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.379875993106 0.467844106770 8 3 0 2 0132 3120 0132 0213 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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 1.046139761168 0.718253475193 10 1 11 11 0132 0132 0132 3201 1 0 1 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 1 -1 0 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595043467383 1.254878666542 9 12 1 11 2103 0132 0132 3120 1 0 0 0 0 0 -1 1 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 -8 8 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.631058698053 1.182096386577 2 10 12 1 0132 0132 1302 0132 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 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045937545173 0.958637735907 4 3 9 2 0132 3201 2310 0132 1 0 1 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 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544716154783 0.857371046689 3 8 6 10 0132 3201 2103 2103 0 0 1 0 0 -1 1 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 2 -1 -1 -1 0 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.159106467529 1.219932235376 5 7 12 9 0132 0132 1230 2103 1 0 0 1 0 1 -1 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 7 -8 1 1 0 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.531224523978 0.404520842798 6 5 12 5 3120 2310 0321 0132 1 0 0 1 0 0 0 0 0 0 0 0 -1 1 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 1 -1 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.117732820086 1.158081504092 7 6 11 10 2031 0132 0321 3012 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 0 0 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.926133811609 0.803385791714 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_5'], 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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']), 'c_1100_12' : negation(d['c_1001_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_3']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], '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_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_12']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_5, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 16190444772970600771957921797068759537963086257306987186497/3032156\ 57059773196394956820517486158496609966668047101057792*c_1001_2^16 + 5139867810659830637033797847008014896131689806326708133875/50535942\ 843295532732492803419581026416101661111341183509632*c_1001_2^15 - 3607594367102685038855850253856645188555398917268653510393447/30321\ 5657059773196394956820517486158496609966668047101057792*c_1001_2^14 + 8059407114538132650127391890547589347732706423825192074985047/303\ 215657059773196394956820517486158496609966668047101057792*c_1001_2^\ 13 - 1006210444145162945624878141579786488561199997039861634443419/\ 101071885686591065464985606839162052832203322222682367019264*c_1001\ _2^12 + 10252158350883342355504361958293620085065794835788200605475\ 53/12633985710823883183123200854895256604025415277835295877408*c_10\ 01_2^11 + 365063663865776467432797800091978612035901174352918899290\ 451307/303215657059773196394956820517486158496609966668047101057792\ *c_1001_2^10 + 1721879494518042986153965169976673426839365830830528\ 124353882503/303215657059773196394956820517486158496609966668047101\ 057792*c_1001_2^9 + 20785052931804652283558897629962448808983106153\ 96854762711632235/1516078285298865981974784102587430792483049833340\ 23550528896*c_1001_2^8 + 179988369150571005122769212818900145897730\ 314202022966887216759/842265714054925545541546723659683773601694351\ 8556863918272*c_1001_2^7 + 6963609956920030191811216712619575957772\ 883582002897333371956985/303215657059773196394956820517486158496609\ 966668047101057792*c_1001_2^6 + 30928515744411277738438448134833624\ 58815547723188101308647547309/1516078285298865981974784102587430792\ 48304983334023550528896*c_1001_2^5 + 4714276386071230380081030552526576128658574023535833759890270457/30\ 3215657059773196394956820517486158496609966668047101057792*c_1001_2\ ^4 + 40894786319917939081439422623411714461533644559781576294593809\ 19/303215657059773196394956820517486158496609966668047101057792*c_1\ 001_2^3 + 476799816647234095943882766467333768015115993338341114759\ 54511/50535942843295532732492803419581026416101661111341183509632*c\ _1001_2^2 + 6095487814075833686055638864732295815542401921633514945\ 6350293/12633985710823883183123200854895256604025415277835295877408\ *c_1001_2 - 4615526876158876647017109148566338540894337730366531510\ 623061/9475489283117912387342400641171442453019061458376471908056, c_0011_0 - 1, c_0011_11 + 4355001600032424407222567531476815627663896297957027/462783\ 35937083821183601468332949657890202986365697054496*c_1001_2^16 - 5391464815572824384266102219501251854717031850643985/23139167968541\ 910591800734166474828945101493182848527248*c_1001_2^15 + 973065154470738406286026277642552633307770477057272181/462783359370\ 83821183601468332949657890202986365697054496*c_1001_2^14 - 2717821863479144454644716791618915142552125431429574073/46278335937\ 083821183601468332949657890202986365697054496*c_1001_2^13 + 1590532821620458123792843747595592918809833798222083039/46278335937\ 083821183601468332949657890202986365697054496*c_1001_2^12 - 1491106032076963395856746694365709769845096914336700687/11569583984\ 270955295900367083237414472550746591424263624*c_1001_2^11 - 94735480663711797128069334804748175907434493747658007497/4627833593\ 7083821183601468332949657890202986365697054496*c_1001_2^10 - 404210465887264573513000701477878767546413897451561301953/462783359\ 37083821183601468332949657890202986365697054496*c_1001_2^9 - 404177500924633756425415862905938486411970713987790403123/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^8 - 223708404784087363731828864953257202625640396794092533221/115695839\ 84270955295900367083237414472550746591424263624*c_1001_2^7 - 419141797940616798403918694249971035381160210239794522203/462783359\ 37083821183601468332949657890202986365697054496*c_1001_2^6 - 14058389598402684208704895535956884510759741181804916737/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^5 + 11448049650242019299243368013098191279482133523009428357/4627833593\ 7083821183601468332949657890202986365697054496*c_1001_2^4 - 357260036024104585280203116452225286592931998802093031929/462783359\ 37083821183601468332949657890202986365697054496*c_1001_2^3 + 225322735680581446773956987811343388819992703584843856687/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^2 - 34615053047079305943876729230739158110352935694569970287/5784791992\ 135477647950183541618707236275373295712131812*c_1001_2 + 847485896115516226773991701991131369383717814700413267/144619799803\ 3869411987545885404676809068843323928032953, c_0011_12 + 181063902484388056274566806214668232174527364791666151/1851\ 13343748335284734405873331798631560811945462788217984*c_1001_2^16 - 176177187937533324683939513105836211826936731384589431/925566718741\ 67642367202936665899315780405972731394108992*c_1001_2^15 + 40358424427474055200418510125853787995239959912102416345/1851133437\ 48335284734405873331798631560811945462788217984*c_1001_2^14 - 91793538507699416407615565618766395517923829758139154993/1851133437\ 48335284734405873331798631560811945462788217984*c_1001_2^13 + 37274120185917618934311609259706989320620927157560253631/1851133437\ 48335284734405873331798631560811945462788217984*c_1001_2^12 - 2156843292989301193507306283678071596487050129425755749/14461979980\ 33869411987545885404676809068843323928032953*c_1001_2^11 - 4071742316077526959095270070755378971670404025538304727317/18511334\ 3748335284734405873331798631560811945462788217984*c_1001_2^10 - 19085931273468585317206248740563057855585521019660609745713/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^9 - 22837902844728545118689293351528610451044393894824766267825/9255667\ 1874167642367202936665899315780405972731394108992*c_1001_2^8 - 17613295957145973080328859500920988587848453197246672368043/4627833\ 5937083821183601468332949657890202986365697054496*c_1001_2^7 - 74653220346933138225704956100924586705706429967063552418031/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^6 - 32790926935937614452599738029678609224517589965955084534819/9255667\ 1874167642367202936665899315780405972731394108992*c_1001_2^5 - 49452098217464808490873856231907682198742412720034699816663/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^4 - 43274185205203310942960175001617978596367001841701745219889/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^3 - 602871916009423754841419606406580679109434082628199105031/925566718\ 74167642367202936665899315780405972731394108992*c_1001_2^2 - 1006173600792275311651471087090521026750819368781990265739/11569583\ 984270955295900367083237414472550746591424263624*c_1001_2 + 37235024162688007016066728330830519504495247867357788371/2892395996\ 067738823975091770809353618137686647856065906, c_0011_3 - 32450665615863317880681164122306213711230794619957/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^16 + 74503599854455844411093639652682066521162412972237/1156958398427095\ 5295900367083237414472550746591424263624*c_1001_2^15 - 7387145174184078059767806454594168870208003538831963/23139167968541\ 910591800734166474828945101493182848527248*c_1001_2^14 + 35660769951379550112677882877244889561235164870025763/2313916796854\ 1910591800734166474828945101493182848527248*c_1001_2^13 - 47626656237675704548578349372137479332421674588457853/2313916796854\ 1910591800734166474828945101493182848527248*c_1001_2^12 + 5162155510382597657532463737505666962425873932811862/14461979980338\ 69411987545885404676809068843323928032953*c_1001_2^11 + 520732106005326335376241099179063442377183498429219279/231391679685\ 41910591800734166474828945101493182848527248*c_1001_2^10 + 1575576708027602197703519312259480534609045919801704067/23139167968\ 541910591800734166474828945101493182848527248*c_1001_2^9 - 673066519290781495019926092533625279897650544209920413/115695839842\ 70955295900367083237414472550746591424263624*c_1001_2^8 - 3115306300925260510051650989889912325517212629811268479/57847919921\ 35477647950183541618707236275373295712131812*c_1001_2^7 - 30347725539627636301549810840111963366686728336035235619/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^6 - 20252890870220745092330270617275264139695085419132848119/1156958398\ 4270955295900367083237414472550746591424263624*c_1001_2^5 - 37976850648029545749620943183424875280085818798984423979/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^4 - 30199944536498020462642402585096325786376556444505851325/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^3 - 20464761970447734446467002488063121080045918457245948475/1156958398\ 4270955295900367083237414472550746591424263624*c_1001_2^2 - 736179063594024040917393091906026532987506517931606556/144619799803\ 3869411987545885404676809068843323928032953*c_1001_2 - 1054768309101027997222287819046065674199440042906059657/14461979980\ 33869411987545885404676809068843323928032953, c_0011_4 - 1189227971097819579776142113085698873186427557149223/2313916\ 7968541910591800734166474828945101493182848527248*c_1001_2^16 + 1102110559175628456206885111424054163456489864473721/11569583984270\ 955295900367083237414472550746591424263624*c_1001_2^15 - 264941215038064021800808044376207953711776067553115209/231391679685\ 41910591800734166474828945101493182848527248*c_1001_2^14 + 578560366666720222095129190661593707444258439992219181/231391679685\ 41910591800734166474828945101493182848527248*c_1001_2^13 - 207149932936012004051347904995017554384030294599351155/231391679685\ 41910591800734166474828945101493182848527248*c_1001_2^12 + 459592275451636308624554867805182527914905007725250879/578479199213\ 5477647950183541618707236275373295712131812*c_1001_2^11 + 26885980206223953846206521375926277961615833468294340429/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^10 + 127918053685858656219088626347801220129948731478020337909/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^9 + 156735829253872318530652586243754383066078922096567191879/115695839\ 84270955295900367083237414472550746591424263624*c_1001_2^8 + 124553544926938570613082619526684917774954093396185090199/578479199\ 2135477647950183541618707236275373295712131812*c_1001_2^7 + 550019408697934626114410259025204217077207683993005319631/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^6 + 249644862007081548211449886075714911742529026658301923273/115695839\ 84270955295900367083237414472550746591424263624*c_1001_2^5 + 388890390579904833984104274017262631095211874747524274247/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^4 + 341657402969369456130743986403813218676671745195357253133/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^3 + 28795196171260467968800420529547520317044979872364056053/1156958398\ 4270955295900367083237414472550746591424263624*c_1001_2^2 + 8642215474371635738899077472626993745980765931826507237/14461979980\ 33869411987545885404676809068843323928032953*c_1001_2 - 212679008289688396699679824456611951022251510635603400/144619799803\ 3869411987545885404676809068843323928032953, c_0101_0 - 1, c_0101_1 - 32450665615863317880681164122306213711230794619957/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^16 + 74503599854455844411093639652682066521162412972237/1156958398427095\ 5295900367083237414472550746591424263624*c_1001_2^15 - 7387145174184078059767806454594168870208003538831963/23139167968541\ 910591800734166474828945101493182848527248*c_1001_2^14 + 35660769951379550112677882877244889561235164870025763/2313916796854\ 1910591800734166474828945101493182848527248*c_1001_2^13 - 47626656237675704548578349372137479332421674588457853/2313916796854\ 1910591800734166474828945101493182848527248*c_1001_2^12 + 5162155510382597657532463737505666962425873932811862/14461979980338\ 69411987545885404676809068843323928032953*c_1001_2^11 + 520732106005326335376241099179063442377183498429219279/231391679685\ 41910591800734166474828945101493182848527248*c_1001_2^10 + 1575576708027602197703519312259480534609045919801704067/23139167968\ 541910591800734166474828945101493182848527248*c_1001_2^9 - 673066519290781495019926092533625279897650544209920413/115695839842\ 70955295900367083237414472550746591424263624*c_1001_2^8 - 3115306300925260510051650989889912325517212629811268479/57847919921\ 35477647950183541618707236275373295712131812*c_1001_2^7 - 30347725539627636301549810840111963366686728336035235619/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^6 - 20252890870220745092330270617275264139695085419132848119/1156958398\ 4270955295900367083237414472550746591424263624*c_1001_2^5 - 37976850648029545749620943183424875280085818798984423979/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^4 - 30199944536498020462642402585096325786376556444505851325/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^3 - 20464761970447734446467002488063121080045918457245948475/1156958398\ 4270955295900367083237414472550746591424263624*c_1001_2^2 - 736179063594024040917393091906026532987506517931606556/144619799803\ 3869411987545885404676809068843323928032953*c_1001_2 - 1054768309101027997222287819046065674199440042906059657/14461979980\ 33869411987545885404676809068843323928032953, c_0101_10 + 23951189962845845620498913824521359346087378836864257/46278\ 335937083821183601468332949657890202986365697054496*c_1001_2^16 - 21850120452397993003305196492915480448989811731028141/2313916796854\ 1910591800734166474828945101493182848527248*c_1001_2^15 + 5334708264176532648137689777156365964026914976245333519/46278335937\ 083821183601468332949657890202986365697054496*c_1001_2^14 - 11497809733812851801094032265696054301552129736267713423/4627833593\ 7083821183601468332949657890202986365697054496*c_1001_2^13 + 3844387630906893847013504339580155558247555945801024785/46278335937\ 083821183601468332949657890202986365697054496*c_1001_2^12 - 4611873528865866612750724283231806733260204893901322931/57847919921\ 35477647950183541618707236275373295712131812*c_1001_2^11 - 542705449369900024547747389644502753482202305244067651907/462783359\ 37083821183601468332949657890202986365697054496*c_1001_2^10 - 2592508556542761449780919460846078758147380577904309673695/46278335\ 937083821183601468332949657890202986365697054496*c_1001_2^9 - 3193497677747837383187100630682348323102880845297658919411/23139167\ 968541910591800734166474828945101493182848527248*c_1001_2^8 - 2556679251481122824326741964024434178258446837259442673609/11569583\ 984270955295900367083237414472550746591424263624*c_1001_2^7 - 11381669560340163819696010159213276817002618877177976536089/4627833\ 5937083821183601468332949657890202986365697054496*c_1001_2^6 - 5162487892080951123556810316588592587266121707227963574729/23139167\ 968541910591800734166474828945101493182848527248*c_1001_2^5 - 7840207112135593168355126998188715879269645614063904262209/46278335\ 937083821183601468332949657890202986365697054496*c_1001_2^4 - 6506052610985714065702323467404116824601881534584453289679/46278335\ 937083821183601468332949657890202986365697054496*c_1001_2^3 - 372241586326154478042249296671483715076601257705695963917/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^2 - 69027735220933000775031443772854419110477153250529787087/1446197998\ 033869411987545885404676809068843323928032953*c_1001_2 + 7842754402344210787251731066753910360397912120687450289/14461979980\ 33869411987545885404676809068843323928032953, c_0101_11 - 28076765389577564762364733709952636934690221866448263/46278\ 335937083821183601468332949657890202986365697054496*c_1001_2^16 + 27074529793149787901789045330991589520132039913828367/2313916796854\ 1910591800734166474828945101493182848527248*c_1001_2^15 - 6256256483327073677448283429403005076945256175517177273/46278335937\ 083821183601468332949657890202986365697054496*c_1001_2^14 + 14123505811654390919351996731104813715806571711308735777/4627833593\ 7083821183601468332949657890202986365697054496*c_1001_2^13 - 5312836567889524059395244683060822128181139716715897871/46278335937\ 083821183601468332949657890202986365697054496*c_1001_2^12 + 2643692110641532183657109453505057848203062180774341943/28923959960\ 67738823975091770809353618137686647856065906*c_1001_2^11 + 631911992546950507977383526430035868552671163811797635957/462783359\ 37083821183601468332949657890202986365697054496*c_1001_2^10 + 2969519640287783487738177086454121460285384311961209475457/46278335\ 937083821183601468332949657890202986365697054496*c_1001_2^9 + 3555837412989912715086704347782410262174451458206900320665/23139167\ 968541910591800734166474828945101493182848527248*c_1001_2^8 + 2733805316676963707830767428116978797169308394481574947499/11569583\ 984270955295900367083237414472550746591424263624*c_1001_2^7 + 11496442518909290071886315346879125559374328794923286486223/4627833\ 5937083821183601468332949657890202986365697054496*c_1001_2^6 + 4998100494691090596789842272749994083122350779507574762843/23139167\ 968541910591800734166474828945101493182848527248*c_1001_2^5 + 7554161297702099689132605453163627494829624063464869778967/46278335\ 937083821183601468332949657890202986365697054496*c_1001_2^4 + 6714618556949457514781911671886456866078346172764080187489/46278335\ 937083821183601468332949657890202986365697054496*c_1001_2^3 + 132775214692363644311692949894597167242691018593351152895/231391679\ 68541910591800734166474828945101493182848527248*c_1001_2^2 + 151182666069650290526847295381343938366206860337622669181/289239599\ 6067738823975091770809353618137686647856065906*c_1001_2 - 8174448844639194212321707194386952202611150214806089017/14461979980\ 33869411987545885404676809068843323928032953, c_0101_3 + 1, c_0101_5 - 241562607444278857196087251600494071225089479571149631/18511\ 3343748335284734405873331798631560811945462788217984*c_1001_2^16 + 234817104945839484759624764441423601930472659506604547/925566718741\ 67642367202936665899315780405972731394108992*c_1001_2^15 - 53839915918576334394323426359505997181992003816894463697/1851133437\ 48335284734405873331798631560811945462788217984*c_1001_2^14 + 122359455015111296712854480522916405925234326811701878705/185113343\ 748335284734405873331798631560811945462788217984*c_1001_2^13 - 48934377321762954892511352663703233296601466668451714095/1851133437\ 48335284734405873331798631560811945462788217984*c_1001_2^12 + 45887984737443031169183060215368226302178724883329739493/2313916796\ 8541910591800734166474828945101493182848527248*c_1001_2^11 + 5432636527396357643069316727997526707279919287536661717149/18511334\ 3748335284734405873331798631560811945462788217984*c_1001_2^10 + 25470498527974913645295316395638363198810121952497337183457/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^9 + 30463481982929723656010340314303887549173471951246305480173/9255667\ 1874167642367202936665899315780405972731394108992*c_1001_2^8 + 23455621454617772072092265646251003166449061757036365995991/4627833\ 5937083821183601468332949657890202986365697054496*c_1001_2^7 + 99099285020238748303417178326234505475283756602594128000743/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^6 + 43350037633461154884046364779938099262486816379927944320519/9255667\ 1874167642367202936665899315780405972731394108992*c_1001_2^5 + 65229948786323217227715822628310992382025445983873538021663/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^4 + 57133139449662600403553048143330499026119881320038723400113/1851133\ 43748335284734405873331798631560811945462788217984*c_1001_2^3 + 551430884417139406791178675139151715808877824289272869235/925566718\ 74167642367202936665899315780405972731394108992*c_1001_2^2 + 657839359174102564255111741538474942621934059436311948623/578479199\ 2135477647950183541618707236275373295712131812*c_1001_2 - 44287641330520590255478102884261539880192992841240733255/2892395996\ 067738823975091770809353618137686647856065906, c_1001_1 + 863261804835797192185718180738251001111728985209809/57847919\ 92135477647950183541618707236275373295712131812*c_1001_2^16 - 458625304857216350938420912888105022211029932281180/144619799803386\ 9411987545885404676809068843323928032953*c_1001_2^15 + 192604554752400774607746729467887238403957762466539447/578479199213\ 5477647950183541618707236275373295712131812*c_1001_2^14 - 471806179490222046826752295107769283907712552628942581/578479199213\ 5477647950183541618707236275373295712131812*c_1001_2^13 + 230648972508545373516786999768435015168538220168615595/578479199213\ 5477647950183541618707236275373295712131812*c_1001_2^12 - 637216514968014243000123290640975003042026589960418875/289239599606\ 7738823975091770809353618137686647856065906*c_1001_2^11 - 19216110865872827126865366961118045520031177852097007719/5784791992\ 135477647950183541618707236275373295712131812*c_1001_2^10 - 87373462542150686054108789578585019390119269916802754917/5784791992\ 135477647950183541618707236275373295712131812*c_1001_2^9 - 49757120544167196791157281497561837413762861255263002083/1446197998\ 033869411987545885404676809068843323928032953*c_1001_2^8 - 71670909059499580521423916651385293252636751821491951114/1446197998\ 033869411987545885404676809068843323928032953*c_1001_2^7 - 276720937276201187452926440443704786786451077743994783233/578479199\ 2135477647950183541618707236275373295712131812*c_1001_2^6 - 58372570721787501980649115252162035830787281140930633519/1446197998\ 033869411987545885404676809068843323928032953*c_1001_2^5 - 187266000402031253323126610117744891591554426011853784297/578479199\ 2135477647950183541618707236275373295712131812*c_1001_2^4 - 188180766524457960808232621475402959401683452996588265833/578479199\ 2135477647950183541618707236275373295712131812*c_1001_2^3 + 2188539617595183865068559720665925277489872440591269220/14461979980\ 33869411987545885404676809068843323928032953*c_1001_2^2 - 19814335904248487173577904967178318213762714297565182658/1446197998\ 033869411987545885404676809068843323928032953*c_1001_2 + 1908927580534428394635909795566471629387143930211530588/14461979980\ 33869411987545885404676809068843323928032953, c_1001_2^17 - 2*c_1001_2^16 + 223*c_1001_2^15 - 519*c_1001_2^14 + 233*c_1001_2^13 - 1536*c_1001_2^12 - 22403*c_1001_2^11 - 104199*c_1001_2^10 - 246542*c_1001_2^9 - 375316*c_1001_2^8 - 390841*c_1001_2^7 - 339242*c_1001_2^6 - 252849*c_1001_2^5 - 223495*c_1001_2^4 + 7102*c_1001_2^3 - 88176*c_1001_2^2 + 17728*c_1001_2 - 896 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.460 seconds, Total memory usage: 32.09MB