Magma V2.19-8 Wed Aug 21 2013 00:52:39 on localhost [Seed = 1157845242] Type ? for help. Type -D to quit. Loading file "L12n1024__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1024 geometric_solution 12.48734889 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3120 0132 1 0 1 1 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 0 -1 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.837205584889 1.111806190405 0 2 0 4 0132 1230 3120 0132 1 0 1 1 0 -1 1 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 1 -1 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.837205584889 1.111806190405 3 0 1 5 1230 0132 3012 0132 1 1 1 1 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699829681226 0.452944396382 6 2 0 6 0132 3012 0132 2103 1 0 1 1 0 -1 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 0 1 -2 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.404587683814 1.096438643537 7 8 1 7 0132 0132 0132 2103 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 0 0 0 0 0 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.591061545722 0.881982967851 8 9 2 9 0132 0132 0132 0213 1 1 1 1 0 0 0 0 1 0 0 -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 -1 1 -2 0 0 2 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308958128903 1.066145739121 3 8 7 3 0132 0321 3120 2103 1 0 1 1 0 0 0 0 -1 0 0 1 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 0 0 0 -1 0 -1 2 0 -2 0 2 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404587683814 1.096438643537 4 10 6 4 0132 0132 3120 2103 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 0 0 0 0 0 0 0 0 0 0 0 1 -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.591061545722 0.881982967851 5 4 11 6 0132 0132 0132 0321 1 1 1 1 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 2 0 0 -2 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263828462245 0.621396920973 10 5 12 5 0132 0132 0132 0213 1 1 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 1 -1 -1 0 0 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308958128903 1.066145739121 9 7 11 12 0132 0132 2310 2031 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 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.894630788100 0.580601869752 12 10 12 8 2310 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.994310150307 0.835376665628 11 10 11 9 2310 1302 3201 0132 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 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 0.282311993762 0.628005410348 ==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_1001_10'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : d['c_0011_12'], '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_0101_11'], '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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_1001_10']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0101_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'], 'c_1100_12' : negation(d['c_0011_11']), '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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1'], '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_10']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_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_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10']})} 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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 232347648989916806233948502398716376343942660895875367699377/407012\ 9524006939577089378014872183549883745241612413109793283*c_1001_10^1\ 7 + 2926231625395223984094811704753136684632532619604802611607453/4\ 070129524006939577089378014872183549883745241612413109793283*c_1001\ _10^16 - 1505496330336130213887237094853929725385509682932935860224\ 8863/4070129524006939577089378014872183549883745241612413109793283*\ c_1001_10^15 + 1011097445327735393143824114489813594920789311143113\ 49078413037/8140259048013879154178756029744367099767490483224826219\ 586566*c_1001_10^14 - 218026131980644321168006080513603993760642623\ 569590288266563870/407012952400693957708937801487218354988374524161\ 2413109793283*c_1001_10^13 + 18654413483016868982428290184275971781\ 36857122728703827148003413/8140259048013879154178756029744367099767\ 490483224826219586566*c_1001_10^12 - 2358258236924327532958132124228533705239690887763565444283867900/40\ 70129524006939577089378014872183549883745241612413109793283*c_1001_\ 10^11 + 70539970534318289398354873158634233182124883941538580782142\ 60015/8140259048013879154178756029744367099767490483224826219586566\ *c_1001_10^10 - 110446972802682051760900799668839365138222887541448\ 054173605693/140349293931273778520323379823178743099439491090083210\ 682527*c_1001_10^9 + 2657208864595516433616988577669237823709179158\ 507794010890806369/407012952400693957708937801487218354988374524161\ 2413109793283*c_1001_10^8 - 147669924382488117361847443522211649075\ 94116533897226157154926517/4070129524006939577089378014872183549883\ 745241612413109793283*c_1001_10^7 + 26749865761463686188318477447259553162309808060210572037270923990/4\ 070129524006939577089378014872183549883745241612413109793283*c_1001\ _10^6 - 27443426030687017351110066153339097754382523453264394936284\ 637220/407012952400693957708937801487218354988374524161241310979328\ 3*c_1001_10^5 - 158978274936086554135397346009923898850428491621831\ 69463524510413/4070129524006939577089378014872183549883745241612413\ 109793283*c_1001_10^4 - 2853756567605963794943539174247671654115045\ 1464345172717145416954/40701295240069395770893780148721835498837452\ 41612413109793283*c_1001_10^3 + 11578849356866713806166265709309988\ 9385673353855928057481078407433/81402590480138791541787560297443670\ 99767490483224826219586566*c_1001_10^2 - 41857353571257097084675519378689330009080778688947013352864384577/4\ 070129524006939577089378014872183549883745241612413109793283*c_1001\ _10 + 2513032594535314806259649011766017264247552735568899988997699\ 9393/8140259048013879154178756029744367099767490483224826219586566, c_0011_0 - 1, c_0011_10 - 1799914903604480958054097130062677162975558490748676/124312\ 926422740282126061452456314210008360930992102046663*c_1001_10^17 + 24193538774447098091662363713182181971627740484801990/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 - 135206824540771683990645016584657647792868834771939476/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 + 483440032175972116822837395080474746012075490961417580/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^14 - 1991347908251305628778133830377149168396381319806929940/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 + 8578120674692210860763752831258180423903506703800643528/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^12 - 23999503617721691769028557312515389052958885492033007488/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 + 41129365666745316401263623282792479990274652755397052398/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 - 45189129760161892697824774188250821967471536454000191454/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 + 41177200512612488506830120439227066302941677437389939682/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 - 136865302704994344695273041313906492388158161716455911354/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 + 309132960670628278806716091988248608022389488989524479764/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 - 349967834887834001056630186444910660230270348635238626154/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 + 7427012603828419005201426247260997467003649940626587481/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^4 - 110725066084721300582885755187541078597557018588029075538/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 + 771037935239590274024693120784348653858479190310516670513/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 - 636504176940437476924095405058454028363123300704739663856/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10 + 196688885587906914726401894616701145664242921593294311771/124312926\ 422740282126061452456314210008360930992102046663, c_0011_11 + 1456398386049250167758189969485808264963377786293532/124312\ 926422740282126061452456314210008360930992102046663*c_1001_10^17 - 18883681752293847673698372010989860056937922017307174/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 + 100531877303041576351920196708776763546794401175821013/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 - 344362281876282027002344594165827791676328963308258620/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^14 + 1450545811713615418027502313699488813584678961348198949/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 - 6260027018443492682693931569613206224337165330656686494/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^12 + 16517316490609270876310722151607295002500361450083278008/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 - 25705400905629204468054652272890234298998643384498874738/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 + 24725637119206117466325172136653467854937763125133955109/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 - 22880384579706502532367026100777893273594703989514198796/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 + 105769404945031141829716918608331590807884073755436987450/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 - 212393196282088446900801381369386989559879651662719510091/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 + 202923231680032217426064608064975321326735748682486605270/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 + 72775411547469269694956550474297529768608083713888049289/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^4 + 143436994399071985595114183229225057381408286592290369720/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 - 582957207857144685263476509346272149367896772990977756062/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 + 295750577190350173704094068913552819701847143460010912215/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10 - 78202053257887305233527073454931503652890135290324703339/1243129264\ 22740282126061452456314210008360930992102046663, c_0011_12 + 2018089497582543405688024833058825958999840882509328/124312\ 926422740282126061452456314210008360930992102046663*c_1001_10^17 - 23656720861426909962579485147800337399346553120538358/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 + 108710018973963492247401689620377547449650579530963873/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 - 326137866493758912911553710112891218042850314717788929/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^14 + 1513795964076640154097640315983342928761452233908236051/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 - 6450861431896242383775690103863437781426738898933102689/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^12 + 13433002079025462477002465980836040903242380642163927752/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 - 12842136921397154320394408704301296950281884690088978388/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 + 751262345143135809145038339636177468708846142155094327/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^9 + 3640147708180058266631949105550554415648821892647475873/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^8 + 101399897253066586395574293157535232712220040698244916310/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 - 113638359694703045549696209386653386305791412509666860147/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 + 51328680944725273125921780400918129206244180824370752262/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^5 + 316249785703387133368260129694290056884182099671982633141/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 + 359775670849256989965603221641434712102766485667370709010/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 - 242115380811603513217370052278018501462495434134963334744/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 - 5647427570014954225283357924786056163988814919939254181/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10 + 26491030512587243003904695446711336723615256187102660628/1243129264\ 22740282126061452456314210008360930992102046663, c_0011_3 + 1079114474249825852857497784625602705793300976380746/1243129\ 26422740282126061452456314210008360930992102046663*c_1001_10^17 - 8644977159415491462444904023953838410814751483334436/12431292642274\ 0282126061452456314210008360930992102046663*c_1001_10^16 + 10290145900473165858969676819084064415417608959788807/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^15 + 52937628908841100061807762622875031769833580190634955/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^14 + 99013883821565841442075395747284258234317736711382927/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^13 - 216038296475569199889373462338892402795818118862573425/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^12 - 6597308544626671496428445354658632014306638455781704128/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^11 + 23929729434547009585525289277731001218443697510559090286/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 - 36557436750363853712649828423128987712671372561852088827/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 + 24786489823346792636779717847921974542021853214294740021/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 + 33050075708036836476935158250969552932569179259663638496/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^7 + 174647332397244636225611437832538530781797354851034160668/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 - 286870515420924951848483800468628480099435802574353383578/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 + 412695804116439819229286651018803779711402162366258813558/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 + 666592562466867741966840877864636170395164110314312240275/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 + 600339319031527298389524899285359823757689204452794279530/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 - 653139260101240130513389066154808736097671264637769432285/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10 + 350488393046154017375551848004756400196565315637953398547/124312926\ 422740282126061452456314210008360930992102046663, c_0101_0 - 1, c_0101_1 - 18354378281394540212399030293001792853391054699658375/248625\ 852845480564252122904912628420016721861984204093326*c_1001_10^17 + 109890137748568028782549411409598204886736860480975746/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^16 - 524401553287335915448694228166815980487651687839698082/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 + 3292462915001515965192752215507174092917659972771161189/24862585284\ 5480564252122904912628420016721861984204093326*c_1001_10^14 - 14936209741687753084919278337090179247188730192778182543/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^13 + 63644856974098946980726135013263665785232412152703813099/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^12 - 143344864614969476672333305971475324125556716399442652807/248625852\ 845480564252122904912628420016721861984204093326*c_1001_10^11 + 87409453943505010433852020081952795951412032049607852151/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 - 110449552979239378035771656062170622711396317597199792407/248625852\ 845480564252122904912628420016721861984204093326*c_1001_10^9 + 98940367704630809494916747227487152246824101389063519387/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^8 - 538387806248584834102107214332181555409848397249690696279/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 + 708786606229747375337767010312767242008614419174294176524/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 - 515958312677329054181838788209424040677896416086271129252/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 - 1130347939910885557119529277135989067084086123293569458370/12431292\ 6422740282126061452456314210008360930992102046663*c_1001_10^4 - 3388710221495063864684975808099036218285515868608458973325/24862585\ 2845480564252122904912628420016721861984204093326*c_1001_10^3 + 1497456364362255579724176650915016717185526603287961896178/12431292\ 6422740282126061452456314210008360930992102046663*c_1001_10^2 - 760903162450691908260284951582601693827483862266546979041/248625852\ 845480564252122904912628420016721861984204093326*c_1001_10 - 163734077123303073423905002652766717592903516610759463525/248625852\ 845480564252122904912628420016721861984204093326, c_0101_10 + 3486345828832815831419167368305290470821588931690808/124312\ 926422740282126061452456314210008360930992102046663*c_1001_10^17 - 43228143518015728887631228751095824031543459503323368/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 + 217090618597566996223677828281434916464436024500302416/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 - 711368983565038950231403107571639105878487814007519565/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^14 + 3106186692721026117891289134639434296859013357484112618/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 - 13290482366978007578973514005950702819892350045193928171/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^12 + 32361693015038525071514500277233862414605138622856875288/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 - 44821468704364166355656513736869092156465829872074660066/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 + 34352328197574102269520316323136841457666282902317052974/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 - 23171077952435978502645593980669624876814822389409564464/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 + 202317415838384654812548326225170133816518215533593824520/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 - 347089292198409282648128126877023842834368085210246163937/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 + 318533263633595603350085999172347096295677284652018746432/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 + 334576435636452392653901346367266211580888216181780443453/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 + 425767395262189696420079190581906052108492192465960911334/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 - 769932070582994451094922980204225772755940063978263346068/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 + 362093898574094929783880427108717131687140763522606977100/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10 - 97956914171582218352419913047719269763412913643957323394/1243129264\ 22740282126061452456314210008360930992102046663, c_0101_11 - 2292731089153428160940721434281926419032014542544666/124312\ 926422740282126061452456314210008360930992102046663*c_1001_10^17 + 27705779217225266589471045877798048184653537140113562/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 - 133890608474340526809752389228492335408789279296796390/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 + 423545160856332912342728500018851992092516205044240158/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^14 - 1897482518965819512527040937810658825775475882115074581/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 + 8105651102337814956098251565706302890014060087582366014/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^12 - 18598750057937656586355432946702549987989040549519745442/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 + 23008167413738077773024041397365889856814884731379531234/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 - 13757712315156015915117549935757184086919194089375264287/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 + 10206135870476200143377384936986389455498874841776285030/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 - 135010445744782070101705592376147493853131942637207563356/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 + 198510349793946484092707554011975424714369196129367177142/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 - 161379232015349608777012591768596086618080022263437570234/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 - 258001674029665099189224192737164373090089989027893362764/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 - 395345752266197346223563833072855622698291313081162912754/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 + 438731667098254732155905143577913335067397059614119770482/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 - 210926925068543782986990064430353966372480628849532647563/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10 + 42019089302884228690939781391512399195788715256520548346/1243129264\ 22740282126061452456314210008360930992102046663, c_0101_2 + 6349010242176695404513081738424213843314514331373747/1243129\ 26422740282126061452456314210008360930992102046663*c_1001_10^17 - 77747398850616208340521579663931990799722698945700601/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 + 385133788366327466014470539828302368670618410407613025/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 - 1258197138473074861673602587793377418606270895037122061/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^14 + 5578093185610201593063525457507696266054643949893244676/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 - 23749252398008753035414944453312482957753092803347776408/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^12 + 57037045026858973896976370870396809838269551580813167777/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 - 80220208984718367243134301789584705058735144099638746229/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 + 69504228809153180245623455633879091308703581945354377010/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 - 64879590170173431870974763979920250097610262507570588050/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 + 398177881866743836137897417072494445169128471410689870796/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 - 605110407597003267673829277408128899423514906970379611664/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 + 588169636212933859772201875842686080328124056545071545788/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 + 548579516884351576942201094446642050041174265355209253364/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 + 1074813206165420721975890358445928607848543014645407548129/12431292\ 6422740282126061452456314210008360930992102046663*c_1001_10^3 - 1200230789388162965194184376144621458243674845284676084072/12431292\ 6422740282126061452456314210008360930992102046663*c_1001_10^2 + 793224459171722087094712090140550247310817808291435058790/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10 - 127295319087737249524417880272136269825663196595930454299/124312926\ 422740282126061452456314210008360930992102046663, c_0101_6 - 5656357797041149403372866816153365166762026036910881/2486258\ 52845480564252122904912628420016721861984204093326*c_1001_10^17 + 32142738897951820442027831745666214087014161535275145/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 - 139267764921008449434223688338513611817033277432085057/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 + 776068638055366241845547039920419255705118182696917067/248625852845\ 480564252122904912628420016721861984204093326*c_1001_10^14 - 3780023370467349898792227422074786715079442292991693191/24862585284\ 5480564252122904912628420016721861984204093326*c_1001_10^13 + 16146352178081440909896246106638699869726226546008260283/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^12 - 29270774561251528878380564230681704449017613237816317253/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^11 + 7189244958786643190717718292368090892676887949969105922/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^10 + 28558904639066982455475255205587559906010846293508961613/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^9 - 30818812635716054247032780732353347948396423626077656713/2486258528\ 45480564252122904912628420016721861984204093326*c_1001_10^8 - 140209924381840997964209797259687110240719925839000825483/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 + 103676198632744107663937732904638342585099512203914564860/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 + 72211323535604805590363087633262039650227640458800416536/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^5 - 581768423026533980177328182689347017042911857938360205006/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 - 1239083809164222420733195091207179002588429839317643877067/24862585\ 2845480564252122904912628420016721861984204093326*c_1001_10^3 + 297225574974092614529992274770395258941851758003285812106/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 + 825545755892752265929139228698498800794151754316323138539/248625852\ 845480564252122904912628420016721861984204093326*c_1001_10 - 666950568144258136724863668109667677260951771786824465449/248625852\ 845480564252122904912628420016721861984204093326, c_1001_0 + 2847962002610045230017208155412253901485906439781004/1243129\ 26422740282126061452456314210008360930992102046663*c_1001_10^17 - 33108128456383243518986022474415865429310183269272440/1243129264227\ 40282126061452456314210008360930992102046663*c_1001_10^16 + 151377768066010627717673371051659548891286568323422153/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^15 - 460492253371541725608888005815560691886435599222392745/124312926422\ 740282126061452456314210008360930992102046663*c_1001_10^14 + 2169433036074489938984468213930426938157030685529304783/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^13 - 9161787201340373565138670022533271331765680561846615745/12431292642\ 2740282126061452456314210008360930992102046663*c_1001_10^12 + 19238625572760252558601541496856290571333853264309413052/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^11 - 21225551414363672856992788934397904443663818828403127086/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^10 + 11765604445091349417431328966240906711427490457583358385/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^9 - 14711206387808209388013167263958989613233101148116003909/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10^8 + 166587518914763246109324031068980816999234880765445186280/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^7 - 164531080730842610180186237636466155018671925134364889152/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^6 + 106350083037963399690388647148092349717650317507603615554/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^5 + 378371748208549431460968858399511132526580873643483395720/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^4 + 679613070705849423390394183906102729364294852559737329510/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^3 - 236218032652770359393072887416251475813763006308386972478/124312926\ 422740282126061452456314210008360930992102046663*c_1001_10^2 + 20695015757950039017448255808106493704911613807496844794/1243129264\ 22740282126061452456314210008360930992102046663*c_1001_10 + 42932448916447563014109933865230428881932755250657953969/1243129264\ 22740282126061452456314210008360930992102046663, c_1001_10^18 - 13*c_1001_10^17 + 70*c_1001_10^16 - 245*c_1001_10^15 + 1032*c_1001_10^14 - 4412*c_1001_10^13 + 11856*c_1001_10^12 - 19627*c_1001_10^11 + 20689*c_1001_10^10 - 17996*c_1001_10^9 + 69029*c_1001_10^8 - 142086*c_1001_10^7 + 171556*c_1001_10^6 + 11736*c_1001_10^5 + 102863*c_1001_10^4 - 290567*c_1001_10^3 + 304065*c_1001_10^2 - 144974*c_1001_10 + 32741 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.420 Total time: 1.629 seconds, Total memory usage: 32.09MB