Magma V2.19-8 Wed Aug 21 2013 00:12:47 on localhost [Seed = 2968968381] Type ? for help. Type -D to quit. Loading file "K13n3303__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3303 geometric_solution 11.78768046 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 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 1 -1 0 11 0 0 -11 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042507822232 0.703619750874 0 5 6 2 0132 0132 0132 2310 0 0 0 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 -11 0 0 11 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346179994464 1.061108894267 1 0 8 7 3201 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 1 0 0 0 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195725992112 0.684922752365 8 4 9 0 0213 0321 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871402240207 0.906011052273 10 7 0 3 0132 0132 0132 0321 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 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582445658082 0.644716191110 11 1 11 10 0132 0132 1230 0321 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 12 0 0 -12 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368189431948 0.226410219049 9 12 11 1 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -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 1 -1 0 12 0 -12 0 0 11 0 -11 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425600096263 0.632456249038 11 4 2 8 2031 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603614411723 0.813821309629 3 7 12 2 0213 0321 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.915694742597 0.711228428600 6 12 10 3 0132 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -12 0 12 0 1 -12 0 11 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617248639450 0.511108449022 4 5 12 9 0132 0321 0132 0132 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 12 -12 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525047191873 0.820382465791 5 6 7 5 0132 3201 1302 3012 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 0 0 0 0 -1 1 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601457003521 1.270407565497 8 6 9 10 2310 0132 0213 0132 0 0 0 0 0 0 0 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 0 -1 1 0 0 0 12 -12 0 0 0 0 -1 -11 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709719173132 0.406812223969 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : d['c_1001_1'], '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_10']), 'c_0101_10' : negation(d['c_0011_3']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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_1001_3'], 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_1001_3'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_1001_3'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_1001_3'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : d['c_0011_12'], '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_10'], '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_1'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0101_12' : d['c_0011_12'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0011_3'], '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_0']), '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_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_1']})} 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_8, c_0101_0, c_0101_1, c_0101_5, c_0101_7, c_1001_0, c_1001_1, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 8745417061704754006784683/68785169334785493735886*c_1001_3^11 - 440841454744415601851224064/447103600676105709283259*c_1001_3^10 - 3446438157715669004841922759/1788414402704422837133036*c_1001_3^9 + 25262096686752042537579937/68785169334785493735886*c_1001_3^8 + 68829697582290262079742819/894207201352211418566518*c_1001_3^7 - 887918837518686477296562298/447103600676105709283259*c_1001_3^6 + 168333170415913448460664477/1788414402704422837133036*c_1001_3^5 - 32132686566474288103907779/48335524397416833436028*c_1001_3^4 - 93582032646959175320795618/447103600676105709283259*c_1001_3^3 - 709441296086267185889348085/894207201352211418566518*c_1001_3^2 + 142167818284282584505368975/894207201352211418566518*c_1001_3 - 259410579949732444650729057/1788414402704422837133036, c_0011_0 - 1, c_0011_10 + 17357597386461/11639667292763*c_1001_3^11 + 1489587332810101/151315674805919*c_1001_3^10 + 1806484481229693/151315674805919*c_1001_3^9 - 148080966023429/11639667292763*c_1001_3^8 + 3751638130685257/151315674805919*c_1001_3^7 - 541636259248157/151315674805919*c_1001_3^6 + 864455416081106/151315674805919*c_1001_3^5 + 275998969095175/151315674805919*c_1001_3^4 + 1391638826114055/151315674805919*c_1001_3^3 + 114540514187752/151315674805919*c_1001_3^2 + 180463840848896/151315674805919*c_1001_3 + 187109481301856/151315674805919, c_0011_12 + 22509796065335/11639667292763*c_1001_3^11 + 1972388035465372/151315674805919*c_1001_3^10 + 2558446556479897/151315674805919*c_1001_3^9 - 206240803195453/11639667292763*c_1001_3^8 + 3006414661404057/151315674805919*c_1001_3^7 - 900635856492835/151315674805919*c_1001_3^6 + 2049441287583981/151315674805919*c_1001_3^5 - 779389262417089/151315674805919*c_1001_3^4 + 1449943855425337/151315674805919*c_1001_3^3 - 64074336539730/151315674805919*c_1001_3^2 + 194025646250196/151315674805919*c_1001_3 - 84027326946463/151315674805919, c_0011_3 - 53102556161069/11639667292763*c_1001_3^11 - 4914115064366368/151315674805919*c_1001_3^10 - 7736706844466291/151315674805919*c_1001_3^9 + 335461770774957/11639667292763*c_1001_3^8 - 4812547260063919/151315674805919*c_1001_3^7 - 2530352269388388/151315674805919*c_1001_3^6 - 3918116487133423/151315674805919*c_1001_3^5 - 267382833066477/151315674805919*c_1001_3^4 - 2625739708573698/151315674805919*c_1001_3^3 - 1356942554228749/151315674805919*c_1001_3^2 - 341363516773876/151315674805919*c_1001_3 - 11312210476354/151315674805919, c_0011_8 - 152477937/92797373*c_1001_3^11 - 13307046477/1206365849*c_1001_3^10 - 16885394627/1206365849*c_1001_3^9 + 1445652952/92797373*c_1001_3^8 - 22995155353/1206365849*c_1001_3^7 + 1445354199/1206365849*c_1001_3^6 - 9638372507/1206365849*c_1001_3^5 + 4882601410/1206365849*c_1001_3^4 - 10591425557/1206365849*c_1001_3^3 + 271372901/1206365849*c_1001_3^2 - 1433244099/1206365849*c_1001_3 + 101054624/1206365849, c_0101_0 + 28788673260876/11639667292763*c_1001_3^11 + 2490643673960389/151315674805919*c_1001_3^10 + 3039153901369104/151315674805919*c_1001_3^9 - 291746857403996/11639667292763*c_1001_3^8 + 4244027725533683/151315674805919*c_1001_3^7 - 828094603142704/151315674805919*c_1001_3^6 + 2546819051921793/151315674805919*c_1001_3^5 - 840081455187216/151315674805919*c_1001_3^4 + 1760459513098788/151315674805919*c_1001_3^3 - 62168449697703/151315674805919*c_1001_3^2 + 233399064629246/151315674805919*c_1001_3 - 168722664048569/151315674805919, c_0101_1 + 49495337407355/11639667292763*c_1001_3^11 + 4394431913875629/151315674805919*c_1001_3^10 + 5957233774225684/151315674805919*c_1001_3^9 - 437209222649492/11639667292763*c_1001_3^8 + 6236567892492556/151315674805919*c_1001_3^7 + 301626590386604/151315674805919*c_1001_3^6 + 3461632975502860/151315674805919*c_1001_3^5 - 1049994551167091/151315674805919*c_1001_3^4 + 3095174097435794/151315674805919*c_1001_3^3 + 525773371664433/151315674805919*c_1001_3^2 + 263362859191128/151315674805919*c_1001_3 - 16601033454459/151315674805919, c_0101_5 - 42270011592011/11639667292763*c_1001_3^11 - 3656445794702053/151315674805919*c_1001_3^10 - 4368317054522111/151315674805919*c_1001_3^9 + 472553153363832/11639667292763*c_1001_3^8 - 5719065152918515/151315674805919*c_1001_3^7 + 44180145668514/151315674805919*c_1001_3^6 - 2273868687355111/151315674805919*c_1001_3^5 + 842534120127736/151315674805919*c_1001_3^4 - 2247711361475863/151315674805919*c_1001_3^3 + 27945920001237/151315674805919*c_1001_3^2 - 48863401844967/151315674805919*c_1001_3 + 18913218028782/151315674805919, c_0101_7 - 304955874/92797373*c_1001_3^11 - 26614092954/1206365849*c_1001_3^10 - 33770789254/1206365849*c_1001_3^9 + 2891305904/92797373*c_1001_3^8 - 45990310706/1206365849*c_1001_3^7 + 2890708398/1206365849*c_1001_3^6 - 19276745014/1206365849*c_1001_3^5 + 9765202820/1206365849*c_1001_3^4 - 21182851114/1206365849*c_1001_3^3 + 542745802/1206365849*c_1001_3^2 - 453756500/1206365849*c_1001_3 + 202109248/1206365849, c_1001_0 + 11219244568492/11639667292763*c_1001_3^11 + 1011495092240844/151315674805919*c_1001_3^10 + 1492738188318809/151315674805919*c_1001_3^9 - 66410905264524/11639667292763*c_1001_3^8 + 1792819435198518/151315674805919*c_1001_3^7 - 4352115755387/151315674805919*c_1001_3^6 + 669089496010354/151315674805919*c_1001_3^5 + 279287418553882/151315674805919*c_1001_3^4 + 681323295141179/151315674805919*c_1001_3^3 + 72182711083906/151315674805919*c_1001_3^2 + 86601145464040/151315674805919*c_1001_3 + 154961644698661/151315674805919, c_1001_1 + 25404337311388/11639667292763*c_1001_3^11 + 2187371785151604/151315674805919*c_1001_3^10 + 2598659278348444/151315674805919*c_1001_3^9 - 266835749630855/11639667292763*c_1001_3^8 + 4121918395211769/151315674805919*c_1001_3^7 - 108750969184638/151315674805919*c_1001_3^6 + 1706328466263329/151315674805919*c_1001_3^5 - 673121770227837/151315674805919*c_1001_3^4 + 1639008756713518/151315674805919*c_1001_3^3 - 32132687503304/151315674805919*c_1001_3^2 + 219146658960719/151315674805919*c_1001_3 + 53944955160869/151315674805919, c_1001_2 - 49756971350609/11639667292763*c_1001_3^11 - 4266155196237744/151315674805919*c_1001_3^10 - 4928176566522252/151315674805919*c_1001_3^9 + 559376939952054/11639667292763*c_1001_3^8 - 7502819995164302/151315674805919*c_1001_3^7 + 801016969995784/151315674805919*c_1001_3^6 - 2906234187340917/151315674805919*c_1001_3^5 + 1632335699858390/151315674805919*c_1001_3^4 - 2935069935417614/151315674805919*c_1001_3^3 + 114576251604121/151315674805919*c_1001_3^2 - 62071766560196/151315674805919*c_1001_3 + 31850234514980/151315674805919, c_1001_3^12 + 88/13*c_1001_3^11 + 116/13*c_1001_3^10 - 115/13*c_1001_3^9 + 144/13*c_1001_3^8 - 8/13*c_1001_3^7 + 77/13*c_1001_3^6 - 22/13*c_1001_3^5 + 66/13*c_1001_3^4 + 3/13*c_1001_3^3 + 10/13*c_1001_3^2 + 1/13 ], 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_8, c_0101_0, c_0101_1, c_0101_5, c_0101_7, c_1001_0, c_1001_1, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 176276712913095467/5039253505198432*c_1001_3^15 + 158055904917789785/5039253505198432*c_1001_3^14 + 385782946809809205/5039253505198432*c_1001_3^13 - 176755293680055451/2519626752599216*c_1001_3^12 - 3202885485733569465/5039253505198432*c_1001_3^11 + 3593995929986611759/5039253505198432*c_1001_3^10 + 2781109164487473895/2519626752599216*c_1001_3^9 - 265367337407885821/629906688149804*c_1001_3^8 - 14716730130014004477/5039253505198432*c_1001_3^7 + 1046456307701962255/629906688149804*c_1001_3^6 + 2144944990374144993/2519626752599216*c_1001_3^5 - 3531023612414418853/5039253505198432*c_1001_3^4 - 558418326280636635/1259813376299608*c_1001_3^3 + 194055971957037993/629906688149804*c_1001_3^2 - 2810587252515897/193817442507632*c_1001_3 - 88247755923024079/1259813376299608, c_0011_0 - 1, c_0011_10 - 37554831724/74316504029*c_1001_3^15 + 18201158142/74316504029*c_1001_3^14 + 108609412314/74316504029*c_1001_3^13 - 51550660914/74316504029*c_1001_3^12 - 738094955792/74316504029*c_1001_3^11 + 505624705432/74316504029*c_1001_3^10 + 1722918596853/74316504029*c_1001_3^9 - 194705817493/74316504029*c_1001_3^8 - 3674621590933/74316504029*c_1001_3^7 + 561281376112/74316504029*c_1001_3^6 + 2588530430554/74316504029*c_1001_3^5 - 877622746159/74316504029*c_1001_3^4 - 892439353603/74316504029*c_1001_3^3 + 258903024192/74316504029*c_1001_3^2 + 200335363765/74316504029*c_1001_3 - 87551708266/74316504029, c_0011_12 + 24483196563/74316504029*c_1001_3^15 + 835917595/74316504029*c_1001_3^14 - 68235482555/74316504029*c_1001_3^13 - 3788212163/74316504029*c_1001_3^12 + 473552743699/74316504029*c_1001_3^11 - 79429557650/74316504029*c_1001_3^10 - 1125119220851/74316504029*c_1001_3^9 - 499326630068/74316504029*c_1001_3^8 + 2053036449048/74316504029*c_1001_3^7 + 721646577059/74316504029*c_1001_3^6 - 1111755045908/74316504029*c_1001_3^5 - 42324212950/74316504029*c_1001_3^4 + 450711254039/74316504029*c_1001_3^3 + 21060302601/74316504029*c_1001_3^2 - 87288743632/74316504029*c_1001_3 + 63281808063/74316504029, c_0011_3 - 7255515650/74316504029*c_1001_3^15 + 3801800909/74316504029*c_1001_3^14 + 20415697926/74316504029*c_1001_3^13 - 8768259535/74316504029*c_1001_3^12 - 142659270087/74316504029*c_1001_3^11 + 96869427595/74316504029*c_1001_3^10 + 324908099282/74316504029*c_1001_3^9 - 8009769275/74316504029*c_1001_3^8 - 727718028770/74316504029*c_1001_3^7 + 40053821098/74316504029*c_1001_3^6 + 493465376831/74316504029*c_1001_3^5 + 25054201482/74316504029*c_1001_3^4 - 195348699542/74316504029*c_1001_3^3 - 152710891340/74316504029*c_1001_3^2 + 24352787338/74316504029*c_1001_3 - 3648616413/74316504029, c_0011_8 + 11734368723/74316504029*c_1001_3^15 + 5960539736/74316504029*c_1001_3^14 - 38704012274/74316504029*c_1001_3^13 - 14430952772/74316504029*c_1001_3^12 + 242553975728/74316504029*c_1001_3^11 + 63402918842/74316504029*c_1001_3^10 - 674067861509/74316504029*c_1001_3^9 - 416193637419/74316504029*c_1001_3^8 + 1124264701637/74316504029*c_1001_3^7 + 831690090038/74316504029*c_1001_3^6 - 900623948352/74316504029*c_1001_3^5 - 219967916467/74316504029*c_1001_3^4 + 407420541527/74316504029*c_1001_3^3 + 66091616699/74316504029*c_1001_3^2 - 44378861686/74316504029*c_1001_3 - 288840450/74316504029, c_0101_0 + 7111095425/74316504029*c_1001_3^15 - 15536169632/74316504029*c_1001_3^14 - 25942976987/74316504029*c_1001_3^13 + 47472271809/74316504029*c_1001_3^12 + 154201818359/74316504029*c_1001_3^11 - 338845722423/74316504029*c_1001_3^10 - 381090006874/74316504029*c_1001_3^9 + 684532774609/74316504029*c_1001_3^8 + 1130191744814/74316504029*c_1001_3^7 - 1168506709260/74316504029*c_1001_3^6 - 1315479311794/74316504029*c_1001_3^5 + 876291847995/74316504029*c_1001_3^4 + 410839589034/74316504029*c_1001_3^3 - 255142910862/74316504029*c_1001_3^2 - 89289042237/74316504029*c_1001_3 + 47738637649/74316504029, c_0101_1 + 25939394041/74316504029*c_1001_3^15 - 5028560087/74316504029*c_1001_3^14 - 66072567249/74316504029*c_1001_3^13 + 16732554973/74316504029*c_1001_3^12 + 484611946130/74316504029*c_1001_3^11 - 210287837867/74316504029*c_1001_3^10 - 1047786892459/74316504029*c_1001_3^9 - 205535752204/74316504029*c_1001_3^8 + 1985080084323/74316504029*c_1001_3^7 - 28287529713/74316504029*c_1001_3^6 - 894515016901/74316504029*c_1001_3^5 + 680176486048/74316504029*c_1001_3^4 + 322422390924/74316504029*c_1001_3^3 - 193093547197/74316504029*c_1001_3^2 - 31578726693/74316504029*c_1001_3 + 114408727799/74316504029, c_0101_5 + 7255515650/74316504029*c_1001_3^15 - 3801800909/74316504029*c_1001_3^14 - 20415697926/74316504029*c_1001_3^13 + 8768259535/74316504029*c_1001_3^12 + 142659270087/74316504029*c_1001_3^11 - 96869427595/74316504029*c_1001_3^10 - 324908099282/74316504029*c_1001_3^9 + 8009769275/74316504029*c_1001_3^8 + 727718028770/74316504029*c_1001_3^7 - 40053821098/74316504029*c_1001_3^6 - 493465376831/74316504029*c_1001_3^5 - 25054201482/74316504029*c_1001_3^4 + 195348699542/74316504029*c_1001_3^3 + 152710891340/74316504029*c_1001_3^2 - 98669291367/74316504029*c_1001_3 + 3648616413/74316504029, c_0101_7 - 30909797038/74316504029*c_1001_3^15 + 14546555022/74316504029*c_1001_3^14 + 83638243318/74316504029*c_1001_3^13 - 41129560076/74316504029*c_1001_3^12 - 591438846307/74316504029*c_1001_3^11 + 409664750661/74316504029*c_1001_3^10 + 1304014025284/74316504029*c_1001_3^9 - 118947097465/74316504029*c_1001_3^8 - 2746495446463/74316504029*c_1001_3^7 + 555935531003/74316504029*c_1001_3^6 + 1561425602045/74316504029*c_1001_3^5 - 896689492342/74316504029*c_1001_3^4 - 408812211126/74316504029*c_1001_3^3 + 332165410358/74316504029*c_1001_3^2 + 11804589659/74316504029*c_1001_3 - 145547692322/74316504029, c_1001_0 - 1, c_1001_1 + 24483196563/74316504029*c_1001_3^15 + 835917595/74316504029*c_1001_3^14 - 68235482555/74316504029*c_1001_3^13 - 3788212163/74316504029*c_1001_3^12 + 473552743699/74316504029*c_1001_3^11 - 79429557650/74316504029*c_1001_3^10 - 1125119220851/74316504029*c_1001_3^9 - 499326630068/74316504029*c_1001_3^8 + 2053036449048/74316504029*c_1001_3^7 + 721646577059/74316504029*c_1001_3^6 - 1111755045908/74316504029*c_1001_3^5 - 42324212950/74316504029*c_1001_3^4 + 450711254039/74316504029*c_1001_3^3 + 21060302601/74316504029*c_1001_3^2 - 87288743632/74316504029*c_1001_3 + 63281808063/74316504029, c_1001_2 - 15937592990/74316504029*c_1001_3^15 + 6361440965/74316504029*c_1001_3^14 + 41024490866/74316504029*c_1001_3^13 - 17460606859/74316504029*c_1001_3^12 - 303651342291/74316504029*c_1001_3^11 + 188203051919/74316504029*c_1001_3^10 + 650775511403/74316504029*c_1001_3^9 + 8350083713/74316504029*c_1001_3^8 - 1387873840241/74316504029*c_1001_3^7 + 234779360566/74316504029*c_1001_3^6 + 814922167975/74316504029*c_1001_3^5 - 350906310637/74316504029*c_1001_3^4 - 476037562811/74316504029*c_1001_3^3 + 15403298542/74316504029*c_1001_3^2 + 134182864833/74316504029*c_1001_3 - 62555815533/74316504029, c_1001_3^16 - 3*c_1001_3^14 + 20*c_1001_3^12 - 4*c_1001_3^11 - 50*c_1001_3^10 - 17*c_1001_3^9 + 95*c_1001_3^8 + 29*c_1001_3^7 - 67*c_1001_3^6 - 5*c_1001_3^5 + 31*c_1001_3^4 + 3*c_1001_3^3 - 8*c_1001_3^2 + 2*c_1001_3 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.750 Total time: 3.960 seconds, Total memory usage: 80.62MB