Magma V2.19-8 Tue Aug 20 2013 23:52:06 on localhost [Seed = 1064915971] Type ? for help. Type -D to quit. Loading file "K12n163__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n163 geometric_solution 11.43225053 oriented_manifold CS_known -0.0000000000000010 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.775183501261 0.489944650474 0 5 7 6 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 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.891013190981 1.184316617916 3 0 8 4 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901299995249 0.604342895601 2 9 8 0 0132 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775183501261 0.489944650474 9 2 0 8 2103 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565779421235 1.088412755437 10 1 11 12 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -15 0 0 15 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543510007620 0.766138898880 8 9 1 11 0132 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 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.564377429346 0.791001870573 9 10 11 1 0132 0132 3012 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 -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.213188281698 1.289954024151 6 3 4 2 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.316213073382 0.792616378257 7 3 4 6 0132 0132 2103 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 -1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948097521664 0.484668223189 5 7 12 12 0132 0132 0213 3120 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 1 -1 0 0 0 0 15 -1 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391439490564 0.407972367100 12 7 6 5 3120 1230 1230 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 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.742269256510 0.352053684499 10 10 5 11 3120 0213 0132 3120 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 -1 1 0 1 0 0 -1 0 -1 0 1 1 14 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391439490564 0.407972367100 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_8']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_1001_8']), 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : negation(d['c_1001_8']), 'c_1100_3' : negation(d['c_1001_8']), 'c_1100_2' : negation(d['c_1001_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : 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_0']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0101_11']), 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_11']), 's_2_9' : d['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_11, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_5, c_0101_7, c_1001_1, c_1001_11, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 7719911402535633808374375899052802697962202686179021275602693487/11\ 42046404734840729154335431775051076560201978439065990195565*c_1001_\ 8^31 - 445256733989762563188212156891761917418295154796272933186342\ 306241/571023202367420364577167715887525538280100989219532995097782\ 5*c_1001_8^30 + 219147159965155031754784166876905850896360126279784\ 6366121452696932/57102320236742036457716771588752553828010098921953\ 29950977825*c_1001_8^29 - 97300620968736633039190461297617808273751\ 2597270125779383906224193/81574743195345766368166816555360791182871\ 5698885047135853975*c_1001_8^28 + 148452153128345922563322992254658\ 10419601715333855619059728667419299/5710232023674203645771677158875\ 255382801009892195329950977825*c_1001_8^27 - 4925504787906488835005409616480656574346291867287875221031236505999\ 7/11420464047348407291543354317750510765602019784390659901955650*c_\ 1001_8^26 + 2836483618670418825468072377644322980294833411502748093\ 8932969599292/57102320236742036457716771588752553828010098921953299\ 50977825*c_1001_8^25 - 19863339961523901449739554234353675378781029\ 151141960548388817633582/571023202367420364577167715887525538280100\ 9892195329950977825*c_1001_8^24 - 331222896991063828541052462227707\ 4193326135456471597525200406858772/57102320236742036457716771588752\ 55382801009892195329950977825*c_1001_8^23 + 9020905060949581621459368321450679761794251336135305909787058214181\ /2284092809469681458308670863550102153120403956878131980391130*c_10\ 01_8^22 - 152229279710037309878261124573281868228659984897796665074\ 28964386451/5710232023674203645771677158875255382801009892195329950\ 977825*c_1001_8^21 - 3518847127374164055945825646711600911729033169\ 425996081151976297781/393809105080979561777357045439672785020759302\ 910022755239850*c_1001_8^20 + 3033600069935560608871798786589273010\ 01963473991023474027934734899503/1142046404734840729154335431775051\ 0765602019784390659901955650*c_1001_8^19 - 5307511230044685650268927343516485642724337629216709075831735437256\ 97/11420464047348407291543354317750510765602019784390659901955650*c\ _1001_8^18 + 284422515362757945681182789625133982066640463868573861\ 148852249808002/571023202367420364577167715887525538280100989219532\ 9950977825*c_1001_8^17 - 236954477350179403414082026288143848035951\ 308204286344589403509595017/571023202367420364577167715887525538280\ 1009892195329950977825*c_1001_8^16 + 4516596938279385619548898791105240111813917306270051778076106258576\ 1/5710232023674203645771677158875255382801009892195329950977825*c_1\ 001_8^15 + 11794405433963643240972283321380818482057597470962393123\ 740021619524/114204640473484072915433543177505107656020197843906599\ 0195565*c_1001_8^14 - 210676579827041530818603793743935888403799006\ 033420870597240656321381/571023202367420364577167715887525538280100\ 9892195329950977825*c_1001_8^13 + 992491300222763300990873573269267\ 64830089090128061436517103579439917/5710232023674203645771677158875\ 255382801009892195329950977825*c_1001_8^12 - 1195420049898080461223716631506670865652931918458008601282800268930\ 73/5710232023674203645771677158875255382801009892195329950977825*c_\ 1001_8^11 - 1159981527520586336831212218840686821643512272285812701\ 25877624379177/1142046404734840729154335431775051076560201978439065\ 9901955650*c_1001_8^10 - 207154327617596601542243199504427349820083\ 34571497835712721756479934/5710232023674203645771677158875255382801\ 009892195329950977825*c_1001_8^9 - 1859527191713283898876488781661448884193543145676844495081320690238\ /196904552540489780888678522719836392510379651455011377619925*c_100\ 1_8^8 - 11069011150322963130177660646323285033710680590914438655604\ 42609786/1969045525404897808886785227198363925103796514550113776199\ 25*c_1001_8^7 - 252531817630429810580395135447247078683424350712415\ 35266137851988139/1142046404734840729154335431775051076560201978439\ 0659901955650*c_1001_8^6 - 1118043644688452556964021559905371498350\ 6584474109271886672719475658/57102320236742036457716771588752553828\ 01009892195329950977825*c_1001_8^5 - 1166276812641122391061144618554527263382992645647884055843723136016\ 3/11420464047348407291543354317750510765602019784390659901955650*c_\ 1001_8^4 - 19919080133381310183231970861164189468705411899462563320\ 9133671641/22840928094696814583086708635501021531204039568781319803\ 91130*c_1001_8^3 + 818440786494055724127708752219105598005999532816\ 82354537319125303/8157474319534576636816681655536079118287156988850\ 47135853975*c_1001_8^2 + 200917129127482745003113351688845505259171\ 921666259768619641979446/571023202367420364577167715887525538280100\ 9892195329950977825*c_1001_8 + 210116548408619782886493021268232782\ 46776209074374291661208606696/5710232023674203645771677158875255382\ 801009892195329950977825, c_0011_0 - 1, c_0011_11 - 29031176889477210277442766056571771385876993297341485360398\ 0/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^31 + 32622696012349879201589703042964313531588044514026441039778\ 98/1125168871659941605078162986970493671487883722600065014971*c_100\ 1_8^30 - 1551236497678847479203594932105820170487137612149130072838\ 9033/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^29 + 46632297941658302965834982120264212373137535463252518417\ 273620/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^28 - 978964960564435429310544956485385531682477537176931508\ 88103713/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^27 + 1564856910569462901678426307207793747803838965611393\ 90959071302/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^26 - 1676272650194743963069670228584939435421815786477\ 46126470845691/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^25 + 1009481786722226839313367197404336121422659356\ 77528118486758273/1125168871659941605078162986970493671487883722600\ 065014971*c_1001_8^24 + 5333103246638646049162262776721804496348471\ 3260700470601958792/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^23 - 15264897363361986765307732663791798871484\ 6124956021223699568355/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^22 + 69383338264102837207917466722301799945\ 295577997968093615325446/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^21 + 403028880795894062255655526815731335\ 325999226518712460534653494/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^20 - 101996810381273393165916892407530\ 5626138564631843222382057441511/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^19 + 1695616765806352984614847783498207064400830905790586138389284203/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 8 - 164347854610137740531418174788051881434793412685246945714188257\ 4/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^17 + 13086716085691381814501281114008704082823611349158953696986\ 73949/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^16 + 3401198814599743164798041696910146858307784998918183979\ 9266628/1125168871659941605078162986970493671487883722600065014971*\ c_1001_8^15 - 42001486119488528350347990019144381866525329423792476\ 4161142342/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^14 + 14584190561321556047658012719140016792140048166682\ 04672102093027/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^13 - 3150186658778908326482642274476013369372406814\ 42305377919208664/1125168871659941605078162986970493671487883722600\ 065014971*c_1001_8^12 + 8182366128812095271821933607564657278362299\ 08089521724987924791/1125168871659941605078162986970493671487883722\ 600065014971*c_1001_8^11 + 6769244225249475448663910869651995403965\ 16269439625360319540432/1125168871659941605078162986970493671487883\ 722600065014971*c_1001_8^10 + 3650029887798716727200012559885815207\ 56974249242957466900667877/1125168871659941605078162986970493671487\ 883722600065014971*c_1001_8^9 + 52005372284612138504931232510686406\ 2602063024039347643106604205/11251688716599416050781629869704936714\ 87883722600065014971*c_1001_8^8 + 399705041984901899275514796527413\ 739063966577846506669471400156/112516887165994160507816298697049367\ 1487883722600065014971*c_1001_8^7 + 218230084919246069571416403927187400477203907547995912407542711/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^6 + 152730857338011527204071130066486515636182110359175097736601121/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^5 + 91014932827583682713167077696572317082285514296445107208887988/1125\ 168871659941605078162986970493671487883722600065014971*c_1001_8^4 + 32084179067002491598902593410818392029504517801279465299253944/1125\ 168871659941605078162986970493671487883722600065014971*c_1001_8^3 + 6001175909706729000357981905004050821439254597399142414024322/11251\ 68871659941605078162986970493671487883722600065014971*c_1001_8^2 + 492003664680449042154987124822349409739407126873311344661543/112516\ 8871659941605078162986970493671487883722600065014971*c_1001_8 + 6100999259865711411311503768592625321934708020162415142740/11251688\ 71659941605078162986970493671487883722600065014971, c_0011_4 - 413628482302535320054408328225303396726372130485536649012295\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^31 + 443441576237185022636472290833309308049275674738989558428739\ 7/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^30 - 19711068443438296781926153289015742021506349600500532899944\ 630/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^29 + 551377302903772165816517196271723905051865447269318125308\ 31723/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^28 - 1057147904615598365812309494970945301528293847682598039\ 75920154/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^27 + 1526288330505113097042750201347308078348795405660473\ 07009193486/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^26 - 1274336445714355315739205102534344288129222614966\ 47090791506039/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^25 + 2677580983962568908585220603336044782587325609\ 7910812944035283/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^24 + 14284432737830961140730897998330478953330220\ 9483861301146392927/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^23 - 17271028713178714423883179738540902299656\ 7085254532209677328541/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^22 - 13337507883063126193533372286717849923\ 375882223550086407403600/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^21 + 620144950207997738376779573689512195\ 148495372216711926225588195/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^20 - 115282171735067669504301888694046\ 1475758743010154248242476067740/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^19 + 1677507856173444298201341826283917816570798670757829650683440817/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 8 - 113136957151848465577013708473925727286568298561585647057622135\ 9/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^17 + 72251624204361666683906969853869036758126077224860497939675\ 3652/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^16 + 93684473451231286483820171364715006397619344017130308845\ 8169137/1125168871659941605078162986970493671487883722600065014971*\ c_1001_8^15 - 50818846761207145906670378041005088058784858844232300\ 9757300877/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^14 + 17505957362234495364755025863359300614274801611304\ 42030839581799/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^13 + 6150055775530251955471874482238223971197181408\ 02268430722321661/1125168871659941605078162986970493671487883722600\ 065014971*c_1001_8^12 + 9848474583096752339978917452560716623006092\ 54212959031539035611/1125168871659941605078162986970493671487883722\ 600065014971*c_1001_8^11 + 1540122040159530034807058148455591112336\ 041657686086932267166837/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^10 + 105205595971472629473349956767723791\ 7967518120530989465341020781/11251688716599416050781629869704936714\ 87883722600065014971*c_1001_8^9 + 102118180912818615588694018891589\ 7960906426951015679791225036261/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^8 + 959509323675114932181595240841006681704838293677522691800116444/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^7 + 619178609388355472619083294615083003122591693246903002406733948/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^6 + 386439794622455033053215354005998058289460029568387987675882068/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^5 + 246076818973450383422237181864221749021348822832014380126111258/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^4 + 116084423925485589333317059588065273563564959614934842675922463/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^3 + 33882393014056693298450502299117639968150018488204589318995870/1125\ 168871659941605078162986970493671487883722600065014971*c_1001_8^2 + 5483951806762087710695679565278227716391610870730155573899872/11251\ 68871659941605078162986970493671487883722600065014971*c_1001_8 + 381669484240747879873594353342498233354016622955450209986870/112516\ 8871659941605078162986970493671487883722600065014971, c_0011_6 - 583861559513789707700654834365285813924580530360000507119370\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^31 + 626998720180413460774541356775854218684743367268787175302139\ 2/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^30 - 27939898671315570837976060880197575869175912339122014194836\ 615/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^29 + 783713961892107916441697307631021795238195457743304616167\ 47006/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^28 - 1508074935657926130954941921833290916036840407170310893\ 21751656/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^27 + 2186618777674290830089244153924183569744673427853659\ 27855926867/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^26 - 1848236923766839544420469177760251057050263260214\ 73190045172747/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^25 + 4264562872894778006000994865222169732251700654\ 9078407974802321/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^24 + 19941927530193014385516524336407703114204363\ 3118879622478698358/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^23 - 24680677635323049753768619514499112778901\ 4371733713859068356956/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^22 - 13312992654035690578058994172823493633\ 761232252485861415869933/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^21 + 873839329794567458508859114519732347\ 048499035535601771435584918/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^20 - 164262654171478482567895145027914\ 6765964673959936794067611121424/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^19 + 2402493752586377885092434879108245295742176181449759582591539932/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 8 - 165120345472113461979223367415387101431808486837822462113638820\ 7/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^17 + 10663637636674653129970827987487524057215107445314932442745\ 22697/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^16 + 1289426664926484840862291063822904762250889118851282695\ 787371722/112516887165994160507816298697049367148788372260006501497\ 1*c_1001_8^15 - 731374255192841792548751281145416457681153131453157\ 309498321198/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^14 + 248988950854466679932333882618043473487024479820\ 4709255339909958/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^13 + 81671688633993073491376449826804035755909121\ 6954606617390861889/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^12 + 13917168998952225500041935218162448692471\ 62062780084194945991802/1125168871659941605078162986970493671487883\ 722600065014971*c_1001_8^11 + 2149153232865185668681971991180218603\ 183117825984867191909934687/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^10 + 145363599867537478261391239412915\ 5387739619497199306600229281065/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^9 + 1425872096299583360826451916464109555024623301397127596614669662/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^8 + 1333795848021110659421659006248116066980162762233317260007686576/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^7 + 85665591761553966542426823837995569987519189387273551890069826\ 4/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^6 + 535852744475215795003110060750352858089521199574490826686741\ 708/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^5 + 3409201922551500379531638500202849913647175037677378832275\ 00936/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^4 + 15985804679256780803925756991011764261101567650296530798\ 2835104/1125168871659941605078162986970493671487883722600065014971*\ c_1001_8^3 + 463056123211515494276294488185991564913683331327538096\ 28597765/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^2 + 74351133808324089606426130005512020252878113369859419\ 64527006/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8 + 5131062965008331382261596845232600214500895768811367626\ 68823/1125168871659941605078162986970493671487883722600065014971, c_0101_0 - 413628482302535320054408328225303396726372130485536649012295\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^31 + 443441576237185022636472290833309308049275674738989558428739\ 7/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^30 - 19711068443438296781926153289015742021506349600500532899944\ 630/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^29 + 551377302903772165816517196271723905051865447269318125308\ 31723/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^28 - 1057147904615598365812309494970945301528293847682598039\ 75920154/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^27 + 1526288330505113097042750201347308078348795405660473\ 07009193486/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^26 - 1274336445714355315739205102534344288129222614966\ 47090791506039/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^25 + 2677580983962568908585220603336044782587325609\ 7910812944035283/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^24 + 14284432737830961140730897998330478953330220\ 9483861301146392927/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^23 - 17271028713178714423883179738540902299656\ 7085254532209677328541/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^22 - 13337507883063126193533372286717849923\ 375882223550086407403600/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^21 + 620144950207997738376779573689512195\ 148495372216711926225588195/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^20 - 115282171735067669504301888694046\ 1475758743010154248242476067740/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^19 + 1677507856173444298201341826283917816570798670757829650683440817/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 8 - 113136957151848465577013708473925727286568298561585647057622135\ 9/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^17 + 72251624204361666683906969853869036758126077224860497939675\ 3652/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^16 + 93684473451231286483820171364715006397619344017130308845\ 8169137/1125168871659941605078162986970493671487883722600065014971*\ c_1001_8^15 - 50818846761207145906670378041005088058784858844232300\ 9757300877/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^14 + 17505957362234495364755025863359300614274801611304\ 42030839581799/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^13 + 6150055775530251955471874482238223971197181408\ 02268430722321661/1125168871659941605078162986970493671487883722600\ 065014971*c_1001_8^12 + 9848474583096752339978917452560716623006092\ 54212959031539035611/1125168871659941605078162986970493671487883722\ 600065014971*c_1001_8^11 + 1540122040159530034807058148455591112336\ 041657686086932267166837/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^10 + 105205595971472629473349956767723791\ 7967518120530989465341020781/11251688716599416050781629869704936714\ 87883722600065014971*c_1001_8^9 + 102118180912818615588694018891589\ 7960906426951015679791225036261/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^8 + 959509323675114932181595240841006681704838293677522691800116444/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^7 + 619178609388355472619083294615083003122591693246903002406733948/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^6 + 386439794622455033053215354005998058289460029568387987675882068/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^5 + 246076818973450383422237181864221749021348822832014380126111258/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^4 + 116084423925485589333317059588065273563564959614934842675922463/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^3 + 33882393014056693298450502299117639968150018488204589318995870/1125\ 168871659941605078162986970493671487883722600065014971*c_1001_8^2 + 5483951806762087710695679565278227716391610870730155573899872/11251\ 68871659941605078162986970493671487883722600065014971*c_1001_8 + 381669484240747879873594353342498233354016622955450209986870/112516\ 8871659941605078162986970493671487883722600065014971, c_0101_1 - 583861559513789707700654834365285813924580530360000507119370\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^31 + 626998720180413460774541356775854218684743367268787175302139\ 2/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^30 - 27939898671315570837976060880197575869175912339122014194836\ 615/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^29 + 783713961892107916441697307631021795238195457743304616167\ 47006/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^28 - 1508074935657926130954941921833290916036840407170310893\ 21751656/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^27 + 2186618777674290830089244153924183569744673427853659\ 27855926867/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^26 - 1848236923766839544420469177760251057050263260214\ 73190045172747/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^25 + 4264562872894778006000994865222169732251700654\ 9078407974802321/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^24 + 19941927530193014385516524336407703114204363\ 3118879622478698358/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^23 - 24680677635323049753768619514499112778901\ 4371733713859068356956/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^22 - 13312992654035690578058994172823493633\ 761232252485861415869933/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^21 + 873839329794567458508859114519732347\ 048499035535601771435584918/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^20 - 164262654171478482567895145027914\ 6765964673959936794067611121424/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^19 + 2402493752586377885092434879108245295742176181449759582591539932/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 8 - 165120345472113461979223367415387101431808486837822462113638820\ 7/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^17 + 10663637636674653129970827987487524057215107445314932442745\ 22697/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^16 + 1289426664926484840862291063822904762250889118851282695\ 787371722/112516887165994160507816298697049367148788372260006501497\ 1*c_1001_8^15 - 731374255192841792548751281145416457681153131453157\ 309498321198/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^14 + 248988950854466679932333882618043473487024479820\ 4709255339909958/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^13 + 81671688633993073491376449826804035755909121\ 6954606617390861889/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^12 + 13917168998952225500041935218162448692471\ 62062780084194945991802/1125168871659941605078162986970493671487883\ 722600065014971*c_1001_8^11 + 2149153232865185668681971991180218603\ 183117825984867191909934687/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^10 + 145363599867537478261391239412915\ 5387739619497199306600229281065/11251688716599416050781629869704936\ 71487883722600065014971*c_1001_8^9 + 1425872096299583360826451916464109555024623301397127596614669662/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^8 + 1333795848021110659421659006248116066980162762233317260007686576/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^7 + 85665591761553966542426823837995569987519189387273551890069826\ 4/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^6 + 535852744475215795003110060750352858089521199574490826686741\ 708/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^5 + 3409201922551500379531638500202849913647175037677378832275\ 00936/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^4 + 15985804679256780803925756991011764261101567650296530798\ 2835104/1125168871659941605078162986970493671487883722600065014971*\ c_1001_8^3 + 463056123211515494276294488185991564913683331327538096\ 28597765/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^2 + 74351133808324089606426130005512020252878113369859419\ 64527006/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8 + 5131062965008331382261596845232600214500895768811367626\ 68823/1125168871659941605078162986970493671487883722600065014971, c_0101_11 - 1, c_0101_3 - 131008520922939539906466952631389634440092215115073482313140\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^31 + 136742917447638633206728342500997851647805847638962305027198\ 9/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^30 - 58304011270984046731733655786791510656841499130335181627256\ 09/1125168871659941605078162986970493671487883722600065014971*c_100\ 1_8^29 + 1552868992452832297110188159853726846324326262500911637626\ 1546/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^28 - 27755140416398053154355682330950240661158786956210238293\ 374927/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^27 + 365510893900872483444679698894206766940252720604138108\ 81886580/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^26 - 2194091257811639782472114814627009872140491599074165\ 2286970350/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^25 - 10298916763766786025589202837233731370708797073346\ 158064473173/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^24 + 550342022053324766348179129197988532137233547152\ 86791895175106/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^23 - 4556777849040311523787420651201731529399185816\ 9180942280659013/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^22 - 23683958365302105974675586550716045697490185\ 665991929523098903/112516887165994160507816298697049367148788372260\ 0065014971*c_1001_8^21 + 203171138393196038592112190279185001083721\ 195085660348732218162/112516887165994160507816298697049367148788372\ 2600065014971*c_1001_8^20 - 312082724802836023451801115022471428000\ 066271129657179703229378/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^19 + 406152750616406529438708280337308551\ 728938234795673370944530870/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^18 - 157385293316300764439971188554275\ 060362073344701137651102325075/112516887165994160507816298697049367\ 1487883722600065014971*c_1001_8^17 + 47008405860607032553296170073897984846438555044393394578523676/1125\ 168871659941605078162986970493671487883722600065014971*c_1001_8^16 + 432792776983869569167159975652198784694511207803609867376331423/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^15 - 129230288417951101403573081582992305678758472394185343467221293/1\ 125168871659941605078162986970493671487883722600065014971*c_1001_8^\ 14 + 49303432079582484309521793204293818619326889661067344835847723\ 4/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^13 + 37770514525833888263519513747281839690163917013365396902572\ 5985/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^12 + 29270497390605380730918200542582241339944353842443020310\ 0505156/1125168871659941605078162986970493671487883722600065014971*\ c_1001_8^11 + 58173921903978814856005953904399841909969105811881054\ 0088427662/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^10 + 43409633135450369345433233344665036011316141317344\ 2133930995263/11251688716599416050781629869704936714878837226000650\ 14971*c_1001_8^9 + 374980690162443857641539712840703389806297311850\ 971940844400855/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8^8 + 3739110065402979934256375957129499292333430271\ 52325581023127364/1125168871659941605078162986970493671487883722600\ 065014971*c_1001_8^7 + 25314972617868658465024101604039940945210138\ 6397502170422930260/11251688716599416050781629869704936714878837226\ 00065014971*c_1001_8^6 + 153938591832565809241059885287782925285461\ 309876312736220988568/112516887165994160507816298697049367148788372\ 2600065014971*c_1001_8^5 + 9931328301324807806888013226839674487230\ 7754892190927477974806/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^4 + 498846961176405408931802852840960366093\ 65875353299646211975481/1125168871659941605078162986970493671487883\ 722600065014971*c_1001_8^3 + 15609150008352399122456513884261421682\ 937823892466265126938741/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^2 + 2696188369797189081818473347460362903\ 539323379207346789418301/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8 + 199498008363265005551012632518117842130\ 190532169107431226333/112516887165994160507816298697049367148788372\ 2600065014971, c_0101_5 - 42815694283038397086243950088774225353324910123237692552945/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^31 + 547246427116182725684335441835003320680811634662485858179142/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^30 - 3034420323084785577794614322465093713028839377469866683348443\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^29 + 104527587583789140221110405230500620943923077659999828169946\ 29/1125168871659941605078162986970493671487883722600065014971*c_100\ 1_8^28 - 2527098987119968248323466579560573668725611736786749943868\ 6683/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^27 + 46051045754918049091562958151030178565192102152172235238\ 464481/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^26 - 618828818971245624978329057610862875305458532684503562\ 86836409/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^25 + 5568951395752484581133214095312517414793338501172527\ 2366099506/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^24 - 18370022489336560559242118958523168034573542005832\ 444792634649/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^23 - 319893890776988167485593541472637243360406460607\ 09327441638789/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^22 + 4453469788584428805556606186336753631683911212\ 0439497507213907/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^21 + 41860660607912517051643945365826615492597828\ 307974160417810554/112516887165994160507816298697049367148788372260\ 0065014971*c_1001_8^20 - 240488252184285455857957434092120451470942\ 807419063338132476423/112516887165994160507816298697049367148788372\ 2600065014971*c_1001_8^19 + 486600346087411022558663999982607004470\ 017145623357682190048450/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^18 - 643198907543901561643642783130451585\ 699330006060798730864238037/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^17 + 595020798925182819141146950692466\ 129645849986529770111432447458/112516887165994160507816298697049367\ 1487883722600065014971*c_1001_8^16 - 325811282855610032049001660008216230254374935215313261151520250/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^15 - 39089620235441281985687052876032236316687009375508545558566594/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 4 + 298176675150241754701773736265220015036515231295070121813953993\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^13 - 379099802889918331342704197853123783516771867166929124614506\ 365/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^12 + 211624350549290573597865911240982980515751119126400309650\ 717983/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^11 - 994647317379761482789182530472176241615852409599227826\ 60383325/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^10 - 8436496495986680230581268736176768053078457683476085\ 1092851161/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^9 - 472633653219156436917148536108841551291507139081782\ 4851616087/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^8 - 561600652406292636639595774352343514007428026396492\ 77025662454/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^7 - 53498433743044594581648843595326184444035065436940\ 240903226541/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^6 - 2467101988793963440562308229120562545169700984579\ 1995319697096/11251688716599416050781629869704936714878837226000650\ 14971*c_1001_8^5 - 197664136906855483156260230690228690162031103497\ 00065885826112/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^4 - 14736330325947906512387693565717270095142938821\ 085029527554493/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8^3 - 5849190840319997851529194506758871561243280591\ 456239575894125/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8^2 - 1147865537159113890718158737095502021742429445\ 223536668341137/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8 - 892654402671444153882559968311354844582082262125\ 66789510015/1125168871659941605078162986970493671487883722600065014\ 971, c_0101_7 + 749019371366117310328895697556484031320060937615607245425120\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^31 - 826421558643669816731318504526374883499351862874019929345981\ 2/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^30 + 38305189505887494453893923082656437262123521446328122418186\ 602/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^29 - 112129439546642492317834255455921993273578290538604847610\ 885467/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^28 + 227920280693269584710517184650019568650401815634114739\ 776931038/112516887165994160507816298697049367148788372260006501497\ 1*c_1001_8^27 - 351836772816827439925276550380662521931330539665565\ 089278221520/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^26 + 349271372338255585501598415206847845710549852629\ 679114567843129/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8^25 - 170752215262038642719088386436188643945980236\ 982415634579842409/112516887165994160507816298697049367148788372260\ 0065014971*c_1001_8^24 - 192487595802861744739659052323856263258163\ 341192316859138915719/112516887165994160507816298697049367148788372\ 2600065014971*c_1001_8^23 + 367152150137221171055247395037676532787\ 242347942226088730887833/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^22 - 987292985588649462108176933947487608\ 90505611464923654135698788/1125168871659941605078162986970493671487\ 883722600065014971*c_1001_8^21 - 1077428073398542728814127026704694\ 332064392396448732899970695389/112516887165994160507816298697049367\ 1487883722600065014971*c_1001_8^20 + 2420358504076416979455376344539240520161996090557198601168976272/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 9 - 383512347182080104338264648297925479279349648829210114415090624\ 7/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^18 + 33394194670250140072332468536863970128467395504431402094316\ 66185/1125168871659941605078162986970493671487883722600065014971*c_\ 1001_8^17 - 2495787513269716868472547747694580836199674050877615302\ 326709289/112516887165994160507816298697049367148788372260006501497\ 1*c_1001_8^16 - 793613426315928907261745821763452222774363239268782\ 653389751142/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^15 + 108198411298651436548573962624202604914892558237\ 0498953914928051/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^14 - 35465278774571055480510561369699817964348229\ 60662551004558608798/1125168871659941605078162986970493671487883722\ 600065014971*c_1001_8^13 + 4583447832297572419099319149079800690428\ 5605585915366945488857/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^12 - 19339476351708094121907655660961187261\ 31133481695777315702995978/1125168871659941605078162986970493671487\ 883722600065014971*c_1001_8^11 - 2180405354813521154922861350058174\ 263311474740216517963107021408/112516887165994160507816298697049367\ 1487883722600065014971*c_1001_8^10 - 1288345166954474772364999428526311139107088759633369080775579613/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^9 - 1529884965937148878601975170753962462389498163590066735214881965/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^8 - 13001444001547703390918078177398249855081155787312970172560991\ 45/1125168871659941605078162986970493671487883722600065014971*c_100\ 1_8^7 - 76915681078236777839362375892824303425142964639044550948350\ 9534/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^6 - 505257720420839326354390403249029926639483044488229661253\ 473372/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^5 - 3130908199122758648305065296525293268260787359412779042\ 08791344/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^4 - 12932386370366794799870603124587367982779044767064192\ 5409655710/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^3 - 315373443326599417134203971718469965379593924553268\ 68486226113/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^2 - 41178410873723019543287183791327942197597204011837\ 16957346611/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8 - 2193813798339644031456105179223821459453121469075198\ 70552011/1125168871659941605078162986970493671487883722600065014971\ , c_1001_1 + 42815694283038397086243950088774225353324910123237692552945/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^31 - 547246427116182725684335441835003320680811634662485858179142/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^30 + 3034420323084785577794614322465093713028839377469866683348443\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^29 - 104527587583789140221110405230500620943923077659999828169946\ 29/1125168871659941605078162986970493671487883722600065014971*c_100\ 1_8^28 + 2527098987119968248323466579560573668725611736786749943868\ 6683/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^27 - 46051045754918049091562958151030178565192102152172235238\ 464481/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^26 + 618828818971245624978329057610862875305458532684503562\ 86836409/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^25 - 5568951395752484581133214095312517414793338501172527\ 2366099506/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^24 + 18370022489336560559242118958523168034573542005832\ 444792634649/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^23 + 319893890776988167485593541472637243360406460607\ 09327441638789/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^22 - 4453469788584428805556606186336753631683911212\ 0439497507213907/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^21 - 41860660607912517051643945365826615492597828\ 307974160417810554/112516887165994160507816298697049367148788372260\ 0065014971*c_1001_8^20 + 240488252184285455857957434092120451470942\ 807419063338132476423/112516887165994160507816298697049367148788372\ 2600065014971*c_1001_8^19 - 486600346087411022558663999982607004470\ 017145623357682190048450/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^18 + 643198907543901561643642783130451585\ 699330006060798730864238037/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^17 - 595020798925182819141146950692466\ 129645849986529770111432447458/112516887165994160507816298697049367\ 1487883722600065014971*c_1001_8^16 + 325811282855610032049001660008216230254374935215313261151520250/112\ 5168871659941605078162986970493671487883722600065014971*c_1001_8^15 + 39089620235441281985687052876032236316687009375508545558566594/11\ 25168871659941605078162986970493671487883722600065014971*c_1001_8^1\ 4 - 298176675150241754701773736265220015036515231295070121813953993\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^13 + 379099802889918331342704197853123783516771867166929124614506\ 365/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^12 - 211624350549290573597865911240982980515751119126400309650\ 717983/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^11 + 994647317379761482789182530472176241615852409599227826\ 60383325/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^10 + 8436496495986680230581268736176768053078457683476085\ 1092851161/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^9 + 472633653219156436917148536108841551291507139081782\ 4851616087/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^8 + 561600652406292636639595774352343514007428026396492\ 77025662454/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^7 + 53498433743044594581648843595326184444035065436940\ 240903226541/112516887165994160507816298697049367148788372260006501\ 4971*c_1001_8^6 + 2467101988793963440562308229120562545169700984579\ 1995319697096/11251688716599416050781629869704936714878837226000650\ 14971*c_1001_8^5 + 197664136906855483156260230690228690162031103497\ 00065885826112/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^4 + 14736330325947906512387693565717270095142938821\ 085029527554493/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8^3 + 5849190840319997851529194506758871561243280591\ 456239575894125/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8^2 + 1147865537159113890718158737095502021742429445\ 223536668341137/112516887165994160507816298697049367148788372260006\ 5014971*c_1001_8 + 892654402671444153882559968311354844582082262125\ 66789510015/1125168871659941605078162986970493671487883722600065014\ 971, c_1001_11 + 5396195346620515279099434921193685597812053220370631635255/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^31 - 57127961676642460717015302136467510360382488662061118426973/1\ 125168871659941605078162986970493671487883722600065014971*c_1001_8^\ 30 + 249668604919805235143172580989880092865013382154743915383714/1\ 125168871659941605078162986970493671487883722600065014971*c_1001_8^\ 29 - 687873090352160713552562010269073171971985003445443317861270/1\ 125168871659941605078162986970493671487883722600065014971*c_1001_8^\ 28 + 1296710906018728047429786978880161638158937143137012295806268/\ 1125168871659941605078162986970493671487883722600065014971*c_1001_8\ ^27 - 1847148891481096835120593758328639343090682663652774774639731\ /1125168871659941605078162986970493671487883722600065014971*c_1001_\ 8^26 + 147822441537084778940723254472830867543340093244567525765278\ 1/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^25 - 25322359200517376572738797557222399772230679585386398509980\ 3/1125168871659941605078162986970493671487883722600065014971*c_1001\ _8^24 - 17861870696381182268186269481883756965146634007309891747614\ 31/1125168871659941605078162986970493671487883722600065014971*c_100\ 1_8^23 + 1946200183427778257042616531434690864257023765581695841563\ 978/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^22 + 400944533024713854788534481983759691603973770701432945110\ 168/1125168871659941605078162986970493671487883722600065014971*c_10\ 01_8^21 - 793055343243208039135248232557521917100297448323804932971\ 9702/1125168871659941605078162986970493671487883722600065014971*c_1\ 001_8^20 + 13921772348576526907010967567167511325790896208134094796\ 819995/1125168871659941605078162986970493671487883722600065014971*c\ _1001_8^19 - 202659523146463357853022503561851318534937866609996104\ 83014148/1125168871659941605078162986970493671487883722600065014971\ *c_1001_8^18 + 1271043252337674319687530686989289803026039095474738\ 4477224340/11251688716599416050781629869704936714878837226000650149\ 71*c_1001_8^17 - 88302441742419161216880958334152987438795882502436\ 37608969634/1125168871659941605078162986970493671487883722600065014\ 971*c_1001_8^16 - 1229878046191697469003913641587861437671897383035\ 7333506948269/11251688716599416050781629869704936714878837226000650\ 14971*c_1001_8^15 + 41359031347089479089397250951512752285667502032\ 89974214710575/1125168871659941605078162986970493671487883722600065\ 014971*c_1001_8^14 - 2228207255887896295776721644074920223860241651\ 1266264430668579/11251688716599416050781629869704936714878837226000\ 65014971*c_1001_8^13 - 10645188946983373386563311488755714723404328\ 741260281413579552/112516887165994160507816298697049367148788372260\ 0065014971*c_1001_8^12 - 152043514364633805845468343335017408640521\ 38102999704920369388/1125168871659941605078162986970493671487883722\ 600065014971*c_1001_8^11 - 2179093094326440774168909644504656217307\ 7657975771514583122775/11251688716599416050781629869704936714878837\ 22600065014971*c_1001_8^10 - 17061732336403628899576721412486119367\ 508706029189041229094011/112516887165994160507816298697049367148788\ 3722600065014971*c_1001_8^9 - 1593579439635123697457145929342099264\ 7225585807178597636483009/11251688716599416050781629869704936714878\ 83722600065014971*c_1001_8^8 - 147157231351644220059622201843638508\ 82165986561759545744221162/1125168871659941605078162986970493671487\ 883722600065014971*c_1001_8^7 - 10262215652822991927601093725050327\ 048695308889924141144011645/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^6 - 6552925528438897576269012847694927\ 262796792777022390462713100/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^5 - 4122904848571070488734579198980912\ 484972997775536691344241166/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^4 - 2094857223643113951336717924219172\ 056619817438530503398741206/112516887165994160507816298697049367148\ 7883722600065014971*c_1001_8^3 - 7365903202978743136439223119390067\ 41290818026505635262792684/1125168871659941605078162986970493671487\ 883722600065014971*c_1001_8^2 - 16358443942914508230702122786210378\ 7279465112726775040781876/11251688716599416050781629869704936714878\ 83722600065014971*c_1001_8 - 18042855360513000570101478742421751641\ 078387719615160280313/112516887165994160507816298697049367148788372\ 2600065014971, c_1001_8^32 - 53/5*c_1001_8^31 + 232/5*c_1001_8^30 - 128*c_1001_8^29 + 1208/5*c_1001_8^28 - 1722/5*c_1001_8^27 + 1382/5*c_1001_8^26 - 238/5*c_1001_8^25 - 1664/5*c_1001_8^24 + 1827/5*c_1001_8^23 + 362/5*c_1001_8^22 - 1474*c_1001_8^21 + 12994/5*c_1001_8^20 - 18887/5*c_1001_8^19 + 11912/5*c_1001_8^18 - 8178/5*c_1001_8^17 - 2279*c_1001_8^16 + 4044/5*c_1001_8^15 - 20608/5*c_1001_8^14 - 9648/5*c_1001_8^13 - 13806/5*c_1001_8^12 - 3992*c_1001_8^11 - 15476/5*c_1001_8^10 - 14442/5*c_1001_8^9 - 2675*c_1001_8^8 - 9272/5*c_1001_8^7 - 5892/5*c_1001_8^6 - 3714/5*c_1001_8^5 - 1881/5*c_1001_8^4 - 652/5*c_1001_8^3 - 143/5*c_1001_8^2 - 18/5*c_1001_8 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.710 Total time: 1.919 seconds, Total memory usage: 32.09MB