Magma V2.19-8 Wed Aug 21 2013 00:22:03 on localhost [Seed = 3769037498] Type ? for help. Type -D to quit. Loading file "K14n11434__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11434 geometric_solution 11.95443504 oriented_manifold CS_known -0.0000000000000001 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 1 -1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953012329319 0.915256670464 0 5 7 6 0132 0132 0132 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 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823151603450 0.708658687836 8 0 6 9 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308005853825 1.536461305314 6 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 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.547791763586 0.429645596347 10 5 0 9 3201 0213 0132 0213 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393106669362 0.963761218424 12 1 4 6 0132 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346851573234 0.769524385663 3 2 1 5 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.238748772010 0.612534214507 12 11 11 1 2031 3012 3120 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242500802834 0.770969915357 2 10 9 12 0132 0213 0213 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -4 0 4 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637040064998 0.743637186136 11 8 2 4 1023 0213 0132 0213 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 -1 0 1 0 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389640996079 0.410638888230 12 3 8 4 1302 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 4 -3 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.189297903372 1.220108029516 7 9 7 3 1230 1023 3120 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 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.648432997730 0.659964175863 5 10 7 8 0132 2031 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 4 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742657548424 0.537260094091 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0110_4']), 'c_1010_10' : negation(d['c_0110_4']), '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' : d['c_0011_0'], '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' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1010_4'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_1010_4'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1010_4'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : d['c_1010_4'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_7'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : 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' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : negation(d['c_0101_1']), 'c_0110_12' : d['c_0011_4'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0110_4']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_7']})} 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_10, c_0011_11, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0110_4, c_1001_0, c_1001_2, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1563944543512055851510241206966168116367352670204784849713653248424\ 771363120432175522327326310177328640710930988/160698855428600060494\ 7293217279262183009555757116995371134709289472977681034236069462335\ 714351520398597119009*c_1010_4^29 - 7155109280146692843656210722533665694098358368294190814671455294807\ 373546279964983716079625665776889142939382627/535662851428666868315\ 7644057597540610031852523723317903782364298243258936780786898207785\ 71450506799532373003*c_1010_4^28 - 1496378282755461055727453813265516018257605317659816205141702728499\ 91840392110268415529693769171788911080198833038/1606988554286000604\ 9472932172792621830095557571169953711347092894729776810342360694623\ 35714351520398597119009*c_1010_4^27 - 6836630231698649473086550270778357732033454921842005888312210877588\ 28596340533998027403164300344817777071750756287/1606988554286000604\ 9472932172792621830095557571169953711347092894729776810342360694623\ 35714351520398597119009*c_1010_4^26 - 2403041725859252082421948368119589720458921492079884383000632510521\ 426999948879814792833216156948863070003172181901/160698855428600060\ 4947293217279262183009555757116995371134709289472977681034236069462\ 335714351520398597119009*c_1010_4^25 - 7596337152514696788099679379244318980888829037358986892617576114627\ 24831079255386473064584461259973588760054255220/1785542838095556227\ 7192146858658468700106175079077726345941214327477529789269289660692\ 6190483502266510791001*c_1010_4^24 - 1664222593449544341406214580135354606696626972635461343024265746886\ 0764971678115011129398121082111436090171487850466/16069885542860006\ 0494729321727926218300955575711699537113470928947297768103423606946\ 2335714351520398597119009*c_1010_4^23 - 3494986979655964048929219834915005025349199056624259667140261541634\ 8682083432707591901842685116009723686341263934755/16069885542860006\ 0494729321727926218300955575711699537113470928947297768103423606946\ 2335714351520398597119009*c_1010_4^22 - 2133391343597188605434878734101600502508515531071436114986926847866\ 3056524124243803216731536373133285808973404344282/53566285142866686\ 8315764405759754061003185252372331790378236429824325893678078689820\ 778571450506799532373003*c_1010_4^21 - 1035854049292292728608678971807419172798356441207267736359464490099\ 69696269378138809489926878852896182730721328224617/1606988554286000\ 6049472932172792621830095557571169953711347092894729776810342360694\ 62335714351520398597119009*c_1010_4^20 - 5057060368872970029097877655335575346986797468308723175169195225408\ 3154532564285779128632301403926065166372966371191/53566285142866686\ 8315764405759754061003185252372331790378236429824325893678078689820\ 778571450506799532373003*c_1010_4^19 - 2042698060379614248486220871819772834521484623684924032575586145718\ 45166064974060815191658621786953562246285570173998/1606988554286000\ 6049472932172792621830095557571169953711347092894729776810342360694\ 62335714351520398597119009*c_1010_4^18 - 8477751150786797669088536237038759418024935057550994698914125247131\ 2600492656940634105281051969490049679344141083065/53566285142866686\ 8315764405759754061003185252372331790378236429824325893678078689820\ 778571450506799532373003*c_1010_4^17 - 2914958371161893056998719944487990808673612775176918803975757042106\ 44918494288402363018317899222840560600426512392783/1606988554286000\ 6049472932172792621830095557571169953711347092894729776810342360694\ 62335714351520398597119009*c_1010_4^16 - 3041293460162018688325565014849264814428293378325035766895683809802\ 41799906597623502495240728478644195809276597122501/1606988554286000\ 6049472932172792621830095557571169953711347092894729776810342360694\ 62335714351520398597119009*c_1010_4^15 - 2903090401071310406629714854297018959359155273597229696673644370867\ 67531093476425617093521293959725315860216306441832/1606988554286000\ 6049472932172792621830095557571169953711347092894729776810342360694\ 62335714351520398597119009*c_1010_4^14 - 3757434017466759160239822720199420930603653878537457151034493529212\ 117183430297990319890447970994029207728445679830/239849037953134418\ 6488497339222779377626202622562679658410013864885041314976471745466\ 1727079873438785031627*c_1010_4^13 - 1902310550991026716636771094699109460356546386069616354227385589868\ 05603042162867512700379254487028023526647287788983/1606988554286000\ 6049472932172792621830095557571169953711347092894729776810342360694\ 62335714351520398597119009*c_1010_4^12 - 3892212686481179886877356077077492543536092865604827193942258994832\ 5921980780946284016392168190549459977552104541750/53566285142866686\ 8315764405759754061003185252372331790378236429824325893678078689820\ 778571450506799532373003*c_1010_4^11 - 4925466336589342831118757599327289020782921543162641863080030267723\ 9069905500296662700011622356066238490726924952730/16069885542860006\ 0494729321727926218300955575711699537113470928947297768103423606946\ 2335714351520398597119009*c_1010_4^10 - 3459666946950876907273104472654023538083136290515171854144151426216\ 289533486130412467992417528199921043391315641813/160698855428600060\ 4947293217279262183009555757116995371134709289472977681034236069462\ 335714351520398597119009*c_1010_4^9 + 1918575767912007076496430020025218092534274689730664910382222527080\ 184362759701464339253545997207714717729861203493/178554283809555622\ 7719214685865846870010617507907772634594121432747752978926928966069\ 26190483502266510791001*c_1010_4^8 + 5120091625822299480628743939016209357061671277379884840178540783943\ 9644693426937087306504722484562654545627274027/42178177277847784906\ 7531028157286662207232482182938417620658606160886530455180070725022\ 4972051234641987189*c_1010_4^7 + 1340702758425370169170427234699012\ 7257719378858926177503719900564971401377810178933806220224811453768\ 891487344373703/160698855428600060494729321727926218300955575711699\ 5371134709289472977681034236069462335714351520398597119009*c_1010_4\ ^6 + 67587358873842618825759459386691766510771929705898756787990981\ 06522319052217693293337497026474511030000208510005717/1606988554286\ 0006049472932172792621830095557571169953711347092894729776810342360\ 69462335714351520398597119009*c_1010_4^5 + 2407942458081349133973073431398718341312121831831993090751812295748\ 884535800632838717387489182028413543434779396933/160698855428600060\ 4947293217279262183009555757116995371134709289472977681034236069462\ 335714351520398597119009*c_1010_4^4 + 2055171535612417220786591687886889435911327417975468397193420193336\ 11951609935488964242382227210464420264776146433/5356628514286668683\ 1576440575975406100318525237233179037823642982432589367807868982077\ 8571450506799532373003*c_1010_4^3 + 3347527186268391722460467815290615053961532066692912815500661929461\ 9788799474145349415091826032925453291276347064/53566285142866686831\ 5764405759754061003185252372331790378236429824325893678078689820778\ 571450506799532373003*c_1010_4^2 + 3085869885793161301831709138245093309653542005641717525640970169899\ 166472311428153180559534254428927452344923802/535662851428666868315\ 7644057597540610031852523723317903782364298243258936780786898207785\ 71450506799532373003*c_1010_4 + 33084680553273527108253241974789158\ 2761754093490363779363328654758957897065913249911706738395310138222\ 726297408/160698855428600060494729321727926218300955575711699537113\ 4709289472977681034236069462335714351520398597119009, c_0011_0 - 1, c_0011_10 - 14016267426471453351428972488499591111894157377317274732298\ 967293573122766883063490699704570/113880382261770463558256359584408\ 37806356842505154596008811191200392027941511944593241635309*c_1010_\ 4^29 - 607289090563836716350220545822641549890803458521308884562454\ 32636232189048949385285501446743/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 28 - 12042965331256270015326426666106396748119786990663178141930041\ 23787415994369168224528854378847/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^27 - 5193070286947968531755574569327548638251004473429851951757595\ 327948853172485042037283102154249/113880382261770463558256359584408\ 37806356842505154596008811191200392027941511944593241635309*c_1010_\ 4^26 - 173598665967576263957868869554434488053906010226953619775366\ 00068224123585296287479014993253926/1138803822617704635582563595844\ 0837806356842505154596008811191200392027941511944593241635309*c_101\ 0_4^25 - 1561672764783968020187935364283006816118458862691132597698\ 1788838681593310071845933764167215558/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^24 - 108855474324489457368639035335084145487720594483347821238\ 538292355109316277135884156806446801731/113880382261770463558256359\ 58440837806356842505154596008811191200392027941511944593241635309*c\ _1010_4^23 - 216622720584501229617901002718184202345055349003109908\ 005718176836093569444473025409760143962938/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^22 - 124719106072657641197681601507525132209550173936416\ 129595855606896710303800310369200991940943931/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^21 - 5695331127211384349064928187834559793091652641185\ 06856282645573922310147158173292026403536143912/1138803822617704635\ 5825635958440837806356842505154596008811191200392027941511944593241\ 635309*c_1010_4^20 - 2630420636850429531718270317927363831439294946\ 94265742737799365657711583979167800606671699802330/3796012742059015\ 4519418786528136126021189475017181986696037304001306759805039815310\ 80545103*c_1010_4^19 - 10076913340954490411984439487180251965465797\ 01997218796005213750880895577225525623120986776256263/1138803822617\ 7046355825635958440837806356842505154596008811191200392027941511944\ 593241635309*c_1010_4^18 - 3955369299067344637429331175329201434588\ 04644571966996906660592166597587162454437999377311683156/3796012742\ 0590154519418786528136126021189475017181986696037304001306759805039\ 81531080545103*c_1010_4^17 - 12708240868885116934249596978709076686\ 38494471918518288211648276893250009181949330554198269862506/1138803\ 8226177046355825635958440837806356842505154596008811191200392027941\ 511944593241635309*c_1010_4^16 - 1212862503641598965946365547887659\ 034023451223456425003711783926480599464575138719667262220843617/113\ 8803822617704635582563595844083780635684250515459600881119120039202\ 7941511944593241635309*c_1010_4^15 - 1054735858058161464419361926420833763507800138340058029389227165521\ 926079115839986960040485836322/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^1\ 4 - 807498314892394120762359578861694180743350073427609816522861859\ 592441713064027285970117955561654/113880382261770463558256359584408\ 37806356842505154596008811191200392027941511944593241635309*c_1010_\ 4^13 - 477928835675371450384110855408619328769423044056830312758220\ 441334720194095925015268556590609522/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^12 - 517377267763207395104996775101084873293649758186874719262\ 79802910830637345594807157132197128463/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^11 + 68662517367033214410183378374134351573082501815469271184\ 019527729926379945729087948701705442156/113880382261770463558256359\ 58440837806356842505154596008811191200392027941511944593241635309*c\ _1010_4^10 + 148919400123136456598972843272712192159923882911778324\ 184405514054073822965890735180019466144927/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^9 + 4347473647877970520431395978969007838397367395012176\ 1786053245222616255574626719127276448198734/37960127420590154519418\ 7865281361260211894750171819866960373040013067598050398153108054510\ 3*c_1010_4^8 + 2429533214593002925585324778791923055664430093853234\ 9947601506423880973766410515940220003795290/37960127420590154519418\ 7865281361260211894750171819866960373040013067598050398153108054510\ 3*c_1010_4^7 + 2473536665874778459012665396920085234106541250822722\ 1655901029793073256266490136699486004267677/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^6 + 199114808692137362835980812961028877276026402348639\ 9222456417954653380700222996413997832551741/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^5 - 486309973633111554144915210965427289532669364647215\ 0111698491966327250164476606240829205313771/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^4 - 732201755748687672317415193949633799663183425440127\ 422217022014860055596187532688723402425140/379601274205901545194187\ 8652813612602118947501718198669603730400130675980503981531080545103\ *c_1010_4^3 - 24568028961568497475324815843229447949615778303274040\ 7962296142773724543860222979950713674626/37960127420590154519418786\ 52813612602118947501718198669603730400130675980503981531080545103*c\ _1010_4^2 - 1932018321798892775352036797659921293104299558478741424\ 2437769185638505706394028159916805866/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4 - 105346480734500588180547947240092350294979866927362567544042\ 15394712647324563181412373712603/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309, c_0011_11 + 57512417662343947138978674194704705265649535171402093760555\ 80357452256884538306626510405836/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^29 + 2811301249435346446897563126016256970016122425971307531952494\ 7027155941197390389385996055486/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 8 + 623218801321168291615215654967736478572386416150005638930831466\ 978825419524448793324856475084/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^2\ 7 + 301419672398218946117191033594582276343895281125166438098973671\ 9074914804396676373221529449710/11388038226177046355825635958440837\ 806356842505154596008811191200392027941511944593241635309*c_1010_4^\ 26 + 11080470406256051972363754652212071654145587803987039177159243\ 436569344795763699937535197853428/113880382261770463558256359584408\ 37806356842505154596008811191200392027941511944593241635309*c_1010_\ 4^25 + 109666832699144320840138202690879459438277135064486250295660\ 96192144611219706927905861574660119/3796012742059015451941878652813\ 612602118947501718198669603730400130675980503981531080545103*c_1010\ _4^24 + 82909370293853533231595075602294796494265329511031588692207\ 203075451970452129231598919811325797/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^23 + 180584096205138393392784291554250959508670439057480145835\ 167520720071821419436433088354429715390/113880382261770463558256359\ 58440837806356842505154596008811191200392027941511944593241635309*c\ _1010_4^22 + 114299186123189029439379045059361747775661892911615200\ 073171179371403536274091346204502527557776/379601274205901545194187\ 8652813612602118947501718198669603730400130675980503981531080545103\ *c_1010_4^21 + 5743243190076345169372771649020664242127232656596495\ 18350292786601109563561860535283465573363803/1138803822617704635582\ 5635958440837806356842505154596008811191200392027941511944593241635\ 309*c_1010_4^20 + 2883879031552274723795737952474814246698468500721\ 97250567051127570154113603021835759915853717883/3796012742059015451\ 9418786528136126021189475017181986696037304001306759805039815310805\ 45103*c_1010_4^19 + 11936292406772266630093613709425477993833595052\ 03439748148257720892971090639334165586734695881576/1138803822617704\ 6355825635958440837806356842505154596008811191200392027941511944593\ 241635309*c_1010_4^18 + 5072409293746705419076868291808330095221918\ 17901890237375622660881547263900294939635290875306519/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^17 + 17902167259045319325409274621937849566902\ 58983479547027290154149143590308743350138300048773604099/1138803822\ 6177046355825635958440837806356842505154596008811191200392027941511\ 944593241635309*c_1010_4^16 + 1926029588212050414554389961096825156\ 696101067206872877797371368255136661539498177154568533544228/113880\ 3822617704635582563595844083780635684250515459600881119120039202794\ 1511944593241635309*c_1010_4^15 + 188985955207748278630560530159939\ 4649467481042647446661670716492915926187730076037481075961295326/11\ 3880382261770463558256359584408378063568425051545960088111912003920\ 27941511944593241635309*c_1010_4^14 + 1690686814199858330226911847446732354179861191115468057582653145433\ 373169264982792754128827143914/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^1\ 3 + 134207774054909760105654781072743264930027312598014217409787272\ 0016562177716502388068396398290498/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^12 + 29616505271425595064044320556041741064587110138827168444663\ 9861527174099134362252263836954493917/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^11 + 433985842988631674474858501809145321604443582020433326338\ 876078759665503105436040845279879269291/113880382261770463558256359\ 58440837806356842505154596008811191200392027941511944593241635309*c\ _1010_4^10 + 890051746626046762870339590469931682742070683819813697\ 71560190445225440127514389681658587131693/1138803822617704635582563\ 5958440837806356842505154596008811191200392027941511944593241635309\ *c_1010_4^9 - 31295685902817729911694787389799951000754116601746262\ 716998808834622644186253064037472629505311/379601274205901545194187\ 8652813612602118947501718198669603730400130675980503981531080545103\ *c_1010_4^8 - 46380288420863372033044550536189317833242713878298025\ 458321470468427203228289910952373019862892/379601274205901545194187\ 8652813612602118947501718198669603730400130675980503981531080545103\ *c_1010_4^7 - 10859774864412565090873109186018466640789838777778568\ 7356311232345055481009746544420251902242607/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^6 - 605036790146678816345530842767368065177217571260552\ 00542104394898870690104922607713006349269645/1138803822617704635582\ 5635958440837806356842505154596008811191200392027941511944593241635\ 309*c_1010_4^5 - 25070777109669705097610238312410652380644045675729\ 521062506337595380856142933254427602839845513/113880382261770463558\ 2563595844083780635684250515459600881119120039202794151194459324163\ 5309*c_1010_4^4 - 2392836200557493168821333777860014526523170679953\ 412330847206307984826765631550626771422932696/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^3 - 50837747758677382595407781551116688248230054938931\ 5040404371739831206293073819599579437985353/37960127420590154519418\ 7865281361260211894750171819866960373040013067598050398153108054510\ 3*c_1010_4^2 - 6453299734200018165520357692297758062800434172300206\ 6649137175289097603119307942187062293803/37960127420590154519418786\ 52813612602118947501718198669603730400130675980503981531080545103*c\ _1010_4 - 210499323144438500026830995046337090868520911277336085647\ 60244419621973919042655863814150655/1138803822617704635582563595844\ 0837806356842505154596008811191200392027941511944593241635309, c_0011_4 + 242951105813908891967626015300670074614061880948560714939881\ 2429151233065587543830394524777/11388038226177046355825635958440837\ 806356842505154596008811191200392027941511944593241635309*c_1010_4^\ 29 + 12962661185078162211462953169685998658354865087640124640835501\ 597867115252421986732273783150/379601274205901545194187865281361260\ 2118947501718198669603730400130675980503981531080545103*c_1010_4^28 + 30553437960746407234807367000153957869838059221856683524051557002\ 8709609344141069853925192105/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^27 + 1552924526864339095889006545134693957016001644890041789239438754290\ 628310866722631531082224180/113880382261770463558256359584408378063\ 56842505154596008811191200392027941511944593241635309*c_1010_4^26 + 5891325036375625013702915776530492343209573871115568784909533498483\ 888180249786971241344814224/113880382261770463558256359584408378063\ 56842505154596008811191200392027941511944593241635309*c_1010_4^25 + 5991610650453977787900690218776519346581389177593907700761462363360\ 133702832376866918144519253/379601274205901545194187865281361260211\ 8947501718198669603730400130675980503981531080545103*c_1010_4^24 + 4612632523531970666356567281025973049081565030058536696376514760414\ 9250633126514698098815826847/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^23 + 1023794483503501457010817341892966527847483477649290367597425358466\ 02350573772622046697240661584/1138803822617704635582563595844083780\ 6356842505154596008811191200392027941511944593241635309*c_1010_4^22 + 65822962473570156910321150276082138963556690558956464577536837236\ 257799163526206841681187570279/379601274205901545194187865281361260\ 2118947501718198669603730400130675980503981531080545103*c_1010_4^21 + 33514860386729478626963220078518139632519603329782110831587029443\ 6218563382954359493042283802497/11388038226177046355825635958440837\ 806356842505154596008811191200392027941511944593241635309*c_1010_4^\ 20 + 16980190767084233999246777545899925826365178656698329427393474\ 0389408757269012464013231641661622/37960127420590154519418786528136\ 12602118947501718198669603730400130675980503981531080545103*c_1010_\ 4^19 + 708399804271120020447984976795329310662177626078301824988395\ 448405337437931517628268939106182090/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^18 + 303208972582259724968527635625027462923262516344118002621\ 741611612774331453379532978794591495126/379601274205901545194187865\ 2813612602118947501718198669603730400130675980503981531080545103*c_\ 1010_4^17 + 1078597526950016685645287226534382839598506135076709511\ 533478047897265898347265157696316954678595/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^16 + 117003595022285925754997254500487434681025078420910\ 7964862419366741538694096364491762457122841858/11388038226177046355\ 8256359584408378063568425051545960088111912003920279415119445932416\ 35309*c_1010_4^15 + 11543590954779952819941087762958057983296762434\ 90831774377600578388275595596799012830153232946133/1138803822617704\ 6355825635958440837806356842505154596008811191200392027941511944593\ 241635309*c_1010_4^14 + 1041481175683137630891817879262621055993490\ 860816943553070845965400260368802147497500035249965926/113880382261\ 7704635582563595844083780635684250515459600881119120039202794151194\ 4593241635309*c_1010_4^13 + 836304955352024609670512903432868146547\ 451214153033902770742974009660305952661626970483646505251/113880382\ 2617704635582563595844083780635684250515459600881119120039202794151\ 1944593241635309*c_1010_4^12 + 187064226243597499593353787589403340\ 806088439986984984658135971575062804978272731832201846168386/379601\ 2742059015451941878652813612602118947501718198669603730400130675980\ 503981531080545103*c_1010_4^11 + 2804747831460540549559495032075888\ 52018283601743840434919360420429510085820311125893475316666568/1138\ 8038226177046355825635958440837806356842505154596008811191200392027\ 941511944593241635309*c_1010_4^10 + 6307748012061542471526521774808075620334408977168832063491686262967\ 9937926233360357230511852365/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^9 - 1800121692477715449992549773276087539145028455984170539425604888604\ 0545161938909688446929623946/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^8 - 2852738980248965685671274593982491996931264476906146746757769896952\ 9532832834067190784565399857/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^7 - 6802723028984323574663061118144366040787491506247988521827944440412\ 0247192572329265731176398601/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^6 - 3851384195997220279385075594358249326477126193794968421845016166513\ 1456448382550098133641360007/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^5 - 1626862978485967396269411621674634856192940836297605382537690847858\ 5565848293118699928156115274/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^4 - 1532975432855922670175883187159055748106522523607701545532029079359\ 622725080605605554662370882/379601274205901545194187865281361260211\ 8947501718198669603730400130675980503981531080545103*c_1010_4^3 - 3622437973680126488084138006246577084954886545201517441785174836627\ 39009923178221818336461122/3796012742059015451941878652813612602118\ 947501718198669603730400130675980503981531080545103*c_1010_4^2 - 3453136138941357971984952206753354980370841819127562855786074288908\ 8441384875535057102451354/37960127420590154519418786528136126021189\ 47501718198669603730400130675980503981531080545103*c_1010_4 - 1529247610004404269931648405768087495549540321885214402639847949006\ 7872830053873644789008949/11388038226177046355825635958440837806356\ 842505154596008811191200392027941511944593241635309, c_0011_7 + 107493765437071432914763392814316903602014085465953041024123\ 61018606840789169504296717416419/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 29 + 14654698789047892588160612377629686082069999543729064403449935\ 9338623453538126725590118508602/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 8 + 101503685817454570625197884908785930359067961142339113018571276\ 8869347778084682590262901742995/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 7 + 460587675327191911420000789952398093671772673011864644534473359\ 4094486663358657569686374977091/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 6 + 160946175475600080248077848165969266052599224337974118597885011\ 51792264166638900998783088718248/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 25 + 45515826812097327610232074991233307037261742223749612587735661\ 964137054832461423299051152146066/379601274205901545194187865281361\ 2602118947501718198669603730400130675980503981531080545103*c_1010_4\ ^24 + 1102167297806166606491315574730147526015102931722949940048419\ 57889526007658850846969802979213185/3796012742059015451941878652813\ 612602118947501718198669603730400130675980503981531080545103*c_1010\ _4^23 + 23011835036341741740695899356948434968426477163179565121874\ 4709751547980175758469828890689235423/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^22 + 418799229101419127004060355641642453570703709344936133509\ 629884204936958250108416264683824733015/379601274205901545194187865\ 2813612602118947501718198669603730400130675980503981531080545103*c_\ 1010_4^21 + 6735155273138478340829999118461039051412894756966825725\ 36583273153775230794425995579483183968012/3796012742059015451941878\ 652813612602118947501718198669603730400130675980503981531080545103*\ c_1010_4^20 + 98079067959815675740145297766330256057971046955220705\ 2704787425208153925810029607216338908972344/37960127420590154519418\ 7865281361260211894750171819866960373040013067598050398153108054510\ 3*c_1010_4^19 + 131349005984643107707023789722654960123086797971625\ 1528894481520672928085307942976156920560428130/37960127420590154519\ 4187865281361260211894750171819866960373040013067598050398153108054\ 5103*c_1010_4^18 + 162640116602525366221973566672652037921254918090\ 1262695131792979945936704861847240983880721595326/37960127420590154\ 5194187865281361260211894750171819866960373040013067598050398153108\ 0545103*c_1010_4^17 + 185204102958933257861323116607387977551502629\ 1893048002157843196714827843310342291163163180956969/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^16 + 191667245747832793967401610690587083068481\ 3111854667613851531630038580453748165244714187101631016/37960127420\ 5901545194187865281361260211894750171819866960373040013067598050398\ 1531080545103*c_1010_4^15 + 181385196324523531508397513642766359093\ 8895014845289378311173036191308098762565431404177688538712/37960127\ 4205901545194187865281361260211894750171819866960373040013067598050\ 3981531080545103*c_1010_4^14 + 155610234646014473544588038060139834\ 3981692561078730559763632166946045567303462868422334188587987/37960\ 1274205901545194187865281361260211894750171819866960373040013067598\ 0503981531080545103*c_1010_4^13 + 115489367055703261714837115175699\ 4482938878580606051153649674602775399728202566332104211585101799/37\ 9601274205901545194187865281361260211894750171819866960373040013067\ 5980503981531080545103*c_1010_4^12 + 6850317870374750631222640319294239629910561620465431242211357442681\ 58487402832465284546223449964/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^11 + 2632555240957616345809775773476812440086629655786574554095931817762\ 45002844267119500876534855848/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^10 - 1267284317914042897526188512905271767287066241146840177438245307789\ 1450056426514028094051729483/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^9 - 1287256638569678272582171886304672232746392807713707755930080321474\ 48706011751584795477107209643/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^8 - 1314390610838324649348686079152007919818238524088846352364192326792\ 35185580809481921381958689037/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^7 - 8668405920395578726643696428602994250072575271891176124690124609849\ 7675118740601665453318888633/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^6 - 4255649216358341572392979675931914204068140906933695533528924565627\ 0551404403124845481072169053/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^5 - 1477680814040777024091321574832837070508550247475910535430924456548\ 8740419532027447182636553270/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^4 - 3797251753447638153179267378219427102596484157421780295752057109417\ 675798223932143120242758073/379601274205901545194187865281361260211\ 8947501718198669603730400130675980503981531080545103*c_1010_4^3 - 6570293639143912085947155814595993807233868793259777752679038350535\ 02558261170206958428011516/3796012742059015451941878652813612602118\ 947501718198669603730400130675980503981531080545103*c_1010_4^2 - 8218186259072517979017196346933169350783115393779198599984002790209\ 0209454838692707104098965/37960127420590154519418786528136126021189\ 47501718198669603730400130675980503981531080545103*c_1010_4 - 6172480338744977863607597251383556471207693521267418925635416934759\ 802530542351679911101508/379601274205901545194187865281361260211894\ 7501718198669603730400130675980503981531080545103, c_0101_0 + 347543521063398911000022696337100992892982970004112868303647\ 00236138962709781111531077147104/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^29 + 1563423226242492542521864483422839836128991377375286560912108\ 83485644863019329484608499854048/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 28 + 32185824533898152056328158218952636890926912893018317131251813\ 34811824337124014397756972424198/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^27 + 1446697461003269176553053140056524414743963050207421221016723\ 6316151412655945652676882091959505/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^26 + 50171793412671203558350907229370870483886248621637075048630\ 632224022752207384628793875198935898/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^25 + 469405562067825074209609313383340709854100876814312043994\ 97144425674491136425270546281086838591/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^24 + 33892016190386010364239770610427881430069106951401689270\ 5652719441037256991833643025569611763800/11388038226177046355825635\ 958440837806356842505154596008811191200392027941511944593241635309*\ c_1010_4^23 + 70280830754965884576915871651200892769891551192459349\ 5489696355478896517882427905333671117286823/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^22 + 42343353423925519444029283146424269097124860721776\ 9833384906947033088680535998909296324458607635/37960127420590154519\ 4187865281361260211894750171819866960373040013067598050398153108054\ 5103*c_1010_4^21 + 202944048100339726710364838368277870888238778106\ 7941670806016460246643397187208796268153188307237/11388038226177046\ 3558256359584408378063568425051545960088111912003920279415119445932\ 41635309*c_1010_4^20 + 97979540686144645751275296080238118611680637\ 6744818781747220008678315973421813895492344309732928/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^19 + 391729944735119812338273772541639169508158\ 0303956083131003793403984632341375290404571680145207342/11388038226\ 1770463558256359584408378063568425051545960088111912003920279415119\ 44593241635309*c_1010_4^18 + 16088782231687114960052485351421776421\ 22238955829212343702667616992215927276930991568892804072119/3796012\ 7420590154519418786528136126021189475017181986696037304001306759805\ 03981531080545103*c_1010_4^17 + 54651787221500379315532408616811257\ 68094940198279268625960907383391466776760822977448370217233171/1138\ 8038226177046355825635958440837806356842505154596008811191200392027\ 941511944593241635309*c_1010_4^16 + 5617016727414599211474172890104497461838485641041435856686772529848\ 567126257724358720387131071271/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^1\ 5 + 528382400691252099189956765015795659084010522495585771494887854\ 5084218640479223594597963343784475/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^14 + 44980072466366237231186867022907440495335663315685792975308\ 14137910797304448585804485130789544550/1138803822617704635582563595\ 8440837806356842505154596008811191200392027941511944593241635309*c_\ 1010_4^13 + 3293744694547438842943042025715751857212954795167566366\ 095206918518060131892619124747591947262122/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^12 + 636960505406673314985911145654625679649989045579394\ 901395864055880258044223104056950350740970127/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^11 + 6930562250936744005223214423179549733962176918023\ 33012821330842011227459762324745379421351825447/1138803822617704635\ 5825635958440837806356842505154596008811191200392027941511944593241\ 635309*c_1010_4^10 - 8052975391655255987960358552259298172939960387\ 1816364521055090625672083473989047776544068746640/11388038226177046\ 3558256359584408378063568425051545960088111912003920279415119445932\ 41635309*c_1010_4^9 - 129892482600843113887153117702765426655129083\ 116908382319935357342886848617731921849979809217376/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4^8 - 12631623017078838919470250659632144555864914\ 1436182115544388340528810342897911708148473224696133/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^7 - 2429274949021689339459441920633969772475495\ 08317154498906361778113110214914298299497925773085845/1138803822617\ 7046355825635958440837806356842505154596008811191200392027941511944\ 593241635309*c_1010_4^6 - 11676642332683356627278320513716836477113\ 6439977358962540742572135530288457145079462288788699882/11388038226\ 1770463558256359584408378063568425051545960088111912003920279415119\ 44593241635309*c_1010_4^5 - 388995055901572898770750341305209861147\ 02785227244094251634265693342669173459274952651040860252/1138803822\ 6177046355825635958440837806356842505154596008811191200392027941511\ 944593241635309*c_1010_4^4 - 33726570951245074637861904801315497904\ 59553808464414719947720582211064520031115635605925085010/3796012742\ 0590154519418786528136126021189475017181986696037304001306759805039\ 81531080545103*c_1010_4^3 - 532797325543610230424498078874233331128\ 919800817220762494335643395394841178840836886277541580/379601274205\ 9015451941878652813612602118947501718198669603730400130675980503981\ 531080545103*c_1010_4^2 - 87517942086772793130806002989635480318385\ 462239691742242445061184397031139687857735255456375/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4 - 1393752365362870463085152667257546409904085626\ 3377626782467815452617802510212062444152019027/11388038226177046355\ 8256359584408378063568425051545960088111912003920279415119445932416\ 35309, c_0101_1 - 473248594748031914532590398245848468786297969028268372187518\ 90311301582955251232060577391499/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^29 - 2085359921068916655758345495330466285324478743053114677086994\ 61775592460689370325907403753132/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 28 - 42072725212635519211407559984465930536771291185139758541793268\ 03656613594340023894750956074727/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^27 - 1850162766734521891972737680123106217570368256701426398139455\ 2276117060928697705104805706036205/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^26 - 62965501978145055697418132184531835954960762268852194418255\ 968948015525287700700241878209628561/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^25 - 577655241356991146550016150774959176126041098600966244204\ 81474283775075463484098086628180742577/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^24 - 41001764728428360276136368531445694392441800826685429308\ 9272186262743020839974675887382597920552/11388038226177046355825635\ 958440837806356842505154596008811191200392027941511944593241635309*\ c_1010_4^23 - 83383557212686967548349513151447443245803500281070266\ 3779373595864885251066955422595390743120919/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^22 - 49203605678648379592383173674113793891285244391396\ 6087980934586449671981888645449723066029761462/37960127420590154519\ 4187865281361260211894750171819866960373040013067598050398153108054\ 5103*c_1010_4^21 - 230858624477464301159103022806102698735611538346\ 9075017768013855445722645821364904843358291120600/11388038226177046\ 3558256359584408378063568425051545960088111912003920279415119445932\ 41635309*c_1010_4^20 - 10940424998434362632504241482932326822737911\ 36619191404051659519697178710344684358709900426057110/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^19 - 42994096163438025625812666870138549190996\ 59309650121777689383984678866139626471666219704780376085/1138803822\ 6177046355825635958440837806356842505154596008811191200392027941511\ 944593241635309*c_1010_4^18 - 1734796717563297602052285779176151419\ 260289621205009133262419455705263603421137801607639702194882/379601\ 2742059015451941878652813612602118947501718198669603730400130675980\ 503981531080545103*c_1010_4^17 - 5769897641899758383298080940690014\ 224258297908551301098533294340239677661246919721750596463469426/113\ 8803822617704635582563595844083780635684250515459600881119120039202\ 7941511944593241635309*c_1010_4^16 - 5773767724405895435247466787936815098406735276169968770976591746519\ 471065750021593156236630955840/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^1\ 5 - 529179767968840423377556035887741969966602036449247408802535942\ 3786797806715888299315661132368385/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^14 - 43594863641018363170031843755406111189391592712784327738652\ 96506210105519727047919078902550558322/1138803822617704635582563595\ 8440837806356842505154596008811191200392027941511944593241635309*c_\ 1010_4^13 - 3007088850772849469286338886130625126689261202996867095\ 870384286672507826790731862212544164448802/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^12 - 516546487914354077895076062391063658367752098931310\ 784932939260789949338747157709354975789156050/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^11 - 3689376221273287096938869347387676220234665362205\ 47577943395006559632040836230883909414716328614/1138803822617704635\ 5825635958440837806356842505154596008811191200392027941511944593241\ 635309*c_1010_4^10 + 2804162669751361741459527335492161247097571092\ 69853463105230561384673171214158350083179516475521/1138803822617704\ 6355825635958440837806356842505154596008811191200392027941511944593\ 241635309*c_1010_4^9 + 15406926725932460461859537374402730870900939\ 7898778393701678738096142293862984452112654895188603/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^8 + 1226804576343577976667243208264001410873371\ 68766268229702997987858178550082752698790795328004178/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^7 + 203578654160251313729462672058228652156643\ 031457260685134703812029797746588823583026426889801803/113880382261\ 7704635582563595844083780635684250515459600881119120039202794151194\ 4593241635309*c_1010_4^6 + 8432513431592914057348241874373029223040\ 9615907529756973679717351284660505388954584375456212491/11388038226\ 1770463558256359584408378063568425051545960088111912003920279415119\ 44593241635309*c_1010_4^5 + 205756994898580383501684567337524433866\ 68647216821510118240445201441943144812632709725115957509/1138803822\ 6177046355825635958440837806356842505154596008811191200392027941511\ 944593241635309*c_1010_4^4 + 15395451728664427945030060707321600811\ 31362856626222397043754626521818025464449151450350523564/3796012742\ 0590154519418786528136126021189475017181986696037304001306759805039\ 81531080545103*c_1010_4^3 + 117843587570450158594730360074950136520\ 171524028298563351763555543311404317679894251618147082/379601274205\ 9015451941878652813612602118947501718198669603730400130675980503981\ 531080545103*c_1010_4^2 + 33681273229229282790254537011551856767085\ 390813352224779594635507766976681717757381054609240/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4 - 7886393135547161938069958004654039686801690568\ 79455191258498027895361339140852725528368778/1138803822617704635582\ 5635958440837806356842505154596008811191200392027941511944593241635\ 309, c_0101_11 + 66404776833961113366124643364373123035577009520527476371854\ 14663609950122034252262223409024/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^29 + 2702383588992669480180507889079086930699950346247274935799631\ 4352255838213719004061690218248/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 8 + 502005937830295288036164803293538037755185486813973108941878177\ 052779126197797305038500638823/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^2\ 7 + 200411172303568533414478503038256499446952145415015473879314322\ 9269524548770235149097221625642/11388038226177046355825635958440837\ 806356842505154596008811191200392027941511944593241635309*c_1010_4^\ 26 + 62411873776860883117875679850530012079949729600977874669364932\ 98122995502911547658399627994206/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^25 + 5170682292136334398945985652464615633967545837193727350156899\ 660496220301679704802881394245465/379601274205901545194187865281361\ 2602118947501718198669603730400130675980503981531080545103*c_1010_4\ ^24 + 3336961290905853441522663940706703357143484437871965105718810\ 4074695935243936522936789300413605/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^23 + 59957427806589643027100043601052430594738986368398157606307\ 361569672293208559021623543318527481/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^22 + 304805772966722145267729800829604021412003606678095512799\ 24534694589113772099067596361804766898/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^21 + 11969949391651767531428824290682268760873617239947108102\ 8563558087818606245671364028523489607630/11388038226177046355825635\ 958440837806356842505154596008811191200392027941511944593241635309*\ c_1010_4^20 + 47349947818775387989890148137755697911808440812895509\ 250638777372434121232309706757969386610552/379601274205901545194187\ 8652813612602118947501718198669603730400130675980503981531080545103\ *c_1010_4^19 + 1515904745846304161409950936118398069406008660473082\ 16884832636593300019369467309210137535221609/1138803822617704635582\ 5635958440837806356842505154596008811191200392027941511944593241635\ 309*c_1010_4^18 + 4670089521914784120314505189871620277105315003638\ 8734352940733576747751240397709176265845706459/37960127420590154519\ 4187865281361260211894750171819866960373040013067598050398153108054\ 5103*c_1010_4^17 + 970298697372259299460421857959983485582876171193\ 94019453947445485160852410533040205585086346588/1138803822617704635\ 5825635958440837806356842505154596008811191200392027941511944593241\ 635309*c_1010_4^16 + 2267981329738147784641166451750193612483906434\ 9437505393010598536298253375332623469231476784374/11388038226177046\ 3558256359584408378063568425051545960088111912003920279415119445932\ 41635309*c_1010_4^15 - 42342918490382261131899757246554780668117798\ 319344057745369479986451703981335999324014678224115/113880382261770\ 4635582563595844083780635684250515459600881119120039202794151194459\ 3241635309*c_1010_4^14 - 104766419140421058656712897013807633320446\ 954735299961752136494999731980142578537362087227432916/113880382261\ 7704635582563595844083780635684250515459600881119120039202794151194\ 4593241635309*c_1010_4^13 - 164725619864656144449028079054664248022\ 684081735849302715328143698922126471173634578667163132027/113880382\ 2617704635582563595844083780635684250515459600881119120039202794151\ 1944593241635309*c_1010_4^12 - 610798772049078577032113647672229496\ 64954586424368232099071590710857304226215211573922743574364/3796012\ 7420590154519418786528136126021189475017181986696037304001306759805\ 03981531080545103*c_1010_4^11 - 15003233866667934363633005165949928\ 3476053439061268924350374631825180654664091511091182425664754/11388\ 0382261770463558256359584408378063568425051545960088111912003920279\ 41511944593241635309*c_1010_4^10 - 8196856194338851695167701171484754576139240128049012137079343713020\ 5973386413749424454802664652/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^9 - 7393759386242082073565060265540334449984369069615586682816687813151\ 250330699351969429047847184/379601274205901545194187865281361260211\ 8947501718198669603730400130675980503981531080545103*c_1010_4^8 + 4254081975662990056427217949692202465398357230297456029955032217009\ 247219657644428658765123742/379601274205901545194187865281361260211\ 8947501718198669603730400130675980503981531080545103*c_1010_4^7 + 2102081123814784359706481844653430545896745134456132662213227493123\ 7872402884593684117395535268/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^6 + 1486522489907848559534183675781598858298132756555507903050462346745\ 4424811295987475234621742158/11388038226177046355825635958440837806\ 356842505154596008811191200392027941511944593241635309*c_1010_4^5 + 7711525333042249866308886762001654152031992008554390903036765549246\ 969983103593476154717895580/113880382261770463558256359584408378063\ 56842505154596008811191200392027941511944593241635309*c_1010_4^4 + 5756983897760398999556430703698076055038209789220696377224237840505\ 74549799855375677003919250/3796012742059015451941878652813612602118\ 947501718198669603730400130675980503981531080545103*c_1010_4^3 + 1397113559221435604141474692276254509080244864329080585254785416192\ 95971881315236911784098705/3796012742059015451941878652813612602118\ 947501718198669603730400130675980503981531080545103*c_1010_4^2 + 2840950034375473497549360880133415036244989775761796570990455989574\ 906922127340005653546124/379601274205901545194187865281361260211894\ 7501718198669603730400130675980503981531080545103*c_1010_4 + 8234623592666222278232550251212349603493827699302387992732565500821\ 467014658186418426505779/113880382261770463558256359584408378063568\ 42505154596008811191200392027941511944593241635309, c_0101_7 + 213456494987878586529502024518300850706456919245330541078032\ 36502624651726457919744235662305/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 29 + 28709931794094467726764473408646550767223322903901558349379636\ 3151108915824063681344641987631/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 8 + 196307424112926060603076683480698707737160905871113967940772475\ 9724723874058950711690549945778/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 7 + 878707648571717314584220933222935316033578698195270248531748233\ 0243501284215965155876066016219/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 6 + 303539239506500084404964326110550194046461737058498016630320080\ 03423491924156160144810643695141/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 25 + 84840146298178971369961202646792092793440197125044136025389690\ 679152295809713231496439012611053/379601274205901545194187865281361\ 2602118947501718198669603730400130675980503981531080545103*c_1010_4\ ^24 + 2033838647295645235279876726892198064682157163511525365702375\ 35533501074081793703322584701691418/3796012742059015451941878652813\ 612602118947501718198669603730400130675980503981531080545103*c_1010\ _4^23 + 41988453562545774908575247897216241041857978980700951392819\ 0163337138166223220724301854348186870/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^22 + 755167180910665952978986358861379805625991852186578887133\ 498202811558879311190877068118025595436/379601274205901545194187865\ 2813612602118947501718198669603730400130675980503981531080545103*c_\ 1010_4^21 + 1200079083519334912510219549836635893822419174047592632\ 661569025199792187118768903779835661517578/379601274205901545194187\ 8652813612602118947501718198669603730400130675980503981531080545103\ *c_1010_4^20 + 1729599530760216734694011053930297099021259704928074\ 313937749527144529462735825740606549568090202/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^19 + 2294453585935935071552464462590678913962085994580\ 830763049109607922592508792551410324941110898868/379601274205901545\ 1941878652813612602118947501718198669603730400130675980503981531080\ 545103*c_1010_4^18 + 2813803599200729293554547022431368433655571930\ 386282763040759458034698952832046916803599401153918/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4^17 + 3168396888165694273553833398497357939256912\ 613461049745947347407199523108745070402579013145340594/379601274205\ 9015451941878652813612602118947501718198669603730400130675980503981\ 531080545103*c_1010_4^16 + 3233389087541449954444599968762434815325\ 485094612580187402920876698194862542553385755850958109334/379601274\ 2059015451941878652813612602118947501718198669603730400130675980503\ 981531080545103*c_1010_4^15 + 3018591707153134193883633158460776649\ 715215882611827963426781491510945744507578564300705139665923/379601\ 2742059015451941878652813612602118947501718198669603730400130675980\ 503981531080545103*c_1010_4^14 + 2546666923177621895961719827854795\ 229576632342707841660201613989123346839379417035313511494715093/379\ 6012742059015451941878652813612602118947501718198669603730400130675\ 980503981531080545103*c_1010_4^13 + 1836061130159143454615086026580275409649849652799566714209371806284\ 754250519976500836544701027535/379601274205901545194187865281361260\ 2118947501718198669603730400130675980503981531080545103*c_1010_4^12 + 10322535867734090687295259750144264710963294967613920561437120539\ 77632414793887657369511010252584/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 11 + 34005147206420119572276840947343718620029683670133928885288169\ 2207712302892308279853634233062430/37960127420590154519418786528136\ 12602118947501718198669603730400130675980503981531080545103*c_1010_\ 4^10 - 834351271035558396170147541901116106895411465634415431693012\ 43225908377563660471680537246843137/3796012742059015451941878652813\ 612602118947501718198669603730400130675980503981531080545103*c_1010\ _4^9 - 238461178866966015311662249346229679227448921675858470841861\ 423753519185515735477152285081202589/379601274205901545194187865281\ 3612602118947501718198669603730400130675980503981531080545103*c_101\ 0_4^8 - 21703741675902095674410616082550292449817054677848483295018\ 1817178325340381288120087514446664435/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^7 - 1329179400001805413464037030839591355915714955051309995054\ 91300871641659057997722243777036538547/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^6 - 609224030393668676996169973075863633403902399694007555024\ 16865899164356421714355593959477120389/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^5 - 187145100650001096035115401525292954126818300128307211645\ 04806291575824482445318775859134730606/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^4 - 440045740050772139163993561519173177250521937034854096610\ 4259827005119483944804894395854532501/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^3 - 5932316118037839830241603751874761931627986395731827631866\ 91715123516456671402457836390599618/3796012742059015451941878652813\ 612602118947501718198669603730400130675980503981531080545103*c_1010\ _4^2 - 732845497927321272944186588369452956920256487368252089677635\ 25882691327940660778662904308817/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4 - 1460166185842937182074517731136353018011859879604781048831068321015\ 736622430973863170824982/379601274205901545194187865281361260211894\ 7501718198669603730400130675980503981531080545103, c_0110_4 + 237396759894126177942909608725296544100768443078424820709063\ 70691844946562858523549718663330/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^29 + 1071081880773019479390080386498218819805845049222451439951822\ 09796419329890865769933658407462/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 28 + 22103972295923319540827316373911582983025757254484444755468187\ 02513834047756015628396561443890/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^27 + 9958025974481827278050972176009529404683616601102387584104497\ 615899614456456956553123166918472/113880382261770463558256359584408\ 37806356842505154596008811191200392027941511944593241635309*c_1010_\ 4^26 + 345883031352565144830731697892308643610432960004005471272227\ 55946733439158789234373604110559279/1138803822617704635582563595844\ 0837806356842505154596008811191200392027941511944593241635309*c_101\ 0_4^25 + 3240906941989901859686055868440407675871424333667142304672\ 4309930103443493941094229114170376668/37960127420590154519418786528\ 13612602118947501718198669603730400130675980503981531080545103*c_10\ 10_4^24 + 234235780001543627538378981741973909399462931758233388636\ 827693885753011959803920545391892711167/113880382261770463558256359\ 58440837806356842505154596008811191200392027941511944593241635309*c\ _1010_4^23 + 486307113588506450114252794097158742970323592662489986\ 329147959204983534866396369238531561191890/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^22 + 293291700930365725839987584937499105055740965525705\ 829269171688450597917398983810276049906395055/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^21 + 1406920068594212644384274333796292750482890973724\ 349187207032520341573934119479009056501643441433/113880382261770463\ 5582563595844083780635684250515459600881119120039202794151194459324\ 1635309*c_1010_4^20 + 679627947484715886343685545063992635549337708\ 911345955550913289489353461954412498455920555690190/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4^19 + 2718728533718449520848967558945501878263010\ 361451855104611179493076132407712353696451235529978276/113880382261\ 7704635582563595844083780635684250515459600881119120039202794151194\ 4593241635309*c_1010_4^18 + 111723312896862653461994975545824418746\ 0550122641011512608129712844585289693817409961279235622306/37960127\ 4205901545194187865281361260211894750171819866960373040013067598050\ 3981531080545103*c_1010_4^17 + 379754010561819415768809559216449614\ 4936309780603920049021658143432759167859301662469889158857502/11388\ 0382261770463558256359584408378063568425051545960088111912003920279\ 41511944593241635309*c_1010_4^16 + 3905757693824427642283111335617947643087293460008774692230922475775\ 931355857372415625263153182238/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^1\ 5 + 367526544922640586968777346664503186664297933418193098125314305\ 0791984068706306012204872751125902/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^14 + 31314488190862992058892808320559786888036826225644971831002\ 52202067511704002870860124147368884628/1138803822617704635582563595\ 8440837806356842505154596008811191200392027941511944593241635309*c_\ 1010_4^13 + 2296182114512679396139006376679236754233093982021753592\ 086851632850181436695369164683834211580998/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^12 + 444639861641725015906810926274347314298379182244323\ 563857334472548002789650304995149167020007773/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^11 + 4856158304962239079761408498590570996488515216730\ 33201287007477950539511887355671443616987745667/1138803822617704635\ 5825635958440837806356842505154596008811191200392027941511944593241\ 635309*c_1010_4^10 - 5421370918733562346818033602122244372360980831\ 6767767002472248832695393603111128642744577942811/11388038226177046\ 3558256359584408378063568425051545960088111912003920279415119445932\ 41635309*c_1010_4^9 - 900922380065370893634398144318921913069548008\ 13179995271347916399142528770945397494230521386670/3796012742059015\ 4519418786528136126021189475017181986696037304001306759805039815310\ 80545103*c_1010_4^8 - 879801330849301603543934550180382426273737004\ 53481111860174277177959777144150532197255042354795/3796012742059015\ 4519418786528136126021189475017181986696037304001306759805039815310\ 80545103*c_1010_4^7 - 169559441391862129241184340898201527681227944\ 960214742700053036046287414076888181153251360633743/113880382261770\ 4635582563595844083780635684250515459600881119120039202794151194459\ 3241635309*c_1010_4^6 - 8159210962568149054131637521872914590598694\ 3990524199742119604442402444226180523040962710949316/11388038226177\ 0463558256359584408378063568425051545960088111912003920279415119445\ 93241635309*c_1010_4^5 - 272817553289875979558369905810418333793732\ 49925286415263333745930984633893554122442049686668777/1138803822617\ 7046355825635958440837806356842505154596008811191200392027941511944\ 593241635309*c_1010_4^4 - 23375811719564594411626501772905095708710\ 07699336620416545993505603020744791564892640426916556/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^3 - 391461924389559470023796539817188768233974\ 319102287069730037876138936378491883578738137197571/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4^2 - 51925287715515797891249763023384329072300969\ 857748064048543102935617523369936482916297165775/379601274205901545\ 1941878652813612602118947501718198669603730400130675980503981531080\ 545103*c_1010_4 - 1847967127508261580937607086673384779166593784462\ 3837287239328664661738926966429603099736331/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09, c_1001_0 + 415917890698657689716467108674176526860473430530224567062326\ 57388144374201679195197950723574/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^29 + 1831718005447287610730988194032123227385977708092687546326897\ 73091724408846359693678003559299/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 28 + 36931206407564832058006861127197749060768682767099576228279721\ 31434795240417133016024870922817/1138803822617704635582563595844083\ 7806356842505154596008811191200392027941511944593241635309*c_1010_4\ ^27 + 1622758133357623040804748529580162979405486950461729640601718\ 7815144788343921156897470791107777/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^26 + 55182183621865685205591790445158214700797993185439620867522\ 156285897489202544618086466552334804/113880382261770463558256359584\ 40837806356842505154596008811191200392027941511944593241635309*c_10\ 10_4^25 + 505812550417903220468617976970715044333788746916961275482\ 47284476259593444222139042320249454410/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^24 + 35872359060332771968423834195694393067745708675213063686\ 2697201831416462092362870732400453889467/11388038226177046355825635\ 958440837806356842505154596008811191200392027941511944593241635309*\ c_1010_4^23 + 72883009300199960847186526018056553741406189743013719\ 8110150131256902001055496709325151097695993/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09*c_1010_4^22 + 42959964906766911621894064259910152977510570657446\ 5913543427754113776570047206172655001342424342/37960127420590154519\ 4187865281361260211894750171819866960373040013067598050398153108054\ 5103*c_1010_4^21 + 201326431087623440142779728773841115354251333099\ 6406494934990174070677287318057437227555349352522/11388038226177046\ 3558256359584408378063568425051545960088111912003920279415119445932\ 41635309*c_1010_4^20 + 95303310440404187769329046689492311458851229\ 7164305036680832350607803088566830505163615316532934/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^19 + 374142713859366162630353934927945541922234\ 2232711969376704073459168026131324886951967824389451765/11388038226\ 1770463558256359584408378063568425051545960088111912003920279415119\ 44593241635309*c_1010_4^18 + 15080039319903146470942021674889115681\ 87811278979809652084146351288536195901717928624873319749026/3796012\ 7420590154519418786528136126021189475017181986696037304001306759805\ 03981531080545103*c_1010_4^17 + 50090004569221731176499222813004958\ 93116558211741979297302635643441560936763281127562660773852240/1138\ 8038226177046355825635958440837806356842505154596008811191200392027\ 941511944593241635309*c_1010_4^16 + 5003618295067922303537598794233196260822418441321654171927010370375\ 712531598682372664610917825630/113880382261770463558256359584408378\ 06356842505154596008811191200392027941511944593241635309*c_1010_4^1\ 5 + 457754101302606894659605024190319168601145946434665997317398741\ 8931758510123572134260127423996700/11388038226177046355825635958440\ 837806356842505154596008811191200392027941511944593241635309*c_1010\ _4^14 + 37626376119447062260788219074614394957577635343610722667228\ 53293815598593079714077122952692625525/1138803822617704635582563595\ 8440837806356842505154596008811191200392027941511944593241635309*c_\ 1010_4^13 + 2584002010945502774975783020184134020943002182875659047\ 859984256821239400196492785913124721406333/113880382261770463558256\ 3595844083780635684250515459600881119120039202794151194459324163530\ 9*c_1010_4^12 + 439531137334565989578882637498610656935175039716465\ 944359434678877785159406419528155361907370809/379601274205901545194\ 1878652813612602118947501718198669603730400130675980503981531080545\ 103*c_1010_4^11 + 2994274316640593354042066225049277005730891729071\ 02039257058386974330599734276999486728913285826/1138803822617704635\ 5825635958440837806356842505154596008811191200392027941511944593241\ 635309*c_1010_4^10 - 2547891344707091610025616283656347289296097360\ 51178850970928471344188933706787105650855985019369/1138803822617704\ 6355825635958440837806356842505154596008811191200392027941511944593\ 241635309*c_1010_4^9 - 13470140069263671417925828964403019326155613\ 5384717043125483699329676530994363435074468805907653/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^8 - 1058335843532622857432934341173290102592702\ 19279607156907619540260035119528880928350124721113537/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^7 - 173452255745044597200943607872754591235553\ 931440872976316928899456770359525850693261167043367090/113880382261\ 7704635582563595844083780635684250515459600881119120039202794151194\ 4593241635309*c_1010_4^6 - 7084283857086538288948248930644680734776\ 8464696582885656447713486382030290173945236104146666563/11388038226\ 1770463558256359584408378063568425051545960088111912003920279415119\ 44593241635309*c_1010_4^5 - 166615910110562657623417434576859604956\ 38482615446408793808810389812453190655858313525176983954/1138803822\ 6177046355825635958440837806356842505154596008811191200392027941511\ 944593241635309*c_1010_4^4 - 12266933497819089090195360651228878913\ 16096774390456288319741945559371258890627301901932154598/3796012742\ 0590154519418786528136126021189475017181986696037304001306759805039\ 81531080545103*c_1010_4^3 - 968111963187368596590260815639112490308\ 49153016533167993301602446981781879025754460244757669/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^2 - 307791667590460875175028513915160623720747\ 99606575836784311620280846330508285683099981820762/3796012742059015\ 4519418786528136126021189475017181986696037304001306759805039815310\ 80545103*c_1010_4 - 70375360207227742019334882325033971765959428767\ 1877067445757820030174117890737288740056942/11388038226177046355825\ 6359584408378063568425051545960088111912003920279415119445932416353\ 09, c_1001_2 + 100856143638202128084325128945237641040955660320687285151235\ 76483718087676766433282469758571/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 29 + 13627267199935753176116147623767714688628247136282560928967384\ 9200309527740184639247613308887/37960127420590154519418786528136126\ 02118947501718198669603730400130675980503981531080545103*c_1010_4^2\ 8 + 936149997190763475096244265602933626179844374182774884268141577\ 657262326413611864876371606736/379601274205901545194187865281361260\ 2118947501718198669603730400130675980503981531080545103*c_1010_4^27 + 42124337861565902171696996939171104073660341250920250101017492558\ 13576033580723308517009952122/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^26 + 1462130646074381900884021857763069594943921640119014264329535133311\ 5910494209878694136832939698/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^25 + 4107384951846855171526358489599628526330807880946613447995120133749\ 9477662620078383508019869847/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^24 + 9892112519579056622423572125496902010932757712136882280488585344352\ 9565928630242787663521709581/37960127420590154519418786528136126021\ 18947501718198669603730400130675980503981531080545103*c_1010_4^23 + 2052879898375712988615358238235626984717470712932892171671128653712\ 58851337881206040768372592921/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^22 + 3713384613208819974156534944857243461032800479206555940409755446387\ 34267028161129156341464277603/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^21 + 5936968872641509500298734939371285394632389407395799029623584482815\ 56722861611424006354453887411/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^20 + 8604332698408968595787611464022214657476233923153819286586600185601\ 64862278302742849469955170597/3796012742059015451941878652813612602\ 118947501718198669603730400130675980503981531080545103*c_1010_4^19 + 1147375807220635849895072876230328733994148533352406927009952487593\ 373590299265856046524851354389/379601274205901545194187865281361260\ 2118947501718198669603730400130675980503981531080545103*c_1010_4^18 + 14146065066475370589867294993623554282323420656315419597874667507\ 02364514901717599517515141239658/3796012742059015451941878652813612\ 602118947501718198669603730400130675980503981531080545103*c_1010_4^\ 17 + 16029173702752127796919940780854393794597668868063570562639883\ 42487229840050192792484619376322340/3796012742059015451941878652813\ 612602118947501718198669603730400130675980503981531080545103*c_1010\ _4^16 + 16489401059530173887184422913356091371534875604210076988871\ 32262820020925819133549976623242130430/3796012742059015451941878652\ 813612602118947501718198669603730400130675980503981531080545103*c_1\ 010_4^15 + 15524345361408869041471223260836945253495953500793777107\ 01054286626019688367721247318003379391718/3796012742059015451941878\ 652813612602118947501718198669603730400130675980503981531080545103*\ c_1010_4^14 + 13231250663440231242544560763942118637698882017282348\ 36524505456150608184475640487780900794968170/3796012742059015451941\ 8786528136126021189475017181986696037304001306759805039815310805451\ 03*c_1010_4^13 + 97087922843846901006334342132802747700730320273484\ 1475096165305019660489041706179601184014454907/37960127420590154519\ 4187865281361260211894750171819866960373040013067598050398153108054\ 5103*c_1010_4^12 + 565277653013271218162912945478956697224466025605\ 490242112836352143774544148695009791195824400160/379601274205901545\ 1941878652813612602118947501718198669603730400130675980503981531080\ 545103*c_1010_4^11 + 2072406411204193504669019982063339037695873638\ 90591766851017798724839383359882910439526387740941/3796012742059015\ 4519418786528136126021189475017181986696037304001306759805039815310\ 80545103*c_1010_4^10 - 21090611334258982596151372712866582929628461\ 813830436583015780863340874138786402895910861485529/379601274205901\ 5451941878652813612602118947501718198669603730400130675980503981531\ 080545103*c_1010_4^9 - 11311964040415435245433518851704510768946931\ 6115142967290813059678489529709509946156416544269093/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^8 - 1109909714526369218791308110743780943230130\ 61243379119081599664119289757337275989120078541250527/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^7 - 715744976860302095476808258321729544944097\ 98926074029522795744317952576078541224208129652491582/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^6 - 346358001360643069453960346372137938320385\ 27060899095163406781256650162775873162894984455885905/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^5 - 117126238082141355861737546230645816678941\ 44385797489457456332425050128566257358534158487817806/3796012742059\ 0154519418786528136126021189475017181986696037304001306759805039815\ 31080545103*c_1010_4^4 - 310242593430951101535311734905214258796015\ 1382976323819348744864920481875513660518731457782349/37960127420590\ 1545194187865281361260211894750171819866960373040013067598050398153\ 1080545103*c_1010_4^3 - 5288958432359934283136066501253096663253830\ 19928736010885310917034163222370431050338647858470/3796012742059015\ 4519418786528136126021189475017181986696037304001306759805039815310\ 80545103*c_1010_4^2 - 895944743155952532265852000415788342414523295\ 57758689251943652426423846490354602993449365158/3796012742059015451\ 9418786528136126021189475017181986696037304001306759805039815310805\ 45103*c_1010_4 - 65024560506543851255589663818838735481776044014440\ 83551133420488932778932281330722293037827/3796012742059015451941878\ 652813612602118947501718198669603730400130675980503981531080545103, c_1010_4^30 + 230/17*c_1010_4^29 + 1582/17*c_1010_4^28 + 7128/17*c_1010_4^27 + 1457*c_1010_4^26 + 69662/17*c_1010_4^25 + 167945/17*c_1010_4^24 + 348943/17*c_1010_4^23 + 631994/17*c_1010_4^22 + 1011782/17*c_1010_4^21 + 1468181/17*c_1010_4^20 + 1960150/17*c_1010_4^19 + 2419681/17*c_1010_4^18 + 2745736/17*c_1010_4^17 + 2829764/17*c_1010_4^16 + 2669358/17*c_1010_4^15 + 2280784/17*c_1010_4^14 + 98852*c_1010_4^13 + 986090/17*c_1010_4^12 + 370159/17*c_1010_4^11 - 26386/17*c_1010_4^10 - 189677/17*c_1010_4^9 - 190083/17*c_1010_4^8 - 124276/17*c_1010_4^7 - 60986/17*c_1010_4^6 - 21158/17*c_1010_4^5 - 5752/17*c_1010_4^4 - 1062/17*c_1010_4^3 - 165/17*c_1010_4^2 - 16/17*c_1010_4 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.290 Total time: 5.500 seconds, Total memory usage: 85.75MB