Magma V2.19-8 Wed Aug 21 2013 00:26:40 on localhost [Seed = 374343073] Type ? for help. Type -D to quit. Loading file "K14n14843__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14843 geometric_solution 11.36643230 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3201 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 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434510695861 0.568305298227 0 4 0 5 0132 0132 2310 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 1 0 -1 0 0 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.150965652513 1.110469138389 5 6 7 0 0213 0132 0132 0132 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 -1 1 0 0 0 0 21 -21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638603949162 0.534748483183 6 4 0 8 2310 1302 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 0.638603949162 0.534748483183 6 1 7 3 3012 0132 3012 2031 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 1 -1 0 0 0 0 0 0 0 0 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867566277079 1.283715606890 2 8 1 6 0213 3012 0132 1230 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 -1 1 0 0 0 0 -21 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867566277079 1.283715606890 5 2 3 4 3012 0132 3201 1230 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 0 0 -1 21 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.434510695861 0.568305298227 9 4 10 2 0132 1230 0132 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 -1 0 0 1 -20 20 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637072152805 0.756795661201 5 10 3 11 1230 0132 0132 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 -1 1 0 0 0 0 -21 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637072152805 0.756795661201 7 10 11 12 0132 1023 2103 0132 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 1 0 0 -1 1 0 0 -1 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050462498833 0.873436884055 9 8 12 7 1023 0132 0213 0132 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 20 -21 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.775959559789 1.544086186602 9 12 8 12 2103 1023 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 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.632409624733 1.288015684602 11 10 9 11 1023 0213 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 0 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.511438796614 0.636724480470 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_4'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_7'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0110_11']), 'c_1010_10' : d['c_1001_7'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_5'], 'c_0101_10' : d['c_0011_11'], '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : d['c_1010_12'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1010_12'], 'c_1100_3' : d['c_1010_12'], 'c_1100_2' : d['c_1010_12'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0110_11']), 'c_1100_11' : d['c_1010_12'], 'c_1100_10' : d['c_1010_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_4'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0101_12'], 'c_1100_8' : d['c_1010_12'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : negation(d['c_0110_11']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : negation(d['c_0101_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_5'], 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_3, c_0011_5, c_0101_1, c_0101_12, c_0101_4, c_0101_6, c_0110_11, c_1001_7, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 26365302832259562309619637313073273455872815/1433027876870584222544\ 20987684746615226368*c_1010_12^23 + 94919773847545381370732561150252259137/4399380712085886712913634673\ 83652352*c_1010_12^22 - 5320106380205984580142706804152575055593627\ 1/143302787687058422254420987684746615226368*c_1010_12^21 + 58213853751264044282028049252200835611850895/1791284846088230278180\ 2623460593326903296*c_1010_12^20 + 321043633426288213239189027439276141934411903/477675958956861407514\ 73662561582205075456*c_1010_12^19 - 128248735168468331579901399043437308764899303/238837979478430703757\ 36831280791102537728*c_1010_12^18 - 782647506422324659095219123011358754821443099/143302787687058422254\ 420987684746615226368*c_1010_12^17 - 73161977680726960821839772669821300904936533/8956424230441151390901\ 311730296663451648*c_1010_12^16 - 243392299839848489719103936291956\ 3352818558771/23883797947843070375736831280791102537728*c_1010_12^1\ 5 - 1348691486985472941456171714362089962994517347/4478212115220575\ 695450655865148331725824*c_1010_12^14 - 8385971952527838182299910049165377178575578127/11941898973921535187\ 868415640395551268864*c_1010_12^13 - 10295245443892172995901262958675826885453228635/8956424230441151390\ 901311730296663451648*c_1010_12^12 - 5351366818817030560278541678611796435742061515/43425087177896491592\ 24878414689291370496*c_1010_12^11 - 76829407563350030211533271494062790461740043279/7165139384352921112\ 7210493842373307613184*c_1010_12^10 + 185266289000225123763962829447971950706417111/434250871778964915922\ 4878414689291370496*c_1010_12^9 + 235691263530703301079717583097353\ 11020042565227/5970949486960767593934207820197775634432*c_1010_12^8 + 481664835571911600454686378194463239171113043165/4776759589568614\ 0751473662561582205075456*c_1010_12^7 + 1013975847466730130675978348624317099615170408553/71651393843529211\ 127210493842373307613184*c_1010_12^6 + 619618114402328653506800362361157797096044782965/477675958956861407\ 51473662561582205075456*c_1010_12^5 + 9174450908148941774003367959373675227928912643/11195530288051439238\ 62663966287082931456*c_1010_12^4 + 515714892189707103580831233849245351898940300169/143302787687058422\ 254420987684746615226368*c_1010_12^3 + 76612093795358453039231640493889355087201576407/7165139384352921112\ 7210493842373307613184*c_1010_12^2 + 9419725488708659956439929138439377790654815717/47767595895686140751\ 473662561582205075456*c_1010_12 + 313902661080902312231481309292500\ 541273924069/17912848460882302781802623460593326903296, c_0011_0 - 1, c_0011_10 + c_1010_12, c_0011_11 + 341301508295430692605683867497/1026690087020939657810547771\ 264*c_1010_12^23 + 483564076588393179239800838665/10266900870209396\ 57810547771264*c_1010_12^22 - 105607861358830838994426061273/171115\ 014503489942968424628544*c_1010_12^21 + 2921581627159905661668862674937/513345043510469828905273885632*c_10\ 10_12^20 + 14040878169422574508861517579233/10266900870209396578105\ 47771264*c_1010_12^19 - 7753308341999353000953495152407/10266900870\ 20939657810547771264*c_1010_12^18 - 2248036324211757272944038888407/171115014503489942968424628544*c_10\ 10_12^17 - 7810114506362888685950739971417/513345043510469828905273\ 885632*c_1010_12^16 - 48270169906101907667937872031125/256672521755\ 234914452636942816*c_1010_12^15 - 150722279414484513677071077080861\ /256672521755234914452636942816*c_1010_12^14 - 177073605986686321585370727247409/128336260877617457226318471408*c_\ 1010_12^13 - 299736371457353521330871335128467/12833626087761745722\ 6318471408*c_1010_12^12 - 2684870260373788632211744442860565/102669\ 0087020939657810547771264*c_1010_12^11 - 2373169583205380574063889432949861/1026690087020939657810547771264*\ c_1010_12^10 - 126518987378448627293909790323651/513345043510469828\ 905273885632*c_1010_12^9 + 3739373161120087456786588939202285/51334\ 5043510469828905273885632*c_1010_12^8 + 20389964332898371870003146731542607/1026690087020939657810547771264\ *c_1010_12^7 + 9995874577234229644075141927436133/34223002900697988\ 5936849257088*c_1010_12^6 + 4797247099696687366082900514532333/1711\ 15014503489942968424628544*c_1010_12^5 + 9553095182633228079068436895101503/513345043510469828905273885632*c\ _1010_12^4 + 2951080976061838710474325327298963/3422300290069798859\ 36849257088*c_1010_12^3 + 2781271016084980887599658395360105/102669\ 0087020939657810547771264*c_1010_12^2 + 135085389069928101209606749545655/256672521755234914452636942816*c_\ 1010_12 + 518790918822975434072038932797/10694688406468121435526539\ 284, c_0011_2 + 257144540925923117/186101249936570908*c_1010_12^23 + 424001234654852481/186101249936570908*c_1010_12^22 - 205050299849838407/93050624968285454*c_1010_12^21 + 2122282578674385173/93050624968285454*c_1010_12^20 + 11627463947051511081/186101249936570908*c_1010_12^19 - 3615549561529897275/186101249936570908*c_1010_12^18 - 6340235922702160373/93050624968285454*c_1010_12^17 - 7085308680759017343/93050624968285454*c_1010_12^16 - 36534927249043126669/46525312484142727*c_1010_12^15 - 121857661930500635160/46525312484142727*c_1010_12^14 - 290637173774532079513/46525312484142727*c_1010_12^13 - 1005917265792016740791/93050624968285454*c_1010_12^12 - 2345348452898583121571/186101249936570908*c_1010_12^11 - 2082791013747213414567/186101249936570908*c_1010_12^10 - 100215138673177198675/46525312484142727*c_1010_12^9 + 2875021381114468929943/93050624968285454*c_1010_12^8 + 16710499423408552494583/186101249936570908*c_1010_12^7 + 25696256816328095969989/186101249936570908*c_1010_12^6 + 6363740320611806740102/46525312484142727*c_1010_12^5 + 4285789501635246155503/46525312484142727*c_1010_12^4 + 7885296607442532087135/186101249936570908*c_1010_12^3 + 2391619014313071913995/186101249936570908*c_1010_12^2 + 216841448912996520437/93050624968285454*c_1010_12 + 8919702847551480977/46525312484142727, c_0011_3 - 257144540925923117/186101249936570908*c_1010_12^23 - 424001234654852481/186101249936570908*c_1010_12^22 + 205050299849838407/93050624968285454*c_1010_12^21 - 2122282578674385173/93050624968285454*c_1010_12^20 - 11627463947051511081/186101249936570908*c_1010_12^19 + 3615549561529897275/186101249936570908*c_1010_12^18 + 6340235922702160373/93050624968285454*c_1010_12^17 + 7085308680759017343/93050624968285454*c_1010_12^16 + 36534927249043126669/46525312484142727*c_1010_12^15 + 121857661930500635160/46525312484142727*c_1010_12^14 + 290637173774532079513/46525312484142727*c_1010_12^13 + 1005917265792016740791/93050624968285454*c_1010_12^12 + 2345348452898583121571/186101249936570908*c_1010_12^11 + 2082791013747213414567/186101249936570908*c_1010_12^10 + 100215138673177198675/46525312484142727*c_1010_12^9 - 2875021381114468929943/93050624968285454*c_1010_12^8 - 16710499423408552494583/186101249936570908*c_1010_12^7 - 25696256816328095969989/186101249936570908*c_1010_12^6 - 6363740320611806740102/46525312484142727*c_1010_12^5 - 4285789501635246155503/46525312484142727*c_1010_12^4 - 7885296607442532087135/186101249936570908*c_1010_12^3 - 2391619014313071913995/186101249936570908*c_1010_12^2 - 216841448912996520437/93050624968285454*c_1010_12 - 8919702847551480977/46525312484142727, c_0011_5 - 251904897263774954545450838443/12833626087761745722631847140\ 8*c_1010_12^23 - 755171062683790209707810982287/2566725217552349144\ 52636942816*c_1010_12^22 + 296019772444741406992444609461/855575072\ 51744971484212314272*c_1010_12^21 - 4241709923485489087518940867897/128336260877617457226318471408*c_10\ 10_12^20 - 670307694103709725012374831754/8021016304851091076644904\ 463*c_1010_12^19 + 9801135013311769151992835966497/2566725217552349\ 14452636942816*c_1010_12^18 + 22313722878318425815771403879255/2566\ 72521755234914452636942816*c_1010_12^17 + 4209313932878862842708504943375/42778753625872485742106157136*c_101\ 0_12^16 + 47259654078631983029227440088867/427787536258724857421061\ 57136*c_1010_12^15 + 228435089885091055188177199681105/641681304388\ 08728613159235704*c_1010_12^14 + 539065546301251774538076876066241/\ 64168130438808728613159235704*c_1010_12^13 + 152735970534576865606560948306751/10694688406468121435526539284*c_1\ 010_12^12 + 692409781864284550773095143749273/427787536258724857421\ 06157136*c_1010_12^11 + 3633604966103136100787185757997187/25667252\ 1755234914452636942816*c_1010_12^10 + 425411901791306316567231116847493/256672521755234914452636942816*c_\ 1010_12^9 - 5589159525926227909107119670669253/12833626087761745722\ 6318471408*c_1010_12^8 - 7771897022569288244880882557540459/6416813\ 0438808728613159235704*c_1010_12^7 - 46311266251621786901702651966849809/256672521755234914452636942816*\ c_1010_12^6 - 44512790528237192667183520812117991/25667252175523491\ 4452636942816*c_1010_12^5 - 14543965124490586039294537488914947/128\ 336260877617457226318471408*c_1010_12^4 - 1081342387271044361564653633548281/21389376812936242871053078568*c_\ 1010_12^3 - 3814016863135053102259292695497191/25667252175523491445\ 2636942816*c_1010_12^2 - 669544091125320947648224592321309/25667252\ 1755234914452636942816*c_1010_12 - 2220065456107276539258597033545/10694688406468121435526539284, c_0101_1 - 1, c_0101_12 - 557790164938199569153427703815/5133450435104698289052738856\ 32*c_1010_12^23 - 698782997019286683121674655369/513345043510469828\ 905273885632*c_1010_12^22 + 67500851892286420717314695089/320840652\ 19404364306579617852*c_1010_12^21 - 4865838169081808767347329100541/256672521755234914452636942816*c_10\ 10_12^20 - 21175605157436373614667860238499/51334504351046982890527\ 3885632*c_1010_12^19 + 14708863780982061660269652118103/51334504351\ 0469828905273885632*c_1010_12^18 + 1547708971150040522738751050981/42778753625872485742106157136*c_101\ 0_12^17 + 13140227123746715511245178684997/256672521755234914452636\ 942816*c_1010_12^16 + 1611772185887471363256649582285/2673672101617\ 030358881634821*c_1010_12^15 + 234470465195724632859393256665673/12\ 8336260877617457226318471408*c_1010_12^14 + 68669799616218502818296801400373/16042032609702182153289808926*c_10\ 10_12^13 + 454050413810738448456973364031227/6416813043880872861315\ 9235704*c_1010_12^12 + 1321335047741253117899401072199577/171115014\ 503489942968424628544*c_1010_12^11 + 3451232627075731340990188585882213/513345043510469828905273885632*c\ _1010_12^10 + 3255735505968989353178608037027/128336260877617457226\ 318471408*c_1010_12^9 - 6033481619529207292834737303088337/25667252\ 1755234914452636942816*c_1010_12^8 - 31568133715623626027011808123482789/513345043510469828905273885632*\ c_1010_12^7 - 15041340311071589417387937266894901/17111501450348994\ 2968424628544*c_1010_12^6 - 5244008665147234194728363898530881/6416\ 8130438808728613159235704*c_1010_12^5 - 4448486255212587119448301000342465/85557507251744971484212314272*c_\ 1010_12^4 - 11669044567741829718923200396933475/5133450435104698289\ 05273885632*c_1010_12^3 - 3389099873631094950512031498518585/513345\ 043510469828905273885632*c_1010_12^2 - 297419815491759336607897997022623/256672521755234914452636942816*c_\ 1010_12 - 3030930488101943623920248880269/3208406521940436430657961\ 7852, c_0101_4 - 687686452790212737131504366267/51334504351046982890527388563\ 2*c_1010_12^23 - 861446227690913520198840751165/5133450435104698289\ 05273885632*c_1010_12^22 + 166438677316467232396718626261/641681304\ 38808728613159235704*c_1010_12^21 - 5999034828801407016566658194833/256672521755234914452636942816*c_10\ 10_12^20 - 26105591621364403217347502336983/51334504351046982890527\ 3885632*c_1010_12^19 + 6044954505095811435029665387745/171115014503\ 489942968424628544*c_1010_12^18 + 1907915449726705733285475381467/4\ 2778753625872485742106157136*c_1010_12^17 + 5400284589934436188632015691347/85557507251744971484212314272*c_101\ 0_12^16 + 23845095353534335726880188106017/320840652194043643065796\ 17852*c_1010_12^15 + 96355524440919733441498072692591/4277875362587\ 2485742106157136*c_1010_12^14 + 28219705600339818252725526954801/53\ 47344203234060717763269642*c_1010_12^13 + 559767839728441511126416338755183/64168130438808728613159235704*c_1\ 010_12^12 + 4886941462977081155272750980019855/51334504351046982890\ 5273885632*c_1010_12^11 + 1418254582916416956858320320636739/171115\ 014503489942968424628544*c_1010_12^10 + 1322397451816960084068818189051/42778753625872485742106157136*c_101\ 0_12^9 - 7438484290322502518757142197451541/25667252175523491445263\ 6942816*c_1010_12^8 - 12972874177491713206430253160375259/171115014\ 503489942968424628544*c_1010_12^7 - 18543467075571488897618972104047641/171115014503489942968424628544*\ c_1010_12^6 - 808118113191180627560544397428301/8021016304851091076\ 644904463*c_1010_12^5 - 16452540927853344852609031523298319/2566725\ 21755234914452636942816*c_1010_12^4 - 14385555815999412099465297548832727/513345043510469828905273885632*\ c_1010_12^3 - 4175732285430598267656438140450669/513345043510469828\ 905273885632*c_1010_12^2 - 365558981192206044867312116853767/256672\ 521755234914452636942816*c_1010_12 - 3725969587704746756189594419861/32084065219404364306579617852, c_0101_6 + 687686452790212737131504366267/51334504351046982890527388563\ 2*c_1010_12^23 + 861446227690913520198840751165/5133450435104698289\ 05273885632*c_1010_12^22 - 166438677316467232396718626261/641681304\ 38808728613159235704*c_1010_12^21 + 5999034828801407016566658194833/256672521755234914452636942816*c_10\ 10_12^20 + 26105591621364403217347502336983/51334504351046982890527\ 3885632*c_1010_12^19 - 6044954505095811435029665387745/171115014503\ 489942968424628544*c_1010_12^18 - 1907915449726705733285475381467/4\ 2778753625872485742106157136*c_1010_12^17 - 5400284589934436188632015691347/85557507251744971484212314272*c_101\ 0_12^16 - 23845095353534335726880188106017/320840652194043643065796\ 17852*c_1010_12^15 - 96355524440919733441498072692591/4277875362587\ 2485742106157136*c_1010_12^14 - 28219705600339818252725526954801/53\ 47344203234060717763269642*c_1010_12^13 - 559767839728441511126416338755183/64168130438808728613159235704*c_1\ 010_12^12 - 4886941462977081155272750980019855/51334504351046982890\ 5273885632*c_1010_12^11 - 1418254582916416956858320320636739/171115\ 014503489942968424628544*c_1010_12^10 - 1322397451816960084068818189051/42778753625872485742106157136*c_101\ 0_12^9 + 7438484290322502518757142197451541/25667252175523491445263\ 6942816*c_1010_12^8 + 12972874177491713206430253160375259/171115014\ 503489942968424628544*c_1010_12^7 + 18543467075571488897618972104047641/171115014503489942968424628544*\ c_1010_12^6 + 808118113191180627560544397428301/8021016304851091076\ 644904463*c_1010_12^5 + 16452540927853344852609031523298319/2566725\ 21755234914452636942816*c_1010_12^4 + 14385555815999412099465297548832727/513345043510469828905273885632*\ c_1010_12^3 + 4175732285430598267656438140450669/513345043510469828\ 905273885632*c_1010_12^2 + 365558981192206044867312116853767/256672\ 521755234914452636942816*c_1010_12 + 3725969587704746756189594419861/32084065219404364306579617852, c_0110_11 + 1570122128918681166560626779797/102669008702093965781054777\ 1264*c_1010_12^23 + 675727408147252166853424812539/3422300290069798\ 85936849257088*c_1010_12^22 - 1511183400417176119960360807753/51334\ 5043510469828905273885632*c_1010_12^21 + 13628405999035606105249906245433/513345043510469828905273885632*c_1\ 010_12^20 + 20261690277780093581364179708375/3422300290069798859368\ 49257088*c_1010_12^19 - 13414527264708351039849501778853/3422300290\ 06979885936849257088*c_1010_12^18 - 27516880691867727540211514627963/513345043510469828905273885632*c_1\ 010_12^17 - 36722032546097156625694152708809/5133450435104698289052\ 73885632*c_1010_12^16 - 72867343014431853474574946730877/8555750725\ 1744971484212314272*c_1010_12^15 - 667534233946395204988224336557581/256672521755234914452636942816*c_\ 1010_12^14 - 260732867027721868097934106005257/42778753625872485742\ 106157136*c_1010_12^13 - 1298937951973211397141108212788243/1283362\ 60877617457226318471408*c_1010_12^12 - 3795013299411535071873501471796603/342230029006979885936849257088*c\ _1010_12^11 - 9912408042674594258222895482886829/102669008702093965\ 7810547771264*c_1010_12^10 - 33370482185793956015925281430215/17111\ 5014503489942968424628544*c_1010_12^9 + 5691012953535213159071415495404207/171115014503489942968424628544*c\ _1010_12^8 + 30003100139154848234430198159593129/342230029006979885\ 936849257088*c_1010_12^7 + 129321662189721455310513897899901671/102\ 6690087020939657810547771264*c_1010_12^6 + 20114740005058777760095775307155415/171115014503489942968424628544*\ c_1010_12^5 + 38493059135122241822866689161039759/51334504351046982\ 8905273885632*c_1010_12^4 + 33689432816771461816605787963718797/102\ 6690087020939657810547771264*c_1010_12^3 + 9764246724122082169389793067047217/1026690087020939657810547771264*\ c_1010_12^2 + 70812145173086295325920940516117/42778753625872485742\ 106157136*c_1010_12 + 1053012983116390936183592276990/8021016304851\ 091076644904463, c_1001_7 - 251904897263774954545450838443/12833626087761745722631847140\ 8*c_1010_12^23 - 755171062683790209707810982287/2566725217552349144\ 52636942816*c_1010_12^22 + 296019772444741406992444609461/855575072\ 51744971484212314272*c_1010_12^21 - 4241709923485489087518940867897/128336260877617457226318471408*c_10\ 10_12^20 - 670307694103709725012374831754/8021016304851091076644904\ 463*c_1010_12^19 + 9801135013311769151992835966497/2566725217552349\ 14452636942816*c_1010_12^18 + 22313722878318425815771403879255/2566\ 72521755234914452636942816*c_1010_12^17 + 4209313932878862842708504943375/42778753625872485742106157136*c_101\ 0_12^16 + 47259654078631983029227440088867/427787536258724857421061\ 57136*c_1010_12^15 + 228435089885091055188177199681105/641681304388\ 08728613159235704*c_1010_12^14 + 539065546301251774538076876066241/\ 64168130438808728613159235704*c_1010_12^13 + 152735970534576865606560948306751/10694688406468121435526539284*c_1\ 010_12^12 + 692409781864284550773095143749273/427787536258724857421\ 06157136*c_1010_12^11 + 3633604966103136100787185757997187/25667252\ 1755234914452636942816*c_1010_12^10 + 425411901791306316567231116847493/256672521755234914452636942816*c_\ 1010_12^9 - 5589159525926227909107119670669253/12833626087761745722\ 6318471408*c_1010_12^8 - 7771897022569288244880882557540459/6416813\ 0438808728613159235704*c_1010_12^7 - 46311266251621786901702651966849809/256672521755234914452636942816*\ c_1010_12^6 - 44512790528237192667183520812117991/25667252175523491\ 4452636942816*c_1010_12^5 - 14543965124490586039294537488914947/128\ 336260877617457226318471408*c_1010_12^4 - 1081342387271044361564653633548281/21389376812936242871053078568*c_\ 1010_12^3 - 3814016863135053102259292695497191/25667252175523491445\ 2636942816*c_1010_12^2 - 669544091125320947648224592321309/25667252\ 1755234914452636942816*c_1010_12 - 2220065456107276539258597033545/10694688406468121435526539284, c_1010_12^24 + 2*c_1010_12^23 - c_1010_12^22 + 16*c_1010_12^21 + 51*c_1010_12^20 + 2*c_1010_12^19 - 53*c_1010_12^18 - 72*c_1010_12^17 - 590*c_1010_12^16 - 2096*c_1010_12^15 - 5196*c_1010_12^14 - 9456*c_1010_12^13 - 11973*c_1010_12^12 - 11498*c_1010_12^11 - 4647*c_1010_12^10 + 21616*c_1010_12^9 + 72761*c_1010_12^8 + 123190*c_1010_12^7 + 135665*c_1010_12^6 + 104056*c_1010_12^5 + 56679*c_1010_12^4 + 21706*c_1010_12^3 + 5601*c_1010_12^2 + 880*c_1010_12 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 24.300 Total time: 24.500 seconds, Total memory usage: 87.88MB