Magma V2.19-8 Tue Aug 20 2013 18:20:41 on localhost [Seed = 2176858223] Type ? for help. Type -D to quit. Loading file "11_3__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_3 geometric_solution 12.46798531 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553098902899 0.682338505230 0 5 6 5 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484513389652 0.787310704617 3 0 8 7 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.877916160409 0.456277365945 2 9 5 0 0321 0132 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 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.608517778860 1.205081177116 6 10 0 11 0132 0132 0132 0132 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 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.828570804228 0.981963775745 1 1 7 3 3012 0132 1230 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 -1 1 0 1 0 0 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582086246256 0.889029362719 4 8 11 1 0132 1023 0132 0132 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 1 -1 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.390802018092 0.401739675677 12 9 2 5 0132 0213 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 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298789881176 0.569103118348 6 12 9 2 1023 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.147542610243 0.507893204611 13 3 7 8 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.005531389990 0.519027647473 11 4 13 12 0132 0132 1230 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.155627275520 0.654305442902 10 13 4 6 0132 1230 0132 0132 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 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.486443973634 0.694958734115 7 10 8 13 0132 2310 2310 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118900134181 0.719887332194 9 12 11 10 0132 0321 3012 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 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.038538247898 0.793184016179 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_0011_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_13'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : negation(d['c_1001_12']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_13' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_13'], 'c_1010_10' : negation(d['c_1001_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0110_5'], 'c_1100_1' : d['c_0110_5'], 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_5'], 'c_1100_10' : negation(d['c_0011_12']), 'c_1100_13' : negation(d['c_1001_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_1001_12']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : negation(d['c_1001_12']), 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 'c_0110_0' : d['c_0101_1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_13'], '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_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_10'], 'c_0110_13' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_13']), 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0101_7' : negation(d['c_0011_13']), 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_13'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_13']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_1'], 's_1_0' : negation(d['1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0101_1, c_0101_10, c_0101_12, c_0101_13, c_0101_2, c_0101_5, c_0110_5, c_1001_0, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2021635511759984965028916536827348121493920236683602196939357421677\ 25258752639577/2575417969817570124989205788012707097667178721323665\ 272503486846291106164827288*c_1001_12^29 + 1127462510073760194405515491256338877998540237351216235274031484039\ 602940029772467/128770898490878506249460289400635354883358936066183\ 2636251743423145553082413644*c_1001_12^28 - 9697713173131291096359427092614177431864306219501211729407315824114\ 3650202545164/35769694025244029513738969277954265245377482240606462\ 118103983976265363400379*c_1001_12^27 - 8028168591790686545504209714278003754881998515035480624111982361060\ 11044725197447/1430787761009761180549558771118170609815099289624258\ 48472415935905061453601516*c_1001_12^26 + 9607188198525185413208002236166586517491395926737556915329378823993\ 607017323069500/321927246227196265623650723501588387208397340165458\ 159062935855786388270603411*c_1001_12^25 + 4831689681227309909420788921024363269665974978049561540764338625144\ 0633105977903919/25754179698175701249892057880127070976671787213236\ 65272503486846291106164827288*c_1001_12^24 - 2261595695780887483052887892813695115478478736493750188142725371069\ 23956646251543957/1287708984908785062494602894006353548833589360661\ 832636251743423145553082413644*c_1001_12^23 - 5007843759847813881897819954391724048166543640371909078664000935147\ 6668451854330429/12877089849087850624946028940063535488335893606618\ 32636251743423145553082413644*c_1001_12^22 + 1976708787727388101597599653004358279887850188155939595366920197995\ 078432241900856671/257541796981757012498920578801270709766717872132\ 3665272503486846291106164827288*c_1001_12^21 - 3947689318685271711195546556742411000654540877200547774407052532192\ 562552150101561/357696940252440295137389692779542652453774822406064\ 62118103983976265363400379*c_1001_12^20 - 6214493664062321655631369810565875387007931938051570186089122169358\ 699752948900688287/257541796981757012498920578801270709766717872132\ 3665272503486846291106164827288*c_1001_12^19 + 1074311082352940936621919491944842116398889506744387970442918411180\ 6004696689698758/11100939525075733297367266327640978869255080695360\ 626174583995027116836917359*c_1001_12^18 + 1521700413001546963082124766578156231627517359510838605140631972048\ 9717816388088398315/25754179698175701249892057880127070976671787213\ 23665272503486846291106164827288*c_1001_12^17 - 3520178490728493400820231089519138401759103162426553660695260673907\ 305153495601912753/858472656605856708329735262670902365889059573774\ 555090834495615430368721609096*c_1001_12^16 - 9138495152498270814525622594205740755370747245349096534843890264848\ 239003771588441537/858472656605856708329735262670902365889059573774\ 555090834495615430368721609096*c_1001_12^15 + 1002496674455458942978381015728663233325841699567433050083095314219\ 4226501192844695421/85847265660585670832973526267090236588905957377\ 4555090834495615430368721609096*c_1001_12^14 + 3451329009562116095484615656486785157609318100086676370664969159844\ 83334665723123647/3065973773592345386891911652396079878175212763480\ 5538958374843408227454343182*c_1001_12^13 - 5027809545909382774740883922056542170202092933370505586211047308409\ 5669746637079936245/25754179698175701249892057880127070976671787213\ 23665272503486846291106164827288*c_1001_12^12 - 2884260419875130373090156581505901575685226458336949271545148201827\ 206251470016947477/429236328302928354164867631335451182944529786887\ 277545417247807715184360804548*c_1001_12^11 + 3360539727778556040020043629026290843749552126072431331151517484529\ 023955317752516007/122638950943693815475676466095843195127008510539\ 222155833499373632909817372728*c_1001_12^10 - 3831726284665904017436812445298324943125036655961455614492508348148\ 4337105108342413067/25754179698175701249892057880127070976671787213\ 23665272503486846291106164827288*c_1001_12^9 - 1762973282566053406909516175814236009371499285181927739701266044481\ 770413935332592618/321927246227196265623650723501588387208397340165\ 458159062935855786388270603411*c_1001_12^8 + 1255758918720762305842828306756022205520723840031749537632063981926\ 4781882389574134121/12877089849087850624946028940063535488335893606\ 61832636251743423145553082413644*c_1001_12^7 - 3813951857890388581305865375177120995923320550478252890075150790750\ 008657888563349791/858472656605856708329735262670902365889059573774\ 555090834495615430368721609096*c_1001_12^6 + 1116835523475676622078494642320363927883242937803621743223153972953\ 1718281736342501/44403758100302933189469065310563915477020322781442\ 504698335980108467347669436*c_1001_12^5 + 1471993790549839715513375067596590686858416791526166352737854824651\ 70605552057969777/1226389509436938154756764660958431951270085105392\ 22155833499373632909817372728*c_1001_12^4 - 2845927325106182507052661940897032993556211562728717718208072967481\ 033357299552200881/257541796981757012498920578801270709766717872132\ 3665272503486846291106164827288*c_1001_12^3 + 4472036620584378591345332567355821955301782865519392562319879046018\ 22225663849370545/8584726566058567083297352626709023658890595737745\ 55090834495615430368721609096*c_1001_12^2 - 1432202471962919226371810441137211471431473051015647387305703596640\ 479100300069647/102199125786411512896397055079869329272507092116018\ 46319458281136075818114394*c_1001_12 + 7696511571604877182874926094935404462076672010536356849415310083446\ 2425630804460/39744104472493366126376632531060294717086091378451624\ 57567109330696151488931, c_0011_0 - 1, c_0011_10 - 21649883482312600575530669666594200311189150799588728100127\ 6133065/19046692811628531105548756725583281573780544675036869588515\ 6834438*c_1001_12^29 + 17424623090518978575082485663411397137113407\ 0674556967876635950251/13604780579734665075391969089702343981271817\ 625026335420368345317*c_1001_12^28 - 1288727711149063821118682637984701973203541268174694653997999194489\ /31744488019380885175914594542638802622967574458394782647526139073*\ c_1001_12^27 - 8238869934835066760947391728043438195195864775822498\ 13849111745623/1058149600646029505863819818087960087432252481946492\ 7549175379691*c_1001_12^26 + 42294652864828449965228926496044134498\ 187141541854680558289201421198/952334640581426555277437836279164078\ 68902723375184347942578417219*c_1001_12^25 + 4420908820149635269707490961922699097080372236310393194176462849418\ 3/19046692811628531105548756725583281573780544675036869588515683443\ 8*c_1001_12^24 - 24818360085012017271723606298917240024621974740036\ 2655235103063931291/95233464058142655527743783627916407868902723375\ 184347942578417219*c_1001_12^23 - 440875073418084021517281910848072\ 9796168294805392435741383867434704/13604780579734665075391969089702\ 343981271817625026335420368345317*c_1001_12^22 + 2165884826635866130756796342944386384252086765749870162174461170805\ 143/190466928116285311055487567255832815737805446750368695885156834\ 438*c_1001_12^21 - 843579274564282493093107355999514181988924315433\ 21166209240579268574/3174448801938088517591459454263880262296757445\ 8394782647526139073*c_1001_12^20 - 6783655349831959045358153861992862126073150058740808660336275631510\ 655/190466928116285311055487567255832815737805446750368695885156834\ 438*c_1001_12^19 + 818817606506123181320931303487612791229921116790\ 6842637432535770763/46913036481843672673765410654146013728523509051\ 8149497254080873*c_1001_12^18 + 16522166692111131898247222701305370\ 006836302730401308038364709701894955/190466928116285311055487567255\ 832815737805446750368695885156834438*c_1001_12^17 - 6183910217504174658944932422077836973141472443697397768455785650805\ 69/9069853719823110050261312726468229320847878416684223613578896878\ *c_1001_12^16 - 980945517564603629341827674285067200782359890926881\ 1422419743599812069/63488976038761770351829189085277605245935148916\ 789565295052278146*c_1001_12^15 + 118348856323340468866819550573767\ 41495817059922992896295231119729950265/6348897603876177035182918908\ 5277605245935148916789565295052278146*c_1001_12^14 + 5007754552174642870275478062613676123382618955023802728390821821593\ 049/317444880193808851759145945426388026229675744583947826475261390\ 73*c_1001_12^13 - 5820596861950125787907360827879157614090630053920\ 9863829386543530831017/19046692811628531105548756725583281573780544\ 6750368695885156834438*c_1001_12^12 - 2654596371725719466856816971652408609522135556547306810755668233040\ 125/317444880193808851759145945426388026229675744583947826475261390\ 73*c_1001_12^11 + 2660593686737721260263926934630026996262009858752\ 7071833421574687694059/63488976038761770351829189085277605245935148\ 916789565295052278146*c_1001_12^10 - 4621689347042068742842965804152266288905499261782960553201983751650\ 3551/19046692811628531105548756725583281573780544675036869588515683\ 4438*c_1001_12^9 - 732445359952537051108041828747441784205523853960\ 4286153585684583719805/95233464058142655527743783627916407868902723\ 375184347942578417219*c_1001_12^8 + 1450088662085195319928044513039319261992457551580518460992850876189\ 3808/95233464058142655527743783627916407868902723375184347942578417\ 219*c_1001_12^7 - 4534513704924667759506022612301136424122353128038\ 691254027144535783831/634889760387617703518291890852776052459351489\ 16789565295052278146*c_1001_12^6 + 1698244779193948886422470836350465433357117979842289676809271312541\ 9/3283912553729057087163578745790220960996645633627046480778566111*\ c_1001_12^5 + 11562256604922723343116692751929819690076062588170933\ 60292323669777969/6348897603876177035182918908527760524593514891678\ 9565295052278146*c_1001_12^4 - 329515092737805747417997618487713406\ 0338076406225718522022282673498737/19046692811628531105548756725583\ 2815737805446750368695885156834438*c_1001_12^3 + 1758578991021041421116570103698007614491326464083465011495537035599\ 39/2116299201292059011727639636175920174864504963892985509835075938\ 2*c_1001_12^2 - 239745044438081440593685725045416828985878345581191\ 54293422414578668/1058149600646029505863819818087960087432252481946\ 4927549175379691*c_1001_12 + 11288877242094658764474824802393578441\ 02154021527769211996574218755/3527165335486765019546066060293200291\ 440841606488309183058459897, c_0011_12 - 19191882027783712626058186071856629437789970151738059125969\ 073827/131356502149162283486543149831608838439865825345081859231142\ 64444*c_1001_12^29 + 7639969380084568318210686824618233468758835990\ 480528460807657974/469130364818436726737654106541460137285235090518\ 149497254080873*c_1001_12^28 - 551226714029135930054671816314316804\ 19070737856378466592718274688/1094637517909685695721192915263406986\ 998881877875682160259522037*c_1001_12^27 - 76354396535949096324376295930426042218786364853867306638977901977/7\ 29758345273123797147461943508937991332587918583788106839681358*c_10\ 01_12^26 + 18200407295206004082938413082452275922045055020126180323\ 19300227466/3283912553729057087163578745790220960996645633627046480\ 778566111*c_1001_12^25 + 461701083109556880522450262699926639165894\ 3683867514376813499085377/13135650214916228348654314983160883843986\ 582534508185923114264444*c_1001_12^24 - 1070954686377026756784143849263271393751980797981930944267048824112\ 2/3283912553729057087163578745790220960996645633627046480778566111*\ c_1001_12^23 - 6920283458038332642410806256902788202462657994929996\ 89410679916075/9382607296368734534753082130829202745704701810362989\ 94508161746*c_1001_12^22 + 1871789784700021311017173340793481673138\ 25409359844748531765938656809/1313565021491622834865431498316088384\ 3986582534508185923114264444*c_1001_12^21 - 4367022103323803544252330865596779663019344543842575614050306114871\ /2189275035819371391442385830526813973997763755751364320519044074*c\ _1001_12^20 - 58838938530704677967198973213776993427348259123836757\ 2667423182500585/13135650214916228348654314983160883843986582534508\ 185923114264444*c_1001_12^19 + 167198042543046199023340515702461159\ 81748877734122163358822562658577/9382607296368734534753082130829202\ 74570470181036298994508161746*c_1001_12^18 + 1440615815776885648537365773100484230534997865228893890952754661688\ 193/131356502149162283486543149831608838439865825345081859231142644\ 44*c_1001_12^17 - 4742692222521003094194457991863223849414178795694\ 8764248708060245191/62550715309124896898353880872194684971364678735\ 7532663005441164*c_1001_12^16 - 86512109500759036323459581847507540\ 4099672166488350816093987084449477/43785500716387427828847716610536\ 27947995527511502728641038088148*c_1001_12^15 + 9471588763430618642175198114578973684067394787507717092084751994159\ 73/4378550071638742782884771661053627947995527511502728641038088148\ *c_1001_12^14 + 457334050414356195498827684677030335541896250460194\ 355680495167824101/218927503581937139144238583052681397399776375575\ 1364320519044074*c_1001_12^13 - 47531450360710822407983978423526703\ 31454819343738291660973028429894827/1313565021491622834865431498316\ 0883843986582534508185923114264444*c_1001_12^12 - 1364760318566734923673929102059086567480356854914692513363987188688\ 49/1094637517909685695721192915263406986998881877875682160259522037\ *c_1001_12^11 + 222556460375536246198893956629092851821726045723561\ 4667161035662537751/43785500716387427828847716610536279479955275115\ 02728641038088148*c_1001_12^10 - 3630216071159580348855189252973448\ 434453341022457621625407889760105283/131356502149162283486543149831\ 60883843986582534508185923114264444*c_1001_12^9 - 6659103535679240433059906585761425482343770938804107116492347272020\ 89/6567825107458114174327157491580441921993291267254092961557132222\ *c_1001_12^8 + 1189552945704573542202976827610156047586902367469186\ 782650847260207149/656782510745811417432715749158044192199329126725\ 4092961557132222*c_1001_12^7 - 361490861408962620934943253795887156\ 134870272938260997475405758669785/437855007163874278288477166105362\ 7947995527511502728641038088148*c_1001_12^6 + 1528566115421850905584224759024070793155044827633308270589683659385\ 4/3283912553729057087163578745790220960996645633627046480778566111*\ c_1001_12^5 + 97535094374318146807570937355593052149648893913383070\ 168010630620761/437855007163874278288477166105362794799552751150272\ 8641038088148*c_1001_12^4 - 269489495318771868374352127687224250591\ 552278866403970172329029760421/131356502149162283486543149831608838\ 43986582534508185923114264444*c_1001_12^3 + 1412595068544289213708455028727485367926337441761725457910083824175\ 9/1459516690546247594294923887017875982665175837167576213679362716*\ c_1001_12^2 - 18994941927213293539870620265902453490066365752550641\ 26880482614983/7297583452731237971474619435089379913325879185837881\ 06839681358*c_1001_12 + 4377856915506761839189445158776569290650485\ 5788121590268416962770/12162639087885396619124365725148966522209798\ 6430631351139946893, c_0011_13 - 31950095657960649842147729406091723117047289164053190384777\ 8566781/38093385623257062211097513451166563147561089350073739177031\ 3668876*c_1001_12^29 + 25730492678500896321729553451897578509168055\ 1284713859467924611675/27209561159469330150783938179404687962543635\ 250052670840736690634*c_1001_12^28 - 953169556022466436053825193179971914342118162135645406355662265595/\ 31744488019380885175914594542638802622967574458394782647526139073*c\ _1001_12^27 - 12105302292409555238899791115936179770601586391715012\ 67586662984705/2116299201292059011727639636175920174864504963892985\ 5098350759382*c_1001_12^26 + 31240726415571183369677743302202758928\ 767690474434466741891431487370/952334640581426555277437836279164078\ 68902723375184347942578417219*c_1001_12^25 + 6414654186554912895617999625609508557012895143316081759330033759454\ 3/38093385623257062211097513451166563147561089350073739177031366887\ 6*c_1001_12^24 - 36633564966109273287869725165666408311381876508416\ 5378562326036997781/19046692811628531105548756725583281573780544675\ 0368695885156834438*c_1001_12^23 - 6029505331288553210849076854614321187815096033419718736786461843009\ /27209561159469330150783938179404687962543635250052670840736690634*\ c_1001_12^22 + 3195123639226079322533943013081725144782201111367779\ 843933099635147283/380933856232570622110975134511665631475610893500\ 737391770313668876*c_1001_12^21 - 647507675006485432299120776938004\ 31026750196823390312266256240615261/3174448801938088517591459454263\ 8802622967574458394782647526139073*c_1001_12^20 - 9997888563197680042531741998704666195362740550423237584326748173963\ 603/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^19 + 616211353834288545406535333412280806518859345099\ 6747774544925229517/46913036481843672673765410654146013728523509051\ 8149497254080873*c_1001_12^18 + 24322186357077991568583337236940265\ 728865793271324529273006328484459319/380933856232570622110975134511\ 665631475610893500737391770313668876*c_1001_12^17 - 9243358708556526291045350073822936229378632337287032123583990475554\ 83/1813970743964622010052262545293645864169575683336844722715779375\ 6*c_1001_12^16 - 14408130127209667162574434485747789397484742385361\ 362332301415347268957/126977952077523540703658378170555210491870297\ 833579130590104556292*c_1001_12^15 + 1761968330458673167026096333409391265454348545632920325801211937661\ 3981/12697795207752354070365837817055521049187029783357913059010455\ 6292*c_1001_12^14 + 36513826918070202007433914703522641233225345140\ 03455643492381782062287/3174448801938088517591459454263880262296757\ 4458394782647526139073*c_1001_12^13 - 8644709951827311974078008184984316012121680678987051202381358863619\ 1257/38093385623257062211097513451166563147561089350073739177031366\ 8876*c_1001_12^12 - 37728307181733282908773457356585497965490535240\ 13607180631900225657247/6348897603876177035182918908527760524593514\ 8916789565295052278146*c_1001_12^11 + 3940335935117043469472795970018139560219128469914022925725746503200\ 6181/12697795207752354070365837817055521049187029783357913059010455\ 6292*c_1001_12^10 - 69387778308905992981291428073269867348424651147\ 221800971976306686412279/380933856232570622110975134511665631475610\ 893500737391770313668876*c_1001_12^9 - 5311408486829927599726692197600479427591938711354506249264148127320\ 451/952334640581426555277437836279164078689027233751843479425784172\ 19*c_1001_12^8 + 21607493253533106546173802642401076497497846637996\ 861352954887275307633/190466928116285311055487567255832815737805446\ 750368695885156834438*c_1001_12^7 - 6803858623416984526343537073874575948067425619666172449742454650079\ 031/126977952077523540703658378170555210491870297833579130590104556\ 292*c_1001_12^6 + 2631235681779770166920495575699644042196342661259\ 5993549246962026329/65678251074581141743271574915804419219932912672\ 54092961557132222*c_1001_12^5 + 17138523719740059370748518189438909\ 04065656217813557244984819961550091/1269779520775235407036583781705\ 55210491870297833579130590104556292*c_1001_12^4 - 4909531544915010085805207373960637869908042185851437562290364272863\ 205/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^3 + 2632099192977248010807353021535416521103322750524\ 30181143397103965175/4232598402584118023455279272351840349729009927\ 7859710196701518764*c_1001_12^2 - 179732964951666001045397386692580\ 09411327811698284078036603866881633/1058149600646029505863819818087\ 9600874322524819464927549175379691*c_1001_12 + 848190559969113620379021312403118192292097872299601592739989627756/\ 3527165335486765019546066060293200291440841606488309183058459897, c_0101_1 - 319500956579606498421477294060917231170472891640531903847778\ 566781/380933856232570622110975134511665631475610893500737391770313\ 668876*c_1001_12^29 + 257304926785008963217295534518975785091680551\ 284713859467924611675/272095611594693301507839381794046879625436352\ 50052670840736690634*c_1001_12^28 - 953169556022466436053825193179971914342118162135645406355662265595/\ 31744488019380885175914594542638802622967574458394782647526139073*c\ _1001_12^27 - 12105302292409555238899791115936179770601586391715012\ 67586662984705/2116299201292059011727639636175920174864504963892985\ 5098350759382*c_1001_12^26 + 31240726415571183369677743302202758928\ 767690474434466741891431487370/952334640581426555277437836279164078\ 68902723375184347942578417219*c_1001_12^25 + 6414654186554912895617999625609508557012895143316081759330033759454\ 3/38093385623257062211097513451166563147561089350073739177031366887\ 6*c_1001_12^24 - 36633564966109273287869725165666408311381876508416\ 5378562326036997781/19046692811628531105548756725583281573780544675\ 0368695885156834438*c_1001_12^23 - 6029505331288553210849076854614321187815096033419718736786461843009\ /27209561159469330150783938179404687962543635250052670840736690634*\ c_1001_12^22 + 3195123639226079322533943013081725144782201111367779\ 843933099635147283/380933856232570622110975134511665631475610893500\ 737391770313668876*c_1001_12^21 - 647507675006485432299120776938004\ 31026750196823390312266256240615261/3174448801938088517591459454263\ 8802622967574458394782647526139073*c_1001_12^20 - 9997888563197680042531741998704666195362740550423237584326748173963\ 603/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^19 + 616211353834288545406535333412280806518859345099\ 6747774544925229517/46913036481843672673765410654146013728523509051\ 8149497254080873*c_1001_12^18 + 24322186357077991568583337236940265\ 728865793271324529273006328484459319/380933856232570622110975134511\ 665631475610893500737391770313668876*c_1001_12^17 - 9243358708556526291045350073822936229378632337287032123583990475554\ 83/1813970743964622010052262545293645864169575683336844722715779375\ 6*c_1001_12^16 - 14408130127209667162574434485747789397484742385361\ 362332301415347268957/126977952077523540703658378170555210491870297\ 833579130590104556292*c_1001_12^15 + 1761968330458673167026096333409391265454348545632920325801211937661\ 3981/12697795207752354070365837817055521049187029783357913059010455\ 6292*c_1001_12^14 + 36513826918070202007433914703522641233225345140\ 03455643492381782062287/3174448801938088517591459454263880262296757\ 4458394782647526139073*c_1001_12^13 - 8644709951827311974078008184984316012121680678987051202381358863619\ 1257/38093385623257062211097513451166563147561089350073739177031366\ 8876*c_1001_12^12 - 37728307181733282908773457356585497965490535240\ 13607180631900225657247/6348897603876177035182918908527760524593514\ 8916789565295052278146*c_1001_12^11 + 3940335935117043469472795970018139560219128469914022925725746503200\ 6181/12697795207752354070365837817055521049187029783357913059010455\ 6292*c_1001_12^10 - 69387778308905992981291428073269867348424651147\ 221800971976306686412279/380933856232570622110975134511665631475610\ 893500737391770313668876*c_1001_12^9 - 5311408486829927599726692197600479427591938711354506249264148127320\ 451/952334640581426555277437836279164078689027233751843479425784172\ 19*c_1001_12^8 + 21607493253533106546173802642401076497497846637996\ 861352954887275307633/190466928116285311055487567255832815737805446\ 750368695885156834438*c_1001_12^7 - 6803858623416984526343537073874575948067425619666172449742454650079\ 031/126977952077523540703658378170555210491870297833579130590104556\ 292*c_1001_12^6 + 2631235681779770166920495575699644042196342661259\ 5993549246962026329/65678251074581141743271574915804419219932912672\ 54092961557132222*c_1001_12^5 + 17138523719740059370748518189438909\ 04065656217813557244984819961550091/1269779520775235407036583781705\ 55210491870297833579130590104556292*c_1001_12^4 - 4909531544915010085805207373960637869908042185851437562290364272863\ 205/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^3 + 2632099192977248010807353021535416521103322750524\ 30181143397103965175/4232598402584118023455279272351840349729009927\ 7859710196701518764*c_1001_12^2 - 179732964951666001045397386692580\ 09411327811698284078036603866881633/1058149600646029505863819818087\ 9600874322524819464927549175379691*c_1001_12 + 848190559969113620379021312403118192292097872299601592739989627756/\ 3527165335486765019546066060293200291440841606488309183058459897, c_0101_10 + 27318890882274464353676409860886981980231005084427020989835\ 766471/423259840258411802345527927235184034972900992778597101967015\ 18764*c_1001_12^29 - 1070947773920720375144140899020105493880128615\ 8657350139657048548/15116422866371850083768854544113715534746464027\ 80703935596482813*c_1001_12^28 + 7445956746429844633815572691548879\ 4920725301412745588850225774081/35271653354867650195460660602932002\ 91440841606488309183058459897*c_1001_12^27 + 115470754145482609520341793495876306884542546615378843983621212781/\ 2351443556991176679697377373528800194293894404325539455372306598*c_\ 1001_12^26 - 248372336673075638411061605107583951562374397299080841\ 3951281319926/10581496006460295058638198180879600874322524819464927\ 549175379691*c_1001_12^25 - 799444073346769314320947467096537327627\ 1645086540936575243800109441/42325984025841180234552792723518403497\ 290099277859710196701518764*c_1001_12^24 + 1468655317585959253821436969786756784351194653610036281798826807380\ 8/10581496006460295058638198180879600874322524819464927549175379691\ *c_1001_12^23 + 159875468543110956774212020977587285214797110209951\ 0304188475710073/30232845732743700167537709088227431069492928055614\ 07871192965626*c_1001_12^22 - 2573613889822185285429615140838671833\ 64583577791732792539049049136225/4232598402584118023455279272351840\ 3497290099277859710196701518764*c_1001_12^21 - 126635941253481045712572236487417995254051240042096072737847382185/\ 7054330670973530039092132120586400582881683212976618366116919794*c_\ 1001_12^20 + 814051769209521545910049562199078995374509890548013058\ 856355992119941/423259840258411802345527927235184034972900992778597\ 10196701518764*c_1001_12^19 - 5163689785904455563909964369930650213\ 96946257943455370227312015797/1042511921818748281639231347869911416\ 18941131226255443834240194*c_1001_12^18 - 2010447568869373127019825840449762676261417914828232518085121773948\ 005/423259840258411802345527927235184034972900992778597101967015187\ 64*c_1001_12^17 + 5246340134364535354627843656022189919916820762844\ 7694892915860084715/20155230488495800111691806058818287379661952037\ 07605247461977084*c_1001_12^16 + 1229239310650578881330277271791318\ 164683025290410319864736166595475285/141086613419470600781842642411\ 72801165763366425953236732233839588*c_1001_12^15 - 1141398282655884964537154402891750052351416926566955507003944712922\ 969/141086613419470600781842642411728011657633664259532367322338395\ 88*c_1001_12^14 - 6845220511587961207572539106653697772467211723470\ 67923517880192794003/7054330670973530039092132120586400582881683212\ 976618366116919794*c_1001_12^13 + 594769125604047130388806919683323\ 5839114262607303294681308575938812675/42325984025841180234552792723\ 518403497290099277859710196701518764*c_1001_12^12 + 2366873303335149674092776659686704733870833902674439716172399250094\ 27/3527165335486765019546066060293200291440841606488309183058459897\ *c_1001_12^11 - 290430642479222546571787549124220607663047674225288\ 6254518473742756739/14108661341947060078184264241172801165763366425\ 953236732233839588*c_1001_12^10 + 417180637440294301831673494323435\ 5146721491182653985222022616041678103/42325984025841180234552792723\ 518403497290099277859710196701518764*c_1001_12^9 + 9983144776114524239255644314573549846472728927551400308379271082088\ 91/2116299201292059011727639636175920174864504963892985509835075938\ 2*c_1001_12^8 - 149178963997519515941927638931973752438747900161124\ 2915516579573352651/21162992012920590117276396361759201748645049638\ 929855098350759382*c_1001_12^7 + 4270586943081336817945807572526220\ 64542521699923607277435585460841777/1410866134194706007818426424117\ 2801165763366425953236732233839588*c_1001_12^6 - 269107405976706079648735665147606610808542900323386800191634971082/\ 364879172636561898573730971754468995666293959291894053419840679*c_1\ 001_12^5 - 12868220944718711973586072968876051126179754085605187977\ 2012288348077/14108661341947060078184264241172801165763366425953236\ 732233839588*c_1001_12^4 + 3364484916288597528055670939316822542509\ 93265460663140324604324993653/4232598402584118023455279272351840349\ 7290099277859710196701518764*c_1001_12^3 - 1699398366101384622751847401330956549294122253319179171966592140856\ 7/4702887113982353359394754747057600388587788808651078910744613196*\ c_1001_12^2 + 74260972301435061091655287375374748768005927841326610\ 8738221390887/78381451899705889323245912450960006476463146810851315\ 1790768866*c_1001_12 - 49309938570211674741168750314068139471514204\ 702285816299132620636/391907259498529446616229562254800032382315734\ 054256575895384433, c_0101_12 - 15983624070153571218385213092325161346831453614799512537398\ 6763179/19046692811628531105548756725583281573780544675036869588515\ 6834438*c_1001_12^29 + 12776375026036427373246956725123752001452116\ 6810581734966406971371/13604780579734665075391969089702343981271817\ 625026335420368345317*c_1001_12^28 - 930408645466088573468550017521259475947953920169338273335737791757/\ 31744488019380885175914594542638802622967574458394782647526139073*c\ _1001_12^27 - 62557950112334471201916864110210513854391317599492739\ 7525531409733/10581496006460295058638198180879600874322524819464927\ 549175379691*c_1001_12^26 + 306453399994110707602801701157303110608\ 89072518484869148572343578068/9523346405814265552774378362791640786\ 8902723375184347942578417219*c_1001_12^25 + 3628152320713542978741036633031946615077397894907539232987900299859\ 5/19046692811628531105548756725583281573780544675036869588515683443\ 8*c_1001_12^24 - 18011684810735646774314176231727782052565378653919\ 5070194311960534039/95233464058142655527743783627916407868902723375\ 184347942578417219*c_1001_12^23 - 482590329106381278125143065245764\ 9063908772424895541410761105590216/13604780579734665075391969089702\ 343981271817625026335420368345317*c_1001_12^22 + 1573082507292505053545569363354658492897068997990779704345668624947\ 259/190466928116285311055487567255832815737805446750368695885156834\ 438*c_1001_12^21 - 460662000272193172356567416146519638577126051383\ 34045245078845541422/3174448801938088517591459454263880262296757445\ 8394782647526139073*c_1001_12^20 - 4937639925340815707718557498374185740862700242415272303729035606855\ 387/190466928116285311055487567255832815737805446750368695885156834\ 438*c_1001_12^19 + 526727957143720219455772040488362405284823729395\ 4054626498207371811/46913036481843672673765410654146013728523509051\ 8149497254080873*c_1001_12^18 + 12064124189248720749794947876310848\ 119404291769765629684970183943156799/190466928116285311055487567255\ 832815737805446750368695885156834438*c_1001_12^17 - 4180354061429892002111759489164727986323772724715314300177968951456\ 91/9069853719823110050261312726468229320847878416684223613578896878\ *c_1001_12^16 - 721252956139819811128406030428998519289558774149133\ 4793761009006126699/63488976038761770351829189085277605245935148916\ 789565295052278146*c_1001_12^15 + 820573701704555820615761887142743\ 0393240557197096156678680745827514981/63488976038761770351829189085\ 277605245935148916789565295052278146*c_1001_12^14 + 3761675075384767214291959871806123148069753374717122513365180049847\ 369/317444880193808851759145945426388026229675744583947826475261390\ 73*c_1001_12^13 - 4084812501236246982820007795431794468859280306478\ 0695149991923241724707/19046692811628531105548756725583281573780544\ 6750368695885156834438*c_1001_12^12 - 2149347136152119920767821327478974601443017778995859576809988253080\ 273/317444880193808851759145945426388026229675744583947826475261390\ 73*c_1001_12^11 + 1894543099462055041673416997411379889284210429446\ 6896715689883033333575/63488976038761770351829189085277605245935148\ 916789565295052278146*c_1001_12^10 - 3172000408273804943909657285016228941831768938100726817180523078851\ 0017/19046692811628531105548756725583281573780544675036869588515683\ 4438*c_1001_12^9 - 548539223088496459574796709562732156397585214823\ 9944450660829167232665/95233464058142655527743783627916407868902723\ 375184347942578417219*c_1001_12^8 + 1020995864320589057841345143741320555149115907896421546952356784490\ 2785/95233464058142655527743783627916407868902723375184347942578417\ 219*c_1001_12^7 - 3138959106184309263935748991510564017160380096090\ 351300414117172851223/634889760387617703518291890852776052459351489\ 16789565295052278146*c_1001_12^6 + 1020821262683031736437381629060077568173817273284600949694013842325\ 7/3283912553729057087163578745790220960996645633627046480778566111*\ c_1001_12^5 + 82757514074555598034072308217309686328222386712349596\ 4564855278359259/63488976038761770351829189085277605245935148916789\ 565295052278146*c_1001_12^4 - 2315417883079558400077561970963118699\ 058600341035778648641169995551157/190466928116285311055487567255832\ 815737805446750368695885156834438*c_1001_12^3 + 1222594496311429745302291570287304689150041020632987376769486907434\ 89/2116299201292059011727639636175920174864504963892985509835075938\ 2*c_1001_12^2 - 165259471578993546657418914152610806772680623234044\ 62240375044375244/1058149600646029505863819818087960087432252481946\ 4927549175379691*c_1001_12 + 76848902517307467244261551668196117683\ 2690059947310614075582726693/35271653354867650195460660602932002914\ 40841606488309183058459897, c_0101_13 + 25263150469108838798120085584031044158106391459884959189251\ 182933/544191223189386603015678763588093759250872705001053416814733\ 81268*c_1001_12^29 - 1379896745851642316943076257148608914207024121\ 87122115777644670425/2720956115946933015078393817940468796254363525\ 0052670840736690634*c_1001_12^28 + 67703132054812955607765026647831536351281684600965744442911268984/4\ 534926859911555025130656363234114660423939208342111806789448439*c_1\ 001_12^27 + 1087946102233444157616047924192439058518271737851734844\ 21909061883/3023284573274370016753770908822743106949292805561407871\ 192965626*c_1001_12^26 - 226705476737346228845367061624259965336110\ 4777124314708844200388776/13604780579734665075391969089702343981271\ 817625026335420368345317*c_1001_12^25 - 7814262012812459495659218700921776462023012148509177964558655986215\ /54419122318938660301567876358809375925087270500105341681473381268*\ c_1001_12^24 + 2686124034644591376568160618564665013851413308309016\ 0190025479888711/27209561159469330150783938179404687962543635250052\ 670840736690634*c_1001_12^23 + 116222217116966748705711834991749047\ 07993320899236223358531803477447/2720956115946933015078393817940468\ 7962543635250052670840736690634*c_1001_12^22 - 2356007071014582498450539402078516998856998967649285069883812979191\ 47/5441912231893866030156787635880937592508727050010534168147338126\ 8*c_1001_12^21 - 99954741060372839821084625177253384306570639993572\ 4275793471268004/45349268599115550251306563632341146604239392083421\ 11806789448439*c_1001_12^20 + 7469191095975051141464470494620825110\ 24712572485692914517901706259363/5441912231893866030156787635880937\ 5925087270500105341681473381268*c_1001_12^19 - 1355602645175376881987888978686301503617031952866466492312062168654\ /469130364818436726737654106541460137285235090518149497254080873*c_\ 1001_12^18 - 185029779946823977175711555631925428573304048658600914\ 6382216143505435/54419122318938660301567876358809375925087270500105\ 341681473381268*c_1001_12^17 + 308466455623740296775627532342170579\ 950011979754600072287598854814545/181397074396462201005226254529364\ 58641695756833368447227157793756*c_1001_12^16 + 1138278581224882290044730716968741225676498628945544746862083606842\ 837/181397074396462201005226254529364586416957568333684472271577937\ 56*c_1001_12^15 - 9947325247807332864537527518726599331919954875891\ 33352078967717929093/1813970743964622010052262545293645864169575683\ 3368447227157793756*c_1001_12^14 - 3223603514110941515542078452362664524450508328872265485909250406585\ 18/4534926859911555025130656363234114660423939208342111806789448439\ *c_1001_12^13 + 526271215774641523346532125710069663883498245263307\ 8743929094006510837/54419122318938660301567876358809375925087270500\ 105341681473381268*c_1001_12^12 + 464807401072810381760693918227482\ 803576710582743950504984258411442581/906985371982311005026131272646\ 8229320847878416684223613578896878*c_1001_12^11 - 2610961395886868382749290276887018365101743258552322397618391890025\ 937/181397074396462201005226254529364586416957568333684472271577937\ 56*c_1001_12^10 + 3556508590390466231865912407264743317908195670114\ 862618298635545386159/544191223189386603015678763588093759250872705\ 00105341681473381268*c_1001_12^9 + 4724146200303380184462125633412851934439567353520496168859681324493\ 07/1360478057973466507539196908970234398127181762502633542036834531\ 7*c_1001_12^8 - 132278948388051036574003704744914115248339699774719\ 0457646878533276949/27209561159469330150783938179404687962543635250\ 052670840736690634*c_1001_12^7 + 3674144765694057345508461440618661\ 89157438610752436415138122770579199/1813970743964622010052262545293\ 6458641695756833368447227157793756*c_1001_12^6 - 105367478012010664934880336236447987350806695958564678326459363003/\ 938260729636873453475308213082920274570470181036298994508161746*c_1\ 001_12^5 - 11638247760338724038761384652346852115714007294767380043\ 2937943163295/18139707439646220100522625452936458641695756833368447\ 227157793756*c_1001_12^4 + 2962036821194244443418943486400467105771\ 76439230028768696703535282753/5441912231893866030156787635880937592\ 5087270500105341681473381268*c_1001_12^3 - 1471182678663952787279189715280212860028991899279761724913933910845\ 9/6046569146548740033507541817645486213898585611122815742385931252*\ c_1001_12^2 + 94665539583081244672696222852854879879093853004881817\ 9212933661263/15116422866371850083768854544113715534746464027807039\ 35596482813*c_1001_12 - 4019546583809523215074402803348330925721863\ 0447253775958392131944/50388076221239500279229515147045718449154880\ 0926901311865494271, c_0101_2 - 347003602678742897424322924679787150137694151078028202526168\ 22471/1269779520775235407036583781705552104918702978335791305901045\ 56292*c_1001_12^29 + 1358371962297514078457869482377648171870178321\ 4503664849597415719/45349268599115550251306563632341146604239392083\ 42111806789448439*c_1001_12^28 - 9407765998035376847872147024435109\ 4053430183565234901280070169813/10581496006460295058638198180879600\ 874322524819464927549175379691*c_1001_12^27 - 147673430913785991804665987384331486364535448206338181539284361903/\ 7054330670973530039092132120586400582881683212976618366116919794*c_\ 1001_12^26 + 314440227171199412191661224176114221106757087855647749\ 0459254055566/31744488019380885175914594542638802622967574458394782\ 647526139073*c_1001_12^25 + 103586441836435469906709486709435152545\ 68476287329933454048436689597/1269779520775235407036583781705552104\ 91870297833579130590104556292*c_1001_12^24 - 1861468409912335805961317497430461954109289276683167368736045051460\ 0/31744488019380885175914594542638802622967574458394782647526139073\ *c_1001_12^23 - 211790326807621469617572777597208804802997462242261\ 9116414316488717/90698537198231100502613127264682293208478784166842\ 23613578896878*c_1001_12^22 + 3264520864514283637128917525258250550\ 00284454720761003205395794848889/1269779520775235407036583781705552\ 10491870297833579130590104556292*c_1001_12^21 + 1060049709709683320814816737542658656054032255817866681402844759381\ /21162992012920590117276396361759201748645049638929855098350759382*\ c_1001_12^20 - 1033994533567815189029350131386600573537777648661558\ 526303198892800097/126977952077523540703658378170555210491870297833\ 579130590104556292*c_1001_12^19 + 613342187398033341568482941998780\ 515738326601336889429136896556069/312753576545624484491769404360973\ 424856823393678766331502720582*c_1001_12^18 + 2557970237672515348622582459862376213314018746713701814306297117354\ 745/126977952077523540703658378170555210491870297833579130590104556\ 292*c_1001_12^17 - 645794902917284981928130900638515909942508735665\ 25482667517558664819/6046569146548740033507541817645486213898585611\ 122815742385931252*c_1001_12^16 - 156893504601470540425591554051464\ 9462435053211141614970098567478833577/42325984025841180234552792723\ 518403497290099277859710196701518764*c_1001_12^15 + 1422788595421372216649256440887113240839706690551633082162573944570\ 381/423259840258411802345527927235184034972900992778597101967015187\ 64*c_1001_12^14 + 8813368536906829912075578989082382972529861542063\ 52293629494606523265/2116299201292059011727639636175920174864504963\ 8929855098350759382*c_1001_12^13 - 7459185273438380700533971129287766898242876381041618783165120723864\ 695/126977952077523540703658378170555210491870297833579130590104556\ 292*c_1001_12^12 - 311190339534488983236569031023049520600655293430\ 846685952094218441252/105814960064602950586381981808796008743225248\ 19464927549175379691*c_1001_12^11 + 3664360035683475557475951033755600791739190705728083511115289746606\ 967/423259840258411802345527927235184034972900992778597101967015187\ 64*c_1001_12^10 - 5110887851849817073499048879078576945797148617225\ 207294468693271906927/126977952077523540703658378170555210491870297\ 833579130590104556292*c_1001_12^9 - 1302110098711596907454247876491650634087325172473383990083595924801\ 479/634889760387617703518291890852776052459351489167895652950522781\ 46*c_1001_12^8 + 18650536525830368832103924328993809183890268719662\ 25726672905139037025/6348897603876177035182918908527760524593514891\ 6789565295052278146*c_1001_12^7 - 522618428554061038459112311488770\ 409073437970225110111558129589420777/423259840258411802345527927235\ 18403497290099277859710196701518764*c_1001_12^6 + 190767434961146071087078715117056174929822100269930495725486150302/\ 1094637517909685695721192915263406986998881877875682160259522037*c_\ 1001_12^5 + 1625293232872735519670776087027494757580092599469861548\ 07026627071833/4232598402584118023455279272351840349729009927785971\ 0196701518764*c_1001_12^4 - 418871392921032276063090671650019612688\ 326836375560376036434077723597/126977952077523540703658378170555210\ 491870297833579130590104556292*c_1001_12^3 + 2084965355915252254748021641522744407274788805547169943143643832700\ 7/14108661341947060078184264241172801165763366425953236732233839588\ *c_1001_12^2 - 2700115876294464820270313280016182675315722205736683\ 154187858097671/705433067097353003909213212058640058288168321297661\ 8366116919794*c_1001_12 + 59545488848009442268508862868209785486545\ 528954069134546154187554/117572177849558833984868868676440009714694\ 7202162769727686153299, c_0101_5 - 220356490046654673656443118135699190703092169733333265033853\ 998431/380933856232570622110975134511665631475610893500737391770313\ 668876*c_1001_12^29 + 895195700750412441461693839880228867103500654\ 73307295826718137913/1360478057973466507539196908970234398127181762\ 5026335420368345317*c_1001_12^28 - 676461362243964080117355155924129096765552587636026838343531571779/\ 31744488019380885175914594542638802622967574458394782647526139073*c\ _1001_12^27 - 80266216926172584892739384424042425325179893269396852\ 1272683193877/21162992012920590117276396361759201748645049638929855\ 098350759382*c_1001_12^26 + 220579181017217767614183339298085281261\ 34757191777228068311761277622/9523346405814265552774378362791640786\ 8902723375184347942578417219*c_1001_12^25 + 3747067166392788709199931343331077585382666684502462632653020038884\ 1/38093385623257062211097513451166563147561089350073739177031366887\ 6*c_1001_12^24 - 12901109436397306352714339690141403237067327802005\ 0803199798993979474/95233464058142655527743783627916407868902723375\ 184347942578417219*c_1001_12^23 - 123541337909564260682532005602406\ 3159257853774657583584698535289463/27209561159469330150783938179404\ 687962543635250052670840736690634*c_1001_12^22 + 2247539055932088521907003358922693447889089078595313870261663502521\ 073/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^21 - 119536917630548644669467945595634129251253839007\ 367195991307795892083/634889760387617703518291890852776052459351489\ 16789565295052278146*c_1001_12^20 - 7010459177554149718373336525274234849641121234545726527818329287328\ 021/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^19 + 995027470043913699701418035759129950641699112617\ 9385295516054379137/93826072963687345347530821308292027457047018103\ 6298994508161746*c_1001_12^18 + 16977056069324890245821656457885473\ 912615622788439188021526983523670749/380933856232570622110975134511\ 665631475610893500737391770313668876*c_1001_12^17 - 7092517524596142752257500942615039023835560972468274305782068510694\ 31/1813970743964622010052262545293645864169575683336844722715779375\ 6*c_1001_12^16 - 99574663307363148080610705185424619304656784644701\ 30012128915379794957/1269779520775235407036583781705552104918702978\ 33579130590104556292*c_1001_12^15 + 1313934778648897983456432699637485852334904687140275938270101724008\ 1309/12697795207752354070365837817055521049187029783357913059010455\ 6292*c_1001_12^14 + 48870731496253281906589538745705077088726291123\ 19343608399212385795561/6348897603876177035182918908527760524593514\ 8916789565295052278146*c_1001_12^13 - 6353847277759719154721219754031978520358086216176347158104909541450\ 0507/38093385623257062211097513451166563147561089350073739177031366\ 8876*c_1001_12^12 - 11067199929206835714623795492226524377430038479\ 58743063518880649761178/3174448801938088517591459454263880262296757\ 4458394782647526139073*c_1001_12^11 + 2844500511492337700872524311469361220161556513432078746899897473427\ 8767/12697795207752354070365837817055521049187029783357913059010455\ 6292*c_1001_12^10 - 52493564256555931809801525521580441941473062989\ 799468302315852074705163/380933856232570622110975134511665631475610\ 893500737391770313668876*c_1001_12^9 - 7119392642737889473886743465949774565518772916643802718797702870238\ 609/190466928116285311055487567255832815737805446750368695885156834\ 438*c_1001_12^8 + 1583382432245237557370659913177316360253832389091\ 3428928617122654758885/19046692811628531105548756725583281573780544\ 6750368695885156834438*c_1001_12^7 - 5094721889448803409706807527052957439869900562495193161229235894607\ 329/126977952077523540703658378170555210491870297833579130590104556\ 292*c_1001_12^6 + 1146696790119115093572257394490117182430293635995\ 2494755126748758924/32839125537290570871635787457902209609966456336\ 27046480778566111*c_1001_12^5 + 12272651519245341830768397834887223\ 09532579794352752067808249817507493/1269779520775235407036583781705\ 55210491870297833579130590104556292*c_1001_12^4 - 3610107459547477432268378778028765949199879260335706379617704039677\ 965/380933856232570622110975134511665631475610893500737391770313668\ 876*c_1001_12^3 + 1961855713673800997615159214156140561317898986172\ 14994125698444131695/4232598402584118023455279272351840349729009927\ 7859710196701518764*c_1001_12^2 - 270599268795324714503413514774862\ 94430088832648842308451783905718725/2116299201292059011727639636175\ 9201748645049638929855098350759382*c_1001_12 + 651154804032627628306595253866974000912700672393088137567047286308/\ 3527165335486765019546066060293200291440841606488309183058459897, c_0110_5 - 153271696831007855001823989703958549357028184765308911330475\ 95231/1313565021491622834865431498316088384398658253450818592311426\ 4444*c_1001_12^29 + 12258889515909529806468056054679114223748869191\ 808053833740888511/938260729636873453475308213082920274570470181036\ 298994508161746*c_1001_12^28 - 446875269802409386748559256500741087\ 76544338729905249742561893467/1094637517909685695721192915263406986\ 998881877875682160259522037*c_1001_12^27 - 59905096247407670147549002641626826582382334999112298533815168641/7\ 29758345273123797147461943508937991332587918583788106839681358*c_10\ 01_12^26 + 14723044911788650343086285346670775973258257312559241024\ 66383221429/3283912553729057087163578745790220960996645633627046480\ 778566111*c_1001_12^25 + 346030260798386924800695021111819848786412\ 9624408087721762222952345/13135650214916228348654314983160883843986\ 582534508185923114264444*c_1001_12^24 - 1731141646211631304286165672267026906068983316621089218747636200457\ 3/6567825107458114174327157491580441921993291267254092961557132222*\ c_1001_12^23 - 4545689420387917964157472256936711117652103449816443\ 43001895357449/9382607296368734534753082130829202745704701810362989\ 94508161746*c_1001_12^22 + 1512297565425877322827141079506543522242\ 08883858391873494698734574885/1313565021491622834865431498316088384\ 3986582534508185923114264444*c_1001_12^21 - 2250514928647947103070678560589309201759406291192808991724865155964\ /1094637517909685695721192915263406986998881877875682160259522037*c\ _1001_12^20 - 47481216264334541588765741035415495052001494512355253\ 1589031253022809/13135650214916228348654314983160883843986582534508\ 185923114264444*c_1001_12^19 + 738317306994972154711472770745891014\ 8667866735005767827860100868928/46913036481843672673765410654146013\ 7285235090518149497254080873*c_1001_12^18 + 1160414153790034842324100200492661402960018115312504816897730986335\ 829/131356502149162283486543149831608838439865825345081859231142644\ 44*c_1001_12^17 - 4029718995404721808025013681566780378495459114630\ 1010814311875566177/62550715309124896898353880872194684971364678735\ 7532663005441164*c_1001_12^16 - 69399750053184607706757505034955684\ 1270143778784443775095996372888631/43785500716387427828847716610536\ 27947995527511502728641038088148*c_1001_12^15 + 7900624099064257951466145412183441186315101234201406286027829240012\ 35/4378550071638742782884771661053627947995527511502728641038088148\ *c_1001_12^14 + 181176740083934981295681142909518782100582458425284\ 584803777939292228/109463751790968569572119291526340698699888187787\ 5682160259522037*c_1001_12^13 - 39322360722852502255991046528097894\ 99810180165426943784835094341777007/1313565021491622834865431498316\ 0883843986582534508185923114264444*c_1001_12^12 - 2076469028692729028932219906162625602446510555940288506973119604971\ 89/2189275035819371391442385830526813973997763755751364320519044074\ *c_1001_12^11 + 182308388151303916397197051306305402013828223942704\ 8987015764064546583/43785500716387427828847716610536279479955275115\ 02728641038088148*c_1001_12^10 - 3041070438028438167005174911286539\ 247180640064603492015611825770898425/131356502149162283486543149831\ 60883843986582534508185923114264444*c_1001_12^9 - 2657426944871465983548059191528168543376211259463378990243843527056\ 20/3283912553729057087163578745790220960996645633627046480778566111\ *c_1001_12^8 + 9805899938515055608214896630501047364327960429576314\ 62327237557125677/6567825107458114174327157491580441921993291267254\ 092961557132222*c_1001_12^7 - 3005053771012823344501966772681997381\ 10891401392105928935841734122873/4378550071638742782884771661053627\ 947995527511502728641038088148*c_1001_12^6 + 2797066565677959479348129730081936960917963991761704632650358587578\ 3/6567825107458114174327157491580441921993291267254092961557132222*\ c_1001_12^5 + 79590877916762391321937616150106511556299483065067976\ 876445505616365/437855007163874278288477166105362794799552751150272\ 8641038088148*c_1001_12^4 - 222321365619602973025099680497817313708\ 061142407232898492476799165727/131356502149162283486543149831608838\ 43986582534508185923114264444*c_1001_12^3 + 1171172461007339872543927486642655686743994165905104565254432769416\ 5/1459516690546247594294923887017875982665175837167576213679362716*\ c_1001_12^2 - 79020017829351889076373034645938294217570235325065225\ 2669863216310/36487917263656189857373097175446899566629395929189405\ 3419840679*c_1001_12 + 36728391997763902491169041262623541603930085\ 659065556409280625972/121626390878853966191243657251489665222097986\ 430631351139946893, c_1001_0 + 459512487806853266986078589426540841415646711663649220308643\ 13690/3174448801938088517591459454263880262296757445839478264752613\ 9073*c_1001_12^29 - 73778481244324861457241029804230306664309309014\ 904136572544106543/453492685991155502513065636323411466042393920834\ 2111806789448439*c_1001_12^28 + 54265021376629970494278271856615871\ 0813845586061576170416169095027/10581496006460295058638198180879600\ 874322524819464927549175379691*c_1001_12^27 + 353133122899838291291010252385817879514057266295495898484962723931/\ 3527165335486765019546066060293200291440841606488309183058459897*c_\ 1001_12^26 - 178237902643716636969271872261828578719312864413787921\ 67887574173600/3174448801938088517591459454263880262296757445839478\ 2647526139073*c_1001_12^25 - 97431727911406998315382507086217893567\ 08375016632801474408617201085/3174448801938088517591459454263880262\ 2967574458394782647526139073*c_1001_12^24 + 1046147346537258982248947591549670895568661056531505272931355072582\ 91/3174448801938088517591459454263880262296757445839478264752613907\ 3*c_1001_12^23 + 21816174186106309621132506809459505073656528520516\ 03232464423247294/4534926859911555025130656363234114660423939208342\ 111806789448439*c_1001_12^22 - 456491676008066568164430655466369706\ 063486405813604257161262318107543/317444880193808851759145945426388\ 02622967574458394782647526139073*c_1001_12^21 + 3261912196618333167179246525763199384709510725301545402908157558718\ 5/10581496006460295058638198180879600874322524819464927549175379691\ *c_1001_12^20 + 143034362174924907058366379176169840707041971963325\ 0823597252042139597/31744488019380885175914594542638802622967574458\ 394782647526139073*c_1001_12^19 - 332264592642136054530879103044752\ 1133205575632765814685006688108757/15637678827281224224588470218048\ 6712428411696839383165751360291*c_1001_12^18 - 3486214976604280169126078523377705637823400239315333731343497277191\ 464/317444880193808851759145945426388026229675744583947826475261390\ 73*c_1001_12^17 + 1274441750569669573480925754416494874490796598770\ 16841716369741459396/1511642286637185008376885454411371553474646402\ 780703935596482813*c_1001_12^16 + 207346019813688213342453954084076\ 3285029416281630433948344453349293316/10581496006460295058638198180\ 879600874322524819464927549175379691*c_1001_12^15 - 2458707272739278337646794176181627925617519481764988158209636254011\ 488/105814960064602950586381981808796008743225248194649275491753796\ 91*c_1001_12^14 - 2128542054999028253737709913135837415069343276166\ 103750465679008631852/105814960064602950586381981808796008743225248\ 19464927549175379691*c_1001_12^13 + 1213588749811821058013589162031042548238754761296096876229364285543\ 6486/31744488019380885175914594542638802622967574458394782647526139\ 073*c_1001_12^12 + 115153402482959208469771981616072929699413039328\ 2054960708156052004200/10581496006460295058638198180879600874322524\ 819464927549175379691*c_1001_12^11 - 5572160421021682567037099016529725919547258405519029124793167369558\ 122/105814960064602950586381981808796008743225248194649275491753796\ 91*c_1001_12^10 + 9605316721933635734585485033010053422783701014565\ 108977526879133220352/317444880193808851759145945426388026229675744\ 58394782647526139073*c_1001_12^9 + 3097528032994035432908144390159852918422746466802952667698074425919\ 123/317444880193808851759145945426388026229675744583947826475261390\ 73*c_1001_12^8 - 60639955755478338738778617007671977017013097622279\ 46618458204075311427/3174448801938088517591459454263880262296757445\ 8394782647526139073*c_1001_12^7 + 945783612850518082724786967077039\ 161191569429539134716962127361795487/105814960064602950586381981808\ 79600874322524819464927549175379691*c_1001_12^6 - 6880030200926082363263333457246483223350367123028918849863795050310\ /1094637517909685695721192915263406986998881877875682160259522037*c\ _1001_12^5 - 242732160961364788634521571810649140745636162422805353\ 115615276376834/105814960064602950586381981808796008743225248194649\ 27549175379691*c_1001_12^4 + 68886066412334487627194408415259833787\ 5908938266683478000255721744256/31744488019380885175914594542638802\ 622967574458394782647526139073*c_1001_12^3 - 3669729290794414952662477765028979499212943671068557488599336274357\ 7/3527165335486765019546066060293200291440841606488309183058459897*\ c_1001_12^2 + 99854744356574462418928973936991958863051377628440842\ 18181334610342/3527165335486765019546066060293200291440841606488309\ 183058459897*c_1001_12 - 469163646110762556428523368267931879724545\ 281076124807257046620085/117572177849558833984868868676440009714694\ 7202162769727686153299, c_1001_10 + 37677318974858833567712294205892175115496243360014655591366\ 06451/3527165335486765019546066060293200291440841606488309183058459\ 897*c_1001_12^29 - 600686818309984749182940104659732089100039386096\ 1184525919132658/50388076221239500279229515147045718449154880092690\ 1311865494271*c_1001_12^28 + 14487294426836771892384614588849666866\ 882700917825073152418381539/391907259498529446616229562254800032382\ 315734054256575895384433*c_1001_12^27 + 89519010092181658466231898713667240287154044009620845845441098507/1\ 175721778495588339848688686764400097146947202162769727686153299*c_1\ 001_12^26 - 1434278721705693572089172478797345170107678208615858938\ 165264560698/352716533548676501954606606029320029144084160648830918\ 3058459897*c_1001_12^25 - 89142598957929606287417482563190670225936\ 0483886359900476356006641/35271653354867650195460660602932002914408\ 41606488309183058459897*c_1001_12^24 + 8438266280120092196558578394676426207134649892126738747113531969365\ /3527165335486765019546066060293200291440841606488309183058459897*c\ _1001_12^23 + 25872176131412841892441957552439726054241635830871075\ 9430936649139/50388076221239500279229515147045718449154880092690131\ 1865494271*c_1001_12^22 - 36869439826279369487095062335816098900660\ 552662635970901430661756149/352716533548676501954606606029320029144\ 0841606488309183058459897*c_1001_12^21 + 1849067622327360605771577023989309534061642245365989350309136999954\ /1175721778495588339848688686764400097146947202162769727686153299*c\ _1001_12^20 + 11587076850594553526543853051519508316473111872624227\ 0567440256040182/35271653354867650195460660602932002914408416064883\ 09183058459897*c_1001_12^19 - 2328500084901571721536095325898440655\ 25469845661439373667765352161/1737519869697913802732052246449852360\ 3156855204375907305706699*c_1001_12^18 - 2835874373408570816121297796113445825627631791584564439090358618659\ 85/3527165335486765019546066060293200291440841606488309183058459897\ *c_1001_12^17 + 947211241261289676119854137850668987937671790499864\ 4857265342688861/16796025407079833426409838382348572816384960030896\ 7103955164757*c_1001_12^16 + 17013978170064546369529043789444463236\ 3062338768335566787896509831061/11757217784955883398486886867644000\ 97146947202162769727686153299*c_1001_12^15 - 1882004088504492339303782883737857817942857256886462550863378094305\ 74/1175721778495588339848688686764400097146947202162769727686153299\ *c_1001_12^14 - 179369143775271964899003884006760432776885679073297\ 098644989570240772/117572177849558833984868868676440009714694720216\ 2769727686153299*c_1001_12^13 + 94242015784231186085567518477047451\ 8865234244761334191667430095947520/35271653354867650195460660602932\ 00291440841606488309183058459897*c_1001_12^12 + 1060482583224038100385688921909256397026338814315707982554534526370\ 39/1175721778495588339848688686764400097146947202162769727686153299\ *c_1001_12^11 - 146703608645932373741101464054015912348964690463525\ 814296336565623358/391907259498529446616229562254800032382315734054\ 256575895384433*c_1001_12^10 + 721380115131559669327033750375642668\ 286090837304349995783348098005443/352716533548676501954606606029320\ 0291440841606488309183058459897*c_1001_12^9 + 2622178285461422326242357968305719689987262909593032889377960084019\ 18/3527165335486765019546066060293200291440841606488309183058459897\ *c_1001_12^8 - 4710923929573528587863117425596701704750398573043338\ 13280341965829858/3527165335486765019546066060293200291440841606488\ 309183058459897*c_1001_12^7 + 7163231517646141019042108987021316992\ 0562675139311680498200478760734/11757217784955883398486886867644000\ 97146947202162769727686153299*c_1001_12^6 - 423757465464168831286209914075210760861723159631518092251165266775/\ 121626390878853966191243657251489665222097986430631351139946893*c_1\ 001_12^5 - 19268414902558482197360939195778786708097940875342337033\ 379432816385/117572177849558833984868868676440009714694720216276972\ 7686153299*c_1001_12^4 + 533387121363462327939159579433870343471813\ 86009313739581487661449605/3527165335486765019546066060293200291440\ 841606488309183058459897*c_1001_12^3 - 2797303077994159025289091290251469753722523205433629529285334606392\ /391907259498529446616229562254800032382315734054256575895384433*c_\ 1001_12^2 + 2257255025146174758556100455055174542374161464795529095\ 366056878836/117572177849558833984868868676440009714694720216276972\ 7686153299*c_1001_12 - 10405684048580805306099668565151344877485791\ 3857788049729404817847/39190725949852944661622956225480003238231573\ 4054256575895384433, c_1001_12^30 - 12*c_1001_12^29 + 44*c_1001_12^28 + 42*c_1001_12^27 - 440*c_1001_12^26 + 85*c_1001_12^25 + 2432*c_1001_12^24 - 1410*c_1001_12^23 - 10151*c_1001_12^22 + 9730*c_1001_12^21 + 29347*c_1001_12^20 - 38474*c_1001_12^19 - 64179*c_1001_12^18 + 116173*c_1001_12^17 + 89721*c_1001_12^16 - 263625*c_1001_12^15 - 14202*c_1001_12^14 + 369121*c_1001_12^13 - 129256*c_1001_12^12 - 419007*c_1001_12^11 + 489241*c_1001_12^10 - 95706*c_1001_12^9 - 182922*c_1001_12^8 + 163817*c_1001_12^7 - 52396*c_1001_12^6 - 12305*c_1001_12^5 + 27175*c_1001_12^4 - 18793*c_1001_12^3 + 7542*c_1001_12^2 - 1800*c_1001_12 + 216 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.730 Total time: 13.939 seconds, Total memory usage: 64.12MB