Magma V2.19-8 Wed Aug 21 2013 01:07:28 on localhost [Seed = 1478377803] Type ? for help. Type -D to quit. Loading file "L14n33319__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33319 geometric_solution 11.72857237 oriented_manifold CS_known 0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 0 0 0 -1 0 2 -1 -1 1 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 -5 0 9 -4 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042675566316 1.046136890368 0 5 4 6 0132 0132 1230 0132 1 1 1 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 5 0 0 -5 4 -4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066509162601 1.009609951418 7 0 3 8 0132 0132 0213 0132 0 1 1 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -4 4 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576257474397 0.481146385574 9 2 10 0 0132 0213 0132 0132 0 1 1 0 0 0 0 0 1 0 1 -2 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 4 0 5 -9 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454812972687 0.625860976297 11 10 0 1 0132 0132 0132 3012 0 1 1 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 1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583482437325 0.791396646605 6 1 9 11 0321 0132 0321 0321 1 1 0 1 0 1 -1 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 1 -1 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529365805560 0.582106194504 5 10 1 12 0321 1023 0132 0132 1 1 0 1 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 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.396620552201 1.737768788602 2 12 8 8 0132 2031 1302 3201 1 1 0 1 0 -1 0 1 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 -5 0 5 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237885923719 0.651161813232 7 7 2 9 2031 2310 0132 2031 0 1 1 1 0 0 0 0 0 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 1 -1 0 0 -4 4 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.785701226244 0.871965531200 3 8 5 12 0132 1302 0321 2031 1 1 0 1 0 -1 1 0 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 -4 0 4 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.378131956453 0.556353477263 6 4 11 3 1023 0132 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0.347430618818 0.455750682913 4 5 12 10 0132 0321 2031 1302 1 1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0.364377238541 0.981052678071 7 9 6 11 1302 1302 0132 1302 1 1 1 0 0 0 0 0 -1 0 1 0 1 0 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 -5 0 5 0 5 0 0 -5 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460986669224 0.543434373103 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_12']), 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_12']), 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_12']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : 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' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_12']), 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_1']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_3']), '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' : d['c_0101_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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], '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_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0110_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : negation(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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0110_12, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 9373257154467511193327068605852397006518877550385025303957039773/38\ 6257399877378478501320320742334341560463748591649737854880825488*c_\ 1001_2^18 - 3081429603821424775527620021395847080037237906656820729\ 1165972057757/38625739987737847850132032074233434156046374859164973\ 7854880825488*c_1001_2^17 + 297707316213800226724682272861722358898\ 21870067849199576827732177369/3511430907976167986375639279475766741\ 4587613508331794350443711408*c_1001_2^16 - 1287175568327179968339126520318082428871027915736360524428061604647\ 625/386257399877378478501320320742334341560463748591649737854880825\ 488*c_1001_2^15 + 1286202686806520124291950294110406509450621495818\ 065108861893615924977/193128699938689239250660160371167170780231874\ 295824868927440412744*c_1001_2^14 - 4653920553782682012252835630394656180321549785874552903076327622593\ 49/4828217498467230981266504009279179269505796857395621723186010318\ 6*c_1001_2^13 + 462509376138045673424018271337849620573637861571052\ 98003260035569073/3643937734692249797182267176814474920381733477279\ 714508064913448*c_1001_2^12 - 5104757240073961870420366184624677491\ 978336928191719705872121439508855/386257399877378478501320320742334\ 341560463748591649737854880825488*c_1001_2^11 + 3422372679659649957137817389408915155695843056063417975031395040720\ 28/2414108749233615490633252004639589634752898428697810861593005159\ 3*c_1001_2^10 - 497377727336845683793909777506176683146327518206639\ 4893969776606359837/38625739987737847850132032074233434156046374859\ 1649737854880825488*c_1001_2^9 + 4080820692087670321947436791067698\ 532181224705140553741282792051209825/386257399877378478501320320742\ 334341560463748591649737854880825488*c_1001_2^8 - 5909081687267964447114440087028243571067011811438880528346982041798\ 13/9656434996934461962533008018558358539011593714791243446372020637\ 2*c_1001_2^7 + 1358000534566452297620328043975541732075270226032930\ 785665925388095139/386257399877378478501320320742334341560463748591\ 649737854880825488*c_1001_2^6 - 39027927217444085015722261972473017\ 9198043715945415863949383409945033/19312869993868923925066016037116\ 7170780231874295824868927440412744*c_1001_2^5 + 1848114903444849938248143523843325456782581357130691470651675460109\ 7/24141087492336154906332520046395896347528984286978108615930051593\ *c_1001_2^4 - 13045641053987126643319578849587331200308901027980881\ 3565522344909011/38625739987737847850132032074233434156046374859164\ 9737854880825488*c_1001_2^3 + 5359117246631338366356304129631332082\ 6062475802915001025777123814323/38625739987737847850132032074233434\ 1560463748591649737854880825488*c_1001_2^2 - 5706917650408989178983302561871611928651870840516280302659598068657\ /193128699938689239250660160371167170780231874295824868927440412744\ *c_1001_2 + 2784889605386778088112061580185499103281873387992617726\ 953200652573/386257399877378478501320320742334341560463748591649737\ 854880825488, c_0011_0 - 1, c_0011_10 - 3875957296560520445711987060071389909818820112712499856571/\ 930525468511810469147667818389804627268062685720049670088078*c_1001\ _2^18 - 12757914119524265962747157154183870315143535152923864904695\ 667/930525468511810469147667818389804627268062685720049670088078*c_\ 1001_2^17 + 8333751384976162352121448118071317497595828131563716727\ 2411931/93052546851181046914766781838980462726806268572004967008807\ 8*c_1001_2^16 - 179074963770573336671087122879675824793370294952223\ 424449771479/930525468511810469147667818389804627268062685720049670\ 088078*c_1001_2^15 + 9995116774954187140225622943820714300504307711\ 4819973601802617/46526273425590523457383390919490231363403134286002\ 4835044039*c_1001_2^14 - 116254547265806312008773824303556255868652\ 048625486438107522915/465262734255905234573833909194902313634031342\ 860024835044039*c_1001_2^13 + 1087512117873806544782488703117861761\ 93201745025675621564089062/4652627342559052345738339091949023136340\ 31342860024835044039*c_1001_2^12 - 223521682622993141300863295016565754030990834184144888381711063/930\ 525468511810469147667818389804627268062685720049670088078*c_1001_2^\ 11 + 11310957474905588587528218226557394881098611057133747452331964\ 3/465262734255905234573833909194902313634031342860024835044039*c_10\ 01_2^10 - 171929326984523940082486816901585807193702067569351179547\ 889679/930525468511810469147667818389804627268062685720049670088078\ *c_1001_2^9 + 43287012402611910543953113820013271431898212658453167\ 566077743/930525468511810469147667818389804627268062685720049670088\ 078*c_1001_2^8 - 71482736299324111388352486029416344298877118663226\ 16154322056/4652627342559052345738339091949023136340313428600248350\ 44039*c_1001_2^7 + 768937834386367230518289748923171782306711928292\ 61911326175271/9305254685118104691476678183898046272680626857200496\ 70088078*c_1001_2^6 - 312978283695785747798055652112044765459965086\ 09607407302634842/4652627342559052345738339091949023136340313428600\ 24835044039*c_1001_2^5 - 213577663343599161726323087791918361026566\ 5752606687641655747/46526273425590523457383390919490231363403134286\ 0024835044039*c_1001_2^4 + 1426084562377015730639241463398193104095\ 608284972965400349817/930525468511810469147667818389804627268062685\ 720049670088078*c_1001_2^3 + 69436302435148251215631093772469330406\ 08464508557311858069867/9305254685118104691476678183898046272680626\ 85720049670088078*c_1001_2^2 - 162328341748756022210626321903492161\ 6894278427700529605842232/46526273425590523457383390919490231363403\ 1342860024835044039*c_1001_2 + 136843568810248064198019824554314991\ 744377074213175156868805/930525468511810469147667818389804627268062\ 685720049670088078, c_0011_12 + 1452295864756831240729833643472197287539447925503624167771/\ 465262734255905234573833909194902313634031342860024835044039*c_1001\ _2^18 + 47798187121101162449133616146125579164220788989627209599706\ 50/465262734255905234573833909194902313634031342860024835044039*c_1\ 001_2^17 - 32833069623370319988056132045091101580344075068241732674\ 600781/465262734255905234573833909194902313634031342860024835044039\ *c_1001_2^16 + 7852160227553912555169646096923374950732412721085637\ 5686106956/46526273425590523457383390919490231363403134286002483504\ 4039*c_1001_2^15 - 104477264545654361298247450779976407376425138339\ 255960880606491/465262734255905234573833909194902313634031342860024\ 835044039*c_1001_2^14 + 1312627271418361086238933709031776317046512\ 04627619293076561744/4652627342559052345738339091949023136340313428\ 60024835044039*c_1001_2^13 - 13605807436292953717115240778661131382\ 6521619677334136521054481/46526273425590523457383390919490231363403\ 1342860024835044039*c_1001_2^12 + 134960551411319705648463601944833\ 234244112925027547870561404931/465262734255905234573833909194902313\ 634031342860024835044039*c_1001_2^11 - 131655972574033841670529703680675971099051287955414445168437120/465\ 262734255905234573833909194902313634031342860024835044039*c_1001_2^\ 10 + 10401472436018107974486134717102391279931859783753359914453465\ 2/465262734255905234573833909194902313634031342860024835044039*c_10\ 01_2^9 - 4642192682340632976897327599632668275797079594196843988348\ 5131/465262734255905234573833909194902313634031342860024835044039*c\ _1001_2^8 + 1380520611399152297878995450712277810756146423628744795\ 0716595/46526273425590523457383390919490231363403134286002483504403\ 9*c_1001_2^7 - 2076412199629066971408733060758088577794185803017062\ 0933747871/46526273425590523457383390919490231363403134286002483504\ 4039*c_1001_2^6 + 1439265351523723808981096439403042526542191535320\ 0366363521489/46526273425590523457383390919490231363403134286002483\ 5044039*c_1001_2^5 + 4462720929379978885761995910854208091946246908\ 892990160568108/465262734255905234573833909194902313634031342860024\ 835044039*c_1001_2^4 - 36806348530573188305031768403633771645347602\ 9205468592207204/46526273425590523457383390919490231363403134286002\ 4835044039*c_1001_2^3 - 2529357467322933101910364887450149605464930\ 111469056455829416/465262734255905234573833909194902313634031342860\ 024835044039*c_1001_2^2 - 55488019424072540717580962600592419109026\ 7837709397890621542/46526273425590523457383390919490231363403134286\ 0024835044039*c_1001_2 + 322876500937385816497410655193630432740416\ 433629153550425235/465262734255905234573833909194902313634031342860\ 024835044039, c_0011_3 + 1987138254577514211500694677323469661998554455989840199014/4\ 65262734255905234573833909194902313634031342860024835044039*c_1001_\ 2^18 + 654154447027114086913401585847339145288018602963301818457369\ 3/465262734255905234573833909194902313634031342860024835044039*c_10\ 01_2^17 - 401712790416564671303604671877669795781141650760447218540\ 15540/465262734255905234573833909194902313634031342860024835044039*\ c_1001_2^16 + 75623563201835137460729157649808296255734190925350018\ 470301850/465262734255905234573833909194902313634031342860024835044\ 039*c_1001_2^15 - 6892969929232723703541347221552598222487944360355\ 8410572810877/46526273425590523457383390919490231363403134286002483\ 5044039*c_1001_2^14 + 795513208960850514722540649670030417482219169\ 16547497308202565/4652627342559052345738339091949023136340313428600\ 24835044039*c_1001_2^13 - 56862516524629069959608664281144797994374\ 657552827251021050052/465262734255905234573833909194902313634031342\ 860024835044039*c_1001_2^12 + 5879437930246220271068027784018737450\ 3453173067153639179723424/46526273425590523457383390919490231363403\ 1342860024835044039*c_1001_2^11 - 534882024490631652849489084704576\ 81417819712518875974016593228/4652627342559052345738339091949023136\ 34031342860024835044039*c_1001_2^10 + 26270488566983342910595658923901530079344326208152775299583941/4652\ 62734255905234573833909194902313634031342860024835044039*c_1001_2^9 + 27616916261385352450172805867592776608075425107360638375608501/46\ 5262734255905234573833909194902313634031342860024835044039*c_1001_2\ ^8 - 17552432476509442047633312193828461157913802973736036110754962\ /465262734255905234573833909194902313634031342860024835044039*c_100\ 1_2^7 - 21065097141346265248466332535561436792594992634082362249070\ 577/465262734255905234573833909194902313634031342860024835044039*c_\ 1001_2^6 + 10844336590229830226543706047681794640423271546013782317\ 018934/465262734255905234573833909194902313634031342860024835044039\ *c_1001_2^5 + 11692737717391097671159096955747098033552227567156603\ 038707150/465262734255905234573833909194902313634031342860024835044\ 039*c_1001_2^4 + 16448871941735442342052092687911075152420400960202\ 75497182568/4652627342559052345738339091949023136340313428600248350\ 44039*c_1001_2^3 - 147258045942467902926206776766486188968617854311\ 3403634527672/46526273425590523457383390919490231363403134286002483\ 5044039*c_1001_2^2 - 1283523484140687998061223848481539790369342784\ 179198829921/465262734255905234573833909194902313634031342860024835\ 044039*c_1001_2 + 3775374040719646928178965982134872485345311681923\ 74768580869/4652627342559052345738339091949023136340313428600248350\ 44039, c_0011_8 + 194771010617312269286837212023200169802572391128592774734817\ /10701042887885820395198179911482753213582720885780571206012897*c_1\ 001_2^18 + 64108166306331607478035192683648438456801734349620564355\ 5872384/10701042887885820395198179911482753213582720885780571206012\ 897*c_1001_2^17 - 4244391870136519340506644368422332564030560667747\ 323001620188077/107010428878858203951981799114827532135827208857805\ 71206012897*c_1001_2^16 + 94707064922683850583251488868924491062258\ 35186194242322711476078/1070104288788582039519817991148275321358272\ 0885780571206012897*c_1001_2^15 - 115122068790069104070633669801536\ 56123143113726226524572040173705/1070104288788582039519817991148275\ 3213582720885780571206012897*c_1001_2^14 + 14010788837288232067978751789158671300771582337060338428524900008/1\ 0701042887885820395198179911482753213582720885780571206012897*c_100\ 1_2^13 - 5839795036501052570900565588288749866618621763551021934401\ 85093/465262734255905234573833909194902313634031342860024835044039*\ c_1001_2^12 + 13553241569843462511456626383149542510553968609711461\ 807613795459/107010428878858203951981799114827532135827208857805712\ 06012897*c_1001_2^11 - 13184405966972389756783213223091471589720813\ 930588866506315084042/107010428878858203951981799114827532135827208\ 85780571206012897*c_1001_2^10 + 10159093916304898256031374414288800\ 568032080708811189258530831941/107010428878858203951981799114827532\ 13582720885780571206012897*c_1001_2^9 - 3363853475877534110738534905173465141376307956299040749309152078/10\ 701042887885820395198179911482753213582720885780571206012897*c_1001\ _2^8 + 842708714459184369431237072726108651462126090014405232413413\ 680/10701042887885820395198179911482753213582720885780571206012897*\ c_1001_2^7 - 291267332590989266221672660035792878248908047997013996\ 6558046090/10701042887885820395198179911482753213582720885780571206\ 012897*c_1001_2^6 + 23295234331484150132783302982690037848523792262\ 34715589304792337/1070104288788582039519817991148275321358272088578\ 0571206012897*c_1001_2^5 + 2088722280927295220542777439286051250877\ 47801944091956895986292/1070104288788582039519817991148275321358272\ 0885780571206012897*c_1001_2^4 + 8265495371634295528803979648528213\ 1408022199337615613669917729/10701042887885820395198179911482753213\ 582720885780571206012897*c_1001_2^3 - 216205389719002020337951873191143357136060235221512547623256375/107\ 01042887885820395198179911482753213582720885780571206012897*c_1001_\ 2^2 + 5030527988847598827268105673261218192520179078906521974250804\ 2/10701042887885820395198179911482753213582720885780571206012897*c_\ 1001_2 - 2024315193189749708388286712070442148380450292552902530874\ 736/10701042887885820395198179911482753213582720885780571206012897, c_0101_0 - 1, c_0101_1 + 2631207615975043111750998724921487772469868423917954881339/9\ 30525468511810469147667818389804627268062685720049670088078*c_1001_\ 2^18 + 866152316024702697106884011653364239081846265220578473817068\ 3/930525468511810469147667818389804627268062685720049670088078*c_10\ 01_2^17 - 540494154588468699926757069887984204760285872891054159580\ 20705/930525468511810469147667818389804627268062685720049670088078*\ c_1001_2^16 + 10419991673939847773488535038762338531617900886620985\ 2128173441/93052546851181046914766781838980462726806268572004967008\ 8078*c_1001_2^15 - 475081049592795724408785791874851545383538605935\ 95738309895894/4652627342559052345738339091949023136340313428600248\ 35044039*c_1001_2^14 + 54542876075005724882222194541017339071849951\ 842196568041243394/465262734255905234573833909194902313634031342860\ 024835044039*c_1001_2^13 - 4764926233113493859429473831252982383556\ 8505631621448745455398/46526273425590523457383390919490231363403134\ 2860024835044039*c_1001_2^12 + 103535183705500324847014160643302401\ 561101329731712594615335915/930525468511810469147667818389804627268\ 062685720049670088078*c_1001_2^11 - 54866907633200933925484606642200681112501483744787020232907277/4652\ 62734255905234573833909194902313634031342860024835044039*c_1001_2^1\ 0 + 73755006045600644719786086899625041388450709540540312925105615/\ 930525468511810469147667818389804627268062685720049670088078*c_1001\ _2^9 + 124320747654908487821351670536545199880605106109705597589226\ 1/930525468511810469147667818389804627268062685720049670088078*c_10\ 01_2^8 + 3825430645015549660406462173440101626390181119237024846230\ 297/465262734255905234573833909194902313634031342860024835044039*c_\ 1001_2^7 - 62547073055583245488965956277148312759169020102235244154\ 455813/930525468511810469147667818389804627268062685720049670088078\ *c_1001_2^6 + 18316791529510418433160644734491127946266574766064508\ 948429207/465262734255905234573833909194902313634031342860024835044\ 039*c_1001_2^5 + 69669448578705585395519329852154159635358779760613\ 68531637825/4652627342559052345738339091949023136340313428600248350\ 44039*c_1001_2^4 + 424437692405441886264424265725327856676656658690\ 549791019565/930525468511810469147667818389804627268062685720049670\ 088078*c_1001_2^3 - 82469907305224470591753864039733005424090283658\ 67483027470935/9305254685118104691476678183898046272680626857200496\ 70088078*c_1001_2^2 + 598615926610460710994023311294561811957643228\ 017615849742088/465262734255905234573833909194902313634031342860024\ 835044039*c_1001_2 + 4048778378845316158278263510181993801778516270\ 2747770963807/93052546851181046914766781838980462726806268572004967\ 0088078, c_0101_10 + 9217131874308972676694470745722714760463326382565733766998/\ 10701042887885820395198179911482753213582720885780571206012897*c_10\ 01_2^18 + 303196438046950172454616017352735741212925113375580288216\ 99470/1070104288788582039519817991148275321358272088578057120601289\ 7*c_1001_2^17 - 260770049849632462316623512782782615982236546144389\ 155216346375/107010428878858203951981799114827532135827208857805712\ 06012897*c_1001_2^16 + 91366037023777907347403111527013506307556586\ 8098312440877244003/10701042887885820395198179911482753213582720885\ 780571206012897*c_1001_2^15 - 1856844071549143957704161721461320409\ 570592633253551180875816340/107010428878858203951981799114827532135\ 82720885780571206012897*c_1001_2^14 + 2555108015944176244996866621966178315870630423019418276666933142/10\ 701042887885820395198179911482753213582720885780571206012897*c_1001\ _2^13 - 11615934388037012576772007895868326745251034161388626731730\ 7200/465262734255905234573833909194902313634031342860024835044039*c\ _1001_2^12 + 266077135131644199013645153015237987391894074727215858\ 3109827299/10701042887885820395198179911482753213582720885780571206\ 012897*c_1001_2^11 - 2383057087611992995511599697686159174676973243\ 915935074257613209/107010428878858203951981799114827532135827208857\ 80571206012897*c_1001_2^10 + 21643333952229020966898989379591691362\ 14921277345717689147529259/1070104288788582039519817991148275321358\ 2720885780571206012897*c_1001_2^9 - 1521202815729976123942299270974750682559690057855960095240111830/10\ 701042887885820395198179911482753213582720885780571206012897*c_1001\ _2^8 + 464006522027251115596055000390597550111002374437490987030114\ 665/10701042887885820395198179911482753213582720885780571206012897*\ c_1001_2^7 + 233954794148582698772041364462241027849778873517279248\ 270160206/107010428878858203951981799114827532135827208857805712060\ 12897*c_1001_2^6 + 206753498987993457099091828407869417660004538121\ 78538849968973/1070104288788582039519817991148275321358272088578057\ 1206012897*c_1001_2^5 - 3527746749298073591693507444560401214043302\ 23859613169237571045/1070104288788582039519817991148275321358272088\ 5780571206012897*c_1001_2^4 + 9806487288468699302515067879511396897\ 9104718364990079219284651/10701042887885820395198179911482753213582\ 720885780571206012897*c_1001_2^3 + 116690343652573733870205831336233100963548414065618779837234028/107\ 01042887885820395198179911482753213582720885780571206012897*c_1001_\ 2^2 + 6949426161197506653277055545356863815081091505985412504308896\ /10701042887885820395198179911482753213582720885780571206012897*c_1\ 001_2 - 19380945550914877206210583020763995469591648262762139701191\ 271/10701042887885820395198179911482753213582720885780571206012897, c_0101_11 - 94258552991423587819683537073147850713004065065180768575314\ /10701042887885820395198179911482753213582720885780571206012897*c_1\ 001_2^18 - 31026335717545701611846343752800961702159849177939253022\ 2892537/10701042887885820395198179911482753213582720885780571206012\ 897*c_1001_2^17 + 2005436010725616092951647588005045726196773423663\ 150719871927199/107010428878858203951981799114827532135827208857805\ 71206012897*c_1001_2^16 - 42192820305161795538331379988934647787350\ 31755092263755260092892/1070104288788582039519817991148275321358272\ 0885780571206012897*c_1001_2^15 + 455292826827311058831197817580108\ 1875073704722373384675354440684/10701042887885820395198179911482753\ 213582720885780571206012897*c_1001_2^14 - 5130715540886495355346193617359836570373241692811833643341745551/10\ 701042887885820395198179911482753213582720885780571206012897*c_1001\ _2^13 + 18603327743672732225480225782973882879884806493931408013332\ 4774/465262734255905234573833909194902313634031342860024835044039*c\ _1001_2^12 - 404556909553225248106589443912163464655314745965658546\ 3943922269/10701042887885820395198179911482753213582720885780571206\ 012897*c_1001_2^11 + 3787929966104681018206234156554477397988150027\ 871700376972035183/107010428878858203951981799114827532135827208857\ 80571206012897*c_1001_2^10 - 23478015382516708944537242874943033825\ 84605607920641091422286855/1070104288788582039519817991148275321358\ 2720885780571206012897*c_1001_2^9 - 644840175275513720798542845924965445279872061091655872501185110/107\ 01042887885820395198179911482753213582720885780571206012897*c_1001_\ 2^8 + 1106716827271390742729181869374164536009411636896816314565469\ 076/10701042887885820395198179911482753213582720885780571206012897*\ c_1001_2^7 + 647687924887043380038023825039077907193145914315947162\ 674858825/107010428878858203951981799114827532135827208857805712060\ 12897*c_1001_2^6 - 665580226903213807456256842481756334890255038450\ 071485271377322/107010428878858203951981799114827532135827208857805\ 71206012897*c_1001_2^5 - 433988796798094306197378758401291832423786\ 871451926642776785099/107010428878858203951981799114827532135827208\ 85780571206012897*c_1001_2^4 + 101285300288329060925493333436171513\ 020355451133599068506122794/107010428878858203951981799114827532135\ 82720885780571206012897*c_1001_2^3 + 47748391130988542253041344795364098119457996083239052554539707/1070\ 1042887885820395198179911482753213582720885780571206012897*c_1001_2\ ^2 + 18729052019194587177118161165234981578661586082618923879974684\ /10701042887885820395198179911482753213582720885780571206012897*c_1\ 001_2 - 88280147530548946057718241613583148181147728494268260603161\ 33/10701042887885820395198179911482753213582720885780571206012897, c_0101_3 - 5822003891943033254278716710723477483373412933339440427825/9\ 30525468511810469147667818389804627268062685720049670088078*c_1001_\ 2^18 - 191609041153070104146134419114064164615525389075867274378211\ 21/930525468511810469147667818389804627268062685720049670088078*c_1\ 001_2^17 + 13348142246638723113144286451924048940059461985054750873\ 2477917/93052546851181046914766781838980462726806268572004967008807\ 8*c_1001_2^16 - 334195695249626028091827573403279584395143801946552\ 149205502015/930525468511810469147667818389804627268062685720049670\ 088078*c_1001_2^15 + 2454345372876467170042574908353119446230958185\ 49957276120154448/4652627342559052345738339091949023136340313428600\ 24835044039*c_1001_2^14 - 32475991222744590880159098486373922487559\ 6835282261050014512037/46526273425590523457383390919490231363403134\ 2860024835044039*c_1001_2^13 + 342657174459115668094703732267794894\ 894886011586982746611775569/465262734255905234573833909194902313634\ 031342860024835044039*c_1001_2^12 - 709922032746637709351194484393921597509813570454838975497343329/930\ 525468511810469147667818389804627268062685720049670088078*c_1001_2^\ 11 + 34427536268083716566278115656833778354682187019221866323774729\ 4/465262734255905234573833909194902313634031342860024835044039*c_10\ 01_2^10 - 588154205005146629946918625269106679135825450678206098507\ 964437/930525468511810469147667818389804627268062685720049670088078\ *c_1001_2^9 + 34514660902748428960471055674844850652707939036651908\ 9396187457/93052546851181046914766781838980462726806268572004967008\ 8078*c_1001_2^8 - 8130042623813328215069909742278708710946802865864\ 5675149371694/46526273425590523457383390919490231363403134286002483\ 5044039*c_1001_2^7 + 1196337948419110323851474771741960349289428171\ 23324498847251723/9305254685118104691476678183898046272680626857200\ 49670088078*c_1001_2^6 - 447609312720209731373315228546410835796290\ 21229270557872499436/4652627342559052345738339091949023136340313428\ 60024835044039*c_1001_2^5 + 163577890520553812832192618309807615868\ 45994313828639420632130/4652627342559052345738339091949023136340313\ 42860024835044039*c_1001_2^4 - 178582899955272831174424266767147154\ 90797994334758244876798585/9305254685118104691476678183898046272680\ 62685720049670088078*c_1001_2^3 + 415631151351041496732215270544771\ 4772829530608444609480645383/93052546851181046914766781838980462726\ 8062685720049670088078*c_1001_2^2 - 1739694213976848321072766697286185276835260755828205885941707/46526\ 2734255905234573833909194902313634031342860024835044039*c_1001_2 + 1223196337611617400804427110371758878675285192761356555814395/93052\ 5468511810469147667818389804627268062685720049670088078, c_0110_12 + 13859139114109889426488415198718158315354462429416150053346\ 7/10701042887885820395198179911482753213582720885780571206012897*c_\ 1001_2^18 + 4561770421473651826189592125759488543579969851463892563\ 64389228/1070104288788582039519817991148275321358272088578057120601\ 2897*c_1001_2^17 - 299203630182990696493008968002259264438311930944\ 7036525025143384/10701042887885820395198179911482753213582720885780\ 571206012897*c_1001_2^16 + 6506219259232893549601250088143703489014\ 352190635915274623962792/107010428878858203951981799114827532135827\ 20885780571206012897*c_1001_2^15 - 7448807263570683879937738702417353443027174083684971742717781079/10\ 701042887885820395198179911482753213582720885780571206012897*c_1001\ _2^14 + 86463270223560800180999347548571356104164835951839560310268\ 50646/1070104288788582039519817991148275321358272088578057120601289\ 7*c_1001_2^13 - 338803877214055867710131203021295109549381193705832\ 991280589467/465262734255905234573833909194902313634031342860024835\ 044039*c_1001_2^12 + 7606876448784875272097219492572851621373782344\ 575279871119186740/107010428878858203951981799114827532135827208857\ 80571206012897*c_1001_2^11 - 72713089078965953954125861661016212258\ 46838992969457333004188775/1070104288788582039519817991148275321358\ 2720885780571206012897*c_1001_2^10 + 5123415895830617320384127127551899439312636601340117086758354662/10\ 701042887885820395198179911482753213582720885780571206012897*c_1001\ _2^9 - 451441944849820389547243624662408947812670692075707001976287\ 989/10701042887885820395198179911482753213582720885780571206012897*\ c_1001_2^8 - 781721705939573053785820109609234919520223830310029704\ 464279176/107010428878858203951981799114827532135827208857805712060\ 12897*c_1001_2^7 - 138552377452904191951316143128660021644811115849\ 1667666464144519/10701042887885820395198179911482753213582720885780\ 571206012897*c_1001_2^6 + 13012441144812348498836552337547635898441\ 42551764656831960846735/1070104288788582039519817991148275321358272\ 0885780571206012897*c_1001_2^5 + 4922686613484217412372245965316360\ 20389845518832337737710325444/1070104288788582039519817991148275321\ 3582720885780571206012897*c_1001_2^4 - 153217830520507566033790660993749824337448685702367451811576333/107\ 01042887885820395198179911482753213582720885780571206012897*c_1001_\ 2^3 - 1240464492047338601459274637886004511270498769385345656153554\ 73/10701042887885820395198179911482753213582720885780571206012897*c\ _1001_2^2 + 2729258028616577961706345508194185740042328973673455693\ 8844698/10701042887885820395198179911482753213582720885780571206012\ 897*c_1001_2 + 2330713522254474554008721598200967518134656780019279\ 2399198080/10701042887885820395198179911482753213582720885780571206\ 012897, c_1001_1 - 684665141157147013084097861289403149259062513918529179215/93\ 0525468511810469147667818389804627268062685720049670088078*c_1001_2\ ^18 - 2250390141196886130823427399438871942954299374912296999825327\ /930525468511810469147667818389804627268062685720049670088078*c_100\ 1_2^17 + 2532112995565827039049419895826840350199441248536540634788\ 0447/930525468511810469147667818389804627268062685720049670088078*c\ _1001_2^16 - 103476859912191002106729443404300547921751344965797395\ 686947141/930525468511810469147667818389804627268062685720049670088\ 078*c_1001_2^15 + 1015952189190541289585483506095103343314636216328\ 94361130242280/4652627342559052345738339091949023136340313428600248\ 35044039*c_1001_2^14 - 12864209305478981641143322866574554103430020\ 9873512960712360132/46526273425590523457383390919490231363403134286\ 0024835044039*c_1001_2^13 + 150118986522752580836351936531282716416\ 164970243007563421586757/465262734255905234573833909194902313634031\ 342860024835044039*c_1001_2^12 - 2928997773142276853202838911229312\ 86663074090781124242500149941/9305254685118104691476678183898046272\ 68062685720049670088078*c_1001_2^11 + 145092630571858234446899615045556070540107370614396257508464862/465\ 262734255905234573833909194902313634031342860024835044039*c_1001_2^\ 10 - 27078122360528685929258532098887332209051793991448032182338751\ 5/930525468511810469147667818389804627268062685720049670088078*c_10\ 01_2^9 + 1958577278383545389471365105962510244679025542153560327269\ 40549/930525468511810469147667818389804627268062685720049670088078*\ c_1001_2^8 - 353129902923599878620728097690338055625741755480888205\ 43883352/4652627342559052345738339091949023136340313428600248350440\ 39*c_1001_2^7 + 219279688303488845577896520871113813675610373278103\ 79577614173/9305254685118104691476678183898046272680626857200496700\ 88078*c_1001_2^6 - 234610000952053586089897759844933164127941509394\ 61369583981066/4652627342559052345738339091949023136340313428600248\ 35044039*c_1001_2^5 + 185288222549922983154909208173819121931200441\ 82339722784553796/4652627342559052345738339091949023136340313428600\ 24835044039*c_1001_2^4 - 983671248221400552865353173182276983991193\ 209460866337361833/930525468511810469147667818389804627268062685720\ 049670088078*c_1001_2^3 + 91807119879118188086412206577676221510245\ 2735049865237015509/93052546851181046914766781838980462726806268572\ 0049670088078*c_1001_2^2 - 7971783244670664840455057511102112156803\ 61073819853679850868/4652627342559052345738339091949023136340313428\ 60024835044039*c_1001_2 + 10429288634840358500221765915629798594832\ 96386960251972939499/9305254685118104691476678183898046272680626857\ 20049670088078, c_1001_2^19 + 3291*c_1001_2^18 - 23317*c_1001_2^17 + 59183*c_1001_2^16 - 84744*c_1001_2^15 + 106508*c_1001_2^14 - 111274*c_1001_2^13 + 112031*c_1001_2^12 - 109698*c_1001_2^11 + 92825*c_1001_2^10 - 50195*c_1001_2^9 + 18882*c_1001_2^8 - 18367*c_1001_2^7 + 18060*c_1001_2^6 - 5420*c_1001_2^5 + 1335*c_1001_2^4 - 1241*c_1001_2^3 + 700*c_1001_2^2 - 205*c_1001_2 + 46 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.500 seconds, Total memory usage: 32.09MB