Magma V2.19-8 Tue Aug 20 2013 17:59:53 on localhost [Seed = 576952030] Type ? for help. Type -D to quit. Loading file "11_184__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_184 geometric_solution 11.79738595 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 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.390240592307 0.801628736388 0 4 6 5 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 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.523526967083 1.084046671622 0 0 4 7 2031 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -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.509067324474 1.008469513659 6 5 0 8 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.239428109084 0.950184856393 5 1 2 9 0213 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 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.585228290540 0.570890437531 4 7 1 3 0213 0321 0132 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 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.687510913332 0.933291319797 3 10 9 1 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 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.472025647746 0.629361189635 8 8 2 5 3012 0132 0132 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 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 1.038812708917 1.017539175488 11 7 3 7 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508723596395 0.481215701704 10 12 4 6 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 -5 6 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007792887463 0.573892140321 9 6 12 11 0213 0132 0132 0213 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 0 1 -6 -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.473575694018 0.426677957008 8 12 12 10 0132 2031 0321 0213 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 1 -1 0 0 0 0 0 0 -6 0 6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.140743972569 0.593835488384 11 9 11 10 1302 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 -1 1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.787613514480 0.544323043537 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_1'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_12'], '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_0011_11'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(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' : negation(d['1']), 's_0_5' : negation(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_1001_2'], 'c_1100_8' : negation(d['c_0011_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_1001_4'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_1001_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_8'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_0101_7'], 's_3_1' : negation(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_0011_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0101_6']), 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_6'], '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_6'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0101_1, c_0101_6, c_0101_7, c_1001_1, c_1001_12, c_1001_2, c_1001_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 4102670052975685506228212349843008504759482819320797762627181478976\ 19040349213263/2021968368193992898295278092907411243067601942610979\ 66599813510486947233177589477*c_1001_8^28 - 5961511020968365696710234579669279644531991652460254079151655444944\ 39539416908139/1650586423015504406771655586046866320871511789886514\ 0130597021264240590463476692*c_1001_8^27 + 9804070537247825806557476903119510655824780495365330578626481645208\ 3688329184711825/40439367363879857965905561858148224861352038852219\ 5933199627020973894466355178954*c_1001_8^26 - 1332007454432430713163676751450985304692184474547958365608707713586\ 34551971693887676/2021968368193992898295278092907411243067601942610\ 97966599813510486947233177589477*c_1001_8^25 - 6073329932737099045833205135785934982243257497972517737197670494274\ 6434574432263531/40439367363879857965905561858148224861352038852219\ 5933199627020973894466355178954*c_1001_8^24 + 3814608277883091357126990012030859840794525521641109026238273271581\ 393843563927253119/808787347277597159318111237162964497227040777044\ 391866399254041947788932710357908*c_1001_8^23 - 5527860104694566576344363148761073603887693893777877569803591559795\ 057155802982376287/808787347277597159318111237162964497227040777044\ 391866399254041947788932710357908*c_1001_8^22 - 5321246543917097048046177980576415987797084081212721185216520221670\ 150869538565434641/404393673638798579659055618581482248613520388522\ 195933199627020973894466355178954*c_1001_8^21 + 1500167771564468120988953876619034199563150863534252695462528194105\ 027296292096907174/288852624027713271185039727558201606152514563230\ 13995228544787212421033311084211*c_1001_8^20 - 1810567872919942253477090208700059880327033288818151217605188531575\ 8911020712725932847/40439367363879857965905561858148224861352038852\ 2195933199627020973894466355178954*c_1001_8^19 - 2980067954728426041868999043960109110683865776766927904142756655800\ 6172267235292495373/40439367363879857965905561858148224861352038852\ 2195933199627020973894466355178954*c_1001_8^18 + 1790629031610327899669356099287382057193748759981809468320488534799\ 62063067220039862275/8087873472775971593181112371629644972270407770\ 44391866399254041947788932710357908*c_1001_8^17 - 1109995784763857371198087964023773766082852740038548508487128514075\ 31161382416340849821/8087873472775971593181112371629644972270407770\ 44391866399254041947788932710357908*c_1001_8^16 - 1092698594623376018502539387969363855823378929491615653541263107335\ 4925153805385284387/36763061239890779969005056234680204419410944411\ 108721199966092815808587850470814*c_1001_8^15 + 6163086296196664595974442995973138593408052939187049858245975206030\ 16063315697214503849/8087873472775971593181112371629644972270407770\ 44391866399254041947788932710357908*c_1001_8^14 - 6609805188352221523017575863923293181305323636777264446459074661010\ 78520274958278810001/8087873472775971593181112371629644972270407770\ 44391866399254041947788932710357908*c_1001_8^13 + 3793587443087061939272110939333852208166374787171501857734736728301\ 86275253310500210529/8087873472775971593181112371629644972270407770\ 44391866399254041947788932710357908*c_1001_8^12 - 4144534351050417333454128513140158038828667150596219869604551433356\ 0389827024332761480/20219683681939928982952780929074112430676019426\ 1097966599813510486947233177589477*c_1001_8^11 + 9581244011927781406638992162306996909036556503323800362681539966272\ 475756809320444333/245087074932605199793367041564534696129406296074\ 05814133310728543872391900313876*c_1001_8^10 - 2675920708276203904946330508827106853646843652703379404356932668458\ 46892574587373658393/4043936736387985796590556185814822486135203885\ 22195933199627020973894466355178954*c_1001_8^9 + 3934487117324174146243279470709257204336344394742192243370300559800\ 06893505574089831947/8087873472775971593181112371629644972270407770\ 44391866399254041947788932710357908*c_1001_8^8 + 1458930375836178879698636495246947688433657775276251390342038635868\ 2238752341207057835/80878734727759715931811123716296449722704077704\ 4391866399254041947788932710357908*c_1001_8^7 - 8087245925339854233722453431785277597874072944846335861177076808587\ 5741230713604751587/26959578242586571977270374572098816574234692568\ 1463955466418013982596310903452636*c_1001_8^6 + 1425781910219746999744617680157970825374294116302311824551461618709\ 7252699648411060440/67398945606466429943175936430247041435586731420\ 365988866604503495649077725863159*c_1001_8^5 - 2269692847678326462346999916191282457855265487948970458431976788726\ 440758199035227932/673989456064664299431759364302470414355867314203\ 65988866604503495649077725863159*c_1001_8^4 - 8139681472749895044826518370120302506170393576860412255690669246184\ 460964613739158391/269595782425865719772703745720988165742346925681\ 463955466418013982596310903452636*c_1001_8^3 + 3483885123945691672906078711612161270793607906932707844297598015188\ 576903250469047581/202196836819399289829527809290741124306760194261\ 097966599813510486947233177589477*c_1001_8^2 - 6471737970789753597817803700466371791599780374235612364677337999747\ 52784829286713106/2021968368193992898295278092907411243067601942610\ 97966599813510486947233177589477*c_1001_8 + 6080971954897652238135735510244556682478415367374835893219821135109\ 1374745507598435/26959578242586571977270374572098816574234692568146\ 3955466418013982596310903452636, c_0011_0 - 1, c_0011_10 + 43283517831407102847672519402810642149831840695547898586931\ 8447724353059/15244672476199093095893302910669015552090657780670287\ 2651510729953364093204*c_1001_8^28 - 1936938932713097415340904854359050147751476253386906480489505471076\ 760983/381116811904977327397332572766725388802266444516757181628776\ 82488341023301*c_1001_8^27 + 52191446306604271382563802685281514240\ 548596156055888906893875684043023883/152446724761990930958933029106\ 690155520906577806702872651510729953364093204*c_1001_8^26 - 1406057619437582949958290572302386219023293536121145679382578867624\ 87873725/1524467247619909309589330291066901555209065778067028726515\ 10729953364093204*c_1001_8^25 - 25269365790527094257987683485611126\ 112276387073449544943209781586916737031/762233623809954654794665145\ 53345077760453288903351436325755364976682046602*c_1001_8^24 + 2721153549753337123091421576694113546940335714619262283736569080203\ 53726485/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^23 - 150016502874716364483945247709126510\ 2006530208511874947365872282228144503511/15244672476199093095893302\ 9106690155520906577806702872651510729953364093204*c_1001_8^22 - 8245431490223143482058218236214318817139828916269773796532565298881\ 99119888/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^21 + 300139975244863128319823933399722848\ 2958007386867188973988060059879896698788/38111681190497732739733257\ 276672538880226644451675718162877682488341023301*c_1001_8^20 - 8497390369735785263699323428902949436375398970903367595268596053222\ 721505981/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^19 - 1047444656388227975861152508130939\ 4779878182544413819081167412488608387615009/76223362380995465479466\ 514553345077760453288903351436325755364976682046602*c_1001_8^18 + 5215820587244356962191451764914649926730901524118792727568267778357\ 1727324513/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^17 - 568721786482525543576446328066690\ 3583740207652027346621964459359303955484295/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^16 - 8491153109196777982114969912059925480505195970703110422565256082128\ 9255790597/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^15 + 441300303800038082262964587177027\ 70877071865162491548667316692136826772229049/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^14 - 1487828467851676349535338705273539097492054820629060831204427678983\ 07481065215/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^13 + 1759080332022933885040571342081433951256555419851608031130782748813\ 7824840899/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^12 + 2475600103802721618884715794212798\ 0598679555724555926143487469205162886547709/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^11 + 4206960472862928423752819133060209988707611959844417616485691708194\ 1094007757/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^10 - 116084241753004438977843729253820\ 958771593052532793966780456384846556608093441/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^9 + 1375722700439071477429268291282034535964375968103434783436227992093\ 7069671322/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^8 + 18087258338775642429094575394228954\ 585710252212005020923687340872383337290924/381116811904977327397332\ 57276672538880226644451675718162877682488341023301*c_1001_8^7 - 1104548182454693375013983763121078793560346972107545800463775545764\ 93546731667/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^6 + 124164387462770504077994551899083\ 77834108879982368972864744847950010620163335/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^5 + 6474532202893074538524640912835547753370503794802671535585729721671\ 435597257/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^4 - 15478229898360109969377025482064821\ 220093685471970078769224631381317950836245/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^3 + 1216577918912704327794871745380444751494325530451314882997142288402\ 505335049/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^2 - 492011274617051888336930025698053376\ 59300073391620011961179886252538912679/3811168119049773273973325727\ 6672538880226644451675718162877682488341023301*c_1001_8 - 6871410792574639557314311586034173712672369713049924638512779150630\ 8509267/76223362380995465479466514553345077760453288903351436325755\ 364976682046602, c_0011_11 - 65301252517266828269248899446908044157106658491470008624238\ 9629395405179/15244672476199093095893302910669015552090657780670287\ 2651510729953364093204*c_1001_8^28 + 1198976315260620920693055637966518144760325371756168871999095304759\ 2487199/15244672476199093095893302910669015552090657780670287265151\ 0729953364093204*c_1001_8^27 - 210902110038490049847804369477732310\ 98817295039187531884987172428760123041/3811168119049773273973325727\ 6672538880226644451675718162877682488341023301*c_1001_8^26 + 1263778395766354258001592854133553240610598449382327624497333630642\ 14787023/7622336238099546547946651455334507776045328890335143632575\ 5364976682046602*c_1001_8^25 - 524651937747930397557211795206251287\ 98150329364620399855055737628980331281/1524467247619909309589330291\ 06690155520906577806702872651510729953364093204*c_1001_8^24 - 1581512532678044178120388630236095629725886350188098645020450617714\ 828989977/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^23 + 1491352042896250494094425214402956\ 308141626968927190616483275129764174047669/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^22 + 1694581046275348582633382923507998567334488653208216299346876540854\ 923082037/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^21 - 48189058112726571873590400790430425\ 83715907384416478791210358206332328851618/3811168119049773273973325\ 7276672538880226644451675718162877682488341023301*c_1001_8^20 + 2212790711489380040443707268972752481779538895745230208784073732866\ 7122591687/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^19 + 189139637015933442063481925766447\ 49573391732395512380221049276053573719571529/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^18 - 8426013405999895330415284692191843258997285407367981903741575806755\ 0485525619/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^17 + 373384584531065415962868657613597\ 62825583959614767610715595688894092918973573/7622336238099546547946\ 6514553345077760453288903351436325755364976682046602*c_1001_8^16 + 8359028167836624884221588426242862564761160575273517681828226724767\ 7524439953/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^15 - 293783830679455154852336537294426\ 657735795122659624566153015399838398364071571/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^14 + 1831466127497344717915322475375995882348358164253023299795127673025\ 21484873581/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^13 - 643192879020868785945681988269692\ 06414405859079295843175380380871055351525458/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^12 + 3426737377627647144811983369718199137753994038190187915064855285418\ 4714974109/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^11 - 4553197749307614027124306312874376\ 0813963741538034161139560930409132020769606/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^10 + 1516891462598965123518667022143994118968172911142908736582352523892\ 66949071847/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^9 - 2668587072224871347971530164530038\ 12906164174938069293409736721850097078845833/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^8 + 3337126400131745469715347351872497821669259077553013537738345892997\ 6489167283/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^7 + 42397199877729072951354714983275581\ 562727822827211238397406742733803024955973/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^6 - 8138849764004522516878225928827450143086930987312296551575567512974\ 1090702303/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^5 + 1944306204834917727399149373361120\ 6869699905157655129200634318056704442713335/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^4 + 8758087076766951059579724438909221063182692635046100299935570759179\ 557539113/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^3 - 24652501273054419427540182563961465\ 20967919682900583578943316152688348120875/7622336238099546547946651\ 4553345077760453288903351436325755364976682046602*c_1001_8^2 + 3545976282203050968365549712055652598603094380468548627377199811678\ 97420119/1524467247619909309589330291066901555209065778067028726515\ 10729953364093204*c_1001_8 + 95338398135893556438800190075603991296\ 725062662211712842236143095920401/381116811904977327397332572766725\ 38880226644451675718162877682488341023301, c_0011_12 - 42622921406297121209101679228069070456342064554781738061462\ 7422483483381/76223362380995465479466514553345077760453288903351436\ 325755364976682046602*c_1001_8^28 + 3891043377921529479251547393444743620133204871508761265541947543437\ 646882/381116811904977327397332572766725388802266444516757181628776\ 82488341023301*c_1001_8^27 - 54287555731857325968290491163062051542\ 615932684834568335770307536764786109/762233623809954654794665145533\ 45077760453288903351436325755364976682046602*c_1001_8^26 + 1597925023991886406717172907084020351227632017843181321496820365876\ 98156123/7622336238099546547946651455334507776045328890335143632575\ 5364976682046602*c_1001_8^25 - 402731033275122028436213580300015751\ 39756188916053224211139216095011251819/1524467247619909309589330291\ 06690155520906577806702872651510729953364093204*c_1001_8^24 - 1030401327435876966909174899138701511132065196287100639044694881984\ 478700401/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^23 + 37092717256196918030182267980054194\ 24810063936291865270152547713101832228241/1524467247619909309589330\ 29106690155520906577806702872651510729953364093204*c_1001_8^22 + 4684284171898071427341718003337386771667890587511997300117744878370\ 607313693/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^21 - 2465835429208658137830116157508315\ 4272162367244708606991018885779259827749629/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^20 + 1348015764813304834706524935737568472902718316553432194227930648446\ 8702792673/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^19 + 1324014163411023791153304522552309\ 3431059929429154813270854383065517393045613/76223362380995465479466\ 514553345077760453288903351436325755364976682046602*c_1001_8^18 - 1080114058342667252423353293323947691577392051331884636742568607261\ 65718074451/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^17 + 9043771446807848310161853710338137300535901968757845890809426100072\ 4864861535/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^16 + 114532171729280552758458545660493\ 287159745290688684156434173953196835905380731/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^15 - 1881636059529234197227076521696881564506038562440012658923522503814\ 06824794695/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^14 + 113617187236419410695712311971132\ 568805091946697818600533973409272249073971488/381116811904977327397\ 33257276672538880226644451675718162877682488341023301*c_1001_8^13 - 3007482440697383296121696798405237950418951444690668735995269757280\ 17899909331/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^12 + 6996465108545034467959141136931623356283722536066480532220340401725\ 1710427841/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^11 - 4941035879264015949719030217707012\ 5974420950952056508936170604064839671662232/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^10 + 3514859656800252393372071990705597495471331985758010943095058063109\ 90138791549/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^9 - 303010410021472200440747556309143\ 446106849972593455949521882751142482655043031/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^8 + 4991961108201347033376926031437255626001816361690637367566513496599\ 8835547743/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^7 + 1374514190926575695257978866361620\ 56761499961854001757025933229617831443668511/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^6 - 3069003292838848351685940852021375644807064191326759512738621709327\ 5159756019/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^5 + 31434276706605409618930757875871792\ 074502670558197121349829495227759208813455/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^4 + 1343673378397609962419712113539046870049486937365394611293725873336\ 8421241053/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^3 - 2519013667838055014060778891444103\ 057500946962899719443723802044308690755835/381116811904977327397332\ 57276672538880226644451675718162877682488341023301*c_1001_8^2 + 5499837382500487701720021986326989108357121856289170052221292397156\ 30154115/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8 - 240896829694740582763719245194252247231\ 38812078141276850181461148514642506/3811168119049773273973325727667\ 2538880226644451675718162877682488341023301, c_0011_5 + 524344387761538044911725603252378563251999297495489788670087\ 685550902959/762233623809954654794665145533450777604532889033514363\ 25755364976682046602*c_1001_8^28 - 4936036695855062546337763908357981057860497314266100519995709291359\ 337622/381116811904977327397332572766725388802266444516757181628776\ 82488341023301*c_1001_8^27 + 36080171457594309361922460131633173810\ 092678959894788571670306824391599991/381116811904977327397332572766\ 72538880226644451675718162877682488341023301*c_1001_8^26 - 2332599749350847318843634372448822240997107575096424801144631100734\ 50184289/7622336238099546547946651455334507776045328890335143632575\ 5364976682046602*c_1001_8^25 + 638608730807447412650240387978699632\ 08714558546809193244320820581717371267/3811168119049773273973325727\ 6672538880226644451675718162877682488341023301*c_1001_8^24 + 6385962746627643902772335860103467519552434354717154356906916030861\ 67134395/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^23 - 299233297278989958351435923553655773\ 8614042389329178225049154749405004991351/76223362380995465479466514\ 553345077760453288903351436325755364976682046602*c_1001_8^22 - 1770638356361705925751704038978473645461153712934665687572960691990\ 235510721/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^21 + 17050287973419185679512337074173022\ 521476727562978701203263015419485097863287/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^20 - 2462110898263174912806987710496338237037517741900787104011309470283\ 2464334261/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^19 - 8872041205346391930273971167976855\ 731824910156153133927397300760998445961141/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^18 + 3849352768343919049282802572389646587622765590878614397169714524310\ 5518746522/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^17 - 4485848027915043864046742858078967\ 9063438922689649399485258629974371600689867/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^16 - 2370141265183941063653802947090450775589812201619767036089768825868\ 4632342039/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^15 + 2746684229049074438937380954792158\ 25166388248129513857594448773123743452171991/7622336238099546547946\ 6514553345077760453288903351436325755364976682046602*c_1001_8^14 - 3964453568334328081550028672071901906004507350649140417803032682270\ 94300121725/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^13 + 315252486313874962637229683549399\ 596568266335304279509224478211032885357157855/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^12 - 1683446793923304756978010405299446446512848357257496582742853306657\ 00273352709/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^11 + 829190958303525094800776831334827\ 23823176871426001128798779477958937507663899/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^10 - 1443376714553165920051779882536420686965227248235644960223076189247\ 87781147303/3811168119049773273973325727667253888022664445167571816\ 2877682488341023301*c_1001_8^9 + 1502484575989248964105191159356192\ 95333754375343476197651461370294977066128981/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^8 - 1168292552474776689421280321564673738378009593009136039563167697820\ 50991885943/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^7 - 7514564143242845479668674875629624\ 5359131668773171181868339533185954450083061/76223362380995465479466\ 514553345077760453288903351436325755364976682046602*c_1001_8^6 + 5565011480233978415920546225152082900194516123257541698786332076437\ 4582774805/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^5 - 22769633068761046693931771495905575\ 351049475577779984090706102312512753573616/381116811904977327397332\ 57276672538880226644451675718162877682488341023301*c_1001_8^4 - 1842241005249831977748815338245066039893890308544896130148048599410\ 979762386/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^3 + 470218931006356222862979711017867736\ 1926760635555651958048610447613076965231/38111681190497732739733257\ 276672538880226644451675718162877682488341023301*c_1001_8^2 - 2763070272892683197416455842443628307120897599576023036608883524887\ 277526631/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8 + 13657927468452178437305996297900192387\ 8139405893578542189257711475177437005/38111681190497732739733257276\ 672538880226644451675718162877682488341023301, c_0101_1 - 486440338963506242488616307639633124496250003681532854982866\ 486570811277/762233623809954654794665145533450777604532889033514363\ 25755364976682046602*c_1001_8^28 + 9271108648480673277818616661646786508587866159427877383326759491943\ 544373/762233623809954654794665145533450777604532889033514363257553\ 64976682046602*c_1001_8^27 - 69130251687241133686250057923148878714\ 514746650037161564336530676172825023/762233623809954654794665145533\ 45077760453288903351436325755364976682046602*c_1001_8^26 + 1165529797774705886281137998465366138142235120278519867072920815039\ 52676914/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^25 - 885888083208377151445582387170342647\ 18433225604857999946215609298987856235/3811168119049773273973325727\ 6672538880226644451675718162877682488341023301*c_1001_8^24 - 1131039123708025952954921421457741810661585071928479309922420311038\ 978974161/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^23 + 30411790559973073630555416932652873\ 58704568171196726028679538803965482609911/7622336238099546547946651\ 4553345077760453288903351436325755364976682046602*c_1001_8^22 + 4231518552646193166309839246433097986248117739130402074854360921302\ 24874504/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^21 - 158884460239806750530966829948684644\ 48124421766892495815708384955290602753215/7622336238099546547946651\ 4553345077760453288903351436325755364976682046602*c_1001_8^20 + 1339921643179960830756775471650556120850038393403796530696371819137\ 9887935912/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^19 + 1042804157494616113964262216660568\ 378452314721537876556885146544385004161689/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^18 - 7095039935816393575309965474841824890265205935763262460480906140714\ 8468133481/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^17 + 1011381031092089991230021999218339\ 81032831357981916856911891093127291166128665/7622336238099546547946\ 6514553345077760453288903351436325755364976682046602*c_1001_8^16 + 8392189115497835275895774721900921625473796692097441827292462432153\ 545070836/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^15 - 12845945627974748524382477862757299\ 1836488385064749574053915679650881170629142/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^14 + 4329274288401391219016486043106641795226716328763570666820876728240\ 65150130741/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^13 - 405087745990740895344249507111363\ 733369268250865277185041983249115516580277189/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^12 + 1315393635233671047225008483209629166825676096302819154489034730264\ 98409645265/3811168119049773273973325727667253888022664445167571816\ 2877682488341023301*c_1001_8^11 - 225270997036277866061823423994812\ 057003301898461683877011237745009314284681293/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^10 + 1652885716964116428741713289732039404374270262023675447463474080956\ 51190231526/3811168119049773273973325727667253888022664445167571816\ 2877682488341023301*c_1001_8^9 - 3708614963360510975058517031364037\ 56894064828659838828278857383428196963814211/7622336238099546547946\ 6514553345077760453288903351436325755364976682046602*c_1001_8^8 + 2119985127175451478359169589884803072199629417142783978382303521786\ 49048710233/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^7 + 9320380074749224858551998432150953\ 065859767714526769088208115147315763923765/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^6 - 5057481631537287055722830137568990796518128427836646797962642446246\ 1662566528/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^5 + 31660311349325231538853541968043947\ 863066830808275152722766250545551478762377/381116811904977327397332\ 57276672538880226644451675718162877682488341023301*c_1001_8^4 - 9216047171341130942880362866365764730807277579534916044121668677651\ 042929429/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^3 - 706428465756958002672708230917874293\ 6913796844466121694485178528640876446057/76223362380995465479466514\ 553345077760453288903351436325755364976682046602*c_1001_8^2 + 1739958923919595421659289974639224886212634805077890936190903739967\ 125180592/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8 - 52081664804104965865641141736400565824\ 5241896620282484926929211887717296999/76223362380995465479466514553\ 345077760453288903351436325755364976682046602, c_0101_6 - 190869291846866819842827245091303052142343837239070435431503\ 955608867549/152446724761990930958933029106690155520906577806702872\ 651510729953364093204*c_1001_8^28 + 8131684405493337250994389749485212894866724172064959328386351799517\ 97789/3811168119049773273973325727667253888022664445167571816287768\ 2488341023301*c_1001_8^27 - 502471881738311123822330579246842015593\ 3143401158853882356882894777885038/38111681190497732739733257276672\ 538880226644451675718162877682488341023301*c_1001_8^26 + 4247876225174238158763318190303492694947399197934535453537316180473\ 9282605/15244672476199093095893302910669015552090657780670287265151\ 0729953364093204*c_1001_8^25 + 747560041356496232553960876751072135\ 22346673565682612240164896018503697691/1524467247619909309589330291\ 06690155520906577806702872651510729953364093204*c_1001_8^24 - 4641150573424792394080720536965225013120642671817641501704384329328\ 94034887/1524467247619909309589330291066901555209065778067028726515\ 10729953364093204*c_1001_8^23 + 27533454012158773533717749506346433\ 8239081869109236850925913597195103891021/15244672476199093095893302\ 9106690155520906577806702872651510729953364093204*c_1001_8^22 + 1987204831037616384342716709253481652757473998026224386384261334955\ 297670599/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^21 - 4165834737964911185594233268788602\ 249663849568781941885692450906093756229367/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^20 - 1069042639890096063075601439372034712734706899691604363117934737180\ 96075537/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^19 + 125332494569009954068781810002565274\ 47466446715856009411627118267547137840775/1524467247619909309589330\ 29106690155520906577806702872651510729953364093204*c_1001_8^18 - 1665665396621589526633996675013462194858926055148321849941062868566\ 1744560391/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^17 - 189345633451399484056741336114718\ 5771021305230186841534854888284412157317667/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^16 + 2359215753162302245731576338812845820849676203689453520316794136021\ 1366307065/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^15 - 5257621636163971471238841553301740\ 1377769436527067703863396033417329278137551/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^14 + 5448947379279131242949362514631888258258503084562531471241800912324\ 189692735/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^13 + 4626218950916759500617008696160475\ 7431214240003517659315081996810786062372417/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^12 - 1104131729901387458111557281591122499649291595831981038181537243887\ 2826254640/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^11 - 5168097669549575673420629821261895\ 037050619990528145391343568043587885935429/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^10 + 2121494518867971620929520811068861567353264151991777770537064044003\ 1288079467/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^9 + 2666517647361955656740787993974400\ 1856827766724994845220801297563335200070881/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^8 - 6648455773000654981234501961392332784324117506433771391738055404771\ 6106164925/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^7 + 2233963349173184565174348658452552\ 0716482379099032072374388972910997154365823/76223362380995465479466\ 514553345077760453288903351436325755364976682046602*c_1001_8^6 + 2996648463196928967618738577813491818923689039884684191818001217993\ 844004739/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^5 - 19123441535159219183597090835167573\ 411385570460890702328206849550851727951159/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^4 + 2146444425390206384161466983727263796566965972650355410169084756774\ 596842808/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^3 + 948214458201619840884833429494591102\ 048012305471873397282113063485302955899/152446724761990930958933029\ 106690155520906577806702872651510729953364093204*c_1001_8^2 - 3239244537152590395300329271193901089715294629396493031491238142236\ 18655708/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8 + 137854365071063968052537642120449326651\ 239872807479147468421661302405140791/152446724761990930958933029106\ 690155520906577806702872651510729953364093204, c_0101_7 + 651520662145223420048525038871311559823802454929323872438288\ 059600944191/152446724761990930958933029106690155520906577806702872\ 651510729953364093204*c_1001_8^28 - 3105775029259582453299223935545331247648975420534905836570652497949\ 325674/381116811904977327397332572766725388802266444516757181628776\ 82488341023301*c_1001_8^27 + 92595841267853872826929166732704656825\ 362784425380557693468315925080113843/152446724761990930958933029106\ 690155520906577806702872651510729953364093204*c_1001_8^26 - 3111496617102775912643583516154306768241706616135472999641619611049\ 20214657/1524467247619909309589330291066901555209065778067028726515\ 10729953364093204*c_1001_8^25 + 11355859676251501291500773032009903\ 6418536396219298414928577892530542297319/76223362380995465479466514\ 553345077760453288903351436325755364976682046602*c_1001_8^24 + 7749660451483339996656651943267198022392384395762290291277143925246\ 62769557/7622336238099546547946651455334507776045328890335143632575\ 5364976682046602*c_1001_8^23 - 408769718826948994643529308548048536\ 5156883497682139848047565991936663452093/15244672476199093095893302\ 9106690155520906577806702872651510729953364093204*c_1001_8^22 - 3354740103334500239730324936168889476242707161329628268162247738861\ 37778469/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^21 + 108493051132239010094180502267884664\ 97300054981133151417210079308602241480067/7622336238099546547946651\ 4553345077760453288903351436325755364976682046602*c_1001_8^20 - 3547948349320792899487632105125563986814208217526340616746714746041\ 3347106973/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^19 - 974557799257637780915000089852194\ 274149090398169541601697048881042814210844/381116811904977327397332\ 57276672538880226644451675718162877682488341023301*c_1001_8^18 + 9790939028906660168505831603662524711449520383120554574579329315223\ 7854569743/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^17 - 332763228620597846546865796967201\ 52105698356608512840791408405050094032339721/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^16 - 3315828724828537802443974353953035636042929982414015535321920713163\ 5736473147/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^15 + 176782214339213520183168001198194\ 954991106646928591186234732356907666305149823/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^14 - 5696262753708219420805585414051048185580163043035144128259292162206\ 21200952357/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^13 + 2533806432342361379426713203442018106841848875559895300726644607783\ 54199063381/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^12 - 307368433955370619438272145212493\ 349598817229750269313813734222095164088915389/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^11 + 2683260119938387051050971541669585589101041086395925600390190646142\ 02284627945/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^10 - 4220585087691405490547905469544397862349134095320978031105480504470\ 45045509677/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^9 + 234686450429642688863998393925166\ 722009734265730780814794842901078392531951659/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^8 - 1215266695547540391898447681405328006131855526820670283281413207416\ 41725385165/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^7 - 4699339653585000375107403498675236\ 5651457630165803053661552645547147149538431/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^6 + 3661236889147544202111745246299334888515697589705327133499430106839\ 9465803741/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^5 - 78461423748598567341652634478464761\ 148598157020247325782841936089605243067619/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^4 + 4901920031085291862287224845124244055945221961832826596884641938238\ 643068743/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^3 + 29569041743692420827395025006506242\ 21976512284795712038527475790537051331827/3811168119049773273973325\ 7276672538880226644451675718162877682488341023301*c_1001_8^2 - 1112814224915280970485579236580025219554779472967438618095238552746\ 897341897/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8 + 12668706716669626213431466275432377836\ 8430360354318326885131470996429517815/38111681190497732739733257276\ 672538880226644451675718162877682488341023301, c_1001_1 - 653012525172668282692488994469080441571066584914700086242389\ 629395405179/152446724761990930958933029106690155520906577806702872\ 651510729953364093204*c_1001_8^28 + 1198976315260620920693055637966518144760325371756168871999095304759\ 2487199/15244672476199093095893302910669015552090657780670287265151\ 0729953364093204*c_1001_8^27 - 210902110038490049847804369477732310\ 98817295039187531884987172428760123041/3811168119049773273973325727\ 6672538880226644451675718162877682488341023301*c_1001_8^26 + 1263778395766354258001592854133553240610598449382327624497333630642\ 14787023/7622336238099546547946651455334507776045328890335143632575\ 5364976682046602*c_1001_8^25 - 524651937747930397557211795206251287\ 98150329364620399855055737628980331281/1524467247619909309589330291\ 06690155520906577806702872651510729953364093204*c_1001_8^24 - 1581512532678044178120388630236095629725886350188098645020450617714\ 828989977/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^23 + 1491352042896250494094425214402956\ 308141626968927190616483275129764174047669/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^22 + 1694581046275348582633382923507998567334488653208216299346876540854\ 923082037/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^21 - 48189058112726571873590400790430425\ 83715907384416478791210358206332328851618/3811168119049773273973325\ 7276672538880226644451675718162877682488341023301*c_1001_8^20 + 2212790711489380040443707268972752481779538895745230208784073732866\ 7122591687/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^19 + 189139637015933442063481925766447\ 49573391732395512380221049276053573719571529/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^18 - 8426013405999895330415284692191843258997285407367981903741575806755\ 0485525619/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^17 + 373384584531065415962868657613597\ 62825583959614767610715595688894092918973573/7622336238099546547946\ 6514553345077760453288903351436325755364976682046602*c_1001_8^16 + 8359028167836624884221588426242862564761160575273517681828226724767\ 7524439953/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^15 - 293783830679455154852336537294426\ 657735795122659624566153015399838398364071571/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^14 + 1831466127497344717915322475375995882348358164253023299795127673025\ 21484873581/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^13 - 643192879020868785945681988269692\ 06414405859079295843175380380871055351525458/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^12 + 3426737377627647144811983369718199137753994038190187915064855285418\ 4714974109/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^11 - 4553197749307614027124306312874376\ 0813963741538034161139560930409132020769606/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^10 + 1516891462598965123518667022143994118968172911142908736582352523892\ 66949071847/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^9 - 2668587072224871347971530164530038\ 12906164174938069293409736721850097078845833/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^8 + 3337126400131745469715347351872497821669259077553013537738345892997\ 6489167283/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^7 + 42397199877729072951354714983275581\ 562727822827211238397406742733803024955973/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^6 - 8138849764004522516878225928827450143086930987312296551575567512974\ 1090702303/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^5 + 1944306204834917727399149373361120\ 6869699905157655129200634318056704442713335/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^4 + 8758087076766951059579724438909221063182692635046100299935570759179\ 557539113/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^3 - 24652501273054419427540182563961465\ 20967919682900583578943316152688348120875/7622336238099546547946651\ 4553345077760453288903351436325755364976682046602*c_1001_8^2 + 3545976282203050968365549712055652598603094380468548627377199811678\ 97420119/1524467247619909309589330291066901555209065778067028726515\ 10729953364093204*c_1001_8 + 95338398135893556438800190075603991296\ 725062662211712842236143095920401/381116811904977327397332572766725\ 38880226644451675718162877682488341023301, c_1001_12 - 13621017352159714782021539319124961997547259191322164360754\ 2554090115892/38111681190497732739733257276672538880226644451675718\ 162877682488341023301*c_1001_8^28 + 5042346040337987714519776225585322222315816718653233260899370020071\ 321647/762233623809954654794665145533450777604532889033514363257553\ 64976682046602*c_1001_8^27 - 35932412294071602528481597293366993886\ 306723493574378883118767270871340883/762233623809954654794665145533\ 45077760453288903351436325755364976682046602*c_1001_8^26 + 5528062923290099118566067136362330419099289417974639999395774134447\ 1768785/38111681190497732739733257276672538880226644451675718162877\ 682488341023301*c_1001_8^25 - 3642255553997303743070688980351363900\ 3177883530000230669052856601759359697/76223362380995465479466514553\ 345077760453288903351436325755364976682046602*c_1001_8^24 - 3310454854827230653592485700748906646356298784491628631709052102649\ 45680139/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8^23 + 677015942193125996240236452305613881\ 408807941356035928777393519564294643572/381116811904977327397332572\ 76672538880226644451675718162877682488341023301*c_1001_8^22 + 1237445403957157265170172277186885076034305818591812547850456077553\ 703398791/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^21 - 83404232233352419999856390793008226\ 39334674101505936431288183327775204441271/7622336238099546547946651\ 4553345077760453288903351436325755364976682046602*c_1001_8^20 + 1053125442217248204635895978436322534231987048569452789333842016564\ 3841552111/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^19 + 6793542564468663544853412440138763\ 127203673755271298117975258318969450243381/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^18 - 3729881619456865025172515368410524036030429367309230665125057011388\ 2494425989/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^17 + 1861891394685388127935560385239436\ 6762117881291433576658033482833833925081892/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^16 + 3149362864634125656383594102989363497098417524653212221346469968438\ 5160121847/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^15 - 1317390829793545298572967978334161\ 57539940930946818645085278426816004102978689/7622336238099546547946\ 6514553345077760453288903351436325755364976682046602*c_1001_8^14 + 1738320446755268985677526434055418399659755517996890647511443764765\ 82993321265/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^13 - 125072803768467830282995780911163\ 036301319495553457284608873535450472199725863/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^12 + 5842447428986295335668200870959438276279168305650757086272189065016\ 1401167387/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^11 - 3292315027284902776534146761218755\ 4747067416720774533893958791947590998556570/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^10 + 6133535067807323299061761195822826077717117201129728455992421195568\ 1414567972/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^9 - 11883256608290716900803488472456776\ 8852338067147071928177584834513935922601143/76223362380995465479466\ 514553345077760453288903351436325755364976682046602*c_1001_8^8 + 1547951602612723533233083767959931768380398128122441522100522716780\ 0454904109/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^7 + 48586358631686510662292597736841769\ 035948497412832385254308486890201462045885/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^6 - 5392579151628461505899358488940063215711169848047643669478254133598\ 3710018513/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^5 + 95602959968593825224177768718357231\ 45794850282304843460923431502513843493215/3811168119049773273973325\ 7276672538880226644451675718162877682488341023301*c_1001_8^4 + 1761827802243953410969302269253019368116538663782429246410112055481\ 977100797/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^3 - 497927453710746469445231110494650519\ 3222568610318600923728783182608714822309/76223362380995465479466514\ 553345077760453288903351436325755364976682046602*c_1001_8^2 + 7635265079623107813172401442690353980617375552835783724132090946842\ 49093450/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8 - 179773623846124916074027710702763932535\ 753851279108374511500132522344770057/762233623809954654794665145533\ 45077760453288903351436325755364976682046602, c_1001_2 - 915662713605400714391230464613769146686751461644192554011751\ 102763718741/152446724761990930958933029106690155520906577806702872\ 651510729953364093204*c_1001_8^28 + 1706056588629761821486493756753159746092838059179621225877848603681\ 9877737/15244672476199093095893302910669015552090657780670287265151\ 0729953364093204*c_1001_8^27 - 122798089406800916486925050466671120\ 256987772368546185502102043555275502379/152446724761990930958933029\ 106690155520906577806702872651510729953364093204*c_1001_8^26 + 1927393941510342467403192490703177948411317511464567252769050193433\ 02088299/7622336238099546547946651455334507776045328890335143632575\ 5364976682046602*c_1001_8^25 - 162057083774858769759443354750505031\ 998466557493537786280728906872248690195/152446724761990930958933029\ 106690155520906577806702872651510729953364093204*c_1001_8^24 - 2223882577650279705786972568567374771274029136432581758778062319173\ 628584399/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^23 + 2404022793300471901200390349802479\ 339460540488747869281275663160742494060787/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^22 + 3726151666123524548270752367211232288356405845248741151013154320790\ 431744491/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^21 - 7160774067782747737402434788564013\ 405161875983637493378858103137239167646708/381116811904977327397332\ 57276672538880226644451675718162877682488341023301*c_1001_8^20 + 9589252778218104017060305929771549675066174307367139966810473937715\ 103604244/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^19 + 19653427716969896886765137084733588\ 428794490244889367800365634221819653226933/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^18 - 3211217471887307242589633018514581989920472941250666984926073149741\ 8898388057/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^17 + 3444893644972455476388404748057919\ 3745930682749341836359061295157648946209640/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^16 + 9512602624825653363432965804410278581198136844134134471083550684134\ 0337507337/15244672476199093095893302910669015552090657780670287265\ 1510729953364093204*c_1001_8^15 - 227827711429881295955913216535985\ 755435201091565035006031411944110282057389647/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^14 + 6284155432784651326993739695023498512700983573990305599393051881735\ 18974338295/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^13 - 2384379726502749016712044296283859573094927838190375797506531047560\ 62101497159/7622336238099546547946651455334507776045328890335143632\ 5755364976682046602*c_1001_8^12 + 119352058456199418646186474783717\ 038899244033241893361642898552779036707194371/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^11 - 2461597474721557818967928506210651515575853713840407213856179961479\ 30232904741/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^10 + 4421968044304108240795701725060740339179215710125766439577774605403\ 77269173475/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^9 - 222398125709511238370774260375470\ 420806930066976855012847664473061813010554677/762233623809954654794\ 66514553345077760453288903351436325755364976682046602*c_1001_8^8 + 7233040177057372204309740658486530536952217283073924281390218478039\ 5028131435/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^7 + 75194639067945995296382729894030021\ 299091501113862135306560823636514542054949/762233623809954654794665\ 14553345077760453288903351436325755364976682046602*c_1001_8^6 - 9596195947811875846047119482822141164967999589347206835240921267623\ 0848169949/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^5 + 77482114075297018576148870569685689\ 501389724780680255683340397919581551398433/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^4 + 1648044091861838718444770479843230071143852827961553591090158528193\ 512563233/381116811904977327397332572766725388802266444516757181628\ 77682488341023301*c_1001_8^3 - 176626442428229978657967452717617059\ 48350925783537511301963541532098316125415/1524467247619909309589330\ 29106690155520906577806702872651510729953364093204*c_1001_8^2 + 3108796496870061341701981856168555849332872842740860347786977776593\ 704527915/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8 - 83771175018345095082217284883852379718\ 8085852990720282957882652895887054177/15244672476199093095893302910\ 6690155520906577806702872651510729953364093204, c_1001_4 + 112856337673837928080017023652582333526577590036727262826274\ 3366704660317/15244672476199093095893302910669015552090657780670287\ 2651510729953364093204*c_1001_8^28 - 5225570938317022518661912852866813117952111244008285236977582849362\ 832385/381116811904977327397332572766725388802266444516757181628776\ 82488341023301*c_1001_8^27 + 74535358707167752315498013862514551606\ 535542961636101323045238320999319211/762233623809954654794665145533\ 45077760453288903351436325755364976682046602*c_1001_8^26 - 4593101540361256195338499313862353759029513803530765527478725568429\ 74490653/1524467247619909309589330291066901555209065778067028726515\ 10729953364093204*c_1001_8^25 + 15446232437785675799650092116876182\ 3920859895948504162583092936602139709357/15244672476199093095893302\ 9106690155520906577806702872651510729953364093204*c_1001_8^24 + 2737481204814435017466121816841401019170176033604982072730422908190\ 423559845/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^23 - 5599174590958482538823402093839908\ 786420368540550369171202863478411417926435/152446724761990930958933\ 029106690155520906577806702872651510729953364093204*c_1001_8^22 - 5134938914354563302072270332463381597487473497631218231793998932589\ 101857467/152446724761990930958933029106690155520906577806702872651\ 510729953364093204*c_1001_8^21 + 3445503535446126696423880016882509\ 5409726255627445785201389039588168687705195/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^20 - 1084872070905808758574065914215119701185606851226971646666460855320\ 8404425442/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^19 - 2778174161030391349178767754222624\ 2449092951447844092134097310053357848144303/15244672476199093095893\ 3029106690155520906577806702872651510729953364093204*c_1001_8^18 + 1525423433289698689825698336539155157483654294906604704393603968981\ 36800013449/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^17 - 7597164485180800344338138294499495681468763661112643612894971989475\ 1100250549/76223362380995465479466514553345077760453288903351436325\ 755364976682046602*c_1001_8^16 - 3216290469073041307552505368583487\ 2865852732957522487146289686350073537079624/38111681190497732739733\ 257276672538880226644451675718162877682488341023301*c_1001_8^15 + 5369403080214631295825654205960443129039129742918116054299162384611\ 57326866219/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^14 - 7124399355327246519267470601551119348832546245103949015795791599711\ 84025432109/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^13 + 5288908593386321141508814045254591396247327707152193368210389777641\ 65379813385/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^12 - 6951274253341042863436439362029792375318039895638085792752654465113\ 1703856962/38111681190497732739733257276672538880226644451675718162\ 877682488341023301*c_1001_8^11 + 3202839120400001366189575941609203\ 55563881138313106236541534733573962302481431/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^10 - 5475322910969704528550716587398651581169731033095268056811722930512\ 26104497571/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^9 + 519541763230166625525092550616563\ 308498060484412401404262562382324763514520571/152446724761990930958\ 933029106690155520906577806702872651510729953364093204*c_1001_8^8 - 1601100655712848469435081965890598514563086619023023854053629097603\ 88502130991/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^7 - 393716660271555529841993943413986\ 91050348923922035799946457608766898794748790/3811168119049773273973\ 3257276672538880226644451675718162877682488341023301*c_1001_8^6 + 1853626269907388037032356344673452335158686627795541260810788715859\ 69096973911/1524467247619909309589330291066901555209065778067028726\ 51510729953364093204*c_1001_8^5 - 635196075895708000860194846131141\ 44243588448812127754981707177323161075739785/1524467247619909309589\ 33029106690155520906577806702872651510729953364093204*c_1001_8^4 - 5958524993431135134473375806935221592565294167388851637841603998945\ 357698237/762233623809954654794665145533450777604532889033514363257\ 55364976682046602*c_1001_8^3 + 149915726188272743217214949383048390\ 89566654966050398183299795803814898151097/1524467247619909309589330\ 29106690155520906577806702872651510729953364093204*c_1001_8^2 - 9557753611874732538087906070409141285125468522444924581255847115397\ 83290790/3811168119049773273973325727667253888022664445167571816287\ 7682488341023301*c_1001_8 + 247485688994135477841898237027676377533\ 222988084491250624310433827724489009/152446724761990930958933029106\ 690155520906577806702872651510729953364093204, c_1001_8^29 - 19*c_1001_8^28 + 141*c_1001_8^27 - 471*c_1001_8^26 + 337*c_1001_8^25 + 2345*c_1001_8^24 - 6122*c_1001_8^23 - 2077*c_1001_8^22 + 32545*c_1001_8^21 - 53304*c_1001_8^20 - 5090*c_1001_8^19 + 145774*c_1001_8^18 - 200501*c_1001_8^17 - 44891*c_1001_8^16 + 526434*c_1001_8^15 - 863780*c_1001_8^14 + 786975*c_1001_8^13 - 491804*c_1001_8^12 + 418847*c_1001_8^11 - 632628*c_1001_8^10 + 706015*c_1001_8^9 - 380515*c_1001_8^8 - 55868*c_1001_8^7 + 224722*c_1001_8^6 - 136932*c_1001_8^5 + 20520*c_1001_8^4 + 16096*c_1001_8^3 - 9445*c_1001_8^2 + 2044*c_1001_8 - 187 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.480 Total time: 5.700 seconds, Total memory usage: 64.12MB