Magma V2.19-8 Tue Aug 20 2013 17:57:19 on localhost [Seed = 2614767512] Type ? for help. Type -D to quit. Loading file "9_22__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_22 geometric_solution 10.62072702 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678109585549 0.468403032514 0 2 5 4 0132 0321 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447511339612 1.050405978150 6 0 5 1 0132 0132 3012 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 1.212941404987 1.041157690188 7 4 8 0 0132 2103 0132 0132 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 1 0 0 -1 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646518875025 0.777732747653 9 3 0 1 0132 2103 0132 2103 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 -1 1 -1 0 1 0 0 0 0 0 5 -6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515252069061 0.417889141176 7 2 10 1 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388015576802 1.337991911070 2 11 11 10 0132 0132 1302 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.974795503944 1.287451295922 3 5 8 9 0132 1023 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464348697395 0.424210813432 11 10 7 3 3012 2031 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 -1 0 6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711500516281 0.365355966490 4 11 10 7 0132 0213 3120 1023 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 1 0 0 -1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668800502508 0.488533112546 8 6 9 5 1302 2310 3120 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173481024412 0.343288476524 6 6 9 8 2031 0132 0213 1230 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 -5 5 -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.626193904810 0.493700616928 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : negation(d['c_0101_2']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_8']), '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' : negation(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_1100_9' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0101_2'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0101_9']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_0']), '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' : negation(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' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], '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' : d['c_0011_8'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_9'], 'c_0101_8' : d['c_0011_8'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} 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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0101_9, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1066015073085034568207725319503716067306523688533266731/21655478596\ 29663675637297567937044396132341792326166032*c_1001_10^22 + 4045476078740091015689493780036630087273340228794535915/64966435788\ 88991026911892703811133188397025376978498096*c_1001_10^21 + 421882000493533478849275070790279684497358552769779047/569881015692\ 01675674665725472027484108745836640162264*c_1001_10^20 + 54209675414196158068227175127592150860422092317607789961/3248321789\ 444495513455946351905566594198512688489249048*c_1001_10^19 + 29704066403098223522443022115215721298115912666671797677/4060402236\ 80561939181993293988195824274814086061156131*c_1001_10^18 + 1178986404824334846243568997508206566894569424159444266997/64966435\ 78888991026911892703811133188397025376978498096*c_1001_10^17 + 1735505081893155137588569193485108705606417625848346742853/32483217\ 89444495513455946351905566594198512688489249048*c_1001_10^16 + 1920028284570218545123144737371109089057724399193593196757/16241608\ 94722247756727973175952783297099256344244624524*c_1001_10^15 + 16015637744887567388301150430589065719726120591592711576655/6496643\ 578888991026911892703811133188397025376978498096*c_1001_10^14 + 1671243780037767709170632152954949824489944077131621017334/40604022\ 3680561939181993293988195824274814086061156131*c_1001_10^13 + 6954214201823363811644347450127321769776687312686873971589/10827739\ 29814831837818648783968522198066170896163083016*c_1001_10^12 + 48981131121277328671199807550466662169236996626935436413775/6496643\ 578888991026911892703811133188397025376978498096*c_1001_10^11 + 2786615027922856605283197022675151280895446020333116540555/34192860\ 9415210054047994352832164904652475019840973584*c_1001_10^10 + 5654355165930724504903043842347412546500075723409665351919/81208044\ 7361123878363986587976391648549628172122312262*c_1001_10^9 + 37639495615278307150380641208227672729240176472771836116139/6496643\ 578888991026911892703811133188397025376978498096*c_1001_10^8 + 5428536293419214632185518438547040150844528019049015307573/16241608\ 94722247756727973175952783297099256344244624524*c_1001_10^7 + 2700704066727444013071157380719623513336139701356401366593/81208044\ 7361123878363986587976391648549628172122312262*c_1001_10^6 + 737147980421093949093399315098945704831819364140138078901/541386964\ 907415918909324391984261099033085448081541508*c_1001_10^5 + 6138537763325644561570773394055462259908756934662789135665/64966435\ 78888991026911892703811133188397025376978498096*c_1001_10^4 + 13618541409329514043831578466759434036898512547278996325/5698810156\ 9201675674665725472027484108745836640162264*c_1001_10^3 + 367114920938760509019442757263808135809286166276436395923/162416089\ 4722247756727973175952783297099256344244624524*c_1001_10^2 - 300053206034443441173215827099178055517614383516636742205/649664357\ 8888991026911892703811133188397025376978498096*c_1001_10 + 237654099063319825731779895786016293770262891540222720401/324832178\ 9444495513455946351905566594198512688489249048, c_0011_0 - 1, c_0011_10 + 755273673686581227252749429542381089242040550/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 + 2718001267769322302840913962396372705314534868/11954208249958398152\ 93374003021217572343216912237*c_1001_10^21 + 11839553895053904418615774349854771026196255259/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 + 48224272114380968283039021143939284366603431126/1195420824995839815\ 293374003021217572343216912237*c_1001_10^19 + 143717495150155921720605719440317866283302074924/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 + 456450879149118984453551687945049591187401142650/119542082499583981\ 5293374003021217572343216912237*c_1001_10^17 + 1155679838956103373984621640229002944001014695696/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 + 2843540402653929512120801450592041936230393065145/11954208249958398\ 15293374003021217572343216912237*c_1001_10^15 + 5536618921809053400702514768335718426866302205177/11954208249958398\ 15293374003021217572343216912237*c_1001_10^14 + 9236134157898858318966691699248379613865591697999/11954208249958398\ 15293374003021217572343216912237*c_1001_10^13 + 12130393577429727102487337758334485031106173624115/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 + 12355349212148935466978258326600209866122239279943/1195420824995839\ 815293374003021217572343216912237*c_1001_10^11 + 4474216461267334393629420967221539087837253553842/11954208249958398\ 15293374003021217572343216912237*c_1001_10^10 - 5344372529115923879409520853577295838422427539555/11954208249958398\ 15293374003021217572343216912237*c_1001_10^9 - 15050257540345612242010033105723213057754576603552/1195420824995839\ 815293374003021217572343216912237*c_1001_10^8 - 18381314259615976952779049966752626385148072404817/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 - 17252548746629590478847478573689056478841436465904/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 - 7463706061282389687662261717363376289371899170363/11954208249958398\ 15293374003021217572343216912237*c_1001_10^5 - 7631508322797511819085853256123786782701674704804/11954208249958398\ 15293374003021217572343216912237*c_1001_10^4 - 4628215340680791271924568925631033625581304210123/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 - 1413692867509387718286014877542744624389529688646/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 - 989839487743022115049097345762764886557839658542/119542082499583981\ 5293374003021217572343216912237*c_1001_10 + 309787476469116417166123128883190727368496021469/119542082499583981\ 5293374003021217572343216912237, c_0011_3 + 1243400545248480118575985122827443614976888378/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 + 7320747683152983585980436954893364797821481186/11954208249958398152\ 93374003021217572343216912237*c_1001_10^21 + 26525196294768512538387178544110527563539558424/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 + 126404764221239479993733304419694199701867316734/119542082499583981\ 5293374003021217572343216912237*c_1001_10^19 + 383957109199108077566721841267180534771406454068/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 + 1287646853832462354844452759353180649066838642171/11954208249958398\ 15293374003021217572343216912237*c_1001_10^17 + 3448093999153553915210903551691978463432463988428/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 + 8990040793436637330100435459764576329977849377580/11954208249958398\ 15293374003021217572343216912237*c_1001_10^15 + 19524737497972408679531797282532869414922754891428/1195420824995839\ 815293374003021217572343216912237*c_1001_10^14 + 37281289944172563563742046797406380448141802685008/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 + 59845629711855929138242208160893970093801402114309/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 + 83664275207214661053907894345485610973814270327229/1195420824995839\ 815293374003021217572343216912237*c_1001_10^11 + 90704967591560210705119763369167124302712257517037/1195420824995839\ 815293374003021217572343216912237*c_1001_10^10 + 82315739981285255097502209149283554560618035791270/1195420824995839\ 815293374003021217572343216912237*c_1001_10^9 + 59356750337959851818858681948997987508546723605699/1195420824995839\ 815293374003021217572343216912237*c_1001_10^8 + 35757914783767001814562655944062233840809956170989/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 + 13994862871729554834503289761870357020488470390687/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 + 14358458880001991321272908668765063659255188587530/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 + 4943864919172504413673978742412057174604870140338/11954208249958398\ 15293374003021217572343216912237*c_1001_10^4 - 2541485171526109299357364743025780552317351243800/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 - 1913997680536810843911554455002247750009265002042/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 - 1364962938470186559644877468779718816919018720995/11954208249958398\ 15293374003021217572343216912237*c_1001_10 + 546204183079058791990565774275934034389973197424/119542082499583981\ 5293374003021217572343216912237, c_0011_8 + 3542565624364287334679473910435762799312372517/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 + 8808613425948750983833696730462373826409147167/11954208249958398152\ 93374003021217572343216912237*c_1001_10^21 + 59302934495868393188474503573937612034620683621/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 + 185490119427670922724195625635505344789052600144/119542082499583981\ 5293374003021217572343216912237*c_1001_10^19 + 680872773622430195334529141617096712416889447766/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 + 1962240804598839917839530426052210725124344766545/11954208249958398\ 15293374003021217572343216912237*c_1001_10^17 + 5507698570931697976502365141140997572718315800833/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 + 13351250969474921170150913156257720394049496444014/1195420824995839\ 815293374003021217572343216912237*c_1001_10^15 + 28581283185342330822963873254466842861399414016941/1195420824995839\ 815293374003021217572343216912237*c_1001_10^14 + 52195954828047971765734210924341140209485053720735/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 + 84201786511431963916442967434761820757263791373186/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 + 113376486200886171696576328701495717551305662626141/119542082499583\ 9815293374003021217572343216912237*c_1001_10^11 + 128827498279060317902055488522969747134831535884085/119542082499583\ 9815293374003021217572343216912237*c_1001_10^10 + 125137674838877777241975544732556748310636962054906/119542082499583\ 9815293374003021217572343216912237*c_1001_10^9 + 105886000663123277069949683180967851200636221413921/119542082499583\ 9815293374003021217572343216912237*c_1001_10^8 + 76294355397650573582584253692945018490813554646510/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 + 53479576611139684967035678394964969100284920403711/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 + 36817762155388166334456571777350864727591787029781/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 + 18139680691883444030849459747538086743201064888611/1195420824995839\ 815293374003021217572343216912237*c_1001_10^4 + 7773921251467003141584833107288521487720036955004/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 + 1409624476622636733186798376004188091949052921540/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 + 705016848408709087293456873590692475894753123196/119542082499583981\ 5293374003021217572343216912237*c_1001_10 + 493982534318536712316681842103922965385185379921/119542082499583981\ 5293374003021217572343216912237, c_0101_0 + 598955239460654489345630640436736798380322693/11954208249958\ 39815293374003021217572343216912237*c_1001_10^22 + 1352454761062845515415868707562937857161875912/11954208249958398152\ 93374003021217572343216912237*c_1001_10^21 + 10760869984984662010445057140932821631236467166/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 + 30361660890197356829090481146958377904941985944/1195420824995839815\ 293374003021217572343216912237*c_1001_10^19 + 123620608602229858159363279603787899202104202343/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 + 341015936053019855880641761546481582058273369619/119542082499583981\ 5293374003021217572343216912237*c_1001_10^17 + 1008044019112134319025795738751617284969002707897/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 + 2427207326037568841550578909833362177769435673769/11954208249958398\ 15293374003021217572343216912237*c_1001_10^15 + 5426861525798844348468118645627510070859871691127/11954208249958398\ 15293374003021217572343216912237*c_1001_10^14 + 10189322418358249574419627753053914977566324665260/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 + 17301648206619135880590460138121814940091281564645/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 + 24440232345773322726096136982606428027497211013696/1195420824995839\ 815293374003021217572343216912237*c_1001_10^11 + 30794847405614513457224531488674418949232516323976/1195420824995839\ 815293374003021217572343216912237*c_1001_10^10 + 32458941540649152295914871628225997110969931810733/1195420824995839\ 815293374003021217572343216912237*c_1001_10^9 + 31449281111831059984323812948772511410057970309761/1195420824995839\ 815293374003021217572343216912237*c_1001_10^8 + 27202708733948383959865147007671008577437483500623/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 + 23347133024782549541652319552043170098272244944396/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 + 16894653425048257012169815725264546154882096992935/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 + 12341714394501397954067267369129696397913899677862/1195420824995839\ 815293374003021217572343216912237*c_1001_10^4 + 6095106428670465692870678024075935376132344815708/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 + 1560895314037560647910585584744464162174206310203/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 + 2443068720401605777179600407230582249409810835752/11954208249958398\ 15293374003021217572343216912237*c_1001_10 + 461756968410979711447388576257747324937079090861/119542082499583981\ 5293374003021217572343216912237, c_0101_1 - 5585605643684641504384317248977311110630223102/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 - 10732387850780414533290296601818055345525848985/1195420824995839815\ 293374003021217572343216912237*c_1001_10^21 - 86681912866242891309710013434412599008758276822/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 - 242453527955102972807332288650469474921803607843/119542082499583981\ 5293374003021217572343216912237*c_1001_10^19 - 926444878514505728422600520034111699438072578549/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 - 2545257948569331813103631109849476517754053744033/11954208249958398\ 15293374003021217572343216912237*c_1001_10^17 - 7151400343016413523498148370567850361221231835281/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 - 16765523334103665378137646755863708148147530215301/1195420824995839\ 815293374003021217572343216912237*c_1001_10^15 - 34942456521789651655523263155148765668899642546398/1195420824995839\ 815293374003021217572343216912237*c_1001_10^14 - 61149960638705372098868842771938930526424898019578/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 - 95691565957481130203356435540211626320092767554491/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 - 121191556043165120188289133027482375662551211976398/119542082499583\ 9815293374003021217572343216912237*c_1001_10^11 - 130764068144925057098155346722149307585075166143826/119542082499583\ 9815293374003021217572343216912237*c_1001_10^10 - 121857575712885265218398902984781521956784797440099/119542082499583\ 9815293374003021217572343216912237*c_1001_10^9 - 101478310866661336478034102079865999493544367484130/119542082499583\ 9815293374003021217572343216912237*c_1001_10^8 - 70858933767800452020726269333406278032004560757551/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 - 55527899000270033553908026707506161297082757490695/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 - 38897074112015321120039727258326769842691927918842/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 - 15582898362392903071486647633415863538134793260432/1195420824995839\ 815293374003021217572343216912237*c_1001_10^4 - 8303873833357109674543912785169646065660891158713/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 - 3129657802432247136916118798693630497341262935513/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 - 692063986911383127443570591823555200144539434638/119542082499583981\ 5293374003021217572343216912237*c_1001_10 + 3789669216419527710246788109206795667872832069/11954208249958398152\ 93374003021217572343216912237, c_0101_2 + 5660444671354578223634965429625253726669023473/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 + 13715658893621162906426433698428683893996470929/1195420824995839815\ 293374003021217572343216912237*c_1001_10^21 + 94697973238345361916542831547749536317737764048/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 + 290546359576351034818901563095114264151089289372/119542082499583981\ 5293374003021217572343216912237*c_1001_10^19 + 1080530156664077618520079894513798731279141605602/11954208249958398\ 15293374003021217572343216912237*c_1001_10^18 + 3080903923867554371388514818056528652262646722931/11954208249958398\ 15293374003021217572343216912237*c_1001_10^17 + 8695084765255108402717791199647251815199280358367/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 + 20945511140159182279411224150072232701742016554644/1195420824995839\ 815293374003021217572343216912237*c_1001_10^15 + 44883211259713449119050714447251211149376185570733/1195420824995839\ 815293374003021217572343216912237*c_1001_10^14 + 81501836252137148313159809057438421744727347000935/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 + 131198377653296897976824116694963790194237807127886/119542082499583\ 9815293374003021217572343216912237*c_1001_10^12 + 174890201296756677590799894520750004710175508427490/119542082499583\ 9815293374003021217572343216912237*c_1001_10^11 + 197303859956047948302810128428621108688856950178791/119542082499583\ 9815293374003021217572343216912237*c_1001_10^10 + 187297574997136549232022180916471900573626851238410/119542082499583\ 9815293374003021217572343216912237*c_1001_10^9 + 155865266309773009019200465696278791719338903350354/119542082499583\ 9815293374003021217572343216912237*c_1001_10^8 + 107700629510424085349997001822019827064779034658598/119542082499583\ 9815293374003021217572343216912237*c_1001_10^7 + 75883510207571713570566626393779174201385383067279/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 + 51351635877480913598454196575655159910265011002967/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 + 27958323500809526417560995966876339023730838944171/1195420824995839\ 815293374003021217572343216912237*c_1001_10^4 + 9956549640972664000834055407336502526519653819001/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 + 4189193238752580592961584684138354918753361655870/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 + 292687940942633838464252869520573894901254174072/119542082499583981\ 5293374003021217572343216912237*c_1001_10 + 153715308409215460005432133156150505681102439841/119542082499583981\ 5293374003021217572343216912237, c_0101_3 + 6183843229072547266915864907822509100247954472/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 + 12706150207872695611524929499649696716689397939/1195420824995839815\ 293374003021217572343216912237*c_1001_10^21 + 98329973210462933603749394484166672306799790130/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 + 281221814446764149556077182190469225572594548891/119542082499583981\ 5293374003021217572343216912237*c_1001_10^19 + 1070918520465619663438910285995833364406684430365/11954208249958398\ 15293374003021217572343216912237*c_1001_10^18 + 2965169027813323234244538342327757690301019313374/11954208249958398\ 15293374003021217572343216912237*c_1001_10^17 + 8361018223566488181936976036725902764729943260145/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 + 19726568894892852182301325460431471738899122056765/1195420824995839\ 815293374003021217572343216912237*c_1001_10^15 + 41504657540256037229459996761179889745645914281723/1195420824995839\ 815293374003021217572343216912237*c_1001_10^14 + 73324635853875976350389238006695664012425976944827/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 + 115524782378097121008250854055060184244245791841284/119542082499583\ 9815293374003021217572343216912237*c_1001_10^12 + 147751588307543812081293587750347297222096215833857/119542082499583\ 9815293374003021217572343216912237*c_1001_10^11 + 160281075380582556777864102486256255443501113747930/119542082499583\ 9815293374003021217572343216912237*c_1001_10^10 + 146378520901605093507327033305102887710651275605482/119542082499583\ 9815293374003021217572343216912237*c_1001_10^9 + 117706477182748528586487167982848936523521701584225/119542082499583\ 9815293374003021217572343216912237*c_1001_10^8 + 76710502284816341869208519626671378966286998576859/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 + 55827756052894774295385833981453884076399611632766/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 + 36028506702920226315842842504957317521674233401125/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 + 14804687632851163247131880371954742579395214525727/1195420824995839\ 815293374003021217572343216912237*c_1001_10^4 + 5421165885323571913552222036749291651166114005777/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 + 2705906982861924925377611030728031181286375379025/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 + 941172102948344498383977673463089168426702749049/119542082499583981\ 5293374003021217572343216912237*c_1001_10 + 182766989554229194572548086179712909076265665929/119542082499583981\ 5293374003021217572343216912237, c_0101_5 - 484513271754298010005649150723749409452587532/11954208249958\ 39815293374003021217572343216912237*c_1001_10^22 - 866557004528164237517945097177048652066012430/119542082499583981529\ 3374003021217572343216912237*c_1001_10^21 - 9500625231654196083728558220634535265292607730/11954208249958398152\ 93374003021217572343216912237*c_1001_10^20 - 23072544598902426569068130779078852313635302330/1195420824995839815\ 293374003021217572343216912237*c_1001_10^19 - 108764201530846448249907665155437736690360208492/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 - 286129862661548067745997804342447504625220411161/119542082499583981\ 5293374003021217572343216912237*c_1001_10^17 - 902479538520528415417193895031319131458242905534/119542082499583981\ 5293374003021217572343216912237*c_1001_10^16 - 2174321603290332140441686416732862220606969046646/11954208249958398\ 15293374003021217572343216912237*c_1001_10^15 - 5124588464243530063336577131062817119252445490677/11954208249958398\ 15293374003021217572343216912237*c_1001_10^14 - 10037105824339981269323442319202540752871224053051/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 - 18055700042722406707100092271262556787048809292444/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 - 26750761378856759877433884600387210013619503398229/1195420824995839\ 815293374003021217572343216912237*c_1001_10^11 - 36056717674325957700678412147505259936965956189961/1195420824995839\ 815293374003021217572343216912237*c_1001_10^10 - 38787003415653116406392229705277451864484013848787/1195420824995839\ 815293374003021217572343216912237*c_1001_10^9 - 36401168049136932022976254424799769273148918040025/1195420824995839\ 815293374003021217572343216912237*c_1001_10^8 - 27814291998651706605827721280088040543682220554800/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 - 20088462993631475873627728690099331259459629453260/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 - 10577124942397048943989846607015484831428471668878/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 - 9952173149642457439434197981039087346092163287527/11954208249958398\ 15293374003021217572343216912237*c_1001_10^4 - 6086106448906056686691289644377677304390880844465/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 - 1597049030412761679075385521174220132375869945676/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 - 930919249260197383635468444275789404112811428552/119542082499583981\ 5293374003021217572343216912237*c_1001_10 - 1308182866028602108667369398839189344540035229880/11954208249958398\ 15293374003021217572343216912237, c_0101_9 - 1207453920396159848335415103311610526830453768/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 + 244824883931395217428216522823326401676393541/119542082499583981529\ 3374003021217572343216912237*c_1001_10^21 - 14236956798484813056665296814532135350711606376/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 - 12299875928690788178627318699943556755187019224/1195420824995839815\ 293374003021217572343216912237*c_1001_10^19 - 94674789453246576599484711194249049440463719200/1195420824995839815\ 293374003021217572343216912237*c_1001_10^18 - 127752369068666323693629666621822281542597507146/119542082499583981\ 5293374003021217572343216912237*c_1001_10^17 - 418356636446317191412223032331456258674200859095/119542082499583981\ 5293374003021217572343216912237*c_1001_10^16 - 395471025024494986793049401440730352395732181327/119542082499583981\ 5293374003021217572343216912237*c_1001_10^15 - 84483053838553588345126861483347955519786353649/1195420824995839815\ 293374003021217572343216912237*c_1001_10^14 + 2480375640037186738717099956162877140281100815635/11954208249958398\ 15293374003021217572343216912237*c_1001_10^13 + 6640538954742268979655642575820216909404322593107/11954208249958398\ 15293374003021217572343216912237*c_1001_10^12 + 16803353473831031940535035961846420958289512820758/1195420824995839\ 815293374003021217572343216912237*c_1001_10^11 + 25499605785116030509876392130345277585935521656855/1195420824995839\ 815293374003021217572343216912237*c_1001_10^10 + 32027299177472585068197334782976855181737164086452/1195420824995839\ 815293374003021217572343216912237*c_1001_10^9 + 30144701727284479567240622331875211850092853971067/1195420824995839\ 815293374003021217572343216912237*c_1001_10^8 + 26115685307341621180658493129368898561096782320154/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 + 13184148865784555902874585896717370659291114296063/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 + 10544598882206655612599707805868750643908225106154/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 + 5997526511074563036933803641391370540377123727273/11954208249958398\ 15293374003021217572343216912237*c_1001_10^4 + 2005072154005980819224917680874429017266047439296/11954208249958398\ 15293374003021217572343216912237*c_1001_10^3 - 40176402715456411475924532188671227241370373245/1195420824995839815\ 293374003021217572343216912237*c_1001_10^2 - 253141950942622825122166921667512145675342980219/119542082499583981\ 5293374003021217572343216912237*c_1001_10 - 1119138183953495111340846310637437082329770816687/11954208249958398\ 15293374003021217572343216912237, c_1001_0 - 1757568051203968606169389954347146750054196398/1195420824995\ 839815293374003021217572343216912237*c_1001_10^22 - 6092770159000430809603923592232257726342195912/11954208249958398152\ 93374003021217572343216912237*c_1001_10^21 - 33303028521174798358598743914715361567583347891/1195420824995839815\ 293374003021217572343216912237*c_1001_10^20 - 121306461081786409994182799380046496851663486235/119542082499583981\ 5293374003021217572343216912237*c_1001_10^19 - 422571295121468557354137396189073293312609450496/119542082499583981\ 5293374003021217572343216912237*c_1001_10^18 - 1303855839579116885386739070138955415121179959961/11954208249958398\ 15293374003021217572343216912237*c_1001_10^17 - 3649980964787172741675728311619145700521418406993/11954208249958398\ 15293374003021217572343216912237*c_1001_10^16 - 9265888333524678208266892356714735832314157922372/11954208249958398\ 15293374003021217572343216912237*c_1001_10^15 - 20483672394116736693361628967176370071089768718374/1195420824995839\ 815293374003021217572343216912237*c_1001_10^14 - 39560809042678658965719087111594382300800891565940/1195420824995839\ 815293374003021217572343216912237*c_1001_10^13 - 66615362921383986265049766197202339430590258614906/1195420824995839\ 815293374003021217572343216912237*c_1001_10^12 - 96639028247838040190789183426563105648412113558379/1195420824995839\ 815293374003021217572343216912237*c_1001_10^11 - 117746929937468658181366100652168828309751468246528/119542082499583\ 9815293374003021217572343216912237*c_1001_10^10 - 123954641789833221714636590757308292407510066445115/119542082499583\ 9815293374003021217572343216912237*c_1001_10^9 - 110716017303913784988147452042894437189717223483682/119542082499583\ 9815293374003021217572343216912237*c_1001_10^8 - 86399828124343533762973547993197781455520534138787/1195420824995839\ 815293374003021217572343216912237*c_1001_10^7 - 59833185605036520868241753817712130675907306031370/1195420824995839\ 815293374003021217572343216912237*c_1001_10^6 - 42722003212723433315914162799655725023721595126135/1195420824995839\ 815293374003021217572343216912237*c_1001_10^5 - 24378681482595001821119559278864982046985619231396/1195420824995839\ 815293374003021217572343216912237*c_1001_10^4 - 14439333945216036001846310051814190135012443087140/1195420824995839\ 815293374003021217572343216912237*c_1001_10^3 - 3836247400369491866777447422322981780679902911122/11954208249958398\ 15293374003021217572343216912237*c_1001_10^2 - 558967913876464370132092227706974207693323675671/119542082499583981\ 5293374003021217572343216912237*c_1001_10 - 619581588805001043752154564291416899788928490317/119542082499583981\ 5293374003021217572343216912237, c_1001_10^23 + 2*c_1001_10^22 + 16*c_1001_10^21 + 45*c_1001_10^20 + 174*c_1001_10^19 + 479*c_1001_10^18 + 1361*c_1001_10^17 + 3211*c_1001_10^16 + 6807*c_1001_10^15 + 12117*c_1001_10^14 + 19345*c_1001_10^13 + 25151*c_1001_10^12 + 28172*c_1001_10^11 + 26686*c_1001_10^10 + 22478*c_1001_10^9 + 15575*c_1001_10^8 + 11735*c_1001_10^7 + 7574*c_1001_10^6 + 3857*c_1001_10^5 + 1813*c_1001_10^4 + 783*c_1001_10^3 + 219*c_1001_10^2 + 75*c_1001_10 + 101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.790 Total time: 0.990 seconds, Total memory usage: 32.09MB