Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 3103335511] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0675 geometric_solution 4.64660541 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 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.004208470709 0.338933195592 0 3 4 3 0132 0321 0132 2031 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 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.644709156728 0.760608430182 0 0 5 5 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.820280915748 0.761732005381 4 1 0 1 2310 1302 0132 0321 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 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.644709156728 0.760608430182 6 6 3 1 0132 2310 3201 0132 0 0 0 0 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.461762543477 0.537861202465 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.968298231853 0.262110629177 4 6 6 4 0132 3201 2310 3201 0 0 0 0 0 1 -1 0 1 0 -1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.495867425872 1.079249558700 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 2012644549321834663536190053133366842813862503113/10357757527969688\ 1944817491914031582336927964563*c_0101_2^30 + 10040604682583839654669653075225424231817732252951/1035775752796968\ 81944817491914031582336927964563*c_0101_2^29 - 61392821587490214039034289232587344909881767874712/1035775752796968\ 81944817491914031582336927964563*c_0101_2^28 - 357854968392202804719455958223442310320891822611273/103577575279696\ 881944817491914031582336927964563*c_0101_2^27 + 92917780736942602941273910116353660627206742044601/1479679646852812\ 5992116784559147368905275423509*c_0101_2^26 + 5133428434479764016876370824920123838647073104014496/10357757527969\ 6881944817491914031582336927964563*c_0101_2^25 - 2408990819127608168496972952141535839943538512207074/10357757527969\ 6881944817491914031582336927964563*c_0101_2^24 - 39456430080434484658796153207283294656807213433094784/1035775752796\ 96881944817491914031582336927964563*c_0101_2^23 - 5483206310481420848141163720954079225553244713861497/10357757527969\ 6881944817491914031582336927964563*c_0101_2^22 + 182723094826132595698668516530839213134018017561761524/103577575279\ 696881944817491914031582336927964563*c_0101_2^21 + 81198360228747118019005863353059912374555963704210479/1035775752796\ 96881944817491914031582336927964563*c_0101_2^20 - 544864270898409883587970925081323298059600254590871060/103577575279\ 696881944817491914031582336927964563*c_0101_2^19 - 320878316220510209310035303726696883808745644925774796/103577575279\ 696881944817491914031582336927964563*c_0101_2^18 + 1092192565429910685184529476695239071394599992104955868/10357757527\ 9696881944817491914031582336927964563*c_0101_2^17 + 689218672990487098854890172316698847715156652250911176/103577575279\ 696881944817491914031582336927964563*c_0101_2^16 - 1510684824573681031701970213815715462110379327624643807/10357757527\ 9696881944817491914031582336927964563*c_0101_2^15 - 910897373396152587710123491442683094839046609971145737/103577575279\ 696881944817491914031582336927964563*c_0101_2^14 + 1452865628253055824629350023978561668130428487862264000/10357757527\ 9696881944817491914031582336927964563*c_0101_2^13 + 769820132299695475244120676754393249691751096300952652/103577575279\ 696881944817491914031582336927964563*c_0101_2^12 - 960394626035861602160669612244412494143361336674180006/103577575279\ 696881944817491914031582336927964563*c_0101_2^11 - 59439757923811497517231059554540191937362148703572112/1479679646852\ 8125992116784559147368905275423509*c_0101_2^10 + 421193659750204244702726699131996718482586133383985361/103577575279\ 696881944817491914031582336927964563*c_0101_2^9 + 20048745100437742951040967348146121703006589091205061/1479679646852\ 8125992116784559147368905275423509*c_0101_2^8 - 114245372592682008062800300551526680489457560300251308/103577575279\ 696881944817491914031582336927964563*c_0101_2^7 - 28714764084180153668538085969303284005405365387276469/1035775752796\ 96881944817491914031582336927964563*c_0101_2^6 + 16883947750623724624754269468418656036681011484242203/1035775752796\ 96881944817491914031582336927964563*c_0101_2^5 + 3570390878052423323841436890914728349825476945538821/10357757527969\ 6881944817491914031582336927964563*c_0101_2^4 - 1024677485240048718846035623894918296159836400106431/10357757527969\ 6881944817491914031582336927964563*c_0101_2^3 - 268859457826040863049768241244824102135470717667373/103577575279696\ 881944817491914031582336927964563*c_0101_2^2 + 423783822118971693941961073995457115841231576301/147967964685281259\ 92116784559147368905275423509*c_0101_2 + 8603543143218122771880021040990892900414731086850/10357757527969688\ 1944817491914031582336927964563, c_0011_0 - 1, c_0011_3 - 122335079628877262642826396846925340735501783790/10357757527\ 9696881944817491914031582336927964563*c_0101_2^30 - 536861756238655036206712911797333414056842150376/103577575279696881\ 944817491914031582336927964563*c_0101_2^29 + 3969912645090968966886446862723739686651761243051/10357757527969688\ 1944817491914031582336927964563*c_0101_2^28 + 19110882824975729408515678268160971478943055973504/1035775752796968\ 81944817491914031582336927964563*c_0101_2^27 - 6844218555277569229158124718099740984079623907822/14796796468528125\ 992116784559147368905275423509*c_0101_2^26 - 274140168861568971051849233292055677187737141657512/103577575279696\ 881944817491914031582336927964563*c_0101_2^25 + 264917833715235585290215632509451026484058898651927/103577575279696\ 881944817491914031582336927964563*c_0101_2^24 + 2108408122282209609628807980439143593905188485335936/10357757527969\ 6881944817491914031582336927964563*c_0101_2^23 - 561511862737810126335831654369242385476172351366588/103577575279696\ 881944817491914031582336927964563*c_0101_2^22 - 9761199988240059994871346594657883945282414539858740/10357757527969\ 6881944817491914031582336927964563*c_0101_2^21 - 916834998641816702904702203212046439801404238013305/103577575279696\ 881944817491914031582336927964563*c_0101_2^20 + 29007206262811429801582563171770250334910909552659235/1035775752796\ 96881944817491914031582336927964563*c_0101_2^19 + 8190520081500664528466536197718429826257667634992749/10357757527969\ 6881944817491914031582336927964563*c_0101_2^18 - 57624789330623589757509466911598014904234261938058653/1035775752796\ 96881944817491914031582336927964563*c_0101_2^17 - 21455361951324269487826234675774437761754340640068952/1035775752796\ 96881944817491914031582336927964563*c_0101_2^16 + 78473793443800789534455459785444173465398020992546818/1035775752796\ 96881944817491914031582336927964563*c_0101_2^15 + 31647123548599072986008176786305692224441877814968279/1035775752796\ 96881944817491914031582336927964563*c_0101_2^14 - 74014104820262389139991323417005768414677047278247713/1035775752796\ 96881944817491914031582336927964563*c_0101_2^13 - 29482742668771577530976126842569151647442028973530263/1035775752796\ 96881944817491914031582336927964563*c_0101_2^12 + 48039678697458916734020332172257045902255422202075758/1035775752796\ 96881944817491914031582336927964563*c_0101_2^11 + 2554832171264228068852638887858441899022275197824676/14796796468528\ 125992116784559147368905275423509*c_0101_2^10 - 20870255139633163687864086606905978656030549701985792/1035775752796\ 96881944817491914031582336927964563*c_0101_2^9 - 1002922193092319691993707891897991831636928334092514/14796796468528\ 125992116784559147368905275423509*c_0101_2^8 + 5715607047831792866197383612748120594967172326786220/10357757527969\ 6881944817491914031582336927964563*c_0101_2^7 + 1725455829217668017132554824759438959319863188437563/10357757527969\ 6881944817491914031582336927964563*c_0101_2^6 - 874355745672118820625736907905678555270398373453310/103577575279696\ 881944817491914031582336927964563*c_0101_2^5 - 248558638155300895622987069335968607760412688593482/103577575279696\ 881944817491914031582336927964563*c_0101_2^4 + 55325197435395808862507684304385676587984900992470/1035775752796968\ 81944817491914031582336927964563*c_0101_2^3 + 18196771873780901087441404890098647633396184434666/1035775752796968\ 81944817491914031582336927964563*c_0101_2^2 + 30716758812898429747412673187496768220540014819/1479679646852812599\ 2116784559147368905275423509*c_0101_2 - 436999687841869683066323399926531653264678541340/103577575279696881\ 944817491914031582336927964563, c_0011_4 - 559439619256953104915824862559316210105309123087/10357757527\ 9696881944817491914031582336927964563*c_0101_2^30 - 2439220614905328665680376392060573759129437615903/10357757527969688\ 1944817491914031582336927964563*c_0101_2^29 + 18061641689165286387237949180044945468169808595584/1035775752796968\ 81944817491914031582336927964563*c_0101_2^28 + 86200937766746648883236924270098161648983104092289/1035775752796968\ 81944817491914031582336927964563*c_0101_2^27 - 30889684555995791368522649731042044794634739975394/1479679646852812\ 5992116784559147368905275423509*c_0101_2^26 - 1223463609413343605189111212423129538070569393398468/10357757527969\ 6881944817491914031582336927964563*c_0101_2^25 + 1180817675731921851739365538585137980618705054624891/10357757527969\ 6881944817491914031582336927964563*c_0101_2^24 + 9267384418170888871603645852952746187224812447129599/10357757527969\ 6881944817491914031582336927964563*c_0101_2^23 - 2449748705724284281168037373535696686594743070439763/10357757527969\ 6881944817491914031582336927964563*c_0101_2^22 - 41992088443180825277683808531832808609282483790183855/1035775752796\ 96881944817491914031582336927964563*c_0101_2^21 - 4007787769223050712342263128338046123427283895784226/10357757527969\ 6881944817491914031582336927964563*c_0101_2^20 + 121140870537027378272034156063989825566449968815802142/103577575279\ 696881944817491914031582336927964563*c_0101_2^19 + 34212866482003445848363699630862410605967841855853160/1035775752796\ 96881944817491914031582336927964563*c_0101_2^18 - 231257808522135238857018517072016457689784303535407157/103577575279\ 696881944817491914031582336927964563*c_0101_2^17 - 85577699074134198082235286427740723238658364521325628/1035775752796\ 96881944817491914031582336927964563*c_0101_2^16 + 298945141593216460017627234892827088116200871145337796/103577575279\ 696881944817491914031582336927964563*c_0101_2^15 + 118968161100409735594116721490424463082477820230300406/103577575279\ 696881944817491914031582336927964563*c_0101_2^14 - 263772984929865777816037452060728550319452171825681223/103577575279\ 696881944817491914031582336927964563*c_0101_2^13 - 102539604220107344593347643540648181799519675080096196/103577575279\ 696881944817491914031582336927964563*c_0101_2^12 + 157379920710545972140264232725033133428826286383861937/103577575279\ 696881944817491914031582336927964563*c_0101_2^11 + 8010519687138354910092878516605978039850216014882539/14796796468528\ 125992116784559147368905275423509*c_0101_2^10 - 61517537120226375062405394185373526414137332000975792/1035775752796\ 96881944817491914031582336927964563*c_0101_2^9 - 2738108878764314611817157599594936412063768715357909/14796796468528\ 125992116784559147368905275423509*c_0101_2^8 + 14769124181248603200157074363865117996662695751513146/1035775752796\ 96881944817491914031582336927964563*c_0101_2^7 + 3944729566296305452420015562964966724667565705038837/10357757527969\ 6881944817491914031582336927964563*c_0101_2^6 - 1918587595040806318741429122668779208942379556801502/10357757527969\ 6881944817491914031582336927964563*c_0101_2^5 - 467439638872469286116752447571793672140503958961994/103577575279696\ 881944817491914031582336927964563*c_0101_2^4 + 95367235576523086720298440174014103389338194651176/1035775752796968\ 81944817491914031582336927964563*c_0101_2^3 + 29282897234982488150784694094249376936722438987840/1035775752796968\ 81944817491914031582336927964563*c_0101_2^2 + 116863757038059996486720030409462925926981853851/147967964685281259\ 92116784559147368905275423509*c_0101_2 - 745203137982300995739194704159519680653986583509/103577575279696881\ 944817491914031582336927964563, c_0011_5 - 496340590872341167230064591711595283639870797830/10357757527\ 9696881944817491914031582336927964563*c_0101_2^30 - 2229007769828846102471859918526266924958797868303/10357757527969688\ 1944817491914031582336927964563*c_0101_2^29 + 15798696217168684982464991243782127621316147399408/1035775752796968\ 81944817491914031582336927964563*c_0101_2^28 + 78794588868612301534979014566886255897319064562200/1035775752796968\ 81944817491914031582336927964563*c_0101_2^27 - 26255945123264164376588618507716729175812904532068/1479679646852812\ 5992116784559147368905275423509*c_0101_2^26 - 1118375717359187484245061782089443402793805850771783/10357757527969\ 6881944817491914031582336927964563*c_0101_2^25 + 931537220348514997426552268029831645064053872022264/103577575279696\ 881944817491914031582336927964563*c_0101_2^24 + 8470699719263968800055106114658770772904575351108209/10357757527969\ 6881944817491914031582336927964563*c_0101_2^23 - 1272081865008795036843806222611631028559169289733918/10357757527969\ 6881944817491914031582336927964563*c_0101_2^22 - 38392181216408307487463512060942741688971716530223817/1035775752796\ 96881944817491914031582336927964563*c_0101_2^21 - 7773837927500103907417257975601775180604370932868551/10357757527969\ 6881944817491914031582336927964563*c_0101_2^20 + 110911257920659848359769953384077836598645431136956311/103577575279\ 696881944817491914031582336927964563*c_0101_2^19 + 42985268436181364205062459075724165694670128213602524/1035775752796\ 96881944817491914031582336927964563*c_0101_2^18 - 212548840745879462437893197733795153146580890508585239/103577575279\ 696881944817491914031582336927964563*c_0101_2^17 - 100964496657223277087515758301132694819554203044807022/103577575279\ 696881944817491914031582336927964563*c_0101_2^16 + 277015759798854723432550082788418469212136304426809604/103577575279\ 696881944817491914031582336927964563*c_0101_2^15 + 138962886096537398300416764540354826300946885560092318/103577575279\ 696881944817491914031582336927964563*c_0101_2^14 - 248038069430794073121199072136498264708632346102318708/103577575279\ 696881944817491914031582336927964563*c_0101_2^13 - 121067180009461510278558002447139626500294499200261982/103577575279\ 696881944817491914031582336927964563*c_0101_2^12 + 151599340516780649989952103183194179508812148686335108/103577575279\ 696881944817491914031582336927964563*c_0101_2^11 + 9681092386827552430606918557598401703206643347466166/14796796468528\ 125992116784559147368905275423509*c_0101_2^10 - 61530982477333290405745244756849042118782981245653733/1035775752796\ 96881944817491914031582336927964563*c_0101_2^9 - 3414997165696373163231819161490735229086013175437677/14796796468528\ 125992116784559147368905275423509*c_0101_2^8 + 15636923965266249572711434199774730120318039307972659/1035775752796\ 96881944817491914031582336927964563*c_0101_2^7 + 5076576289715496512642320939965008330022108061291853/10357757527969\ 6881944817491914031582336927964563*c_0101_2^6 - 2207986783865145228431743568481734472455995573186562/10357757527969\ 6881944817491914031582336927964563*c_0101_2^5 - 609310587225227020413068152531351994276994747004945/103577575279696\ 881944817491914031582336927964563*c_0101_2^4 + 125240020968877104245394087678050611234165244966392/103577575279696\ 881944817491914031582336927964563*c_0101_2^3 + 38287507417596209429381852357345171970668155408418/1035775752796968\ 81944817491914031582336927964563*c_0101_2^2 + 127919816374927100632296314996181198811467884376/147967964685281259\ 92116784559147368905275423509*c_0101_2 - 1214578546479108841862751446447047436618740235533/10357757527969688\ 1944817491914031582336927964563, c_0101_0 - 801377905723978382862721139263679938142211972476/10357757527\ 9696881944817491914031582336927964563*c_0101_2^30 - 3594372701524487211551510325258757456706567317513/10357757527969688\ 1944817491914031582336927964563*c_0101_2^29 + 25524643554887428418262846378445734354825847478968/1035775752796968\ 81944817491914031582336927964563*c_0101_2^28 + 127060806665469735545670443244752224814957857703316/103577575279696\ 881944817491914031582336927964563*c_0101_2^27 - 42476679828462249757157150321391891717737739946749/1479679646852812\ 5992116784559147368905275423509*c_0101_2^26 - 1803515351312325210748261867998610947939817924100293/10357757527969\ 6881944817491914031582336927964563*c_0101_2^25 + 1512618836303224735514639796581094698345425529002759/10357757527969\ 6881944817491914031582336927964563*c_0101_2^24 + 13661136076346750183434714641548682906411082306214765/1035775752796\ 96881944817491914031582336927964563*c_0101_2^23 - 2120627371831468066896441620753990413187311423162120/10357757527969\ 6881944817491914031582336927964563*c_0101_2^22 - 61925556910118973934426293239081925719828291528648331/1035775752796\ 96881944817491914031582336927964563*c_0101_2^21 - 12241311166582073965222525683249292479299201204146802/1035775752796\ 96881944817491914031582336927964563*c_0101_2^20 + 178933938933248936005437749258947114097486867473175251/103577575279\ 696881944817491914031582336927964563*c_0101_2^19 + 68496677651086822836700770585283722381167441890929328/1035775752796\ 96881944817491914031582336927964563*c_0101_2^18 - 343003043901626744717130944918534889210205574585295971/103577575279\ 696881944817491914031582336927964563*c_0101_2^17 - 161309360309735177099165452794689679374975193725259801/103577575279\ 696881944817491914031582336927964563*c_0101_2^16 + 447186745010681003368751925588410504906943174659211550/103577575279\ 696881944817491914031582336927964563*c_0101_2^15 + 222288195282243261238761057207894546921602214060040798/103577575279\ 696881944817491914031582336927964563*c_0101_2^14 - 400544340114173473282449516126765636963152853779810035/103577575279\ 696881944817491914031582336927964563*c_0101_2^13 - 193847940224891535471670647924971966130231712662982125/103577575279\ 696881944817491914031582336927964563*c_0101_2^12 + 244878584759387533663061480354010445971174579095536050/103577575279\ 696881944817491914031582336927964563*c_0101_2^11 + 15518258884216044990362707554538691255536720989912324/1479679646852\ 8125992116784559147368905275423509*c_0101_2^10 - 99404742441252651797028445393100927253013162654266572/1035775752796\ 96881944817491914031582336927964563*c_0101_2^9 - 5482107153528690685679922512885790994730005951459078/14796796468528\ 125992116784559147368905275423509*c_0101_2^8 + 25260759650034231269031706522860158848128442021312508/1035775752796\ 96881944817491914031582336927964563*c_0101_2^7 + 8164239931614773961688087048274234034033713617016507/10357757527969\ 6881944817491914031582336927964563*c_0101_2^6 - 3566572231962837682386461054863299571205636452229614/10357757527969\ 6881944817491914031582336927964563*c_0101_2^5 - 982026335558868172070194652090391015046104110108112/103577575279696\ 881944817491914031582336927964563*c_0101_2^4 + 202349447190530267640327452747833763425128306002399/103577575279696\ 881944817491914031582336927964563*c_0101_2^3 + 62035738366572842787777839446814613225053759580602/1035775752796968\ 81944817491914031582336927964563*c_0101_2^2 + 204678949875572207294144784273394071481255403323/147967964685281259\ 92116784559147368905275423509*c_0101_2 - 1894999119828614708137063147226819148522678098536/10357757527969688\ 1944817491914031582336927964563, c_0101_1 + 1111000971199411959917933954533015854281812270970/1035775752\ 79696881944817491914031582336927964563*c_0101_2^30 + 4940344475669989006901800409843658700767119881710/10357757527969688\ 1944817491914031582336927964563*c_0101_2^29 - 35545025250951160534737894535596272120622819344677/1035775752796968\ 81944817491914031582336927964563*c_0101_2^28 - 174671835098684595250729546742003394783615302148118/103577575279696\ 881944817491914031582336927964563*c_0101_2^27 + 59688977893932120649762494729910261566664431508770/1479679646852812\ 5992116784559147368905275423509*c_0101_2^26 + 2480230623332033671786489813573760875031196295819466/10357757527969\ 6881944817491914031582336927964563*c_0101_2^25 - 2176853163218268388871530327055481621006049344925237/10357757527969\ 6881944817491914031582336927964563*c_0101_2^24 - 18797543838206258724866848190875259597769877001490834/1035775752796\ 96881944817491914031582336927964563*c_0101_2^23 + 3548108787171269782337103405479394738716069796245251/10357757527969\ 6881944817491914031582336927964563*c_0101_2^22 + 85264866288655538618599531119262162628118458787336888/1035775752796\ 96881944817491914031582336927964563*c_0101_2^21 + 14194580063685115000450910531213656382713845268497217/1035775752796\ 96881944817491914031582336927964563*c_0101_2^20 - 246514286362563704302519301405823959579125385271286989/103577575279\ 696881944817491914031582336927964563*c_0101_2^19 - 86900304931098157082023564758710297955906904336752671/1035775752796\ 96881944817491914031582336927964563*c_0101_2^18 + 472629171296494526980890771289093959261664664931303506/103577575279\ 696881944817491914031582336927964563*c_0101_2^17 + 208239267978596943445371531924161584647821740709492609/103577575279\ 696881944817491914031582336927964563*c_0101_2^16 - 615777781894595759438260809654660889284979910950611018/103577575279\ 696881944817491914031582336927964563*c_0101_2^15 - 288546838878933420164538319302516640763727233987207234/103577575279\ 696881944817491914031582336927964563*c_0101_2^14 + 550518761624961666964853457973062147787074400742534832/103577575279\ 696881944817491914031582336927964563*c_0101_2^13 + 252098777980527923834699120740316437656032369952714058/103577575279\ 696881944817491914031582336927964563*c_0101_2^12 - 335433120047636069344081798064885790881413626630872288/103577575279\ 696881944817491914031582336927964563*c_0101_2^11 - 20209096950932630668517255959427067981457025048325114/1479679646852\ 8125992116784559147368905275423509*c_0101_2^10 + 135498868980909146348416930550262702745245306039866098/103577575279\ 696881944817491914031582336927964563*c_0101_2^9 + 7166650506133500781106385476561546135047760503700229/14796796468528\ 125992116784559147368905275423509*c_0101_2^8 - 34247032674645008663401764917731969241216525659048001/1035775752796\ 96881944817491914031582336927964563*c_0101_2^7 - 10784071723067218131789898686374516868815083308375699/1035775752796\ 96881944817491914031582336927964563*c_0101_2^6 + 4826886367556061698066142330742294995045966522134727/10357757527969\ 6881944817491914031582336927964563*c_0101_2^5 + 1321408008848014484417232272764387820739109380952502/10357757527969\ 6881944817491914031582336927964563*c_0101_2^4 - 278379188763103135561361077140527673294173257500085/103577575279696\ 881944817491914031582336927964563*c_0101_2^3 - 84132985034498861728430531360329024625738190940502/1035775752796968\ 81944817491914031582336927964563*c_0101_2^2 - 217271113247988267163602052263088171004488928835/147967964685281259\ 92116784559147368905275423509*c_0101_2 + 2437564198973746175327727658625779171165161622278/10357757527969688\ 1944817491914031582336927964563, c_0101_2^31 + 4*c_0101_2^30 - 34*c_0101_2^29 - 143*c_0101_2^28 + 447*c_0101_2^27 + 2067*c_0101_2^26 - 2966*c_0101_2^25 - 16081*c_0101_2^24 + 10818*c_0101_2^23 + 75601*c_0101_2^22 - 21780*c_0101_2^21 - 228882*c_0101_2^20 + 21612*c_0101_2^19 + 464099*c_0101_2^18 - 3879*c_0101_2^17 - 645132*c_0101_2^16 - 10379*c_0101_2^15 + 620595*c_0101_2^14 + 3655*c_0101_2^13 - 410891*c_0101_2^12 + 9123*c_0101_2^11 + 182958*c_0101_2^10 - 10229*c_0101_2^9 - 52342*c_0101_2^8 + 4368*c_0101_2^7 + 8914*c_0101_2^6 - 798*c_0101_2^5 - 799*c_0101_2^4 + 37*c_0101_2^3 + 33*c_0101_2^2 + 3*c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB