Magma V2.19-8 Wed Aug 21 2013 01:02:24 on localhost [Seed = 3069226308] Type ? for help. Type -D to quit. Loading file "L14n14773__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14773 geometric_solution 12.03783396 oriented_manifold CS_known -0.0000000000000012 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 1 0 1 -1 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 1 1 1 0 0 -1 -2 2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591747145210 1.055355970836 0 4 5 4 0132 0132 0132 1230 0 0 1 0 0 0 0 0 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 -1 0 0 1 1 -1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473636493255 0.447053744074 0 0 7 6 2031 0132 0132 0132 0 0 1 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 -1 0 0 1 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595784815115 0.720900662258 8 9 0 6 0132 0132 0132 2103 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 -1 -1 2 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.220853972057 0.401121729850 1 1 10 11 3012 0132 0132 0132 0 0 0 1 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.103682740344 0.937385466542 8 11 8 1 3201 0132 3012 0132 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 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690890725802 0.646597468368 10 10 2 3 1302 3012 0132 2103 0 0 0 1 0 1 -1 0 0 0 1 -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 -2 2 0 0 0 -1 1 0 2 0 -2 6 -5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465914664015 0.755819879561 10 9 8 2 2031 0321 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006363908920 1.056036778536 3 5 7 5 0132 1230 3120 2310 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 0 0 0 0 0 0 0 0 0 0 0.425227560815 1.576772296462 12 3 12 7 0132 0132 1023 0321 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 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.891479186086 1.025050800496 6 6 7 4 1230 2031 1302 0132 0 0 1 0 0 0 0 0 1 0 -1 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 0 0 0 -2 0 2 0 5 -6 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465914664015 0.755819879561 12 5 4 12 3120 0132 0132 2031 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675478135183 0.367293508491 9 11 9 11 0132 1302 1023 3120 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374807456333 0.515077741651 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0011_6'], 's_3_11' : 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' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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_1100_9' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_8']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : negation(d['c_0011_11']), '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' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), '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_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2'])})} 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_10, c_0011_11, c_0011_12, c_0011_6, c_0011_7, c_0101_1, c_0101_11, c_0101_2, c_0101_8, c_0101_9, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1919683047193707639832500402747117380433537720772599813727498998330\ 108533257050680589903478221/129761743285013133359744922437727176407\ 902257215309602222719605412407511744651547169384375514848*c_1001_2^\ 15 - 15313898315390052991313861353128923907331431672677751772424258\ 1397461160061417795735678337580719/16220217910626641669968115304715\ 897050987782151913700277839950676550938968081443396173046939356*c_1\ 001_2^14 + 36007903091676251236015839073535930099005189381651136273\ 74766830640324293265370397692149610752809/6488087164250656667987246\ 1218863588203951128607654801111359802706203755872325773584692187757\ 424*c_1001_2^13 + 6278726348689382675160790952528466478006242438041\ 570544359064376833267321445312107771245720785647/129761743285013133\ 3597449224377271764079022572153096022227196054124075117446515471693\ 84375514848*c_1001_2^12 - 97342915166808386077016879735723124315546\ 8489452675031179938116843828388492742860415576506129359/32440435821\ 2532833399362306094317941019755643038274005556799013531018779361628\ 86792346093878712*c_1001_2^11 - 30771888787086480313768028998894084\ 606882228716224490143975953011917683073886850024496595272779999/324\ 4043582125328333993623060943179410197556430382740055567990135310187\ 7936162886792346093878712*c_1001_2^10 + 2774856725846835256541828409076325836149364623814728001506852695310\ 398191458305970313333728355317/185373918978590190513921317768181680\ 58271751030758514603245657916058215963521649595626339359264*c_1001_\ 2^9 + 1463044041588580683408442101895687681264780815066819990239403\ 99958691769877126272243361746556672585/1297617432850131333597449224\ 3772717640790225721530960222271960541240751174465154716938437551484\ 8*c_1001_2^8 - 5206273099305467412792782112887481761781577546718503\ 6361026348412569727040078676735677664497505961/64880871642506566679\ 8724612188635882039511286076548011113598027062037558723257735846921\ 87757424*c_1001_2^7 + 120901677648417644663242148889727681130450618\ 6708002007404679894556613654033688342773375465926009313/12976174328\ 5013133359744922437727176407902257215309602222719605412407511744651\ 547169384375514848*c_1001_2^6 - 12500961665666522460024582853578671\ 9215691421341688188947858649044316634290784322586898910386061471/64\ 8808716425065666798724612188635882039511286076548011113598027062037\ 55872325773584692187757424*c_1001_2^5 - 4146483731163187572293164363399094120043762332240871075547584463381\ 29258175397914599645853261497491/6488087164250656667987246121886358\ 8203951128607654801111359802706203755872325773584692187757424*c_100\ 1_2^4 - 24908868043762748059401376068021896265140934432811712331093\ 58106426082227655191761538164232521955/4226766882247984799991691284\ 61652040416619730343028020269444968770057041513522954949134773664*c\ _1001_2^3 - 4589625651617460260951076918915795021566270055333157453\ 811101228500109016300958159240641840339704035/129761743285013133359\ 7449224377271764079022572153096022227196054124075117446515471693843\ 75514848*c_1001_2^2 + 287587085817414704790211538030493526627472440\ 217347784764722646956025211087179611561817201614412533/185373918978\ 5901905139213177681816805827175103075851460324565791605821596352164\ 9595626339359264*c_1001_2 - 114671208750986552186293689321472752517\ 3391640798765338942344410907048671094050491983316629407379171/12976\ 1743285013133359744922437727176407902257215309602222719605412407511\ 744651547169384375514848, c_0011_0 - 1, c_0011_10 + 22602960204182825771087888663939172677251939369477961456557\ 4820/34904966861916726854667706930576985338879445649665689219121717\ 862493*c_1001_2^15 - 1437745927053632733108834374114750952484411466\ 50393355178181948611/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^14 + 546396777643718086287443433748331622596891696251884683223138889875/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 + 191363484893028099183968514686063496993595617701247\ 1544109658785937/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 + 3478867433206302109440042771824602\ 427288505178590701311463381975457/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 - 7828052371626544520722066180792689748862342409937416577841238123964\ /349049668619167268546677069305769853388794456496656892191217178624\ 93*c_1001_2^10 - 20975934070641211640936021292770284230284102911913\ 32797165055561725/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^9 - 11681933700044852665376873334394928\ 551319448422042433142573597720842/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^8 - 2978518805723315518903022123427886651361737463109087070493319135747\ 6/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 + 77122294524707802095425685611013750326469003551378\ 421551578572026515/349049668619167268546677069305769853388794456496\ 65689219121717862493*c_1001_2^6 + 137107591618735032182444572018652\ 846481719888142386187240200013110106/349049668619167268546677069305\ 76985338879445649665689219121717862493*c_1001_2^5 + 1725356648595205119320703599529751594466209657923052147200132587563\ 58/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^4 + 2090514246587019206794858830995331519960759091224\ 31914825031087250487/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^3 - 1071279606253593213495428314132834538518062108807567630584286613889\ 82/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^2 + 9816675576635334004812619772195141641857068208696\ 58528679610414803/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2 - 4959329386373449243377767571806170332\ 6385477694099574315410494841827/34904966861916726854667706930576985\ 338879445649665689219121717862493, c_0011_11 + 45222080183509346473407183634170746050322497740760855915166\ 0109/34904966861916726854667706930576985338879445649665689219121717\ 862493*c_1001_2^15 - 2873795034119684263357255719831380763400777994\ 91805856214873815158/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^14 + 919945293432953475680566992218850247403965542858253699533127306235/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 + 443829461814298342699472104268911629166219974680841\ 6883713181476597/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 + 9349067589802545982367956471357843\ 217238793168735461182795035675393/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 - 1039387941405906253209444424275684694378665187690635504993399063974\ 8/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^10 - 5195528818847182455315482563216926296350916600728\ 869599491557076153/498642383741667526495252956151099790555420652138\ 0812745588816837499*c_1001_2^9 - 4118614603519631545117503492242430\ 8693667967734698083571502881023302/34904966861916726854667706930576\ 985338879445649665689219121717862493*c_1001_2^8 - 8466387953975037255651901979106923890745550963742068183737947830358\ 5/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 + 10669553363707327560692922416549253830020235575805\ 7387128150025151258/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^6 + 3465184235756632913486838496752936876169976806341611861216381362795\ 06/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^5 + 5160455494469823799057373475759713462563644322801\ 16588162548624318639/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^4 + 7089967872189075196810741343181578625911240932355913531785994274618\ 78/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^3 + 1888046117131161347768723128047746391349033767061\ 15231531108147957134/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^2 + 1257027373486038326729088654878433331656977737809518996580073388607\ 7/49864238374166752649525295615109979055542065213808127455888168374\ 99*c_1001_2 + 78587519638782756393640294438076218905866950270521476\ 2683811744160/34904966861916726854667706930576985338879445649665689\ 219121717862493, c_0011_12 - 25416337679773591221885767127464003640494882647798721040198\ 796/498642383741667526495252956151099790555420652138081274558881683\ 7499*c_1001_2^15 + 161516680845885901287581614405725160449904365962\ 04370418526441960/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^14 - 5169225902871098323790591805136952\ 9384787120449572400454660789813/49864238374166752649525295615109979\ 05554206521380812745588816837499*c_1001_2^13 - 244306042274464811768287403559346814941185929421798951699142949198/\ 4986423837416675264952529561510997905554206521380812745588816837499\ *c_1001_2^12 - 5423403977691993095724543040682707991112124032568986\ 24379502668427/4986423837416675264952529561510997905554206521380812\ 745588816837499*c_1001_2^11 + 4994237563695028250553566795869737131\ 08479737663627722939859932828/4986423837416675264952529561510997905\ 554206521380812745588816837499*c_1001_2^10 + 1883581356455958155875757434027382300927395037387761943936492811144\ /498642383741667526495252956151099790555420652138081274558881683749\ 9*c_1001_2^9 + 2582068786067229751211983554006655717310324465674059\ 599731509006010/498642383741667526495252956151099790555420652138081\ 2745588816837499*c_1001_2^8 + 5465825217173687548909329836814751944\ 799679404838495490659817884215/498642383741667526495252956151099790\ 5554206521380812745588816837499*c_1001_2^7 - 5448295709193530203247342063650263413856552442225025600138151337412\ /498642383741667526495252956151099790555420652138081274558881683749\ 9*c_1001_2^6 - 1872811867181974389303962446621857835307070248703089\ 3356151915346260/49864238374166752649525295615109979055542065213808\ 12745588816837499*c_1001_2^5 - 301513051839741306780223936828216945\ 89531418034170312289967692789638/4986423837416675264952529561510997\ 905554206521380812745588816837499*c_1001_2^4 - 4707685598215102132439388859342610061999103284904197863403921892706\ 0/49864238374166752649525295615109979055542065213808127455888168374\ 99*c_1001_2^3 - 174438642005669659807122201382305468750135646105569\ 00881704543645307/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^2 - 10841547924101786791027765440384329\ 456253204372489487237118031346826/498642383741667526495252956151099\ 7905554206521380812745588816837499*c_1001_2 - 4344933732564542010897691840718947677047629550820167210205923479237\ /498642383741667526495252956151099790555420652138081274558881683749\ 9, c_0011_6 - 169798708168367305668505640145502554282571495264495566265600\ 010/349049668619167268546677069305769853388794456496656892191217178\ 62493*c_1001_2^15 + 10787738727371253742093046813600125662242754243\ 0696331909731061667/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^14 - 328175306070568731856648697222207008511966477571642491762452073076/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 - 172234995123955582523130914009936750148853918869210\ 5996829286518793/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 - 3801456621855198931688367266528609\ 991753863968025206163297272991791/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 + 3480076585198275423058831181934236115820776646676579753655923856086\ /349049668619167268546677069305769853388794456496656892191217178624\ 93*c_1001_2^10 + 20733130225668396572895220141896781864273638558517\ 63077619536275920/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^9 + 18231448905971423816543547861338903\ 541626041824582339263421294729639/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^8 + 3252527871232722985132122860414100037982350238132499913906408729199\ 8/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 - 35548202614881733789533361429885716474605431447256\ 047623625431208698/349049668619167268546677069305769853388794456496\ 65689219121717862493*c_1001_2^6 - 140047389328641804970866176518990\ 930788807472817814366246802713024970/349049668619167268546677069305\ 76985338879445649665689219121717862493*c_1001_2^5 - 2164729057790216772976293580349182402011614163718112682634561938769\ 48/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^4 - 2806867614140908602714906612426192470069308989362\ 88216617744038127095/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^3 - 1098301962409109487644847927599151481646929302631708515222595140347\ 02/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^2 - 1801689228932339097996704741959186744785985129982\ 375320169674686462/498642383741667526495252956151099790555420652138\ 0812745588816837499*c_1001_2 + 118294860350239469275391503721777500\ 03736683312160562648362114014382/3490496686191672685466770693057698\ 5338879445649665689219121717862493, c_0011_7 + 265225181513334110065730347907755269789646495335622151022259\ 740/349049668619167268546677069305769853388794456496656892191217178\ 62493*c_1001_2^15 - 16860185230052532536649923985045297800351891649\ 9326101557974876085/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^14 + 574666354637933923904244696607911271406439976052834958826410162516/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 + 248143697786269926917362294017670013609375917842187\ 0851832608398958/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 + 4982734430081306504489559387380727\ 160034805469840857025888796504407/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 - 7135237053438761788106736548940482513135467751467062561700005567300\ /349049668619167268546677069305769853388794456496656892191217178624\ 93*c_1001_2^10 - 28566684892075942519103732115336219940973475801441\ 46170456351748390/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^9 - 20218953840192363121006945827505378\ 482131344792870032801456061813596/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^8 - 4503805161353235629130908022612153373339695435258884929749976577246\ 3/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 + 73474982033100506523356472549005389300203637009742\ 606741587739337001/349049668619167268546677069305769853388794456496\ 65689219121717862493*c_1001_2^6 + 184869021453976479502313150700411\ 770312750098080721564312430275912189/349049668619167268546677069305\ 76985338879445649665689219121717862493*c_1001_2^5 + 2657464408031720437256160909457554508658044025379573329909698690830\ 54/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^4 + 3569850296782067378140050796226050731780766964402\ 20612663410702922810/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^3 + 2351523208427756374927241426804872476125345973845447882584793479991\ 4/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^2 + 10237107641356955810986678522845984831414376152847\ 877176294879222925/498642383741667526495252956151099790555420652138\ 0812745588816837499*c_1001_2 - 942144405245424696617913589513757243\ 0445304941896227275379845895979/34904966861916726854667706930576985\ 338879445649665689219121717862493, c_0101_1 - 1, c_0101_11 - 21169454608009064949713544263638201537084433290573987176922\ 0980/34904966861916726854667706930576985338879445649665689219121717\ 862493*c_1001_2^15 + 1346532900662734223902981969837309068868666829\ 20162212822830104825/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^14 - 509929721327410635403037764155682514168559642797150953549948037520/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 - 175831126560704226526817203711518625323003385262852\ 0071777249938779/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 - 3394573937339784488766112359329472\ 594267848960672175228840929894556/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 + 6487955474488080867197015648034517832406361847132863940510984604758\ /349049668619167268546677069305769853388794456496656892191217178624\ 93*c_1001_2^10 + 18037812222045818939411772203039569644804409815688\ 13033559176269534/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^9 + 13082284335810639135347050684852797\ 323544664603425699400360947910997/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^8 + 3575542380818380037910128945565138912093059710527352634381264537934\ 2/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 - 70216085303734461841233457761915173842660929842276\ 062336982088234627/349049668619167268546677069305769853388794456496\ 65689219121717862493*c_1001_2^6 - 119842485381580876950456005324637\ 091480463862158010978623833660328488/349049668619167268546677069305\ 76985338879445649665689219121717862493*c_1001_2^5 - 1742092030467244232047855448741519479904771492075516637659510105462\ 60/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^4 - 2677267141594465465132309868892288366231082187984\ 88048488595702088478/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^3 + 3316425654757578131888299132308230523134029110081514033016274102079\ 2/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^2 - 76124724863151366872452119035370905752185663206989\ 77329468422015836/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2 + 2996102578561408685171099948783731977\ 1469347823541828344211724857145/34904966861916726854667706930576985\ 338879445649665689219121717862493, c_0101_2 + 226029602041828257710878886639391726772519393694779614565574\ 820/349049668619167268546677069305769853388794456496656892191217178\ 62493*c_1001_2^15 - 14377459270536327331088343741147509524844114665\ 0393355178181948611/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^14 + 546396777643718086287443433748331622596891696251884683223138889875/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 + 191363484893028099183968514686063496993595617701247\ 1544109658785937/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 + 3478867433206302109440042771824602\ 427288505178590701311463381975457/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 - 7828052371626544520722066180792689748862342409937416577841238123964\ /349049668619167268546677069305769853388794456496656892191217178624\ 93*c_1001_2^10 - 20975934070641211640936021292770284230284102911913\ 32797165055561725/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^9 - 11681933700044852665376873334394928\ 551319448422042433142573597720842/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^8 - 2978518805723315518903022123427886651361737463109087070493319135747\ 6/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 + 77122294524707802095425685611013750326469003551378\ 421551578572026515/349049668619167268546677069305769853388794456496\ 65689219121717862493*c_1001_2^6 + 137107591618735032182444572018652\ 846481719888142386187240200013110106/349049668619167268546677069305\ 76985338879445649665689219121717862493*c_1001_2^5 + 1725356648595205119320703599529751594466209657923052147200132587563\ 58/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^4 + 2090514246587019206794858830995331519960759091224\ 31914825031087250487/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^3 - 1071279606253593213495428314132834538518062108807567630584286613889\ 82/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^2 - 4004756279753141864471267584291483741368499700511\ 154216909206422696/498642383741667526495252956151099790555420652138\ 0812745588816837499*c_1001_2 - 495932938637344924337776757180617033\ 26385477694099574315410494841827/3490496686191672685466770693057698\ 5338879445649665689219121717862493, c_0101_8 - 302729494490889093240992117708651304948932918665436339506778\ 136/349049668619167268546677069305769853388794456496656892191217178\ 62493*c_1001_2^15 + 19271666645349400022754212607040856339424146348\ 7779091024229281940/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^14 - 829857471716723139060595493880186159748539409259133071303479201196/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 - 222704749807434257408175918327549547771319375169964\ 2639631743258265/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 - 3246131225719397605141380556101076\ 269684629714891285777563776397068/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 + 1342869337549429564261863749693522796169522703397822439409381693962\ 5/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^10 + 2265503416007043098832631737443735980493156954361\ 227078633744814732/498642383741667526495252956151099790555420652138\ 0812745588816837499*c_1001_2^9 + 4906341687837597772652273358258018\ 785488179114128305680999126423263/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^8 + 2728026898827666722720658804170397071415943455724982835066103677396\ 5/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 - 13254417298910366120612066210451357826927104666056\ 4736529687040615994/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^6 - 1422157538455526780719753915512368015556534484215806046316293277221\ 60/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^5 - 1251869421782961025785951436102606701008881050203\ 78011732867149777056/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^4 - 1190668826186522539698950712194518127608853719071505641307736907177\ 84/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^3 + 3731289821634596895485262604855126930285438329030\ 77218667270044693252/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^2 + 7083505437517200422050633231873496461219006444820621610113850405242\ /498642383741667526495252956151099790555420652138081274558881683749\ 9*c_1001_2 + 950190834715725807911010748866636356881247821532146792\ 65550132217981/3490496686191672685466770693057698533887944564966568\ 9219121717862493, c_0101_9 + 428953791300446961543402101222546445585344997071862897608611\ 794/349049668619167268546677069305769853388794456496656892191217178\ 62493*c_1001_2^15 - 27265330768911647746590899672145942445742399284\ 1474728162355263558/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^14 + 910516971941999866781716889026721354884281566611439740288808229314/\ 3490496686191672685466770693057698533887944564966568921912171786249\ 3*c_1001_2^13 + 408618776107306377823278344628548211637416122183272\ 1817841108242005/34904966861916726854667706930576985338879445649665\ 689219121717862493*c_1001_2^12 + 8289687307618586572981675628884428\ 954286480052355516344173674754096/349049668619167268546677069305769\ 85338879445649665689219121717862493*c_1001_2^11 - 1108042545113864039640796011348178639979602702015432649063987522325\ 3/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^10 - 4708222285589505220886988190796379952134242462679\ 359168852530231344/498642383741667526495252956151099790555420652138\ 0812745588816837499*c_1001_2^9 - 3368751123137360802720040132422876\ 8410427187659944581001622761359833/34904966861916726854667706930576\ 985338879445649665689219121717862493*c_1001_2^8 - 7464597996644499263509849004749143224266952260809196065903601786822\ 0/34904966861916726854667706930576985338879445649665689219121717862\ 493*c_1001_2^7 + 10948751074766554801854637314383700496797476782134\ 9268932842732377222/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^6 + 3067203887735958551510053996064877190538538472759483088812497267412\ 92/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^5 + 4484141081088333230591753302294517705958031510092\ 47861942261697642387/3490496686191672685466770693057698533887944564\ 9665689219121717862493*c_1001_2^4 + 6111693072037219307878347578093642616389625077076724137048161334905\ 02/3490496686191672685466770693057698533887944564966568921912171786\ 2493*c_1001_2^3 + 9490020600552406265388159136632884364333446097375\ 7867526324461556796/34904966861916726854667706930576985338879445649\ 665689219121717862493*c_1001_2^2 + 1677172147069555835356881557802518725030443576992851720242077873894\ 2/49864238374166752649525295615109979055542065213808127455888168374\ 99*c_1001_2 - 72920077520158981046195100817616720306486591665089670\ 20378564822117/3490496686191672685466770693057698533887944564966568\ 9219121717862493, c_1001_1 - 544990363212082793093772975402692242362022611671764911478315\ 70/4986423837416675264952529561510997905554206521380812745588816837\ 499*c_1001_2^15 + 3464723961999799425874695215996173764418488933583\ 6934961794452356/49864238374166752649525295615109979055542065213808\ 12745588816837499*c_1001_2^14 - 11972928962828276675138378019684136\ 0382932302909827635044628587228/49864238374166752649525295615109979\ 05554206521380812745588816837499*c_1001_2^13 - 497237316692371155785640168173507679245510434474375152658076636796/\ 4986423837416675264952529561510997905554206521380812745588816837499\ *c_1001_2^12 - 1028004365599283345779211375122583226574530418385340\ 198876886126621/498642383741667526495252956151099790555420652138081\ 2745588816837499*c_1001_2^11 + 142400457995519375575083526142410770\ 6889591213401349099166701208692/49864238374166752649525295615109979\ 05554206521380812745588816837499*c_1001_2^10 + 3877094244771421551230699234493635150907804837420576111178712545454\ /498642383741667526495252956151099790555420652138081274558881683749\ 9*c_1001_2^9 + 4473390463111723278841514078027385837881529489715434\ 094826034662948/498642383741667526495252956151099790555420652138081\ 2745588816837499*c_1001_2^8 + 9754386074358718604346074008541769928\ 679157069514075068982390381620/498642383741667526495252956151099790\ 5554206521380812745588816837499*c_1001_2^7 - 1510918398837374223296668845597155575960948018421887285151535992047\ 5/49864238374166752649525295615109979055542065213808127455888168374\ 99*c_1001_2^6 - 371271249586032402744745974062325746098959049965464\ 77838662339050494/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^5 - 55811729832249442928916414701295741\ 170234080797051847432772457774744/498642383741667526495252956151099\ 7905554206521380812745588816837499*c_1001_2^4 - 7834478222479105811210309259026401194714844539068232358661996288793\ 9/49864238374166752649525295615109979055542065213808127455888168374\ 99*c_1001_2^3 - 109522770990478810636574002052618347047646627374793\ 87313156681859130/4986423837416675264952529561510997905554206521380\ 812745588816837499*c_1001_2^2 - 94141617152474757852419166454962773\ 20004551450681352649638096702298/4986423837416675264952529561510997\ 905554206521380812745588816837499*c_1001_2 + 5970073117234004825607164265716438539315147305100341570367691267361\ /498642383741667526495252956151099790555420652138081274558881683749\ 9, c_1001_2^16 - 636*c_1001_2^15 + 2362*c_1001_2^14 + 8515*c_1001_2^13 + 16552*c_1001_2^12 - 30268*c_1001_2^11 - 61969*c_1001_2^10 - 61647*c_1001_2^9 - 164142*c_1001_2^8 + 305933*c_1001_2^7 + 578646*c_1001_2^6 + 857178*c_1001_2^5 + 1235163*c_1001_2^4 - 55035*c_1001_2^3 + 457851*c_1001_2^2 - 35083*c_1001_2 + 66076 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.440 Total time: 1.639 seconds, Total memory usage: 32.09MB