Magma V2.19-8 Tue Aug 20 2013 23:38:44 on localhost [Seed = 3886121900] Type ? for help. Type -D to quit. Loading file "K12a759__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a759 geometric_solution 9.31576851 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598359256955 1.986809909441 0 1 0 1 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401833790636 0.172338086651 4 0 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 1 -1 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815613445398 0.507782168680 7 7 0 4 0132 1230 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.217585004322 0.841999520281 2 3 8 8 0132 2310 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 -1 1 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.655442050107 0.624288058892 9 9 2 10 0132 0213 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.933888900672 0.561553707654 8 9 10 2 0321 0321 0213 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 13 0 -12 -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.539323023295 0.184060014230 3 10 3 9 0132 3012 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712305757604 1.113304728145 6 4 10 4 0321 0321 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200036418480 0.761940298780 5 7 5 6 0132 1302 0213 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 0.615540743886 0.897933621265 7 6 5 8 1230 0213 0132 0132 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 0 -1 -1 0 1 0 1 12 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771717938027 0.498249661471 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : d['c_1001_8'], 'c_1010_10' : d['c_1001_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_5'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : negation(d['c_1001_2']), 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1001_8'], 'c_1100_10' : d['c_1001_8'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_7']), 'c_1100_8' : d['c_1001_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : 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_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], '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_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_8']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_8'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_7, c_1001_10, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 3137481141508597008810043152430893966279055012660609497539818990081\ 47057433507626059614635569983073468541047915078/5381131631656323993\ 8201239794380601242967705784352834944078159160370394130359753170401\ 566308628921873033244575*c_1001_8^29 - 1290115378033562610467967537069192944427352425992642912173977137980\ 93639730166842928566418953052892886762312497492/1076226326331264798\ 7640247958876120248593541156870566988815631832074078826071950634080\ 313261725784374606648915*c_1001_8^28 + 5136317167002740861797303625771454118100682186511190794976159723645\ 66614171464732794826144841789220937421072990017/2832174542977012628\ 3263810418095053285772476728606755233725346926510733752820922721263\ 98226769943256475433925*c_1001_8^27 - 3065453673781288188446094717372672720791712417484269555217385133490\ 8229896198731382505984198581981804666740686149152/53811316316563239\ 9382012397943806012429677057843528349440781591603703941303597531704\ 01566308628921873033244575*c_1001_8^26 + 2922845370481277411454743796174589118694792029038383248011822013403\ 6703311051112109191904433911909138592239694717161/76873309023661771\ 3402874854205437160613824368347897642058259416576719916147996473862\ 8795186946988839004749225*c_1001_8^25 + 3168633117820603021909802763595659216262959662314174051314006955340\ 6272496185510445072276190624023936651753303016222/53811316316563239\ 9382012397943806012429677057843528349440781591603703941303597531704\ 01566308628921873033244575*c_1001_8^24 + 6868181541000026955512009755703274275216733615749905611666928029732\ 35884034013106948555447302590464977448357437261288/5381131631656323\ 9938201239794380601242967705784352834944078159160370394130359753170\ 401566308628921873033244575*c_1001_8^23 + 1593250707455518292673930672084096188133841545439499235435403490485\ 803150749639485411031104619608436464817427818343567/538113163165632\ 3993820123979438060124296770578435283494407815916037039413035975317\ 0401566308628921873033244575*c_1001_8^22 - 4576193138363404600728855473853987201491151854554244418073944207127\ 092212190649942750036398881525728737824782222102649/538113163165632\ 3993820123979438060124296770578435283494407815916037039413035975317\ 0401566308628921873033244575*c_1001_8^21 - 7068217369461616091954620822988044759648313002320857216095643538177\ 904345244472297008300536821235794848085097430326193/538113163165632\ 3993820123979438060124296770578435283494407815916037039413035975317\ 0401566308628921873033244575*c_1001_8^20 - 2685680888178656425377332575328882982260627656749101749860944776479\ 895882492856343688751695088503533927293542935207828/768733090236617\ 7134028748542054371606138243683478976420582594165767199161479964738\ 628795186946988839004749225*c_1001_8^19 + 2287531738224231129249963197058362039804272540559033627258886026262\ 3079998892382167284750974925822493798220980363241368/53811316316563\ 2399382012397943806012429677057843528349440781591603703941303597531\ 70401566308628921873033244575*c_1001_8^18 + 2617199957031681817272800620494193853158345760562371481352949289782\ 98641594917583253657441646095568574955792657184315443/5381131631656\ 3239938201239794380601242967705784352834944078159160370394130359753\ 170401566308628921873033244575*c_1001_8^17 + 8103345538580118836166866163818227183477540849875318817364460609220\ 765062796421773849389491559747520315913882944920016/413933202435101\ 8456784710753413892403305208137257910380313704550797722625412288705\ 415505100663763221002557275*c_1001_8^16 - 8831027039720938373230908406631263448150138089508231494406949509272\ 6175466607100348592717605830508989106905935338609694/53811316316563\ 2399382012397943806012429677057843528349440781591603703941303597531\ 70401566308628921873033244575*c_1001_8^15 - 2453676227959326980027821233701655620729915362914281753832579755523\ 2172543771013269070531944797686972385471571277873956/53811316316563\ 2399382012397943806012429677057843528349440781591603703941303597531\ 70401566308628921873033244575*c_1001_8^14 + 1276455895833849678713611816443336185867814304760530110441583535507\ 2574581149903321572744847108571688580807671163896979/76873309023661\ 7713402874854205437160613824368347897642058259416576719916147996473\ 8628795186946988839004749225*c_1001_8^13 + 5478454583650026513446178766436182466080616558014861405677323752975\ 6533866687634142090474832067600993300998117792978376/53811316316563\ 2399382012397943806012429677057843528349440781591603703941303597531\ 70401566308628921873033244575*c_1001_8^12 - 4049737451368097615624313212867994000082358608133144730293181490427\ 579235365140089964228518476014694553938931245672252/107622632633126\ 4798764024795887612024859354115687056698881563183207407882607195063\ 4080313261725784374606648915*c_1001_8^11 - 2350763463659205300115070956150561907623353895342974010702951692445\ 304256341507927013780940556422079442848629636303973/107622632633126\ 4798764024795887612024859354115687056698881563183207407882607195063\ 4080313261725784374606648915*c_1001_8^10 + 1433206160526101678945240572041648991730217443974244216499727225293\ 1581086859941275059442596661226002559768448426480931/53811316316563\ 2399382012397943806012429677057843528349440781591603703941303597531\ 70401566308628921873033244575*c_1001_8^9 + 2097517212071142713144584046227926176489250071557789407641025888477\ 8876391287924028695723100535342976543033576262508/22898432475133293\ 5907239318273960005289224279933416318910970890044129336724935119874\ 049218334591156906524445*c_1001_8^8 - 5115120190368486234381779763586982230038583632431224618072726054956\ 121414500469722128590197188052387864594786022728369/538113163165632\ 3993820123979438060124296770578435283494407815916037039413035975317\ 0401566308628921873033244575*c_1001_8^7 + 1570543314117772489562947634616073650898611436816085883498207007553\ 92495256696664302334242518251792425712398560819948/7687330902366177\ 1340287485420543716061382436834789764205825941657671991614799647386\ 28795186946988839004749225*c_1001_8^6 + 5140310967245012743179461965604717366545936595514313010813193313739\ 24673323724363151757339313489916158449544234175041/5381131631656323\ 9938201239794380601242967705784352834944078159160370394130359753170\ 401566308628921873033244575*c_1001_8^5 - 1593560921015666914911469038479669945413439174948083898665027469712\ 21926393193663285456683312453320310305757765303537/5381131631656323\ 9938201239794380601242967705784352834944078159160370394130359753170\ 401566308628921873033244575*c_1001_8^4 - 2481977174944724625103200586205674633182821274764297904803611720332\ 7883100330940299063673874062720301489337207793418/53811316316563239\ 9382012397943806012429677057843528349440781591603703941303597531704\ 01566308628921873033244575*c_1001_8^3 + 4264226729785987785478790372659301837709562792110266816449224639561\ 246881066259571448870826919738961284992378557069/107622632633126479\ 8764024795887612024859354115687056698881563183207407882607195063408\ 0313261725784374606648915*c_1001_8^2 - 2830980067849120296812724154071669996567696565515181152599949340814\ 02749664533412079602656899965025511739922681826/7687330902366177134\ 0287485420543716061382436834789764205825941657671991614799647386287\ 95186946988839004749225*c_1001_8 - 1671904875065406832070005593476729911746521440892877762936880076210\ 87408780862531232688820024777478001273692101696/5381131631656323993\ 8201239794380601242967705784352834944078159160370394130359753170401\ 566308628921873033244575, c_0011_0 - 1, c_0011_10 - 17553684707169976466610642259259286234527633149718966261411\ 27642973472395239772744987646623/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^29 + 557818035845756814314981295576049471211246568236059059352520\ 1556740131444359229549321975735/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^28 - 5718093008892880379223709525645848860469766338044913045679095\ 6650347354280416013435905833797/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^27 + 2302545229569662752803305149264423955572461017190914233367303\ 65779430275264049198614698557174/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^26 - 129250734346957773002324485433910932639328743177443714069936\ 2097214593845009364567735851479143/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^25 + 9793567005129643124517530453692904242634605472670717383211\ 22919347111199543025665019208510286/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^24 - 273689444075283294370471307774338597230865628652120490893\ 2553893036748967820028422298651678703/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^23 - 4122396908799880066245433972610497381340772569176076976\ 493798992594174958039088781177552364332/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^22 + 38873051675348260554178472491650091780101291963244195\ 529294488351794227167151291254977533382756/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^21 + 19339155794550913124031018742636338386186121939236\ 500326529165603496505070200690710850478728000/129491508927411824852\ 9052042823961916143783557940007635953582238840671772787131513722572\ 74651*c_1001_8^20 + 41972677494848783983787002601069047887002738257\ 942820190896791396450894312035483824179030432582/129491508927411824\ 8529052042823961916143783557940007635953582238840671772787131513722\ 57274651*c_1001_8^19 - 28680114282126686031423950532025329801012543\ 5378647748272348452079579566356100787213365131047602/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^18 - 1420785342129532708973792643264734889667\ 460446978679087438236126802788036492645419264642282467660/129491508\ 9274118248529052042823961916143783557940007635953582238840671772787\ 13151372257274651*c_1001_8^17 + 11308089643925330046399163405391227\ 73440863370427340053576995184566095005674810066763189520819748/1294\ 9150892741182485290520428239619161437835579400076359535822388406717\ 7278713151372257274651*c_1001_8^16 + 2420275926339887879472308083003251003737127443574984621044692011031\ 364888742252591592793631485321/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 15 + 51173309774191639757801288828664296669317473835531180345881752\ 6922146465832798800492077154606879/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^14 - 9028340352075580521333472522139166953166607485042338895027\ 89103730140031707731493466194629890831/1294915089274118248529052042\ 82396191614378355794000763595358223884067177278713151372257274651*c\ _1001_8^13 - 502247077556774059572941689828412023407496122739900184\ 3970720552029498228500296613133856241573/68153425751269381501529054\ 88547167979704123989157934926071485467582483014669113230118803929*c\ _1001_8^12 + 761207883763472356586106345771695362622043299737663416\ 739041286960532784988387309279471786146171/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^11 + 34653446046947876595522606909183209484764632221401\ 5537124222810150967364664374292264819074413885/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^10 - 1380735846196297987224358694496129547645760054\ 56728086939605657638796209622448431470243012692149/1294915089274118\ 2485290520428239619161437835579400076359535822388406717727871315137\ 2257274651*c_1001_8^9 - 4455030713537040793542688246105620341030885\ 1933865616186638204054925886034142626484970316017664/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^8 + 78310020895296956799400337086866982787733\ 946459460183086217815277670321121173634186189300975294/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^7 + 323600993118261966057431715488282418173\ 2365991019061333472112967453947469150506177535757397165/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8^6 - 34190086969804963555530852968658720932\ 7533697249505351265058666952367078530712455207697293323/68153425751\ 2693815015290548854716797970412398915793492607148546758248301466911\ 3230118803929*c_1001_8^5 + 9752408494935181426765533457349887357646\ 287769172324617139664879406170399951136096588126797/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8^4 + 788162300584600346606958015805429796803142\ 777732860402888630887151055888489582701479032945765/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8^3 + 415068395940709113606331908268342478194145\ 251898504765641150761624171028821927766518118710469/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8^2 - 330094578719349493138642649665060747976938\ 92663058652910194143341042489479464648887715711329/1294915089274118\ 2485290520428239619161437835579400076359535822388406717727871315137\ 2257274651*c_1001_8 - 184285390441524480312369995116688013929064899\ 65743186781992206619617326222330439392122746750/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651, c_0011_5 + 371244834623308863143226120675098333375076388942696440560781\ 73850790401832113173440217547081/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^29 - 625629164806092087623661534005348100514105771285404464254936\ 50735371431765424925070542629290/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^28 + 112797730104198650733636923131687186446335325092430548065986\ 3261855317485167605505831433961114/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^27 - 3204421202858789639285074727713796471299907473003671565698\ 028043152738148821862990572035104586/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^26 + 22915524479307947698928169673924765170040567625316958225\ 322572767051588876490797095828222547014/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^25 + 12509776068860026182957952957833783817600578723493337\ 568416804029080618255730735873654573177356/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^24 + 83833957998436741859062175789185220036397612597650\ 130532715369338180865941050837921046336380963/129491508927411824852\ 9052042823961916143783557940007635953582238840671772787131513722572\ 74651*c_1001_8^23 + 21750149823065376756233492106633649034061535205\ 9146187592271528318983386781430245749318021428813/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^22 - 4692027331377367825767496503547894322450183\ 94828384455480838847455075387735117114970032771172707/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^21 - 103440150532134134799780231187759665353\ 9733234012991059146304239729299750499932270803388040423151/12949150\ 8927411824852905204282396191614378355794000763595358223884067177278\ 713151372257274651*c_1001_8^20 - 2570632351917622865732011063541360\ 674325637701932911081886813035802247468672335614369796531113501/129\ 4915089274118248529052042823961916143783557940007635953582238840671\ 77278713151372257274651*c_1001_8^19 + 1872266463785288454649338520644694175379542088957361834001408905164\ 308844201390059909763549442613/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 18 + 31944817700972898007469278830640444830966054761728552624996853\ 809049133379224792793089445701116027/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^17 + 24220677045858026190795856018496806676450132461044749258\ 958428427852683528728710423707949338609336/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^16 - 46266024884250155277580244375996924048681646723794\ 78942799000018378075513975951264148514541809212/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651*c_1001_8^15 - 814264671075189068233402825737097931537476304\ 2422205813852434749231884488763923633100029993704193/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^14 + 7297722452522025962212334020394201006422\ 972097150933099595293627259671253837144768934941079363360/129491508\ 9274118248529052042823961916143783557940007635953582238840671772787\ 13151372257274651*c_1001_8^13 + 53756849295420090794768524088570162\ 2427634292080282682332607578900687549291898146332042263742334/68153\ 4257512693815015290548854716797970412398915793492607148546758248301\ 4669113230118803929*c_1001_8^12 + 886596198695151849477514440451871\ 579810953212301475234512128378580218198945892981712445177107027/129\ 4915089274118248529052042823961916143783557940007635953582238840671\ 77278713151372257274651*c_1001_8^11 - 2364823391691091792500775723820018923277856271795260713408944264958\ 399248208484282029791953404162/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 10 + 42449988435467691712946271037995876641417324649454474321241418\ 0051826226662375021927881522935693/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^9 + 98351660272952032729784940429784009989179703265482784420757\ 1780116396723818862896366179392806811/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^8 - 21995866660376260212992731899033824027831271416723284433\ 6033400765176862362209252910077502524687/12949150892741182485290520\ 4282396191614378355794000763595358223884067177278713151372257274651\ *c_1001_8^7 - 82199447722829892745193946371884350857476893439086947\ 112050499780207753157222463160882045552541/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^6 + 133080877158488888520659901523107887985752775092245\ 6783163932973117869538996344377193765087095/68153425751269381501529\ 0548854716797970412398915793492607148546758248301466911323011880392\ 9*c_1001_8^5 + 1289106667761893311120693711901109250966177210566497\ 5812562784545490419774502664958276278977353/12949150892741182485290\ 5204282396191614378355794000763595358223884067177278713151372257274\ 651*c_1001_8^4 - 26132694545978759506234307728648322069893377382775\ 90862526561631786611747860984803448131872858/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^3 - 5334446953961660747560827613623761491206822535256\ 90506556363763654165002788068535451047173431/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^2 - 1117052693165661851997403878593209873955787499861\ 97084446209429399916571778913902848832354796/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8 + 532980707341952247954946333489642040536293872732987\ 10460240595900857517521070233143328403731/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1, c_0011_6 + 123181290058345301219284548042551140396816772203247402284804\ 006504323629251249547533422128194/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^29 - 20718970815935031265683716430248820814340209298113908148981\ 5096966878038234122231339804061688/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^28 + 3741200536894472373483207360347879923035178435289292854043\ 702502086563892997948161270103302224/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^27 - 10618024023426288871721230335678720452214254640446438132\ 780214646413808824216651339558726747053/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^26 + 75973397123867905553368928463703700124753560980773688\ 786761156276977071729324367169456441360091/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^25 + 41855194600125735828656133236308977107054273328524\ 084375063381133440920174784948695321453680080/129491508927411824852\ 9052042823961916143783557940007635953582238840671772787131513722572\ 74651*c_1001_8^24 + 27768793265913017487857347803994306733730724438\ 2227464072779232803808187603022683389278958220387/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^23 + 7229472913215559098708692613361523105992650\ 70906146370854294492430476980074271795107484445267553/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^22 - 155644460534049474855640020925460683984\ 2063105822200501079569020886500255722173848775363271166166/12949150\ 8927411824852905204282396191614378355794000763595358223884067177278\ 713151372257274651*c_1001_8^21 - 3440199154190173363146044635789098\ 381439316793348322214417350592702577660720585000802933433352768/129\ 4915089274118248529052042823961916143783557940007635953582238840671\ 77278713151372257274651*c_1001_8^20 - 8526114930604160462338845422087489483104326616016844088385595424229\ 423824178962254486450669486473/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 19 + 61914796104698703527258445390729269333823016603634650334664439\ 64103267839426526538253770933714496/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^18 + 106052401178226461688223499158479979389125905865604525712\ 293235564818763127737214071348836892996280/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^17 + 80618676929237458042210876279029888603205147955467\ 975066944830518158080748936590942504859762201368/129491508927411824\ 8529052042823961916143783557940007635953582238840671772787131513722\ 57274651*c_1001_8^16 - 15704463076737771559151938982851478071245345\ 399877441380798880158245740723944844458725820543588538/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^15 - 26799380406048691868751571119517312604\ 402931328310211949872137640608887944774686904804149718123888/129491\ 5089274118248529052042823961916143783557940007635953582238840671772\ 78713151372257274651*c_1001_8^14 + 2430535825601377877337570204303515738796357112134783202795499422084\ 8355273286013796056515655800016/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^13 + 1762583496346904573249144580062266412158260952197207603332005\ 341622483243317394584740625237999623/681534257512693815015290548854\ 7167979704123989157934926071485467582483014669113230118803929*c_100\ 1_8^12 + 2553110819582874992146247027844442100777120924715276073444\ 019471459744410561068134700567191671068/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^11 - 78444040415973849044954158629371834253497812271208219\ 60496507520223356911296435596456637284844447/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^10 + 150976387537008503587116686398048358171606306652\ 6267985006829909456970970925918045579221542852385/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^9 + 31667511820350708591122208580486586370052635\ 16668191423450280929021900334735701216641261233709649/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^8 - 8544430494984231750541245779419403040359\ 95889775948215831166071923123311981055695014150354321209/1294915089\ 2741182485290520428239619161437835579400076359535822388406717727871\ 3151372257274651*c_1001_8^7 - 2885183580050998776055755745252099807\ 97924420517740660780167484767501623742734236257513928223449/1294915\ 0892741182485290520428239619161437835579400076359535822388406717727\ 8713151372257274651*c_1001_8^6 + 5145797825035910989891772441991752\ 769421664741459027374759772689963497829938735749349845423167/681534\ 2575126938150152905488547167979704123989157934926071485467582483014\ 669113230118803929*c_1001_8^5 + 23307376054931671327215952055849868\ 860852119056350024713145564567667658953203096720825204960560/129491\ 5089274118248529052042823961916143783557940007635953582238840671772\ 78713151372257274651*c_1001_8^4 - 985037164627093750869257697412899\ 3026078971092840651186078038351838336549623704547640998900971/12949\ 1508927411824852905204282396191614378355794000763595358223884067177\ 278713151372257274651*c_1001_8^3 - 1911836528656147919691788837823680574734806054816939479468888662756\ 636473282682302902809645333/129491508927411824852905204282396191614\ 378355794000763595358223884067177278713151372257274651*c_1001_8^2 - 3903872998703937305358289190461814143483195991345459218130265945978\ 46645905357765261568382209/1294915089274118248529052042823961916143\ 78355794000763595358223884067177278713151372257274651*c_1001_8 + 1994824210442631909986163672125682319970770489841645326627306823548\ 05357773689395621288864261/1294915089274118248529052042823961916143\ 78355794000763595358223884067177278713151372257274651, c_0011_8 + 154020462441837321645977364705897631286136876164428476191324\ 99943936240652070002602315564883/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^29 - 590501040215764155296184600817473055859266668905021110200460\ 95386481024125069836671748626734/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^28 + 510885398116529971801415380788869236847194799585527906356956\ 389694749399306134627855226454528/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^27 - 23162810751156549242461236587118888323343650143330057658988\ 92154846878228185000806037084753474/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^26 + 119765781030031171339411139129675361531310049892531098992\ 36492142465515925837758521227245021834/1294915089274118248529052042\ 82396191614378355794000763595358223884067177278713151372257274651*c\ _1001_8^25 - 142166958059678577672273643726416882971743698198573385\ 42712407732655988356314232662315204146681/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^24 + 159065414853215476060964729024652454763034002405798\ 75078328515461313392978022375228477925231224/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^23 + 944580307444622585890805004278460533907429648436\ 6500306175511652287972552676378685442265232063/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^22 - 4194741171187959848942581660401362355600083382\ 45766398683230323445349923059117383354788579464965/1294915089274118\ 2485290520428239619161437835579400076359535822388406717727871315137\ 2257274651*c_1001_8^21 - 936543165750677475892117432749237026634460\ 77233187849409909231286289746877789047049012328593477/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^20 - 288083954893672567290270061313958685470\ 4686836911043256559040000578516271571964880923922340389/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8^19 + 3454784517476333970756113780939768054\ 793660319866546234325659754864488083991361300098165698939840/129491\ 5089274118248529052042823961916143783557940007635953582238840671772\ 78713151372257274651*c_1001_8^18 + 1257413085490212232745946805427823307003994259043890349763241281452\ 5141906819426559519438098893401/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^17 - 1882442616658275581256928634415922486814313126074881255881681\ 6401740190868380590172196562542093001/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^16 - 3461066905818153059301986006795532990149346684619896170\ 7797642797542834255379804952040926504664199/12949150892741182485290\ 5204282396191614378355794000763595358223884067177278713151372257274\ 651*c_1001_8^15 - 1025973848254921775056254095056216121405639495688\ 6066423557315614123768744780740971256119302681481/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^14 + 8649171416638701284279857415896968176798272\ 349341911728963503152125773787198852863194918397972489/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^13 - 18305372184873358820571984917995093454\ 062180521737448363966189352186371944631970663793962079547/681534257\ 5126938150152905488547167979704123989157934926071485467582483014669\ 113230118803929*c_1001_8^12 - 1068568242122288377488253840268995034\ 1954904731260174598880169952920913213301769977190361792321837/12949\ 1508927411824852905204282396191614378355794000763595358223884067177\ 278713151372257274651*c_1001_8^11 - 5534576879046313509010216735054634764781726394355651187362932613854\ 994472950704151511684071057480/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 10 + 98268694263844139690581511174996426972814061849243999210961672\ 4527937546808543689674525244000472/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^9 + 33410432158854493953977881942483916873687631849201175413547\ 1992552944777016557059621832962518649/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^8 - 10602998255579433667930099563304265380610926843256187445\ 90881271845923009147902133666709950220994/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^7 - 1392404464935026349805091004680330024228347179528295\ 72367159561169620866367392086032808937656519/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^6 + 4850230310470610906848799540468809734744839996374\ 133802710387486659002338080732414074175701089/681534257512693815015\ 2905488547167979704123989157934926071485467582483014669113230118803\ 929*c_1001_8^5 - 35895141247796425803272306134484008215547334786308\ 69614819160567325689932474576943495916526682/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^4 - 1263083724850363435050638457705097725087610018180\ 3100743461927027845571580717764241411030702543/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^3 - 24220910191688534571903018388368503440071252723\ 8444892571085204864748644767995480100828098001/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^2 + 54066049291865063069007310972934876887275916030\ 7687100988096320680595636826051492095693818074/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8 + 2800970935941401861687717385319459593761336838126\ 92664959387613775506961296477530620547042474/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651, c_0101_0 + 514379969160873973451012644781748761906003826288018396921863\ 49960659815701795088279838458079/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^29 - 844474547880223466589655294446809509882942752918604926023804\ 93301702305181259737167554169408/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^28 + 155947619478112141928232626402600948774625164487634255351993\ 3563184193106706226630635734353572/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^27 - 4372341173934121824304524217998815765829648009109298410801\ 656392571945325924444083258008802069/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^26 + 31568425186558839875074003259515398450204122187503893480\ 230107545713984795998115948847604522910/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^25 + 18688577819197553639863780138155055267574904943633800\ 622749570911762714726027877094146748888820/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^24 + 11711669585961484701352956243334531856372121299836\ 5963384936831160816124202300883805548668185180/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^23 + 3066847948020806457161291220495210362259067234\ 56004320424239237259415621591971030664748476926132/1294915089274118\ 2485290520428239619161437835579400076359535822388406717727871315137\ 2257274651*c_1001_8^22 - 636168164800651778363503943470487604073684\ 912133259241963077173126092921323175985978173067021496/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^21 - 14588468472484797733423371500069606424\ 56510735448405284277383516574551062067432350304959428665093/1294915\ 0892741182485290520428239619161437835579400076359535822388406717727\ 8713151372257274651*c_1001_8^20 - 362778330548171161883217564402843\ 4905515367669562069011914887390588290942628754136782519504248291/12\ 9491508927411824852905204282396191614378355794000763595358223884067\ 177278713151372257274651*c_1001_8^19 + 2425356044384383228442439575415723365600906400995237597255136377617\ 382390731187862119099019853620/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 18 + 44343839239960232941452185092246549037046809547787205798576568\ 552048900098058164199643665198258049/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^17 + 35490597985147911984232709162420044519717200449405989049\ 234753563082803888423480632356174159084703/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^16 - 46110866557281430665802328068237492890050837414533\ 15527248900453317630388388460012433777185668690/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651*c_1001_8^15 - 111348959565920644423069445672188895255722067\ 36978248957990905631947982006438231145293092033572862/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^14 + 960999249938419136388432209664480889922\ 4489243803844033636051024194298518878987007790919063420539/12949150\ 8927411824852905204282396191614378355794000763595358223884067177278\ 713151372257274651*c_1001_8^13 + 7582894843026505888831690061255930\ 55584705202902716630713938901044313747201402494387477282578469/6815\ 3425751269381501529054885471679797041239891579349260714854675824830\ 14669113230118803929*c_1001_8^12 + 1872960929206302921554603038618175703412439734772510654014745550210\ 858694052156406035009761773500/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 11 - 30593626916759210037270798182470588309963057841332297713112141\ 36751355169176524079782120354412748/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^10 + 487123530839433635110407030173514304039629511048309243631\ 984589195514817018690885840664169966752/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^9 + 133293521374855844542408329181943952857420883289244727\ 8348361208500045163393709343825476925349649/12949150892741182485290\ 5204282396191614378355794000763595358223884067177278713151372257274\ 651*c_1001_8^8 - 26197615081448549234934325555614439591806250274408\ 5081716199185621483689194952633876985903773923/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^7 - 10974212447525623588010881042348150094556197400\ 7266139838209540940238573000845277075956301332644/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^6 + 16518142509562960080563032288394715185272376\ 58421741559050075765139317073996781839658430389757/6815342575126938\ 1501529054885471679797041239891579349260714854675824830146691132301\ 18803929*c_1001_8^5 + 124689353503531732918481817800157497739193098\ 11218165586713162612283721898457381558717108594628/1294915089274118\ 2485290520428239619161437835579400076359535822388406717727871315137\ 2257274651*c_1001_8^4 - 3460369726076141774338470699796617830075596\ 392477036987668311934259452616432705059631536716225/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8^3 - 722589504831651814381861007649360427550464\ 759262641362562178913449309824400804553333469052269/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8^2 - 147011054255634612262272766953853276039534\ 716200276586172693925362641633673213552651266591686/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8 - 86218842125645618524183235713706417381881667\ 715958211976255757275759532340375936101642956338/129491508927411824\ 8529052042823961916143783557940007635953582238840671772787131513722\ 57274651, c_0101_1 - 113028652328772963020678519072450772571428278861712351950673\ 645976233791869256716314425499502/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^29 + 18578319030052046539906031444035032546604154089246270645343\ 7062163594808680507307381373480186/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^28 - 3427989610966415395177712128479345798429917885013757338123\ 984641150042357351571596317403216652/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^27 + 96152195444252437853191452532788764451702380279640428861\ 12134420577177558442247149855571883862/1294915089274118248529052042\ 82396191614378355794000763595358223884067177278713151372257274651*c\ _1001_8^26 - 694120629213651301441291580465415293971335344401773101\ 79009603932281594483154414583469182551083/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^25 - 408735830379940177580612632286584455286416637006805\ 78390153774466511511416541949182434473052784/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^24 - 257759832303976553890262472216124664603670705208\ 456197737247904051734451531408250247513687681785/129491508927411824\ 8529052042823961916143783557940007635953582238840671772787131513722\ 57274651*c_1001_8^23 - 67405388859908939962353939355113828854360633\ 9856776787446170185675735502116745077620340469302341/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^22 + 1396935698466528586622818511763976905432\ 606090593168578578063019492678795662937301042179138345490/129491508\ 9274118248529052042823961916143783557940007635953582238840671772787\ 13151372257274651*c_1001_8^21 + 31964055112924371282057933876018914\ 73541874147315904216717889655415171413418497523931252696230190/1294\ 9150892741182485290520428239619161437835579400076359535822388406717\ 7278713151372257274651*c_1001_8^20 + 7972467521316567600065929538237289821843815478140549414324995336474\ 929996927747830534075925353734/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 19 - 53137994222699534777145587080869089189579567198135589457650285\ 62089085130536405330125752960409862/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^18 - 973498996720111840024956724839810393795537291012147855119\ 19807940830605285530007865665972289619717/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^17 - 777937492496100606247646285680607792645205284180880\ 10396779929711671191546634220709714308431266566/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651*c_1001_8^16 + 951353608709763716032642314788035269412657928\ 7083643015778550068609660890463175926721042040942080/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^15 + 2334150711470798001326413424882390400382\ 2484464968991028602600295564291091511494355190644758454655/12949150\ 8927411824852905204282396191614378355794000763595358223884067177278\ 713151372257274651*c_1001_8^14 - 2159769995614166388040362244443534\ 8912589781919853843691087303101335194252037396234498567005937075/12\ 9491508927411824852905204282396191614378355794000763595358223884067\ 177278713151372257274651*c_1001_8^13 - 1653341236362816377786480571675661374410149113158213872283772326243\ 291872734947154452683707427763/681534257512693815015290548854716797\ 9704123989157934926071485467582483014669113230118803929*c_1001_8^12 - 39967768153320286079269390453419756396033004826372118447565919705\ 29075926840929339602050544316428/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^11 + 646306677324349415048043109230422814280327662480655642392579\ 8591427488736064871053493515259829715/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^10 - 1298413132039240626332467248612153989261492339105562435\ 950915286451708758038694436470705346609000/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^9 - 293748747901764146823912088142949853790416135271377\ 8005942520211567013727421140489072300987691194/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^8 + 61664529899918884073800733596506469548143835370\ 0799114891317579685814974319762311921067294005749/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^7 + 23850820821831573364209538101519211770392222\ 5192423185686688670311179140590791720773125131987664/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^6 - 39422745203932453425139703476830859694786\ 78742543637604949795570583828752008054762746476680751/6815342575126\ 9381501529054885471679797041239891579349260714854675824830146691132\ 30118803929*c_1001_8^5 - 276589484992331205016651951350851001164686\ 68529699509131882874654326088977233364325106356663072/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^4 + 8234206039484447013074862057510555167645\ 342584310730195431600534619900208804134349130063659033/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^3 + 168579961427561963531305786140341423147\ 0523206206160968725699791997847225741093771125161707080/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8^2 + 31809814255994216982573550419962841667\ 9379267651990267638601961306983522274172554114661971225/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8 - 1034648559818680040219596873939636383390\ 48834432755940361806285498250456797808571971590695436/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651, c_0101_7 - 222325364759220137581465061827252384656956640283110399552715\ 91898936334590897943479314022766/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^29 + 784588647003373718518550418843091793023848612797253429721953\ 95563381118094114983224103148816/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^28 - 736525068421965771207605747191036251676256125657063703260760\ 108962741747241479851068409201906/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^27 + 31539300458033611982470867976278459885621949620349208626168\ 55924733220702759875219645727280147/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^26 - 170205072954236230342515030312609490335352780826977977459\ 49563857384765753571986280326298170028/1294915089274118248529052042\ 82396191614378355794000763595358223884067177278713151372257274651*c\ _1001_8^25 + 172050596998001876452110934557482049575459719266499406\ 44831551082562910463736950486606335851719/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^24 - 316401137109716678127802862259331497037732110732263\ 50263103083838553265271462536269372862300144/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^23 - 332083657896344612131583616380904427164152397321\ 89635407192890156857039627262658603077355249015/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651*c_1001_8^22 + 541086580129736557501046538317790582207313280\ 639995809731787093134559748763034402273820863882459/129491508927411\ 8248529052042823961916143783557940007635953582238840671772787131513\ 72257274651*c_1001_8^21 + 15592650352610017236729180947847600708422\ 8611975147840383307371455595351496535070065603016513795/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8^20 + 3158519609901288798396112287100772177\ 25091195356557542200835274710986599130840100358360860408943/1294915\ 0892741182485290520428239619161437835579400076359535822388406717727\ 8713151372257274651*c_1001_8^19 - 421488770739916060566524109289851\ 2559829173964407023769114350423855679345431053679654112534593046/12\ 9491508927411824852905204282396191614378355794000763595358223884067\ 177278713151372257274651*c_1001_8^18 - 1771898932284347446637034968029891417635327846127571432157777255473\ 1972463987129640589928595381733/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^17 + 2093081080007946975381224691648181653361832655428797099277143\ 0264511780100566831537853702493385456/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^16 + 3651374313883320116465689354213043296503795179061968716\ 7649162619078771276304251713933337116420844/12949150892741182485290\ 5204282396191614378355794000763595358223884067177278713151372257274\ 651*c_1001_8^15 + 7660368869890407172596234779185460325105406441207\ 762633017880584994922108583815226367943571920314/129491508927411824\ 8529052042823961916143783557940007635953582238840671772787131513722\ 57274651*c_1001_8^14 - 11374253670510147477566779275683878564792986\ 224608692684050193849579435741791326103015427030666899/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^13 + 39896191265675124113703636105810201396\ 871525074263045085393077542183376763818564034115431816937/681534257\ 5126938150152905488547167979704123989157934926071485467582483014669\ 113230118803929*c_1001_8^12 + 1173260220694013963410157802403281342\ 8195208704718633082196621919935034290872478860276316714756209/12949\ 1508927411824852905204282396191614378355794000763595358223884067177\ 278713151372257274651*c_1001_8^11 + 4949955256501478071021448298511223375735252477139922305663699943301\ 328622443464060809489790904594/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 10 - 17012919654675541725787345953664895636762945936436391204666468\ 75361241455702166760792167706976795/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^9 - 2313671194077805171777288198770109220232226442385997274675\ 40257285739253563671207467983713023652/1294915089274118248529052042\ 82396191614378355794000763595358223884067177278713151372257274651*c\ _1001_8^8 + 1217288405928037485119055793707335510046915921067898776\ 270824532240163682468354693104054380104208/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^7 + 452893228857999989807236816539311848437313974096459\ 3390506010884932042808221896426504986543271/12949150892741182485290\ 5204282396191614378355794000763595358223884067177278713151372257274\ 651*c_1001_8^6 - 41456457810646878284696062653560849100797687518408\ 75789983887380384800298127721342733451225856/6815342575126938150152\ 9054885471679797041239891579349260714854675824830146691132301188039\ 29*c_1001_8^5 + 676216604780054933936385144061151971282604380660459\ 6862945246059956416364872026055036386932179/12949150892741182485290\ 5204282396191614378355794000763595358223884067177278713151372257274\ 651*c_1001_8^4 + 11331456862188864419493344691207043720289842361509\ 277664351368355345971482748303673276148329138/129491508927411824852\ 9052042823961916143783557940007635953582238840671772787131513722572\ 74651*c_1001_8^3 + 693053115815782889422565772071591580372450223494\ 76971184878404071694084510583360209830876606/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^2 - 5438081910964262204168061857056283111585897308911\ 16891208935078866291118921049686401795001488/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8 - 308124808803941135935241512779579543632357943890173\ 338577377542563168636286378645654098503747/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51, c_1001_10 + 11937004621913981001973625895376062016673987283949363999809\ 164467881593366059720449578205532/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^29 - 15759730766636450934202075397112507356918142046500463092216\ 704862045244286444512138680472247/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^28 + 35625898789068782227840647331218000814497910766242264814796\ 9263277002927510989789572781586502/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^27 - 8992649277345872735268349126759164000262486012423554421896\ 97938090126846859007810929199163157/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^26 + 701944344898542508808671282590982964090580476316940844403\ 2287836100571397210913622562628554889/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^25 + 6640552829120276462132696679593950659298149280461029429\ 143327836029116978760988646972989693926/129491508927411824852905204\ 282396191614378355794000763595358223884067177278713151372257274651*\ c_1001_8^24 + 28964287356093420144744213229595434890874640165938373\ 014548030135416038967970714891595770132710/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^23 + 80236471994180241767656393939700737924863917054950\ 815626203277239933588298227333369795635390320/129491508927411824852\ 9052042823961916143783557940007635953582238840671772787131513722572\ 74651*c_1001_8^22 - 12322354214614684747694515988847641475729354393\ 9770347764554676731013902068093138966563542116122/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^21 - 3817625310245213054134070224538884549298591\ 79247732695829843261473908052345959912853978229420841/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^20 - 958093685421812211700569885638523064602\ 346346636963364465211741284768985321459099665721412658594/129491508\ 9274118248529052042823961916143783557940007635953582238840671772787\ 13151372257274651*c_1001_8^19 + 27170366560442309879669245464760690\ 8856813725096115992087289015903480288666100413070290223569484/12949\ 1508927411824852905204282396191614378355794000763595358223884067177\ 278713151372257274651*c_1001_8^18 + 1042182877757091466437662715411548986551859490615394920416395437089\ 1774423047939826408436003314957/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^17 + 1156620347362302989570527367533571836309637966595755905896707\ 7671907486685172895062889675098779901/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^16 + 2152890406088389237068690913270381891836865694777040469\ 223125819922451103948726579074714695261971/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^15 - 23579056540519249142376400172498381987072162888487\ 14050547714954290270872365935259087481503190530/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651*c_1001_8^14 + 141281532736768881398566269186106977945533326\ 8428938476796083279052231610086792943193898664338815/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^13 + 2058994008352648180296808978385181420173\ 68851746911723648404404492398423911044308828304389642794/6815342575\ 1269381501529054885471679797041239891579349260714854675824830146691\ 13230118803929*c_1001_8^12 + 16247783162723552065213748327549134499\ 71946625093848079347196258857384167860950269994233240432234/1294915\ 0892741182485290520428239619161437835579400076359535822388406717727\ 8713151372257274651*c_1001_8^11 - 354404396034504109116410965699651\ 398731101575987768558431556610428183946775679500033849858586089/129\ 4915089274118248529052042823961916143783557940007635953582238840671\ 77278713151372257274651*c_1001_8^10 - 6086455333493573914769603456490982561990090979049050385345209923185\ 3804171294635377129868543392/12949150892741182485290520428239619161\ 4378355794000763595358223884067177278713151372257274651*c_1001_8^9 + 3112134776328449931817407212191301797851294124382529459972092301502\ 06626247366127596457271068973/1294915089274118248529052042823961916\ 14378355794000763595358223884067177278713151372257274651*c_1001_8^8 + 44563969983665638683501351744681367154889127217184525763423130010\ 333276461561034444722893821920/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 7 - 236803929438052698583265813504360273377659741767684727434644401\ 22421759428950003077693460988331/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^6 - 1025879071518064609568804595569416886573460397484436737107757\ 64994117344518825092545297442014/6815342575126938150152905488547167\ 979704123989157934926071485467582483014669113230118803929*c_1001_8^\ 5 + 337864796111625722361452632712865307804692131155771899063064349\ 6467785784955110382489350260059/12949150892741182485290520428239619\ 1614378355794000763595358223884067177278713151372257274651*c_1001_8\ ^4 + 16951118915684499085609313050869157738612748725914874705268767\ 18277234664831737306989802739783/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^3 - 1931212780881148462259231136877458495223065054604989570900534\ 03515096725627524454572692469782/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^2 - 2318086880896746242122341844874446142997370052654494991177506\ 94114975008124456302143107424251/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8 - 116710913713724534079157415461780025630823272224860090534865860\ 36434249101584732045118356218/1294915089274118248529052042823961916\ 14378355794000763595358223884067177278713151372257274651, c_1001_2 + 106388342132480186981193325602950286927173907236720804472272\ 622403956609928751450776058215178/129491508927411824852905204282396\ 191614378355794000763595358223884067177278713151372257274651*c_1001\ _8^29 - 17386709378090559988865110407280238300692654601432803849780\ 5514963425897793323832513477276999/12949150892741182485290520428239\ 6191614378355794000763595358223884067177278713151372257274651*c_100\ 1_8^28 + 3226153760200082464692883946917810567245531619947819083673\ 432428543868547263669840865196643791/129491508927411824852905204282\ 396191614378355794000763595358223884067177278713151372257274651*c_1\ 001_8^27 - 90213026870079594540374109147580739437402566916418496172\ 15976384822603960235562895112441458424/1294915089274118248529052042\ 82396191614378355794000763595358223884067177278713151372257274651*c\ _1001_8^26 + 652844594085191750000065847573756895440714125079787259\ 43168913821265330765134911979252329489230/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^25 + 390041085606986866402702321849113473535718069373941\ 08877103494497074357800631562788720309426416/1294915089274118248529\ 0520428239619161437835579400076359535822388406717727871315137225727\ 4651*c_1001_8^24 + 243665624160540457177717579836857955516629504188\ 092548133838765983452322132035459636934183004015/129491508927411824\ 8529052042823961916143783557940007635953582238840671772787131513722\ 57274651*c_1001_8^23 + 63754953176298971332551612782916050665718783\ 2117412347167558647837320214070162266484570510837702/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^22 - 1305862548187483536724135925746138418146\ 125804324704457870678785092512998038589258593918545524647/129491508\ 9274118248529052042823961916143783557940007635953582238840671772787\ 13151372257274651*c_1001_8^21 - 30124193379759440169044119026472797\ 64991184639789808849024813610221528237258945396177971039248992/1294\ 9150892741182485290520428239619161437835579400076359535822388406717\ 7278713151372257274651*c_1001_8^20 - 7543339523853047435475351792236607926169263966892351841249406366977\ 593110051719632516372921510567/129491508927411824852905204282396191\ 614378355794000763595358223884067177278713151372257274651*c_1001_8^\ 19 + 48894856984848936757128218984604469817480708218211456064211243\ 07101449282803518514147407264301026/1294915089274118248529052042823\ 96191614378355794000763595358223884067177278713151372257274651*c_10\ 01_8^18 + 915733248920292154011995147224379538003078641894680651099\ 25995435011963461622325078649474047170513/1294915089274118248529052\ 0428239619161437835579400076359535822388406717727871315137225727465\ 1*c_1001_8^17 + 740961702831021861995986353213238245030447863501263\ 55862706554089535275351995335731289132609807337/1294915089274118248\ 5290520428239619161437835579400076359535822388406717727871315137225\ 7274651*c_1001_8^16 - 720452422459719300703584740115753796485334777\ 7430967170741344071347305472260926252024504160661619/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^15 - 2067008869168950045949228072002153255575\ 7250288642878082312294573810145070153477042500305832427225/12949150\ 8927411824852905204282396191614378355794000763595358223884067177278\ 713151372257274651*c_1001_8^14 + 2053602133749496871249839573910766\ 6803668137871563922011499417733409223006507304145499756020697588/12\ 9491508927411824852905204282396191614378355794000763595358223884067\ 177278713151372257274651*c_1001_8^13 + 1549264308981899190747378780177174235480053557527636564133227817489\ 604174120362253417266484978242/681534257512693815015290548854716797\ 9704123989157934926071485467582483014669113230118803929*c_1001_8^12 + 40188497452944061756786465106155159925905945635654574517828570880\ 95683419491733264260297845180696/1294915089274118248529052042823961\ 91614378355794000763595358223884067177278713151372257274651*c_1001_\ 8^11 - 566902746580271456260707928221318568245395729045313218742960\ 5850633833183331102691339742181234760/12949150892741182485290520428\ 2396191614378355794000763595358223884067177278713151372257274651*c_\ 1001_8^10 + 1407499303605418678763622925613908610246843391602538593\ 003472513099435988266452475403253453935994/129491508927411824852905\ 2042823961916143783557940007635953582238840671772787131513722572746\ 51*c_1001_8^9 + 275833855433025157036166419066543799610470381713664\ 4361001194394842748565642156637781856660723459/12949150892741182485\ 2905204282396191614378355794000763595358223884067177278713151372257\ 274651*c_1001_8^8 - 59878673242899747846085389252912111874731877346\ 9440796326161835159170428985675526027301496666179/12949150892741182\ 4852905204282396191614378355794000763595358223884067177278713151372\ 257274651*c_1001_8^7 - 21971159052588525398090870275575419734066680\ 4570466680541046483781554128089069615446618608282107/12949150892741\ 1824852905204282396191614378355794000763595358223884067177278713151\ 372257274651*c_1001_8^6 + 39337573505925669734845618644963222932510\ 15642723392692102788380922647862733736547576132175137/6815342575126\ 9381501529054885471679797041239891579349260714854675824830146691132\ 30118803929*c_1001_8^5 + 259001403497717243311274023775147502656256\ 68830202480871989047571110678482874089867726525558120/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651*c_1001_8^4 - 8222118172342721653280342674963479200814\ 295181145750113730940019435321133858232048272637344441/129491508927\ 4118248529052042823961916143783557940007635953582238840671772787131\ 51372257274651*c_1001_8^3 - 168802783666006402454271907825271443224\ 6568240795733067231252856275249325282066707283575051909/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8^2 - 30278296261082856285572181781129878050\ 6385926948686809351513966556944428744289072947763707622/12949150892\ 7411824852905204282396191614378355794000763595358223884067177278713\ 151372257274651*c_1001_8 + 2425185460202059170012361548252692894916\ 67560848407951679787824000266718819983064044514541586/1294915089274\ 1182485290520428239619161437835579400076359535822388406717727871315\ 1372257274651, c_1001_8^30 - 2*c_1001_8^29 + 31*c_1001_8^28 - 96*c_1001_8^27 + 647*c_1001_8^26 + 136*c_1001_8^25 + 2203*c_1001_8^24 + 5192*c_1001_8^23 - 14281*c_1001_8^22 - 23325*c_1001_8^21 - 61415*c_1001_8^20 + 69530*c_1001_8^19 + 837989*c_1001_8^18 + 384169*c_1001_8^17 - 254900*c_1001_8^16 - 103166*c_1001_8^15 + 270840*c_1001_8^14 + 193010*c_1001_8^13 - 50289*c_1001_8^12 - 43315*c_1001_8^11 + 39787*c_1001_8^10 + 18396*c_1001_8^9 - 14368*c_1001_8^8 + 2148*c_1001_8^7 + 1363*c_1001_8^6 - 183*c_1001_8^5 - 128*c_1001_8^4 + 32*c_1001_8^3 + c_1001_8^2 + c_1001_8 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.480 Total time: 0.690 seconds, Total memory usage: 32.09MB