Magma V2.19-8 Tue Aug 20 2013 17:56:24 on localhost [Seed = 1713885785] Type ? for help. Type -D to quit. Loading file "11_532__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_532 geometric_solution 10.11714124 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 3012 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 -15 0 0 15 -1 1 0 0 15 1 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.031129700909 0.984752628623 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 -15 0 15 15 0 -15 0 -15 0 0 15 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644443055672 0.457245877122 3 0 0 4 2031 0132 1230 1230 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 -1 -15 16 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.292320896588 0.640188652613 7 7 2 0 0132 1302 1302 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 0 0 0 0 0 0 -16 0 0 16 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326747578957 0.941472002107 2 1 7 5 3012 0132 3120 3120 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 0 -15 -16 0 0 16 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.026704472045 0.732439602052 4 6 1 8 3120 3120 0132 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -15 15 -16 0 0 16 0 0 0 0 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.087687282459 0.647262949229 8 5 9 1 0132 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 -15 15 -1 0 0 1 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860662486540 0.638229485273 3 9 4 3 0132 0132 3120 2031 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 1 0 -1 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502562814389 0.702780716799 6 10 5 10 0132 0132 0132 1302 0 0 0 0 0 1 -1 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 -15 0 0 0 -16 16 16 -16 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544430001547 1.089882700266 10 7 10 6 3012 0132 1302 0132 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 0 0 0 -15 0 0 15 0 16 0 -16 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544430001547 1.089882700266 9 8 8 9 2031 0132 2031 1230 0 0 0 0 0 -1 0 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 -15 0 15 0 0 0 0 0 1 0 -1 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633194801926 0.734299429884 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_1001_4']), 'c_1001_6' : negation(d['c_1001_4']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_10']), '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_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_4']), 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_1100_10' : d['c_0101_6'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_1001_4']), 'c_1010_8' : negation(d['c_0101_6']), 'c_1100_8' : d['c_0101_10'], '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'], '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' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_3'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_4, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2112099832618083918581929545157794491882696017446345997429525305829\ 287293553/249128125400097802356869705519344050424618645913531731035\ 44416363552225334*c_1001_4^26 + 51825845476528216575656128922522250\ 479186624422593069690834024325455422039/498256250800195604713739411\ 03868810084923729182706346207088832727104450668*c_1001_4^25 + 2528584575159099305404945040766456577433213770430361072574752777697\ 7649832851/49825625080019560471373941103868810084923729182706346207\ 088832727104450668*c_1001_4^24 + 1908768886617824736782949110592521\ 1284162792469758879221744907833807019320042/12456406270004890117843\ 485275967202521230932295676586551772208181776112667*c_1001_4^23 + 4272179885007214829058882946159294351024931269320020018029326169046\ 54514557213/4982562508001956047137394110386881008492372918270634620\ 7088832727104450668*c_1001_4^22 + 876441819573701435257991553199739\ 93253234390967496149388878366115499850770205/1245640627000489011784\ 3485275967202521230932295676586551772208181776112667*c_1001_4^21 + 2433164078559522938367027230574417335645817646646089551538625924875\ 20755100753/4982562508001956047137394110386881008492372918270634620\ 7088832727104450668*c_1001_4^20 + 674878875554568667362792900124380\ 8539950431632020345245702329129544026958468773/49825625080019560471\ 373941103868810084923729182706346207088832727104450668*c_1001_4^19 + 2174201863289828056119589921342321768305895357182109377108370467356\ 008905479053/124564062700048901178434852759672025212309322956765865\ 51772208181776112667*c_1001_4^18 - 4392707204048852555783311430302071309867479609812961836401763291663\ 3862616325/13576464599460370700646850437021474137581397597467669266\ 2367391626987604*c_1001_4^17 - 353560907096657126016786134895296239\ 2990576602320934368792988094166361629856573/12456406270004890117843\ 485275967202521230932295676586551772208181776112667*c_1001_4^16 + 6150491327081408150872129158692745716155612236308825878369771869707\ 16355809419/2622401320001029498493365321256253162364406799089807695\ 109938564584444772*c_1001_4^15 - 2162394669939908031190514215742819\ 7750614637191077734330641375659406699451756005/49825625080019560471\ 373941103868810084923729182706346207088832727104450668*c_1001_4^14 + 2233705863372499530930210639683331355409489816228112017945527257081\ 887003904105/226480114000088911233517914108494591295107859921392482\ 7594946942141111394*c_1001_4^13 + 183925508227693435541337822849024\ 588544565799762627338877714251647910915176211711/498256250800195604\ 71373941103868810084923729182706346207088832727104450668*c_1001_4^1\ 2 + 158479847132567634931209981051592260591370637431267389119583275\ 406259595918569759/498256250800195604713739411038688100849237291827\ 06346207088832727104450668*c_1001_4^11 + 9154656302385720966080994133115130296046944409877844187317929176873\ 497477850693/226480114000088911233517914108494591295107859921392482\ 7594946942141111394*c_1001_4^10 + 972116903083887826036322154882709\ 08290199586624982426445077901206974775245433353/2491281254000978023\ 5686970551934405042461864591353173103544416363552225334*c_1001_4^9 + 2894672699486291450324817750965633670032894744255583739891237986377\ 1447522005037/24912812540009780235686970551934405042461864591353173\ 103544416363552225334*c_1001_4^8 + 1238856119295271071572473258051959202027758456440728709534624268715\ 3120205620867/49825625080019560471373941103868810084923729182706346\ 207088832727104450668*c_1001_4^7 - 1219803764291394994575484785952306897981518157596011759252183572927\ 488739150657/293091912235409179243376124140404765205433701074743212\ 9828754866300261804*c_1001_4^6 - 5257313884894129584350602692345798\ 9732511966962404754147274150049788073521422943/49825625080019560471\ 373941103868810084923729182706346207088832727104450668*c_1001_4^5 - 3479369436909947920556832962193373660908075703810326996476369041798\ 6169322121265/49825625080019560471373941103868810084923729182706346\ 207088832727104450668*c_1001_4^4 - 1358784803054532284684263722339718240656909564342775332386728265341\ 2833123413773/49825625080019560471373941103868810084923729182706346\ 207088832727104450668*c_1001_4^3 - 1306409714903948841651068852415204517518564534197606382361059484622\ 491690155359/249128125400097802356869705519344050424618645913531731\ 03544416363552225334*c_1001_4^2 + 652956350399732854245778893618546\ 797552927825324168800524541382826344137565411/498256250800195604713\ 73941103868810084923729182706346207088832727104450668*c_1001_4 + 1412111472022429155969661488897142465145506216465057599241938115656\ 58277905909/4982562508001956047137394110386881008492372918270634620\ 7088832727104450668, c_0011_0 - 1, c_0011_10 + 49125699668161721272832313854166850472551415627916142078372\ 78534312/9552817759260041303579264309753359229933434842012151186487\ 995470517*c_1001_4^26 - 3370431815656207302954096155303786007296453\ 307780177854712569427508/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^25 + 3174811759677711298946197550455560608635646144388749387186459410974\ 0/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 + 66676314566086855462589506518728113118762475997215\ 778618845613746612/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 + 450165725254711473500724217002760\ 299188452298231076374930940822352064/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 + 9347016955976384990933064618623211679540704415660858164977139992941\ 2/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 + 21723513373191890113559137281648184588660754184479\ 5854691106635594016/95528177592600413035792643097533592299334348420\ 12151186487995470517*c_1001_4^20 + 7700939095288861212160220938871552504730350379504683871598784611460\ 724/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^19 + 473662198129088799220872434733559324981265317044\ 9324744555246756481115/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^18 - 2207280127746980311397204584245678271528746024338869156408795953239\ 4224/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^17 - 97088266748761940045205760506562598864929947232\ 9372826872763608535608/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^16 + 1437064125628014186295695702238657766965521692055271191970866388797\ 0012/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^15 - 35386831241972187960388115068283461334727969650\ 932041676024126553152248/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^14 + 8180868651023664981041924385145051922645980638373083382696064903203\ 1188/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^13 + 15698382861633043458476158398319614859172341106\ 1015243728403290978380576/95528177592600413035792643097533592299334\ 34842012151186487995470517*c_1001_4^12 + 7414737553738024058267295148729490122417066008341905764017070429817\ 6448/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^11 + 18282076085443168524904162520012379716062660384\ 9117012535476892013251040/95528177592600413035792643097533592299334\ 34842012151186487995470517*c_1001_4^10 + 9976740353856620817004650948600842682590696185998577487631471037483\ 0352/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^9 - 199676936636623460858541811837556692275014124123\ 1800182054418561482272/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^8 + 1735337965382428069355307264587923778631545226969394366647059905934\ 2096/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^7 - 351930172235314394275129234449878460840455994470\ 86347381981970190512904/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^6 - 3653481297214292335784626769364183821359100738873540489341541152492\ 9892/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^5 - 146896467917847332186571741835603264548396196349\ 74429045081796537122356/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^4 - 5782649825602471392601760248375937974120009066028381930960791182368\ 872/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^3 + 6670436011815191011658229757831856956239443366991\ 66048416826386729375/9552817759260041303579264309753359229933434842\ 012151186487995470517*c_1001_4^2 + 1325969592902611354651922054853725712321513670241390461734529920328\ 84/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4 + 9682106060714981600204657360536894223963563631076392\ 91876586613656/9552817759260041303579264309753359229933434842012151\ 186487995470517, c_0011_3 + 201030283223527727358570150432428837829181792343881314309404\ 9050047/95528177592600413035792643097533592299334348420121511864879\ 95470517*c_1001_4^26 - 14060028998538002089548686575649563327157416\ 64148458390760461810505/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^25 + 1299804799682706647986111769344579553863183207579533027212356914924\ 3/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 + 27122188699926446015255821545805211386682203514565\ 687291199410757358/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 + 183767926548251254385611632816841\ 352829373416060927715744327398645283/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 + 3565051147415091204053690188470416432170599146088280814008366039851\ 0/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 + 87264067432158229671530691197799750436543696739061\ 309291289790017449/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^20 + 315007815741141669772323078784748\ 6299282999658913149794407364211812310/95528177592600413035792643097\ 53359229933434842012151186487995470517*c_1001_4^19 + 1895501079729111556552387499728082330814703183354780216158709191915\ 543/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^18 - 907705112283320947692424689631870184137888236375\ 9181346670685983460693/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^17 - 2863755528710279231119158546711186421904403397530224133897838749978\ 28/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^16 + 5936316207998270732078781216038811600712100978255\ 687588177854228344209/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^15 - 1456203166706399800761783561104554006379474899443992231035089756433\ 4071/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^14 + 33650199142202819845065899879076972183605963780\ 259780189768771281408983/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^13 + 6386629669239888226139674431492426352294153966028010810096031450391\ 8472/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^12 + 29278090902404558137782659653207085980217086913\ 069412387335923784364941/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^11 + 7408938667226956373989223620687209370402407440155687722278617772182\ 5152/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^10 + 39596637531778893377965619239720358723029607005\ 735850041471593654950039/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^9 - 1814535142829837957296641128583394291666602857405718443895564899853\ 046/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^8 + 6933429559211258322573209024384224470087912134845\ 835140490893120886578/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^7 - 1463654975465932929385471540170340750066844571015175612484638452840\ 4755/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^6 - 147607713833200548890999817411563723379911864128\ 90935398385090295563617/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^5 - 5755934910198780306713814020831027489449211806008441572246286974734\ 575/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^4 - 2230320752205965690949011898325894573296478769733\ 072056952197701888057/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^3 + 3769986068126868294013316924839771380016553454742867890738942548247\ 11/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^2 + 60292383830322101105270446804456080702661398811028\ 089764087041424367/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4 + 464733754512918638129277622489775749\ 3326960177071527318253700319262/95528177592600413035792643097533592\ 29933434842012151186487995470517, c_0011_5 + 226319432718529683507632541338637566754056800763569238761793\ 5988520/95528177592600413035792643097533592299334348420121511864879\ 95470517*c_1001_4^26 - 15791627917276908687791636773787005487687226\ 63947770161173679374048/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^25 + 1465091772843579657421054951809916395296677057162966600325370923853\ 6/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 + 30539565367516981376747698663887775720158514830793\ 019736911610837992/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 + 207076713347327769394541539160379\ 006737632945501767976776183857516714/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 + 4070991731729563344957259441469623318131624099653625917302211379550\ 6/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 + 10016217568644163364911281882932840235611694622765\ 4470046388073526652/95528177592600413035792643097533592299334348420\ 12151186487995470517*c_1001_4^20 + 3546518236145128091209539634696872509530605924445384978547237289810\ 236/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^19 + 214112845548559968451426385717273119476456281933\ 5912737583885439164652/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^18 - 1018416390485452074097910275819828996910979957221228017262299801683\ 1416/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^17 - 32602974731314725413452194113968686617310463396\ 9361209545783580796644/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^16 + 6596591660118619302852004944757828587333577015656361839756038673931\ 940/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^15 - 163703004549723241631599449182956815392481706436\ 76109763910920281219150/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^14 + 3789033126480963308253998403884158663177999061565501098780090277823\ 3294/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^13 + 71833951302655419859940554692058673732370071581\ 079140825722503818906980/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^12 + 3344368084812032918238602414651032715523141945587984654186226335691\ 8988/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^11 + 83977750681432425197941567625629915814299237024\ 196699688759266301610324/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^10 + 4504422253456512811320345411456610233600209025572423088479637987366\ 7411/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^9 - 122412481001128128296740727806729061305264508798\ 0993213975248496642164/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^8 + 8048305703570974578379115859689070532713284287932434137779026461146\ 608/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^7 - 1628808845506279383282226361629388407991784402520\ 7190498996467466701396/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^6 - 1663350026210463461686575106994210751238318077619071152678422763046\ 1356/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^5 - 661607936753963261102581855981470453626227092831\ 7443929879628587713804/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^4 - 2609439190345817875140721522273639310858248316108400674397450360446\ 288/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^3 + 3200252104212922326212153857697961436771220876558\ 70526562692310456356/9552817759260041303579264309753359229933434842\ 012151186487995470517*c_1001_4^2 + 5700467358376408717447098826731640890418212048590568933750910671248\ 2/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4 - 44896034628954211020354359432733022573407950100617022\ 41418155739252/9552817759260041303579264309753359229933434842012151\ 186487995470517, c_0101_0 + 207223346709205916345982417700810231851701006044218726357699\ 0725307/95528177592600413035792643097533592299334348420121511864879\ 95470517*c_1001_4^26 - 12902060520938709296310443720058191059316199\ 82063520626014117588590/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^25 + 1334144967867124149966187700288804543310690036743851823672513643814\ 2/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 + 28933676791286020317567591910518471741573648371877\ 606609315518538647/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 + 191953435003872089815982978434027\ 907775974716056519529667407351720035/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 + 5190475994816830513026947613202665413234833939319679504790755776109\ 4/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 + 97656723793149906751369373135122830710980114581484\ 588117320987921725/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^20 + 325375619632461833582182820729737\ 9583030489308142470038869006495502518/95528177592600413035792643097\ 53359229933434842012151186487995470517*c_1001_4^19 + 2206685917763184523811101363613793663834148824266004927725553047661\ 025/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^18 - 912312336371772316502577223250661765007720243071\ 0420676768595140714181/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^17 - 9845469901061151974473424603150329866368315661080938659115472700528\ 57/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^16 + 5862424259973734758580325138211429495451760703116\ 790665161326593934001/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^15 - 1448609242629646837140541498721038394732526278683069292364561018435\ 0882/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^14 + 33623046472365294683520092784346707033498762644\ 760885157810498443542721/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^13 + 6812027151462074921945820191270260575080222198116856072925965817169\ 9417/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^12 + 36265707945836143068185610487699036231579396363\ 753701171643747798368316/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^11 + 8001912369300856141945631933224530673654961368485610954570485714000\ 2811/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^10 + 47373332080317103237399279977973574988906433823\ 833455336106099690071234/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^9 + 3289840898780830354463889027583599267488998928126348279562633267304\ 032/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^8 + 7518229732150395624847520102015168013645995338433\ 383310884191716581352/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^7 - 1430047026192840878060456118685458846766158972956191426565912007829\ 9065/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^6 - 162426354440825033934252897539497473646535412934\ 82438627431454685746906/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^5 - 7511130864186756070564976040152656431609543103381204253843615443807\ 605/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^4 - 2976630986805526475429153827806506845176083829984\ 329571511854871103665/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^3 + 3259628908863308342988522220564893513979083110164243944150208578015\ 6/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^2 + 484160809425721017762364030111610612527445498932909\ 16925094642757777/9552817759260041303579264309753359229933434842012\ 151186487995470517*c_1001_4 + 1076408553926170357159688872042037411\ 6633701357625321180409986526971/95528177592600413035792643097533592\ 29933434842012151186487995470517, c_0101_1 + 201030283223527727358570150432428837829181792343881314309404\ 9050047/95528177592600413035792643097533592299334348420121511864879\ 95470517*c_1001_4^26 - 14060028998538002089548686575649563327157416\ 64148458390760461810505/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^25 + 1299804799682706647986111769344579553863183207579533027212356914924\ 3/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 + 27122188699926446015255821545805211386682203514565\ 687291199410757358/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 + 183767926548251254385611632816841\ 352829373416060927715744327398645283/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 + 3565051147415091204053690188470416432170599146088280814008366039851\ 0/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 + 87264067432158229671530691197799750436543696739061\ 309291289790017449/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^20 + 315007815741141669772323078784748\ 6299282999658913149794407364211812310/95528177592600413035792643097\ 53359229933434842012151186487995470517*c_1001_4^19 + 1895501079729111556552387499728082330814703183354780216158709191915\ 543/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^18 - 907705112283320947692424689631870184137888236375\ 9181346670685983460693/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^17 - 2863755528710279231119158546711186421904403397530224133897838749978\ 28/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^16 + 5936316207998270732078781216038811600712100978255\ 687588177854228344209/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^15 - 1456203166706399800761783561104554006379474899443992231035089756433\ 4071/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^14 + 33650199142202819845065899879076972183605963780\ 259780189768771281408983/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^13 + 6386629669239888226139674431492426352294153966028010810096031450391\ 8472/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^12 + 29278090902404558137782659653207085980217086913\ 069412387335923784364941/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^11 + 7408938667226956373989223620687209370402407440155687722278617772182\ 5152/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^10 + 39596637531778893377965619239720358723029607005\ 735850041471593654950039/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^9 - 1814535142829837957296641128583394291666602857405718443895564899853\ 046/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^8 + 6933429559211258322573209024384224470087912134845\ 835140490893120886578/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^7 - 1463654975465932929385471540170340750066844571015175612484638452840\ 4755/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^6 - 147607713833200548890999817411563723379911864128\ 90935398385090295563617/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^5 - 5755934910198780306713814020831027489449211806008441572246286974734\ 575/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^4 - 2230320752205965690949011898325894573296478769733\ 072056952197701888057/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^3 + 3769986068126868294013316924839771380016553454742867890738942548247\ 11/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^2 + 60292383830322101105270446804456080702661398811028\ 089764087041424367/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4 + 464733754512918638129277622489775749\ 3326960177071527318253700319262/95528177592600413035792643097533592\ 29933434842012151186487995470517, c_0101_10 - 42669797942109233260400741354790354499093828029850424270670\ 23924537/9552817759260041303579264309753359229933434842012151186487\ 995470517*c_1001_4^26 + 2768755236475008953487868305206960287148583\ 128575206343593503512315/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^25 - 2750544439068210516090833483269526520531044406875974704766404369365\ 0/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 - 58889923587910484976034739198846593711359566591218\ 975082793029659518/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 - 393442267021782260646426759867161\ 346327883066992772257640364508971963/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 - 9607989731911658698037740844808268118282046863302416592065231582643\ 4/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 - 19503039017669560189602227290710181099893391609597\ 2923005936228602615/95528177592600413035792643097533592299334348420\ 12151186487995470517*c_1001_4^20 - 6694634042230165863651291150496748367580023963753755590692569799152\ 996/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^19 - 436563412323116268815318963871583452988480347645\ 6967105731671020229443/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^18 + 1896051742790692550335835949050713681389692003840872396950902800849\ 5445/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^17 + 15553938705251169901272107699613364993976899756\ 37538290572222414019862/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^16 - 1227981937335946224860685231161592970063937838477576687989362921389\ 0543/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^15 + 30176056451579184220452746422303998892592066163\ 004439117678135442748145/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^14 - 6995761929810083651726944851393824733675538502280495898830786537760\ 5027/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^13 - 13870153903045569894946744027605415278433936041\ 1033543511028932748131736/95528177592600413035792643097533592299334\ 34842012151186487995470517*c_1001_4^12 - 7030773970925909654970118421295819323895529374822863848744962670221\ 3280/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^11 - 16189386626326365566815604440999056047232133387\ 0455412997944083391775344/95528177592600413035792643097533592299334\ 34842012151186487995470517*c_1001_4^10 - 9274396392095707140124672723934126308281007586897369293101894709764\ 5100/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^9 - 283325849004809883600200204006085070171346699578\ 3105212555306169838823/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^8 - 1493293108988043772831458387657442615482868648943463022243082702615\ 5895/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^7 + 299700892707576815092708443335482015807081697504\ 07025270214480875349076/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^6 + 3277902250332988970324772098488584650423634694080000840671016126610\ 9464/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^5 + 142782671224582581052113370058993778466885423420\ 74026159072348054192817/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^4 + 5577356039112877396530288548496578590553691652837858952828760067646\ 289/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^3 - 3419983092173163310444736568590807395475354699670\ 75662798079144984998/9552817759260041303579264309753359229933434842\ 012151186487995470517*c_1001_4^2 - 1293196930671551294139993349636884401473789677625053374981109910879\ 55/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4 - 1260578066609825537509112642657746464977326194954046\ 3837693335616602/95528177592600413035792643097533592299334348420121\ 51186487995470517, c_0101_2 - 990777617208348810571310986920970038368606424463571269110673\ 582558/955281775926004130357926430975335922993343484201215118648799\ 5470517*c_1001_4^26 + 777697352270967473109307112654684618571862492\ 507819829421268759877/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^25 - 6407450472335258601781890082707691848326425921719305723839410158816\ /955281775926004130357926430975335922993343484201215118648799547051\ 7*c_1001_4^24 - 128728040104866249334810030043325012362406164197202\ 26405120998880757/9552817759260041303579264309753359229933434842012\ 151186487995470517*c_1001_4^23 - 8904194021998413107075487984632181\ 3584166890407064453248613759338955/95528177592600413035792643097533\ 59229933434842012151186487995470517*c_1001_4^22 - 9125709139277955220628273797318770139955126318373948320449988861555\ /955281775926004130357926430975335922993343484201215118648799547051\ 7*c_1001_4^21 - 363834381110177258535194059230760553319615649937502\ 75533691567424186/9552817759260041303579264309753359229933434842012\ 151186487995470517*c_1001_4^20 - 1548982145986408543595149559773776\ 981219796815129612732931413296824610/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^19 - 7990021147625809467079670739738606357567029694607276523901333279171\ 69/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^18 + 4643851513973648577772618440925176582509543867314\ 295303849534834469999/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^17 - 2074794996560312909687148665907683374620437663905737309087852782079\ 35/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^16 - 3209935811600686456118097719988454989631386495490\ 520658937810789919595/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^15 + 7481640548121223652114854400089412512074541871415050115067674603521\ 645/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^14 - 170308119293272219958615695256141315766865207565\ 85491183502469211480740/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^13 - 3052611908782555851345166300050737389449915857277631995778768569069\ 3332/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^12 - 10663688329223093423096978176578698818741984411\ 068974816165643666264786/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^11 - 3365762660622607371888038587954966506234362671435258886888155398853\ 4889/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^10 - 15967766316624024529994446800480363223441947658\ 354422246398137711892575/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^9 + 4573231587128978093526277298314655937754245236077038351563564899298\ 990/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^8 - 2775858549856027187610040393535898602417390592524\ 801612254948172348682/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^7 + 7200412577345832707441766872419693535709139975526200188690792691303\ 737/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^6 + 6918844552273603432704976042800105087147383220010\ 730384241170967124610/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^5 + 1758462702473406962060498249476960260215865848957915334348080000471\ 026/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^4 + 4896281525529727190466296337867734522430480124131\ 63256206736463112595/9552817759260041303579264309753359229933434842\ 012151186487995470517*c_1001_4^3 - 3531474462390787215727928169271273416507984932467951190027184032906\ 60/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^2 - 56067197454512481621960584892207098394776943006947\ 062511823632414212/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4 + 114995025859122328107636868614611467\ 63288700352691303527742505974911/9552817759260041303579264309753359\ 229933434842012151186487995470517, c_0101_4 + 620661589619633411670924532038721979907694965156162046239320\ 286816/955281775926004130357926430975335922993343484201215118648799\ 5470517*c_1001_4^26 - 346562510670473140245024754609270697999815520\ 190581800214903950058/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^25 + 4000616675479583811058484977651801707204848260308371289442614213390\ /955281775926004130357926430975335922993343484201215118648799547051\ 7*c_1001_4^24 + 890331442087372553012615749789228386450285838102835\ 9041604449577984/95528177592600413035792643097533592299334348420121\ 51186487995470517*c_1001_4^23 + 58242513791098277149955795412047772\ 602526619329855599821782989347436/955281775926004130357926430975335\ 9229933434842012151186487995470517*c_1001_4^22 + 1964102802133884025869270846489613946138923924582707762730168574168\ 2/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^21 + 32984357726909471894254477357017571205237852147400\ 341151980912237951/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^20 + 977088351061483201923649340477783\ 836100601405712889341730268385729553/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^19 + 7251164365968515730389529644044060308787327219262034633201173895369\ 24/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^18 - 2643890058135308547381093464022906027575290636455\ 389900462352589006052/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^17 - 4405630042587911348645410376205105352528342117957486741604619650290\ 10/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^16 + 1609984661068639692174673303851723964006067928035\ 474683330226061756001/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^15 - 4235733072103303075063940210494171590509126753929910960050690197011\ 307/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^14 + 986223540210888737754250840911646421982480882722\ 3678017003492173179107/95528177592600413035792643097533592299334348\ 42012151186487995470517*c_1001_4^13 + 2084835233712133104417881507356541232658461802167918907198812169870\ 2677/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^12 + 12667691648778252932678539116096490264235640250\ 778264445675710305850644/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^11 + 2559483152460807900832513738884187771705677077653768289084442791113\ 1166/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^10 + 16264072983897423663105038940295041818598672426\ 290649750375628371368367/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^9 + 3066909985147784148671720753715662537780385896694933843185963983334\ 721/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^8 + 2935406437467710541229577893561209103366643625603\ 825945948501927499132/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^7 - 4048940774689649733972408780700121207991775446249512177549977393037\ 672/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^6 - 5049834652141998598805148975361678608759875512699\ 947667102083438312019/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^5 - 2780134627068050640574424016351987202290255138276519153211572861912\ 860/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^4 - 1235393876589408277022983676705021067474568350358\ 164067301019250444635/955281775926004130357926430975335922993343484\ 2012151186487995470517*c_1001_4^3 - 1643069132544157352633369217757397549645314267732565227713804924727\ 48/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^2 - 18499532185827749013903721091234717612672206368705\ 446875029672013009/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4 + 101915309613876568409312544511313665\ 56641631627739517277780879915686/9552817759260041303579264309753359\ 229933434842012151186487995470517, c_0101_6 + 681967383111544816978455600799821407572243187753394371832670\ 1825720/95528177592600413035792643097533592299334348420121511864879\ 95470517*c_1001_4^26 - 45051774375533322317184284300503310815895531\ 83573300599560412191784/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^25 + 4398924395413099967325360181114078376049293509587594270810847064652\ 3/95528177592600413035792643097533592299334348420121511864879954705\ 17*c_1001_4^24 + 93629788123604166811781466432383166117965279846266\ 021670581580918190/955281775926004130357926430975335922993343484201\ 2151186487995470517*c_1001_4^23 + 627548904071014766523783427770549\ 421815017396512837403281306834262941/955281775926004130357926430975\ 3359229933434842012151186487995470517*c_1001_4^22 + 1459379976932320064650525366524367283321600508382493520473119888122\ 69/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4^21 + 3078601478428853048685151501524405309144056304396\ 08995486826848284208/9552817759260041303579264309753359229933434842\ 012151186487995470517*c_1001_4^20 + 1069635786319175172730899205683540753807874499865223884010853047889\ 9658/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^19 + 68503122874081877798080648915122643887029651098\ 12219029313074438975867/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^18 - 3042082493602001691884360062082818775387015875972528366386832345967\ 3370/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^17 - 21382852465127542069703779951431364539207723276\ 94506066388052467156488/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^16 + 1975654964155430263243941916379711536973100712251234412399848695082\ 7590/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^15 - 48494849081788566493221336858209641330712104386\ 363734488611872687102922/955281775926004130357926430975335922993343\ 4842012151186487995470517*c_1001_4^14 + 1123416221538014984521030757675405242229942753706268647239114243096\ 68540/9552817759260041303579264309753359229933434842012151186487995\ 470517*c_1001_4^13 + 2205334359398776211395366535278120291528233564\ 38587018556364453841912726/9552817759260041303579264309753359229933\ 434842012151186487995470517*c_1001_4^12 + 1093011806726023242556930053429486659140776212159252072811515911309\ 35602/9552817759260041303579264309753359229933434842012151186487995\ 470517*c_1001_4^11 + 2569168858022291969137227481835016233131807190\ 05978297196306964971865117/9552817759260041303579264309753359229933\ 434842012151186487995470517*c_1001_4^10 + 1449757317601680157049008904462965030271487153728003887562543713596\ 04492/9552817759260041303579264309753359229933434842012151186487995\ 470517*c_1001_4^9 + 19419519402049122188402816813363354616577822583\ 94777277863354338863023/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^8 + 2371938663107930831350277456717972327734410942796870700560500401272\ 2843/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^7 - 482325973473853239772411636643926262747428712854\ 26772677848915043734153/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^6 - 5190847278565468596389145097505961997151540041984601716165508536233\ 5777/95528177592600413035792643097533592299334348420121511864879954\ 70517*c_1001_4^5 - 219972160410649018326425691176383454657431051173\ 55743985491471384357441/9552817759260041303579264309753359229933434\ 842012151186487995470517*c_1001_4^4 - 8589453777902104832617875038056271188049989763014210188615544035261\ 244/955281775926004130357926430975335922993343484201215118648799547\ 0517*c_1001_4^3 + 7041792360251731001682049761404952776775775021795\ 43706905199614156263/9552817759260041303579264309753359229933434842\ 012151186487995470517*c_1001_4^2 + 2158454827064630559190813233337316078294240920344102662079957507566\ 75/9552817759260041303579264309753359229933434842012151186487995470\ 517*c_1001_4 + 1519641616386083687104806572747984455663047299771973\ 1878518387434914/95528177592600413035792643097533592299334348420121\ 51186487995470517, c_1001_4^27 + 6*c_1001_4^25 + 18*c_1001_4^24 + 101*c_1001_4^23 + 82*c_1001_4^22 + 58*c_1001_4^21 + 1598*c_1001_4^20 + 2040*c_1001_4^19 - 3819*c_1001_4^18 - 3274*c_1001_4^17 + 2752*c_1001_4^16 - 5194*c_1001_4^15 + 11736*c_1001_4^14 + 43320*c_1001_4^13 + 37158*c_1001_4^12 + 47815*c_1001_4^11 + 45928*c_1001_4^10 + 13803*c_1001_4^9 + 3378*c_1001_4^8 - 4775*c_1001_4^7 - 12331*c_1001_4^6 - 8153*c_1001_4^5 - 3284*c_1001_4^4 - 684*c_1001_4^3 + 118*c_1001_4^2 + 22*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.430 seconds, Total memory usage: 32.09MB