Magma V2.19-8 Tue Aug 20 2013 23:29:46 on localhost [Seed = 104882262] Type ? for help. Type -D to quit. Loading file "K14a17701__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a17701 geometric_solution 6.38462163 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 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 -1 0 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.410568254090 0.419516010812 0 4 2 3 0132 1023 2031 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 -1 0 1 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.124013284910 0.414572567675 5 0 5 1 0132 0132 3120 1302 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 1 0 -1 -19 0 20 -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.802049953440 0.900265273419 6 6 1 0 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668652638812 0.576973717680 1 7 0 5 1023 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802049953440 0.900265273419 2 7 2 4 0132 2310 3120 2103 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 19 0 -20 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.802049953440 0.900265273419 3 8 3 8 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.593243485875 0.663995474826 7 4 7 5 2310 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658230797196 0.680157476516 6 6 8 8 3201 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378897545439 0.029540253730 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_7']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0110_8']), 's_2_8' : d['1'], 's_2_0' : 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_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : negation(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_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_3']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0101_7']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 14929555496770117686724676259670795465820835/1022556486103927045928\ 388504247877387797*c_1001_2^23 - 3609777043610989154055595212479703\ 71190800150/1022556486103927045928388504247877387797*c_1001_2^22 - 4232428003154910761363487846336776303853889481/10225564861039270459\ 28388504247877387797*c_1001_2^21 - 32072809721040230091442395269380114454107891055/1022556486103927045\ 928388504247877387797*c_1001_2^20 - 176571459704722452287738526213968369301972187491/102255648610392704\ 5928388504247877387797*c_1001_2^19 - 752396984188189401514074878925253452078432606465/102255648610392704\ 5928388504247877387797*c_1001_2^18 - 2580848584477591814298464285444269832385583879755/10225564861039270\ 45928388504247877387797*c_1001_2^17 - 7315675950076065587506428469381750718647952915220/10225564861039270\ 45928388504247877387797*c_1001_2^16 - 17452331112673486527588316190456589008285559336974/1022556486103927\ 045928388504247877387797*c_1001_2^15 - 865743975301383189825179501333882805511469472511/249404021000957816\ 08009475713362863117*c_1001_2^14 - 697841243362820832784217662302990643395703490521/114893987202688432\ 12678522519639071773*c_1001_2^13 - 13436664665564968608734051411605977381305063705599/1460794980148467\ 20846912643463982483971*c_1001_2^12 - 123710037175978130193339188825248096210787494173024/102255648610392\ 7045928388504247877387797*c_1001_2^11 - 141473650495892109601065424612610376103928692075207/102255648610392\ 7045928388504247877387797*c_1001_2^10 - 140497152254573009885323591452146725346163944531688/102255648610392\ 7045928388504247877387797*c_1001_2^9 - 17244367390482623049667746994384911439191466920426/1460794980148467\ 20846912643463982483971*c_1001_2^8 - 12731485927042395636894157364192530659594136380539/1460794980148467\ 20846912643463982483971*c_1001_2^7 - 55947425484015487360950359174631760326266700863442/1022556486103927\ 045928388504247877387797*c_1001_2^6 - 29396651389057798797420829829725890518694582572423/1022556486103927\ 045928388504247877387797*c_1001_2^5 - 12626359646912481402261020214236816026946112960231/1022556486103927\ 045928388504247877387797*c_1001_2^4 - 4274608984755057446620787565392183579597973496291/10225564861039270\ 45928388504247877387797*c_1001_2^3 - 1073961313978654170820852309512707401193293635969/10225564861039270\ 45928388504247877387797*c_1001_2^2 - 178761133082628675398977927236214621184612347512/102255648610392704\ 5928388504247877387797*c_1001_2 - 148508924527393717152269683575115\ 14499528331431/1022556486103927045928388504247877387797, c_0011_0 - 1, c_0011_3 - 116318523561530310605643585615/694984218993374664730983383*c\ _1001_2^23 - 2871030663041830436722105256400/6949842189933746647309\ 83383*c_1001_2^22 - 34296180962832989325325484388533/69498421899337\ 4664730983383*c_1001_2^21 - 264297397024640955318679148373577/69498\ 4218993374664730983383*c_1001_2^20 - 1477213991138694156998569552548635/694984218993374664730983383*c_10\ 01_2^19 - 6380751547463539919681814213218050/6949842189933746647309\ 83383*c_1001_2^18 - 22155851130935272616649818268916232/69498421899\ 3374664730983383*c_1001_2^17 - 63495073262962219957836810297642106/\ 694984218993374664730983383*c_1001_2^16 - 152971571674205801677454265592787899/694984218993374664730983383*c_\ 1001_2^15 - 7655581116528513213138213157136026/16950834609594504017\ 828863*c_1001_2^14 - 553564332026325965179478683369248721/694984218\ 993374664730983383*c_1001_2^13 - 1206098456146823952453691589377714\ 82/99283459856196380675854769*c_1001_2^12 - 1117461428567650057291609328502280169/694984218993374664730983383*c\ _1001_2^11 - 1285076138349094131994702921812774951/6949842189933746\ 64730983383*c_1001_2^10 - 1282483113897088642514754868390169614/694\ 984218993374664730983383*c_1001_2^9 - 158079368404561895302712848430652087/99283459856196380675854769*c_1\ 001_2^8 - 117128427278930280162919514051328285/99283459856196380675\ 854769*c_1001_2^7 - 516199117898425493757657351279363021/6949842189\ 93374664730983383*c_1001_2^6 - 271806540561136061914494675596757113\ /694984218993374664730983383*c_1001_2^5 - 116892871074739408842811747426308855/694984218993374664730983383*c_\ 1001_2^4 - 39582185095382112703663135837225618/69498421899337466473\ 0983383*c_1001_2^3 - 9933676144520538645501137822869836/69498421899\ 3374664730983383*c_1001_2^2 - 1648721460360844302781153637558263/69\ 4984218993374664730983383*c_1001_2 - 136243036025512261962969385529186/694984218993374664730983383, c_0101_0 + 46564429771698209234397836847/694984218993374664730983383*c_\ 1001_2^23 + 1211613250193231451425818035932/69498421899337466473098\ 3383*c_1001_2^22 + 15199957235485367348287048557089/694984218993374\ 664730983383*c_1001_2^21 + 122620597129925147193535020691898/694984\ 218993374664730983383*c_1001_2^20 + 715463907238515524383134477014401/694984218993374664730983383*c_100\ 1_2^19 + 3218437812289633659703627565553508/69498421899337466473098\ 3383*c_1001_2^18 + 11613772303101190686702922560495063/694984218993\ 374664730983383*c_1001_2^17 + 34524567531363150232998746528724279/6\ 94984218993374664730983383*c_1001_2^16 + 86137426647605185109270883243718194/694984218993374664730983383*c_1\ 001_2^15 + 4457929659244689111743346545691428/169508346095945040178\ 28863*c_1001_2^14 + 332940104106498153703032625350917867/6949842189\ 93374664730983383*c_1001_2^13 + 74847946890204415369578128240679605\ /99283459856196380675854769*c_1001_2^12 + 714944566141110167711172668464601917/694984218993374664730983383*c_\ 1001_2^11 + 847117771416564588590639719249382636/694984218993374664\ 730983383*c_1001_2^10 + 870693728409110686055024052544268090/694984\ 218993374664730983383*c_1001_2^9 + 110511306466694656889420159447435482/99283459856196380675854769*c_1\ 001_2^8 + 84320192923857580363323426352640879/992834598561963806758\ 54769*c_1001_2^7 + 382784094315732132900914239390014525/69498421899\ 3374664730983383*c_1001_2^6 + 207737594034575167037510957931163771/\ 694984218993374664730983383*c_1001_2^5 + 92161861288159681541450633580150625/694984218993374664730983383*c_1\ 001_2^4 + 32234504107078571747684374315318151/694984218993374664730\ 983383*c_1001_2^3 + 8370071746117289697061685931973957/694984218993\ 374664730983383*c_1001_2^2 + 1440562925342915170221461580050413/694\ 984218993374664730983383*c_1001_2 + 123796852489172388273033385210102/694984218993374664730983383, c_0101_1 - 54526992970548116935440449649/694984218993374664730983383*c_\ 1001_2^23 - 1366876942514549847831404981954/69498421899337466473098\ 3383*c_1001_2^22 - 16482943058265109351989911927441/694984218993374\ 664730983383*c_1001_2^21 - 127566831719689767469652928961878/694984\ 218993374664730983383*c_1001_2^20 - 712915867157808798423671550222454/694984218993374664730983383*c_100\ 1_2^19 - 3067542690704357796423421567996530/69498421899337466473098\ 3383*c_1001_2^18 - 10576262786574147432001907849056332/694984218993\ 374664730983383*c_1001_2^17 - 30011644072499980499006498838988730/6\ 94984218993374664730983383*c_1001_2^16 - 71414314448089408045351056850893315/694984218993374664730983383*c_1\ 001_2^15 - 3522057185600199527816095873541351/169508346095945040178\ 28863*c_1001_2^14 - 250445973389249107139502015650986101/6949842189\ 93374664730983383*c_1001_2^13 - 53551548134144786816947742880205368\ /99283459856196380675854769*c_1001_2^12 - 485935983788643736556578823439568548/694984218993374664730983383*c_\ 1001_2^11 - 546148338880340882795069938570836021/694984218993374664\ 730983383*c_1001_2^10 - 531463866483761763742358134687607162/694984\ 218993374664730983383*c_1001_2^9 - 63712975443785435325213580313946013/99283459856196380675854769*c_10\ 01_2^8 - 45779494260222665547769939388546371/9928345985619638067585\ 4769*c_1001_2^7 - 194975299477302341099574175952447391/694984218993\ 374664730983383*c_1001_2^6 - 98801600106609646620568996830442922/69\ 4984218993374664730983383*c_1001_2^5 - 40681992724052617894149621803924804/694984218993374664730983383*c_1\ 001_2^4 - 13104538517945328961602296768490820/694984218993374664730\ 983383*c_1001_2^3 - 3102831388889022206046324190714447/694984218993\ 374664730983383*c_1001_2^2 - 480703928174469722534965575459914/6949\ 84218993374664730983383*c_1001_2 - 36564549562232851216567319544923/694984218993374664730983383, c_0101_2 + 101834770063378251005871877845/694984218993374664730983383*c\ _1001_2^23 + 2570174274460428747716908965111/6949842189933746647309\ 83383*c_1001_2^22 + 31360670975642353667523054975239/69498421899337\ 4664730983383*c_1001_2^21 + 246625171114243288609963653817730/69498\ 4218993374664730983383*c_1001_2^20 + 1405504435237345970481368683988807/694984218993374664730983383*c_10\ 01_2^19 + 6185707032117796677165393012781265/6949842189933746647309\ 83383*c_1001_2^18 + 21870573409885999975388830272763977/69498421899\ 3374664730983383*c_1001_2^17 + 63786625731827235609539752470129274/\ 694984218993374664730983383*c_1001_2^16 + 156321351934682838219083179889561015/694984218993374664730983383*c_\ 1001_2^15 + 7954994907518093901959501356257579/16950834609594504017\ 828863*c_1001_2^14 + 584732372807209576687864717077189424/694984218\ 993374664730983383*c_1001_2^13 + 1294824838968589364320171460710096\ 96/99283459856196380675854769*c_1001_2^12 + 1219139852301004200453622594151143288/694984218993374664730983383*c\ _1001_2^11 + 1424758760243412225248127752740156050/6949842189933746\ 64730983383*c_1001_2^10 + 1445121540508092110491906251328069073/694\ 984218993374664730983383*c_1001_2^9 + 181081055904916258929616271644459939/99283459856196380675854769*c_1\ 001_2^8 + 136450234087529214874698344303971873/99283459856196380675\ 854769*c_1001_2^7 + 611909758189187765774178222681378010/6949842189\ 93374664730983383*c_1001_2^6 + 328111711212043933735940022949390829\ /694984218993374664730983383*c_1001_2^5 + 143841641611254367358205909089923245/694984218993374664730983383*c_\ 1001_2^4 + 49717725157264729221624630113694471/69498421899337466473\ 0983383*c_1001_2^3 + 12758272601415372022260072594556034/6949842189\ 93374664730983383*c_1001_2^2 + 2170125096482799876304190006418880/6\ 94984218993374664730983383*c_1001_2 + 184332018372626072399101391215009/694984218993374664730983383, c_0101_3 + 159103199336990506219946795031/694984218993374664730983383*c\ _1001_2^23 + 3845761379483821722094520107414/6949842189933746647309\ 83383*c_1001_2^22 + 44990879794594398214937873447679/69498421899337\ 4664730983383*c_1001_2^21 + 339563393464054295158402242463459/69498\ 4218993374664730983383*c_1001_2^20 + 1858785328879673761023089131240327/694984218993374664730983383*c_10\ 01_2^19 + 7863492763500697243767944516873871/6949842189933746647309\ 83383*c_1001_2^18 + 26741052495781015389535358442824198/69498421899\ 3374664730983383*c_1001_2^17 + 75049870223464989916739732059856012/\ 694984218993374664730983383*c_1001_2^16 + 177049251660539019002945957967015424/694984218993374664730983383*c_\ 1001_2^15 + 8674865005057338866711417523983799/16950834609594504017\ 828863*c_1001_2^14 + 613971873208048342279467952577852873/694984218\ 993374664730983383*c_1001_2^13 + 1308916076371291114460408461136424\ 21/99283459856196380675854769*c_1001_2^12 + 1186072450793761974948584753850802246/694984218993374664730983383*c\ _1001_2^11 + 1333197260257685950517512293035022364/6949842189933746\ 64730983383*c_1001_2^10 + 1299461497283416052921558754865409804/694\ 984218993374664730983383*c_1001_2^9 + 156277748463451513441212583407769187/99283459856196380675854769*c_1\ 001_2^8 + 112834255153884609112624204975357042/99283459856196380675\ 854769*c_1001_2^7 + 483785412220285517427043223628111372/6949842189\ 93374664730983383*c_1001_2^6 + 247324727096162066749053253063287940\ /694984218993374664730983383*c_1001_2^5 + 103002027529514356665328408178488281/694984218993374664730983383*c_\ 1001_2^4 + 33664796081380388780252015267722701/69498421899337466473\ 0983383*c_1001_2^3 + 8120117616195419609774045139584948/69498421899\ 3374664730983383*c_1001_2^2 + 1288189591356367165416115755034231/69\ 4984218993374664730983383*c_1001_2 + 101011901207098727133341471145254/694984218993374664730983383, c_0101_7 - 142227718156411255441806022386/694984218993374664730983383*c\ _1001_2^23 - 3464107691831893291990605371286/6949842189933746647309\ 83383*c_1001_2^22 - 40752896247901538420842779885269/69498421899337\ 4664730983383*c_1001_2^21 - 308727696169969187186238625912876/69498\ 4218993374664730983383*c_1001_2^20 - 1693466506114751339354902033106036/694984218993374664730983383*c_10\ 01_2^19 - 7167990585165231560233520261168211/6949842189933746647309\ 83383*c_1001_2^18 - 24355480604181090523233337361168141/69498421899\ 3374664730983383*c_1001_2^17 - 68210951630354004616032292531008408/\ 694984218993374664730983383*c_1001_2^16 - 160387115791920997755836395538950209/694984218993374664730983383*c_\ 1001_2^15 - 7823793842777746049677643126546796/16950834609594504017\ 828863*c_1001_2^14 - 550680746118129402033781803917328105/694984218\ 993374664730983383*c_1001_2^13 - 1166197824059744266891964383808121\ 59/99283459856196380675854769*c_1001_2^12 - 1048507076242910005158445547641045514/694984218993374664730983383*c\ _1001_2^11 - 1167896500562043116716023927956825856/6949842189933746\ 64730983383*c_1001_2^10 - 1126443503815335449545989695244068806/694\ 984218993374664730983383*c_1001_2^9 - 133835783255353877760380872812317522/99283459856196380675854769*c_1\ 001_2^8 - 95280950976139159829169850145323126/992834598561963806758\ 54769*c_1001_2^7 - 401867589684769792728547421556121589/69498421899\ 3374664730983383*c_1001_2^6 - 201499988989727053789458838751509282/\ 694984218993374664730983383*c_1001_2^5 - 81990770768944797343785383767433623/694984218993374664730983383*c_1\ 001_2^4 - 26048677318752090375000795663531060/694984218993374664730\ 983383*c_1001_2^3 - 6064548300736674007232224185296176/694984218993\ 374664730983383*c_1001_2^2 - 919284529596012986635700364245542/6949\ 84218993374664730983383*c_1001_2 - 67840559833560467107830840968030/694984218993374664730983383, c_0110_8 + 196532446129230632079938504742/694984218993374664730983383*c\ _1001_2^23 + 4773903235519235006203304446752/6949842189933746647309\ 83383*c_1001_2^22 + 56127455685417917463095954718606/69498421899337\ 4664730983383*c_1001_2^21 + 425749473481790939387830760974189/69498\ 4218993374664730983383*c_1001_2^20 + 2342437957929418132697363406954601/694984218993374664730983383*c_10\ 01_2^19 + 9960585656343087398943330003551221/6949842189933746647309\ 83383*c_1001_2^18 + 34049151392836456488647585885979648/69498421899\ 3374664730983383*c_1001_2^17 + 96065713143111604183526620661714684/\ 694984218993374664730983383*c_1001_2^16 + 227846029679420355048066282806655915/694984218993374664730983383*c_\ 1001_2^15 + 11224968826664195479805261466088402/1695083460959450401\ 7828863*c_1001_2^14 + 798918224912009040639456739770476990/69498421\ 8993374664730983383*c_1001_2^13 + 171303610580946452056623061469817\ 205/99283459856196380675854769*c_1001_2^12 + 1561538272535155488472183733254329756/694984218993374664730983383*c\ _1001_2^11 + 1766155131907887870580932424922555379/6949842189933746\ 64730983383*c_1001_2^10 + 1732697328083222841542103870850572095/694\ 984218993374664730983383*c_1001_2^9 + 209819092173928522220780349932711827/99283459856196380675854769*c_1\ 001_2^8 + 152609394404834848235707769350878487/99283459856196380675\ 854769*c_1001_2^7 + 659539191586597566014014270940628511/6949842189\ 93374664730983383*c_1001_2^6 + 340113844024975525416432006186892794\ /694984218993374664730983383*c_1001_2^5 + 143014545619693713021222407913275841/694984218993374664730983383*c_\ 1001_2^4 + 47251331339320902356835806059483197/69498421899337466473\ 0983383*c_1001_2^3 + 11539591194231463945747348714982211/6949842189\ 93374664730983383*c_1001_2^2 + 1857412842007504166227227213624681/6\ 94984218993374664730983383*c_1001_2 + 148194520749008807140297788332297/694984218993374664730983383, c_1001_2^24 + 3883/153*c_1001_2^23 + 15941/51*c_1001_2^22 + 126977/51*c_1001_2^21 + 245114/17*c_1001_2^20 + 9896497/153*c_1001_2^19 + 35774549/153*c_1001_2^18 + 106996448/153*c_1001_2^17 + 15866018/9*c_1001_2^16 + 580738325/153*c_1001_2^15 + 1078154455/153*c_1001_2^14 + 1737288229/153*c_1001_2^13 + 271091269/17*c_1001_2^12 + 2992339430/153*c_1001_2^11 + 3204832159/153*c_1001_2^10 + 2990792725/153*c_1001_2^9 + 2420791450/153*c_1001_2^8 + 1686809018/153*c_1001_2^7 + 1000535422/153*c_1001_2^6 + 496951730/153*c_1001_2^5 + 201729184/153*c_1001_2^4 + 64485572/153*c_1001_2^3 + 1696848/17*c_1001_2^2 + 2389712/153*c_1001_2 + 185921/153 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB