Magma V2.19-8 Tue Aug 20 2013 23:55:23 on localhost [Seed = 4256929189] Type ? for help. Type -D to quit. Loading file "L14a16635__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a16635 geometric_solution 9.41428837 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 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 1 0 -1 0 0 0 0 1 -4 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.042023059288 2.072415084524 0 5 5 6 0132 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656000046413 1.208073117712 4 0 8 7 0213 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195750361067 0.871231613857 9 4 9 0 0132 2310 2310 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.068482539964 0.705003517934 2 6 0 3 0213 3012 0132 3201 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.601577148575 1.313519432695 1 1 10 7 2031 0132 0132 3120 1 1 0 1 0 -1 0 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 4 0 -4 -4 0 4 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.652869018892 0.639267647760 4 10 1 11 1230 0132 0132 0132 1 1 0 1 0 -1 0 1 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 5 0 -5 0 0 0 0 -3 0 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141232081894 0.556413336179 5 10 2 11 3120 1230 0132 2031 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 -4 -1 5 0 0 0 0 -1 1 0 0 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762376531608 1.665742941317 11 10 11 2 0132 2031 1230 0132 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 -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 -3 -1 0 4 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602731648276 0.856956014265 3 3 9 9 0132 3201 2031 1302 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.468508499704 0.073141703746 8 6 7 5 1302 0132 3012 0132 1 1 1 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 4 -4 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.871584101495 0.718826842121 8 7 6 8 0132 1302 0132 3012 1 1 1 0 0 0 -1 1 0 0 0 0 -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 0 5 -5 0 0 0 0 5 -5 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228897769018 1.799921442191 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0011_10'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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_0101_0'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_10'], 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(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_8'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : negation(d['c_0011_7']), 'c_0110_6' : d['c_0011_4']})} 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_11, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_3, c_0101_5, c_0101_7, c_0101_8, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 236436300953607393566563976776862893918404375889581/211587945980301\ 3462660322140742054007158485563875*c_1001_5^17 - 438369659194946514431016696523816425166296141677222/211587945980301\ 3462660322140742054007158485563875*c_1001_5^16 + 428638486989466698210572882618959670153538037609229/302268494257573\ 351808617448677436286736926509125*c_1001_5^15 + 12989577885643329777325047019103305179749951688693/6045369885151467\ 0361723489735487257347385301825*c_1001_5^14 + 748080153103569674540083633676070297615349951899962/124463497635471\ 380156489537690709059244616797875*c_1001_5^13 - 116669207737289343673210724823789492870905305997486664/423175891960\ 602692532064428148410801431697112775*c_1001_5^12 + 847353101533371932474846340279067200882068663054266401/211587945980\ 3013462660322140742054007158485563875*c_1001_5^11 + 1462652507334473324346069471294262140338014602103636867/21158794598\ 03013462660322140742054007158485563875*c_1001_5^10 - 2799564255543041839682692721382259868557167127922980732/21158794598\ 03013462660322140742054007158485563875*c_1001_5^9 - 1058622290994352424584426515440216689490517501308171893/21158794598\ 03013462660322140742054007158485563875*c_1001_5^8 + 4682431168161410796661360853980902730087587219822956664/21158794598\ 03013462660322140742054007158485563875*c_1001_5^7 - 2961748569508638369803851944983466349968372399619718638/21158794598\ 03013462660322140742054007158485563875*c_1001_5^6 + 1068002376437497139127309990711813976403531258213410972/21158794598\ 03013462660322140742054007158485563875*c_1001_5^5 - 9490820341215903831467033905040883132400351333841269/12446349763547\ 1380156489537690709059244616797875*c_1001_5^4 + 53048489857153597631504578996993643013397601878752976/4231758919606\ 02692532064428148410801431697112775*c_1001_5^3 + 26227689356849382533303054033639006315349080914126327/2115879459803\ 013462660322140742054007158485563875*c_1001_5^2 + 25838023876192716443623140096169996579475734856694206/2115879459803\ 013462660322140742054007158485563875*c_1001_5 - 904338460438535393884480447524925522335695633045019/211587945980301\ 3462660322140742054007158485563875, c_0011_0 - 1, c_0011_10 - 3107040557955002634013799665535503648644/174105259850283448\ 374176657024947101583657*c_1001_5^17 + 6085264900810839158421342884324907341109/17410525985028344837417665\ 7024947101583657*c_1001_5^16 - 400657543938101319544922106464202622\ 84873/174105259850283448374176657024947101583657*c_1001_5^15 - 1874920429251156515894226978778349489954/17410525985028344837417665\ 7024947101583657*c_1001_5^14 - 166713980994146227042575313767569435\ 988977/174105259850283448374176657024947101583657*c_1001_5^13 + 7682103967134346756186934446983673396832770/17410525985028344837417\ 6657024947101583657*c_1001_5^12 - 119372819605983703026937680805039\ 92388148036/174105259850283448374176657024947101583657*c_1001_5^11 - 17976444649670270692630983996463098698073922/1741052598502834483741\ 76657024947101583657*c_1001_5^10 + 38884250159462568455918372029948190265707800/1741052598502834483741\ 76657024947101583657*c_1001_5^9 + 940267382045151991535462730331069\ 8682520450/174105259850283448374176657024947101583657*c_1001_5^8 - 63013532161874705642109146680680246641652472/1741052598502834483741\ 76657024947101583657*c_1001_5^7 + 469747094285094080535319234093429\ 64995819303/174105259850283448374176657024947101583657*c_1001_5^6 - 18718468281544887584803911544020868807724193/1741052598502834483741\ 76657024947101583657*c_1001_5^5 + 183552158518095737007491908827748\ 6355359191/174105259850283448374176657024947101583657*c_1001_5^4 - 2082933825244372895960168490533742944178978/17410525985028344837417\ 6657024947101583657*c_1001_5^3 - 6499532891162849359345714072536231\ 77064670/174105259850283448374176657024947101583657*c_1001_5^2 - 140578229633480238994772170006290506224061/174105259850283448374176\ 657024947101583657*c_1001_5 + 1859390482974975178335264904060437690\ 69347/174105259850283448374176657024947101583657, c_0011_11 + 1912087081039578423315866319912173883386/174105259850283448\ 374176657024947101583657*c_1001_5^17 - 2689032123487368899167672323308108475003/17410525985028344837417665\ 7024947101583657*c_1001_5^16 + 224403531320362253683587357862292868\ 16134/174105259850283448374176657024947101583657*c_1001_5^15 + 15281008339033147283885140602362251164151/1741052598502834483741766\ 57024947101583657*c_1001_5^14 + 10095090049736042780796652968204483\ 9831749/174105259850283448374176657024947101583657*c_1001_5^13 - 4668325678989375801437182495646039312688489/17410525985028344837417\ 6657024947101583657*c_1001_5^12 + 472865154123346929129268653450279\ 9390476682/174105259850283448374176657024947101583657*c_1001_5^11 + 15497950769969576219255619943707046310900122/1741052598502834483741\ 76657024947101583657*c_1001_5^10 - 18933860533618644394742722388102379684815256/1741052598502834483741\ 76657024947101583657*c_1001_5^9 - 191655938165249769590857985699145\ 33308480811/174105259850283448374176657024947101583657*c_1001_5^8 + 39000745991568258580615603823999818038672574/1741052598502834483741\ 76657024947101583657*c_1001_5^7 - 948308745497896271452149938721225\ 0170047619/174105259850283448374176657024947101583657*c_1001_5^6 - 9120405061498506171186528352493731775806377/17410525985028344837417\ 6657024947101583657*c_1001_5^5 + 1188070865277129638188331378237008\ 5865317878/174105259850283448374176657024947101583657*c_1001_5^4 - 1863652101970808479978864690602070373397676/17410525985028344837417\ 6657024947101583657*c_1001_5^3 + 1340551104940161251599463830840625\ 310887824/174105259850283448374176657024947101583657*c_1001_5^2 + 235837228906442953062681409068475634397424/174105259850283448374176\ 657024947101583657*c_1001_5 + 8585474332277403545099752594032105836\ 4598/174105259850283448374176657024947101583657, c_0011_3 - 1979153059247719550150140802929314288475/1741052598502834483\ 74176657024947101583657*c_1001_5^17 + 3548055068840950022614347771232297406613/17410525985028344837417665\ 7024947101583657*c_1001_5^16 - 246450791384322716838831166959840920\ 55186/174105259850283448374176657024947101583657*c_1001_5^15 - 5815511754083539465812342163953275462683/17410525985028344837417665\ 7024947101583657*c_1001_5^14 - 103580220248576284237224318952739773\ 378834/174105259850283448374176657024947101583657*c_1001_5^13 + 4876898685444452593818743692274760939297469/17410525985028344837417\ 6657024947101583657*c_1001_5^12 - 678063145250774357577253893183442\ 6899389052/174105259850283448374176657024947101583657*c_1001_5^11 - 13286499112452459097243075973871848699859291/1741052598502834483741\ 76657024947101583657*c_1001_5^10 + 23594390758573294802193884044667796004050076/1741052598502834483741\ 76657024947101583657*c_1001_5^9 + 118696350663561884029290074681996\ 19279428888/174105259850283448374176657024947101583657*c_1001_5^8 - 41765076031166509209744816334503749120377709/1741052598502834483741\ 76657024947101583657*c_1001_5^7 + 211357552277636462780825307663267\ 00383337393/174105259850283448374176657024947101583657*c_1001_5^6 - 2083434254303295282666924368349450668009015/17410525985028344837417\ 6657024947101583657*c_1001_5^5 - 2089399109035398676515177062506826\ 192282577/174105259850283448374176657024947101583657*c_1001_5^4 - 1560292866898619903710934735627605477228242/17410525985028344837417\ 6657024947101583657*c_1001_5^3 - 6064472679667423267973716352386479\ 89703050/174105259850283448374176657024947101583657*c_1001_5^2 - 23938661890733548195337693339003982691796/1741052598502834483741766\ 57024947101583657*c_1001_5 + 15749626022794127279486723332466374384\ 5110/174105259850283448374176657024947101583657, c_0011_4 + 4099820683928178298905043126644350062789/1741052598502834483\ 74176657024947101583657*c_1001_5^17 - 8307318313387220597070801842481127723613/17410525985028344837417665\ 7024947101583657*c_1001_5^16 + 532982462310726797642520753360601716\ 21852/174105259850283448374176657024947101583657*c_1001_5^15 - 953573980722623419082200520036205168797/174105259850283448374176657\ 024947101583657*c_1001_5^14 + 2185132501907828151676975961559955150\ 23577/174105259850283448374176657024947101583657*c_1001_5^13 - 10152548860967511756418893014497716403333115/1741052598502834483741\ 76657024947101583657*c_1001_5^12 + 16432152284078495965499980183571009635294859/1741052598502834483741\ 76657024947101583657*c_1001_5^11 + 22931263922914846997830418679366314133574258/1741052598502834483741\ 76657024947101583657*c_1001_5^10 - 53177080611577128226382504930787791173579769/1741052598502834483741\ 76657024947101583657*c_1001_5^9 - 990608697028320945904829044080923\ 7957491368/174105259850283448374176657024947101583657*c_1001_5^8 + 84876074164726451060397849981880300873598799/1741052598502834483741\ 76657024947101583657*c_1001_5^7 - 661757690043066210823836965010473\ 73087529757/174105259850283448374176657024947101583657*c_1001_5^6 + 27230654070192294654125672211570825640977916/1741052598502834483741\ 76657024947101583657*c_1001_5^5 - 406275938355679804176734289545109\ 0402126145/174105259850283448374176657024947101583657*c_1001_5^4 + 2820678438196778182266022013143974643939309/17410525985028344837417\ 6657024947101583657*c_1001_5^3 + 3617009788463959217820981979725337\ 32804147/174105259850283448374176657024947101583657*c_1001_5^2 + 205489150747468112801481442509590010361484/174105259850283448374176\ 657024947101583657*c_1001_5 + 1535050961318473723354509260547681441\ 33630/174105259850283448374176657024947101583657, c_0011_7 - 1268822114855893860750138483904482365267/1741052598502834483\ 74176657024947101583657*c_1001_5^17 + 2469894962331561892351247796626822003479/17410525985028344837417665\ 7024947101583657*c_1001_5^16 - 163228654756747852603616571820864575\ 44598/174105259850283448374176657024947101583657*c_1001_5^15 - 1084797517846409218339699144048007310169/17410525985028344837417665\ 7024947101583657*c_1001_5^14 - 678572491676221364493662898712523453\ 10604/174105259850283448374176657024947101583657*c_1001_5^13 + 3135129920844814863846782945520623453557923/17410525985028344837417\ 6657024947101583657*c_1001_5^12 - 483810490968462693361801128856651\ 7776668450/174105259850283448374176657024947101583657*c_1001_5^11 - 7427762679866564137862503050289647482412571/17410525985028344837417\ 6657024947101583657*c_1001_5^10 + 160837432206188550795435008479053\ 80690544349/174105259850283448374176657024947101583657*c_1001_5^9 + 3902444678721222202424901005864357093023197/17410525985028344837417\ 6657024947101583657*c_1001_5^8 - 2672392903975323540033781539627902\ 1049157009/174105259850283448374176657024947101583657*c_1001_5^7 + 19552390632264205537373692089637511318847823/1741052598502834483741\ 76657024947101583657*c_1001_5^6 - 586112079953005321961168976061647\ 1796588121/174105259850283448374176657024947101583657*c_1001_5^5 - 1077438642749463194458840707701383354230419/17410525985028344837417\ 6657024947101583657*c_1001_5^4 - 9520799288842447705489853644752504\ 95813968/174105259850283448374176657024947101583657*c_1001_5^3 + 73466665071310685443684077261701059204204/1741052598502834483741766\ 57024947101583657*c_1001_5^2 - 394500833290177946237896770533352283\ 421137/174105259850283448374176657024947101583657*c_1001_5 - 4056631194399320825600265304410292970114/17410525985028344837417665\ 7024947101583657, c_0101_0 - 1, c_0101_3 + 9349122549064292593224166722016297285164/1741052598502834483\ 74176657024947101583657*c_1001_5^17 - 19452338410249289740851214457503185721432/1741052598502834483741766\ 57024947101583657*c_1001_5^16 + 12165883838302937657463596720239853\ 2225703/174105259850283448374176657024947101583657*c_1001_5^15 - 7087615670177247820669454444196623019885/17410525985028344837417665\ 7024947101583657*c_1001_5^14 + 487009161686890224401470389440415525\ 010912/174105259850283448374176657024947101583657*c_1001_5^13 - 23180742170276721299744993103289666749632379/1741052598502834483741\ 76657024947101583657*c_1001_5^12 + 38684131528015579103166924855515961486658618/1741052598502834483741\ 76657024947101583657*c_1001_5^11 + 52502779731969529721943343695076899555445841/1741052598502834483741\ 76657024947101583657*c_1001_5^10 - 127385413574664865056487225151754181731591028/174105259850283448374\ 176657024947101583657*c_1001_5^9 - 22054183100520136695073394264608690292177263/1741052598502834483741\ 76657024947101583657*c_1001_5^8 + 206385698343202900083007530058191\ 550303569260/174105259850283448374176657024947101583657*c_1001_5^7 - 156407546585987505914010412985878300314965462/174105259850283448374\ 176657024947101583657*c_1001_5^6 + 49674326331820756024422512794078622199313765/1741052598502834483741\ 76657024947101583657*c_1001_5^5 - 168364922303135362121890798054580\ 5451971209/174105259850283448374176657024947101583657*c_1001_5^4 + 6800375532775324844745719403041900794882969/17410525985028344837417\ 6657024947101583657*c_1001_5^3 - 1297210715410546801362854907848405\ 355636475/174105259850283448374176657024947101583657*c_1001_5^2 + 402280154263042864342354901908191482006652/174105259850283448374176\ 657024947101583657*c_1001_5 - 2676067778576866120671624268969780639\ 24388/174105259850283448374176657024947101583657, c_0101_5 + 1268822114855893860750138483904482365267/1741052598502834483\ 74176657024947101583657*c_1001_5^17 - 2469894962331561892351247796626822003479/17410525985028344837417665\ 7024947101583657*c_1001_5^16 + 163228654756747852603616571820864575\ 44598/174105259850283448374176657024947101583657*c_1001_5^15 + 1084797517846409218339699144048007310169/17410525985028344837417665\ 7024947101583657*c_1001_5^14 + 678572491676221364493662898712523453\ 10604/174105259850283448374176657024947101583657*c_1001_5^13 - 3135129920844814863846782945520623453557923/17410525985028344837417\ 6657024947101583657*c_1001_5^12 + 483810490968462693361801128856651\ 7776668450/174105259850283448374176657024947101583657*c_1001_5^11 + 7427762679866564137862503050289647482412571/17410525985028344837417\ 6657024947101583657*c_1001_5^10 - 160837432206188550795435008479053\ 80690544349/174105259850283448374176657024947101583657*c_1001_5^9 - 3902444678721222202424901005864357093023197/17410525985028344837417\ 6657024947101583657*c_1001_5^8 + 2672392903975323540033781539627902\ 1049157009/174105259850283448374176657024947101583657*c_1001_5^7 - 19552390632264205537373692089637511318847823/1741052598502834483741\ 76657024947101583657*c_1001_5^6 + 586112079953005321961168976061647\ 1796588121/174105259850283448374176657024947101583657*c_1001_5^5 + 1077438642749463194458840707701383354230419/17410525985028344837417\ 6657024947101583657*c_1001_5^4 + 9520799288842447705489853644752504\ 95813968/174105259850283448374176657024947101583657*c_1001_5^3 - 73466665071310685443684077261701059204204/1741052598502834483741766\ 57024947101583657*c_1001_5^2 + 220395573439894497863720113508405181\ 837480/174105259850283448374176657024947101583657*c_1001_5 + 4056631194399320825600265304410292970114/17410525985028344837417665\ 7024947101583657, c_0101_7 + 1127887498707283083863658862606189360169/1741052598502834483\ 74176657024947101583657*c_1001_5^17 - 2537209831969889135806995113092609934496/17410525985028344837417665\ 7024947101583657*c_1001_5^16 + 154206752553778602706090939504361702\ 29687/174105259850283448374176657024947101583657*c_1001_5^15 - 3940591324832382949918115185174925972729/17410525985028344837417665\ 7024947101583657*c_1001_5^14 + 631337607455699428053509948148296626\ 10143/174105259850283448374176657024947101583657*c_1001_5^13 - 2805205281689894162368190754708912457535301/17410525985028344837417\ 6657024947101583657*c_1001_5^12 + 515665050809062672692122914866956\ 5488758984/174105259850283448374176657024947101583657*c_1001_5^11 + 4689945537217811595387908022591249998214631/17410525985028344837417\ 6657024947101583657*c_1001_5^10 - 152898594008892736537244879852803\ 94261657724/174105259850283448374176657024947101583657*c_1001_5^9 + 2466961245904668487574380164888920596908438/17410525985028344837417\ 6657024947101583657*c_1001_5^8 + 2124845613070819643236433034617649\ 7521274763/174105259850283448374176657024947101583657*c_1001_5^7 - 25838954200745761775449392643016264612481910/1741052598502834483741\ 76657024947101583657*c_1001_5^6 + 166350340272415923021369871756714\ 18139715178/174105259850283448374176657024947101583657*c_1001_5^5 - 3924920694216356046590096150784312547641768/17410525985028344837417\ 6657024947101583657*c_1001_5^4 + 5226409583457529922492337549061374\ 66950736/174105259850283448374176657024947101583657*c_1001_5^3 + 43506021149542609137199772014975187361620/1741052598502834483741766\ 57024947101583657*c_1001_5^2 + 116639567742746690799434476667286523\ 532265/174105259850283448374176657024947101583657*c_1001_5 - 28442788069556245038659257081380025224237/1741052598502834483741766\ 57024947101583657, c_0101_8 - 2573774563437976666009525831860196540113/1741052598502834483\ 74176657024947101583657*c_1001_5^17 + 5653449484549971572428618666334448339853/17410525985028344837417665\ 7024947101583657*c_1001_5^16 - 343093488835395483644861290888232426\ 93436/174105259850283448374176657024947101583657*c_1001_5^15 + 6416905858336423323533664425223356834140/17410525985028344837417665\ 7024947101583657*c_1001_5^14 - 137086071298674209973530306774934929\ 928878/174105259850283448374176657024947101583657*c_1001_5^13 + 6399297719452098818409684419178575525340765/17410525985028344837417\ 6657024947101583657*c_1001_5^12 - 113979525091391745268324698647659\ 22417218827/174105259850283448374176657024947101583657*c_1001_5^11 - 12722662783649319737114506186125858990352732/1741052598502834483741\ 76657024947101583657*c_1001_5^10 + 35503437782475346260300103022030046138872107/1741052598502834483741\ 76657024947101583657*c_1001_5^9 + 129949550066213855484232948143774\ 5360480653/174105259850283448374176657024947101583657*c_1001_5^8 - 53425918256068633586065412613703493941591879/1741052598502834483741\ 76657024947101583657*c_1001_5^7 + 486891883165992138566346841890185\ 91599455256/174105259850283448374176657024947101583657*c_1001_5^6 - 24894457087493663361093105050505663293686127/1741052598502834483741\ 76657024947101583657*c_1001_5^5 + 811568390327376431569091971508899\ 3152268821/174105259850283448374176657024947101583657*c_1001_5^4 - 3274419184335152439071097580588079825611509/17410525985028344837417\ 6657024947101583657*c_1001_5^3 + 6180551595139301010366253867374191\ 15428079/174105259850283448374176657024947101583657*c_1001_5^2 - 204230643562124148449218668530505960560847/174105259850283448374176\ 657024947101583657*c_1001_5 + 8226957009362622045642061719012435499\ 037/174105259850283448374176657024947101583657, c_1001_5^18 - 2*c_1001_5^17 + 13*c_1001_5^16 + 54*c_1001_5^14 - 2475*c_1001_5^13 + 3946*c_1001_5^12 + 5567*c_1001_5^11 - 12607*c_1001_5^10 - 2503*c_1001_5^9 + 20004*c_1001_5^8 - 15608*c_1001_5^7 + 7112*c_1001_5^6 - 1803*c_1001_5^5 + 1380*c_1001_5^4 - 73*c_1001_5^3 + 136*c_1001_5^2 - 14*c_1001_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB