Magma V2.19-8 Tue Aug 20 2013 23:50:40 on localhost [Seed = 3137130882] Type ? for help. Type -D to quit. Loading file "K12a669__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a669 geometric_solution 11.27677783 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 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 1 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.520785118598 1.045834507451 0 4 4 5 0132 0132 0321 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.132995908544 0.501648321862 6 0 0 7 0132 0132 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 -1 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.208168191830 0.341435142127 8 7 0 8 0132 3120 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.946134290849 1.121291496143 6 1 1 9 3201 0132 0321 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 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.132995908544 0.501648321862 7 10 1 10 3120 0132 0132 0213 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -1 -7 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.464462020662 0.582878928143 2 11 11 4 0132 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.235967644256 1.315969948640 12 3 2 5 0132 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549922681345 1.064537976937 3 9 10 3 0132 3120 1023 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.946134290849 1.121291496143 12 8 4 10 1023 3120 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 -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.005984328230 1.034472914151 9 5 8 5 3120 0132 1023 0213 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 1 7 -1 0 0 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.464462020662 0.582878928143 6 6 12 12 2310 0132 3120 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.421087906724 0.602041189740 7 9 11 11 0132 1023 3120 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 0.163704569396 0.710261891985 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_1001_4'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : negation(d['c_0101_8']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_4'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_1001_4'], 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0101_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_0011_12'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], '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' : negation(d['1']), 's_1_3' : 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_12'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_6']), 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10']})} 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_12, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_6, c_0101_8, c_0101_9, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 1792433009462565195433888656617586112621587704039584063886111262349\ 2707605866971032361336085171769868923254172595749486988545683405027\ 312216947660338753/184238232843482715912839650643060525323885605749\ 3918263771561756467820705661673488944702352806724933545468470696339\ 2668741760851757037120732898113632*c_1001_4^37 + 6306701103833062985326441206740869046452015177180098175079729958413\ 7033925020315541392179588571346807859738986872051602969993969482243\ 5797834967343177559/36847646568696543182567930128612105064777121149\ 8783652754312351293564141132334697788940470561344986709093694139267\ 85337483521703514074241465796227264*c_1001_4^36 + 2558383355917927631510417881243901121049199913173075997825611199264\ 7638056933220779169173944013760401977066146675502431756656983053994\ 48846759991008820109/1842382328434827159128396506430605253238856057\ 4939182637715617564678207056616734889447023528067249335454684706963\ 392668741760851757037120732898113632*c_1001_4^35 + 5891093738432675630866921653448378855548012416689468128510013891613\ 2661134322105362791485685473793462069503439952991963129131863571101\ 76332988721845023845/9211911642174135795641982532153026266194280287\ 4695913188578087823391035283083674447235117640336246677273423534816\ 96334370880425878518560366449056816*c_1001_4^34 + 2887112234260473495716455408192524487405770793162985079453113666235\ 7779750880584526003524013724896902991234532124996727763874764378225\ 106010103404746762983/184238232843482715912839650643060525323885605\ 7493918263771561756467820705661673488944702352806724933545468470696\ 3392668741760851757037120732898113632*c_1001_4^33 - 1591009632859214613385812696156380806852498550876287655968943108088\ 8495871306906781688445443445993733195231829341462715990715750876637\ 125271859210946387945/368476465686965431825679301286121050647771211\ 4987836527543123512935641411323346977889404705613449867090936941392\ 6785337483521703514074241465796227264*c_1001_4^32 - 3535977274392584598977103623422172552725218659800363250305161210946\ 1987047557779447141159102747279259048504007032146150626679847220847\ 3256217741519963314367/18423823284348271591283965064306052532388560\ 5749391826377156175646782070566167348894470235280672493354546847069\ 63392668741760851757037120732898113632*c_1001_4^31 - 1816035151793271702324814466313572837111094301523888984051767078799\ 9632752424089639986858231022808530968805024652862407344764282621110\ 81283663031382174187173/1842382328434827159128396506430605253238856\ 0574939182637715617564678207056616734889447023528067249335454684706\ 963392668741760851757037120732898113632*c_1001_4^30 - 1711438751631992458245323085493533215750789984794937391762261247580\ 3506285901237301877701240436792639128561264773081997500121992612904\ 0232105265713454889995/54187715542200798797894014895017801565848707\ 5733505371697518163667006089900492202630794809649036745160431903145\ 982137315934142698736385903908768048*c_1001_4^29 - 1523907902635447983800661646335676647513440947735712307967478813008\ 2826075644917071444130727168610130708966785671252777504388342550763\ 889969364382824825561609/184238232843482715912839650643060525323885\ 6057493918263771561756467820705661673488944702352806724933545468470\ 6963392668741760851757037120732898113632*c_1001_4^28 - 2102641956706492770943185383259571653011652591559334765269674851266\ 8497742517193292784906597611621975313783641629497084102697320725052\ 03478049469640788284629/1151488955271766974455247816519128283274285\ 0359336989148572260977923879410385459305904389705042030834659177941\ 85212041796360053234814820045806132102*c_1001_4^27 - 6578491049172751348700889229623131277963274894123512649462222906928\ 3335841510449396554215901754860115335830134543583191214284209667933\ 145661946259707697612789/184238232843482715912839650643060525323885\ 6057493918263771561756467820705661673488944702352806724933545468470\ 6963392668741760851757037120732898113632*c_1001_4^26 - 1355969499285822934897392540616576458171023648465194445521530839648\ 8804668850040746216633882602975680594743759439798017697890522350305\ 443254278490583629997483/216750862168803195191576059580071206263394\ 8302934021486790072654668024359601968810523179238596146980641727612\ 583928549263736570794945543615635072192*c_1001_4^25 - 1838589498081938911717964889042996390412362855141884455035521408171\ 6446328061523592101862744881999703220608428561676457487858850727673\ 0401795495343962703112041/18423823284348271591283965064306052532388\ 5605749391826377156175646782070566167348894470235280672493354546847\ 06963392668741760851757037120732898113632*c_1001_4^24 - 1570099055376291098110453729284192633160320242769084038951029806895\ 2682724233497312548649948023040906776140575674688666427066611291605\ 775394481869569434001429/108375431084401597595788029790035603131697\ 4151467010743395036327334012179800984405261589619298073490320863806\ 291964274631868285397472771807817536096*c_1001_4^23 - 1113005908845969819018927704740882579738910897531753728292460205123\ 0507581566882252525472604049781402844575543410226862803573290123214\ 782473827526152003908410/575744477635883487227623908259564141637142\ 5179668494574286130488961939705192729652952194852521015417329588970\ 92606020898180026617407410022903066051*c_1001_4^22 - 7698714567697458881983263379713831818496046256663280627038326286741\ 7072252184801070649114159755401465653925013519087880406284835957200\ 60745541980663862474419/3260853678645711786067958418461248235820984\ 1725556075464983393919784437268348203344154023943481857230893247268\ 9617569358261254013398887092617665728*c_1001_4^21 - 9800522034095686508788856448960836102843637222182037001794870148612\ 9223901842163962092146855241926119548628497902438640810849286236185\ 3762105143007541365177977/36847646568696543182567930128612105064777\ 1211498783652754312351293564141132334697788940470561344986709093694\ 13926785337483521703514074241465796227264*c_1001_4^20 - 2536668258521945967986784799705170016734454947951753534337205847170\ 4225138714844955523240917079572127375346076561728997488828581953927\ 0901387893114581650612743/92119116421741357956419825321530262661942\ 8028746959131885780878233910352830836744472351176403362466772734235\ 3481696334370880425878518560366449056816*c_1001_4^19 - 4862330628500519960057709749868235716548754114055337916079262982165\ 0979649101214105396657038742119735340087763346337039430319243669542\ 8270830068601624149523255/18423823284348271591283965064306052532388\ 5605749391826377156175646782070566167348894470235280672493354546847\ 06963392668741760851757037120732898113632*c_1001_4^18 - 4297677508821741592729624499944781427019983818709366773545854613175\ 2550226965655512238562865570778753559743920943050517083092927697710\ 2724059615200552848266307/18423823284348271591283965064306052532388\ 5605749391826377156175646782070566167348894470235280672493354546847\ 06963392668741760851757037120732898113632*c_1001_4^17 - 1297059647382326248537070123488976812590715262515260248202347088575\ 8984394561594262715697194609861535269779869806168441852842253649619\ 96929848015245996226719/6773464442775099849736751861877225195731088\ 4466688171462189770458375761237561525328849351206129593145053987893\ 247767164491767837342048237988596006*c_1001_4^16 - 2676821800290102450435355776700456491253844436015160822752467566072\ 3499416234606558668193582687179294392646603613197278772204001720325\ 9529754498602988200266195/18423823284348271591283965064306052532388\ 5605749391826377156175646782070566167348894470235280672493354546847\ 06963392668741760851757037120732898113632*c_1001_4^15 - 3777975705943276450798088924602170218235533832308613206405123089127\ 2635905706443346670392235675714205635612051452183704192609597625684\ 0969995190969695489157113/36847646568696543182567930128612105064777\ 1211498783652754312351293564141132334697788940470561344986709093694\ 13926785337483521703514074241465796227264*c_1001_4^14 - 3075900686952869443645836416842040475448946477064625224337200016796\ 8730744860731061971484569779837985927125164279339496014102516016446\ 743060653820259533138285/460595582108706789782099126607651313309714\ 0143734795659428904391169551764154183722361755882016812333863671176\ 740848167185440212939259280183224528408*c_1001_4^13 - 1488496043231209741753764312764280404078069995786937985922894571078\ 2747266858483327341473042362938644846622307134504031615724607536174\ 7968445963712884072607839/36847646568696543182567930128612105064777\ 1211498783652754312351293564141132334697788940470561344986709093694\ 13926785337483521703514074241465796227264*c_1001_4^12 - 4140439208560921293134897181168633807443165026822777224262470816362\ 2423964381078284952048584181232191690923989845015111653117913174059\ 223781822943144649412149/184238232843482715912839650643060525323885\ 6057493918263771561756467820705661673488944702352806724933545468470\ 6963392668741760851757037120732898113632*c_1001_4^11 - 4263612188302682172890435129381460190562205226553077955056159184893\ 6161072975843805158544885013315520722324209365254867354089545653324\ 907722998319771659747141/368476465686965431825679301286121050647771\ 2114987836527543123512935641411323346977889404705613449867090936941\ 3926785337483521703514074241465796227264*c_1001_4^10 - 7056216328115050700732720248932482180577301586776747895954535082722\ 8102391612972478935904420709066842592534569937417158062000225703988\ 144396133480115590443/129745234396818814023126514537366567129496905\ 4573181875895466025681563877226530626017396023103327417989766528659\ 39384991139160927866458596710550096*c_1001_4^9 - 4314913563485895000491759758755423529045351419186098786384974531776\ 0321556591206858055166396045907546260658099132886442549026687514521\ 44719834076239182995293/1842382328434827159128396506430605253238856\ 0574939182637715617564678207056616734889447023528067249335454684706\ 963392668741760851757037120732898113632*c_1001_4^8 - 3350056786156491023938441310560111128668814467448602216037365976068\ 9751158814252829318275315557545910498274184964912187364893980768234\ 53834127953607760772475/3684764656869654318256793012861210506477712\ 1149878365275431235129356414113233469778894047056134498670909369413\ 926785337483521703514074241465796227264*c_1001_4^7 - 5818576431780932852909187202567568855663539296672957905746036770909\ 1503766234384928345159940482173633202152019068365925650462089320920\ 2798821897213934135695/18423823284348271591283965064306052532388560\ 5749391826377156175646782070566167348894470235280672493354546847069\ 63392668741760851757037120732898113632*c_1001_4^6 - 1780654674699743260504602071683585740403638381608560829588422402507\ 4222870597703487542737230776457241510965949432711544695575991038644\ 6667036146775878856055/18423823284348271591283965064306052532388560\ 5749391826377156175646782070566167348894470235280672493354546847069\ 63392668741760851757037120732898113632*c_1001_4^5 - 9045446189072332311174897619360404889678099511971331265596914392752\ 6498741663458005946124148182410381919695665433628668229297712297146\ 1827806418831657225/36482818384848062556997950622388222836412991237\ 5033319558725100290657565477559106721723238179549491791181875385413\ 716212708135678357170707582140864*c_1001_4^4 - 1994965529026094799392428593644641911242979614206027560271660321452\ 8622520780900834557496039698604644881945983561816385281980758727829\ 211098755876585065891/368476465686965431825679301286121050647771211\ 4987836527543123512935641411323346977889404705613449867090936941392\ 6785337483521703514074241465796227264*c_1001_4^3 - 1436676116853095049026004358584624474013280538411630928668012850280\ 3287486286249499503847142247250438533518083396577674229538792484140\ 26239596738410671541/1842382328434827159128396506430605253238856057\ 4939182637715617564678207056616734889447023528067249335454684706963\ 392668741760851757037120732898113632*c_1001_4^2 - 8054321723332357651446106377745185551610173712824041724176627297081\ 6792666694386565732081123482789672132519226360466000123877164655198\ 197459806888938021/921191164217413579564198253215302626619428028746\ 9591318857808782339103528308367444723511764033624667727342353481696\ 334370880425878518560366449056816*c_1001_4 + 7215099648510159031077540574443322847306557018780403553501049922843\ 4766527102753469145308884671416427294925786387474550857390952133860\ 5624637572351737/57574447763588348722762390825956414163714251796684\ 9457428613048896193970519272965295219485252101541732958897092606020\ 898180026617407410022903066051, c_0011_0 - 1, c_0011_10 + 14883527015154134280096190522929229521342535579872375764857\ 2175293450973814654284851103875133381955903758594243425297842328250\ 4090665/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^37 + 122477472649965006987043869338931070651775038\ 7127241995392816776855542498734195107977637404523059157806854278037\ 4179236518150714872923/25888749342568424424837708270561187977582939\ 6838285001637807708594676784925377625506655097336206117103488063702\ 5539880111716696393768*c_1001_4^36 + 4571648088908080734841371883209927109751421241254399732935070056907\ 3000011417614938951013050141752989883644856777483418863320328583949\ /129443746712842122124188541352805939887914698419142500818903854297\ 3383924626888127533275486681030585517440318512769940055858348196884\ *c_1001_4^35 + 1849447166990986468812231943250499956841385304828746\ 2188603501940111794197197582461996848198393537607772601834656716480\ 1171256019984569/12944374671284212212418854135280593988791469841914\ 2500818903854297338392462688812753327548668103058551744031851276994\ 0055858348196884*c_1001_4^34 + 130797947344771088319216642532239123\ 5530684253802129656281900766756332859664138456643540847013411787767\ 198154018637633056096762908037585/517774986851368488496754165411223\ 7595516587936765700032756154171893535698507552510133101946724122342\ 069761274051079760223433392787536*c_1001_4^33 - 1640462409172385878277942576154978029852459231673835823394205466488\ 5413047083244134623820569609289962420504937431066827911610296234710\ 11/2588874934256842442483770827056118797758293968382850016378077085\ 9467678492537762550665509733620611710348806370255398801117166963937\ 68*c_1001_4^32 - 14172742594701908097829704541476693907283775285173\ 4233592888804394377690709313795175840760204333867995661104861965303\ 43507021528455042207/2588874934256842442483770827056118797758293968\ 3828500163780770859467678492537762550665509733620611710348806370255\ 39880111716696393768*c_1001_4^31 - 7339161250144483010825835082414053446871464974967259477613127182043\ 0171347768563588107495733349304797098100921242157911577617679851301\ 24/3236093667821053053104713533820148497197867460478562520472596357\ 4334598115672203188331887167025764637936007962819248501396458704922\ 1*c_1001_4^30 - 157401305226019997902808221820425568717920512095992\ 5917621978902162447417838988850751886394652869857864688009085429807\ 16941680116787461419/2588874934256842442483770827056118797758293968\ 3828500163780770859467678492537762550665509733620611710348806370255\ 39880111716696393768*c_1001_4^29 - 4577309009578583980939633645089735466500588344396232769659843724177\ 3032223138185270137465575463878279713191449282492666401963966642260\ 544/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^28 - 88080228551363332676455766172377026169235406828095\ 8103905423241746665145966393790466653850702009063995244812340809832\ 37106431560931101112/3236093667821053053104713533820148497197867460\ 4785625204725963574334598115672203188331887167025764637936007962819\ 2485013964587049221*c_1001_4^27 - 243190142096860026869346200539743\ 0170576036870005719224747907244281338328936498107541365804524068144\ 142033888418358191276956794916722978749/517774986851368488496754165\ 4112237595516587936765700032756154171893535698507552510133101946724\ 122342069761274051079760223433392787536*c_1001_4^26 - 1844663093137862520430804688579375941798997531739632494191083781074\ 8835552479868551928707899690717503725181905892381674867100990975348\ 49685/2588874934256842442483770827056118797758293968382850016378077\ 0859467678492537762550665509733620611710348806370255398801117166963\ 93768*c_1001_4^25 - 25211068257220130640435070923655436973205821991\ 0480664924303742852059299422715125104171241936529678709932217775316\ 5933608794565977991356285/25888749342568424424837708270561187977582\ 9396838285001637807708594676784925377625506655097336206117103488063\ 7025539880111716696393768*c_1001_4^24 - 2990138196128650920183878144277331956207694895641413552037985859317\ 9863557696443724597623729003049935810044136078487091983378999434672\ 32555/2588874934256842442483770827056118797758293968382850016378077\ 0859467678492537762550665509733620611710348806370255398801117166963\ 93768*c_1001_4^23 - 62832734697875432077331929093400769392520478806\ 9973620448556766643513788029225795937574998664221167658948107866793\ 5156138673959742436152607/51777498685136848849675416541122375955165\ 8793676570003275615417189353569850755251013310194672412234206976127\ 4051079760223433392787536*c_1001_4^22 - 5322816778585027017809174879030539650544330453630912717695929997764\ 6432723299639219971911250034988014899637474576561584322156220035823\ 55027/5177749868513684884967541654112237595516587936765700032756154\ 1718935356985075525101331019467241223420697612740510797602234333927\ 87536*c_1001_4^21 - 21698120105098422250693190751290969489533975953\ 3178666141393997355297867022755123773467564626321669894986998471748\ 040720003622131791212894/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^20 - 3344211867102757633555353547709658888438667555524746066422147033839\ 2095572787971550648488373948533741325953824505824671437329331669733\ 8767/25888749342568424424837708270561187977582939683828500163780770\ 8594676784925377625506655097336206117103488063702553988011171669639\ 3768*c_1001_4^19 + 100007179838791647977145188095940540254748414379\ 7400738970853465443641551154719767675519378981006698409491619574505\ 524424393440349146668047/258887493425684244248377082705611879775829\ 3968382850016378077085946767849253776255066550973362061171034880637\ 025539880111716696393768*c_1001_4^18 + 2732021605591907301939351350742779717890911118949448933673247848152\ 0328793867474139671843947022789814474219201551126487245597492055428\ 7943/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^17 + 6958415324419556681184627930866743681691592231012\ 9007827168225462879814248687218114311231122463683332169263563425634\ 3958605373854956880155/64721873356421061062094270676402969943957349\ 2095712504094519271486691962313444063766637743340515292758720159256\ 384970027929174098442*c_1001_4^16 + 5924558483147560876474191883767272521432146693065126732785776139318\ 1475867871677638756580806736174455342989947318511103552323781107114\ 05785/5177749868513684884967541654112237595516587936765700032756154\ 1718935356985075525101331019467241223420697612740510797602234333927\ 87536*c_1001_4^15 + 26431168297858211262593897068311733086459131647\ 2779233255234651652192923066937758095250807541207800329028641143370\ 5936763581669406566687171/25888749342568424424837708270561187977582\ 9396838285001637807708594676784925377625506655097336206117103488063\ 7025539880111716696393768*c_1001_4^14 + 4297287329898935967334835642426633377841850320678588020137626187530\ 7449010572687093240782146497751906032692868412208176761773951915352\ 95459/5177749868513684884967541654112237595516587936765700032756154\ 1718935356985075525101331019467241223420697612740510797602234333927\ 87536*c_1001_4^13 + 76709233004353886719821040606864065064446398334\ 8671679719203403478523856291900203897255291594186361304963249761847\ 881020113983697105682767/129443746712842122124188541352805939887914\ 6984191425008189038542973383924626888127533275486681030585517440318\ 512769940055858348196884*c_1001_4^12 + 2026713524161394091239615365177914121141402966239371811265577195370\ 4971295506025471027550412455864165440903392940400364104779028032375\ 23313/5177749868513684884967541654112237595516587936765700032756154\ 1718935356985075525101331019467241223420697612740510797602234333927\ 87536*c_1001_4^11 + 29799166208879069836526804068807496735711766294\ 1676441276964250749801976476316550183123732841482119905120881182387\ 646656247579250347458309/129443746712842122124188541352805939887914\ 6984191425008189038542973383924626888127533275486681030585517440318\ 512769940055858348196884*c_1001_4^10 + 4070604937708277365448100211106399924642683316114021959335457432130\ 5328325000797725828548114736129783250230963153251350687023794522601\ 998/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^9 + 318387984413573574781546763901448023368084197528556\ 5418121212953072078172220419552887459289566983730847553189829797698\ 79685326104902346803/5177749868513684884967541654112237595516587936\ 7657000327561541718935356985075525101331019467241223420697612740510\ 79760223433392787536*c_1001_4^8 + 713128978255456262137524341399903\ 0269386635646919872539612744652948972060228109011162968779842214215\ 6798850974323513441022560248658857815/25888749342568424424837708270\ 5611879775829396838285001637807708594676784925377625506655097336206\ 1171034880637025539880111716696393768*c_1001_4^7 + 1436948604674896290755338422517144192709249846428600732342899064064\ 7085195755344873888050750171183689659109760867048154068189732064926\ 079/129443746712842122124188541352805939887914698419142500818903854\ 2973383924626888127533275486681030585517440318512769940055858348196\ 884*c_1001_4^6 + 20331103594275017034874213871183348010727677025023\ 7320479587146941367801010564178711663926693581284615901471618921389\ 53874731683289069663/5177749868513684884967541654112237595516587936\ 7657000327561541718935356985075525101331019467241223420697612740510\ 79760223433392787536*c_1001_4^5 + 664015184443762377906156290169645\ 0211577943041889459198464448383562961404898292993649693833998258814\ 034414211075201295040186067418468067/517774986851368488496754165411\ 2237595516587936765700032756154171893535698507552510133101946724122\ 342069761274051079760223433392787536*c_1001_4^4 + 8379617650646318097250361686689902140421843029119337381656479823147\ 9195619139967438751568002755030133417864420718848599863463032807226\ 9/25888749342568424424837708270561187977582939683828500163780770859\ 4676784925377625506655097336206117103488063702553988011171669639376\ 8*c_1001_4^3 + 1103229562409239522540696142493321321242851180906233\ 7497791251420217291221122338512067468525107552126092557856303042409\ 0890389153167569/12944374671284212212418854135280593988791469841914\ 2500818903854297338392462688812753327548668103058551744031851276994\ 0055858348196884*c_1001_4^2 + 3813770440421372906067117506003609053\ 3054428987442812062088369885985984701491565503230962103352788972280\ 32835901330143009665756666175/3236093667821053053104713533820148497\ 1978674604785625204725963574334598115672203188331887167025764637936\ 0079628192485013964587049221*c_1001_4 + 9245382500402504064050074366385110384807037713823975228012272671176\ 66901931682541196266407125403452036191679131489266034188996266700/3\ 2360936678210530531047135338201484971978674604785625204725963574334\ 5981156722031883318871670257646379360079628192485013964587049221, c_0011_12 + 60620989347887582442319241512666178332707060516376843171615\ 9134783610526112452081716940817493961924626115321585865185666503013\ 3004453/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^37 + 521952099971576198860020667875657471482035226\ 5757391569313533603996558722694238410909650973641081557801182780349\ 9811915596500359911629/25888749342568424424837708270561187977582939\ 6838285001637807708594676784925377625506655097336206117103488063702\ 5539880111716696393768*c_1001_4^36 + 2064365532576180593995059623962333542689491497349041096934723642223\ 6890320433134562910862989599776886362632836058620131360650525567331\ 1/12944374671284212212418854135280593988791469841914250081890385429\ 7338392462688812753327548668103058551744031851276994005585834819688\ 4*c_1001_4^35 + 916655793213965895185122108122375531619802750485784\ 9610968624059359794386036149917085296482960599858605061735550411837\ 60245209514340059/1294437467128421221241885413528059398879146984191\ 4250081890385429733839246268881275332754866810305855174403185127699\ 40055858348196884*c_1001_4^34 + 83175552269134227018564611027474578\ 0641856799306701633713324442931248518113985739366779129293167750114\ 9493496259711325276045167458120717/51777498685136848849675416541122\ 3759551658793676570003275615417189353569850755251013310194672412234\ 2069761274051079760223433392787536*c_1001_4^33 - 3064469231070750623832605859526608234413455933501212256188845379101\ 2540748901913615292325603279988908799786437973493584800088780710619\ 77/2588874934256842442483770827056118797758293968382850016378077085\ 9467678492537762550665509733620611710348806370255398801117166963937\ 68*c_1001_4^32 - 58987448612048614130382446075708012482405035766696\ 6287108652510011741624935281883210748197467528149214304272476770309\ 77351937114050352327/2588874934256842442483770827056118797758293968\ 3828500163780770859467678492537762550665509733620611710348806370255\ 39880111716696393768*c_1001_4^31 - 3556906451442182078769733162977448420112858951709045830291319987528\ 0835894873467285485920135027917473960798044475866384797394908451324\ 023/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^30 - 87187670986914258976022162187936451024331891868187\ 6323928122422013717214539142014181152511533808899761842749495388590\ 559465503491729448039/258887493425684244248377082705611879775829396\ 8382850016378077085946767849253776255066550973362061171034880637025\ 539880111716696393768*c_1001_4^29 - 5563554096241555214114576572496531584027305312303368801358637147486\ 1560541436300734892235290360954489146167152735917674220736957530252\ 7447/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^28 - 5980534558448921590148781139952684449980143021900\ 1708036422396129776602077643162290014219427758556158387052005877485\ 6731241032026598859448/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^27 - 1831953152002269658293423543469148980979887871874928338487364442369\ 1355984369430449654619481067983571923852060514359629794505338455592\ 042873/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^26 - 1571036409957299553288992214923574674284429269\ 1296953632889701356775825730182196379431938657991373171993348482876\ 888652200233337541259236863/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^25 - 2457449419698651174165004532032371396344530478983842116112031917752\ 4763667851596425617336322942155038576571340668794378157386088989923\ 960221/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^24 - 3491499449717095399809862344362738758036431985\ 6052073427157336598722455346681690201736065022313072887006456932759\ 390458337945601453964161711/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^23 - 9132636644558652521500661095226565111015573846890775870967205163891\ 4568791094292193885686657740269287096868829559593877828846741150807\ 308795/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^22 - 1090218386916845053523976110299470759804797959\ 2674137083511893572477118456055380767603478902210978592122688365843\ 4945467334435600742658507739/51777498685136848849675416541122375955\ 1658793676570003275615417189353569850755251013310194672412234206976\ 1274051079760223433392787536*c_1001_4^21 - 3006683138905133608717487886953619894355819029351012532193988523614\ 7801138104912596178447896144736593445380916429759846949908242558322\ 741081/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^20 - 6082904496793899300623799684380225620195897415\ 2149557388269057525357451905644866691934853566989743186506760614987\ 955973278120190750667382943/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^19 - 5710919616207240723779316524143466558160484849125955211651424449356\ 4249095322138887840571372438277166794063622512400724339602840375904\ 206541/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^18 - 1233866986272118826507184975524483249927519777\ 0108669601052764478113833471369321983002294367388604589566106376986\ 522895426814010117535742357/647218733564210610620942706764029699439\ 5734920957125040945192714866919623134440637666377433405152927587201\ 59256384970027929174098442*c_1001_4^17 - 9939960162129388987440094424265861042555581746731761542547157147501\ 0805797676816196460104471901603009911753706638382151622995249439092\ 73333/6472187335642106106209427067640296994395734920957125040945192\ 7148669196231344406376663774334051529275872015925638497002792917409\ 8442*c_1001_4^16 - 590971472855806583874083483127303875354868024965\ 1103492433669608489024920508658552772393603689073341960983555835681\ 3813090724807048898987339/51777498685136848849675416541122375955165\ 8793676570003275615417189353569850755251013310194672412234206976127\ 4051079760223433392787536*c_1001_4^15 - 2051725587690253363471302618844572985297307444268588298080961057457\ 5127807108820718457161137721679032390960249765043824877175159806352\ 830491/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^14 - 2623256876914573309585631984867245104036493087\ 0391565404141357378792581262133131898787135787931791046873925199069\ 318068865835524253744470657/517774986851368488496754165411223759551\ 6587936765700032756154171893535698507552510133101946724122342069761\ 274051079760223433392787536*c_1001_4^13 - 1959498811352451543878107299632572097631069588626572280636215741449\ 3818860006007307946881612741164711182124778175118682873988650967568\ 51861/6472187335642106106209427067640296994395734920957125040945192\ 7148669196231344406376663774334051529275872015925638497002792917409\ 8442*c_1001_4^12 - 859818766985403070876289832580626154438147686134\ 2898466848774306763422315558502806386261627525031280872864561755351\ 453710215569105281675363/517774986851368488496754165411223759551658\ 7936765700032756154171893535698507552510133101946724122342069761274\ 051079760223433392787536*c_1001_4^11 - 5501231333876006522966444815808595480586732301665557999257730231602\ 3856897258746279850734672131276081819520744348116347696566960673581\ 9819/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^10 - 1282933309941477739750507387710833989557560773269\ 5744034098655913146143430283025727984579653914633476520262909465009\ 3022532157430488181798/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^9 - 8849976998023057490828424598481448975247706175050972701475669644596\ 0387079166210432541353078922926045873682364745766901742578079674369\ 2401/51777498685136848849675416541122375955165879367657000327561541\ 7189353569850755251013310194672412234206976127405107976022343339278\ 7536*c_1001_4^8 - 1728624984660282019284096020375294910077371273253\ 7202411790224815272195863754108128873163069271774890142556271363002\ 0150935773086500553211/25888749342568424424837708270561187977582939\ 6838285001637807708594676784925377625506655097336206117103488063702\ 5539880111716696393768*c_1001_4^7 - 3030114717570307257927168826925724809831096885226796606162706483416\ 4266880698818201953631909286438184365913486087571997346528646618558\ 359/129443746712842122124188541352805939887914698419142500818903854\ 2973383924626888127533275486681030585517440318512769940055858348196\ 884*c_1001_4^6 - 38555242974989503497389538896901944197420409258041\ 2778121203541502187731965606459371669357405176505882884152444243902\ 74786217311646878261/5177749868513684884967541654112237595516587936\ 7657000327561541718935356985075525101331019467241223420697612740510\ 79760223433392787536*c_1001_4^5 - 100364461646731589958081787000608\ 8601792628448430427566045086917870643309754110406102401111220159654\ 3479716250135105673191444875469287445/51777498685136848849675416541\ 1223759551658793676570003275615417189353569850755251013310194672412\ 2342069761274051079760223433392787536*c_1001_4^4 - 1250726227870237726741941934758052144217780122387851564477959170067\ 6476259019840008441819185641777971941131729127538937994881034228894\ 69/2588874934256842442483770827056118797758293968382850016378077085\ 9467678492537762550665509733620611710348806370255398801117166963937\ 68*c_1001_4^3 - 870425757304889174665533019621896578247076434194848\ 3544983866477978031863026925908561211709053313116544790563030986292\ 6326661197103775/12944374671284212212418854135280593988791469841914\ 2500818903854297338392462688812753327548668103058551744031851276994\ 0055858348196884*c_1001_4^2 - 7998279720687073092829166067917682554\ 9428127681609000779208645772486184192727865157077327135480648562146\ 91233230239766942673022866085/6472187335642106106209427067640296994\ 3957349209571250409451927148669196231344406376663774334051529275872\ 0159256384970027929174098442*c_1001_4 + 5312889706238974637426090444328085102738705908350784299118230247957\ 92304062307847285585733424356293322952986111152844338599277170897/3\ 2360936678210530531047135338201484971978674604785625204725963574334\ 5981156722031883318871670257646379360079628192485013964587049221, c_0101_0 + 473353467054131604156598476040712266234571818004841735078046\ 6031273151967050938747860271804515390271772403174744501355503744713\ 4969/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^37 + 7194574078146240433128130836335775492485951810343\ 7764998800963291390424600945660288714277768939760830089386985307566\ 5420159700607122/32360936678210530531047135338201484971978674604785\ 6252047259635743345981156722031883318871670257646379360079628192485\ 013964587049221*c_1001_4^36 + 4850257121108031147523414346769760156\ 1955609340049766010979379070703848801135934957573950371946979223136\ 71722348299810278021325570974/3236093667821053053104713533820148497\ 1978674604785625204725963574334598115672203188331887167025764637936\ 0079628192485013964587049221*c_1001_4^35 + 1644718931503228372767340897066241581814403564364283817441232042478\ 3094557352604862087804084201840310968423527794609324742484897188459\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^34 + 13682639951876436008143954451458567853556016939422640\ 6135358254235876948834607306719067336335156736446628770450404312506\ 25665817361322/3236093667821053053104713533820148497197867460478562\ 5204725963574334598115672203188331887167025764637936007962819248501\ 3964587049221*c_1001_4^33 - 150529014827204502134192747242204080644\ 1214074699849715544640963090698806342696126862624946926072556444442\ 59408815778527218824543932828/3236093667821053053104713533820148497\ 1978674604785625204725963574334598115672203188331887167025764637936\ 0079628192485013964587049221*c_1001_4^32 - 7632700363100889359725938421644125799719725523165851033126139490503\ 8057466565277696031249288692648123498862234487813393632651352261524\ 6/32360936678210530531047135338201484971978674604785625204725963574\ 3345981156722031883318871670257646379360079628192485013964587049221\ *c_1001_4^31 - 2649809152580717531096375999677991663344516872556894\ 7916753143098368321391324976825713785156522925307675294328819875150\ 69849090882915741/3236093667821053053104713533820148497197867460478\ 5625204725963574334598115672203188331887167025764637936007962819248\ 5013964587049221*c_1001_4^30 - 559822062483520956840382958724589837\ 5820539557583987532920106747875918429559850940186374588846723844744\ 771295405191192005455193524708266/323609366782105305310471353382014\ 8497197867460478562520472596357433459811567220318833188716702576463\ 79360079628192485013964587049221*c_1001_4^29 - 1169369698026758617673888226630308238930928660104491983706116047271\ 6302993931138335362388139273313051538563713964396668538287888421553\ 578/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^28 - 17705594141130055133028399865696648436854672986887\ 0284359706556634196694575982353632306979757904271820473771052464958\ 37259640221561359714/3236093667821053053104713533820148497197867460\ 4785625204725963574334598115672203188331887167025764637936007962819\ 2485013964587049221*c_1001_4^27 - 251353264498390325954101873384470\ 1664917859678009409442783041953472435235308912225332439107472541143\ 0087170160953807982089723833325608262/32360936678210530531047135338\ 2014849719786746047856252047259635743345981156722031883318871670257\ 646379360079628192485013964587049221*c_1001_4^26 - 2591754723226477135362356962284840129909428054432926744231602564482\ 0578247795530831723000864866430501485261612531116367169139766814633\ 866/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^25 - 18965226480710429929620858682002264020719173068248\ 0359432117974173250798688331150490226924250772439268264226474172795\ 39699057795037806176/3236093667821053053104713533820148497197867460\ 4785625204725963574334598115672203188331887167025764637936007962819\ 2485013964587049221*c_1001_4^24 + 967610671632754222737428827580347\ 4946295637462081758482333476950867446109629826623769234892422549438\ 271354940839186001451842337525534307/323609366782105305310471353382\ 0148497197867460478562520472596357433459811567220318833188716702576\ 46379360079628192485013964587049221*c_1001_4^23 + 4970933186771119303609259507163523131379654789925881892421408274777\ 4610847592803438613247095935224215470401392524160063043006922071612\ 572/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^22 + 11761129998430054098981329550818379724205902786386\ 2009601107342527965386406584651390366785340322394483198375544292317\ 350398743808583272556/323609366782105305310471353382014849719786746\ 0478562520472596357433459811567220318833188716702576463793600796281\ 92485013964587049221*c_1001_4^21 + 1755947402555771831191325300806385926700825219015379443674474661479\ 2450763387441190430173474588558909134588979603652355176233960077169\ 5592/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^20 + 2412447317444838602779139264175835236819185617101\ 3162729904437711045995237090114329433642569421692352346461427895533\ 2996830841317547666589/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^19 + 2656528007955305428766403469353729351134359044922948746603156536896\ 5119555346450669587192139892031147939686220358628794480875049412561\ 8909/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^18 + 2801535521845735597559270799815036038338979874051\ 6022894700203976242900022582943052684749328900440875387820802217600\ 6060449951110259538208/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^17 + 2484215938040223611607982239368627449754188676425270562223880317897\ 7909364666413779743481256619479738024022898733406002134120456006615\ 8000/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^16 + 2151574414697249195585257107198578924357996004579\ 8640165749992069093074241610961907316933853064575436738385766634855\ 1750003379109087749086/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^15 + 1585507294600562720746156317599763132228306389975899403088613387262\ 7737555338090950699562541514220796159890951445439857978510144936009\ 6270/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^14 + 1159297354564625051596491455383992791770532368151\ 0371542875443551933136290549000147939939765174675513236563681919516\ 7002418427927349353456/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^13 + 7121187026660884167828879098263088971084157131501412428371340076469\ 7263767537669016424314078502661745565536357132455982667056899343381\ 271/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^12 + 44390204041442748773098614121058898182196525559713\ 5433113667251865489799073070563892403696022481879305671618826991631\ 87990343160233442990/3236093667821053053104713533820148497197867460\ 4785625204725963574334598115672203188331887167025764637936007962819\ 2485013964587049221*c_1001_4^11 + 228351472114956895815058044662439\ 8227312317082451571673356192595719352266797845319800908980291842613\ 4187114748334399317030347225649621489/32360936678210530531047135338\ 2014849719786746047856252047259635743345981156722031883318871670257\ 646379360079628192485013964587049221*c_1001_4^10 + 1216620653117793744558446376613582670416764114003254398988995548265\ 4092626287057477845602961468351518392760441584469049233891977556493\ 172/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^9 + 523684040282758340707314078147760440663446046616387\ 9159589886154882341754202808474041903826103814566405329411437340194\ 311194562721215685/323609366782105305310471353382014849719786746047\ 8562520472596357433459811567220318833188716702576463793600796281924\ 85013964587049221*c_1001_4^8 + 233609325957519757300254107602012257\ 6938495063877095615940635873722590145283713104915015910623880565964\ 797027811968369790702123947386476/323609366782105305310471353382014\ 8497197867460478562520472596357433459811567220318833188716702576463\ 79360079628192485013964587049221*c_1001_4^7 + 9012382118217875625032607811824177370836385202974066526683726635714\ 5823279831649260462046832777216633946762279709624757446097277084870\ 2/32360936678210530531047135338201484971978674604785625204725963574\ 3345981156722031883318871670257646379360079628192485013964587049221\ *c_1001_4^6 + 30361625702345266349544141009640863715045209384268258\ 2412878881774442921550755570492142964636701631056085425509839875080\ 443563098277281/323609366782105305310471353382014849719786746047856\ 2520472596357433459811567220318833188716702576463793600796281924850\ 13964587049221*c_1001_4^5 + 127249110022470876855268701430544834984\ 6589273621006726637415946664922097418597179059281953232286283757792\ 91035674812119264435780159428/3236093667821053053104713533820148497\ 1978674604785625204725963574334598115672203188331887167025764637936\ 0079628192485013964587049221*c_1001_4^4 + 2455852906394951632296551041359890867972789109032356360809406760957\ 3390087656103060112859239463788400030070749659859901726150314566400\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^3 + 159584170854629916498440643051272697981901286365768839\ 3644521916954782232371743091782316917530593121554490461997775553661\ 9770077179901/32360936678210530531047135338201484971978674604785625\ 2047259635743345981156722031883318871670257646379360079628192485013\ 964587049221*c_1001_4^2 + 99803800565763215206802669394312002488134\ 4225040591174780935461205927110930252120094017659274627598569972374\ 219256318510745907764576/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4 + 1197140100274202837749270634681352099003980621681495676342654169369\ 786132491169653664433389412305406850313820779847880190191427114912/\ 3236093667821053053104713533820148497197867460478562520472596357433\ 45981156722031883318871670257646379360079628192485013964587049221, c_0101_1 - 404564820580589887468191679375772950044388215276564841563997\ 0247275109272771268194989771564034173010027921034961760836948585756\ 39371/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^37 - 68875745038895607200138394541302290875081642555\ 8300804490489328171248408711672835770758769829626179023999496289396\ 8025066184150231039/12944374671284212212418854135280593988791469841\ 9142500818903854297338392462688812753327548668103058551744031851276\ 9940055858348196884*c_1001_4^36 - 134326527508416602709881959678936\ 6215794588693530916620444967985592690394407142071000166343987312450\ 4972039477163353962337591818754751/32360936678210530531047135338201\ 4849719786746047856252047259635743345981156722031883318871670257646\ 379360079628192485013964587049221*c_1001_4^35 - 5841349347508991302412624607406100582773851199807880214470721542342\ 4603035681258426237183745195138785337441482385540159764291540392479\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^34 - 50497285636985994557387485344016843351898428346741098\ 5192791760995438664355272299045372289131478062297007337700265485849\ 173369794405159/129443746712842122124188541352805939887914698419142\ 5008189038542973383924626888127533275486681030585517440318512769940\ 055858348196884*c_1001_4^33 + 5285441002881837983675061436546433229\ 3353261192184080751329745813825543584435450445311366314609034667593\ 4238254751828451474951693699341/12944374671284212212418854135280593\ 9887914698419142500818903854297338392462688812753327548668103058551\ 7440318512769940055858348196884*c_1001_4^32 + 3911434984330740272191804516650238975927193339830852574600546588508\ 0555026775827778429509792487195819712061027771193657297897085407864\ 17/6472187335642106106209427067640296994395734920957125040945192714\ 8669196231344406376663774334051529275872015925638497002792917409844\ 2*c_1001_4^31 + 182240153074736063055819498331277524396476730725593\ 3344981669866521237876049610142325565486356856951371154539336998406\ 5122527773525970055/64721873356421061062094270676402969943957349209\ 5712504094519271486691962313444063766637743340515292758720159256384\ 970027929174098442*c_1001_4^30 + 5432429708448072714611307144915576\ 4550224067160171827196113194166175614756642604359828246672445654005\ 430324670680378894495515328890015999/647218733564210610620942706764\ 0296994395734920957125040945192714866919623134440637666377433405152\ 92758720159256384970027929174098442*c_1001_4^29 + 1363006590278261371201887416338340229974748623445606102661104182989\ 9492899960158975139939715042055084320940161944740192649206754234226\ 9867/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^28 + 1437038223288679068750774995474937922398329125564\ 9029089097584537801815376042022784937169504631714923990591556407128\ 9780289565481963567945/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^27 + 1082319765017110334035843662518492605270834417663944513808393190383\ 8706908848225163125183502406549343398345086378011090462909346393709\ 80127/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^26 + 18228843236998722556389909412110047378384022894\ 3821624744819189338772797656361900852275879909339680519098279397423\ 4325866106505313777172019/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^25 + 1400072980179681975835766493019757929450238750734176532586194045317\ 9134621461803464552616401098778390584809674789632000891860407343624\ 65221/6472187335642106106209427067640296994395734920957125040945192\ 7148669196231344406376663774334051529275872015925638497002792917409\ 8442*c_1001_4^24 + 973504768928691207986995877776731366304710182671\ 4110425425282949878559788957437210322552601447201461818447922818170\ 83589540106564661605514/3236093667821053053104713533820148497197867\ 4604785625204725963574334598115672203188331887167025764637936007962\ 8192485013964587049221*c_1001_4^23 + 4981082045673192816175347333233490272660624572655002112344587769152\ 5071342236500819951762153261346100541992319552100115370352002689773\ 38919/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^22 + 14462571058798535604023041164344473213746385176\ 4420916592316908101643906326257916611896376585633498453054047078880\ 2580312620710444487863465/32360936678210530531047135338201484971978\ 6746047856252047259635743345981156722031883318871670257646379360079\ 628192485013964587049221*c_1001_4^21 + 6198995321819842686464815055062669378223400670860635472765122989420\ 2495084377986267434291003980381314180976667079446762418919798229332\ 39553/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^20 + 15121286158944556187265995072641406450435422762\ 9295263171969110745562772661231661659054080462517876042273420919951\ 6946193620288907885143125/32360936678210530531047135338201484971978\ 6746047856252047259635743345981156722031883318871670257646379360079\ 628192485013964587049221*c_1001_4^19 + 1366085553687463477797343487132665416389576587101377776998182997113\ 8868945066914392212791294468947901794287294466020295824855057357266\ 24097/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^18 + 225028054047894345271889218834777432377214897261\ 6127431339906394720334289003971942146052333684723566168542554599800\ 650094523552831275126563/647218733564210610620942706764029699439573\ 4920957125040945192714866919623134440637666377433405152927587201592\ 56384970027929174098442*c_1001_4^17 + 8610100358839063583391134703403186500559529668408292650009095072012\ 3457909278247746147386168693549014241430529366795745038193155301737\ 1918/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^16 + 2396530595132670817651061479751224202323098059155\ 8345812701394926888268113711403681496714424764811750811869417974130\ 26339371999756026555457/1294437467128421221241885413528059398879146\ 9841914250081890385429733839246268881275332754866810305855174403185\ 12769940055858348196884*c_1001_4^15 + 1549508201559465531615093531290047453305849735178991000133678312193\ 9656665085228187553415005111238210062674775072663090543974536139646\ 17241/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^14 + 89941688723045866229961810730054172409216491442\ 5201216377535095680846154890587528762445820623658057450099468816714\ 435104155801331809035615/129443746712842122124188541352805939887914\ 6984191425008189038542973383924626888127533275486681030585517440318\ 512769940055858348196884*c_1001_4^13 + 4830296605360511282373447829931738142143628321618425992148775646635\ 2420154647834738159374475659474899190061694806584254582786425712038\ 8133/12944374671284212212418854135280593988791469841914250081890385\ 4297338392462688812753327548668103058551744031851276994005585834819\ 6884*c_1001_4^12 + 227123104724135560424528362506203263216752503464\ 7491871586197684500641747654417757367870315567245498026512559757602\ 05577565760102182493263/1294437467128421221241885413528059398879146\ 9841914250081890385429733839246268881275332754866810305855174403185\ 12769940055858348196884*c_1001_4^11 + 9712439675283944312516877771354774510691114886978686608655518211816\ 5026271190304313401853616676302662760495058435559344598797938686232\ 471/129443746712842122124188541352805939887914698419142500818903854\ 2973383924626888127533275486681030585517440318512769940055858348196\ 884*c_1001_4^10 + 1684623651562435510066623429471560564204429051588\ 3074072663846256754630405899844351088090925183314050958341568183302\ 603090311796787578317/647218733564210610620942706764029699439573492\ 0957125040945192714866919623134440637666377433405152927587201592563\ 84970027929174098442*c_1001_4^9 + 937240457711396004233898178450170\ 4355761373029583423026027379611559717095921727899672261021662266097\ 633780107600164811077001633878866515/129443746712842122124188541352\ 8059398879146984191425008189038542973383924626888127533275486681030\ 585517440318512769940055858348196884*c_1001_4^8 + 1134556308322759192232104794133239052483269138867810055144377430084\ 4142416187693006586701940949311578400874592838245422202586132491886\ 59/1294437467128421221241885413528059398879146984191425008189038542\ 9733839246268881275332754866810305855174403185127699400558583481968\ 84*c_1001_4^7 - 174416526994158539665908213881734454952945737007560\ 2370786339876818654415400653179466886750074641513535373032510200675\ 16108931484589258/3236093667821053053104713533820148497197867460478\ 5625204725963574334598115672203188331887167025764637936007962819248\ 5013964587049221*c_1001_4^6 - 5763638739979401644180199598391653808\ 5591968299449067737654633009918895192381558951202946396810951848829\ 1328495383471993338180044637921/12944374671284212212418854135280593\ 9887914698419142500818903854297338392462688812753327548668103058551\ 7440318512769940055858348196884*c_1001_4^5 - 8440603254492985360750267039623406858325575130535078589240327218274\ 5562296067646911491495699920337653951625247403431474243572968755287\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^4 - 104794296556120609952488834425987180518724391454230152\ 8325668626761364108920432964561934155324945737691699436764373207186\ 03802086177583/1294437467128421221241885413528059398879146984191425\ 0081890385429733839246268881275332754866810305855174403185127699400\ 55858348196884*c_1001_4^3 - 942979282870364765177840116278378646763\ 6947581139964975787042925488309264142956844626497728247817620895694\ 032783952927447363116526203/323609366782105305310471353382014849719\ 7867460478562520472596357433459811567220318833188716702576463793600\ 79628192485013964587049221*c_1001_4^2 - 1510784307919236012041603186095792503931177815300002470561624185899\ 957664041186631729218947556544857349325344609461324700648194782211/\ 3236093667821053053104713533820148497197867460478562520472596357433\ 45981156722031883318871670257646379360079628192485013964587049221*c\ _1001_4 - 249960417228542384974881609305503697291468323859490748465\ 5299938393569648952760429070775744021703688492793021071268392526348\ 88876899/3236093667821053053104713533820148497197867460478562520472\ 5963574334598115672203188331887167025764637936007962819248501396458\ 7049221, c_0101_10 + 34209737642114760369817149606474384278333897388571348198128\ 7391785545855544626177728725113546380265430153580294961940988909017\ 981999/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^37 + 6123512118752025931669729870794115823353176945\ 7898514058432661739584506570925064579510036921342958511470201805825\ 51229249338654537347/1294437467128421221241885413528059398879146984\ 1914250081890385429733839246268881275332754866810305855174403185127\ 69940055858348196884*c_1001_4^36 + 5061015830521821568056837304354894564032805436131470874813247498852\ 7229175345459071473626432641696729668230499412182030241767472964767\ /129443746712842122124188541352805939887914698419142500818903854297\ 3383924626888127533275486681030585517440318512769940055858348196884\ *c_1001_4^35 + 5970202535972388741553938240698845656637389823853458\ 6577596882866992936817302008770640755605058927930535131258750479546\ 369571877824895/323609366782105305310471353382014849719786746047856\ 2520472596357433459811567220318833188716702576463793600796281924850\ 13964587049221*c_1001_4^34 + 61260816387916749406992666640206295509\ 0866593562925627448212485578575976744260307662649167504441584906718\ 111960383414427567732331657079/129443746712842122124188541352805939\ 8879146984191425008189038542973383924626888127533275486681030585517\ 440318512769940055858348196884*c_1001_4^33 - 9930406615810955197634666681376686380791866177185074097610076552224\ 703837390235251685901760208185797871766405510954400484556197273441/\ 1294437467128421221241885413528059398879146984191425008189038542973\ 383924626888127533275486681030585517440318512769940055858348196884*\ c_1001_4^32 - 68281233729878030758006998377212348107962603261383736\ 7206137646754881557240223041554509036523543525712274009687486613318\ 4893471724759539/12944374671284212212418854135280593988791469841914\ 2500818903854297338392462688812753327548668103058551744031851276994\ 0055858348196884*c_1001_4^31 - 182648444241448689064711439662177115\ 3931972535051901775069770714731412781540856942474136497550316824602\ 4149020212336141615167463792663735/64721873356421061062094270676402\ 9699439573492095712504094519271486691962313444063766637743340515292\ 758720159256384970027929174098442*c_1001_4^30 - 3012375894873986188629123272652978474668046597733729302644460446937\ 0117284812157272525788986891371770683400602147659115419754210402122\ 626/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^29 - 16028203958151486318624424202388158683056299136967\ 9717354315426167021912533779841847818425007131508646044493131754269\ 353716189956199471137/647218733564210610620942706764029699439573492\ 0957125040945192714866919623134440637666377433405152927587201592563\ 84970027929174098442*c_1001_4^28 - 3606593258504241948942815660809494147194836521760578658789410459943\ 6105007812911972832539957604925952196239427600869209348263941634257\ 4137/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^27 - 1431613639959088526356980153828448020139399243984\ 1511102385357668592633428008205845261995254220401234869551598510577\ 45099302135830242862263/1294437467128421221241885413528059398879146\ 9841914250081890385429733839246268881275332754866810305855174403185\ 12769940055858348196884*c_1001_4^26 - 2551020084096932336516510643711676581373152584958945459146569999818\ 7967811797904985423202805220659395571119666112364156514992970851516\ 95007/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^25 - 41352327023409672785084089911711467780185927136\ 6755450683286303165736311658255126413054666953707073081941096287355\ 1214096493103308136135113/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^24 - 1529146778765723958963797385284302046969173622864442738665448064981\ 9797323543197899646142954422444780928512479803223628541989653043362\ 83103/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^23 - 831752904707901985417255765336997805714378884008\ 2414673081355797917317090018027120604921021480237061250660201489293\ 894669027377929285031057/129443746712842122124188541352805939887914\ 6984191425008189038542973383924626888127533275486681030585517440318\ 512769940055858348196884*c_1001_4^22 - 5197063589341895614581751046354704910836355540138371755082423861178\ 3413156811982271560157614084743238912402034976778110292468031122929\ 20669/6472187335642106106209427067640296994395734920957125040945192\ 7148669196231344406376663774334051529275872015925638497002792917409\ 8442*c_1001_4^21 - 599500999047851168426937309500618517607401814847\ 8403277762589014968485184471693548431382510550893697403261410669227\ 519877642837463586669947/647218733564210610620942706764029699439573\ 4920957125040945192714866919623134440637666377433405152927587201592\ 56384970027929174098442*c_1001_4^20 - 1277655800683317704015260073885808606518715959488673298158301019592\ 2061113117909998024744985171997923189587911868170691169034348716588\ 808171/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^19 - 6307679330097741408394753352783179570552207429\ 7142208392966864769776559731920993775229036340157247754873137968035\ 52550554247671890449543013/6472187335642106106209427067640296994395\ 7349209571250409451927148669196231344406376663774334051529275872015\ 9256384970027929174098442*c_1001_4^18 - 2889415288033458482738725298266667179493913346611979346287103271052\ 7447883063342745074766734655174506453458292230365376060803491764015\ 17259/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^17 - 492193003190135183350717355855120908135705126898\ 5736868065385934675998967092416325332124283521107823892997528501778\ 825191009166383353099259/647218733564210610620942706764029699439573\ 4920957125040945192714866919623134440637666377433405152927587201592\ 56384970027929174098442*c_1001_4^16 - 7807497164126820625995709648825500302736271620286185102067315148553\ 0133718877481336825748378508056282347908734237080613367617699022701\ 37821/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^15 - 57652684518850518529118009755139084167466389070\ 2510828157494977854266894871185437583312395474700415230002181064313\ 6948445260917819030345401/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^14 - 9924871254083103738746427160326567234714317594361632258400412543342\ 1991977426497054387026785068616824974075908512337500532678418252448\ 2646/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^13 - 2542323557769917440388250628360943683168051231317\ 0501485593558114650958463357174612373002029385893067624688884789121\ 74515706271738483905273/1294437467128421221241885413528059398879146\ 9841914250081890385429733839246268881275332754866810305855174403185\ 12769940055858348196884*c_1001_4^12 - 7594037208386012639626757018492945737395036708678284207772474631300\ 6363198869798899021796024803241312449050986547056959306887320573580\ 1955/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^11 - 8406932593569431152094576433761679163642370115424\ 1346045248456812100150640143557617137263559724068283823240449413595\ 8041878600495499455705/12944374671284212212418854135280593988791469\ 8419142500818903854297338392462688812753327548668103058551744031851\ 2769940055858348196884*c_1001_4^10 - 4334045440859547846807808444143975074913208527064214670735779605538\ 6169538896705907572992502412454888906339837147035870513745373834934\ 2087/12944374671284212212418854135280593988791469841914250081890385\ 4297338392462688812753327548668103058551744031851276994005585834819\ 6884*c_1001_4^9 - 2054865721467489304222495919134272361592410105145\ 5684527655294114278188238361036680594225855509374272956647135037854\ 0555889283199915287937/12944374671284212212418854135280593988791469\ 8419142500818903854297338392462688812753327548668103058551744031851\ 2769940055858348196884*c_1001_4^8 - 9034696699851036040294348283229156983047187152617240728563902732215\ 7070000235155498508686707158696728534011808694563502630299768396794\ 915/129443746712842122124188541352805939887914698419142500818903854\ 2973383924626888127533275486681030585517440318512769940055858348196\ 884*c_1001_4^7 - 36053832463894623765495493101106381986218313477870\ 3384720127101489836724157931103026001228008713021529925381850477589\ 44951271715222334711/1294437467128421221241885413528059398879146984\ 1914250081890385429733839246268881275332754866810305855174403185127\ 69940055858348196884*c_1001_4^6 - 131263072961867590042670248680535\ 1891219996276055451530949241552144495085609085546876036246537963663\ 1806699489814295144897238699935352507/12944374671284212212418854135\ 2805939887914698419142500818903854297338392462688812753327548668103\ 0585517440318512769940055858348196884*c_1001_4^5 - 1070331989639606867626380563372451891213238119695246147881789671008\ 5502718883194817074182181898709257673342932049101655183908358650299\ 63/3236093667821053053104713533820148497197867460478562520472596357\ 4334598115672203188331887167025764637936007962819248501396458704922\ 1*c_1001_4^4 - 3013234286114661846501597007297096859149427655807200\ 9106231876105563069585556271278321071041535087859066281244194123102\ 4988017158259508/32360936678210530531047135338201484971978674604785\ 6252047259635743345981156722031883318871670257646379360079628192485\ 013964587049221*c_1001_4^3 - 30629910116024635085205928255939899919\ 4284185784081530332437886769663331024282606001994190622009795787162\ 319559157649427546297139829329/129443746712842122124188541352805939\ 8879146984191425008189038542973383924626888127533275486681030585517\ 440318512769940055858348196884*c_1001_4^2 - 1331267938527326475422949613000567369471372401936231576169997046503\ 9571691268316141940392554128436961162815121150924985599948676446395\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4 - 24634762312483639622357123827036376527195771291885489096\ 2280461381212699163067155033805064067067175052429718077790257217462\ 0199651669/32360936678210530531047135338201484971978674604785625204\ 7259635743345981156722031883318871670257646379360079628192485013964\ 587049221, c_0101_11 - 90896877948557651642799798429014575166688593381407676456113\ 4568983507328642790240572981902272664741421331983626000237915864916\ 5921915/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^37 - 393836370132348235473770118612660510106847527\ 2455457943785885548026662661286592156659118083950178835509038977724\ 4768678131368957722987/12944374671284212212418854135280593988791469\ 8419142500818903854297338392462688812753327548668103058551744031851\ 2769940055858348196884*c_1001_4^36 - 7848794107984942873504529328909032097447778536371972866584808139268\ 7572186840160363316642230183011706755942879513470290778136417542027\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^35 - 14100168279982522985941259276787393410224801237308569\ 9492521979071348284396001895602114979742010438217494791829811307115\ 2804872359785495/12944374671284212212418854135280593988791469841914\ 2500818903854297338392462688812753327548668103058551744031851276994\ 0055858348196884*c_1001_4^34 - 131181683255724463668152676961782412\ 8878449454986035732216447512014059211777809484221260135862974716731\ 5545944364927383092290396189386491/51777498685136848849675416541122\ 3759551658793676570003275615417189353569850755251013310194672412234\ 2069761274051079760223433392787536*c_1001_4^33 + 9569578563814542758304340339249956287896135867561911869829073292367\ 7240307600017443687243311778559519020717962991074519203874921300541\ 7/64721873356421061062094270676402969943957349209571250409451927148\ 6691962313444063766637743340515292758720159256384970027929174098442\ *c_1001_4^32 + 8881756138909887025434700816015921295234063447438565\ 6134983875867943304835040922008821090231222152256343022192673930709\ 744570776995488231/258887493425684244248377082705611879775829396838\ 2850016378077085946767849253776255066550973362061171034880637025539\ 880111716696393768*c_1001_4^31 + 2183884572286489839162356323578705\ 4926857562357665868464671697572795850573797411820138046689255079176\ 5114561024571981489814339740000902829/12944374671284212212418854135\ 2805939887914698419142500818903854297338392462688812753327548668103\ 0585517440318512769940055858348196884*c_1001_4^30 + 1357460632399586931070345857871357978530746624329738538246961984894\ 4219445491377412000424337669617129974257386573464055176029232584531\ 07777/2588874934256842442483770827056118797758293968382850016378077\ 0859467678492537762550665509733620611710348806370255398801117166963\ 93768*c_1001_4^29 + 17468998717383365557834060840405977088401956527\ 1628811930001579393632333296042141743664141471619078471456065073234\ 2727157097655046193503683/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^28 + 9470992159999884067116378508430618876102827198824310711365307469746\ 2049534949176960777431470820816074124734907165864015094729532409932\ 3953/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^27 + 2921529027052190860891760067712668087068579067920\ 5939987630672355404944104553402966440405970102321781420806948961980\ 205048379730831375469511/517774986851368488496754165411223759551658\ 7936765700032756154171893535698507552510133101946724122342069761274\ 051079760223433392787536*c_1001_4^26 + 3154108388458932815574729613120320479515185316574893098636074024730\ 2488318369705169910130322699710103465680567733923287501023162418401\ 26295/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^25 + 397309687894776878112164638733634022810520273737\ 5743253580967910022440772158703129096240636742350069012912915248292\ 9604430478885533631236437/25888749342568424424837708270561187977582\ 9396838285001637807708594676784925377625506655097336206117103488063\ 7025539880111716696393768*c_1001_4^24 + 5686404307055150551943592171599216044511200067424313054313999593278\ 9996683390916646138745152966192372286648073232681865529373176388886\ 154567/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^23 + 1497602436068770994412589987246130287244352667\ 0521899703006961116354612870024462542706115808629210659206380892866\ 3874220211621376358377068681/51777498685136848849675416541122375955\ 1658793676570003275615417189353569850755251013310194672412234206976\ 1274051079760223433392787536*c_1001_4^22 + 1801880370080469960821261016240027996029928876340257078362326270461\ 3614507835946079905069944451506812583890578367753004948816844967973\ 8122751/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^21 + 100110431491174012204707945510128604864045132\ 9394988160358790005851168170717119400106246118899187753849518677250\ 74596516898388522237389405067/2588874934256842442483770827056118797\ 7582939683828500163780770859467678492537762550665509733620611710348\ 80637025539880111716696393768*c_1001_4^20 + 1020906113417443866606305888039511985692512106770060601814523596304\ 9284441572378144188039950131817138118632192988096946268128969269899\ 7591245/25888749342568424424837708270561187977582939683828500163780\ 7708594676784925377625506655097336206117103488063702553988011171669\ 6393768*c_1001_4^19 + 965387881839467105053604672994318721190356699\ 4344351469687246702534484400050194047820464496448354136353806064495\ 6673602330604274324791351437/25888749342568424424837708270561187977\ 5829396838285001637807708594676784925377625506655097336206117103488\ 0637025539880111716696393768*c_1001_4^18 + 4204770759476963972334465368740176758142392625024704470962226237586\ 8803681713550303161088610869654052127720695584673871732163382983040\ 014825/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^17 + 1704981636933287223151477812595808146747236726\ 2418301551401757592879297027668019081333664349607510072526150654944\ 111491166374741979055754789/647218733564210610620942706764029699439\ 5734920957125040945192714866919623134440637666377433405152927587201\ 59256384970027929174098442*c_1001_4^16 + 1021319772311725865680246303070254178279632334858978113375854675177\ 2499391604476493986048161321090369947854168961930284007700342880561\ 4449125/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^15 + 178349686175629857696314031961473026617253627\ 0201375488440062111289810211050646234338840005246754465638817912518\ 3336785501776250372810063421/12944374671284212212418854135280593988\ 7914698419142500818903854297338392462688812753327548668103058551744\ 0318512769940055858348196884*c_1001_4^14 + 4593608452008008869706618145728494258552434687355580856709582608198\ 0393208935212160073426728942139409594268037658911684431413823018216\ 234051/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^13 + 1379469535170917403002343981865305484973192661\ 1006223506248023280502018725155178995511727468081893119612768922170\ 506358241775976813446320907/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^12 + 1523029587188805400508113514613426185347144502871672035697799823155\ 2546870100767469898319697587790982764343736245644993076581214326849\ 074845/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^11 + 3913372338946768735069114926071432304176818015\ 5888927054897735250750556298888598843194477585760249602519319031771\ 09332670375552639468650505/2588874934256842442483770827056118797758\ 2939683828500163780770859467678492537762550665509733620611710348806\ 37025539880111716696393768*c_1001_4^10 + 2295543902486381977989810167415540502671485292753458460373327955073\ 9873193476104093074039513721509372556690388901151243819202748088611\ 0279/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^9 + 15903112002665537842211054270081001452024131989086\ 7990818731386017440973631414996899558217148284811261102926415010475\ 7075718839205693426399/51777498685136848849675416541122375955165879\ 3676570003275615417189353569850755251013310194672412234206976127405\ 1079760223433392787536*c_1001_4^8 + 7805172633541153284822683502139204565189825146964688146572185903162\ 0558371361560644380683935533790001532105552350257274424745531628461\ 243/647218733564210610620942706764029699439573492095712504094519271\ 4866919623134440637666377433405152927587201592563849700279291740984\ 42*c_1001_4^7 + 275799799413648437380968888311820979642243384239396\ 8937940844613481647358922180988181464280383755700980688534373616130\ 2106524545143816539/64721873356421061062094270676402969943957349209\ 5712504094519271486691962313444063766637743340515292758720159256384\ 970027929174098442*c_1001_4^6 + 70425552859808355039641218204284085\ 2561933979390567739573636449362654614145731654792564751409273232377\ 73887741982777288330087884402681635/5177749868513684884967541654112\ 2375955165879367657000327561541718935356985075525101331019467241223\ 42069761274051079760223433392787536*c_1001_4^5 + 1885014245472501360693568506230646845346456268961494968861900140741\ 2181032038572321201051080755394976680285195957587228832620872739431\ 457/517774986851368488496754165411223759551658793676570003275615417\ 1893535698507552510133101946724122342069761274051079760223433392787\ 536*c_1001_4^4 + 11729624788418778417056719313443852861508249574607\ 5000348755089796644209512232028445461249269985351751293371224362799\ 9603724532775544975/12944374671284212212418854135280593988791469841\ 9142500818903854297338392462688812753327548668103058551744031851276\ 9940055858348196884*c_1001_4^3 + 4809413214151498506156715455345812\ 9032492814769775319876118194551832386590921380758285906031410970195\ 855118173658085413163836953957199/323609366782105305310471353382014\ 8497197867460478562520472596357433459811567220318833188716702576463\ 79360079628192485013964587049221*c_1001_4^2 + 8715585988443912531169417081186164134442210549158966428438279813784\ 648032537415156204819406254314955247648194631047137186663749085001/\ 3236093667821053053104713533820148497197867460478562520472596357433\ 45981156722031883318871670257646379360079628192485013964587049221*c\ _1001_4 - 343470732967177421833872598782264243883048805391378733333\ 0376944682655954496592242800482591996296731204040534666927719445360\ 09967504/3236093667821053053104713533820148497197867460478562520472\ 5963574334598115672203188331887167025764637936007962819248501396458\ 7049221, c_0101_12 + 10115113895773673021243860229401778278300005894171781717927\ 7073016120278675853005785687153390887611747195287335825411309599203\ 08774089/5177749868513684884967541654112237595516587936765700032756\ 1541718935356985075525101331019467241223420697612740510797602234333\ 92787536*c_1001_4^37 + 88317404025557392079392271173728309324902079\ 7253329841862951930330150684898279305758939619557044994338444265278\ 88354569690566546917403/2588874934256842442483770827056118797758293\ 9683828500163780770859467678492537762550665509733620611710348806370\ 25539880111716696393768*c_1001_4^36 + 3551209832650270917939442590723537265444941110208962318518914954137\ 9963409965905626069096703227009931258081712146517087200902447583849\ 9/12944374671284212212418854135280593988791469841914250081890385429\ 7338392462688812753327548668103058551744031851276994005585834819688\ 4*c_1001_4^35 + 161487924348407437759948428560798581563478427297794\ 4571798321045069019795346262708890963842833904918974124254485405265\ 576801892138903169/129443746712842122124188541352805939887914698419\ 1425008189038542973383924626888127533275486681030585517440318512769\ 940055858348196884*c_1001_4^34 + 1541892923630133073881392394127071\ 7876975754117733559137832933149068835335487919887668889922206979666\ 445648740884636370210082413023311793/517774986851368488496754165411\ 2237595516587936765700032756154171893535698507552510133101946724122\ 342069761274051079760223433392787536*c_1001_4^33 - 3310784758168371518094410958100240945599017176997111914186747177752\ 2865921374346651646130221047534730617704182787349554411907372201052\ 43/2588874934256842442483770827056118797758293968382850016378077085\ 9467678492537762550665509733620611710348806370255398801117166963937\ 68*c_1001_4^32 - 99430101165711449226577081356824333380176961187220\ 2279587692748061330385504951914672194321437128659512962186141677803\ 95444078433898186251/2588874934256842442483770827056118797758293968\ 3828500163780770859467678492537762550665509733620611710348806370255\ 39880111716696393768*c_1001_4^31 - 6238476816172196608137965369299897549684349710128135171957467634586\ 2141735775759637824658424107421806177707684027106158720377207295020\ 373/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^30 - 15742631406448230023606925700456757968563954701931\ 8091708413544644906035359602888415789286061508144815705672185874517\ 8863811686918135059523/25888749342568424424837708270561187977582939\ 6838285001637807708594676784925377625506655097336206117103488063702\ 5539880111716696393768*c_1001_4^29 - 5106116451647797985319378854024894239134720384457760383856612588835\ 9192599489106416681785835299337087995461449277670689222396485051418\ 5400/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^28 - 1117044879341743375837882733542906744348735032468\ 5277485125855106033386294038155876427357096297463273891385803596025\ 25176185727959731816987/3236093667821053053104713533820148497197867\ 4604785625204725963574334598115672203188331887167025764637936007962\ 8192485013964587049221*c_1001_4^27 - 3469148732391835079222343686873794016169870042975893131799051140138\ 1474422835871555316568796560320889578636968307730683026525441464032\ 382365/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^26 - 3017252341775454337451164530511885365799427561\ 1440098007121609388155365729028299322681082142992447759676548982901\ 154042967788646988565948941/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^25 - 4781259056968988330041990349349801913292843145722229934995642412704\ 5278244995075694373000659468964755911266047511613121734113351363775\ 578433/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^24 - 6892035687390461626315895096199052793193488321\ 9974066197413070723608590701817671803322759117385345319128823462881\ 349107922628142641408778739/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^23 - 1827173104566576514808961953064068639827768727703556325196573311789\ 6375287320523111970700755979854220227482024941269892186252892596878\ 8612943/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^22 - 221543420291414558662554480180598188290539641\ 4473023469011174095824895114492230248590999760398739868345753504938\ 14792107964012074069436443187/5177749868513684884967541654112237595\ 5165879367657000327561541718935356985075525101331019467241223420697\ 61274051079760223433392787536*c_1001_4^21 - 3099198682688709689216022040751406980059352065858832037983097273811\ 2664219403304719838662495142331855235007525533596720759821552004531\ 096575/647218733564210610620942706764029699439573492095712504094519\ 2714866919623134440637666377433405152927587201592563849700279291740\ 98442*c_1001_4^20 - 12746344562037872850074621336676078765170304595\ 6502731228766398007306353447228908182383817153297689163894428838871\ 342610856102764716204839923/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^19 - 1214361957548458371341423336665027841703699021935283031646108739537\ 8789489258636827438664798660716360346478888049663610494567815530408\ 3402361/25888749342568424424837708270561187977582939683828500163780\ 7708594676784925377625506655097336206117103488063702553988011171669\ 6393768*c_1001_4^18 - 133379944202816351286325702610950609418179539\ 8766279976297140521100817930971050237527719682912907739235364251534\ 8887396064642314077753167140/32360936678210530531047135338201484971\ 9786746047856252047259635743345981156722031883318871670257646379360\ 079628192485013964587049221*c_1001_4^17 - 2180042881272899130247866503809166256487784388575820140901363197818\ 0795341500256662482736117998545915961320317234438168761377568340208\ 961027/647218733564210610620942706764029699439573492095712504094519\ 2714866919623134440637666377433405152927587201592563849700279291740\ 98442*c_1001_4^16 - 13179386669322948984922619730152111903541666738\ 4312661068586696235673485495934608999185882341974578618917420999496\ 187926485908135041352009383/517774986851368488496754165411223759551\ 6587936765700032756154171893535698507552510133101946724122342069761\ 274051079760223433392787536*c_1001_4^15 - 4640063242068784686606714880052599723185930976705700503936689991422\ 7530527603726471589037542966731603121393526934050523417037995003751\ 056061/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^14 - 6036950127704942518256993053887259200544412774\ 0819805611699443722415670491463630993194540733273295685596944813122\ 576361615765388496166270485/517774986851368488496754165411223759551\ 6587936765700032756154171893535698507552510133101946724122342069761\ 274051079760223433392787536*c_1001_4^13 - 9142829912536473505873291077837739647081053328376022881047356140519\ 1592575541880596798557837720427288363466625473763208977377432844099\ 95533/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^12 - 20423221061116771022447151535376997788699054600\ 3276210592129250933765989376171713236539300451439984615801711477194\ 39291724948812420206272151/5177749868513684884967541654112237595516\ 5879367657000327561541718935356985075525101331019467241223420697612\ 74051079760223433392787536*c_1001_4^11 - 2648898139006261803613291586083123852685978131560741482324336606600\ 7087582320750114359503780996949256317712399988654930860430379732819\ 29543/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^10 - 63021462389252206051942540367961025152941972723\ 4280892536859549434452139627062087456077941717894119889879648152658\ 400298929960143839301377/647218733564210610620942706764029699439573\ 4920957125040945192714866919623134440637666377433405152927587201592\ 56384970027929174098442*c_1001_4^9 - 2209173905961331451017407691316536723485720853241601043861777731638\ 5696461710472911217523170871396285966166356288357565062584137650577\ 42461/5177749868513684884967541654112237595516587936765700032756154\ 1718935356985075525101331019467241223420697612740510797602234333927\ 87536*c_1001_4^8 - 441047413779498187614915207590571558424887074134\ 0978579485564183908839759367944638771981655659642820627615549517248\ 31532263965683959250865/2588874934256842442483770827056118797758293\ 9683828500163780770859467678492537762550665509733620611710348806370\ 25539880111716696393768*c_1001_4^7 - 7937754193468906348583707483690822466220190719562351344745180470633\ 8459078648581304597913738609572145799316456877717294168428181161616\ 903/129443746712842122124188541352805939887914698419142500818903854\ 2973383924626888127533275486681030585517440318512769940055858348196\ 884*c_1001_4^6 - 10339543043080392230208171425590246191443593524305\ 3735413983172577753791259077806614725762685481154447656009515958603\ 064469677574186808657/517774986851368488496754165411223759551658793\ 6765700032756154171893535698507552510133101946724122342069761274051\ 079760223433392787536*c_1001_4^5 - 2881195588471788577181442822613567330669192812864306525289059521550\ 5454983104565328931848664219070875943547479144895333779881170220194\ 333/517774986851368488496754165411223759551658793676570003275615417\ 1893535698507552510133101946724122342069761274051079760223433392787\ 536*c_1001_4^4 - 36417840219783479584277433014877644632644412537945\ 6252128774338966020118318888314563111132386341847211705401788873144\ 8983839950231099647/25888749342568424424837708270561187977582939683\ 8285001637807708594676784925377625506655097336206117103488063702553\ 9880111716696393768*c_1001_4^3 - 3434590486386577374013049206106255\ 4759398483830594226425397745506401061392837961448266205662250981967\ 1164830689778933061897234046415281/12944374671284212212418854135280\ 5939887914698419142500818903854297338392462688812753327548668103058\ 5517440318512769940055858348196884*c_1001_4^2 - 1487557579246759206386395798794528006477984560499162895011965957035\ 0851005991718637473775460416314348312676853639295463146374240103510\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4 - 93058181701598363718161529441524989679966805368875528040\ 2659126421619525477075262214220366970496129405428700771964802290834\ 657359480/323609366782105305310471353382014849719786746047856252047\ 2596357433459811567220318833188716702576463793600796281924850139645\ 87049221, c_0101_6 + 300917788659548840009336210155529167476708576407164932731750\ 7123973320523224726614542076491475944885432715755685627725224678942\ 750295/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^37 + 5301036533745966654223647262502317144882707313\ 2715006765585000524525835542730138350018007933260118994542564513300\ 262033879518831978339/129443746712842122124188541352805939887914698\ 4191425008189038542973383924626888127533275486681030585517440318512\ 769940055858348196884*c_1001_4^36 + 1078204052848767891196306194749002346693742544588215110017447173552\ 3444045757562203398042523233863751145845933745396439385627577060293\ 0/32360936678210530531047135338201484971978674604785625204725963574\ 3345981156722031883318871670257646379360079628192485013964587049221\ *c_1001_4^35 + 4993731473215169481787779255891469401897374172367926\ 2751134553918814478439188304217487734477662347845022989776846227427\ 9775881352642498/32360936678210530531047135338201484971978674604785\ 6252047259635743345981156722031883318871670257646379360079628192485\ 013964587049221*c_1001_4^34 + 4970341093438995312064294198864904141\ 2577774745612373103731576458587692357979916358218517220712529099746\ 13234785990530536756363628373927/1294437467128421221241885413528059\ 3988791469841914250081890385429733839246268881275332754866810305855\ 17440318512769940055858348196884*c_1001_4^33 - 8622388021901334298039904476333287741687741278072094920201800045674\ 7695309728788453537319502481145087829656974364808795946751262726541\ 3/12944374671284212212418854135280593988791469841914250081890385429\ 7338392462688812753327548668103058551744031851276994005585834819688\ 4*c_1001_4^32 - 292458052701993943609739606495712378537104909608622\ 3491381742255748790301813995524400939190498877302452924352103146669\ 3042711348640635649/64721873356421061062094270676402969943957349209\ 5712504094519271486691962313444063766637743340515292758720159256384\ 970027929174098442*c_1001_4^31 - 1532043247921191572994237856701137\ 7551322382062309630805508278937608497448833560404657079972497043254\ 4277261439787279025060098630308041291/64721873356421061062094270676\ 4029699439573492095712504094519271486691962313444063766637743340515\ 292758720159256384970027929174098442*c_1001_4^30 - 4973399857312366338457752144999265040516764388988145144161869615258\ 6981375499069459916524426225078120572629231798394338443158771340049\ 6995/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^29 - 1318362520091200107227125397513978466162768614550\ 6357915874093020282904925363960272653785700690296926273136957405798\ 81796148830087835822291/6472187335642106106209427067640296994395734\ 9209571250409451927148669196231344406376663774334051529275872015925\ 6384970027929174098442*c_1001_4^28 - 1471925698173345442439152643259271847914209934604677601324185238998\ 7862773813042455694143061714393839018193278009657861097020462002451\ 11445/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^27 - 116477471266936948256332444032255232617224713920\ 9864722790216188638325483500406549316386681789397780775510917224340\ 4108280871486438595205795/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^26 - 2065272920897534391757328150764879642644255301711291019716844668042\ 9504033592924728645766133965161758502960775325409339595985942128729\ 037091/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^25 - 1668083535099728629376257567462510294790078604\ 9210129703982364318691008756300713372231332033903157722744787728663\ 752964065380689543241149097/647218733564210610620942706764029699439\ 5734920957125040945192714866919623134440637666377433405152927587201\ 59256384970027929174098442*c_1001_4^24 - 1227825093562800903787062786335937918899153945572665787844977436253\ 1483564872465708882759864515956438717677988607444910230574552930455\ 960473/323609366782105305310471353382014849719786746047856252047259\ 6357433459811567220318833188716702576463793600796281924850139645870\ 49221*c_1001_4^23 - 66546992726384381021843827341421458800880669894\ 9331109212088128009472814661494287223140122033104949731101224423617\ 28747307554195204308192159/1294437467128421221241885413528059398879\ 1469841914250081890385429733839246268881275332754866810305855174403\ 18512769940055858348196884*c_1001_4^22 - 2067518227249840162366683569519328862882943685354466250376532849258\ 2833386851029289003023214958502466670882076173010085272890703461308\ 381312/323609366782105305310471353382014849719786746047856252047259\ 6357433459811567220318833188716702576463793600796281924850139645870\ 49221*c_1001_4^21 - 94990503004467338575785429676036451083457889005\ 5473590200462816961026742285593050519702470406222871079888833778061\ 69408754220722812563648981/1294437467128421221241885413528059398879\ 1469841914250081890385429733839246268881275332754866810305855174403\ 18512769940055858348196884*c_1001_4^20 - 2513038983234676671750346526779792027890901296986497036237848232727\ 8466578719488702316134552493670150879497936682637601801738535812658\ 202826/323609366782105305310471353382014849719786746047856252047259\ 6357433459811567220318833188716702576463793600796281924850139645870\ 49221*c_1001_4^19 - 24669407856805753133099374226021721003051073603\ 5214633720636020567567065784805462427922305142616483504104896160773\ 23021539854960037576207154/3236093667821053053104713533820148497197\ 8674604785625204725963574334598115672203188331887167025764637936007\ 9628192485013964587049221*c_1001_4^18 - 4479266729256549518578883966440689013620270585329710467894544270952\ 0678239417072231381486907351862350468936924228704110001999873081174\ 652147/647218733564210610620942706764029699439573492095712504094519\ 2714866919623134440637666377433405152927587201592563849700279291740\ 98442*c_1001_4^17 - 18924677011563705812727436618207315831180079260\ 4474162490302345329531496867874736022995091933629588094253774975105\ 23370649744258767976556782/3236093667821053053104713533820148497197\ 8674604785625204725963574334598115672203188331887167025764637936007\ 9628192485013964587049221*c_1001_4^16 - 5931439138725702105878117401775631423516936540717798164664395707833\ 3371518923384979907060898060655138279198231237878379261585623782851\ 039413/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^15 - 4333332902243180390309407261375186914855665820\ 4216572119487441965632319946758453692401254229318656986241595666837\ 708551539614173897459209341/129443746712842122124188541352805939887\ 9146984191425008189038542973383924626888127533275486681030585517440\ 318512769940055858348196884*c_1001_4^14 - 2935575352380928141866695487970263423742070360900354189985133294963\ 8589376683898590814630882104159012322217708745585298861274103628865\ 188387/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^13 - 1852903029551916112979496086123712077789412165\ 4102274253652338811609598236345066627804900090839366023279404231182\ 415601590748766578101132489/129443746712842122124188541352805939887\ 9146984191425008189038542973383924626888127533275486681030585517440\ 318512769940055858348196884*c_1001_4^12 - 1082327987196760607362116870703655736041766072247158238217590180245\ 9632433317558960092122308894704691096536822006446622012495967658131\ 631967/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^11 - 5873025100987887844274934190560357415487643255\ 6111963976792484352914459764542698715390969368974297553242189990052\ 90585452114925704010219599/1294437467128421221241885413528059398879\ 1469841914250081890385429733839246268881275332754866810305855174403\ 18512769940055858348196884*c_1001_4^10 - 1468262487104993701109432057044799805115370766203592807215491971027\ 8134997510149675693099855198095771538815639110521254707442504612061\ 80299/6472187335642106106209427067640296994395734920957125040945192\ 7148669196231344406376663774334051529275872015925638497002792917409\ 8442*c_1001_4^9 - 1353623526832273753751039258407322020536413745055\ 7617334210514658283621736763736308178528673067141131993049454515916\ 91029944791065768927523/1294437467128421221241885413528059398879146\ 9841914250081890385429733839246268881275332754866810305855174403185\ 12769940055858348196884*c_1001_4^8 - 5706337772064316445541996819747987930313929289680778495416596536286\ 9051209243970309504846732912612041002391106085930435783433721376410\ 4595/12944374671284212212418854135280593988791469841914250081890385\ 4297338392462688812753327548668103058551744031851276994005585834819\ 6884*c_1001_4^7 - 5448618716069959950666434595140310179285299647216\ 8457971094645437905176227759885757216358321349333881742227643482003\ 144648140061059261087/323609366782105305310471353382014849719786746\ 0478562520472596357433459811567220318833188716702576463793600796281\ 92485013964587049221*c_1001_4^6 - 751989045833552516136103726637935\ 2503574453384645871688548936564276811884252187193862730755454639475\ 0390765401905332970649280988068414359/12944374671284212212418854135\ 2805939887914698419142500818903854297338392462688812753327548668103\ 0585517440318512769940055858348196884*c_1001_4^5 - 5661132343244677788355992984100758659670123687782948413370623888639\ 6009601013650490502300709854355985272755543141052083622872452814370\ 38/3236093667821053053104713533820148497197867460478562520472596357\ 4334598115672203188331887167025764637936007962819248501396458704922\ 1*c_1001_4^4 - 6007413431430862644105442247284795743523610910644351\ 1354554239726650203041817078593910158395704351507703903236109741731\ 02543278954159249/1294437467128421221241885413528059398879146984191\ 4250081890385429733839246268881275332754866810305855174403185127699\ 40055858348196884*c_1001_4^3 - 319512918295315012410118948028261716\ 0545782668720930801294306923892346423479355039913897236905064993554\ 45016914285026880204671145173472/3236093667821053053104713533820148\ 4971978674604785625204725963574334598115672203188331887167025764637\ 9360079628192485013964587049221*c_1001_4^2 - 5502501986552972423468796524486962969461328776715936159223462370754\ 4896882500609111787908065003876495426611285406891518693832873539869\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4 - 60606972505143796295237080937402379099491110520438401356\ 5271309564886109359115892472364588192587232511824039681099180525293\ 9712964541/32360936678210530531047135338201484971978674604785625204\ 7259635743345981156722031883318871670257646379360079628192485013964\ 587049221, c_0101_8 + 250024425387091211854947647085850649801389628540335710532697\ 2946358129190964451175104026831736697487935161901116345049574692640\ 031687/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^37 + 1101392573263421690020160237943428207182990897\ 1009623531542172242743956631626835627917671396870572484034524042677\ 639955759805697569329/647218733564210610620942706764029699439573492\ 0957125040945192714866919623134440637666377433405152927587201592563\ 84970027929174098442*c_1001_4^36 + 4480208976836878440876835380888404260524414235632769592356400222466\ 2259929013422662103179169933167434968874414605258609485739273008575\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^35 + 20738929276197053521210865031747165942581882411257848\ 7513870211102974680370605423667464794752867599886422640435842732706\ 391150648252272/323609366782105305310471353382014849719786746047856\ 2520472596357433459811567220318833188716702576463793600796281924850\ 13964587049221*c_1001_4^34 + 41191073099399295620172662151356466357\ 1302812806443556250975907603468630474910443423128162934017633655147\ 1797673552434898576267062698743/25888749342568424424837708270561187\ 9775829396838285001637807708594676784925377625506655097336206117103\ 4880637025539880111716696393768*c_1001_4^33 - 9811556934801110999673663509884806209000046444323596746304660224065\ 9090273011395731299566983948906531239566492059509472091816719935502\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^32 - 24416530673420625195539775206975768546374932883915008\ 2154257652281670264604515144407455059231223915136619403144145310642\ 11419951475536663/1294437467128421221241885413528059398879146984191\ 4250081890385429733839246268881275332754866810305855174403185127699\ 40055858348196884*c_1001_4^31 - 31854570580720834675260324698520849\ 6149563562674634842581258637630092793374800236901429503353619532446\ 60617002716065093040205461353811740/3236093667821053053104713533820\ 1484971978674604785625204725963574334598115672203188331887167025764\ 6379360079628192485013964587049221*c_1001_4^30 - 4125688663309371558983556946050444849143267986659396836311309037121\ 7941634682730714350659803603376650107639178925258451051347883748060\ 4473/12944374671284212212418854135280593988791469841914250081890385\ 4297338392462688812753327548668103058551744031851276994005585834819\ 6884*c_1001_4^29 - 545277591652280881960628117124191536814773349553\ 6433812753046787915509176885210805414433545641199335600111655581109\ 62498053261886399719437/6472187335642106106209427067640296994395734\ 9209571250409451927148669196231344406376663774334051529275872015925\ 6384970027929174098442*c_1001_4^28 - 6071249881747638094403429639435907380978267199301224245916404930778\ 6863581588785718837384825519802041932528784889597182108115808728523\ 6764/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^27 - 9581152742092643398093267670547228553277961887421\ 4077813914190448587627996915933197740627114050711413145726001658129\ 10896181017961607712027/2588874934256842442483770827056118797758293\ 9683828500163780770859467678492537762550665509733620611710348806370\ 25539880111716696393768*c_1001_4^26 - 2117077049934843235984927190174019107288896077696552336874653580283\ 8965640579175084160102884420942303343637987737283478524436434323061\ 01965/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^25 - 136353273416768111608567079665054153971498820120\ 1139082342627422927933877822244108924005699541751880616079680199046\ 1890235536047156810395285/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^24 - 2000038694101392460695027664914937607123672183952950028653128539281\ 3848454255673718054136064833793404010212941203076938073110747869291\ 454121/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^23 - 5398138939347566146677462938517437976100752508\ 5283641442698475664884289280755475441674875780266789228866061488329\ 656472379076288642334182253/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^22 - 6677542816762105924968582521360227112672461703772325877763236131417\ 8331306801354677628855549111149666872220721731714668831242710560006\ 832587/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^21 - 3815132208648827975303231502942858452497804009\ 6840598406618695874692992705383177870755042459517821972903281359974\ 637136474572235255071694367/129443746712842122124188541352805939887\ 9146984191425008189038542973383924626888127533275486681030585517440\ 318512769940055858348196884*c_1001_4^20 - 4013485691423107458113568094664571758748763179393345897984777804106\ 9215602549714506526289908271759979917204098169689829331879679896367\ 493011/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^19 - 3914501549401186363991170557948599726670406599\ 7528767477815268729498077439095043108179756696911633203988564876445\ 562773109715173924797087479/129443746712842122124188541352805939887\ 9146984191425008189038542973383924626888127533275486681030585517440\ 318512769940055858348196884*c_1001_4^18 - 1763980836544513197768431075414538678640332774296076457063082721744\ 2078821967471747522438327876498371388923435348505935442565728970265\ 073707/647218733564210610620942706764029699439573492095712504094519\ 2714866919623134440637666377433405152927587201592563849700279291740\ 98442*c_1001_4^17 - 73944963306712477845597800910231051350377374854\ 9512177329848551533983987335425280717780115734550220608902289871830\ 4971257101341126601606810/32360936678210530531047135338201484971978\ 6746047856252047259635743345981156722031883318871670257646379360079\ 628192485013964587049221*c_1001_4^16 - 4594376094462797349520102720276316941850349664484279823298341513890\ 6759611599536771693397010751168222238079900577234078525423322902471\ 179873/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^15 - 8312447649102807907181594050195583012020267517\ 4364679631141448559925571595356505996192370274697351595008070455734\ 77867909331542992987194799/6472187335642106106209427067640296994395\ 7349209571250409451927148669196231344406376663774334051529275872015\ 9256384970027929174098442*c_1001_4^14 - 2228126232265500755811824847819411610298783467650918055120320687415\ 9105171958722136598679505964586276167612802120127690581961108291312\ 486023/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^13 - 6950751240923233402660395494943635853456101549\ 4847983645156285049944409439415905852872284641796265691782450754334\ 84749577922794404822543053/1294437467128421221241885413528059398879\ 1469841914250081890385429733839246268881275332754866810305855174403\ 18512769940055858348196884*c_1001_4^12 - 8010888949004116863684576817988979204083878963734516640137691806216\ 7746111886391513432561481911602673522027712757871110089363248196638\ 09745/2588874934256842442483770827056118797758293968382850016378077\ 0859467678492537762550665509733620611710348806370255398801117166963\ 93768*c_1001_4^11 - 21426023805397646607178183088612458735244562107\ 7890209723495372146243509501203796182571381186022205725809530567571\ 5368654093791565100928787/12944374671284212212418854135280593988791\ 4698419142500818903854297338392462688812753327548668103058551744031\ 8512769940055858348196884*c_1001_4^10 - 2632473933809730632330335247189172484101828046339584999848713506885\ 4461348245635882062277617476826734264013026548606696260700718316006\ 3126/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^9 - 95301654016922847109303421575533452969286164467124\ 0804774144832600829620987987594360608866323175221612256389751150791\ 695497192084438357319/258887493425684244248377082705611879775829396\ 8382850016378077085946767849253776255066550973362061171034880637025\ 539880111716696393768*c_1001_4^8 - 4910030222259724791148847415900715909174292996654463010528095400334\ 5789480641573986093112724885716261395473707489844547840865728782224\ 743/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^7 - 182870272231472694881090486837188183370258809462632\ 6424812257633943495550630627211361438621716129354395866547157939258\ 3820953579616540010/32360936678210530531047135338201484971978674604\ 7856252047259635743345981156722031883318871670257646379360079628192\ 485013964587049221*c_1001_4^6 - 48948663412065092738744223359716344\ 8825251702237633980492989050677302901407138101450142077385465026815\ 58106409965823915162250202243770411/2588874934256842442483770827056\ 1187977582939683828500163780770859467678492537762550665509733620611\ 71034880637025539880111716696393768*c_1001_4^5 - 1413415783892235909575381966527782112801597743463108236868712293060\ 0549595692243934939272567782873974486820434121519840043486772164760\ 597/258887493425684244248377082705611879775829396838285001637807708\ 5946767849253776255066550973362061171034880637025539880111716696393\ 768*c_1001_4^4 - 90121600161720037117596503938483101452573073556865\ 9619361326862309969960356016439708766418390689336762451528972612795\ 853110590774741525/647218733564210610620942706764029699439573492095\ 7125040945192714866919623134440637666377433405152927587201592563849\ 70027929174098442*c_1001_4^3 - 175111728966394394655476719109366874\ 3937097502492428850186879214456575069247601979981547695584973112187\ 21793458936430950492812371022181/6472187335642106106209427067640296\ 9943957349209571250409451927148669196231344406376663774334051529275\ 8720159256384970027929174098442*c_1001_4^2 - 2914322540110299121901337936296290878558755329421265651895219296914\ 2393933902875238505014143457217637356058181040155208571173884632693\ /647218733564210610620942706764029699439573492095712504094519271486\ 691962313444063766637743340515292758720159256384970027929174098442*\ c_1001_4 - 10237073002023162885695927656032635091782220944902551794\ 3121386949202998014726204119235558036389712167719585453234758068560\ 6101312407/32360936678210530531047135338201484971978674604785625204\ 7259635743345981156722031883318871670257646379360079628192485013964\ 587049221, c_0101_9 + 520762207235659413527653827270429686996869684803324505808960\ 3800791606848515794394198048518790922711939217242702807104323625626\ 560503/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^37 + 1133660153919866053983713412333005404995656996\ 2179291234379683860039504743365713677502055850218972370425170465112\ 396910777944660629701/647218733564210610620942706764029699439573492\ 0957125040945192714866919623134440637666377433405152927587201592563\ 84970027929174098442*c_1001_4^36 + 4554857934001830951650225189138369836664230477175641905638174253485\ 6398182425768183510288604181870721260901551651573324607437580009378\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^35 + 83036033305780052702201357459093951704397142893538472\ 5999867579092985397130645386509485579785651404113133295872252697136\ 036357029334915/129443746712842122124188541352805939887914698419142\ 5008189038542973383924626888127533275486681030585517440318512769940\ 055858348196884*c_1001_4^34 + 8023623641531803389384389935378879335\ 7099673526909514411890734057893220583603869497935158363902428629199\ 91639530977363398576521780257559/5177749868513684884967541654112237\ 5955165879367657000327561541718935356985075525101331019467241223420\ 69761274051079760223433392787536*c_1001_4^33 - 6733755307054954175775626453914554802556257775963989254887183479300\ 0300133669734613251952070857635950120109895513446498967009719215903\ 9/12944374671284212212418854135280593988791469841914250081890385429\ 7338392462688812753327548668103058551744031851276994005585834819688\ 4*c_1001_4^32 - 498406198163471117173495969774204382465954255374286\ 8044164053998040391089019415554510354891883202618045480839024332013\ 6475115604054163355/25888749342568424424837708270561187977582939683\ 8285001637807708594676784925377625506655097336206117103488063702553\ 9880111716696393768*c_1001_4^31 - 127634956555707503926458218854975\ 5681689521876746115726360120648038793187025244252764538530018727949\ 78733145075347833637664617779630464055/1294437467128421221241885413\ 5280593988791469841914250081890385429733839246268881275332754866810\ 30585517440318512769940055858348196884*c_1001_4^30 - 8156007738099408997380436320198690557140576307008157612808456961558\ 1044592187392851652012127751135132972453322718069932221160906537950\ 2317/25888749342568424424837708270561187977582939683828500163780770\ 8594676784925377625506655097336206117103488063702553988011171669639\ 3768*c_1001_4^29 - 107467383626139978964658511140760752153604499126\ 4492000467904168565565561386001969293653305605632043762335179055821\ 960768444081361250859665/129443746712842122124188541352805939887914\ 6984191425008189038542973383924626888127533275486681030585517440318\ 512769940055858348196884*c_1001_4^28 - 5954990373056477352405844081214498727836243544880723289999438102768\ 1537585458241152416443487607354742075497386165257313865776266736178\ 4104/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^27 - 1877195678944898632806923354417831215292699821596\ 7261325463094266340437585944212426261673435283755751626627696164556\ 518468565918196192934547/517774986851368488496754165411223759551658\ 7936765700032756154171893535698507552510133101946724122342069761274\ 051079760223433392787536*c_1001_4^26 - 8283836296080910229688300419673744987959920745357687936416093634464\ 2658007779243325267628624906869688530211602327536347317833318951531\ 31559/1294437467128421221241885413528059398879146984191425008189038\ 5429733839246268881275332754866810305855174403185127699400558583481\ 96884*c_1001_4^25 - 26676251341237726712813117586713056087348718457\ 1074556074563269419130022154934697106941596105211993635909331595197\ 23597712507088714060145649/2588874934256842442483770827056118797758\ 2939683828500163780770859467678492537762550665509733620611710348806\ 37025539880111716696393768*c_1001_4^24 - 3912714859718557357123515321108952111449284903517827995113529592532\ 3326759320652070141107653359927670400181790510139026776746548522467\ 448119/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^23 - 1057802810495314877747848271420320102380850687\ 3800285815177931382182072235475281024825339606281059078808860628143\ 7107223311562042811187535589/51777498685136848849675416541122375955\ 1658793676570003275615417189353569850755251013310194672412234206976\ 1274051079760223433392787536*c_1001_4^22 - 1310547535199213406251625654321604542806401492803540201743016550907\ 9485242004366297010393715781512234075982288499008442170504440792929\ 5875407/51777498685136848849675416541122375955165879367657000327561\ 5417189353569850755251013310194672412234206976127405107976022343339\ 2787536*c_1001_4^21 - 751487520317137626716720385138643411427087175\ 7510193220979869791528782038663560297345621158044025045100730040657\ 7186550527137375211028341645/25888749342568424424837708270561187977\ 5829396838285001637807708594676784925377625506655097336206117103488\ 0637025539880111716696393768*c_1001_4^20 - 7934614060746484148178095380100022925270645883436722507592382046356\ 9059543058919509226766872360830131167669885449113718685546342420649\ 459133/258887493425684244248377082705611879775829396838285001637807\ 7085946767849253776255066550973362061171034880637025539880111716696\ 393768*c_1001_4^19 - 7783979885477277061345813315049293359389792205\ 2964866518511880628845471424002325957994836189105630072184594286772\ 527561112239305800433404885/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^18 - 3528206938827341745039603460361937333208500315099829165324735124143\ 8788515878322294297983340761081541492732037925976225127597035071654\ 737247/129443746712842122124188541352805939887914698419142500818903\ 8542973383924626888127533275486681030585517440318512769940055858348\ 196884*c_1001_4^17 - 1491031158509052142903057155031542747005953954\ 8855522115379674539755319148537267206026573082323192753758151755118\ 548285439729296156289321909/647218733564210610620942706764029699439\ 5734920957125040945192714866919623134440637666377433405152927587201\ 59256384970027929174098442*c_1001_4^16 - 9338573344072538182508520354640611781553581896448475884598207987160\ 7203158213255274726453237684655372327617737314180640079758683779563\ 605513/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^15 - 8537440393988911375957784784289143896352380232\ 8639295521713289762587646420392304814910169134059355889057266583229\ 96082068870436017529763497/6472187335642106106209427067640296994395\ 7349209571250409451927148669196231344406376663774334051529275872015\ 9256384970027929174098442*c_1001_4^14 - 4625048256132114928573493209062139239417824567809988216226368090579\ 8113288570147064776151898634332775359631355742663567757006343935378\ 943935/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^13 - 1462641759375768489045752573542438506902879511\ 8908011751389002653667135473546119270522035933747197606666170969674\ 358012710416490548942415941/258887493425684244248377082705611879775\ 8293968382850016378077085946767849253776255066550973362061171034880\ 637025539880111716696393768*c_1001_4^12 - 1708622167376291123988977025546194743091149433165682240141956319598\ 5991866670738347450380796291206818506902249392266778850727843519235\ 708633/517774986851368488496754165411223759551658793676570003275615\ 4171893535698507552510133101946724122342069761274051079760223433392\ 787536*c_1001_4^11 - 4649035174880772519426119395992148510060244154\ 3584720344233290867333269507370093641803024872747364295117043633555\ 03125646217232745831986727/2588874934256842442483770827056118797758\ 2939683828500163780770859467678492537762550665509733620611710348806\ 37025539880111716696393768*c_1001_4^10 - 5812118123722625227237837169536188981545691472579036329438651934078\ 6906531759473381677075687226653242524515416371265948064678961602999\ 6479/64721873356421061062094270676402969943957349209571250409451927\ 1486691962313444063766637743340515292758720159256384970027929174098\ 442*c_1001_4^9 - 21507088844346336211178972528926508327760905722149\ 6633222866750316572869788254336717132613391160553565353709850917157\ 9173656831810762957819/51777498685136848849675416541122375955165879\ 3676570003275615417189353569850755251013310194672412234206976127405\ 1079760223433392787536*c_1001_4^8 - 2267922203094054755409361864364312978880483408751506023468703200805\ 5312783696635619418964412630832522852454513664505164891484444073990\ 7425/12944374671284212212418854135280593988791469841914250081890385\ 4297338392462688812753327548668103058551744031851276994005585834819\ 6884*c_1001_4^7 - 4339219088760425159903915205839542268036575260566\ 3269543848883573258577267665356812564697971579899056637388343303503\ 229005700659965719467/647218733564210610620942706764029699439573492\ 0957125040945192714866919623134440637666377433405152927587201592563\ 84970027929174098442*c_1001_4^6 - 120114458409769667799632295148808\ 3806043085541011407633654600851519634276546780880436791030014792396\ 35714336036728196897469366474248191743/5177749868513684884967541654\ 1122375955165879367657000327561541718935356985075525101331019467241\ 22342069761274051079760223433392787536*c_1001_4^5 - 3591167601769358997534451304976865128669514047227220959411451158397\ 3787574160413065031051996940973781129774181701793921991078497880478\ 273/517774986851368488496754165411223759551658793676570003275615417\ 1893535698507552510133101946724122342069761274051079760223433392787\ 536*c_1001_4^4 - 60266807836181380164356967492794086674163232082258\ 6828880062715568392218505488820857455370263384454863728949462956733\ 187496767581138866/323609366782105305310471353382014849719786746047\ 8562520472596357433459811567220318833188716702576463793600796281924\ 85013964587049221*c_1001_4^3 - 122354146531058938277503700778661276\ 8686369047424114754260009417558458103923438077855223271231565656855\ 31362851663201671858259190615168/3236093667821053053104713533820148\ 4971978674604785625204725963574334598115672203188331887167025764637\ 9360079628192485013964587049221*c_1001_4^2 - 2216045717606913080832150125822099123752508091992919629127866429905\ 7311322825877843822731526699034285014015337748174265860007223976518\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4 - 18026112164161863333172730040993418386975207178712130756\ 6661056764177340670161049612827797920665825989628989177779423399184\ 5729266035/32360936678210530531047135338201484971978674604785625204\ 7259635743345981156722031883318871670257646379360079628192485013964\ 587049221, c_1001_0 + 818974530396718092521971510412973006561686504704585166647395\ 4079422910870142781103824405413276331743197885688100810144502022095\ 1819/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^37 + 1559659835200360448855992719904707183923243531623\ 0871930000003691376121221015648053340652649469408313757013553282103\ 90025431124902609/3236093667821053053104713533820148497197867460478\ 5625204725963574334598115672203188331887167025764637936007962819248\ 5013964587049221*c_1001_4^36 + 137489367877753650472127744075407166\ 8227980037586804170293046695716769078936406629010100710623031540571\ 2871044167117624659486628021842/32360936678210530531047135338201484\ 9719786746047856252047259635743345981156722031883318871670257646379\ 360079628192485013964587049221*c_1001_4^35 + 7026543152894161413475573604474849341844356827581281403546061093102\ 4466890778010592961891111277853100146477256647386810251197164487189\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^34 + 20593408938473115998293355264936874495595797342390233\ 9584404929026739870014951322580595782773294769012847306844652087708\ 187733202890719/323609366782105305310471353382014849719786746047856\ 2520472596357433459811567220318833188716702576463793600796281924850\ 13964587049221*c_1001_4^33 + 13759792721413824801177809343136870584\ 7326388358147863545204902483081877325395508666092114376010088789530\ 265269713397923314464723143010/323609366782105305310471353382014849\ 7197867460478562520472596357433459811567220318833188716702576463793\ 60079628192485013964587049221*c_1001_4^32 - 1704229873988743371130015162828969252965735707027974259557232520696\ 5121775110059295356951127977002589801356220416477341805869973988677\ 94/3236093667821053053104713533820148497197867460478562520472596357\ 4334598115672203188331887167025764637936007962819248501396458704922\ 1*c_1001_4^31 - 105919224131321264621994394890050042605615498452085\ 7328605794741108061865873571880519050452807049891081061695870821975\ 4240747959788057040/32360936678210530531047135338201484971978674604\ 7856252047259635743345981156722031883318871670257646379360079628192\ 485013964587049221*c_1001_4^30 - 3801994642024855427097466492363644\ 4325272472477514625969929648056723634931250377035046569867580307104\ 149821723626701582995934108231015748/323609366782105305310471353382\ 0148497197867460478562520472596357433459811567220318833188716702576\ 46379360079628192485013964587049221*c_1001_4^29 - 1054748641565718952403051817799175686075292073730379336713288584331\ 4703132259922634206979230406974589348783467221373402290322908739009\ 1862/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^28 - 2468352123551926098189577781359295497334753779800\ 5814514346517074428923268748225000034258700465876293874812531658230\ 4430706680635503815786/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^27 - 5041372358073709280008927319725916229054795581846170295209569595418\ 9420086475599714312420970691387184734360560036527306649508795102897\ 4803/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^26 - 9224930665849549096233173341662154170137055054829\ 6013491503698639361711517516751252048779129828131839336212022327093\ 4245461077831213781715/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^25 - 1529703314365957757563543636628157768233279586484212040344795583180\ 1736248973491680069002679436042868572070439921915824928611565018818\ 58012/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^24 - 231531499733786947409369717744634822822311573552\ 4506697154996536530670806011628665551704116992069639635823132225797\ 189347614909529709380457/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^23 - 3211118813865924373546416648007263161797406964113257937304280788097\ 8996239311753539516987901535373946079018887903223349709399236079429\ 06997/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^22 - 409577016478570856516450173265778773320465641444\ 6954460546351690625465279139183522125923640574838138111909756509558\ 301413931607985341820999/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^21 - 4806079578191590710036768305972643897727787353355874692725094630366\ 5195130257381104000059676880040064532330262951336128042007180244572\ 75637/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^20 - 520849904560317879150198719829686523260678570854\ 3541977021367161349135241193212872526856777400311703604731918222636\ 870028011908738166762570/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^19 - 5211325663913271364549951064248252982007487395005624753410697956000\ 2192816520362284213873273500787203925057554871108592538732696106327\ 71227/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^18 - 483402515404862601374717505237961898975102657770\ 9053423998594438799778378262769067980798913045711427755338778672375\ 724338428596555992648574/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^17 - 4152427902008733629273089299073962431221900252869230619896203310967\ 7046474593589302255628116674589889911164835759227763627854251298455\ 32071/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^16 - 331768027156609231838961918525930509381211063800\ 9445354723907920093240439147785367592293465805333226033825578696738\ 273224665667600055791445/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^15 - 2458272445069525596000874897635489229425172277598314590046461194272\ 1749705153593018267608376349078511523619652327329995039703721210507\ 75879/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^14 - 169598297213345730506564158800926921968757180843\ 4981417094406380373180088198310731133489785478507306983188834690258\ 206709028642827779082712/323609366782105305310471353382014849719786\ 7460478562520472596357433459811567220318833188716702576463793600796\ 28192485013964587049221*c_1001_4^13 - 1083286134653431607929961082429341797878038313697917215306400433065\ 5874337411847719689160858171211027753317330344465749991213354428607\ 42963/3236093667821053053104713533820148497197867460478562520472596\ 3574334598115672203188331887167025764637936007962819248501396458704\ 9221*c_1001_4^12 - 643739440700735474790492739784361118397266850088\ 8683029348687710371299337517807688146451542860510217064054652983216\ 74514999778589896479103/3236093667821053053104713533820148497197867\ 4604785625204725963574334598115672203188331887167025764637936007962\ 8192485013964587049221*c_1001_4^11 - 3528391337929516075489652426638444374207816236020866618209906495222\ 0748475109457006918191417657804406512039554453372946753398809923184\ 8070/32360936678210530531047135338201484971978674604785625204725963\ 5743345981156722031883318871670257646379360079628192485013964587049\ 221*c_1001_4^10 - 1793635527384371639865943782036238269075571399210\ 6322065477626600500000225007001366229636087685351892018391013255699\ 1581542330100373364320/32360936678210530531047135338201484971978674\ 6047856252047259635743345981156722031883318871670257646379360079628\ 192485013964587049221*c_1001_4^9 - 8346940985348766823946841639023178423965954783809989690187008905484\ 6003142773151058481243833857674035906418511385031302655488339670991\ 021/323609366782105305310471353382014849719786746047856252047259635\ 7433459811567220318833188716702576463793600796281924850139645870492\ 21*c_1001_4^8 - 357306128335788491868776723846622176091851224692428\ 5531954506301787229422461291566022925712333784000518247967617115614\ 0605025231245871979/32360936678210530531047135338201484971978674604\ 7856252047259635743345981156722031883318871670257646379360079628192\ 485013964587049221*c_1001_4^7 - 13846824746674907086299295052694652\ 8141846628816269021351918659264952309450459097117165136713792779348\ 83417089413462655824328611722703669/3236093667821053053104713533820\ 1484971978674604785625204725963574334598115672203188331887167025764\ 6379360079628192485013964587049221*c_1001_4^6 - 4825909213828520995642836623383979052961223974198121773800448538013\ 1339166580131204948565704544143669965932297465973600057212057832280\ 82/3236093667821053053104713533820148497197867460478562520472596357\ 4334598115672203188331887167025764637936007962819248501396458704922\ 1*c_1001_4^5 - 1505268329435407696807789586338598488136691167970120\ 3132597277743335266876420284525151497034054060149423528568818510038\ 02134273400142776/3236093667821053053104713533820148497197867460478\ 5625204725963574334598115672203188331887167025764637936007962819248\ 5013964587049221*c_1001_4^4 - 3954822464490328801445312718395658999\ 9968140772750033080137817553114535975850718592216130227500600398951\ 8868153072641596332848491847345/32360936678210530531047135338201484\ 9719786746047856252047259635743345981156722031883318871670257646379\ 360079628192485013964587049221*c_1001_4^3 - 9356311608537745726918308741160446362791005659624539458626523006767\ 5155740583078145153666690900230812749982216800305267206204644063153\ /323609366782105305310471353382014849719786746047856252047259635743\ 345981156722031883318871670257646379360079628192485013964587049221*\ c_1001_4^2 - 149240106933402700684318720039496377788553602492281866\ 4708657478472095045329992301544147791659018880013990338377108043874\ 4665258274784/32360936678210530531047135338201484971978674604785625\ 2047259635743345981156722031883318871670257646379360079628192485013\ 964587049221*c_1001_4 - 2456326138068177723062990891457306744840315\ 7624578340059766418564421144369434895825974213242154029130612737063\ 00157555449915178053133/3236093667821053053104713533820148497197867\ 4604785625204725963574334598115672203188331887167025764637936007962\ 8192485013964587049221, c_1001_4^38 + 124/7*c_1001_4^37 + 1016/7*c_1001_4^36 + 4756/7*c_1001_4^35 + 1729*c_1001_4^34 - 72*c_1001_4^33 - 135470/7*c_1001_4^32 - 726940/7*c_1001_4^31 - 2395866/7*c_1001_4^30 - 6417580/7*c_1001_4^29 - 14468704/7*c_1001_4^28 - 28875251/7*c_1001_4^27 - 7376288*c_1001_4^26 - 84111770/7*c_1001_4^25 - 124940590/7*c_1001_4^24 - 170856509/7*c_1001_4^23 - 214492795/7*c_1001_4^22 - 249002822/7*c_1001_4^21 - 38081998*c_1001_4^20 - 264911258/7*c_1001_4^19 - 243717588/7*c_1001_4^18 - 208866888/7*c_1001_4^17 - 166185561/7*c_1001_4^16 - 123440532/7*c_1001_4^15 - 85162439/7*c_1001_4^14 - 54852790/7*c_1001_4^13 - 32765865/7*c_1001_4^12 - 2606110*c_1001_4^11 - 1340808*c_1001_4^10 - 4478403/7*c_1001_4^9 - 1962104/7*c_1001_4^8 - 788192/7*c_1001_4^7 - 287943/7*c_1001_4^6 - 93973/7*c_1001_4^5 - 27572/7*c_1001_4^4 - 6784/7*c_1001_4^3 - 1496/7*c_1001_4^2 - 32*c_1001_4 - 32/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 22.840 Total time: 23.050 seconds, Total memory usage: 96.16MB