Magma V2.19-8 Tue Aug 20 2013 23:46:43 on localhost [Seed = 829905683] Type ? for help. Type -D to quit. Loading file "K14n24834__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24834 geometric_solution 9.91642615 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 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 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 1.276981596266 0.417639052053 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 12 1 -13 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.550139251617 1.641550909381 3 0 8 5 1302 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.217444549389 0.611077759876 9 2 9 0 0132 2031 3012 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 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.815154384211 0.544555165405 6 10 0 11 1230 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 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 1.232093832129 0.391888332313 2 1 10 8 3120 0132 2103 3120 0 0 0 0 0 1 -1 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 -12 12 0 0 0 0 0 -1 13 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694360226331 0.810708530055 11 4 1 7 1302 3012 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445151505605 0.380765940159 6 8 10 1 3201 1230 1023 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 1 0 -1 0 0 0 0 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162722061218 0.795236375456 5 10 7 2 3120 0321 3012 0132 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 -1 1 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.813509643683 1.035827228672 3 3 11 11 0132 1230 1302 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 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.558938662868 1.646633244232 5 4 7 8 2103 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547375394270 1.327657679020 9 6 4 9 2031 2031 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 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.137231733126 0.583097400386 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_7']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_10']), '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'], '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' : 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_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_3']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_11']), 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_8']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_7, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 18457914674022080275104372122339274565986/6184528540229867762515620\ 72234620653999*c_1001_2^19 + 42420466661464555344902837943178423578\ 0839/618452854022986776251562072234620653999*c_1001_2^18 + 4509828747848373616908385115769901269332203/61845285402298677625156\ 2072234620653999*c_1001_2^17 + 295305507739518041235116495197176736\ 10589541/618452854022986776251562072234620653999*c_1001_2^16 + 134409214972133763984988923904005928239225068/618452854022986776251\ 562072234620653999*c_1001_2^15 + 4576416508835962055932691039164433\ 29339642656/618452854022986776251562072234620653999*c_1001_2^14 + 1230803002139196004293241270459353839700498223/61845285402298677625\ 1562072234620653999*c_1001_2^13 + 272671257326481943646695505005162\ 2106772193781/618452854022986776251562072234620653999*c_1001_2^12 + 5121065657785313449611496295128296656268140068/61845285402298677625\ 1562072234620653999*c_1001_2^11 + 828139214733819099184166759395953\ 4451867085188/618452854022986776251562072234620653999*c_1001_2^10 + 11587032581203772264526949588122175202814472500/6184528540229867762\ 51562072234620653999*c_1001_2^9 + 139656907053002064925258201707272\ 74736745992797/618452854022986776251562072234620653999*c_1001_2^8 + 14338324083690987798413264187019955874902063212/6184528540229867762\ 51562072234620653999*c_1001_2^7 + 124216896280670559962730296777355\ 86240122548802/618452854022986776251562072234620653999*c_1001_2^6 + 9077999759331942247759211917866720817855738179/61845285402298677625\ 1562072234620653999*c_1001_2^5 + 5585937816491974398168161759531267\ 797514974033/618452854022986776251562072234620653999*c_1001_2^4 + 2825246694766270825260490170862842018568433432/61845285402298677625\ 1562072234620653999*c_1001_2^3 + 1132522033639569287945653212098457\ 887141426648/618452854022986776251562072234620653999*c_1001_2^2 + 350364661398748898139031362290189568156405040/618452854022986776251\ 562072234620653999*c_1001_2 + 6768097117983347397873306898665903343\ 4404496/618452854022986776251562072234620653999, c_0011_0 - 1, c_0011_10 - 50662288657683425251438555425/19829663103014892798477705551\ 264*c_1001_2^19 - 1014077505245830249791710100867/19829663103014892\ 798477705551264*c_1001_2^18 - 9263569402216855600883575378925/19829\ 663103014892798477705551264*c_1001_2^17 - 25693561509964128851800664927161/9914831551507446399238852775632*c_\ 1001_2^16 - 195849966179607487730766691741237/198296631030148927984\ 77705551264*c_1001_2^15 - 138866366382189700584159950525559/4957415\ 775753723199619426387816*c_1001_2^14 - 155749281712953802306120715375705/2478707887876861599809713193908*c\ _1001_2^13 - 2303013618436411214403730482605023/1982966310301489279\ 8477705551264*c_1001_2^12 - 3569288600906810462155343784744337/1982\ 9663103014892798477705551264*c_1001_2^11 - 4628706577548826539530416061991213/19829663103014892798477705551264\ *c_1001_2^10 - 2444828509559482425637347820412449/99148315515074463\ 99238852775632*c_1001_2^9 - 969431171071571485468234535311319/49574\ 15775753723199619426387816*c_1001_2^8 - 1800908243451227769200235278730323/19829663103014892798477705551264\ *c_1001_2^7 + 309831325560377774760649739621047/1982966310301489279\ 8477705551264*c_1001_2^6 + 1516610349081055592931018821433129/19829\ 663103014892798477705551264*c_1001_2^5 + 827352112555065740381014130226503/9914831551507446399238852775632*c\ _1001_2^4 + 73013692554958661786740675764615/1239353943938430799904\ 856596954*c_1001_2^3 + 586989439647685864238093878841647/1982966310\ 3014892798477705551264*c_1001_2^2 + 108160477921684776174697212286781/9914831551507446399238852775632*c\ _1001_2 + 4664253713206331524704542235177/2478707887876861599809713\ 193908, c_0011_11 - 91783706560584093591144595461/39659326206029785596955411102\ 528*c_1001_2^19 - 1977528306438462223615921326349/39659326206029785\ 596955411102528*c_1001_2^18 - 19742843967058399290360872215075/3965\ 9326206029785596955411102528*c_1001_2^17 - 15221597692227756829148687053071/4957415775753723199619426387816*c_\ 1001_2^16 - 524881530267881257009289592273869/396593262060297855969\ 55411102528*c_1001_2^15 - 852811927135812136762554478109817/1982966\ 3103014892798477705551264*c_1001_2^14 - 551952268726003589680968856579843/4957415775753723199619426387816*c\ _1001_2^13 - 9480281016040966820489229304984587/3965932620602978559\ 6955411102528*c_1001_2^12 - 17319936245447660457207817521937463/396\ 59326206029785596955411102528*c_1001_2^11 - 27287208387381993537904866829918935/3965932620602978559695541110252\ 8*c_1001_2^10 - 4648356812054449272960515949091683/4957415775753723\ 199619426387816*c_1001_2^9 - 2722801273482206329790030415967239/247\ 8707887876861599809713193908*c_1001_2^8 - 43371353874125324857593377753583127/3965932620602978559695541110252\ 8*c_1001_2^7 - 36358672903863948832340846154389511/3965932620602978\ 5596955411102528*c_1001_2^6 - 25584091395349377630974411342822873/3\ 9659326206029785596955411102528*c_1001_2^5 - 3757630788559772990384576842407101/9914831551507446399238852775632*\ c_1001_2^4 - 1801002083787655671752996682043129/9914831551507446399\ 238852775632*c_1001_2^3 - 2760257374741503129240751961125669/396593\ 26206029785596955411102528*c_1001_2^2 - 207038416241637520716783764396263/9914831551507446399238852775632*c\ _1001_2 - 39638208666451135282093791696597/991483155150744639923885\ 2775632, c_0011_3 + 131605619379892599883830863361/19829663103014892798477705551\ 264*c_1001_2^19 + 2834640557869504664483621225337/19829663103014892\ 798477705551264*c_1001_2^18 + 28235514558861296263605322619959/1982\ 9663103014892798477705551264*c_1001_2^17 + 21671696377656390070913519081509/2478707887876861599809713193908*c_\ 1001_2^16 + 742286629023047763691988240562345/198296631030148927984\ 77705551264*c_1001_2^15 + 1195901262498618047134729872175629/991483\ 1551507446399238852775632*c_1001_2^14 + 766981732016674540967667944966435/2478707887876861599809713193908*c\ _1001_2^13 + 13058163437469492895371390661873967/198296631030148927\ 98477705551264*c_1001_2^12 + 23660607677200006733099534237891035/19\ 829663103014892798477705551264*c_1001_2^11 + 36980478844094843642385612253991419/1982966310301489279847770555126\ 4*c_1001_2^10 + 6249430837890546149725826541893613/2478707887876861\ 599809713193908*c_1001_2^9 + 3630434561150900043751503254993237/123\ 9353943938430799904856596954*c_1001_2^8 + 57357379315655006208555514119665899/1982966310301489279847770555126\ 4*c_1001_2^7 + 47822654754956749010273350430928107/1982966310301489\ 2798477705551264*c_1001_2^6 + 33682091928239690253339142420360341/1\ 9829663103014892798477705551264*c_1001_2^5 + 4981282975513059982218650828990949/4957415775753723199619426387816*\ c_1001_2^4 + 2408483109293719466385249047264397/4957415775753723199\ 619426387816*c_1001_2^3 + 3686808692752028535795709331903905/198296\ 63103014892798477705551264*c_1001_2^2 + 264685324991226963364230328712567/4957415775753723199619426387816*c\ _1001_2 + 43448862249683903070874697062977/495741577575372319961942\ 6387816, c_0011_6 + 713733542993415297666556801/1239353943938430799904856596954*\ c_1001_2^19 + 7393131714073291578932733489/619676971969215399952428\ 298477*c_1001_2^18 + 285679812713655347487039029211/247870788787686\ 1599809713193908*c_1001_2^17 + 1721964025794538338351065519069/2478\ 707887876861599809713193908*c_1001_2^16 + 7353164956173881088708156994275/2478707887876861599809713193908*c_1\ 001_2^15 + 12018659607023206606223079156781/12393539439384307999048\ 56596954*c_1001_2^14 + 63394245567103466414496968607059/24787078878\ 76861599809713193908*c_1001_2^13 + 34899105467335946255868043249991/619676971969215399952428298477*c_1\ 001_2^12 + 65538977136922543108158589222650/61967697196921539995242\ 8298477*c_1001_2^11 + 424915292681666675898444378820777/24787078878\ 76861599809713193908*c_1001_2^10 + 596440919834721443837461016474703/2478707887876861599809713193908*c\ _1001_2^9 + 721235693031610608141858249145093/247870788787686159980\ 9713193908*c_1001_2^8 + 371009253051785570441883171126605/123935394\ 3938430799904856596954*c_1001_2^7 + 159242590491370779547747591932890/619676971969215399952428298477*c_\ 1001_2^6 + 442738694267762332318515713546389/2478707887876861599809\ 713193908*c_1001_2^5 + 238465327655119708448104261832195/2478707887\ 876861599809713193908*c_1001_2^4 + 94528502642082451310914013713107/2478707887876861599809713193908*c_\ 1001_2^3 + 12314890461842751877211277611633/12393539439384307999048\ 56596954*c_1001_2^2 + 1155612163829277594761781977617/1239353943938\ 430799904856596954*c_1001_2 - 805385218780502789119799707273/247870\ 7887876861599809713193908, c_0011_7 - 52936687090370044810396817309/198296631030148927984777055512\ 64*c_1001_2^19 - 1018934550059873014687430798043/198296631030148927\ 98477705551264*c_1001_2^18 - 8882063456807297745716957998885/198296\ 63103014892798477705551264*c_1001_2^17 - 23277015752213989300528896173727/9914831551507446399238852775632*c_\ 1001_2^16 - 165835028654833820928959367074665/198296631030148927984\ 77705551264*c_1001_2^15 - 13616092306696719118691528324096/61967697\ 1969215399952428298477*c_1001_2^14 - 112686000511639395764116255622367/2478707887876861599809713193908*c\ _1001_2^13 - 1531918881736960966125342899095971/1982966310301489279\ 8477705551264*c_1001_2^12 - 2157542851093972463588105751536873/1982\ 9663103014892798477705551264*c_1001_2^11 - 2467874165699059678001198569968445/19829663103014892798477705551264\ *c_1001_2^10 - 1065119267240473978198276745149543/99148315515074463\ 99238852775632*c_1001_2^9 - 255017254157310765739904596592221/49574\ 15775753723199619426387816*c_1001_2^8 + 403517679535205662550378726227625/19829663103014892798477705551264*\ c_1001_2^7 + 1308368603715262250081676808233199/1982966310301489279\ 8477705551264*c_1001_2^6 + 1463250542477099989944988992083841/19829\ 663103014892798477705551264*c_1001_2^5 + 585584387364266714809360360606605/9914831551507446399238852775632*c\ _1001_2^4 + 87853919085264253597997183227081/2478707887876861599809\ 713193908*c_1001_2^3 + 298868209347462658828929429235027/1982966310\ 3014892798477705551264*c_1001_2^2 + 52891545363091655631382107372007/9914831551507446399238852775632*c_\ 1001_2 + 1353772815261214621930677152667/12393539439384307999048565\ 96954, c_0011_8 + 83360237980043534457431161363/198296631030148927984777055512\ 64*c_1001_2^19 + 1752727771707549482987363386025/198296631030148927\ 98477705551264*c_1001_2^18 + 16982404775418652893589563397367/19829\ 663103014892798477705551264*c_1001_2^17 + 50576041127603292162874911939659/9914831551507446399238852775632*c_\ 1001_2^16 + 419774188995126510681126289126207/198296631030148927984\ 77705551264*c_1001_2^15 + 328544281941872553599602259777321/4957415\ 775753723199619426387816*c_1001_2^14 + 411574089537662725399904739464337/2478707887876861599809713193908*c\ _1001_2^13 + 6880979442158082007004700121872109/1982966310301489279\ 8477705551264*c_1001_2^12 + 12286380672635183164908567166156147/198\ 29663103014892798477705551264*c_1001_2^11 + 18962127568808948706150777005035351/1982966310301489279847770555126\ 4*c_1001_2^10 + 12676880288684666041936715904466627/991483155150744\ 6399238852775632*c_1001_2^9 + 7292455309280722005004229824024097/49\ 57415775753723199619426387816*c_1001_2^8 + 28621251667891631701358954427563177/1982966310301489279847770555126\ 4*c_1001_2^7 + 23879008601036332241007263222656027/1982966310301489\ 2798477705551264*c_1001_2^6 + 16859141218018069191619437359158837/1\ 9829663103014892798477705551264*c_1001_2^5 + 4962037499175013510230297091932315/9914831551507446399238852775632*\ c_1001_2^4 + 149484251372676557860423336344561/61967697196921539995\ 2428298477*c_1001_2^3 + 1833216216208443516421893764364611/19829663\ 103014892798477705551264*c_1001_2^2 + 255451226720578268420742291808449/9914831551507446399238852775632*c\ _1001_2 + 10050229357542726407813264148287/247870788787686159980971\ 3193908, c_0101_1 + 35773063770688708895783095313/396593262060297855969554111025\ 28*c_1001_2^19 + 660297598461020809820466766185/3965932620602978559\ 6955411102528*c_1001_2^18 + 5446252239845515357932591078631/3965932\ 6206029785596955411102528*c_1001_2^17 + 3307354794147966164118495434493/4957415775753723199619426387816*c_1\ 001_2^16 + 84662625353849643183767447392761/39659326206029785596955\ 411102528*c_1001_2^15 + 95360616976073198655376365529677/1982966310\ 3014892798477705551264*c_1001_2^14 + 39333698535303729526839925441395/4957415775753723199619426387816*c_\ 1001_2^13 + 366841672722055829290266404426047/396593262060297855969\ 55411102528*c_1001_2^12 + 193684704427501562058071557709259/3965932\ 6206029785596955411102528*c_1001_2^11 - 365208443223867513686695645634517/39659326206029785596955411102528*\ c_1001_2^10 - 169002152849722800391903301755087/4957415775753723199\ 619426387816*c_1001_2^9 - 159809232704778216429605030743845/2478707\ 887876861599809713193908*c_1001_2^8 - 3389886801669897465006938948545509/39659326206029785596955411102528\ *c_1001_2^7 - 3292421039081175446057729663294373/396593262060297855\ 96955411102528*c_1001_2^6 - 2476705222805028287978219590265307/3965\ 9326206029785596955411102528*c_1001_2^5 - 377042883770459581003461165117131/9914831551507446399238852775632*c\ _1001_2^4 - 180314020496475639158898010877131/991483155150744639923\ 8852775632*c_1001_2^3 - 255335058670918451115245988423823/396593262\ 06029785596955411102528*c_1001_2^2 - 23320023262149865989903938390553/9914831551507446399238852775632*c_\ 1001_2 - 2461058466004566408956135653183/99148315515074463992388527\ 75632, c_0101_10 - 60683068488132532960657768605/19829663103014892798477705551\ 264*c_1001_2^19 - 1173221631342886043449617678149/19829663103014892\ 798477705551264*c_1001_2^18 - 10275961621514668982054214739179/1982\ 9663103014892798477705551264*c_1001_2^17 - 6767701145766210535581654861599/2478707887876861599809713193908*c_1\ 001_2^16 - 193953748858440207900866887759365/1982966310301489279847\ 7705551264*c_1001_2^15 - 256298412656475024604653180955537/99148315\ 51507446399238852775632*c_1001_2^14 - 133349926943869552700363877960483/2478707887876861599809713193908*c\ _1001_2^13 - 1823382182545227066107665575000819/1982966310301489279\ 8477705551264*c_1001_2^12 - 2582911056902454071706619421058751/1982\ 9663103014892798477705551264*c_1001_2^11 - 2970987862923423691211049621842015/19829663103014892798477705551264\ *c_1001_2^10 - 322240270350645366161093672541179/247870788787686159\ 9809713193908*c_1001_2^9 - 77087080323834703939265385079215/1239353\ 943938430799904856596954*c_1001_2^8 + 541327340994808299394131908306433/19829663103014892798477705551264*\ c_1001_2^7 + 1739238805140433937022025722503153/1982966310301489279\ 8477705551264*c_1001_2^6 + 2014399287270153820155067696364751/19829\ 663103014892798477705551264*c_1001_2^5 + 417958398156968969757959889706371/4957415775753723199619426387816*c\ _1001_2^4 + 255055478646311138298613469231407/495741577575372319961\ 9426387816*c_1001_2^3 + 429675310772738468662281313693539/198296631\ 03014892798477705551264*c_1001_2^2 + 36631794460192432874761954661801/4957415775753723199619426387816*c_\ 1001_2 + 6862500062073760303169717048619/49574157757537231996194263\ 87816, c_0101_3 - 97723880684283220084621273941/396593262060297855969554111025\ 28*c_1001_2^19 - 2083866541823682829649086906685/396593262060297855\ 96955411102528*c_1001_2^18 - 20552733784872820690620711189011/39659\ 326206029785596955411102528*c_1001_2^17 - 15626720627984899918863371025287/4957415775753723199619426387816*c_\ 1001_2^16 - 530739891878576642023988126405373/396593262060297855969\ 55411102528*c_1001_2^15 - 849233493649733721102200483854457/1982966\ 3103014892798477705551264*c_1001_2^14 - 541905350548135641968294113412583/4957415775753723199619426387816*c\ _1001_2^13 - 9193090168869501946698113444940411/3965932620602978559\ 6955411102528*c_1001_2^12 - 16612458458427906381690880994813511/396\ 59326206029785596955411102528*c_1001_2^11 - 25908662465271956767619070977485191/3965932620602978559695541110252\ 8*c_1001_2^10 - 4370417867642061881802686320344475/4957415775753723\ 199619426387816*c_1001_2^9 - 2534897897392170440279684867548289/247\ 8707887876861599809713193908*c_1001_2^8 - 40007796498180437358330022633028871/3965932620602978559695541110252\ 8*c_1001_2^7 - 33337975271569014020208101906406295/3965932620602978\ 5596955411102528*c_1001_2^6 - 23427781416685476200601963400830889/3\ 9659326206029785596955411102528*c_1001_2^5 - 3438282655029746267241349427620477/9914831551507446399238852775632*\ c_1001_2^4 - 1634890710232347933722792424286305/9914831551507446399\ 238852775632*c_1001_2^3 - 2437136266652163133476106794386805/396593\ 26206029785596955411102528*c_1001_2^2 - 173031601230183715786341447129999/9914831551507446399238852775632*c\ _1001_2 - 27976928889846944427294333191341/991483155150744639923885\ 2775632, c_0101_7 - 17602447115514878902753051611/198296631030148927984777055512\ 64*c_1001_2^19 - 377328448275180737510367023221/1982966310301489279\ 8477705551264*c_1001_2^18 - 3669749737984541403014314173947/1982966\ 3103014892798477705551264*c_1001_2^17 - 10750129157318342540709749120037/9914831551507446399238852775632*c_\ 1001_2^16 - 85529605601606902264569658859631/1982966310301489279847\ 7705551264*c_1001_2^15 - 31168397271432021802576368501205/247870788\ 7876861599809713193908*c_1001_2^14 - 70885786959073585070718249398779/2478707887876861599809713193908*c_\ 1001_2^13 - 1058095013271480623433287338365893/19829663103014892798\ 477705551264*c_1001_2^12 - 1667726195513890960935199712255495/19829\ 663103014892798477705551264*c_1001_2^11 - 2238472003649944129295553425261491/19829663103014892798477705551264\ *c_1001_2^10 - 1271854733526755757674844729420077/99148315515074463\ 99238852775632*c_1001_2^9 - 600997600992489208814523684210539/49574\ 15775753723199619426387816*c_1001_2^8 - 1906447338055728799667261487437041/19829663103014892798477705551264\ *c_1001_2^7 - 1486466240802930848309019949204575/198296631030148927\ 98477705551264*c_1001_2^6 - 1408397632785191863331455809869921/1982\ 9663103014892798477705551264*c_1001_2^5 - 682755599375884246711507263127033/9914831551507446399238852775632*c\ _1001_2^4 - 130518608855662116343991786233745/247870788787686159980\ 9713193908*c_1001_2^3 - 622050085106881845892105421061067/198296631\ 03014892798477705551264*c_1001_2^2 - 141081865660777973333303338297683/9914831551507446399238852775632*c\ _1001_2 - 4380927602723319143623324127123/1239353943938430799904856\ 596954, c_1001_2^20 + 23*c_1001_2^19 + 245*c_1001_2^18 + 1610*c_1001_2^17 + 7369*c_1001_2^16 + 25288*c_1001_2^15 + 68692*c_1001_2^14 + 153951*c_1001_2^13 + 292861*c_1001_2^12 + 480405*c_1001_2^11 + 683458*c_1001_2^10 + 840848*c_1001_2^9 + 886571*c_1001_2^8 + 795093*c_1001_2^7 + 606095*c_1001_2^6 + 392026*c_1001_2^5 + 211900*c_1001_2^4 + 93465*c_1001_2^3 + 32794*c_1001_2^2 + 8252*c_1001_2 + 1112 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.590 Total time: 1.800 seconds, Total memory usage: 32.09MB