Magma V2.19-8 Tue Aug 20 2013 23:38:52 on localhost [Seed = 3153977338] Type ? for help. Type -D to quit. Loading file "K11a341__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a341 geometric_solution 10.46194552 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 6 0 -7 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 1.169040697969 0.734799850173 0 4 3 5 0132 0132 3120 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 0 -1 1 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783311968379 0.647576853623 4 0 3 0 3012 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.169040697969 0.734799850173 6 2 1 0 0132 3201 3120 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 0 -1 -7 0 0 7 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.772569868060 0.472623642025 7 1 6 2 0132 0132 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1.123833137850 0.500990900284 6 8 1 9 2103 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 -1 1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485824249211 0.255810959095 3 4 5 8 0132 3201 2103 2103 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 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804475901872 0.877080827953 4 10 10 9 0132 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327923264584 0.727293137684 9 5 11 6 0132 0132 0132 2103 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 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401777194329 0.391450273129 8 7 5 11 0132 0321 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 1 -1 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839693806232 1.578430520781 7 7 11 11 2031 0132 3012 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.484793488706 1.142664155375 10 10 9 8 3201 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 -6 7 -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.484793488706 1.142664155375 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_1001_4']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : 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_5'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_3'], '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_11' : d['c_0101_11'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_3, c_0011_5, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_9, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 24228646019635612803096086649679915143605576875905718598351361/1398\ 65767296452844661362858991085702905419157733092762622313625*c_1001_\ 4^29 - 215596728799316142955077765283598891015268873472883850514246\ 27/139865767296452844661362858991085702905419157733092762622313625*\ c_1001_4^28 + 40386497265836089711880199758927252901456389724180874\ 8591452149/13986576729645284466136285899108570290541915773309276262\ 2313625*c_1001_4^27 - 464144598521417372114886241999070599653586892\ 4160548506714336/45117989450468659568181567416479259001748115397771\ 85891042375*c_1001_4^26 + 59588960568648979651617312852899429509153\ 9045292302898631682868/27973153459290568932272571798217140581083831\ 546618552524462725*c_1001_4^25 + 4666895849110791257610689819630477\ 3547909916308364845982978226/55946306918581137864545143596434281162\ 16766309323710504892545*c_1001_4^24 + 12916896918433104167447973246937384198008491438384172800364119198/1\ 39865767296452844661362858991085702905419157733092762622313625*c_10\ 01_4^23 + 654003918663498222458109592384902589440479543772438313902\ 386112/451179894504686595681815674164792590017481153977718589104237\ 5*c_1001_4^22 + 390885426719816433325338222230241276799534792175775\ 73110108381486/1398657672964528446613628589910857029054191577330927\ 62622313625*c_1001_4^21 + 13037452260382808614736445835892858639873\ 7324583001038335365358029/13986576729645284466136285899108570290541\ 9157733092762622313625*c_1001_4^20 + 405560890657306256630376334354886435458502960204873082951487929/527\ 795348288501300608916449022964916624223236728651934423825*c_1001_4^\ 19 + 10248284302576162086561251940067039539797159403462484968755285\ 2909/27973153459290568932272571798217140581083831546618552524462725\ *c_1001_4^18 + 3385249537914508692274870691218507272340300533611987\ 03590920310607/1398657672964528446613628589910857029054191577330927\ 62622313625*c_1001_4^17 + 14075397603686030313815047206667704737086\ 47204148250203711066336997/1398657672964528446613628589910857029054\ 19157733092762622313625*c_1001_4^16 + 1054922733250341397842036727337096027676301291272924880880512906059\ /139865767296452844661362858991085702905419157733092762622313625*c_\ 1001_4^15 + 4114678479943395366870960873624449522232289388678121147\ 17842239728/1998082389949326352305183699872652898648845110472753751\ 7473375*c_1001_4^14 + 258925652539163584573538940778528261586448638\ 6956983477690303227779/13986576729645284466136285899108570290541915\ 7733092762622313625*c_1001_4^13 + 644070610727212924428774796094181\ 286879488263899532775713980468862/199808238994932635230518369987265\ 28986488451104727537517473375*c_1001_4^12 + 414810095844238012901348676916067463489505243773545196167314066427/\ 12715069754222985878305714453735063900492650703008432965664875*c_10\ 01_4^11 + 693889294309495733255526136118742968837648976466727293770\ 22403688/1816438536317569411186530636247866271498950100429776137952\ 125*c_1001_4^10 + 2223638987043610108476195353376680644575539634449\ 84470113768341351/5594630691858113786454514359643428116216766309323\ 710504892545*c_1001_4^9 + 45808642576441684771534526073198986195574\ 80116632441968574844585321/1398657672964528446613628589910857029054\ 19157733092762622313625*c_1001_4^8 + 10441962438769673861991455434899791232749441658178616319605696906/3\ 24514541291073885525203849167252210917445841608103857592375*c_1001_\ 4^7 + 4989830661967627753270753597052549639479572846263748744396039\ 5394/2638976741442506503044582245114824583121116183643259672119125*\ c_1001_4^6 + 227464312551322347418116852809182203191274033801586059\ 5442273074476/13986576729645284466136285899108570290541915773309276\ 2622313625*c_1001_4^5 + 9349016669178745598658760549147665007080524\ 15053406072238568626938/1398657672964528446613628589910857029054191\ 57733092762622313625*c_1001_4^4 + 641729458142758367258237218342582\ 218516428986695111192323554124753/139865767296452844661362858991085\ 702905419157733092762622313625*c_1001_4^3 + 170948146825855074899372343919239510271474938737714120505580024642/\ 139865767296452844661362858991085702905419157733092762622313625*c_1\ 001_4^2 + 110425271434869593245743910164391490019875916990646844298\ 36707283/1998082389949326352305183699872652898648845110472753751747\ 3375*c_1001_4 + 926787855137952377220811144789353620135726425995531\ 288860241686/127150697542229858783057144537350639004926507030084329\ 65664875, c_0011_0 - 1, c_0011_11 + 12445595593849481588904697456428730178640412550048499/59599\ 0352378733075281896942923048946194654148344697225*c_1001_4^29 - 35511404462355592701674772335842114456960497644765093/5959903523787\ 33075281896942923048946194654148344697225*c_1001_4^28 + 287397827592848714661451848861394563481286407402613491/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^27 - 661299569035540395401124874450498300834106154636376244/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^26 + 602589136269498890618216717538073920107045069965617122/119198070475\ 746615056379388584609789238930829668939445*c_1001_4^25 - 223909247531884530286027436145671356814248514328288735/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^24 + 18977008390267215679280571539709474963907860098503414982/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^23 - 27923282765676200595315748442903110084845892397083619827/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^22 + 79976373734594027419324063892274603981253683614027634524/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^21 - 88568933702763161896753436956795369885048600144383856039/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^20 + 47630843799015994558499813991024103854917580814041664703/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^19 - 34953581284785338221872517406299294981701145845578310099/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^18 + 517991746165251631025325469649397816912738863092666286338/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^17 - 164099352437222705499171845052861710938691786465259332127/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^16 + 844512868185548573642064123292770408990192743433768114556/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^15 + 144521772911250277558391774708523648302498199944715343064/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^14 + 1056921622107774004112370920559863857648550712273224524136/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^13 + 760619165194920207870179286480944719029946377567342433756/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^12 + 93354904736868200838235934761893872591150156902384055568/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^11 + 116041690104337687318298485361972242383041933148658426169/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^10 + 29999831693977265434861223044070117130834616091853087871/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^9 + 1213526257987151035999046190492210030124326332519336121039/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^8 + 854645925984467732576748742029719299248371956666886404/138280824217\ 8034977452197083348141406484116353467975*c_1001_4^7 + 664795720321818623842484191545289934085543659403693623388/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^6 + 94678761965803453563059040897960006476424510440992947409/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^5 + 180610607931033515660718218309100504562699635605640142092/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^4 + 2779788167286089674617606942919346858296790763982643477/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^3 + 13342831148714639086484953055743505035394199556506168503/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^2 - 2282415988881978049041114802103310004992054466615200046/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4 - 118448475313468896754275377012585052935626759156009151/541809411253\ 39370480172449356640813290423104394972475, c_0011_3 + 18971119149485585730139678469926452975196006067182344/595990\ 352378733075281896942923048946194654148344697225*c_1001_4^29 - 62795097984908876336120996805685285021540601341813858/5959903523787\ 33075281896942923048946194654148344697225*c_1001_4^28 + 459179190615520418425769977504875149764649129644205521/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^27 - 1177948860954473259810081639116680287212283201694386414/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^26 + 982228763639192354114324275831011579862864144172623372/119198070475\ 746615056379388584609789238930829668939445*c_1001_4^25 - 401260142487196317820291394827826189058556150804288394/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^24 + 31068950212576951447673351483149077502808785115924166292/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^23 - 50602259403402102959153813786110697286854413922785194362/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^22 + 130186136708288646346703681181045614308540965099484496294/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^21 - 164976442753579501164384822784602910292843390722388909709/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^20 + 76489096082389271543256512684084537807365346470357214373/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^19 - 70208415642178720289476745002831811686398038548656975589/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^18 + 813063665818326544194002466753964473052005491557901018828/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^17 - 441051018399841184491820328415036452826873685378111342312/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^16 + 1273589557216735422566644533710457634211231305858173061211/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^15 - 127515440836154601109777630384226644738684121867128643791/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^14 + 1477914476974937075524154606634052009525852662424036912366/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^13 + 663547569986641287090992380416287153147718960355513387711/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^12 + 113079951401308823310310842211999697734819993844117047658/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^11 + 129956881149784286657715412057543057828814748388660354164/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^10 + 27407070857407294482781346064304127210666764186654268690/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^9 + 1504672589648645610323184129637798349410717346019272963034/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^8 + 337521786334092317261994716444654841308270890146641974/138280824217\ 8034977452197083348141406484116353467975*c_1001_4^7 + 910397810353721562148997920621203607974508443947027775778/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^6 - 94643922037817128743075943394986356467869769881230100071/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^5 + 296929677760093045097088956708403391551940121683220230552/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^4 - 77392979718027786607758474024910779448261212277965670138/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^3 + 39712496430194928138889192572338970481682948907744173668/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^2 - 16926972846996058730859001663830950522560629367936495051/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4 - 236068367491057571208709274258733636531656105722356/541809411253393\ 70480172449356640813290423104394972475, c_0011_5 - 20883815321990287458299994699138660673926300829851831/595990\ 352378733075281896942923048946194654148344697225*c_1001_4^29 + 85970035122151511160833505939380338766290692572404942/5959903523787\ 33075281896942923048946194654148344697225*c_1001_4^28 - 558895766411869312208600074961168327916336077318356154/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^27 + 1681128218140434025311473407454942753529384411433521811/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^26 - 1266477832124017174073615656133918384493989123373203268/11919807047\ 5746615056379388584609789238930829668939445*c_1001_4^25 + 594372800910921410316336047553354053292895881859019246/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^24 - 41339587033167490621141272401304857833701328026917833358/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^23 + 77794675334130761891510052953289540260467108003603233488/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^22 - 174861265222659651936772764179024637348559249222922853856/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^21 + 265129070555208314050181800620455253673753787728983114591/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^20 - 101159328518681192990321499247855456787400892034935623397/119198070\ 475746615056379388584609789238930829668939445*c_1001_4^19 + 121120814568414171756066793208281878967140632792035454996/119198070\ 475746615056379388584609789238930829668939445*c_1001_4^18 - 1021241887530802164154435967056855502960071503255364798447/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^17 + 903503661983555106199369332111574190066343637113965235513/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^16 - 1425259805098055902670624089701097893536516730160033594314/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^15 + 751815828450857918914541284170056011514139616695624383184/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^14 - 1282568146992108918183960879843760343739061258041950891409/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^13 + 4599655172143545429364172460169802812472323835374130661/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^12 - 47170625791927972279928233520717495550865427199023343342/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^11 - 74060790976433903300039577411961956024070874894611431886/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^10 + 13968383783047924791106080616482551917263217441926144614/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^9 - 1013005449271604475119622293073960545417683754235387338141/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^8 + 1637416157463216201363343406469118738654194611372464999/13828082421\ 78034977452197083348141406484116353467975*c_1001_4^7 - 606251193262525402784880926736883885523779271856422889622/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^6 + 499514447738482539727816309336117502748790369885058055029/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^5 - 175511022838458723828572959258560297133581399106805017098/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^4 + 176513740479794548447623244484690599894639794258886857937/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^3 - 15912601838842791703452072719414560559276230740182929057/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^2 + 26878545404519132493192802088631186415587231836184549724/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4 + 103787812732358918993188210805270257277692639376367494/541809411253\ 39370480172449356640813290423104394972475, c_0101_0 - 1398588695111105877714919365577219419880010984190057/5418094\ 1125339370480172449356640813290423104394972475*c_1001_4^29 + 3081892121907268033617809503713110644347988690306374/54180941125339\ 370480172449356640813290423104394972475*c_1001_4^28 - 28380346760504125233879615861157094545010990529162188/5418094112533\ 9370480172449356640813290423104394972475*c_1001_4^27 + 48011674752680343349569358956460606264390816096846742/5418094112533\ 9370480172449356640813290423104394972475*c_1001_4^26 - 51543383955517354414765927778676195849135171909094066/1083618822506\ 7874096034489871328162658084620878994495*c_1001_4^25 + 12622378426820076795378576105587671189502856266425060/2167237645013\ 574819206897974265632531616924175798899*c_1001_4^24 - 1391440569060270187934375081385749292477303806460740026/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^23 + 1021089749957681812808123077205584401720952972062118661/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^22 - 5029983811130421961533801103430239815640935051255484157/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^21 + 799234976859555564730213245414562441688648792636286427/541809411253\ 39370480172449356640813290423104394972475*c_1001_4^20 - 2654010052521733958468435035355942283339614323952486934/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^19 - 1444513996841504187801231730523290288972388243831531868/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^18 - 28310367894716482412612390899701150866663383783192881859/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^17 - 36593329271221827067698426044495232786228472017506647064/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^16 - 54783686377397177401482439659969202080335257803678865833/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^15 - 96015357541968252826408252936990496455371246642827312577/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^14 - 99528176602038723255554518724718281438754117068778879423/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^13 - 168156274276407941114849995773455930424374726249310882758/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^12 - 155292372749216157721954027924405884826967273355874138264/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^11 - 206731312022962412530472489117476331754493510849957085412/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^10 - 7402216105071908977688651350389117304203276308877519648/21672376450\ 13574819206897974265632531616924175798899*c_1001_4^9 - 176048807795488016140490141310530414841139078917488568402/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^8 - 357669841815592174930677484949054389010004603070627047/125709840198\ 003179768381553031649218771283304860725*c_1001_4^7 - 98347684967487811024925919443787471301504347900612926784/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^6 - 82924172420496572987516817650128816663308505086177541412/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^5 - 32626184599948873579689232389082512069372810128196254031/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^4 - 25529210616068063109713868476967372639012457942401587711/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^3 - 5219558404960710195378674266891900104771066785169847054/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^2 - 3391126055281514285212112702001939244827740552204340447/54180941125\ 339370480172449356640813290423104394972475*c_1001_4 - 134983214877510308159081474260086836505781891177674877/541809411253\ 39370480172449356640813290423104394972475, c_0101_10 + 172557412861674122023317483752144886425578765897512/2383961\ 4095149323011275877716921957847786165933787889*c_1001_4^29 - 982630367468624499329917411834461525859780111995124/238396140951493\ 23011275877716921957847786165933787889*c_1001_4^28 + 5507546765836219171717546917183112752867090888226707/23839614095149\ 323011275877716921957847786165933787889*c_1001_4^27 - 20111268576439038901805439179148273431681285547100417/2383961409514\ 9323011275877716921957847786165933787889*c_1001_4^26 + 67755896655544335076503064322403196715006769119691166/2383961409514\ 9323011275877716921957847786165933787889*c_1001_4^25 - 184870218339019870110979450935971359285505824400288317/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^24 + 462197153527917824340369784629649503266770971877827923/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^23 - 1006920731296077455850477690982832059705503825144140770/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^22 + 1997079762281872533765743457836158253207503479123505614/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^21 - 3599971217443111295449465005844070859176176473045354477/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^20 + 5784309797504914419243830317052384927058565240900548455/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^19 - 8834094803129880606995594384884048828335839372229776682/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^18 + 11361597475970819676772340505295054440665308244405057934/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^17 - 15077436765419595140486078107017442698679663757985331344/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^16 + 14424923667179216779831749832057430379537781997287300784/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^15 - 17622316275782240459365926695902178959785940474860616230/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^14 + 9006618105080049195710144132591852240600535826393190635/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^13 - 13216253357639356777288834385268824757210408916101799987/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^12 - 445809246443380575955298653673974233614523873078493071/216723764501\ 3574819206897974265632531616924175798899*c_1001_4^11 - 451959921325449455921224930216774590903079109939108958/216723764501\ 3574819206897974265632531616924175798899*c_1001_4^10 - 17827455591292625280419715121843841284892007076149117470/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^9 + 760582592422170083776320626546470879485974445823598857/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^8 - 45996815579859768401878020692428958230297876714067150/5531232968712\ 1399098087883333925656259364654138719*c_1001_4^7 + 1808676523134810849764651125209303308510738415815593203/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^6 - 12142356082620319709419598918401246076288371670464556501/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^5 + 809026527558278387797544065775703128336741892688770111/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^4 - 4091233603778704759489668280583682324431294090545485696/23839614095\ 149323011275877716921957847786165933787889*c_1001_4^3 + 138369181323886058153096149718098396310578701681665597/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^2 - 631320236198118522378128233135511709513820680793223174/238396140951\ 49323011275877716921957847786165933787889*c_1001_4 + 313805588412807496703514072973047754666538311931380/216723764501357\ 4819206897974265632531616924175798899, c_0101_11 + 17241989520811530674727458293981725569377395532273257/59599\ 0352378733075281896942923048946194654148344697225*c_1001_4^29 - 36539220203172934570921274031024400407822751782545874/5959903523787\ 33075281896942923048946194654148344697225*c_1001_4^28 + 344392013869214344746278702179051033459412673770109813/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^27 - 552284927956918657119601453871210348379816832847843542/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^26 + 613185902042717736352186943415273578853111401083562841/119198070475\ 746615056379388584609789238930829668939445*c_1001_4^25 - 137512395573278214935517638145458708120320622432640338/238396140951\ 49323011275877716921957847786165933787889*c_1001_4^24 + 16169319426226706980293283254029954211115728369914169151/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^23 - 9665556225812708606284071946293349649848299107366634261/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^22 + 57058912247730165163628259850543439365786748357743327632/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^21 + 2086829946597291442197103811904119287507297323648958923/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^20 + 29676801849138534893809625391130486191778978987335747879/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^19 + 24281272400524502371223087647683833240201671830332061853/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^18 + 321572187459906105300857323488406659015194992279903553559/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^17 + 510335564002635241730448939402577029205894613609446993739/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^16 + 655937919990705392156688229112638316165480663887293221533/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^15 + 1257035210689692336471797266193883532816497123131183289977/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^14 + 1259176114887801794896164257525323448254680115586431604573/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^13 + 2135817128077639678502327449022568853143191861299609497408/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^12 + 183588629031554758860245859889886868703338109163539372949/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^11 + 235420008331657986531709270273960590653706062738012207442/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^10 + 96365473038242502649280884401146576091442783632223584529/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^9 + 2193208062381797666036694841120221163337387100631771656027/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^8 + 4564825557043172344383371126956799431949634185539648022/13828082421\ 78034977452197083348141406484116353467975*c_1001_4^7 + 1218514294891243142607800245761754340521436165145336890234/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^6 + 1011849098261364553109604316453986400925078558599333771012/59599035\ 2378733075281896942923048946194654148344697225*c_1001_4^5 + 396185177344571698020749938700678494350803537738006825506/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^4 + 286698268316351852590254218913827093475413877490247117811/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^3 + 57713362896951386283969347911496977636042725985752071304/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^2 + 33209384005328445250323398238474563189805755440143832622/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4 - 16612668721767206218704658219707303743525702095047018/5418094112533\ 9370480172449356640813290423104394972475, c_0101_2 - 1398588695111105877714919365577219419880010984190057/5418094\ 1125339370480172449356640813290423104394972475*c_1001_4^29 + 3081892121907268033617809503713110644347988690306374/54180941125339\ 370480172449356640813290423104394972475*c_1001_4^28 - 28380346760504125233879615861157094545010990529162188/5418094112533\ 9370480172449356640813290423104394972475*c_1001_4^27 + 48011674752680343349569358956460606264390816096846742/5418094112533\ 9370480172449356640813290423104394972475*c_1001_4^26 - 51543383955517354414765927778676195849135171909094066/1083618822506\ 7874096034489871328162658084620878994495*c_1001_4^25 + 12622378426820076795378576105587671189502856266425060/2167237645013\ 574819206897974265632531616924175798899*c_1001_4^24 - 1391440569060270187934375081385749292477303806460740026/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^23 + 1021089749957681812808123077205584401720952972062118661/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^22 - 5029983811130421961533801103430239815640935051255484157/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^21 + 799234976859555564730213245414562441688648792636286427/541809411253\ 39370480172449356640813290423104394972475*c_1001_4^20 - 2654010052521733958468435035355942283339614323952486934/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^19 - 1444513996841504187801231730523290288972388243831531868/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^18 - 28310367894716482412612390899701150866663383783192881859/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^17 - 36593329271221827067698426044495232786228472017506647064/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^16 - 54783686377397177401482439659969202080335257803678865833/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^15 - 96015357541968252826408252936990496455371246642827312577/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^14 - 99528176602038723255554518724718281438754117068778879423/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^13 - 168156274276407941114849995773455930424374726249310882758/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^12 - 155292372749216157721954027924405884826967273355874138264/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^11 - 206731312022962412530472489117476331754493510849957085412/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^10 - 7402216105071908977688651350389117304203276308877519648/21672376450\ 13574819206897974265632531616924175798899*c_1001_4^9 - 176048807795488016140490141310530414841139078917488568402/541809411\ 25339370480172449356640813290423104394972475*c_1001_4^8 - 357669841815592174930677484949054389010004603070627047/125709840198\ 003179768381553031649218771283304860725*c_1001_4^7 - 98347684967487811024925919443787471301504347900612926784/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^6 - 82924172420496572987516817650128816663308505086177541412/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^5 - 32626184599948873579689232389082512069372810128196254031/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^4 - 25529210616068063109713868476967372639012457942401587711/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^3 - 5219558404960710195378674266891900104771066785169847054/54180941125\ 339370480172449356640813290423104394972475*c_1001_4^2 - 3391126055281514285212112702001939244827740552204340447/54180941125\ 339370480172449356640813290423104394972475*c_1001_4 - 134983214877510308159081474260086836505781891177674877/541809411253\ 39370480172449356640813290423104394972475, c_0101_3 + 1, c_0101_9 + 17688031562940393544898374319431325476173981457119/108361882\ 25067874096034489871328162658084620878994495*c_1001_4^29 - 52719454929675952387350962579228981460921472339823/1083618822506787\ 4096034489871328162658084620878994495*c_1001_4^28 + 335594174900304098825417741295417999158110217254291/108361882250678\ 74096034489871328162658084620878994495*c_1001_4^27 - 606662503587018046289396308240157951515372917908719/108361882250678\ 74096034489871328162658084620878994495*c_1001_4^26 + 438760624309516050419193390900450823570804067126414/216723764501357\ 4819206897974265632531616924175798899*c_1001_4^25 - 275230926412894419546449327492067843658473279620891/216723764501357\ 4819206897974265632531616924175798899*c_1001_4^24 + 3878032441686411337842597549360216610337037416671512/10836188225067\ 874096034489871328162658084620878994495*c_1001_4^23 + 15104867046333849785982689562795343228015500088065828/1083618822506\ 7874096034489871328162658084620878994495*c_1001_4^22 - 26444834412837794406666507191473262827460271442394841/1083618822506\ 7874096034489871328162658084620878994495*c_1001_4^21 + 134576974983282895286265844155981348707502190686041961/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^20 - 38040592525912289533683060293740663702024201953360808/2167237645013\ 574819206897974265632531616924175798899*c_1001_4^19 + 105425408723213521902873094623044346987606612085924646/216723764501\ 3574819206897974265632531616924175798899*c_1001_4^18 - 567305012484987691950954719589052540376969399429774467/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^17 + 1232649492089425665448493502924954506652955479479714258/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^16 - 908232447472916612802078209828935991929262251969276389/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^15 + 1825618443516689358275536704180785587704568374733147704/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^14 - 610667090225633084846567303828685636296311478810246114/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^13 + 1646868590714022769264642792021187307828179387045924951/10836188225\ 067874096034489871328162658084620878994495*c_1001_4^12 + 484475997914429190541167166581212305684116091897333513/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^11 + 663826289435880166611186132342358966277967486105819779/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^10 + 295376733079116159514351240481735195226547934518674313/216723764501\ 3574819206897974265632531616924175798899*c_1001_4^9 - 320760813494731077367262802940861881150811036066227381/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^8 + 3212810490026327352677946150152503765554629221020109/25141968039600\ 635953676310606329843754256660972145*c_1001_4^7 - 613219359164882069622880796187950850269758994961084102/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^6 + 535148517603807877557077509783907456717565215189082799/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^5 - 362798128886374520059511873123320410674756972677047808/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^4 + 2228271176844609944430885163042830385899201626668482/10836188225067\ 874096034489871328162658084620878994495*c_1001_4^3 - 105259561699821618507038565976370942514397023951079057/108361882250\ 67874096034489871328162658084620878994495*c_1001_4^2 - 32345443204921801992005056911783221337148977725363116/1083618822506\ 7874096034489871328162658084620878994495*c_1001_4 - 11681845072709184162396298739315682806943757626976966/1083618822506\ 7874096034489871328162658084620878994495, c_1001_0 + 6521848777660537943850518775329822836423272616502388/5959903\ 52378733075281896942923048946194654148344697225*c_1001_4^29 - 16194547444403022794697640061474908187374659434581066/5959903523787\ 33075281896942923048946194654148344697225*c_1001_4^28 + 142064674900271887549609008744890006696308766339868642/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^27 - 280180883805860336516694854820751929927939628730794253/595990352378\ 733075281896942923048946194654148344697225*c_1001_4^26 + 280072689723536938712171333957004657531174539487165504/119198070475\ 746615056379388584609789238930829668939445*c_1001_4^25 - 86291828470061651891058308446697023852252477765109757/2383961409514\ 9323011275877716921957847786165933787889*c_1001_4^24 + 8311289963686107970483553441787271915661275361594948784/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^23 - 9427722271079204636861053289392759186792725658268345549/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4^22 + 33351463139685940352067241471085240174342612761648478713/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^21 - 23894908845670444135835825686659773440257896166462253793/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^20 + 19395283444050396082194693862355069978945672889725434921/1191980704\ 75746615056379388584609789238930829668939445*c_1001_4^19 - 4967633604448409703587788212077635976721765016286147078/11919807047\ 5746615056379388584609789238930829668939445*c_1001_4^18 + 216541481647425687568842990897253296227901911368194575431/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^17 + 55127623311617617826870739734706433106674536486818267926/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^16 + 393656133590603725378584507755126190325267214466413281772/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^15 + 298022668468863390370231118449301432311082729952530535718/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^14 + 608988634879369554284504092156058655916064422927625988557/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^13 + 677490191893426652389027524953388257380691578015883649947/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^12 + 72519857474039309098057920653791973969868387295231767541/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^11 + 88250484501405637426506572764028460452813160201759369828/5418094112\ 5339370480172449356640813290423104394972475*c_1001_4^10 + 33177820662268980416321157257338345184532959806891519829/2383961409\ 5149323011275877716921957847786165933787889*c_1001_4^9 + 921058890229729300072396595568155620714513129176919535718/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^8 + 1439995595956418553767604835868647405125812112270805198/13828082421\ 78034977452197083348141406484116353467975*c_1001_4^7 + 558666171901122926068977795530662539997866003228042870781/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^6 + 295818042832578504800411666440217900454958029767940913708/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^5 + 195166204510294881905428471607122669234995340699415658779/595990352\ 378733075281896942923048946194654148344697225*c_1001_4^4 + 73299138598151102562353611954518552880891776505574692224/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^3 + 30191231456723910077812429230962807332231071469087982086/5959903523\ 78733075281896942923048946194654148344697225*c_1001_4^2 + 5205928809253035446416703032284737836465000415981079948/59599035237\ 8733075281896942923048946194654148344697225*c_1001_4 - 13080694374503763744112384914676061118038173237402987/5418094112533\ 9370480172449356640813290423104394972475, c_1001_4^30 - 10/3*c_1001_4^29 + 25*c_1001_4^28 - 194/3*c_1001_4^27 + 829/3*c_1001_4^26 - 570*c_1001_4^25 + 5429/3*c_1001_4^24 - 2982*c_1001_4^23 + 7875*c_1001_4^22 - 30347/3*c_1001_4^21 + 24153*c_1001_4^20 - 22510*c_1001_4^19 + 162281/3*c_1001_4^18 - 89537/3*c_1001_4^17 + 90768*c_1001_4^16 - 9536*c_1001_4^15 + 116796*c_1001_4^14 + 151786/3*c_1001_4^13 + 117755*c_1001_4^12 + 366245/3*c_1001_4^11 + 93917*c_1001_4^10 + 449608/3*c_1001_4^9 + 174274/3*c_1001_4^8 + 113874*c_1001_4^7 + 78805/3*c_1001_4^6 + 160475/3*c_1001_4^5 + 23332/3*c_1001_4^4 + 42644/3*c_1001_4^3 + 1185*c_1001_4^2 + 4939/3*c_1001_4 + 121/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.540 Total time: 0.750 seconds, Total memory usage: 32.09MB