Magma V2.19-8 Tue Aug 20 2013 23:53:42 on localhost [Seed = 2345525260] Type ? for help. Type -D to quit. Loading file "K12n418__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n418 geometric_solution 12.59979183 oriented_manifold CS_known 0.0000000000000003 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 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 12 0 -12 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.103924704241 0.846959819723 0 5 6 3 0132 0132 0132 0321 0 0 0 0 0 0 -1 1 1 0 -1 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 12 -12 -12 0 12 0 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180554112110 1.092595959620 6 0 8 7 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 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.778847029991 0.935378155357 9 1 8 0 0132 0321 1302 0132 0 0 0 0 0 -1 1 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 12 -11 -1 0 0 -12 12 -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.870405950489 0.838908086346 10 11 0 9 0132 0132 0132 0213 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 0 -11 0 0 11 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.301547717230 0.674522871375 6 1 7 11 0213 0132 0213 3120 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -12 0 12 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482228664629 0.886094614091 5 10 2 1 0213 3120 1302 0132 0 0 0 0 0 -1 0 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 12 0 -12 12 0 0 -12 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527129429796 1.059614668904 12 5 2 9 0132 0213 0132 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 0 0 0 -11 0 11 0 0 -12 0 12 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676239434572 1.131408724392 3 10 12 2 2031 0213 2031 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 11 0 0 -11 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462963526052 0.775631034778 3 12 7 4 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 11 0 -11 1 11 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550111714162 0.463093322849 4 6 8 11 0132 3120 0213 0213 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 0 1 -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 11 0 0 -11 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287871080207 1.034149703131 5 4 12 10 3120 0132 2310 0213 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 1 -1 0 0 0 -11 11 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575632723046 0.858530340504 7 11 9 8 0132 3201 0213 1302 0 0 0 0 0 0 0 0 -1 0 1 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 11 0 -11 0 -1 1 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324952823405 0.730124868427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : negation(d['c_1001_11']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : 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_0011_8'], '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_1001_11'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_1001_2'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_1001_2'], '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' : d['c_0101_8'], '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_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' : negation(d['c_0011_12']), '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' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : negation(d['c_0011_3']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_8'], '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' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0011_3']), '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_1, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 3940612072154705495537916651479066961/15242256138534611773414451673\ 217*c_1001_2^21 + 62383031302546342954107976533415810831/1524225613\ 8534611773414451673217*c_1001_2^20 + 414281559820768513318262501720927583387/152422561385346117734144516\ 73217*c_1001_2^19 + 1238063793651571329763299514613537823396/152422\ 56138534611773414451673217*c_1001_2^18 - 593008607301285329972118595810269960559/152422561385346117734144516\ 73217*c_1001_2^17 - 12119532458710989193197711166933236774056/15242\ 256138534611773414451673217*c_1001_2^16 - 5371599733493930793122355538930660264030/21774651626478016819163502\ 39031*c_1001_2^15 - 75417240364373724308328502481735090927188/15242\ 256138534611773414451673217*c_1001_2^14 - 118947244775370798824250145544955202428732/152422561385346117734144\ 51673217*c_1001_2^13 - 154215330662762025852481921577753353761069/1\ 5242256138534611773414451673217*c_1001_2^12 - 167152529877052606506089236510772472309249/152422561385346117734144\ 51673217*c_1001_2^11 - 155728895744065272895765519123672604879006/1\ 5242256138534611773414451673217*c_1001_2^10 - 126655310302874262976836808012575140423679/152422561385346117734144\ 51673217*c_1001_2^9 - 89286136128981879519801399704738610715686/152\ 42256138534611773414451673217*c_1001_2^8 - 54155908815760922004977839464527567899249/1524225613853461177341445\ 1673217*c_1001_2^7 - 27915088936704807408392624651015182521448/1524\ 2256138534611773414451673217*c_1001_2^6 - 11664201441638727968016533687967988944696/1524225613853461177341445\ 1673217*c_1001_2^5 - 74573123786092069847101557721995679994/3110664\ 51806828811702335748433*c_1001_2^4 - 776264760353164688389224124809757641431/152422561385346117734144516\ 73217*c_1001_2^3 - 85120022524347349258271163838615313508/152422561\ 38534611773414451673217*c_1001_2^2 + 5143450092627646228499279682828710821/15242256138534611773414451673\ 217*c_1001_2 + 2607217224507156244121562827145133004/15242256138534\ 611773414451673217, c_0011_0 - 1, c_0011_10 - 293551145976962740298371187309/2155906101631486813778564593\ 1*c_1001_2^21 - 4421116612219329460876595867088/2155906101631486813\ 7785645931*c_1001_2^20 - 27529774973273008562563539076963/215590610\ 16314868137785645931*c_1001_2^19 - 72167170310803096117022826028172/21559061016314868137785645931*c_10\ 01_2^18 + 92298520691902317859925756699287/215590610163148681377856\ 45931*c_1001_2^17 + 810108807488890125753903997980686/2155906101631\ 4868137785645931*c_1001_2^16 + 313021246548351121100291893880497/30\ 79865859473552591112235133*c_1001_2^15 + 4149726448731764504808226050314922/21559061016314868137785645931*c_\ 1001_2^14 + 6322779068783689069987983987888590/21559061016314868137\ 785645931*c_1001_2^13 + 7919270975427020373727697520035837/21559061\ 016314868137785645931*c_1001_2^12 + 8387261449865945734225891356016783/21559061016314868137785645931*c_\ 1001_2^11 + 7757905361594772807684605133113228/21559061016314868137\ 785645931*c_1001_2^10 + 6278574598395552463139330981451425/21559061\ 016314868137785645931*c_1001_2^9 + 4434443475281561366259722485036309/21559061016314868137785645931*c_\ 1001_2^8 + 2745217398102951742704926052690162/215590610163148681377\ 85645931*c_1001_2^7 + 1462771638589058882614495124224385/2155906101\ 6314868137785645931*c_1001_2^6 + 653740644638094093640116787399441/\ 21559061016314868137785645931*c_1001_2^5 + 34566864929909046254287597835307/3079865859473552591112235133*c_100\ 1_2^4 + 72137388075794535754466012788620/21559061016314868137785645\ 931*c_1001_2^3 + 16515879018548301319681527660771/21559061016314868\ 137785645931*c_1001_2^2 + 2676391409193630735077976449836/215590610\ 16314868137785645931*c_1001_2 + 259313302783909891887498491659/2155\ 9061016314868137785645931, c_0011_12 - 151133292306155393926104519761/2155906101631486813778564593\ 1*c_1001_2^21 - 2308806887265835310821901460269/2155906101631486813\ 7785645931*c_1001_2^20 - 14647196706308414689508058296378/215590610\ 16314868137785645931*c_1001_2^19 - 39960271265852865693179076383783/21559061016314868137785645931*c_10\ 01_2^18 + 40984508343486550246651702432363/215590610163148681377856\ 45931*c_1001_2^17 + 430688517309130904392074330221934/2155906101631\ 4868137785645931*c_1001_2^16 + 172914275116879844384927893270186/30\ 79865859473552591112235133*c_1001_2^15 + 2336563818061642519976860164077982/21559061016314868137785645931*c_\ 1001_2^14 + 3613353908637791862624621777719689/21559061016314868137\ 785645931*c_1001_2^13 + 4597720939302307719879742149104305/21559061\ 016314868137785645931*c_1001_2^12 + 4936601927894464045641214219177416/21559061016314868137785645931*c_\ 1001_2^11 + 4619637587016227055490785026525335/21559061016314868137\ 785645931*c_1001_2^10 + 3788133002979604452633854789918807/21559061\ 016314868137785645931*c_1001_2^9 + 2711521428625313073565158301572713/21559061016314868137785645931*c_\ 1001_2^8 + 1701468866704210350063804987618089/215590610163148681377\ 85645931*c_1001_2^7 + 922393417430827126526107274271682/21559061016\ 314868137785645931*c_1001_2^6 + 420590695935764549033739709398718/2\ 1559061016314868137785645931*c_1001_2^5 + 22734539670479122268959207979115/3079865859473552591112235133*c_100\ 1_2^4 + 48765235975228484940864195715760/21559061016314868137785645\ 931*c_1001_2^3 + 11540995795728820241698190932417/21559061016314868\ 137785645931*c_1001_2^2 + 1978341623284502160228041896329/215590610\ 16314868137785645931*c_1001_2 + 216761042716914588821259842521/2155\ 9061016314868137785645931, c_0011_3 + 242744196282818475641859600542/21559061016314868137785645931\ *c_1001_2^21 + 3740844708450399204330087725912/21559061016314868137\ 785645931*c_1001_2^20 + 24014016659621109699646723004211/2155906101\ 6314868137785645931*c_1001_2^19 + 67204534864112859266024262664333/\ 21559061016314868137785645931*c_1001_2^18 - 58039156582952708262608551261084/21559061016314868137785645931*c_10\ 01_2^17 - 702691126445901297985158342753041/21559061016314868137785\ 645931*c_1001_2^16 - 290567128635438223350434979340466/307986585947\ 3552591112235133*c_1001_2^15 - 3989361386738511828402801425952140/2\ 1559061016314868137785645931*c_1001_2^14 - 6242509420395124538914969573069816/21559061016314868137785645931*c_\ 1001_2^13 - 8042236842919391094428760381879888/21559061016314868137\ 785645931*c_1001_2^12 - 8736498193164385456194586175576209/21559061\ 016314868137785645931*c_1001_2^11 - 8256230086981169488094152158422721/21559061016314868137785645931*c_\ 1001_2^10 - 6841182739797580567775710934952373/21559061016314868137\ 785645931*c_1001_2^9 - 4952281167527022910882745163219664/215590610\ 16314868137785645931*c_1001_2^8 - 314145260797802249799236376116586\ 1/21559061016314868137785645931*c_1001_2^7 - 1725681478626080467915084105947061/21559061016314868137785645931*c_\ 1001_2^6 - 799245034840610262984726701269708/2155906101631486813778\ 5645931*c_1001_2^5 - 43852900078459083193300930311398/3079865859473\ 552591112235133*c_1001_2^4 - 95572386164201416335768456160209/21559\ 061016314868137785645931*c_1001_2^3 - 22906009592809861135772000925020/21559061016314868137785645931*c_10\ 01_2^2 - 3933448522124436366959004096018/21559061016314868137785645\ 931*c_1001_2 - 402998170914075256561541738694/215590610163148681377\ 85645931, c_0011_8 - 79284891997096060025073547972/21559061016314868137785645931*\ c_1001_2^21 - 1242427500665208308028102872477/215590610163148681377\ 85645931*c_1001_2^20 - 8142490586535885242913769437955/215590610163\ 14868137785645931*c_1001_2^19 - 23717869855466387444711775488576/21\ 559061016314868137785645931*c_1001_2^18 + 14879979721536190175447716864371/21559061016314868137785645931*c_10\ 01_2^17 + 238363518284857307528028675503122/21559061016314868137785\ 645931*c_1001_2^16 + 102388483103454703749882355312235/307986585947\ 3552591112235133*c_1001_2^15 + 1427274702926068790745248818052297/2\ 1559061016314868137785645931*c_1001_2^14 + 2258008732571317958376086977332999/21559061016314868137785645931*c_\ 1001_2^13 + 2941412431002837091791102619363369/21559061016314868137\ 785645931*c_1001_2^12 + 3221257028176889303717125240159947/21559061\ 016314868137785645931*c_1001_2^11 + 3061911318873279326370551477129309/21559061016314868137785645931*c_\ 1001_2^10 + 2554374245977718455513911443467824/21559061016314868137\ 785645931*c_1001_2^9 + 1859272081897768749879398930632989/215590610\ 16314868137785645931*c_1001_2^8 + 118477286158812668946037528891506\ 5/21559061016314868137785645931*c_1001_2^7 + 655063334977784886153434723851477/21559061016314868137785645931*c_1\ 001_2^6 + 304685887929709130240547760940908/21559061016314868137785\ 645931*c_1001_2^5 + 16774411508222778180689819426594/30798658594735\ 52591112235133*c_1001_2^4 + 36818681860386575743553555058730/215590\ 61016314868137785645931*c_1001_2^3 + 8833855485447588618729891396266/21559061016314868137785645931*c_100\ 1_2^2 + 1562546023891832232739077168715/215590610163148681377856459\ 31*c_1001_2 + 171777777830004000626314452726/2155906101631486813778\ 5645931, c_0101_1 + 175139563140646961557420009088/21559061016314868137785645931\ *c_1001_2^21 + 2692454149428767142534570483780/21559061016314868137\ 785645931*c_1001_2^20 + 17214431365237800905747076510710/2155906101\ 6314868137785645931*c_1001_2^19 + 47679590088338212531201716759541/\ 21559061016314868137785645931*c_1001_2^18 - 44683024683791173955562670945977/21559061016314868137785645931*c_10\ 01_2^17 - 507987795036872474448986124078896/21559061016314868137785\ 645931*c_1001_2^16 - 206413578063823292501885042270720/307986585947\ 3552591112235133*c_1001_2^15 - 2793194992162806398776546432220072/2\ 1559061016314868137785645931*c_1001_2^14 - 4318526204892050579013147066623061/21559061016314868137785645931*c_\ 1001_2^13 - 5493202832490034352630810810013383/21559061016314868137\ 785645931*c_1001_2^12 - 5879538796671757426876190174643185/21559061\ 016314868137785645931*c_1001_2^11 - 5473034272900579923465269563176955/21559061016314868137785645931*c_\ 1001_2^10 - 4464458718374800035821973171530353/21559061016314868137\ 785645931*c_1001_2^9 - 3170616832878953936647388885825709/215590610\ 16314868137785645931*c_1001_2^8 - 196711215371123765342671168805288\ 7/21559061016314868137785645931*c_1001_2^7 - 1052598855788406151184752909516051/21559061016314868137785645931*c_\ 1001_2^6 - 469554594482346731881298116972201/2155906101631486813778\ 5645931*c_1001_2^5 - 24528958524109723009698639623210/3079865859473\ 552591112235133*c_1001_2^4 - 50619648023529724825030597854643/21559\ 061016314868137785645931*c_1001_2^3 - 11302519455450329031536526194288/21559061016314868137785645931*c_10\ 01_2^2 - 1791058931578901475437612641152/21559061016314868137785645\ 931*c_1001_2 - 172579980897247402379777539305/215590610163148681377\ 85645931, c_0101_11 + 15064940711948018713409682947/21559061016314868137785645931\ *c_1001_2^21 + 266500504483158873719457967263/215590610163148681377\ 85645931*c_1001_2^20 + 1991718598168255671726613636805/215590610163\ 14868137785645931*c_1001_2^19 + 7163458014172721870154492692825/215\ 59061016314868137785645931*c_1001_2^18 + 3503738108550141013102879878580/21559061016314868137785645931*c_100\ 1_2^17 - 57451629515387679300048963964038/2155906101631486813778564\ 5931*c_1001_2^16 - 30598537536778882583979507537464/307986585947355\ 2591112235133*c_1001_2^15 - 464933546175406718634003044720850/21559\ 061016314868137785645931*c_1001_2^14 - 779143795255356220865539438525662/21559061016314868137785645931*c_1\ 001_2^13 - 1072221357820436168010180728835817/215590610163148681377\ 85645931*c_1001_2^12 - 1228524749817648995250423828140515/215590610\ 16314868137785645931*c_1001_2^11 - 1210715019125840350500330888817708/21559061016314868137785645931*c_\ 1001_2^10 - 1048049796779405392013791591744013/21559061016314868137\ 785645931*c_1001_2^9 - 791771764103123496217462647915719/2155906101\ 6314868137785645931*c_1001_2^8 - 522804953031975572204786956820154/\ 21559061016314868137785645931*c_1001_2^7 - 300995947034260187842385075554885/21559061016314868137785645931*c_1\ 001_2^6 - 146970764468884664063115374055513/21559061016314868137785\ 645931*c_1001_2^5 - 8500996671358196337500923397753/307986585947355\ 2591112235133*c_1001_2^4 - 19719861031248322832929985269495/2155906\ 1016314868137785645931*c_1001_2^3 - 5119759784957363641202961842056/21559061016314868137785645931*c_100\ 1_2^2 - 942572429946790644514724725120/2155906101631486813778564593\ 1*c_1001_2 - 122586511765294827248399947337/21559061016314868137785\ 645931, c_0101_2 - 88648942794154320588746924015/21559061016314868137785645931*\ c_1001_2^21 - 1355294900305448979878447841324/215590610163148681377\ 85645931*c_1001_2^20 - 8618750958788018197766828976196/215590610163\ 14868137785645931*c_1001_2^19 - 23700027704753636679560905002953/21\ 559061016314868137785645931*c_1001_2^18 + 22860917616760571551984266869611/21559061016314868137785645931*c_10\ 01_2^17 + 251059327572666134946662217223859/21559061016314868137785\ 645931*c_1001_2^16 + 102659717407198642390280475790812/307986585947\ 3552591112235133*c_1001_2^15 + 1405033293212973448170436030965106/2\ 1559061016314868137785645931*c_1001_2^14 + 2192843099860645052110724624020129/21559061016314868137785645931*c_\ 1001_2^13 + 2818293094468433856336561765331144/21559061016314868137\ 785645931*c_1001_2^12 + 3059916934829323691374412398601917/21559061\ 016314868137785645931*c_1001_2^11 + 2890942393237264980793502931097215/21559061016314868137785645931*c_\ 1001_2^10 + 2394132460939719110845766493555680/21559061016314868137\ 785645931*c_1001_2^9 + 1734425946462196705588243959511794/215590610\ 16314868137785645931*c_1001_2^8 + 110113706501384954658681822350463\ 9/21559061016314868137785645931*c_1001_2^7 + 605551412360171461567065347176521/21559061016314868137785645931*c_1\ 001_2^6 + 281381650705326859826789835792623/21559061016314868137785\ 645931*c_1001_2^5 + 15505031682761334663339682750953/30798658594735\ 52591112235133*c_1001_2^4 + 34009148642111037738022608288120/215590\ 61016314868137785645931*c_1001_2^3 + 8231785370893950022973894563104/21559061016314868137785645931*c_100\ 1_2^2 + 1451248351761500687575583823116/215590610163148681377856459\ 31*c_1001_2 + 148612829183618247210045494272/2155906101631486813778\ 5645931, c_0101_7 - 41440117036981371157019247608/21559061016314868137785645931*\ c_1001_2^21 - 644846949137597082911377805500/2155906101631486813778\ 5645931*c_1001_2^20 - 4195212377428744756651915783805/2155906101631\ 4868137785645931*c_1001_2^19 - 12091325551177087052586262503568/215\ 59061016314868137785645931*c_1001_2^18 + 8116717835246121071646626875990/21559061016314868137785645931*c_100\ 1_2^17 + 121010856839303311753895437962480/215590610163148681377856\ 45931*c_1001_2^16 + 52040961427110615729426005108424/30798658594735\ 52591112235133*c_1001_2^15 + 736486559057660880044221802288234/2155\ 9061016314868137785645931*c_1001_2^14 + 1180040718921084245959530757544478/21559061016314868137785645931*c_\ 1001_2^13 + 1556489512168929111524363943680176/21559061016314868137\ 785645931*c_1001_2^12 + 1734559990501476671353254972521834/21559061\ 016314868137785645931*c_1001_2^11 + 1680224004362682821327475885832171/21559061016314868137785645931*c_\ 1001_2^10 + 1425381578459346322482929786869408/21559061016314868137\ 785645931*c_1001_2^9 + 1060135921899505888202697742324189/215590610\ 16314868137785645931*c_1001_2^8 + 692496051247968519435224069618769\ /21559061016314868137785645931*c_1001_2^7 + 392251750933286368690166260875083/21559061016314868137785645931*c_1\ 001_2^6 + 189326742883372153386934640820777/21559061016314868137785\ 645931*c_1001_2^5 + 10862528880807401945416260354289/30798658594735\ 52591112235133*c_1001_2^4 + 24525668123575180594167193871168/215590\ 61016314868137785645931*c_1001_2^3 + 6132340548965379213577252587211/21559061016314868137785645931*c_100\ 1_2^2 + 1085828916670451773581858184615/215590610163148681377856459\ 31*c_1001_2 + 112543429051422622398952783899/2155906101631486813778\ 5645931, c_0101_8 + 9521572245554541294047538179/3079865859473552591112235133*c_\ 1001_2^21 + 148718000090062680014055528351/307986585947355259111223\ 5133*c_1001_2^20 + 970631316269140164755913824930/30798658594735525\ 91112235133*c_1001_2^19 + 2805164929508961693438550150441/307986585\ 9473552591112235133*c_1001_2^18 - 1886369356651606653581787790242/3\ 079865859473552591112235133*c_1001_2^17 - 28396255411686463264335114055413/3079865859473552591112235133*c_100\ 1_2^16 - 84694657766344358288450983579853/3079865859473552591112235\ 133*c_1001_2^15 - 168455312656706967171109839830893/307986585947355\ 2591112235133*c_1001_2^14 - 266423973938653015639575559789990/30798\ 65859473552591112235133*c_1001_2^13 - 347047553788990873678142453552244/3079865859473552591112235133*c_10\ 01_2^12 - 380587110244427703642423459446188/30798658594735525911122\ 35133*c_1001_2^11 - 362711198825694604290052796147437/3079865859473\ 552591112235133*c_1001_2^10 - 303406126829976255598539723254820/307\ 9865859473552591112235133*c_1001_2^9 - 221801747099490910699878900806654/3079865859473552591112235133*c_10\ 01_2^8 - 142161667777483073408151831309462/307986585947355259111223\ 5133*c_1001_2^7 - 79141041704052008655433394858191/3079865859473552\ 591112235133*c_1001_2^6 - 37280074445934532388860190226390/30798658\ 59473552591112235133*c_1001_2^5 - 14606817141622726022601755788065/\ 3079865859473552591112235133*c_1001_2^4 - 4684445338916403940533113407197/3079865859473552591112235133*c_1001\ _2^3 - 1171363901831724360044370092869/3079865859473552591112235133\ *c_1001_2^2 - 210099621674839194190162942662/3079865859473552591112\ 235133*c_1001_2 - 25708510364129294364754618924/3079865859473552591\ 112235133, c_1001_0 + 34732246943414967271193704760/21559061016314868137785645931*\ c_1001_2^21 + 527952251881436321158986263850/2155906101631486813778\ 5645931*c_1001_2^20 + 3346493752670458192737184240913/2155906101631\ 4868137785645931*c_1001_2^19 + 9216703403406653202523465674248/2155\ 9061016314868137785645931*c_1001_2^18 - 8499103669814105403956572496316/21559061016314868137785645931*c_100\ 1_2^17 - 95045436250960927947076022409545/2155906101631486813778564\ 5931*c_1001_2^16 - 40177767712200029283539625315591/307986585947355\ 2591112235133*c_1001_2^15 - 562507405041271323812402773385393/21559\ 061016314868137785645931*c_1001_2^14 - 889666071241605797694429743546607/21559061016314868137785645931*c_1\ 001_2^13 - 1160162012410665427314174001131301/215590610163148681377\ 85645931*c_1001_2^12 - 1280363212309797228393155704922716/215590610\ 16314868137785645931*c_1001_2^11 - 1222221662244860267293097943140782/21559061016314868137785645931*c_\ 1001_2^10 - 1021689890764255707328942973102214/21559061016314868137\ 785645931*c_1001_2^9 - 748897512525564205074972266649479/2155906101\ 6314868137785645931*c_1001_2^8 - 478140168485708096357462186419501/\ 21559061016314868137785645931*c_1001_2^7 - 264460576406856486274668799540534/21559061016314868137785645931*c_1\ 001_2^6 - 123715819186819133749765714897393/21559061016314868137785\ 645931*c_1001_2^5 - 6716432902724812472317809392737/307986585947355\ 2591112235133*c_1001_2^4 - 14353117318772808605894644402930/2155906\ 1016314868137785645931*c_1001_2^3 - 3339375932747479131022065695798/21559061016314868137785645931*c_100\ 1_2^2 - 524335132145395293019218970540/2155906101631486813778564593\ 1*c_1001_2 - 49715254819824186848641907744/215590610163148681377856\ 45931, c_1001_11 + 220739572278387117572728267158/2155906101631486813778564593\ 1*c_1001_2^21 + 3348320795853343550775663331902/2155906101631486813\ 7785645931*c_1001_2^20 + 21039634730821984659455182631457/215590610\ 16314868137785645931*c_1001_2^19 + 56211510555033102661752681518424/21559061016314868137785645931*c_10\ 01_2^18 - 65207396682033909518589296324630/215590610163148681377856\ 45931*c_1001_2^17 - 620208926093001078232457694997864/2155906101631\ 4868137785645931*c_1001_2^16 - 243400360452109480300805431401336/30\ 79865859473552591112235133*c_1001_2^15 - 3249853529974025437149678083879683/21559061016314868137785645931*c_\ 1001_2^14 - 4981465719269416976289073283687120/21559061016314868137\ 785645931*c_1001_2^13 - 6279423776840769132367921759407803/21559061\ 016314868137785645931*c_1001_2^12 - 6684932213503110576585857005991659/21559061016314868137785645931*c_\ 1001_2^11 - 6213157761097818759214157110118149/21559061016314868137\ 785645931*c_1001_2^10 - 5057640523033095856354948923488117/21559061\ 016314868137785645931*c_1001_2^9 - 3592389415923546468565027805464850/21559061016314868137785645931*c_\ 1001_2^8 - 2238379292669226308783073970709026/215590610163148681377\ 85645931*c_1001_2^7 - 1203308859906106450733646740594147/2155906101\ 6314868137785645931*c_1001_2^6 - 543364100927484202661829354689072/\ 21559061016314868137785645931*c_1001_2^5 - 29151218406736070315036374351840/3079865859473552591112235133*c_100\ 1_2^4 - 62140080903091295194523297430711/21559061016314868137785645\ 931*c_1001_2^3 - 14578736443111046218981101164511/21559061016314868\ 137785645931*c_1001_2^2 - 2481044243753792519993771961419/215590610\ 16314868137785645931*c_1001_2 - 256846892489084240059552416327/2155\ 9061016314868137785645931, c_1001_2^22 + 16*c_1001_2^21 + 108*c_1001_2^20 + 335*c_1001_2^19 - 77*c_1001_2^18 - 3039*c_1001_2^17 - 10084*c_1001_2^16 - 21340*c_1001_2^15 - 35303*c_1001_2^14 - 48092*c_1001_2^13 - 55212*c_1001_2^12 - 54833*c_1001_2^11 - 47812*c_1001_2^10 - 36627*c_1001_2^9 - 24655*c_1001_2^8 - 14521*c_1001_2^7 - 7353*c_1001_2^6 - 3139*c_1001_2^5 - 1112*c_1001_2^4 - 318*c_1001_2^3 - 70*c_1001_2^2 - 11*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.960 Total time: 4.160 seconds, Total memory usage: 83.56MB