Magma V2.19-8 Tue Aug 20 2013 23:51:45 on localhost [Seed = 2134447225] Type ? for help. Type -D to quit. Loading file "K12n150__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n150 geometric_solution 12.45679296 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414465364431 0.708769618348 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 0.592357138031 0.670370667590 8 0 5 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869626439690 0.776299696458 5 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.869626439690 0.776299696458 6 7 0 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.592357138031 0.670370667590 3 1 4 2 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414465364431 0.708769618348 4 7 1 7 0132 0213 0132 3120 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 1 0 -1 0 0 0 0 -7 -1 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654647865426 0.508317955457 6 4 6 1 3120 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 -8 7 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654647865426 0.508317955457 2 12 10 11 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797142217138 0.597837120121 12 10 2 11 2103 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.644679315805 0.897011738660 12 3 9 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 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797142217138 0.597837120121 8 12 9 3 3120 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644679315805 0.897011738660 10 8 9 11 0132 0132 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.008576361443 0.702354258467 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_3'], 'c_1010_12' : d['c_1001_3'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0011_11']), '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' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_12'], 'c_0011_10' : d['c_0011_0'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_12'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_1001_0, c_1001_1, c_1001_3, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 6158274363876015949285940688577047775215211478908151172943106881383\ 0898342741281/10525009629103379979946163849946193134342300999292716\ 53990987782007887215524*c_1001_5^37 + 1783635115081574262358600844765111943016512592995924974249363379352\ 764414317589453/842000770328270398395693107995695450747384079943417\ 3231927902256063097724192*c_1001_5^36 + 1340728825911476677573608055369761233862170403380728377871547496312\ 964146665999031/842000770328270398395693107995695450747384079943417\ 3231927902256063097724192*c_1001_5^35 - 8633309815803446607804036680003834964768274053169136334169217139151\ 90178243128857/8420007703282703983956931079956954507473840799434173\ 231927902256063097724192*c_1001_5^34 - 1455417033546502303924524521699079799483198229556582105734058367845\ 30890611905345/8420007703282703983956931079956954507473840799434173\ 231927902256063097724192*c_1001_5^33 - 2745785870741625800280533677314788209914202158314645332228112306783\ 518708828810249/421000385164135199197846553997847725373692039971708\ 6615963951128031548862096*c_1001_5^32 - 5908812803708654939680890297493811466582000002837960378365075363543\ 6873164464589/27697393760798368368279378552489981932479739471822938\ 262920731105470716198*c_1001_5^31 + 5177763834555050436597264290545688805548714047572917411084281616818\ 882892407471165/421000385164135199197846553997847725373692039971708\ 6615963951128031548862096*c_1001_5^30 + 5366116999498877754857765747873112275634257664292369017543090040481\ 8225250971310257/84200077032827039839569310799569545074738407994341\ 73231927902256063097724192*c_1001_5^29 - 3561071917215022423198977402181234737483060756018821997316844569728\ 5841311212966731/84200077032827039839569310799569545074738407994341\ 73231927902256063097724192*c_1001_5^28 - 7066493824148445127736225960773467962603754829623500240785220379041\ 0061480623533499/42100038516413519919784655399784772537369203997170\ 86615963951128031548862096*c_1001_5^27 + 2384472519150818214472993595155931006400500417089804904347493007750\ 65632572662045/3450822829214222944244643885228260044046656065341874\ 2753802878098619252968*c_1001_5^26 + 3198930118426471526938319016559542246060017821771520136809240711992\ 32048211225764035/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^25 + 3602452647702622499684413748175576575304323155634732876375458197706\ 346159981096425/263125240727584499498654096248654828358557524982317\ 913497746945501971803881*c_1001_5^24 - 3620756296031487461342557246652489702608444252910051656574718437836\ 81027492941489253/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^23 - 2148988069375501035986565737143510277801377736955164694261816476812\ 07796124820715795/4210003851641351991978465539978477253736920399717\ 086615963951128031548862096*c_1001_5^22 + 6017184202082852058832253720807128181812430269601460211573972675292\ 8501411992950629/42100038516413519919784655399784772537369203997170\ 86615963951128031548862096*c_1001_5^21 + 5208973629812491249608517118326047169928334555639389604048764119810\ 52316984729722075/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^20 + 1238409276080084293497585964363524393816668311057130968994430173622\ 71123780521858/2631252407275844994986540962486548283585575249823179\ 13497746945501971803881*c_1001_5^19 - 5521759037016133804404587079175277973952368195887150216062009763054\ 23507017186865275/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^18 + 1433518978070886540676888821959055903513042942254099738904660157822\ 6038789876107629/84200077032827039839569310799569545074738407994341\ 73231927902256063097724192*c_1001_5^17 + 7234306654069825033312783401616465955040539542064174613012192759773\ 24572562623084331/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^16 + 1612659741143489900545872812153323524022677514805406261054503412572\ 429107342873809/553947875215967367365587571049799638649594789436458\ 76525841462210941432396*c_1001_5^15 - 6113375172975377276664614789999593100485023490063656574998939700035\ 13476183966176239/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^14 - 5311980589357749399868711350998813071272481524322087571666287821246\ 79616622758675961/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^13 + 9049894399234653308594667267355574806841749904507898604794060979449\ 7018405019482037/42100038516413519919784655399784772537369203997170\ 86615963951128031548862096*c_1001_5^12 + 4492659670351484928801638794809718658795956973031055664738556609995\ 89515706652848155/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^11 + 4864795495004244447084063407574821315584450147004375710023155713628\ 9994338783407969/42100038516413519919784655399784772537369203997170\ 86615963951128031548862096*c_1001_5^10 - 4940324408236914271853103379696484985419809202383468216795391282665\ 3829102977095795/21050019258206759959892327699892386268684601998585\ 43307981975564015774431048*c_1001_5^9 - 1083424126009009727269673559526755824151620878587189538067048735806\ 03523105910319331/8420007703282703983956931079956954507473840799434\ 173231927902256063097724192*c_1001_5^8 + 4743841630162590710352577082008209396640538959520102317224907199009\ 8879453904559125/84200077032827039839569310799569545074738407994341\ 73231927902256063097724192*c_1001_5^7 + 1107520502475827413181541205649855218926431845301019666843701849582\ 2504673768428247/21050019258206759959892327699892386268684601998585\ 43307981975564015774431048*c_1001_5^6 - 5480357161727572920199224370696319813302304922511661418943302378930\ 590935501438103/842000770328270398395693107995695450747384079943417\ 3231927902256063097724192*c_1001_5^5 - 9917605625005017674417113571545497207196615671221031202609550366427\ 266864047355947/842000770328270398395693107995695450747384079943417\ 3231927902256063097724192*c_1001_5^4 + 1029656553878797594800360777457274605427813357985607814187216748987\ 80207762339103/8420007703282703983956931079956954507473840799434173\ 231927902256063097724192*c_1001_5^3 + 6135877889753118122555067646069384578946757785607303278419542413752\ 45352439271317/4210003851641351991978465539978477253736920399717086\ 615963951128031548862096*c_1001_5^2 + 2415743739294945798915382703605367713409811097794129417570397591025\ 8161905669999/84200077032827039839569310799569545074738407994341732\ 31927902256063097724192*c_1001_5 - 6643974479946247525826004926970952520168224981470664042627039716764\ 0477099498271/84200077032827039839569310799569545074738407994341732\ 31927902256063097724192, c_0011_0 - 1, c_0011_11 + 98298407847602913551405191585811642669005965620038316612863\ 122968045722489/282854330263460897069233105346578692134971808634579\ 858637728509005075844*c_1001_5^37 + 7621100785163150129679331352638623726297311843273312939714656759752\ 1386307/70713582565865224267308276336644673033742952158644964659432\ 127251268961*c_1001_5^36 + 3264187785004611071594303404286230432711\ 4559215108693227399374623625369781/70713582565865224267308276336644\ 673033742952158644964659432127251268961*c_1001_5^35 - 9437915669673923531963533768687845636860337008828281713272830605764\ 6123501/14142716513173044853461655267328934606748590431728992931886\ 4254502537922*c_1001_5^34 + 537917466266846435213229332103190632311\ 70153698351468893754539421724989019/2828543302634608970692331053465\ 78692134971808634579858637728509005075844*c_1001_5^33 - 5873740080060339186360642561676303187819888013625866040951225354263\ 85522839/1414271651317304485346165526732893460674859043172899293188\ 64254502537922*c_1001_5^32 - 77035775861867073310257875106491337554\ 583204244350262122740956041723265721/744353500693318150182192382490\ 9965582499258121962627858887592342238838*c_1001_5^31 + 3317690282625333939322588456714148252667201546460358146077123066443\ 622318299/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^30 + 4265703877449002418844717451280717080\ 831527407728301587750425656338115111829/141427165131730448534616552\ 673289346067485904317289929318864254502537922*c_1001_5^29 - 1039544482635740174101893291543794112725744729810665547982413448338\ 2692535395/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^28 - 107755208524385950108882244405698934\ 82690719721892063458834360750379266306973/1414271651317304485346165\ 52673289346067485904317289929318864254502537922*c_1001_5^27 + 1931941800261351391502122175707647426559438971622049431037792057304\ 8229498659/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^26 + 509840635712043482270299290689824772\ 29985125502643002173934405950325842166883/2828543302634608970692331\ 05346578692134971808634579858637728509005075844*c_1001_5^25 + 3703773413586802748460407842062555090277599635720194982694518300026\ 305645501/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^24 - 6680314295317283764809502871278153114\ 1723319674543608566125178916282019676765/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^23 - 1435664247224484686308012453898820687332420300138567410910466202447\ 8509012470/70713582565865224267308276336644673033742952158644964659\ 432127251268961*c_1001_5^22 + 4046307999057139220242197636770871357\ 5190991372880134844234220443405436208921/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^21 + 8063739933852139939596284303877157996751113719617792324354529963742\ 9839883091/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^20 - 256007387748101091489602902966768939\ 59291979731646387940471195089344947622073/2828543302634608970692331\ 05346578692134971808634579858637728509005075844*c_1001_5^19 - 2174321763771364114044055081120138135460984180596446943861276399627\ 2265839197/70713582565865224267308276336644673033742952158644964659\ 432127251268961*c_1001_5^18 + 7893604373691973469351427444592724613\ 504168249511729726955732186131983951742/707135825658652242673082763\ 36644673033742952158644964659432127251268961*c_1001_5^17 + 1152855853830886006725021737961802563771782609311107608309178713692\ 12703428033/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^16 + 41072119477182659803958212248175436\ 9461473717369140404067192293433207594535/14887070013866363003643847\ 649819931164998516243925255717775184684477676*c_1001_5^15 - 2724084449749371225934485918571316557605972128490459624930855339432\ 4045986181/70713582565865224267308276336644673033742952158644964659\ 432127251268961*c_1001_5^14 - 6379622012661755827168160525551892279\ 8997867357408474716201084209705880959525/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^13 + 4841027438656613828348753729496701915224043734801544281383373469719\ 9401623749/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^12 + 669263347873034663870596241916551680\ 32460020780201430972264245296836366715941/2828543302634608970692331\ 05346578692134971808634579858637728509005075844*c_1001_5^11 + 3394353596138808017297651998674620356698581765566196111551949001313\ 77961887/7071358256586522426730827633664467303374295215864496465943\ 2127251268961*c_1001_5^10 - 340765887653849018365612022236221257413\ 91570418605983640672526474862047863477/2828543302634608970692331053\ 46578692134971808634579858637728509005075844*c_1001_5^9 - 2945419502969562500335435671595647034741022371034947719197071150845\ 929264321/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^8 + 955379922125387561287805947571322808196\ 2918851430268851573929800267556970245/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^7 + 5784962659240435858045697395788913348222740959196350658587794566826\ 202892679/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^6 - 34857287105248437791075332236158460152\ 5650995667714956614755716148275454694/70713582565865224267308276336\ 644673033742952158644964659432127251268961*c_1001_5^5 - 3448855454312990884635098291441370780349436258700071714945519657292\ 36485380/7071358256586522426730827633664467303374295215864496465943\ 2127251268961*c_1001_5^4 + 7330453134432471010086947291770930441569\ 8095112166392674670307532900677755/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5^3 + 1717896085992591540684410691917482978436986509878644863240057234972\ 41667201/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^2 + 630143801330104837384282045376925372758\ 926502992312950023860466365187902/707135825658652242673082763366446\ 73033742952158644964659432127251268961*c_1001_5 - 8974961176930449811118139721967669026996129812044437358123758314388\ 313189/282854330263460897069233105346578692134971808634579858637728\ 509005075844, c_0011_4 - 745561113686681198174529737532204302248598209818053903251187\ 1656322814798/70713582565865224267308276336644673033742952158644964\ 659432127251268961*c_1001_5^37 - 7457564005162018751899709916269988\ 1870953828424107740317316387955273078265/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^36 + 8225808755699655356197953716391341998185801772406931885241544240636\ 442263/282854330263460897069233105346578692134971808634579858637728\ 509005075844*c_1001_5^35 + 5746124906411064789509575386919772221694\ 7993764099132774168034348532809615/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5^34 - 6030312076784458126129993459661608737692820458156947986252948252550\ 9003847/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^33 + 189461610565991901098253070046642218450\ 563047141703475310080722007350097817/141427165131730448534616552673\ 289346067485904317289929318864254502537922*c_1001_5^32 + 8727826381677186958794773401055628168392268958579962697421919546331\ 121054/372176750346659075091096191245498279124962906098131392944379\ 6171119419*c_1001_5^31 - 725759291261092434676145768621955184293552\ 126838483122512288666956081318597/141427165131730448534616552673289\ 346067485904317289929318864254502537922*c_1001_5^30 - 1757918222467688397020717383054154191444766123530316464742393126393\ 697388561/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^29 + 4439130210140198494739919856183945969\ 409564371062023195336974229934427548313/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^28 + 1002848091890256891212250786863151218919610828097457020332499317938\ 757715720/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^27 - 44508064045046423020305729450726742646\ 78260694040174246285469157646851624005/1414271651317304485346165526\ 73289346067485904317289929318864254502537922*c_1001_5^26 - 1034892763546548816246095333243940749698693446141647533546852727911\ 6472757973/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^25 + 161953699408989826683192649830710275\ 7255499006984291799348380702834348467636/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^24 + 1720323037116101587179020690907786699428714659149102888123800234741\ 2936909703/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^23 + 135479075490583677304536950061383030\ 5821761716943496325174732031730535613607/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^22 - 4464446687917038567365823553459504630648402143798204991898031578319\ 708103165/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^21 - 13581145339296765106090001667157521219\ 201008320587820109479789733284844471597/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^20 + 4760810994366908771930234302821823639397949757563085015444163812441\ 784856712/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^19 + 16417011750784611624843181095346640820\ 809015088081269487158196826433677963101/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^18 - 2236444870682138444591602645367905515457639852802767522681200956847\ 4646657335/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^17 - 229079752355705320198443587609963937\ 07747395489657382292089134084666531220723/2828543302634608970692331\ 05346578692134971808634579858637728509005075844*c_1001_5^16 + 1976302033228974241322873317743255538027972344407068992154899298860\ 03723723/3721767503466590750910961912454982791249629060981313929443\ 796171119419*c_1001_5^15 + 2608065317689688748925117655017984073074\ 3121570922163753572645174828252588907/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^14 + 3031018220514117753917767185119706254014785127837719194828856573165\ 96014651/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^13 - 46135813648268166087979523902656290235\ 46839338356007414757405221474365979621/7071358256586522426730827633\ 6644673033742952158644964659432127251268961*c_1001_5^12 - 8393987077637476599251626446235982465345837675558674709904324006106\ 742795269/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^11 + 3852830560455652229137547229260489609\ 921145504805921777325297840388525642137/141427165131730448534616552\ 673289346067485904317289929318864254502537922*c_1001_5^10 + 3362868751404660002132442019572751437817533934351726714641237945256\ 825171443/141427165131730448534616552673289346067485904317289929318\ 864254502537922*c_1001_5^9 - 17855840593568647324162983058604134844\ 49054837607806456577401651196565738493/2828543302634608970692331053\ 46578692134971808634579858637728509005075844*c_1001_5^8 - 2772348077660954232225840169724181536811456073229547845404449413498\ 463306541/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^7 + 95151737902087443848679022155639179963\ 379995287096025962778693207699068941/141427165131730448534616552673\ 289346067485904317289929318864254502537922*c_1001_5^6 + 6763124158591924014599343963415827240192910913626634100026029876509\ 73884843/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^5 - 389288402996520882853855072693703805208\ 9298870564245760981443396469606289/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5^4 - 9434368505574908551748293466193318397228551429150337915693114817750\ 3582541/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^3 + 4128327599740541704050551023980408414114\ 67450594831821991461332952167725/7071358256586522426730827633664467\ 3033742952158644964659432127251268961*c_1001_5^2 + 5904327844661997173993197234259572927732593734230773654751475168176\ 867699/282854330263460897069233105346578692134971808634579858637728\ 509005075844*c_1001_5 - 3126202057839569446253341604461238593925093\ 10477561135234211491014734581/2828543302634608970692331053465786921\ 34971808634579858637728509005075844, c_0101_0 + 349652909811518637386420150742622970533052205076423139076626\ 50582736915933/5657086605269217941384662106931573842699436172691597\ 17275457018010151688*c_1001_5^37 + 4355530231748030888082368636405321113462612841550486405152957013526\ 5847051/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^36 - 493865632479580620670448166235521634829\ 2000644633859455585837789294154423/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5^35 - 1695924817024716699201739075673997239155545505594910025053588367782\ 9556389/14142716513173044853461655267328934606748590431728992931886\ 4254502537922*c_1001_5^34 + 663029812932458366461551449025931008248\ 87382587071229467905614077030098117/5657086605269217941384662106931\ 57384269943617269159717275457018010151688*c_1001_5^33 - 2233775311197945675999121985087798808891114523077934780301377977907\ 03043333/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^32 - 20331762353004807359949493207886624486\ 408206348987166297357175454142237229/148870700138663630036438476498\ 19931164998516243925255717775184684477676*c_1001_5^31 + 1697050505927431990043761757509265504894737475679949363721192639529\ 191634087/565708660526921794138466210693157384269943617269159717275\ 457018010151688*c_1001_5^30 + 5147133644786673173231231458050003349\ 98099861974060557254114202199359065391/1414271651317304485346165526\ 73289346067485904317289929318864254502537922*c_1001_5^29 - 5156483128800946586849696383469991957837411885012302932945800610286\ 313796709/565708660526921794138466210693157384269943617269159717275\ 457018010151688*c_1001_5^28 - 2349794941710036617544553385460333284\ 693575815982637196688425412553021377155/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^27 + 1031662991396869809876255624888870114008702812086080469181095068778\ 4227201835/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^26 + 121969366809072630966477912433036578\ 06815424496302061589226499326100205497741/5657086605269217941384662\ 10693157384269943617269159717275457018010151688*c_1001_5^25 - 7359683633982080585957505346045857032810968947103340340301603476734\ 339909255/565708660526921794138466210693157384269943617269159717275\ 457018010151688*c_1001_5^24 - 2030942486752839281237948497788430048\ 3838564100586390785625463197926781141679/56570866052692179413846621\ 0693157384269943617269159717275457018010151688*c_1001_5^23 - 8478277668873220247484097921547617307510491773358921050820281419876\ 27873350/7071358256586522426730827633664467303374295215864496465943\ 2127251268961*c_1001_5^22 + 207759404708071778223950368232935649118\ 44687183133179651898563615850674980685/5657086605269217941384662106\ 93157384269943617269159717275457018010151688*c_1001_5^21 + 1630879687962797154189478228990697535117357755200365850455561965109\ 9405542545/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^20 - 217041110468878762270348088082450051\ 67502969091376873550220635664096586122537/5657086605269217941384662\ 10693157384269943617269159717275457018010151688*c_1001_5^19 - 9677401794331415017681141033804697839522860631694653373361367203989\ 736685581/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^18 + 1278485083761129513609901868152076940\ 9490327802431261144421598169427824050185/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^17 + 2706814672815102680326973387008570777515251944460064881289421141717\ 3069573415/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^16 - 889043267579812178790093715264426868\ 685413633856677336225655596270878572229/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^15 - 1542722968535013264789084969321575667348051137972201278146390726115\ 7303914983/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^14 - 127075780725425754220486876487165344\ 7998193776965087543249605532281611819619/56570866052692179413846621\ 0693157384269943617269159717275457018010151688*c_1001_5^13 + 2143435893171926628124090955051186598286248332815727353916980477254\ 9089872057/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^12 + 104665891819999651320698225154543205\ 81020016338917003734132047017470742354415/5657086605269217941384662\ 10693157384269943617269159717275457018010151688*c_1001_5^11 - 1066232238504739610054943213936998645068589074736966438423414816696\ 747686288/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^10 - 80369070528314006757437549782070265294\ 08715855362539840418439274868207035317/5657086605269217941384662106\ 93157384269943617269159717275457018010151688*c_1001_5^9 + 8738273721984439381244166459128590767702735962109101836926348757898\ 94957375/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^8 + 321528681050463436352331822232899454820\ 3419193194141289848733490122342293003/56570866052692179413846621069\ 3157384269943617269159717275457018010151688*c_1001_5^7 - 9756810577838071495659658536126688764333539556033760785706636425936\ 8779437/56570866052692179413846621069315738426994361726915971727545\ 7018010151688*c_1001_5^6 - 3814324309269903884791448167597715696584\ 14215363537961859486101341245836201/2828543302634608970692331053465\ 78692134971808634579858637728509005075844*c_1001_5^5 - 1092416059325141473406670126112962330518096387227275839734568397276\ 7487431/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^4 + 1037204617770560264677437936465401623674\ 23792482750552842204054216130524961/5657086605269217941384662106931\ 57384269943617269159717275457018010151688*c_1001_5^3 + 8800591790343553845514988845211052021681371837491855130669903916028\ 99753/5657086605269217941384662106931573842699436172691597172754570\ 18010151688*c_1001_5^2 - 317391271351353527173540761326225638612661\ 7705380303520655695415472187033/28285433026346089706923310534657869\ 2134971808634579858637728509005075844*c_1001_5 - 5876207261058792452158185203496748646456422126406042696140677877419\ 0683/56570866052692179413846621069315738426994361726915971727545701\ 8010151688, c_0101_1 + c_1001_5, c_0101_11 + 23460517861938025421348166301879978034428927868584673537333\ 505277866526417/297741400277327260072876952996398623299970324878505\ 11435550369368955352*c_1001_5^37 + 9446499593184185639209699748048268876691429211537165632848809788709\ 494350/372176750346659075091096191245498279124962906098131392944379\ 6171119419*c_1001_5^36 + 499340572599926073793531378044898833702626\ 2456738596628921062357608769020/37217675034665907509109619124549827\ 91249629060981313929443796171119419*c_1001_5^35 - 1910480626729350325806243991062677721282167642934862041418157207950\ 6873125/14887070013866363003643847649819931164998516243925255717775\ 184684477676*c_1001_5^34 + 1525047082492664897047455421866885578632\ 3064252371670489918954312169047019/29774140027732726007287695299639\ 862329997032487850511435550369368955352*c_1001_5^33 - 1392556776163368438240121694399776343568895350037692413079696231564\ 36890639/1488707001386636300364384764981993116499851624392525571777\ 5184684477676*c_1001_5^32 - 368911143935870809570061957541353576211\ 554614593241175755900223279160706659/148870700138663630036438476498\ 19931164998516243925255717775184684477676*c_1001_5^31 + 7110329247794139094806589091086778766007677049830413951895011233269\ 78947639/2977414002773272600728769529963986232999703248785051143555\ 0369368955352*c_1001_5^30 + 104545079700367553827046269485953864233\ 4308381196162422499303821580971119155/14887070013866363003643847649\ 819931164998516243925255717775184684477676*c_1001_5^29 - 2305609228894727442729743268506151499612391093142786686416665150869\ 670722063/297741400277327260072876952996398623299970324878505114355\ 50369368955352*c_1001_5^28 - 26532673976659894289545930607571330404\ 85249653948582337577644249385009409767/1488707001386636300364384764\ 9819931164998516243925255717775184684477676*c_1001_5^27 + 4178688630973239005454639873279780471690779798415667040135983915047\ 723043667/297741400277327260072876952996398623299970324878505114355\ 50369368955352*c_1001_5^26 + 12321730327054656004128820990080765721\ 050317504741987125547489905078415965467/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^25 + 1914464570739037775599647433623279346467424388698179872306508948627\ 293052409/297741400277327260072876952996398623299970324878505114355\ 50369368955352*c_1001_5^24 - 15053974739575573350296253681647124328\ 964635092863264856061819762666118411917/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^23 - 1812425106660871388860956599144401762560272982975173800936666959085\ 385106366/372176750346659075091096191245498279124962906098131392944\ 3796171119419*c_1001_5^22 + 763795517737197109217048303642687339554\ 4671238202924831973850813423023554881/29774140027732726007287695299\ 639862329997032487850511435550369368955352*c_1001_5^21 + 1867557532507936474992670666893028338191913977812041817906349173467\ 2641445119/29774140027732726007287695299639862329997032487850511435\ 550369368955352*c_1001_5^20 - 4777988970524372398437360817198707912\ 735744821057041302150687697303146840369/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^19 - 2506941829502955975725856256821369365567211981701858050365726202148\ 475224744/372176750346659075091096191245498279124962906098131392944\ 3796171119419*c_1001_5^18 + 832256839419752159052262547612692664777\ 256930513011349635623644463510377049/372176750346659075091096191245\ 4982791249629060981313929443796171119419*c_1001_5^17 + 2709173062520948075745649393125768776611969735230839420252974125936\ 6375671837/29774140027732726007287695299639862329997032487850511435\ 550369368955352*c_1001_5^16 + 3519737736430976785894300292916032905\ 296150032481298907112810817607933651765/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^15 - 6018110958531113581672857167666339715961672552939452485094853978749\ 919303615/744353500693318150182192382490996558249925812196262785888\ 7592342238838*c_1001_5^14 - 159674429290573376934589771264126802426\ 29683228330110807769555283803687319449/2977414002773272600728769529\ 9639862329997032487850511435550369368955352*c_1001_5^13 + 8924183735802202125442094040082963425278490381186710395341809572223\ 487084517/297741400277327260072876952996398623299970324878505114355\ 50369368955352*c_1001_5^12 + 14792753176133767804014928294937110003\ 268574331166151925140414346565484043901/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^11 + 1778809836513932365902831530983672643704937142040990266825766988918\ 42448774/3721767503466590750910961912454982791249629060981313929443\ 796171119419*c_1001_5^10 - 6731840848666813108646243702398053392423\ 632739520483414507337559575716247193/297741400277327260072876952996\ 39862329997032487850511435550369368955352*c_1001_5^9 - 6501458805878412530936786563537588871999738929643249630479095726104\ 42416155/7443535006933181501821923824909965582499258121962627858887\ 592342238838*c_1001_5^8 + 17114596514203554464262454336868923336384\ 08004923997846771927241468651656889/2977414002773272600728769529963\ 9862329997032487850511435550369368955352*c_1001_5^7 + 1051515183628822957269537367916734781736745302299931380023856214907\ 615262239/297741400277327260072876952996398623299970324878505114355\ 50369368955352*c_1001_5^6 - 605597991279436415215967452140039833322\ 95637410111954557851558981363084525/7443535006933181501821923824909\ 965582499258121962627858887592342238838*c_1001_5^5 - 5359187237044391121399532180540595157828263867515750554119625630979\ 0226163/74435350069331815018219238249099655824992581219626278588875\ 92342238838*c_1001_5^4 + 171411468825372638271303016143618867709285\ 60668871135951427493663571772163/2977414002773272600728769529963986\ 2329997032487850511435550369368955352*c_1001_5^3 + 2275570861935463167836169641976181806994402083984133764907972192592\ 8985509/29774140027732726007287695299639862329997032487850511435550\ 369368955352*c_1001_5^2 - 46497700080648426640884077914973846256136\ 660052885086916722217960992491/372176750346659075091096191245498279\ 1249629060981313929443796171119419*c_1001_5 - 9868378769499417566162390072988006801368594319402472390212009911987\ 71529/2977414002773272600728769529963986232999703248785051143555036\ 9368955352, c_0101_12 + 67121004474602898752705014186665778601380068666481118324658\ 225691627417365/141427165131730448534616552673289346067485904317289\ 929318864254502537922*c_1001_5^37 + 4182649051970243682982578163567645076286874013963541486877286373304\ 81682355/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^36 + 17755002962290800899935574896319686437\ 8237841139325421081868763863339155947/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^35 - 2631994403847868626964782808158923062513856529715478659660483485061\ 50430357/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^34 + 90579143661323772680173804783586110502\ 345646387072910227440136804280693947/282854330263460897069233105346\ 578692134971808634579858637728509005075844*c_1001_5^33 - 8017322491693132527719186203552883481969240710246810730576512758982\ 41723645/1414271651317304485346165526732893460674859043172899293188\ 64254502537922*c_1001_5^32 - 53407612401557061170641477409806162803\ 861846257446447198291958370192019770/372176750346659075091096191245\ 4982791249629060981313929443796171119419*c_1001_5^31 + 1143504259736064252836407176050595150271763705141545288167981600640\ 124712871/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^30 + 11740321885252744808647335152195809580\ 906954002564108027398357554570464465395/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^29 - 1451786340723845768712621397296341913902592563198663326656890064341\ 7085689937/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^28 - 737536210539052610473285937773082047\ 7792337378701067975810467956900819046398/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^27 + 6850317637428683402779736029067501118396138227366853318397006867250\ 338886764/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^26 + 69389252641134143716557696444091979256\ 322857138904451165669108421998285466281/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^25 + 1599132932938680604412993132397708915336876241739562573141032984413\ 682296607/141427165131730448534616552673289346067485904317289929318\ 864254502537922*c_1001_5^24 - 9034157099102872348397680460881577140\ 3748433299486407496071568114089034139639/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^23 - 1893707075411238265420975839688061483213365561927086153395549846281\ 8439212954/70713582565865224267308276336644673033742952158644964659\ 432127251268961*c_1001_5^22 + 2750930024771544457065502383429122147\ 5494040505007919129963394360634929541063/14142716513173044853461655\ 2673289346067485904317289929318864254502537922*c_1001_5^21 + 1067817680903949178555880487066775635135707149658905921150896488597\ 89855707709/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^20 - 19095837426420523612300013026322253\ 686119940619246369051636413019233274869107/141427165131730448534616\ 552673289346067485904317289929318864254502537922*c_1001_5^19 - 1159822345417161247541157847024269748967386247093331240030418920368\ 23531585323/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^18 + 49453322736304934787601862902810309\ 810702945083503592281407499573233102617405/282854330263460897069233\ 105346578692134971808634579858637728509005075844*c_1001_5^17 + 1553656721205525206153510386121950563716161954101189941416986063436\ 94563318835/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^16 + 11012332139724743957827339512159201\ 1882184281891170989973186416854340116513/74435350069331815018219238\ 24909965582499258121962627858887592342238838*c_1001_5^15 - 1459516449617486557798278541633573467042394505009524279448542439280\ 00062876409/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^14 - 80400070777649071180825389745800223\ 573981464152771141457315299402910872906247/282854330263460897069233\ 105346578692134971808634579858637728509005075844*c_1001_5^13 + 3223036604175496201358123908909593578769681711971953753881405631526\ 4008092031/14142716513173044853461655267328934606748590431728992931\ 8864254502537922*c_1001_5^12 + 845665922945356873990043768289154694\ 80742134713230571843766029607478974159157/2828543302634608970692331\ 05346578692134971808634579858637728509005075844*c_1001_5^11 - 1380302882920907003924299077140789305479361283946996914974332190015\ 52668671/1414271651317304485346165526732893460674859043172899293188\ 64254502537922*c_1001_5^10 - 10611338776358835959226423341230615731\ 194573364071779828930118300225747268235/707135825658652242673082763\ 36644673033742952158644964659432127251268961*c_1001_5^9 - 1257303656856162537025541905372388902124416975550161650080509643942\ 1676495325/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^8 + 1202822223060836197148456957618377439\ 1541400973728263104696845490923214820177/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^7 + 1464809472080147694673619151252123255644893453368463522837393923103\ 011740766/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^6 - 195607955477183545708921420504446235416\ 0381104328185737715503770001059661529/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^5 - 1263180949318194791556031512771986714596006357508355037783291199520\ 994068389/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^4 + 17039041686925651362312092232391950155\ 3301015436154982577662354507844153749/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^3 + 6559695694823681542198301815450181750887463319114469205305121155740\ 1428327/14142716513173044853461655267328934606748590431728992931886\ 4254502537922*c_1001_5^2 - 6114768976617596325326706265170609863416\ 485261130468985560676897122396149/282854330263460897069233105346578\ 692134971808634579858637728509005075844*c_1001_5 - 4637836058417125222584402324986200611437617517674171913739988310204\ 834491/282854330263460897069233105346578692134971808634579858637728\ 509005075844, c_0101_2 + 256054050500389671928663924290862097156816881218220627364934\ 20000851848275/2828543302634608970692331053465786921349718086345798\ 58637728509005075844*c_1001_5^37 + 4580282153055481796822885325438505195404617373451975009168889337722\ 4664783/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^36 - 555204548981028165847709466573334002220\ 74432612519228513414307954639144665/2828543302634608970692331053465\ 78692134971808634579858637728509005075844*c_1001_5^35 - 5251259392113696449664790739446431825761727237703144948969633576138\ 4221087/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^34 + 415333270570748075439810731491419659663\ 14840942960597755330727174692328945/1414271651317304485346165526732\ 89346067485904317289929318864254502537922*c_1001_5^33 - 9084991490399506567095866822127542152610402355241231143583673563389\ 8127543/70713582565865224267308276336644673033742952158644964659432\ 127251268961*c_1001_5^32 - 9146202969628051701864892741416123051642\ 128185089606892200140947617592707/744353500693318150182192382490996\ 5582499258121962627858887592342238838*c_1001_5^31 + 1684553634328787807374585639314712616667442560129398969494442985555\ 140078979/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^30 + 6939761708566616142732343214071969245\ 66410218484077755896022486159214324081/2828543302634608970692331053\ 46578692134971808634579858637728509005075844*c_1001_5^29 - 1245007734255066584607505214564616924439991614761527845645865116625\ 222899559/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^28 - 44190833379383479608390846636851106934\ 7294676340702574442148715121328920381/14142716513173044853461655267\ 3289346067485904317289929318864254502537922*c_1001_5^27 + 1042286669718357546637440889824263324797483252187025016234917525196\ 8329708855/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^26 + 957705930189150921763022846758554356\ 851019975193862559599720691282470814835/707135825658652242673082763\ 36644673033742952158644964659432127251268961*c_1001_5^25 - 1244976179864077830795938664615606209877588784964410876184873159918\ 6363937373/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^24 - 292750656316818437234778914328597392\ 6208346818556016829857753137316923937664/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^23 + 1479002635095552670617421096494297532520935494680099085598844911759\ 357575957/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^22 + 19640881364043827405372828011382436261\ 417878435529248657342471147395274834703/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^21 + 3559196813868088611516984631324225239665575154145763534953227218406\ 57287210/7071358256586522426730827633664467303374295215864496465943\ 2127251268961*c_1001_5^20 - 254441890464334233483291707362797414507\ 31487175539892989396578413679507758447/2828543302634608970692331053\ 46578692134971808634579858637728509005075844*c_1001_5^19 - 3231671992458124116547740500220329787396687192375518095991004330973\ 909141127/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^18 + 3054643154211774217257187317807588696\ 3453087082374150989751589146903739727501/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^17 + 1812869335874235477690819127630251561410718732753664275852231583127\ 656207510/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^16 - 14869349327400031437479687054852687581\ 66053213293143977426101244465489998667/1488707001386636300364384764\ 9819931164998516243925255717775184684477676*c_1001_5^15 - 1496403386105542634879270831961120948805066697315991112405656014966\ 1231327077/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^14 + 401931911145907879165603526303205764\ 1908241562739326799379481278623864314833/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^13 + 1734320114558432073332351359643594683991187821729679860012232069788\ 3491136451/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^12 - 194272273018557076014626341808912773\ 4258002146613194051479368422706391030217/14142716513173044853461655\ 2673289346067485904317289929318864254502537922*c_1001_5^11 - 6256442221738732905126474111862053007130712288228676982258266493121\ 885752497/141427165131730448534616552673289346067485904317289929318\ 864254502537922*c_1001_5^10 - 1371157232059485702675194373957185773\ 091103689014521614939385739524919024001/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^9 + 6080838580269966481709667690292006012330805816705004732919164870492\ 195652611/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^8 + 78376652656307256708290498390914729160\ 1095672056329739957746244457493382341/14142716513173044853461655267\ 3289346067485904317289929318864254502537922*c_1001_5^7 - 2031577754817966437157798491078059562711269561054044449027756053473\ 819137841/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^6 - 61180072425169694506522406271149197698\ 0757076869861866819945793611286504593/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^5 + 4571777865937426357163336425298681850571780395293955242577290676436\ 83648443/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^4 + 307357980370336978631010692217271513558\ 16044875080446483435444151937503559/7071358256586522426730827633664\ 4673033742952158644964659432127251268961*c_1001_5^3 - 6337900918128335774936543684071265129285649609767204747559026817647\ 3440441/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^2 - 1057077988683609709689645906670801152429\ 6261890341053724707166159602272181/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5 + 1029476059129935912227373859220366318287537594223587668283913792029\ 359106/707135825658652242673082763366446730337429521586449646594321\ 27251268961, c_1001_0 + 256054050500389671928663924290862097156816881218220627364934\ 20000851848275/2828543302634608970692331053465786921349718086345798\ 58637728509005075844*c_1001_5^37 + 4580282153055481796822885325438505195404617373451975009168889337722\ 4664783/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^36 - 555204548981028165847709466573334002220\ 74432612519228513414307954639144665/2828543302634608970692331053465\ 78692134971808634579858637728509005075844*c_1001_5^35 - 5251259392113696449664790739446431825761727237703144948969633576138\ 4221087/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^34 + 415333270570748075439810731491419659663\ 14840942960597755330727174692328945/1414271651317304485346165526732\ 89346067485904317289929318864254502537922*c_1001_5^33 - 9084991490399506567095866822127542152610402355241231143583673563389\ 8127543/70713582565865224267308276336644673033742952158644964659432\ 127251268961*c_1001_5^32 - 9146202969628051701864892741416123051642\ 128185089606892200140947617592707/744353500693318150182192382490996\ 5582499258121962627858887592342238838*c_1001_5^31 + 1684553634328787807374585639314712616667442560129398969494442985555\ 140078979/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^30 + 6939761708566616142732343214071969245\ 66410218484077755896022486159214324081/2828543302634608970692331053\ 46578692134971808634579858637728509005075844*c_1001_5^29 - 1245007734255066584607505214564616924439991614761527845645865116625\ 222899559/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^28 - 44190833379383479608390846636851106934\ 7294676340702574442148715121328920381/14142716513173044853461655267\ 3289346067485904317289929318864254502537922*c_1001_5^27 + 1042286669718357546637440889824263324797483252187025016234917525196\ 8329708855/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^26 + 957705930189150921763022846758554356\ 851019975193862559599720691282470814835/707135825658652242673082763\ 36644673033742952158644964659432127251268961*c_1001_5^25 - 1244976179864077830795938664615606209877588784964410876184873159918\ 6363937373/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^24 - 292750656316818437234778914328597392\ 6208346818556016829857753137316923937664/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^23 + 1479002635095552670617421096494297532520935494680099085598844911759\ 357575957/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^22 + 19640881364043827405372828011382436261\ 417878435529248657342471147395274834703/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^21 + 3559196813868088611516984631324225239665575154145763534953227218406\ 57287210/7071358256586522426730827633664467303374295215864496465943\ 2127251268961*c_1001_5^20 - 254441890464334233483291707362797414507\ 31487175539892989396578413679507758447/2828543302634608970692331053\ 46578692134971808634579858637728509005075844*c_1001_5^19 - 3231671992458124116547740500220329787396687192375518095991004330973\ 909141127/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^18 + 3054643154211774217257187317807588696\ 3453087082374150989751589146903739727501/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^17 + 1812869335874235477690819127630251561410718732753664275852231583127\ 656207510/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^16 - 14869349327400031437479687054852687581\ 66053213293143977426101244465489998667/1488707001386636300364384764\ 9819931164998516243925255717775184684477676*c_1001_5^15 - 1496403386105542634879270831961120948805066697315991112405656014966\ 1231327077/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^14 + 401931911145907879165603526303205764\ 1908241562739326799379481278623864314833/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^13 + 1734320114558432073332351359643594683991187821729679860012232069788\ 3491136451/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^12 - 194272273018557076014626341808912773\ 4258002146613194051479368422706391030217/14142716513173044853461655\ 2673289346067485904317289929318864254502537922*c_1001_5^11 - 6256442221738732905126474111862053007130712288228676982258266493121\ 885752497/141427165131730448534616552673289346067485904317289929318\ 864254502537922*c_1001_5^10 - 1371157232059485702675194373957185773\ 091103689014521614939385739524919024001/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^9 + 6080838580269966481709667690292006012330805816705004732919164870492\ 195652611/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^8 + 78376652656307256708290498390914729160\ 1095672056329739957746244457493382341/14142716513173044853461655267\ 3289346067485904317289929318864254502537922*c_1001_5^7 - 2031577754817966437157798491078059562711269561054044449027756053473\ 819137841/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^6 - 61180072425169694506522406271149197698\ 0757076869861866819945793611286504593/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^5 + 4571777865937426357163336425298681850571780395293955242577290676436\ 83648443/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^4 + 307357980370336978631010692217271513558\ 16044875080446483435444151937503559/7071358256586522426730827633664\ 4673033742952158644964659432127251268961*c_1001_5^3 - 6337900918128335774936543684071265129285649609767204747559026817647\ 3440441/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^2 - 1057077988683609709689645906670801152429\ 6261890341053724707166159602272181/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5 + 1029476059129935912227373859220366318287537594223587668283913792029\ 359106/707135825658652242673082763366446730337429521586449646594321\ 27251268961, c_1001_1 - 349652909811518637386420150742622970533052205076423139076626\ 50582736915933/5657086605269217941384662106931573842699436172691597\ 17275457018010151688*c_1001_5^37 - 4355530231748030888082368636405321113462612841550486405152957013526\ 5847051/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^36 + 493865632479580620670448166235521634829\ 2000644633859455585837789294154423/28285433026346089706923310534657\ 8692134971808634579858637728509005075844*c_1001_5^35 + 1695924817024716699201739075673997239155545505594910025053588367782\ 9556389/14142716513173044853461655267328934606748590431728992931886\ 4254502537922*c_1001_5^34 - 663029812932458366461551449025931008248\ 87382587071229467905614077030098117/5657086605269217941384662106931\ 57384269943617269159717275457018010151688*c_1001_5^33 + 2233775311197945675999121985087798808891114523077934780301377977907\ 03043333/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^32 + 20331762353004807359949493207886624486\ 408206348987166297357175454142237229/148870700138663630036438476498\ 19931164998516243925255717775184684477676*c_1001_5^31 - 1697050505927431990043761757509265504894737475679949363721192639529\ 191634087/565708660526921794138466210693157384269943617269159717275\ 457018010151688*c_1001_5^30 - 5147133644786673173231231458050003349\ 98099861974060557254114202199359065391/1414271651317304485346165526\ 73289346067485904317289929318864254502537922*c_1001_5^29 + 5156483128800946586849696383469991957837411885012302932945800610286\ 313796709/565708660526921794138466210693157384269943617269159717275\ 457018010151688*c_1001_5^28 + 2349794941710036617544553385460333284\ 693575815982637196688425412553021377155/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^27 - 1031662991396869809876255624888870114008702812086080469181095068778\ 4227201835/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^26 - 121969366809072630966477912433036578\ 06815424496302061589226499326100205497741/5657086605269217941384662\ 10693157384269943617269159717275457018010151688*c_1001_5^25 + 7359683633982080585957505346045857032810968947103340340301603476734\ 339909255/565708660526921794138466210693157384269943617269159717275\ 457018010151688*c_1001_5^24 + 2030942486752839281237948497788430048\ 3838564100586390785625463197926781141679/56570866052692179413846621\ 0693157384269943617269159717275457018010151688*c_1001_5^23 + 8478277668873220247484097921547617307510491773358921050820281419876\ 27873350/7071358256586522426730827633664467303374295215864496465943\ 2127251268961*c_1001_5^22 - 207759404708071778223950368232935649118\ 44687183133179651898563615850674980685/5657086605269217941384662106\ 93157384269943617269159717275457018010151688*c_1001_5^21 - 1630879687962797154189478228990697535117357755200365850455561965109\ 9405542545/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^20 + 217041110468878762270348088082450051\ 67502969091376873550220635664096586122537/5657086605269217941384662\ 10693157384269943617269159717275457018010151688*c_1001_5^19 + 9677401794331415017681141033804697839522860631694653373361367203989\ 736685581/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^18 - 1278485083761129513609901868152076940\ 9490327802431261144421598169427824050185/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^17 - 2706814672815102680326973387008570777515251944460064881289421141717\ 3069573415/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^16 + 889043267579812178790093715264426868\ 685413633856677336225655596270878572229/297741400277327260072876952\ 99639862329997032487850511435550369368955352*c_1001_5^15 + 1542722968535013264789084969321575667348051137972201278146390726115\ 7303914983/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^14 + 127075780725425754220486876487165344\ 7998193776965087543249605532281611819619/56570866052692179413846621\ 0693157384269943617269159717275457018010151688*c_1001_5^13 - 2143435893171926628124090955051186598286248332815727353916980477254\ 9089872057/56570866052692179413846621069315738426994361726915971727\ 5457018010151688*c_1001_5^12 - 104665891819999651320698225154543205\ 81020016338917003734132047017470742354415/5657086605269217941384662\ 10693157384269943617269159717275457018010151688*c_1001_5^11 + 1066232238504739610054943213936998645068589074736966438423414816696\ 747686288/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^10 + 80369070528314006757437549782070265294\ 08715855362539840418439274868207035317/5657086605269217941384662106\ 93157384269943617269159717275457018010151688*c_1001_5^9 - 8738273721984439381244166459128590767702735962109101836926348757898\ 94957375/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^8 - 321528681050463436352331822232899454820\ 3419193194141289848733490122342293003/56570866052692179413846621069\ 3157384269943617269159717275457018010151688*c_1001_5^7 + 9756810577838071495659658536126688764333539556033760785706636425936\ 8779437/56570866052692179413846621069315738426994361726915971727545\ 7018010151688*c_1001_5^6 + 3814324309269903884791448167597715696584\ 14215363537961859486101341245836201/2828543302634608970692331053465\ 78692134971808634579858637728509005075844*c_1001_5^5 + 1092416059325141473406670126112962330518096387227275839734568397276\ 7487431/28285433026346089706923310534657869213497180863457985863772\ 8509005075844*c_1001_5^4 - 1037204617770560264677437936465401623674\ 23792482750552842204054216130524961/5657086605269217941384662106931\ 57384269943617269159717275457018010151688*c_1001_5^3 - 8800591790343553845514988845211052021681371837491855130669903916028\ 99753/5657086605269217941384662106931573842699436172691597172754570\ 18010151688*c_1001_5^2 + 317391271351353527173540761326225638612661\ 7705380303520655695415472187033/28285433026346089706923310534657869\ 2134971808634579858637728509005075844*c_1001_5 + 5876207261058792452158185203496748646456422126406042696140677877419\ 0683/56570866052692179413846621069315738426994361726915971727545701\ 8010151688, c_1001_3 + 671210044746028987527050141866657786013800686664811183246582\ 25691627417365/1414271651317304485346165526732893460674859043172899\ 29318864254502537922*c_1001_5^37 + 4182649051970243682982578163567645076286874013963541486877286373304\ 81682355/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^36 + 17755002962290800899935574896319686437\ 8237841139325421081868763863339155947/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^35 - 2631994403847868626964782808158923062513856529715478659660483485061\ 50430357/2828543302634608970692331053465786921349718086345798586377\ 28509005075844*c_1001_5^34 + 90579143661323772680173804783586110502\ 345646387072910227440136804280693947/282854330263460897069233105346\ 578692134971808634579858637728509005075844*c_1001_5^33 - 8017322491693132527719186203552883481969240710246810730576512758982\ 41723645/1414271651317304485346165526732893460674859043172899293188\ 64254502537922*c_1001_5^32 - 53407612401557061170641477409806162803\ 861846257446447198291958370192019770/372176750346659075091096191245\ 4982791249629060981313929443796171119419*c_1001_5^31 + 1143504259736064252836407176050595150271763705141545288167981600640\ 124712871/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^30 + 11740321885252744808647335152195809580\ 906954002564108027398357554570464465395/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^29 - 1451786340723845768712621397296341913902592563198663326656890064341\ 7085689937/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^28 - 737536210539052610473285937773082047\ 7792337378701067975810467956900819046398/70713582565865224267308276\ 336644673033742952158644964659432127251268961*c_1001_5^27 + 6850317637428683402779736029067501118396138227366853318397006867250\ 338886764/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^26 + 69389252641134143716557696444091979256\ 322857138904451165669108421998285466281/282854330263460897069233105\ 346578692134971808634579858637728509005075844*c_1001_5^25 + 1599132932938680604412993132397708915336876241739562573141032984413\ 682296607/141427165131730448534616552673289346067485904317289929318\ 864254502537922*c_1001_5^24 - 9034157099102872348397680460881577140\ 3748433299486407496071568114089034139639/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^23 - 1893707075411238265420975839688061483213365561927086153395549846281\ 8439212954/70713582565865224267308276336644673033742952158644964659\ 432127251268961*c_1001_5^22 + 2750930024771544457065502383429122147\ 5494040505007919129963394360634929541063/14142716513173044853461655\ 2673289346067485904317289929318864254502537922*c_1001_5^21 + 1067817680903949178555880487066775635135707149658905921150896488597\ 89855707709/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^20 - 19095837426420523612300013026322253\ 686119940619246369051636413019233274869107/141427165131730448534616\ 552673289346067485904317289929318864254502537922*c_1001_5^19 - 1159822345417161247541157847024269748967386247093331240030418920368\ 23531585323/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^18 + 49453322736304934787601862902810309\ 810702945083503592281407499573233102617405/282854330263460897069233\ 105346578692134971808634579858637728509005075844*c_1001_5^17 + 1553656721205525206153510386121950563716161954101189941416986063436\ 94563318835/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^16 + 11012332139724743957827339512159201\ 1882184281891170989973186416854340116513/74435350069331815018219238\ 24909965582499258121962627858887592342238838*c_1001_5^15 - 1459516449617486557798278541633573467042394505009524279448542439280\ 00062876409/2828543302634608970692331053465786921349718086345798586\ 37728509005075844*c_1001_5^14 - 80400070777649071180825389745800223\ 573981464152771141457315299402910872906247/282854330263460897069233\ 105346578692134971808634579858637728509005075844*c_1001_5^13 + 3223036604175496201358123908909593578769681711971953753881405631526\ 4008092031/14142716513173044853461655267328934606748590431728992931\ 8864254502537922*c_1001_5^12 + 845665922945356873990043768289154694\ 80742134713230571843766029607478974159157/2828543302634608970692331\ 05346578692134971808634579858637728509005075844*c_1001_5^11 - 1380302882920907003924299077140789305479361283946996914974332190015\ 52668671/1414271651317304485346165526732893460674859043172899293188\ 64254502537922*c_1001_5^10 - 10611338776358835959226423341230615731\ 194573364071779828930118300225747268235/707135825658652242673082763\ 36644673033742952158644964659432127251268961*c_1001_5^9 - 1257303656856162537025541905372388902124416975550161650080509643942\ 1676495325/28285433026346089706923310534657869213497180863457985863\ 7728509005075844*c_1001_5^8 + 1202822223060836197148456957618377439\ 1541400973728263104696845490923214820177/28285433026346089706923310\ 5346578692134971808634579858637728509005075844*c_1001_5^7 + 1464809472080147694673619151252123255644893453368463522837393923103\ 011740766/707135825658652242673082763366446730337429521586449646594\ 32127251268961*c_1001_5^6 - 195607955477183545708921420504446235416\ 0381104328185737715503770001059661529/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^5 - 1263180949318194791556031512771986714596006357508355037783291199520\ 994068389/282854330263460897069233105346578692134971808634579858637\ 728509005075844*c_1001_5^4 + 17039041686925651362312092232391950155\ 3301015436154982577662354507844153749/28285433026346089706923310534\ 6578692134971808634579858637728509005075844*c_1001_5^3 + 6559695694823681542198301815450181750887463319114469205305121155740\ 1428327/14142716513173044853461655267328934606748590431728992931886\ 4254502537922*c_1001_5^2 - 6114768976617596325326706265170609863416\ 485261130468985560676897122396149/282854330263460897069233105346578\ 692134971808634579858637728509005075844*c_1001_5 - 4637836058417125222584402324986200611437617517674171913739988310204\ 834491/282854330263460897069233105346578692134971808634579858637728\ 509005075844, c_1001_5^38 + 127/43*c_1001_5^37 + 32/43*c_1001_5^36 - 102/43*c_1001_5^35 + c_1001_5^34 - 509/43*c_1001_5^33 - 1220/43*c_1001_5^32 + 1715/43*c_1001_5^31 + 3603/43*c_1001_5^30 - 5411/43*c_1001_5^29 - 8939/43*c_1001_5^28 + 10767/43*c_1001_5^27 + 21382/43*c_1001_5^26 - 3528/43*c_1001_5^25 - 30544/43*c_1001_5^24 - 18955/43*c_1001_5^23 + 23883/43*c_1001_5^22 + 32380/43*c_1001_5^21 - 19922/43*c_1001_5^20 - 37407/43*c_1001_5^19 + 23728/43*c_1001_5^18 + 49735/43*c_1001_5^17 - 8974/43*c_1001_5^16 - 1171*c_1001_5^15 - 16799/43*c_1001_5^14 + 28616/43*c_1001_5^13 + 24466/43*c_1001_5^12 - 6917/43*c_1001_5^11 - 15243/43*c_1001_5^10 - 1083/43*c_1001_5^9 + 5631/43*c_1001_5^8 + 1244/43*c_1001_5^7 - 1347/43*c_1001_5^6 - 368/43*c_1001_5^5 + 213/43*c_1001_5^4 + 52/43*c_1001_5^3 - 21/43*c_1001_5^2 - 3/43*c_1001_5 + 1/43, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.560 Total time: 1.760 seconds, Total memory usage: 32.09MB