Magma V2.19-8 Wed Aug 21 2013 00:46:11 on localhost [Seed = 3499541752] Type ? for help. Type -D to quit. Loading file "K14n7238__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7238 geometric_solution 11.88636362 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564972808832 0.405631205919 0 5 3 6 0132 0132 2310 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 -1 0 0 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.071159493623 0.855542467824 7 0 8 5 0132 0132 0132 2103 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 -1 1 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410495622401 1.141741633141 9 1 8 0 0132 3201 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.942963846406 0.748950931410 10 11 0 11 0132 0132 0132 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 1 -1 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199947660942 1.039139472585 9 1 6 2 2103 0132 2103 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313764473832 1.108108472442 5 11 1 12 2103 1230 0132 0132 0 0 0 0 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 0 0 0 0 0 -1 1 4 -4 0 0 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.004415439452 1.115812223461 2 9 12 11 0132 2103 1230 3120 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928433386319 0.720687373334 10 3 10 2 2103 0213 2031 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 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.435027191168 0.405631205919 3 7 5 10 0132 2103 2103 2031 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 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478388144224 0.923522034242 4 9 8 8 0132 1302 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.374492900565 0.574738955874 7 4 6 4 3120 0132 3012 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199947660942 1.039139472585 12 12 6 7 1230 3012 0132 3012 0 0 0 0 0 1 0 -1 -1 0 0 1 -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 3 0 -3 -3 0 -1 4 -3 3 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379499677270 0.930955220797 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : d['c_0011_8'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0110_5'], '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' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_8' : negation(d['c_0110_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_0101_10'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], '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' : d['1'], 'c_1100_12' : d['c_0011_3'], 's_1_7' : negation(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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), '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' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0101_10']), '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_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_12'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_12']})} 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_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0110_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 4131963810925478484008696431425776773252233520102379535/17177046511\ 3444454321192257061941877552493185727086864128*c_1001_2^27 - 2910406226512955930831541177504818680836584379033456453/17177046511\ 3444454321192257061941877552493185727086864128*c_1001_2^26 - 51010624357190971697340746934376755715434010613147636483/1717704651\ 13444454321192257061941877552493185727086864128*c_1001_2^25 - 22108390932090550680777981855614051704917651267015891295/1717704651\ 13444454321192257061941877552493185727086864128*c_1001_2^24 + 18986020669669971539595474919423294060208517709261899699/1073565406\ 9590278395074516066371367347030824107942929008*c_1001_2^23 + 191528983813361578039905206045821039187669077585293305123/171770465\ 113444454321192257061941877552493185727086864128*c_1001_2^22 - 421468639198528592526144340104699272262560960486929190159/858852325\ 56722227160596128530970938776246592863543432064*c_1001_2^21 - 375309284929433789089282729204998018187272663171557898293/171770465\ 113444454321192257061941877552493185727086864128*c_1001_2^20 + 878066549036547544753415522969172381225630083141546787059/171770465\ 113444454321192257061941877552493185727086864128*c_1001_2^19 + 6194332112823413089921271609135273136184522209043445/13461635196978\ 4055110652239076756957329540114206180928*c_1001_2^18 + 35946409636370501598422356331219055129981458654576979539/6606556350\ 517094396968932963920841444326660989503340928*c_1001_2^17 + 1083869704217515143893203633860349253763898862724231704057/17177046\ 5113444454321192257061941877552493185727086864128*c_1001_2^16 - 3783505363207132050433644918564954999027485277652462857707/17177046\ 5113444454321192257061941877552493185727086864128*c_1001_2^15 - 1226779809078821655612800393250274522630735456893462764347/85885232\ 556722227160596128530970938776246592863543432064*c_1001_2^14 + 443906130950105657099898858565153728055741046055265353051/245386378\ 73349207760170322437420268221784740818155266304*c_1001_2^13 + 640925883450708065714914648610070551884526117084365665739/171770465\ 113444454321192257061941877552493185727086864128*c_1001_2^12 - 20144515516202214277935212633105272858102106156765120355/6134659468\ 337301940042580609355067055446185204538816576*c_1001_2^11 + 2504853559259227138043137762436218994742805053317254972057/17177046\ 5113444454321192257061941877552493185727086864128*c_1001_2^10 - 800350602331218298029749112089948890379753548195846541185/171770465\ 113444454321192257061941877552493185727086864128*c_1001_2^9 - 782403027934893159235202583098250170395651079518025215197/429426162\ 78361113580298064265485469388123296431771716032*c_1001_2^8 + 476034889390851759248887023445993937436876058602054170989/858852325\ 56722227160596128530970938776246592863543432064*c_1001_2^7 + 795636052744365587136225621067836444253549939093387365885/858852325\ 56722227160596128530970938776246592863543432064*c_1001_2^6 - 826701336606420513637340841984025875487688880349782576295/858852325\ 56722227160596128530970938776246592863543432064*c_1001_2^5 - 47979374881138691862316978220937042351256078780366465353/3994661979\ 382429170260285047952136687267283389002020096*c_1001_2^4 + 568765904240804456456834106843018367431488173453397557/370194967916\ 906151554293657461081632656235314066997552*c_1001_2^3 + 18388017033419923845795226698933510738614440034774153423/1073565406\ 9590278395074516066371367347030824107942929008*c_1001_2^2 - 13386620210030445850262299889417564181142942914238945567/3067329734\ 168650970021290304677533527723092602269408288*c_1001_2 - 5631079429947339453794157996435152002974934695347026383/26839135173\ 97569598768629016592841836757706026985732252, c_0011_0 - 1, c_0011_10 + 5181467714106384643687553241/348354811444027507476887396482\ *c_1001_2^27 + 13887697275683545536925389311/1393419245776110029907\ 549585928*c_1001_2^26 - 87059572547936415338258741651/6967096228880\ 55014953774792964*c_1001_2^25 - 254285569374122268901031086095/1393\ 419245776110029907549585928*c_1001_2^24 + 391679590350931237682059795329/696709622888055014953774792964*c_100\ 1_2^23 + 234481694720749027023537240531/348354811444027507476887396\ 482*c_1001_2^22 - 1894487236368712255583293867581/13934192457761100\ 29907549585928*c_1001_2^21 - 1059283489795150735075775564511/139341\ 9245776110029907549585928*c_1001_2^20 + 980305703825500476796033426201/696709622888055014953774792964*c_100\ 1_2^19 - 104619161366642782096571246179/126674476888737275446140871\ 448*c_1001_2^18 + 1511046235893723156642900136791/13934192457761100\ 29907549585928*c_1001_2^17 + 5296131500481025823415946350207/139341\ 9245776110029907549585928*c_1001_2^16 - 3315104037207612654218281172949/696709622888055014953774792964*c_10\ 01_2^15 - 5767877569409930159726899220707/1393419245776110029907549\ 585928*c_1001_2^14 + 1264073846571342281768024021377/19905989225373\ 0004272507083704*c_1001_2^13 - 618029139222096003726089897179/69670\ 9622888055014953774792964*c_1001_2^12 - 1150507000305494195292553584131/199059892253730004272507083704*c_10\ 01_2^11 + 6297802442856231405521338395287/1393419245776110029907549\ 585928*c_1001_2^10 + 598839998762993968662015913741/696709622888055\ 014953774792964*c_1001_2^9 - 6128991389697858821968925185633/139341\ 9245776110029907549585928*c_1001_2^8 + 6257176625231121283788549860375/1393419245776110029907549585928*c_1\ 001_2^7 + 6276691294641770183524615739023/1393419245776110029907549\ 585928*c_1001_2^6 - 5876171509313185780250474207693/139341924577611\ 0029907549585928*c_1001_2^5 - 5457466105973046075310600908721/13934\ 19245776110029907549585928*c_1001_2^4 + 890419287592440311171158154709/696709622888055014953774792964*c_100\ 1_2^3 + 226338704683928342497046804669/3483548114440275074768873964\ 82*c_1001_2^2 - 37767535854006926045341826335/497649730634325010681\ 26770926*c_1001_2 - 187579087819255803473484355050/1741774057220137\ 53738443698241, c_0011_12 + 8048482696659387803193412349/696709622888055014953774792964\ *c_1001_2^27 + 97581219880659331623477579683/1393419245776110029907\ 549585928*c_1001_2^26 + 15622733456830379469625746511/1393419245776\ 110029907549585928*c_1001_2^25 - 746113610644866176246908223567/139\ 3419245776110029907549585928*c_1001_2^24 - 1009581250421474936356002545577/1393419245776110029907549585928*c_1\ 001_2^23 + 1058261893363708117755276938719/696709622888055014953774\ 792964*c_1001_2^22 + 3679813303712593593937515844505/13934192457761\ 10029907549585928*c_1001_2^21 - 637986153658398964035096972893/3483\ 54811444027507476887396482*c_1001_2^20 - 3972602543464970045658554475549/1393419245776110029907549585928*c_1\ 001_2^19 - 142063554171550443778877920717/1266744768887372754461408\ 71448*c_1001_2^18 - 973723243343805900060988594801/3483548114440275\ 07476887396482*c_1001_2^17 + 2601414289564727458152382394793/348354\ 811444027507476887396482*c_1001_2^16 + 19114588714446664431360209483517/1393419245776110029907549585928*c_\ 1001_2^15 - 5435852273231935190470962384273/13934192457761100299075\ 49585928*c_1001_2^14 - 488965412308850989249392936961/4976497306343\ 2501068126770926*c_1001_2^13 + 161338554108920206495753826317/13934\ 19245776110029907549585928*c_1001_2^12 - 754995906563861156282426743789/199059892253730004272507083704*c_100\ 1_2^11 - 1681752929320457330054297377719/69670962288805501495377479\ 2964*c_1001_2^10 + 13124333440376035080898314046145/139341924577611\ 0029907549585928*c_1001_2^9 + 4625777942567355181327800116769/13934\ 19245776110029907549585928*c_1001_2^8 - 804530959788937710179909409475/174177405722013753738443698241*c_100\ 1_2^7 + 1461795102793558213972903878425/696709622888055014953774792\ 964*c_1001_2^6 + 6141830113354808772815934164011/696709622888055014\ 953774792964*c_1001_2^5 + 1499155373689166364519456546849/348354811\ 444027507476887396482*c_1001_2^4 - 1945116627491712220297886953305/1393419245776110029907549585928*c_1\ 001_2^3 + 349538733950008739869078762825/34835481144402750747688739\ 6482*c_1001_2^2 + 32089714561010131464373343256/2488248653171625053\ 4063385463*c_1001_2 + 174423035505800052534495052210/17417740572201\ 3753738443698241, c_0011_3 + 4397269489880361184514129163/696709622888055014953774792964*\ c_1001_2^27 + 3772346531617205024452805546/174177405722013753738443\ 698241*c_1001_2^26 - 19230023224613269682692407437/6967096228880550\ 14953774792964*c_1001_2^25 - 33526011481629505843373532792/17417740\ 5722013753738443698241*c_1001_2^24 - 7230855660474101856246128939/174177405722013753738443698241*c_1001_\ 2^23 + 454323343318986708277901898473/69670962288805501495377479296\ 4*c_1001_2^22 + 189872408968638709842825317159/69670962288805501495\ 3774792964*c_1001_2^21 - 377748569758235962714543733509/34835481144\ 4027507476887396482*c_1001_2^20 - 122859573825529539869238751475/69\ 6709622888055014953774792964*c_1001_2^19 + 19193426147946803623204429885/63337238444368637723070435724*c_1001_\ 2^18 - 404836808037526257749821002145/69670962288805501495377479296\ 4*c_1001_2^17 + 913672607972117905213354606963/34835481144402750747\ 6887396482*c_1001_2^16 + 1356674832016071535609851535913/6967096228\ 88055014953774792964*c_1001_2^15 - 2794532770640801251991367546323/696709622888055014953774792964*c_10\ 01_2^14 - 2630950389763515432237414880/2488248653171625053406338546\ 3*c_1001_2^13 + 2882300963110148762704750242555/6967096228880550149\ 53774792964*c_1001_2^12 - 196281930347732220549319427029/9952994612\ 6865002136253541852*c_1001_2^11 - 198306157656630794699979414365/17\ 4177405722013753738443698241*c_1001_2^10 + 1607795388930969450939993242643/696709622888055014953774792964*c_10\ 01_2^9 - 2033376744544158108371291460331/69670962288805501495377479\ 2964*c_1001_2^8 - 973837845759797551848475478635/696709622888055014\ 953774792964*c_1001_2^7 + 3544087482210545323255593466373/696709622\ 888055014953774792964*c_1001_2^6 + 1886434207925693136275753316783/696709622888055014953774792964*c_10\ 01_2^5 - 144637833794330946635725104587/174177405722013753738443698\ 241*c_1001_2^4 + 3884938317550774107268465795/348354811444027507476\ 887396482*c_1001_2^3 + 8917556814028093392320880211/348354811444027\ 507476887396482*c_1001_2^2 + 18319715547698528392609234976/24882486\ 531716250534063385463*c_1001_2 - 20769523387354488612925072501/1741\ 77405722013753738443698241, c_0011_6 + 8633408522273697024921660949/348354811444027507476887396482*\ c_1001_2^27 + 51028101443363635718884685585/13934192457761100299075\ 49585928*c_1001_2^26 - 54666456525713291400770128063/34835481144402\ 7507476887396482*c_1001_2^25 - 552442003562313587449808217649/13934\ 19245776110029907549585928*c_1001_2^24 + 78713342797511089861218809363/174177405722013753738443698241*c_1001\ _2^23 + 394082242639285507324558512549/3483548114440275074768873964\ 82*c_1001_2^22 - 1060523944038822368612904633459/139341924577611002\ 9907549585928*c_1001_2^21 - 970862743432485946262943965043/13934192\ 45776110029907549585928*c_1001_2^20 + 25282345979673345042899143929/348354811444027507476887396482*c_1001\ _2^19 - 272510303795135074270383469621/1266744768887372754461408714\ 48*c_1001_2^18 + 3359391584208310784799634887607/139341924577611002\ 9907549585928*c_1001_2^17 + 7503625084489957787657346574035/1393419\ 245776110029907549585928*c_1001_2^16 - 683860487656439298512876581865/348354811444027507476887396482*c_100\ 1_2^15 - 2644135795681904040956321989653/13934192457761100299075495\ 85928*c_1001_2^14 + 363792804150209367448196542205/1990598922537300\ 04272507083704*c_1001_2^13 - 313459150820041054560916079848/1741774\ 05722013753738443698241*c_1001_2^12 - 134502071347169019362930634325/199059892253730004272507083704*c_100\ 1_2^11 + 3817809634241659281009313586367/13934192457761100299075495\ 85928*c_1001_2^10 - 225872791059506225186869556940/1741774057220137\ 53738443698241*c_1001_2^9 - 2962393615335129689422993911607/1393419\ 245776110029907549585928*c_1001_2^8 + 1417250225627269634316965578295/1393419245776110029907549585928*c_1\ 001_2^7 + 5629846406341980576668899965755/1393419245776110029907549\ 585928*c_1001_2^6 + 4750069318848703463839748015127/139341924577611\ 0029907549585928*c_1001_2^5 - 84377911892910059907279146221/1393419\ 245776110029907549585928*c_1001_2^4 + 162540673794038137255023800187/174177405722013753738443698241*c_100\ 1_2^3 + 387360322585381877612959332805/3483548114440275074768873964\ 82*c_1001_2^2 + 67731448125176701591148397305/497649730634325010681\ 26770926*c_1001_2 - 1965142569073278597445076050/174177405722013753\ 738443698241, c_0011_8 - 39010333000416195533223629513/139341924577611002990754958592\ 8*c_1001_2^27 - 19385730368659532796619501103/696709622888055014953\ 774792964*c_1001_2^26 + 278402506358865179438383460209/139341924577\ 6110029907549585928*c_1001_2^25 + 246167430260932699918111690337/69\ 6709622888055014953774792964*c_1001_2^24 - 133156111339160685450062247234/174177405722013753738443698241*c_100\ 1_2^23 - 1393592900840751336780043941405/13934192457761100299075495\ 85928*c_1001_2^22 + 2446652978164172810751705919349/139341924577611\ 0029907549585928*c_1001_2^21 + 227808264084513572547784853477/69670\ 9622888055014953774792964*c_1001_2^20 - 1711704570776580406096116928929/1393419245776110029907549585928*c_1\ 001_2^19 + 311919231808933286460391382489/1266744768887372754461408\ 71448*c_1001_2^18 - 4271590088439028194094908971565/139341924577611\ 0029907549585928*c_1001_2^17 - 3301054154485249628192361323891/6967\ 09622888055014953774792964*c_1001_2^16 + 8178945063470877525480271024077/1393419245776110029907549585928*c_1\ 001_2^15 + 1570536109554387526011487943423/139341924577611002990754\ 9585928*c_1001_2^14 - 692785087678748322890037020717/99529946126865\ 002136253541852*c_1001_2^13 + 3556433087979037208445810256099/13934\ 19245776110029907549585928*c_1001_2^12 + 681769173373655355655817233921/199059892253730004272507083704*c_100\ 1_2^11 - 3130773697625100963199824682079/69670962288805501495377479\ 2964*c_1001_2^10 + 2980502541701442165936871834543/1393419245776110\ 029907549585928*c_1001_2^9 + 5094418821119119545302358331379/139341\ 9245776110029907549585928*c_1001_2^8 - 6996523987953177916052580512113/1393419245776110029907549585928*c_1\ 001_2^7 - 6523098297384092570752745176633/1393419245776110029907549\ 585928*c_1001_2^6 + 2582089581410923255725326415911/139341924577611\ 0029907549585928*c_1001_2^5 + 894485229454914327780098866421/696709\ 622888055014953774792964*c_1001_2^4 - 467386646805319751984994475019/174177405722013753738443698241*c_100\ 1_2^3 - 196091501271713499483977033449/1741774057220137537384436982\ 41*c_1001_2^2 - 23271303176834566695578150379/248824865317162505340\ 63385463*c_1001_2 + 52541018101006417313652635956/17417740572201375\ 3738443698241, c_0101_0 - 5739007305539566600602500249/1393419245776110029907549585928\ *c_1001_2^27 - 4482647602236657502427776125/34835481144402750747688\ 7396482*c_1001_2^26 + 28441603387970079247096743585/139341924577611\ 0029907549585928*c_1001_2^25 + 40567133836059261027803038549/348354\ 811444027507476887396482*c_1001_2^24 + 751821908046341239455161610/174177405722013753738443698241*c_1001_2\ ^23 - 550167966197283816009510185497/139341924577611002990754958592\ 8*c_1001_2^22 - 138259865238594775877464670721/13934192457761100299\ 07549585928*c_1001_2^21 + 211964555184252849665015267483/3483548114\ 44027507476887396482*c_1001_2^20 + 37925943907900097169756262323/1393419245776110029907549585928*c_100\ 1_2^19 - 6512552404819478918354184685/12667447688873727544614087144\ 8*c_1001_2^18 + 453429116863189771181667540985/13934192457761100299\ 07549585928*c_1001_2^17 - 566791780918618271902183145189/3483548114\ 44027507476887396482*c_1001_2^16 - 1388555833245377322889762863831/1393419245776110029907549585928*c_1\ 001_2^15 + 2883561111778019505692048216033/139341924577611002990754\ 9585928*c_1001_2^14 - 3191523898247404695296951904/2488248653171625\ 0534063385463*c_1001_2^13 - 2248654463972473402873731574081/1393419\ 245776110029907549585928*c_1001_2^12 + 285280522214775297833990660635/199059892253730004272507083704*c_100\ 1_2^11 + 97813782967808441467047066717/1741774057220137537384436982\ 41*c_1001_2^10 - 2128483221214967915351206432693/139341924577611002\ 9907549585928*c_1001_2^9 + 746041424729124649254489623633/139341924\ 5776110029907549585928*c_1001_2^8 + 1377491492391608741580627616101/1393419245776110029907549585928*c_1\ 001_2^7 - 2016338963939177883303630125047/1393419245776110029907549\ 585928*c_1001_2^6 - 2271906559396087971245883884423/139341924577611\ 0029907549585928*c_1001_2^5 + 195228097106183281664528711293/348354\ 811444027507476887396482*c_1001_2^4 + 12475935616105750166095855315/348354811444027507476887396482*c_1001\ _2^3 - 852425348482858239568781075783/34835481144402750747688739648\ 2*c_1001_2^2 - 10790673827372301182162827346/2488248653171625053406\ 3385463*c_1001_2 + 31198960555421910331432719391/174177405722013753\ 738443698241, c_0101_1 - 12191583103407063409108604251/139341924577611002990754958592\ 8*c_1001_2^27 - 5865723875403443478560379079/6967096228880550149537\ 74792964*c_1001_2^26 + 87661440372222678303379650959/13934192457761\ 10029907549585928*c_1001_2^25 + 77614382604199730765653149677/69670\ 9622888055014953774792964*c_1001_2^24 - 84456173973079962946804419071/348354811444027507476887396482*c_1001\ _2^23 - 448166259737731372309999684167/1393419245776110029907549585\ 928*c_1001_2^22 + 750295096542838766449818565699/139341924577611002\ 9907549585928*c_1001_2^21 + 96439570578734197693011884523/696709622\ 888055014953774792964*c_1001_2^20 - 530758660896179596150096051455/1393419245776110029907549585928*c_10\ 01_2^19 + 97567445987405724004248869807/126674476888737275446140871\ 448*c_1001_2^18 - 1228406801371811532899680035687/13934192457761100\ 29907549585928*c_1001_2^17 - 1162007012024163339393985202209/696709\ 622888055014953774792964*c_1001_2^16 + 2435918541945933310845053196611/1393419245776110029907549585928*c_1\ 001_2^15 + 791166896334332092565193235457/1393419245776110029907549\ 585928*c_1001_2^14 - 193822432551512735537323863875/995299461268650\ 02136253541852*c_1001_2^13 + 1400106895727312158375274598549/139341\ 9245776110029907549585928*c_1001_2^12 + 250343214054093469605457010831/199059892253730004272507083704*c_100\ 1_2^11 - 1101545158093491140579519467965/69670962288805501495377479\ 2964*c_1001_2^10 - 34463568824256408427450410231/139341924577611002\ 9907549585928*c_1001_2^9 + 1928436193723407135238467640005/13934192\ 45776110029907549585928*c_1001_2^8 - 983317648942055895195180080227/1393419245776110029907549585928*c_10\ 01_2^7 - 2386686705506879303257933889403/13934192457761100299075495\ 85928*c_1001_2^6 + 419354928175740430820157329485/13934192457761100\ 29907549585928*c_1001_2^5 + 375031316870125062968944225819/69670962\ 2888055014953774792964*c_1001_2^4 - 795035275427462573562756073293/348354811444027507476887396482*c_100\ 1_2^3 - 69795709486066541674537291173/17417740572201375373844369824\ 1*c_1001_2^2 + 27699764523765218695524488162/2488248653171625053406\ 3385463*c_1001_2 + 22956029222158266402410000996/174177405722013753\ 738443698241, c_0101_10 + 33717991842119638310839660937/13934192457761100299075495859\ 28*c_1001_2^27 + 41413364546677934242645595859/13934192457761100299\ 07549585928*c_1001_2^26 - 216954629333847258623810070245/1393419245\ 776110029907549585928*c_1001_2^25 - 490084792025342184082675468203/1393419245776110029907549585928*c_10\ 01_2^24 + 86334712391579497205530602678/174177405722013753738443698\ 241*c_1001_2^23 + 1354773834805514253563848212733/13934192457761100\ 29907549585928*c_1001_2^22 - 142155889595117051095851259460/1741774\ 05722013753738443698241*c_1001_2^21 - 762144863376078235026180875013/1393419245776110029907549585928*c_10\ 01_2^20 - 47453825505213603051754056295/139341924577611002990754958\ 5928*c_1001_2^19 - 112446615702161716311712423231/63337238444368637\ 723070435724*c_1001_2^18 + 426011094257066234494119250860/174177405\ 722013753738443698241*c_1001_2^17 + 6384602665953415588966826888045/1393419245776110029907549585928*c_1\ 001_2^16 - 2826066239520418856956991356889/139341924577611002990754\ 9585928*c_1001_2^15 - 334919688627068693129051278368/17417740572201\ 3753738443698241*c_1001_2^14 + 367365531360296688300071649771/19905\ 9892253730004272507083704*c_1001_2^13 - 2257027961810316287344091006827/1393419245776110029907549585928*c_1\ 001_2^12 - 99390942461276772236996115637/99529946126865002136253541\ 852*c_1001_2^11 + 3748560209066856088392048499873/13934192457761100\ 29907549585928*c_1001_2^10 - 1340177100283549248581342844823/139341\ 9245776110029907549585928*c_1001_2^9 - 1275922922337674784422948595991/696709622888055014953774792964*c_10\ 01_2^8 + 336453165755039249057008040186/174177405722013753738443698\ 241*c_1001_2^7 + 661263236019438036342892225099/1741774057220137537\ 38443698241*c_1001_2^6 + 371062499916650094355319236330/17417740572\ 2013753738443698241*c_1001_2^5 - 231194752824300114886845613031/139\ 3419245776110029907549585928*c_1001_2^4 + 178482784582522511300164160032/174177405722013753738443698241*c_100\ 1_2^3 + 347668917242314363799113894879/3483548114440275074768873964\ 82*c_1001_2^2 + 88993485184318007159412581085/497649730634325010681\ 26770926*c_1001_2 - 9790604165148195922258814742/174177405722013753\ 738443698241, c_0101_12 + 5232942506907569928448116605/199059892253730004272507083704\ *c_1001_2^27 + 13929505775819839443879189245/1990598922537300042725\ 07083704*c_1001_2^26 - 27389063920631064208790189259/19905989225373\ 0004272507083704*c_1001_2^25 - 128986358766950969345604076719/19905\ 9892253730004272507083704*c_1001_2^24 + 8622202861621255541766605413/99529946126865002136253541852*c_1001_2\ ^23 + 416032246228426118664186193887/199059892253730004272507083704\ *c_1001_2^22 + 34104247739583203848612241693/9952994612686500213625\ 3541852*c_1001_2^21 - 539593377686868389019680978053/19905989225373\ 0004272507083704*c_1001_2^20 - 79103715342201815075773638543/199059\ 892253730004272507083704*c_1001_2^19 - 8358862612532121490821470909/9048176920624091103295776532*c_1001_2^\ 18 - 26328440268630789889897815073/49764973063432501068126770926*c_\ 1001_2^17 + 1831562994707386389509058250163/19905989225373000427250\ 7083704*c_1001_2^16 + 916413909517780201250492177759/19905989225373\ 0004272507083704*c_1001_2^15 - 225994448167604740925956674817/24882\ 486531716250534063385463*c_1001_2^14 - 73513635362775031405301849779/199059892253730004272507083704*c_1001\ _2^13 + 1022209558260570886946294003553/199059892253730004272507083\ 704*c_1001_2^12 - 617890757413510268198848503645/995299461268650021\ 36253541852*c_1001_2^11 - 58754992298055537232709644683/19905989225\ 3730004272507083704*c_1001_2^10 + 1413413704109861084716706874089/1\ 99059892253730004272507083704*c_1001_2^9 - 421562067282610377184575905925/99529946126865002136253541852*c_1001\ _2^8 - 95242986400171750035634722311/24882486531716250534063385463*\ c_1001_2^7 + 912822441545841304911963505155/99529946126865002136253\ 541852*c_1001_2^6 + 795677290908437980765126644341/9952994612686500\ 2136253541852*c_1001_2^5 - 282794034141162776509199919421/199059892\ 253730004272507083704*c_1001_2^4 + 379559638141462157441296303/24882486531716250534063385463*c_1001_2^\ 3 + 483292584897122868543733096491/99529946126865002136253541852*c_\ 1001_2^2 + 51809737487746741606563858056/24882486531716250534063385\ 463*c_1001_2 - 8162893166589548328038794229/24882486531716250534063\ 385463, c_0110_5 + 27157951040266248297177847543/139341924577611002990754958592\ 8*c_1001_2^27 + 23277370847375542789780792973/139341924577611002990\ 7549585928*c_1001_2^26 - 209752113906220663306639855733/13934192457\ 76110029907549585928*c_1001_2^25 - 341599904169137965310149278125/1393419245776110029907549585928*c_10\ 01_2^24 + 433107957588643120768498167545/69670962288805501495377479\ 2964*c_1001_2^23 + 1100737901159712033270111247659/1393419245776110\ 029907549585928*c_1001_2^22 - 252148296090642686610703861837/174177\ 405722013753738443698241*c_1001_2^21 - 780607277824865186980928633133/1393419245776110029907549585928*c_10\ 01_2^20 + 1690636787043506053396192835109/1393419245776110029907549\ 585928*c_1001_2^19 - 100885241695283055634829166561/633372384443686\ 37723070435724*c_1001_2^18 + 1391357026321641875633345002863/696709\ 622888055014953774792964*c_1001_2^17 + 6001082101052583108145919402573/1393419245776110029907549585928*c_1\ 001_2^16 - 6972436249093913453963910766533/139341924577611002990754\ 9585928*c_1001_2^15 - 503226115524316362519853083153/17417740572201\ 3753738443698241*c_1001_2^14 + 1078712369959787362850519798787/1990\ 59892253730004272507083704*c_1001_2^13 - 2583860496950116559529559155763/1393419245776110029907549585928*c_1\ 001_2^12 - 372170195521440655333224559827/9952994612686500213625354\ 1852*c_1001_2^11 + 6621533487830760368113678229805/1393419245776110\ 029907549585928*c_1001_2^10 + 420069424903010539879887169833/139341\ 9245776110029907549585928*c_1001_2^9 - 3149149379188077712533390807997/696709622888055014953774792964*c_10\ 01_2^8 + 1747190648448963083233398914191/69670962288805501495377479\ 2964*c_1001_2^7 + 3290994067764843614975685772341/69670962288805501\ 4953774792964*c_1001_2^6 - 1320165296387550925980666951891/69670962\ 2888055014953774792964*c_1001_2^5 - 4216482808338842723191133374671/1393419245776110029907549585928*c_1\ 001_2^4 + 1936505004982710244622738710609/6967096228880550149537747\ 92964*c_1001_2^3 + 304406212489434039694506485435/34835481144402750\ 7476887396482*c_1001_2^2 - 84387501489866824101697703123/4976497306\ 3432501068126770926*c_1001_2 - 136731786028263762074288450198/17417\ 7405722013753738443698241, c_1001_0 + 1, c_1001_2^28 + c_1001_2^27 - 7*c_1001_2^26 - 13*c_1001_2^25 + 26*c_1001_2^24 + 37*c_1001_2^23 - 54*c_1001_2^22 - 17*c_1001_2^21 + 27*c_1001_2^20 - 80*c_1001_2^19 + 108*c_1001_2^18 + 181*c_1001_2^17 - 163*c_1001_2^16 - 78*c_1001_2^15 + 169*c_1001_2^14 - 81*c_1001_2^13 - 104*c_1001_2^12 + 169*c_1001_2^11 - 13*c_1001_2^10 - 136*c_1001_2^9 + 96*c_1001_2^8 + 180*c_1001_2^7 - 20*c_1001_2^6 - 63*c_1001_2^5 + 122*c_1001_2^4 + 40*c_1001_2^3 + 8*c_1001_2^2 - 16*c_1001_2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.280 Total time: 6.480 seconds, Total memory usage: 64.12MB