Magma V2.19-8 Tue Aug 20 2013 23:46:01 on localhost [Seed = 1460744877] Type ? for help. Type -D to quit. Loading file "K14n11995__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11995 geometric_solution 11.29334029 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 -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 -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.898522957504 1.183134673292 0 5 7 6 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 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.485713147091 0.640785679676 3 0 8 6 2103 0132 0132 2031 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 -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.344723878423 0.601131208131 9 10 2 0 0132 0132 2103 0132 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 -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.694134638672 0.675169671192 9 8 0 5 3120 0132 0132 3012 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638345784830 0.449528841670 10 1 4 8 3120 0132 1230 1230 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 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 1.222634755105 1.291821669912 9 2 1 11 2103 1302 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709075452551 0.733583263149 11 8 10 1 0132 1230 3201 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 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.836722981990 0.962404762061 5 4 7 2 3012 0132 3012 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.192357788414 0.775056657097 3 11 6 4 0132 2310 2103 3120 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 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.588446408956 0.726159977713 7 3 11 5 2310 0132 2310 3120 0 0 0 0 0 0 0 0 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 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.755453540434 1.100165570833 7 10 6 9 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 -1 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 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377819789063 0.695343684349 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_0']), '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_0101_1'], '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' : 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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0110_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0101_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_4']), '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'], '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_4'], 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0110_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 102888321452383891438368259244225342203215895111/135418729716598736\ 411749806051714588498665457810*c_1001_2^15 - 3385346763667240082584391675726216033853939608813/31597703600539705\ 1627416214120667373163552734890*c_1001_2^14 + 290802247441191030586256036017384096770360360601/315977036005397051\ 62741621412066737316355273489*c_1001_2^13 - 23266220475756742163617210468337332776156876864271/3159770360053970\ 51627416214120667373163552734890*c_1001_2^12 - 21344181469804545952218584744563621160859299662883/3159770360053970\ 51627416214120667373163552734890*c_1001_2^11 + 639259577172551701543691607935038958027995332191953/947931108016191\ 154882248642362002119490658204670*c_1001_2^10 - 394153118004271526579869102846431014918183824951127/947931108016191\ 154882248642362002119490658204670*c_1001_2^9 - 1643499192993817109039654714342955586912976320969951/94793110801619\ 1154882248642362002119490658204670*c_1001_2^8 + 125673152498589919695634115240592740120679569521549/451395765721995\ 78803916602017238196166221819270*c_1001_2^7 + 1174896958272844040623073309153945312137283154095693/94793110801619\ 1154882248642362002119490658204670*c_1001_2^6 - 4817166974756559455372372231572609476684167225853551/94793110801619\ 1154882248642362002119490658204670*c_1001_2^5 + 266123508266982378471804819553951577991888229364029/189586221603238\ 230976449728472400423898131640934*c_1001_2^4 + 3301146209502269175418228469962701981998091364776461/94793110801619\ 1154882248642362002119490658204670*c_1001_2^3 - 307992992197613734865866705178561265892174077183179/105325678668465\ 683875805404706889124387850911630*c_1001_2^2 + 531016896159387019710077850120180697054242206535631/947931108016191\ 154882248642362002119490658204670*c_1001_2 - 21343680653845473991093965137591090998469644810738/4739655540080955\ 77441124321181001059745329102335, c_0011_0 - 1, c_0011_10 - 29388860880795648626668492420416164777/16204043550660018999\ 1560112655552814769*c_1001_2^15 + 398982850802316631400776864595097\ 32390/162040435506600189991560112655552814769*c_1001_2^14 - 221919161189078738974092427390079804993/162040435506600189991560112\ 655552814769*c_1001_2^13 + 153790399276324208575530877429025487416/\ 162040435506600189991560112655552814769*c_1001_2^12 + 1850330823918212630696151692878014233710/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 325933121522826819153877350420613890863\ 5/162040435506600189991560112655552814769*c_1001_2^10 - 2823558165360724980622840529559334705066/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 1217526624158118284607553442744554872783\ 8/162040435506600189991560112655552814769*c_1001_2^8 - 5436378423313953117409330697109588002804/16204043550660018999156011\ 2655552814769*c_1001_2^7 - 1611755008334801658957996698571214731948\ 7/162040435506600189991560112655552814769*c_1001_2^6 + 18028864496417499218363966269994209371620/1620404355066001899915601\ 12655552814769*c_1001_2^5 + 430635513817102332509208175445542025064\ 3/162040435506600189991560112655552814769*c_1001_2^4 - 16335881783422216167549033840057790254507/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 968960443077868155766098045685036122407\ 4/162040435506600189991560112655552814769*c_1001_2^2 - 2339634208350285258494965711934067284151/16204043550660018999156011\ 2655552814769*c_1001_2 + 380559365372557433782955283217182127082/16\ 2040435506600189991560112655552814769, c_0011_11 - 24000507484704166250878933228949242310/16204043550660018999\ 1560112655552814769*c_1001_2^15 + 523337414042368489620277137322452\ 98553/162040435506600189991560112655552814769*c_1001_2^14 - 200398633952559493797875640643519337138/162040435506600189991560112\ 655552814769*c_1001_2^13 + 269869906142164655709284614764300100036/\ 162040435506600189991560112655552814769*c_1001_2^12 + 1464611555368045419344260240917607788978/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 390496930508668479650957529196933941552\ 7/162040435506600189991560112655552814769*c_1001_2^10 - 573854634901424992224967498507250797281/162040435506600189991560112\ 655552814769*c_1001_2^9 + 12363364727859473837899212303782800503989\ /162040435506600189991560112655552814769*c_1001_2^8 - 11638920988014011494659664268878552695603/1620404355066001899915601\ 12655552814769*c_1001_2^7 - 118393495840458488477557604062590689948\ 17/162040435506600189991560112655552814769*c_1001_2^6 + 25518341281471178410973794209027204238371/1620404355066001899915601\ 12655552814769*c_1001_2^5 - 493719457861986224367132300253650010895\ 5/162040435506600189991560112655552814769*c_1001_2^4 - 18342141744434214977829651192532840159980/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 168397473800816076145140591710895919387\ 05/162040435506600189991560112655552814769*c_1001_2^2 - 5854145810305678711051078808957316880066/16204043550660018999156011\ 2655552814769*c_1001_2 + 855614420470507102513358203418146155008/16\ 2040435506600189991560112655552814769, c_0011_4 - 33986613293676851296133729738951700787/162040435506600189991\ 560112655552814769*c_1001_2^15 + 4744528847609431608690766139830782\ 4151/162040435506600189991560112655552814769*c_1001_2^14 - 264104880750022281783019597931087500281/162040435506600189991560112\ 655552814769*c_1001_2^13 + 190243221806903455590179869391989274435/\ 162040435506600189991560112655552814769*c_1001_2^12 + 2093369767224151030176247813957372854766/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 385792491160841639760535315235541824051\ 7/162040435506600189991560112655552814769*c_1001_2^10 - 2759913892979349232139383347599735525627/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 1390798070464471318510954597370248935615\ 8/162040435506600189991560112655552814769*c_1001_2^8 - 7709506763794364302588767468182814954182/16204043550660018999156011\ 2655552814769*c_1001_2^7 - 1678248112271693246132116195375122825442\ 7/162040435506600189991560112655552814769*c_1001_2^6 + 22157716895552154289596371877820793631523/1620404355066001899915601\ 12655552814769*c_1001_2^5 + 125215601982949453613028448683627732159\ 1/162040435506600189991560112655552814769*c_1001_2^4 - 18298304929805776273718057739575403627838/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 140092257338606825031557508233314646810\ 99/162040435506600189991560112655552814769*c_1001_2^2 - 4638806669243535187341201923215257914268/16204043550660018999156011\ 2655552814769*c_1001_2 + 616283585711218846261747452031093304398/16\ 2040435506600189991560112655552814769, c_0011_6 - 34742984188539621497735961952437640322/162040435506600189991\ 560112655552814769*c_1001_2^15 + 4083809530260564278482745548902804\ 7831/162040435506600189991560112655552814769*c_1001_2^14 - 258266716352876366338745420050202625156/162040435506600189991560112\ 655552814769*c_1001_2^13 + 134476949405492342072771402612826096940/\ 162040435506600189991560112655552814769*c_1001_2^12 + 2188252670901951461843148579562469556940/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 347066059489580660476132196702331264906\ 6/162040435506600189991560112655552814769*c_1001_2^10 - 3765434605162948348682058044241199560916/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 1364177133351359202674874921169423793082\ 1/162040435506600189991560112655552814769*c_1001_2^8 - 4464133036412036742871576112249129108046/16204043550660018999156011\ 2655552814769*c_1001_2^7 - 1920129463486619158742226484203531734954\ 6/162040435506600189991560112655552814769*c_1001_2^6 + 18439450934365206671858420800434677739049/1620404355066001899915601\ 12655552814769*c_1001_2^5 + 718960955502342664907917614939943811527\ 2/162040435506600189991560112655552814769*c_1001_2^4 - 18111025198500249201048759835032442355378/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 899326573689565640588256071675531021266\ 9/162040435506600189991560112655552814769*c_1001_2^2 - 1604445762011213582506123095610466800078/16204043550660018999156011\ 2655552814769*c_1001_2 + 207146267129613013798601875046418346423/16\ 2040435506600189991560112655552814769, c_0101_0 + 70266031615901778693878814137091397094/162040435506600189991\ 560112655552814769*c_1001_2^15 - 1119635302293906981151964410207347\ 14665/162040435506600189991560112655552814769*c_1001_2^14 + 553517888835505064315251155430586816775/162040435506600189991560112\ 655552814769*c_1001_2^13 - 485026203920620694357976558479343142530/\ 162040435506600189991560112655552814769*c_1001_2^12 - 4337818367887741395969217652545374982296/16204043550660018999156011\ 2655552814769*c_1001_2^11 + 889040167046110694466614168049222506318\ 2/162040435506600189991560112655552814769*c_1001_2^10 + 4888948287353034922509848368527187143773/16204043550660018999156011\ 2655552814769*c_1001_2^9 - 3120325359399950148749205448612646862460\ 5/162040435506600189991560112655552814769*c_1001_2^8 + 20287070720785989464680209987577644011582/1620404355066001899915601\ 12655552814769*c_1001_2^7 + 366116074199466961969563431901956791999\ 25/162040435506600189991560112655552814769*c_1001_2^6 - 54360074460793070032034494362393236933379/1620404355066001899915601\ 12655552814769*c_1001_2^5 - 935618854913676579531475466264966019011\ /162040435506600189991560112655552814769*c_1001_2^4 + 45208079337848941718199912704901821039406/1620404355066001899915601\ 12655552814769*c_1001_2^3 - 330050536254795602942042303368390393365\ 66/162040435506600189991560112655552814769*c_1001_2^2 + 8557003520028882862485490424178943097888/16204043550660018999156011\ 2655552814769*c_1001_2 - 681789207095801913476674271504180462709/16\ 2040435506600189991560112655552814769, c_0101_1 - 54758963454130989925939943740440463957/162040435506600189991\ 560112655552814769*c_1001_2^15 + 9315124252209133555903978324265959\ 1517/162040435506600189991560112655552814769*c_1001_2^14 - 445710932014008159649573214315307483494/162040435506600189991560112\ 655552814769*c_1001_2^13 + 425490064856226327841504790121764115020/\ 162040435506600189991560112655552814769*c_1001_2^12 + 3303250777760812802075797692443461102465/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 730749059909552312968726186763990526186\ 1/162040435506600189991560112655552814769*c_1001_2^10 - 2775207072268700401364894714350088821195/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 2451591839966620680618997910991775301634\ 9/162040435506600189991560112655552814769*c_1001_2^8 - 19153036302855257980915087035540581069787/1620404355066001899915601\ 12655552814769*c_1001_2^7 - 256574377537462536023704864144193074692\ 87/162040435506600189991560112655552814769*c_1001_2^6 + 45984795490973350563350868456271307272442/1620404355066001899915601\ 12655552814769*c_1001_2^5 - 591995226325694644557558639787721613618\ 1/162040435506600189991560112655552814769*c_1001_2^4 - 34913538375745321512315862957225628957013/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 309701733057495863011537398818588548797\ 74/162040435506600189991560112655552814769*c_1001_2^2 - 10460199721005859003312785355410394834234/1620404355066001899915601\ 12655552814769*c_1001_2 + 1406571423366964042370057319121005822771/\ 162040435506600189991560112655552814769, c_0101_10 - 55259045584536687393671437327528993598/16204043550660018999\ 1560112655552814769*c_1001_2^15 + 788662459003735508449962900961916\ 04083/162040435506600189991560112655552814769*c_1001_2^14 - 430948947892791019855533832071711942022/162040435506600189991560112\ 655552814769*c_1001_2^13 + 319068697077620170346213005167997653280/\ 162040435506600189991560112655552814769*c_1001_2^12 + 3402520423036284526566367810247386236255/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 639823395157170853407435674585582217049\ 8/162040435506600189991560112655552814769*c_1001_2^10 - 4338199193318910882895696311403855072423/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 2302964866957396475411244942545563615252\ 8/162040435506600189991560112655552814769*c_1001_2^8 - 13292412682844744672228072558524876875697/1620404355066001899915601\ 12655552814769*c_1001_2^7 - 277103805167046218116902637250645088849\ 71/162040435506600189991560112655552814769*c_1001_2^6 + 37728586401457558812798734684955451444343/1620404355066001899915601\ 12655552814769*c_1001_2^5 + 182886511836032265444090164360022451437\ 0/162040435506600189991560112655552814769*c_1001_2^4 - 31647198147341351415689532593466720000317/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 235063256936916779354554817783117867207\ 07/162040435506600189991560112655552814769*c_1001_2^2 - 6856216132387200552875988903730098793917/16204043550660018999156011\ 2655552814769*c_1001_2 + 852567536791829884037320774796919202348/16\ 2040435506600189991560112655552814769, c_0101_2 - 62688991252797485431594236171847993041/162040435506600189991\ 560112655552814769*c_1001_2^15 + 1161998854150825426542889306217456\ 94302/162040435506600189991560112655552814769*c_1001_2^14 - 507992992750686551611790214820033313566/162040435506600189991560112\ 655552814769*c_1001_2^13 + 553756600614059850976216764969491275138/\ 162040435506600189991560112655552814769*c_1001_2^12 + 3842196309671065921186572774728207900998/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 893853351832919118320784095888275824202\ 0/162040435506600189991560112655552814769*c_1001_2^10 - 3038343924385448402382651240338128832339/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 2975078669331141069600522035151807111792\ 7/162040435506600189991560112655552814769*c_1001_2^8 - 23708341015067298899942640353763758947037/1620404355066001899915601\ 12655552814769*c_1001_2^7 - 316739767747832056773580607574197878843\ 94/162040435506600189991560112655552814769*c_1001_2^6 + 56658649465703960841755847834861690822529/1620404355066001899915601\ 12655552814769*c_1001_2^5 - 571432727609118577049298865891896323618\ 2/162040435506600189991560112655552814769*c_1001_2^4 - 43651006888922185569321199482775944034778/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 362577833295961716798058437419788052368\ 19/162040435506600189991560112655552814769*c_1001_2^2 - 11249790800644853447596778197410901321099/1620404355066001899915601\ 12655552814769*c_1001_2 + 1477559185641822803622329950790744650376/\ 162040435506600189991560112655552814769, c_0101_8 + 86270353644728958798175290108735692124/162040435506600189991\ 560112655552814769*c_1001_2^15 - 1522374213471745676669305690789648\ 71835/162040435506600189991560112655552814769*c_1001_2^14 + 699671851502842878971789203426595085661/162040435506600189991560112\ 655552814769*c_1001_2^13 - 708938358448172822161842811646713398660/\ 162040435506600189991560112655552814769*c_1001_2^12 - 5249157163050217135186429620093886200264/16204043550660018999156011\ 2655552814769*c_1001_2^11 + 118332569501603457806356851921168436951\ 50/162040435506600189991560112655552814769*c_1001_2^10 + 4352403767630485767469548803448624687820/16204043550660018999156011\ 2655552814769*c_1001_2^9 - 3960676222242231288916769867318863886452\ 3/162040435506600189991560112655552814769*c_1001_2^8 + 31074073983139364042436707215178995075494/1620404355066001899915601\ 12655552814769*c_1001_2^7 + 418642852344253809515496182088962483423\ 57/162040435506600189991560112655552814769*c_1001_2^6 - 74644390576113860123367734731214307479367/1620404355066001899915601\ 12655552814769*c_1001_2^5 + 858216575132228103199423300907347311289\ 7/162040435506600189991560112655552814769*c_1001_2^4 + 57074915961584746605471870083174569410375/1620404355066001899915601\ 12655552814769*c_1001_2^3 - 493185950379178118320490392073715900226\ 23/162040435506600189991560112655552814769*c_1001_2^2 + 16013444797439186075983962142911978024398/1620404355066001899915601\ 12655552814769*c_1001_2 - 1971365787933519457063807700348809032570/\ 162040435506600189991560112655552814769, c_0110_2 - 115655818039685829922590765080693691871/16204043550660018999\ 1560112655552814769*c_1001_2^15 + 189999165461976688286227316146469\ 260045/162040435506600189991560112655552814769*c_1001_2^14 - 915299306998026076588737557872576191286/162040435506600189991560112\ 655552814769*c_1001_2^13 + 843130404375711385870764819838962736313/\ 162040435506600189991560112655552814769*c_1001_2^12 + 7136124629975528236375847009730970571019/16204043550660018999156011\ 2655552814769*c_1001_2^11 - 149616311256308750874981397819866710429\ 06/162040435506600189991560112655552814769*c_1001_2^10 - 7611151403920440764298381875971395443099/16204043550660018999156011\ 2655552814769*c_1001_2^9 + 5194040535099909292436109715397962799836\ 9/162040435506600189991560112655552814769*c_1001_2^8 - 35197283806387225967248424654249659470898/1620404355066001899915601\ 12655552814769*c_1001_2^7 - 598371893210837410964972296759635109206\ 41/162040435506600189991560112655552814769*c_1001_2^6 + 91882587013053108012830365605094955058022/1620404355066001899915601\ 12655552814769*c_1001_2^5 - 668128336693366179453211178808095924180\ /162040435506600189991560112655552814769*c_1001_2^4 - 75178774255729063717273859891136833369822/1620404355066001899915601\ 12655552814769*c_1001_2^3 + 564817016171071712458592982351510859083\ 35/162040435506600189991560112655552814769*c_1001_2^2 - 15465390582131352814736451176453433960508/1620404355066001899915601\ 12655552814769*c_1001_2 + 1588220866238092108391601874546203646700/\ 162040435506600189991560112655552814769, c_1001_2^16 - 86/31*c_1001_2^15 + 303/31*c_1001_2^14 - 504/31*c_1001_2^13 - 1656/31*c_1001_2^12 + 6172/31*c_1001_2^11 - 2497/31*c_1001_2^10 - 16194/31*c_1001_2^9 + 25139/31*c_1001_2^8 + 5276/31*c_1001_2^7 - 42549/31*c_1001_2^6 + 28032/31*c_1001_2^5 + 19543/31*c_1001_2^4 - 37660/31*c_1001_2^3 + 21535/31*c_1001_2^2 - 5455/31*c_1001_2 + 577/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.960 Total time: 2.160 seconds, Total memory usage: 64.12MB