Magma V2.19-8 Wed Aug 21 2013 00:29:00 on localhost [Seed = 3684551648] Type ? for help. Type -D to quit. Loading file "K14n16268__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16268 geometric_solution 12.21452709 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520582214761 1.094688501647 0 5 6 2 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198848945274 1.141511063344 1 0 8 7 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434118765128 0.405377802069 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 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.487929896580 0.832429529228 11 10 0 12 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -9 9 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.540114665745 0.746781967182 6 1 7 12 2310 0132 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529450636716 0.410588023195 9 10 5 1 3120 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -9 9 1 -10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899612053278 1.254905619802 5 11 2 9 2310 3120 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.171118652167 0.764368045155 12 10 11 2 3120 0213 3120 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -10 0 10 0 -10 10 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377551321476 0.890566373987 3 7 12 6 0132 0321 3201 3120 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 0 10 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.316187427550 1.175497182613 6 3 8 4 1230 0132 0213 0321 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402881651018 1.092379474388 4 7 8 3 0132 3120 3120 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 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.478451017828 0.772231108252 9 5 4 8 2310 0321 0132 3120 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 -9 10 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408111515276 1.031775142438 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_7']), 's_3_11' : negation(d['1']), 's_0_11' : negation(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_0011_8'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0101_11']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_1001_2'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0101_0']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], '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' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 2705373145535533151622450819132897490946115163364387761247589650725\ 7020509969368541460575728003194000731929870120871432136621571934626\ 611369347200884434030829/946561387154083441865968960111696795449867\ 0862712159732753316493371259588703338410720738531028762182906611183\ 3231789478602525080664166797788032712240*c_1001_2^30 - 2645238051562719367814302612214045141344911577532955193079767828950\ 7104355650448953412126697953001677421158288599772673134317641359491\ 700049766531114429241861/153816225412538559303219956018150729260603\ 4015190725956572413930172829683164292491742120011292173854722324317\ 29001657902729103256079271046405553157390*c_1001_2^29 + 4355307062133666163157833696285942807773776884424750523494797915110\ 3951219442182346598966936583760889590434250812031607041391447884349\ 1030462871377659125862057/30763245082507711860643991203630145852120\ 6803038145191314482786034565936632858498348424002258434770944464863\ 458003315805458206512158542092811106314780*c_1001_2^28 + 1249044022631103249928934877950623248052780585421832206690642918217\ 4469562714988881274074393134292071099487542431954370847555229820290\ 429121673749329849250415/123052980330030847442575964814520583408482\ 7212152580765257931144138263746531433993393696009033739083777859453\ 83201326322183282604863416837124442525912*c_1001_2^27 - 6757265886743696146833380399963923751484742326570188288081422052037\ 2860770063162148407894942143850706186056643373133516549937437260309\ 5956031961418733425837973/15381622541253855930321995601815072926060\ 3401519072595657241393017282968316429249174212001129217385472232431\ 729001657902729103256079271046405553157390*c_1001_2^26 + 1083499301249131671584392704332636173841165252383572164265195371384\ 8539865944884690796570096969253102148673387382678140297396481089784\ 9135318028608684819577471/76908112706269279651609978009075364630301\ 7007595362978286206965086414841582146245871060005646086927361162158\ 64500828951364551628039635523202776578695*c_1001_2^25 + 6191136191019335274064717473829092116320746439224120518228962247406\ 1186602386824549909583454926325928042788964961337324028966327423921\ 25976851684845914254934027/6152649016501542372128798240726029170424\ 1360607629038262896557206913187326571699669684800451686954188892972\ 6916006631610916413024317084185622212629560*c_1001_2^24 - 1823100003960525983302210164517699602334857848762619855229203575437\ 3649444168646025748691525767221700663922632469656841990467236481778\ 6812090264962647841941449/76908112706269279651609978009075364630301\ 7007595362978286206965086414841582146245871060005646086927361162158\ 64500828951364551628039635523202776578695*c_1001_2^23 - 8893337886884262002357105781879907355714439780650298368558284127285\ 6183321982495062771486856024408146713937969256429778155887510838953\ 03729618409474142114627381/6152649016501542372128798240726029170424\ 1360607629038262896557206913187326571699669684800451686954188892972\ 6916006631610916413024317084185622212629560*c_1001_2^22 + 1522811312695197624470574520139952032936368336400353916467683810904\ 4726813477993362117574613251256182301498866033654198734004894233798\ 337939017710379784696759/153816225412538559303219956018150729260603\ 4015190725956572413930172829683164292491742120011292173854722324317\ 2900165790272910325607927104640555315739*c_1001_2^21 + 2416727392813268491504348369613479326488505622678528070440808365113\ 9931058264554889282674333030112009187774649014891269878993334555345\ 27562215115159231501813449/1538162254125385593032199560181507292606\ 0340151907259565724139301728296831642924917421200112921738547223243\ 1729001657902729103256079271046405553157390*c_1001_2^20 + 2844469271061088298045176665268866312898004327622249673942716538930\ 8394469518609340866285054290035876431221614507322339819740594539470\ 40572803461689656944292043/6152649016501542372128798240726029170424\ 1360607629038262896557206913187326571699669684800451686954188892972\ 6916006631610916413024317084185622212629560*c_1001_2^19 - 2520888603531194654154997459687221627445122340309619028679246925981\ 9436907769255322471292433788837336005238267812864528116287182110501\ 511795816882211742524341/207859764070998053112459400024528012514328\ 9209717197238611370175909229301573368232083945961205640344219357185\ 527049431117960854811882041167642610235*c_1001_2^18 - 5814192192829335398700240245656110427702349982375821649896615337234\ 1365315074946202702420123284713986842331304183943798738820341006277\ 72280796456341056890508063/6152649016501542372128798240726029170424\ 1360607629038262896557206913187326571699669684800451686954188892972\ 6916006631610916413024317084185622212629560*c_1001_2^17 + 5309804056386624806606521212879096943937703312750193521211388691050\ 9987558635196721626877180744231897685408041957246325343195687674872\ 84334981420662144718552277/1230529803300308474425759648145205834084\ 8272121525807652579311441382637465314339933936960090337390837778594\ 53832013263221832826048634168371244425259120*c_1001_2^16 + 1306893697886302641377300253814008937638351354032989467702361944390\ 3571021188832964595467181741708573949999185379228698322795556643731\ 0558106900328860925149143/16628781125679844248996752001962241001146\ 3136777375779088909614072738344125869458566715676896451227537548574\ 84216395448943686838495056329341140881880*c_1001_2^15 + 1691218273390383235360264325228730734545112443961680851147860303886\ 2099165758517238228765020395733956369767637475414581248211879867926\ 60554257717151950286265941/6152649016501542372128798240726029170424\ 1360607629038262896557206913187326571699669684800451686954188892972\ 6916006631610916413024317084185622212629560*c_1001_2^14 - 1117069085673696424096605715845030457617362194416339405898238633214\ 3407109581111885115103834020095425072799792443891048768461694503989\ 908794118387005239796761/665151245027193769959870080078489640045852\ 5471095031163556384562909533765034778342668627075858049101501942993\ 686558179577474735398022531736456352752*c_1001_2^13 - 8781513485111378891432760342597339247843797104811952908640314073266\ 7007717696490913885074240739894573824889802310668533627770580405078\ 490680562338390099239213/261814851766023079665055244286214007252090\ 8962026767585655172647102688822407306368922757466029232093144381816\ 6638580068549634596779450390877540962960*c_1001_2^12 - 1065718906249175373154074472102599330938445916674839566932786636306\ 6210756973577344235738655920884464084439409214750538657417487290243\ 97598352007521491606866539/6152649016501542372128798240726029170424\ 1360607629038262896557206913187326571699669684800451686954188892972\ 6916006631610916413024317084185622212629560*c_1001_2^11 + 4185816081378908576498238510220750937803198353779356228684947516261\ 3929265349095799349562900705050603655769183629074189177175174095089\ 4975938172785196785056347/61526490165015423721287982407260291704241\ 3606076290382628965572069131873265716996696848004516869541888929726\ 916006631610916413024317084185622212629560*c_1001_2^10 + 7594542195150619395602503999749561474937270094320224538697975014507\ 6499842233370919259541066073762676728815526484415107179132049343033\ 2158085558829393250459943/61526490165015423721287982407260291704241\ 3606076290382628965572069131873265716996696848004516869541888929726\ 916006631610916413024317084185622212629560*c_1001_2^9 + 6687609682929224302392901064299715743512299578403074168764006050532\ 3264640747607633187403696197915058988081496107360458816753968000655\ 6078934308072834574156833/12305298033003084744257596481452058340848\ 2721215258076525793114413826374653143399339369600903373908377785945\ 3832013263221832826048634168371244425259120*c_1001_2^8 - 9466754838223647994179041660163718054646416143442165481430705711160\ 5272836805531749365912441326199058074346199693096913397282066181561\ 031833921724823811479147/123052980330030847442575964814520583408482\ 7212152580765257931144138263746531433993393696009033739083777859453\ 832013263221832826048634168371244425259120*c_1001_2^7 - 2654209145922593313866789406928088755288227081106405897362480798578\ 3884622914525357014948779303188142141829887190821098086227732045392\ 8160577297946540261392337/12305298033003084744257596481452058340848\ 2721215258076525793114413826374653143399339369600903373908377785945\ 3832013263221832826048634168371244425259120*c_1001_2^6 - 1384718804570477930555567166053643522852077813025301041143293913118\ 2473135721427215314580338450997436967737227236064687389594503431319\ 0940332985044382211916583/12305298033003084744257596481452058340848\ 2721215258076525793114413826374653143399339369600903373908377785945\ 3832013263221832826048634168371244425259120*c_1001_2^5 - 2197195246999962504633167459126308682284709979414749374587296208589\ 9588577740734867802282816691157826197150571544838229964126567168411\ 999434566671285396320543/123052980330030847442575964814520583408482\ 7212152580765257931144138263746531433993393696009033739083777859453\ 832013263221832826048634168371244425259120*c_1001_2^4 + 2142472862497792476298743060749109058278136296003830430440975611771\ 1567345211675334372573920900171749118378283012414481731741910458898\ 363908731404434370614327/123052980330030847442575964814520583408482\ 7212152580765257931144138263746531433993393696009033739083777859453\ 832013263221832826048634168371244425259120*c_1001_2^3 + 8278726873151287753346813046036166742161471688554599583320564940620\ 7540813912603038679850389874503218900010606483721061400271302167102\ 3483213722844106916089/53501295795665585844598245571530688438470748\ 3544600332720839627886201628926710431910302612623364819033851936448\ 70141879210122871679746450923670663440*c_1001_2^2 + 8043100371441869829661358324324113696542631263370651288037827253228\ 1432644538835432097333751025545096047984174649780195927918102903441\ 2156919851810617253439/15381622541253855930321995601815072926060340\ 1519072595657241393017282968316429249174212001129217385472232431729\ 001657902729103256079271046405553157390*c_1001_2 + 1025161292551864650474604743613289307280023993247796374754488420352\ 3181661164162933797141341780875145021141388602394056253384185526185\ 203523510712140639923/153816225412538559303219956018150729260603401\ 5190725956572413930172829683164292491742120011292173854722324317290\ 0165790272910325607927104640555315739, c_0011_0 - 1, c_0011_10 + 10523242838085302654586404614781729874507617204866555766128\ 3090236700816514188892783667314043979125815001259386311709707394158\ 9659400848/26705128038145124283812047802438962110947855248128457159\ 5444114689936378546599242635856913381355560484079380379812577112193\ 69076031*c_1001_2^30 + 15630296714391206205087944412161154129194869\ 5320801451045989086513203460590069666546287078270625522887231761658\ 6220496410986898466927959/53410256076290248567624095604877924221895\ 7104962569143190888229379872757093198485271713826762711120968158760\ 75962515422438738152062*c_1001_2^29 - 5150240310810524214130454894838094789965660532534778472300990857110\ 4737964482184782278677676748584160127504529043534413689662669646617\ 69/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 - 1136826553074450131882507019945784343256142764239930\ 2182156218168840861847532403925765666168246875804020278611790656731\ 55129325815973356/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^27 + 1626875932906543746424391347148533475\ 2239072092078249629902222807023380888185034442754219377818935119936\ 661281423186590030751079485753253/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^26 - 2844288876617653203566660399410233911818414299531980206701322363747\ 1510718883223284163697523695552278708502320623686977299297465992216\ 54/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 - 3828826055099586868007733648878184593895664667078712\ 4851953637200047470862943858538316618371438799237643823995564762931\ 838402804899853153/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^24 + 353750464477678565379383052014779440\ 3228197786931500723927980187940496687148637541844091748742129598480\ 334714721495884599647247759246352/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^23 + 5570705329886188646256946448741507570600110206611131103760229754680\ 4400128741146286053826130264046850676564129859529069976613533493656\ 383/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^22 + 371266617555298839722407263366726728380901939666686\ 1202892407689538336121151718738202694280833316726878535754319881138\ 043573058940338999/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 - 602576014634656277465724062614353227\ 0822645751045725168094685505809636791996324891949244928514883589430\ 2625103216116142883669650275713848/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 - 2507359910855708585941818706277749420525775597907314573265727069167\ 7752828426099845685697584491542397798418332323151477398085956381308\ 833/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^19 + 442874418366002312563248871573222775844396174818996\ 6157820276479692138253049183082936632938984456955500873505489604030\ 8287261780207275931/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^18 + 41557463220439577707084212471039000\ 6244815341040441789671667747240145718034556174928175029601624697299\ 90282937525369101524073954097573054/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^17 - 1252883991033094635592413119737675885676588256612255402103144867524\ 7621634231882771728655030471225863792689752209572111534332738458079\ 745/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^16 - 645433041983196377427748270655092183377786646044863\ 9268944242554201405477995379101852822401995287440704426922854035030\ 2520534628360301791/53410256076290248567624095604877924221895710496\ 2569143190888229379872757093198485271713826762711120968158760759625\ 15422438738152062*c_1001_2^15 - 13541623140314437124752508966950688\ 5825945624637092610538314626698351672525281358369388131838542770462\ 55867476955131522983162087516725987/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^14 + 5708930172838238451409386314915951468519830118546152089120678974348\ 1347488147048130424269862474694969404394863442157028482701245723632\ 85/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^13 + 2680132568238192118277043747307186265336426643956302\ 2822240080360470791618392051693416433112320816945165565660957879951\ 415912523131294815/534102560762902485676240956048779242218957104962\ 5691431908882293798727570931984852717138267627111209681587607596251\ 5422438738152062*c_1001_2^12 + 157991273347603216662450639023878203\ 0093869116925301752891988660272194262934873646326207113295414835456\ 7873073381511197123105254955589387/53410256076290248567624095604877\ 9242218957104962569143190888229379872757093198485271713826762711120\ 96815876075962515422438738152062*c_1001_2^11 - 1977888051873526532550958561408925741105039294471548308320971560498\ 9109747569404453810737254381258102093139869475441290017232912309893\ 38/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^10 - 5081731574719672521933205078158882503994189907669362\ 8059249297316382421919924944077866635503398068399343520559477753819\ 54597281917612918/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^9 - 25260968736981646848189294056381242096\ 5763101091974509975776946132318727688757886652337381691491432197738\ 9583711659142514841439652881656/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^8 + 2828427726404767886289790281638271324095278265325073740879099871041\ 6220742010060856379079858953645477328257973968168244296711312707341\ 3/53410256076290248567624095604877924221895710496256914319088822937\ 987275709319848527171382676271112096815876075962515422438738152062*\ c_1001_2^7 + 176054100079790295399668063771023650681383577761793696\ 1097104985686620268787232637034538260916187725877006744877168412452\ 729793822370319/534102560762902485676240956048779242218957104962569\ 1431908882293798727570931984852717138267627111209681587607596251542\ 2438738152062*c_1001_2^6 + 1017380745839642973910619897380146836266\ 2540239276013307729525155197568385597645133180120543162795928849004\ 81220330203925734783621633773/5341025607629024856762409560487792422\ 1895710496256914319088822937987275709319848527171382676271112096815\ 876075962515422438738152062*c_1001_2^5 + 1979037915682453051174923288727094785163507044733305602426903219362\ 6384646839651568416860676439475018359336848903089179391136807172527\ 5/53410256076290248567624095604877924221895710496256914319088822937\ 987275709319848527171382676271112096815876075962515422438738152062*\ c_1001_2^4 - 129236585737397869444881031645786233301940181888328459\ 7024500173475789422110303431534179900037786150362798600059590471193\ 14553274153975/5341025607629024856762409560487792422189571049625691\ 4319088822937987275709319848527171382676271112096815876075962515422\ 438738152062*c_1001_2^3 - 13309870696582811801940041306350693909306\ 5858408111051272569114237964975970960887167660186074088637962501480\ 588293407951973586060320469/534102560762902485676240956048779242218\ 9571049625691431908882293798727570931984852717138267627111209681587\ 6075962515422438738152062*c_1001_2^2 - 4989185603871644323411584551953361331867242141200965941761444956417\ 1503190592466774416938324426747195548536160079761774065325337319465\ /534102560762902485676240956048779242218957104962569143190888229379\ 87275709319848527171382676271112096815876075962515422438738152062*c\ _1001_2 - 354093322755266563536535716129457678344660944905559835221\ 2833155143783127933763599713608283327898681483139338865265531040579\ 187343974/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031, c_0011_11 - 34521793959283132789455396630335823670166289171550898256472\ 1722072462500631877629672765799987327124616604400908779564928211065\ 405729624/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031*c_1001_2^30 + 696453584002987329835095709717727886335528019\ 6017493006053784070736003942770743135228568806703573202100446410066\ 5821994919580620646691/53410256076290248567624095604877924221895710\ 4962569143190888229379872757093198485271713826762711120968158760759\ 62515422438738152062*c_1001_2^29 + 1700898279063185681517216860108368208135811562834428853508495527890\ 6996372323800797248687601491864785455134619895303226708232875001817\ 12/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 - 1075033006032472864721885371739478118394334203147032\ 9754514693570609662250457853842701948848963849534223884561198235723\ 15758383550716899/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^27 - 4628166220007056493414544598272358695\ 5829932329626351354777485495801891952172344921584298837197221377752\ 86210396416131374141126759512329/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^26 + 5008132052847688429349822471030693874547107943675368335680887540976\ 9345442205548769306697124167561405488530591911021316642009941299152\ 49/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 + 8845390016912156373834204330507289724801510609542693\ 2711090141756675925922218381156533639277180643084610234976477301322\ 26735328385626180/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^24 - 9327110897742140536287776613356019420\ 9215987288930225264046612377278329118221684109892706008110765811186\ 56173218348580114100341098613254/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^23 - 1129774238701582875747633698999939695971681360392786355553352457953\ 1576285875776448074461662415823233090221473359608737862037216019791\ 528/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^22 + 961531487780677239144909435486808418219749796561759\ 4309212740986655367887281452884454950838292106315340642390146728383\ 132055106390588173/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 + 127085420516810320715341401513213667\ 5140212697470707845980816225011847464210749538234597093719509243063\ 4926245822201544206535823593594286/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 - 3872296288414861882049522056046024002754165197461352619316613363151\ 4832454864172422886760438143477005942594947933556060714939531476249\ 83/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^19 - 1246843257478444494460754410447656919195374434132856\ 3659310626840122661983218362957229315724058318505087588164690985779\ 494723287021438662/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^18 - 238024961904263489272720738240104042\ 6255741794791574836650484092178827287566926540349173743124725580826\ 475610603900758161296404991313706/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^17 + 7441426836669435205047824177069731758223385855843965489819339493538\ 8981642063036775687981453405383601938330766060270280073183495664990\ 51/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^16 + 8583468196152528810069756723457339045405846822410764\ 6586031304494770008728828534032571325460287163557841849627828830904\ 63015703339784795/5341025607629024856762409560487792422189571049625\ 6914319088822937987275709319848527171382676271112096815876075962515\ 422438738152062*c_1001_2^15 - 6815468222142621382303526313126815693\ 4440180375538787377736174762747382940503718887638323349896152523316\ 719262844556936172745788255726/267051280381451242838120478024389621\ 1094785524812845715954441146899363785465992426358569133813555604840\ 7938037981257711219369076031*c_1001_2^14 - 2127813628057053263032748992952499008646564054509511572836064518446\ 4448330624494248417544908816783217205245152682596123175901323392024\ 65/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^13 - 5026533833600200659888162667642171184274573856083488\ 3415868208679240060242738541055476860522632047719728306759078072602\ 58413065225019193/5341025607629024856762409560487792422189571049625\ 6914319088822937987275709319848527171382676271112096815876075962515\ 422438738152062*c_1001_2^12 - 4651875773598358017171356714430756011\ 1908712621169562277718806895515634498562198983571962404706637922853\ 3237555672004040895651195359157/53410256076290248567624095604877924\ 2218957104962569143190888229379872757093198485271713826762711120968\ 15876075962515422438738152062*c_1001_2^11 + 1087699746704079191986521720589654294266815701090875269549450161463\ 1706215615205577100070973736459620565008989048644919979458771905637\ 15/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^10 + 7190174453411997728018972399516804653140091554153956\ 3202349740130757726182704576938792586745930005435188994011666039021\ 0412252923654404/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^9 + 969520563742357258079439634594039168497\ 7641719887300870028545080715546945725296777209199768525983870471431\ 9991758301987861277585444526/26705128038145124283812047802438962110\ 9478552481284571595444114689936378546599242635856913381355560484079\ 38037981257711219369076031*c_1001_2^8 - 3707826996741795747458998824775162986083543571110739917207545340144\ 8297336628616812982988225754651086259044386073620151724225043489018\ 5/53410256076290248567624095604877924221895710496256914319088822937\ 987275709319848527171382676271112096815876075962515422438738152062*\ c_1001_2^7 - 258718168669294440967216735721196928558302638262223998\ 9600540474301882612729275357091190554927745765399324035538313123833\ 58429392454749/5341025607629024856762409560487792422189571049625691\ 4319088822937987275709319848527171382676271112096815876075962515422\ 438738152062*c_1001_2^6 - 70779192647674097304482705026834289565773\ 5878878926301175373461817595329457924592425513488436107791711533712\ 95679802606620058628986213/5341025607629024856762409560487792422189\ 5710496256914319088822937987275709319848527171382676271112096815876\ 075962515422438738152062*c_1001_2^5 + 1554243205201329883147073812498899765151420662926953037934846279405\ 4140897413222575548740107894962111460921130659316657643704983025239\ /534102560762902485676240956048779242218957104962569143190888229379\ 87275709319848527171382676271112096815876075962515422438738152062*c\ _1001_2^4 + 3227741471397379299655039885257592234310312126229189031\ 1646757024388543270999688756088188436216105587752095827120672209002\ 630613125079/534102560762902485676240956048779242218957104962569143\ 1908882293798727570931984852717138267627111209681587607596251542243\ 8738152062*c_1001_2^3 + 1353440230752264203047084259688853783439374\ 2835495156640086055362399762722627469563287993039251120190394256588\ 078643124469845280527665/534102560762902485676240956048779242218957\ 1049625691431908882293798727570931984852717138267627111209681587607\ 5962515422438738152062*c_1001_2^2 + 1719577121859911052494938087185270305251987393542684458363120544759\ 008698075089682028850604316542472464557948423436724818152138516555/\ 5341025607629024856762409560487792422189571049625691431908882293798\ 7275709319848527171382676271112096815876075962515422438738152062*c_\ 1001_2 + 1567442396763163482533396242318300223257723507867261945546\ 5983223610987582102402224807127982902145874497023332053557981807830\ 277524/267051280381451242838120478024389621109478552481284571595444\ 1146899363785465992426358569133813555604840793803798125771121936907\ 6031, c_0011_12 + 34111023741007386644920329120291081313664282222193281255247\ 2547316797573079771637953835848788166820001255773988658707800190329\ 5550375053/10682051215258049713524819120975584844379142099251382863\ 8177645875974551418639697054342765352542224193631752151925030844877\ 476304124*c_1001_2^30 + 1030176337496936349475934582136422895850197\ 5117467171257517715661065050236743176174358142381774565223524745549\ 96162042553896572968388759/5341025607629024856762409560487792422189\ 5710496256914319088822937987275709319848527171382676271112096815876\ 075962515422438738152062*c_1001_2^29 - 4165590635984140980573449046406799609182584279084756078574161922557\ 3013914544644144678326499984271922330520630199838000128664090285979\ 81/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 - 6790022051978038795745342330110425721004211315325278\ 1385579326248019478045486225666968136841288315991934149986702498265\ 8932974570459585/53410256076290248567624095604877924221895710496256\ 9143190888229379872757093198485271713826762711120968158760759625154\ 22438738152062*c_1001_2^27 + 12836089632903443666545510960909827073\ 7533148315185682997746492178830653741604254450544220119434637967912\ 70308685436635031767747643549074/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^26 - 3896679191932696980676685750178919821860569671302538765983135036737\ 3653881443646493602638189471972724525372028654496970110957970431831\ 26/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 - 5874832157901078643641721933426439968272074287948698\ 6644715511990935102379986312403129513980835092911779025468230305024\ 753770224717887829/534102560762902485676240956048779242218957104962\ 5691431908882293798727570931984852717138267627111209681587607596251\ 5422438738152062*c_1001_2^24 + 594144006459886219782706204829553495\ 1652922792020818890889286716776269324619360957049194764345798353350\ 879128789986950700118559143893031/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^23 + 8416136448764825783032883694342530500132548065979003931385141015124\ 9086255796355839043733699806934710366424283614722452928550344606724\ 083/534102560762902485676240956048779242218957104962569143190888229\ 3798727570931984852717138267627111209681587607596251542243873815206\ 2*c_1001_2^22 - 954866785617574560451680553556809677655226364412884\ 6381128440357198528441806030015137559090093800393421527438653480087\ 81141487965150012/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^21 - 4572360884528343661549293643327648888\ 3278427659748296611671156100942621246125415860715887351291892964770\ 845522859394039877706072886602055/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^20 - 3172405100497776587919054907286161079282537276113694088997792441273\ 7632072420379819876429626039477853036656075861651414612376614723217\ 745/534102560762902485676240956048779242218957104962569143190888229\ 3798727570931984852717138267627111209681587607596251542243873815206\ 2*c_1001_2^19 + 347711371275954895422971317502984547381488228946376\ 0552676674295797450045328913013983395980206193492101158339016271258\ 5570682549869066231/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^18 + 58743032471982855279170766521981687\ 9920181872764958807831397583343541180724086824639109044432118302769\ 46269553756950251517664686834159665/5341025607629024856762409560487\ 7924221895710496256914319088822937987275709319848527171382676271112\ 096815876075962515422438738152062*c_1001_2^17 - 4463487438789645105402441204692698349400308681736334898463552514041\ 0495060947736214799929759410319719710438712134457330266531023994022\ 161/106820512152580497135248191209755848443791420992513828638177645\ 8759745514186396970543427653525422241936317521519250308448774763041\ 24*c_1001_2^16 - 23656964652278726121577042363393508301198421470129\ 5272141534332870802295981856220007832149886067833266911455495286629\ 29844795016099192226/2670512803814512428381204780243896211094785524\ 8128457159544411468993637854659924263585691338135556048407938037981\ 257711219369076031*c_1001_2^15 - 1877822200909148138209906940916311\ 8406034229437626879397646528041076571071823809543859358567771650766\ 345414347336225025269576028467908391/534102560762902485676240956048\ 7792422189571049625691431908882293798727570931984852717138267627111\ 2096815876075962515422438738152062*c_1001_2^14 + 1872325690805473130559576076691405817288695010535630207409604707927\ 3267163612725900102731232874180321541393772619455907119403128535381\ 605/106820512152580497135248191209755848443791420992513828638177645\ 8759745514186396970543427653525422241936317521519250308448774763041\ 24*c_1001_2^13 + 40480490277555316079651237070963502944867789188094\ 4434072699393682731978226025466442958334169904005689465320026850482\ 55470319267526020197/1068205121525804971352481912097558484437914209\ 9251382863817764587597455141863969705434276535254222419363175215192\ 5030844877476304124*c_1001_2^12 + 550535078540957650557789597124846\ 2079133690573044595315118422806287378636472545705249282281914693359\ 209355034805698779237477582189879884/267051280381451242838120478024\ 3896211094785524812845715954441146899363785465992426358569133813555\ 6048407938037981257711219369076031*c_1001_2^11 - 3434013212553247770629022044850195928564652517218247856685479752840\ 5957474503881283061344632249351441856322458554933420639612929921330\ 83/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^10 - 7499430921088698565850185425916738756582393062165243\ 8673398683125597174644920755358360004235372935263772218985930001285\ 94593914937341005/5341025607629024856762409560487792422189571049625\ 6914319088822937987275709319848527171382676271112096815876075962515\ 422438738152062*c_1001_2^9 - 71286025989575501908193656947496149051\ 6821061621844274610705551353552309657425300869790828311459846278292\ 8881477250491633641409985973277/10682051215258049713524819120975584\ 8443791420992513828638177645875974551418639697054342765352542224193\ 631752151925030844877476304124*c_1001_2^8 + 6369239157405079032746568416415066618881032585391126806344694398831\ 8411728119280786187502531909303058946384695323604340329422357206585\ 7/10682051215258049713524819120975584844379142099251382863817764587\ 5974551418639697054342765352542224193631752151925030844877476304124\ *c_1001_2^7 + 26014432853475341914349623643413608431978829124359661\ 7974969541188157606231871113250870743723407327642833809116098912079\ 4915711991622291/10682051215258049713524819120975584844379142099251\ 3828638177645875974551418639697054342765352542224193631752151925030\ 844877476304124*c_1001_2^6 + 14573897335265857348271658664849950908\ 8745965279423151691458633515108733761649752366021658030230612601827\ 4633151753636269253004261662541/10682051215258049713524819120975584\ 8443791420992513828638177645875974551418639697054342765352542224193\ 631752151925030844877476304124*c_1001_2^5 + 2635191026399924260246502167205125088064607140545988294629450220210\ 7304458166319620117612735520165762288040977462838944057722237719567\ 3/10682051215258049713524819120975584844379142099251382863817764587\ 5974551418639697054342765352542224193631752151925030844877476304124\ *c_1001_2^4 - 19948803607306018771443673978475412082014313805098250\ 5604336516374287371462497737771707030613300091499568101169789930047\ 989269289396253/106820512152580497135248191209755848443791420992513\ 8286381776458759745514186396970543427653525422241936317521519250308\ 44877476304124*c_1001_2^3 - 192755063120858219904661242702099661686\ 7000229263233380928086394900528616798386902028372348244151852456743\ 23426724669477851747742015765/1068205121525804971352481912097558484\ 4379142099251382863817764587597455141863969705434276535254222419363\ 1752151925030844877476304124*c_1001_2^2 - 3532333833458225516825618036773988225129025315393529483370843897707\ 9357367313077032592072260038443400689292323768759485707968134016209\ /534102560762902485676240956048779242218957104962569143190888229379\ 87275709319848527171382676271112096815876075962515422438738152062*c\ _1001_2 - 247908922567882056530646852711855402595382370015437907376\ 5471930641364707864074263595875715643325443340920667471889314552821\ 061904211/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031, c_0011_7 - 285205591631062639150607456876228735334207315541745136057796\ 5021541621962492159452858542902239491259316985780816278169299768357\ 37509577/5341025607629024856762409560487792422189571049625691431908\ 8822937987275709319848527171382676271112096815876075962515422438738\ 152062*c_1001_2^30 - 3075913084060568208921281344315015660138845794\ 0760905032946773089210881777508501029661167411054486172946687237048\ 4489377901234064369657/53410256076290248567624095604877924221895710\ 4962569143190888229379872757093198485271713826762711120968158760759\ 62515422438738152062*c_1001_2^29 + 6830271882408947459584120766128648957796917900568331958594851982327\ 2318406039461970011767893151021325562539630203014532202853476899982\ 2/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^28 + 39778418601184916670197388103755853867914927296980410\ 0085976168609724429201853524628249503842862222699290629659426279738\ 098999672670087/267051280381451242838120478024389621109478552481284\ 5715954441146899363785465992426358569133813555604840793803798125771\ 1219369076031*c_1001_2^27 - 225894357627283448838247465338006730835\ 1110100100218330095784897901423458796414113737941455717660274169678\ 960309963967666011927191563181/267051280381451242838120478024389621\ 1094785524812845715954441146899363785465992426358569133813555604840\ 7938037981257711219369076031*c_1001_2^26 - 3454611338815730989419204717960110414736608696736428850216989768346\ 3299892219535621616812962649970912719479509749481311057579107349895\ 1/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^25 + 56451123781685601059296842498106037393466845698532578\ 8315674551981597582158923307955255335095848213431041145593137117489\ 6220808102876991/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^24 + 11017853761999024724710837139045541388\ 5362719438628529698119054164792173739820681847178467781406397709971\ 8219156701444238905240658793305/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^23 - 8440454626929836383697008131183796798504862699799243109073584163256\ 2946631751190654187396376783839849421335893606126467012259403585866\ 17/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^22 - 2716498196996535113552547909449806438852907641594743\ 8075388699533785090265496577589711300650658485509110085680803010630\ 99214584389983941/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^21 + 9038448236460494844816340748110966542\ 8590137101513870042654502599271867359400795494625686751693441248418\ 76965681892221038942354484628403/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^20 + 5838515999687402524679292442399928121414423127112934671561353622618\ 0621382700407844645487679949858302387572020617621575629508653629652\ 72/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^19 - 6001765783579925602373954273963923734232225360178028\ 1113129068594794292575689162034904904649205142491225965820858811595\ 59210125854494994/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^18 - 7734220603551330053051864150125707483\ 6850893258082157577141381975634402917277025544400510311389443850163\ 79385036092586880103441032837111/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^17 + 1511621466642809440225680866945808425072472977340490801745993955401\ 9386051142528608148186358362497059921494069485198213259775998995363\ 99/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^16 + 1088736478289848560598039767304006729387465452890835\ 9288811788907987602154660842786121286837394665520723248394071172401\ 425940277541457205/534102560762902485676240956048779242218957104962\ 5691431908882293798727570931984852717138267627111209681587607596251\ 5422438738152062*c_1001_2^15 + 284798780601547401391207808099954052\ 5779501404305377966690296905469988291842485893111508272558779774583\ 227550877400211836527801046475392/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^14 - 1307646413689876294251728392336618634403095560600802934660887786532\ 8882534039557537294379536889283572119247142725613861616984957207187\ 39/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^13 - 2153507335905491023946532945433602601646543405303796\ 3038211514906440694236130659611664398460779371422083863789145490631\ 50272113408026984/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^12 - 3064610632714874930619802155336074463\ 4659721169808238269751279277307354336176825699662425127688956802468\ 82844435482340197130807136047861/5341025607629024856762409560487792\ 4221895710496256914319088822937987275709319848527171382676271112096\ 815876075962515422438738152062*c_1001_2^11 + 1250473845454919569630522634248342879775238714697429910358298718672\ 1957563758177288192947053406275670239571444489196609985502393705183\ 1/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^10 + 85802084409888666951119652533284899575456467087415724\ 0140831512833198282126680953295836191662031650882972153211459924472\ 270749206492974/267051280381451242838120478024389621109478552481284\ 5715954441146899363785465992426358569133813555604840793803798125771\ 1219369076031*c_1001_2^9 + 9993188605707644216849603309971084554490\ 8269958466478183200566639197246558877767690874045549400458763116302\ 0414055660187666548517068571/53410256076290248567624095604877924221\ 8957104962569143190888229379872757093198485271713826762711120968158\ 76075962515422438738152062*c_1001_2^8 + 1997470953585524300070505768619905488471899375994493135783796133323\ 1784306100049276481326832153073045326035613483022076449184298415370\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^7 - 1473425006002293752995288628370530428125199564407216096\ 2641495532369011942659386097188766178881578966881876268098626436016\ 2351913604113/26705128038145124283812047802438962110947855248128457\ 1595444114689936378546599242635856913381355560484079380379812577112\ 19369076031*c_1001_2^6 - 971292644268661147713093950239200144520227\ 1153640094306561795960454049027138858017499309435882049462562024179\ 3656646025856222527407034/26705128038145124283812047802438962110947\ 8552481284571595444114689936378546599242635856913381355560484079380\ 37981257711219369076031*c_1001_2^5 - 2292046705929271639478638423778767348888160377190159324327579756818\ 6632360259172513868826317194926807198590806202170239361774042093582\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^4 + 9101397940865543400884464759475825815980721715624878026\ 7977082435080188067981719709273736366448910580227904596062960917238\ 84467785882/2670512803814512428381204780243896211094785524812845715\ 9544411468993637854659924263585691338135556048407938037981257711219\ 369076031*c_1001_2^3 + 11957580937105965501769831737422726981929907\ 4695575477791398553070353019366329358651532153635159839102282621355\ 54274348880944849316534/2670512803814512428381204780243896211094785\ 5248128457159544411468993637854659924263585691338135556048407938037\ 981257711219369076031*c_1001_2^2 + 1008848125397979032520272288588975845465373548991451260708177183200\ 8961735025913424066124687457981538591754000987495433787803706930477\ /534102560762902485676240956048779242218957104962569143190888229379\ 87275709319848527171382676271112096815876075962515422438738152062*c\ _1001_2 + 795892269541141006579423523660953268770347354110593996675\ 5370665091828768171269539972296792020997650005645523129460543977963\ 43361026/2670512803814512428381204780243896211094785524812845715954\ 4411468993637854659924263585691338135556048407938037981257711219369\ 076031, c_0011_8 + 516071291681325316860869954100889418479648809930575876901780\ 4995672704958373504659981394163768310153715234449781910700450251397\ 63960717/5341025607629024856762409560487792422189571049625691431908\ 8822937987275709319848527171382676271112096815876075962515422438738\ 152062*c_1001_2^30 + 1121326081246521063160238705213934291515947118\ 9535252758386669723680983411360854689931376723838123193492268718982\ 3174198822836164163366/26705128038145124283812047802438962110947855\ 2481284571595444114689936378546599242635856913381355560484079380379\ 81257711219369076031*c_1001_2^29 - 1280593627296115408261660506470111000822773764105954173577973316824\ 0937883138389589879355443947640736673409613374281212278146510937077\ 40/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 + 1202666986557334106532173000910725868843181379968624\ 5046218475149709595297946297229894370017548717140975015960913997681\ 0183160340576609/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^27 + 38677652311665863100007438877924906709\ 1040006761338543306114568293090131880567376503663788999348943963268\ 1307266659953170922943523626406/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^26 - 1867118866051798678533691186098671516140629806841099529295132910771\ 8958473037765876921332370582896683116483738626852182618923883479092\ 56/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 - 8563917977652321204582581117573531642434914444770091\ 7357466851307567004257298576751035453167810858579841694718377140805\ 55674922158616895/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^24 + 3342126640133469558130994973972907247\ 3511015789742583622706198820351669488541918616933029295220776943248\ 82871628336671941196354521982901/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^23 + 1209632025760033317752985562438093913884082505570096552796434687868\ 5891155519443793724528576419701488689353558473544213663682982838194\ 016/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^22 - 250682618410844235504948799776213859094556600190037\ 5245838114969147656427893258389273382855642061995560933615484156253\ 432881672304224002/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 - 132602576112549800827020679124724888\ 7470315828983166690341310232640089290304309090796676141488701467745\ 8754477414257591840864688301108967/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 - 2356494194457951020038479803751240727291982627994244849366117484949\ 4404866640475104999409070271349686238057837641794759007940212263616\ 00/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^19 + 1076199390341779013261915338990725250267172997430264\ 4759629223273760602422320267235359246644930806713458379391381540841\ 867039611117128280/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^18 + 686635512238873989837968919879020232\ 3545656317669494748143615207092223153975636202136704666858330076235\ 866381045669547435764339523475305/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^17 - 8953129072417718767066946356859062893245344026065818426318240302721\ 7568267223730957896580505943841367534411911910654601936233581201235\ 33/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^16 - 6209764220300235335749130593775778946474232460243842\ 1020787611735102167301161144209007173695968450436109877037284162367\ 98391393625703636/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^15 - 1761032529432179696701713718175760138\ 2430076749179236198538161942346354347751752021743986408782716628855\ 47285218286153129423109183165565/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^14 + 3192047623058624639519238853563969149319453527378265257579469921854\ 2960377328789522926799032735872144957416254013613999648452688580319\ 87/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^13 + 5486170903121756205473945158763293500224771066488949\ 8049786920957919071488507068546614011780261180178289825249025554199\ 26322763607758249/5341025607629024856762409560487792422189571049625\ 6914319088822937987275709319848527171382676271112096815876075962515\ 422438738152062*c_1001_2^12 + 1206616604135381038596309947281648068\ 5618438885499922445149149002249553835652369901223726609244658442361\ 34115965133904146485371606927357/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^11 - 6982006546938816839661441103488808542434865628997800925144372640835\ 1607710144949620408754876823313511646301901169307604506254855260511\ 9/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^10 - 97967732400175086862989576923195054328683168860096929\ 9609842694374344572292311837567869321115826809236067457342488606448\ 178750631887502/267051280381451242838120478024389621109478552481284\ 5715954441146899363785465992426358569133813555604840793803798125771\ 1219369076031*c_1001_2^9 - 7466087404459491902562570340691460264999\ 9389543405249873143333480075116675430162393090663545438645411125049\ 3128570294847531214619694085/53410256076290248567624095604877924221\ 8957104962569143190888229379872757093198485271713826762711120968158\ 76075962515422438738152062*c_1001_2^8 + 1904665754518456314991576975149129941376592939475077705022493951744\ 9935294845634397061328947455925208629814106950648991679204595731861\ 7/53410256076290248567624095604877924221895710496256914319088822937\ 987275709319848527171382676271112096815876075962515422438738152062*\ c_1001_2^7 + 344208084103310815763065561650727320362434238242388183\ 8336076385527164285758011987120917549322289502454252269489683209246\ 33258545184433/5341025607629024856762409560487792422189571049625691\ 4319088822937987275709319848527171382676271112096815876075962515422\ 438738152062*c_1001_2^6 + 16099404207262420197317325294692308507756\ 9818566954606151023777370427095217279988421836506048543801895100905\ 812847155996841237034873563/534102560762902485676240956048779242218\ 9571049625691431908882293798727570931984852717138267627111209681587\ 6075962515422438738152062*c_1001_2^5 + 1853154311361509333458007398511616544382804212245707163561707329217\ 3894075426869798061240942225530151722399209855096772927744475283593\ /534102560762902485676240956048779242218957104962569143190888229379\ 87275709319848527171382676271112096815876075962515422438738152062*c\ _1001_2^4 - 3037291678119827876894514370128310491675103753147236997\ 8933008213395999854909363743371508074375879649125918610148086496456\ 588461900947/534102560762902485676240956048779242218957104962569143\ 1908882293798727570931984852717138267627111209681587607596251542243\ 8738152062*c_1001_2^3 - 2332044933370106477727004569326215703358589\ 7475506930349291749972455788047603039134106039299063591160479661199\ 448093300769868270194201/534102560762902485676240956048779242218957\ 1049625691431908882293798727570931984852717138267627111209681587607\ 5962515422438738152062*c_1001_2^2 - 3491364061458304697718924373374533993473451899256276571765179503892\ 008681975209914600172434013931568432213343293116918703503856743510/\ 2670512803814512428381204780243896211094785524812845715954441146899\ 3637854659924263585691338135556048407938037981257711219369076031*c_\ 1001_2 - 3954924127700324657682294603919098822945264836198382677253\ 1724731972614018435519461748340287920927879205642120073067432508450\ 5996529/26705128038145124283812047802438962110947855248128457159544\ 4114689936378546599242635856913381355560484079380379812577112193690\ 76031, c_0101_0 - 960835596943280581802264586370876320687115537904494275061522\ 6247810727761752169105780853533985364808614090618571898027757048677\ 17333370/2670512803814512428381204780243896211094785524812845715954\ 4411468993637854659924263585691338135556048407938037981257711219369\ 076031*c_1001_2^30 - 5792894549838864049211285262131856555104695657\ 9147942856862609087722120854901347432626936865050477131928783650372\ 0264855627121033395413/26705128038145124283812047802438962110947855\ 2481284571595444114689936378546599242635856913381355560484079380379\ 81257711219369076031*c_1001_2^29 + 4749235907349014048478851916258527328493750722322885488716179239038\ 9839854127169589877497795826218441237966420142433544691697198577761\ 08/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 + 3583019631750261644375621665607032038113272586308675\ 6485933909732327728803210967682399948095312669290809218231025884655\ 1982323171546546/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^27 - 14729609545263968508063468911324008569\ 1145587357946078015738419415299627027749792614532015793809210914037\ 33285797851392475069748383196503/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^26 + 4642927612522330618189488853601415243047043944893548527885640118021\ 8652688052987415549410691320975393017986772670118577931413699522370\ 07/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 + 3377130942018933910140910681430727810381364084324691\ 4135956190405915313461884132054789464000373839505029158407025753480\ 334572834913235648/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^24 - 769437185886564827458526255132431395\ 0428348777013985739971412376500401862736062542687868954477989382484\ 476447455415831935736351060205445/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^23 - 4858058891129161429303413634919317223039155733878666763728372664223\ 0365264624214094163563568396110098012993587674037523432935909864163\ 892/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^22 + 289745562396628084552673458604631007892857512379467\ 6451095799810064953772836630807613767864750176948570769007143600991\ 085634450701573535/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 + 528868149548873645154081012928880117\ 1473549799728457540964511000301311602084708060268371732478714785280\ 9469583461405297749156912878671423/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 + 1595254280502919404120865179986178648945039927201875320864632671550\ 4637254652771420439388574838394991216468233675187593096583124391617\ 596/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^19 - 407724457809969423208699772805661713233684458819626\ 4396036221541629313121833853837207623063149365690368405502697195453\ 3928693489987533608/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^18 - 32049208796479358669182282009371726\ 9461080143741341911159171872536263425121804832494669784499827167210\ 65656563719513867007170568528130630/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^17 + 1435381744799134475077050140143816518415629704146826670385436168402\ 0701433152032579644405912774443991508617359732445797531526070889041\ 315/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^16 + 265913386181452822031407132867238290210366175923418\ 3836233521499666007990229636597262741388974527406365159766732551257\ 8074173484878838705/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^15 + 93771599383356994911364102852777652\ 3209197413326388823599939863575242511895067725120952451352773032963\ 0990898553734802880568429502756109/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^14 - 5680974690571461258396101583259126482916625667832546250876314482589\ 4198595380585653968290823149287802668886792980384421921382866554354\ 59/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^13 - 1128714780518533879978836241773513084365591489004038\ 2728214163646172545689291781563796517078929870898136318586447852510\ 463364938622330933/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^12 - 588004242967155281215237446132245521\ 3683837700685347324427704482897891115986644084967287816921227121076\ 670497802524889732924614422987683/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^11 + 2261617373425460409497104758537231797899752391151575464747744717033\ 5449274356827793672718413095539183062546131112786878860311394169198\ 55/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^10 + 4182459157281026192634037626372297368871752717515576\ 0807508459854303312575181977078331376142194754951975074947258282122\ 18071373178124588/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^9 + 18406605166051562503764710586358386001\ 5572467347281353450809083919040977079159826773339854110809228124582\ 6971851152176461264802606311233/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^8 - 2556241772728845787663847097218675357578109245526153667499055863358\ 9737064637583903502845239335481512893342495614573159241343547280057\ 4/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^7 - 729025796062576611575524366108178375280760358354014348\ 2331657176147064797325583246255467180708726956129360766422864735050\ 45166261489954/2670512803814512428381204780243896211094785524812845\ 7159544411468993637854659924263585691338135556048407938037981257711\ 219369076031*c_1001_2^6 - 38149598453846083146800838144011486003595\ 1996354419923706872747033557981971676704528366106461701660188552424\ 754318997012843168375750856/267051280381451242838120478024389621109\ 4785524812845715954441146899363785465992426358569133813555604840793\ 8037981257711219369076031*c_1001_2^5 - 6047455711119169390382298402536713707775231776398242900025789029199\ 0449575858091932081628206173861069890567545822334536843649226129589\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^4 + 5851091601881603878261555656490039139020742701279972956\ 1855580926667560685018807086190335113510611857205016043523067540572\ 502523227258/267051280381451242838120478024389621109478552481284571\ 5954441146899363785465992426358569133813555604840793803798125771121\ 9369076031*c_1001_2^3 + 5247835364343002251826402788347924641944076\ 4923262206542807243699901024896208728740964804093461981752429591521\ 657205724876904993593006/267051280381451242838120478024389621109478\ 5524812845715954441146899363785465992426358569133813555604840793803\ 7981257711219369076031*c_1001_2^2 + 1775644132022787113504279474663120049329490616617119341387003882178\ 1268166507240462470990423763306121995712434491459083650449672465911\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2 + 221854429132937879858343388399461356238444382085491094998\ 1335058528230244704699181965058596888444249551788290275779685592709\ 490410017/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031, c_0101_1 + 178235319975039716184054507262769612518295846778954331168561\ 3005007904380262792972717025435488162231247319746003899166676335834\ 796957753/106820512152580497135248191209755848443791420992513828638\ 1776458759745514186396970543427653525422241936317521519250308448774\ 76304124*c_1001_2^30 + 13660186917216607559758174330586785637006592\ 2872349852872701331094806661893081057781291569694738831334497931543\ 033076361098195679791737/534102560762902485676240956048779242218957\ 1049625691431908882293798727570931984852717138267627111209681587607\ 5962515422438738152062*c_1001_2^29 - 2218498822688418362620551642158099168191444208635072216329461834562\ 2005690468643038647885223255838892351752476653521063144903425925348\ 86/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 + 1664298176161432191885404420555845489584493541386085\ 3055935773516592119407346636214514899390235410144740873353697997268\ 85086528048369719/5341025607629024856762409560487792422189571049625\ 6914319088822937987275709319848527171382676271112096815876075962515\ 422438738152062*c_1001_2^27 + 6383812432760578135442744728601561761\ 7562083984188651331650678853469060608959751431827551070221943501474\ 39420535042653649807884680044063/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^26 - 4988959383207168753100933147737172730273410700410352321047483182574\ 6680538124063843469982839699685859389774964775360887133984869709164\ 69/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 - 2642489283085272332942342767349454988470643703086088\ 2599611578700808746494712750124630510940830430543287565339996946135\ 008513773168778959/534102560762902485676240956048779242218957104962\ 5691431908882293798727570931984852717138267627111209681587607596251\ 5422438738152062*c_1001_2^24 + 932490745981959651656126711491838717\ 8872383269301441844002717865727676017869341060820442722769422607475\ 961709353272597866647159661735179/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^23 + 3584398665985212876457451764917663525666066863145322938586181586741\ 8960610661395457727236888176926414850281169531338011715887727424666\ 947/534102560762902485676240956048779242218957104962569143190888229\ 3798727570931984852717138267627111209681587607596251542243873815206\ 2*c_1001_2^22 - 905616464867305648692699544815925143418457749703480\ 9384965427018448394509436217559251152336662851624640359167387992140\ 821111030747231438/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 - 199034388746228555107553216703850073\ 4403645018280702331294168403391390613016521368087203999097131138270\ 4032464596326373460784840727863688/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 + 2402303706758436730973813254836409894783715576279262526952502930529\ 2859088759167811821708310272238957414866965315510150158675875599981\ 35/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^19 + 1775473202220896295604946582268003218751757872679955\ 0812466861124432387210597362443074412102933217998104017148201174523\ 705821577612365896/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^18 + 139577138311615244854798672541221507\ 2496968820042629121360631635086953198160119962044983957235027057277\ 6558126246435110669399916638943199/53410256076290248567624095604877\ 9242218957104962569143190888229379872757093198485271713826762711120\ 96815876075962515422438738152062*c_1001_2^17 - 3691406195492086128878041531297034032738260849075191813525600603073\ 3778632879291050690339766375685706059028575256264785289719352195677\ 321/106820512152580497135248191209755848443791420992513828638177645\ 8759745514186396970543427653525422241936317521519250308448774763041\ 24*c_1001_2^16 - 80103297915183877469923888570521047400413639584474\ 3256880016597785583213351970525852773747065464688019768030427840475\ 2304992633181421413/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^15 - 21210219383660966738272171986834844\ 5700817455462768699184477072938491498323251679333569007715080039685\ 7530907935227847446979911021787097/53410256076290248567624095604877\ 9242218957104962569143190888229379872757093198485271713826762711120\ 96815876075962515422438738152062*c_1001_2^14 + 1153256916310557145710941185919052420388584512151043564203305550418\ 8819551389725783980702017064437028789824420211798376486155673099488\ 405/106820512152580497135248191209755848443791420992513828638177645\ 8759745514186396970543427653525422241936317521519250308448774763041\ 24*c_1001_2^13 + 15695627854297219559063781666937521048975357486163\ 8268263641220000227318574939447576721649519853343390328307366066843\ 05089415844056202153/1068205121525804971352481912097558484437914209\ 9251382863817764587597455141863969705434276535254222419363175215192\ 5030844877476304124*c_1001_2^12 + 105514275303035375141371046166453\ 8876799538992024608903960076685586743863817617785845781662448658072\ 570365348681193882452195493740232725/267051280381451242838120478024\ 3896211094785524812845715954441146899363785465992426358569133813555\ 6048407938037981257711219369076031*c_1001_2^11 - 2810200296104160172757711336119606856060887025674937852099279769623\ 6618002815227212731955475071117961392542007992150441692734059210329\ 03/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^10 - 2569086075363248439714916137686843446415836985809271\ 4169692575411875951854809846164941660735962918064042208640630726817\ 47585669226440771/5341025607629024856762409560487792422189571049625\ 6914319088822937987275709319848527171382676271112096815876075962515\ 422438738152062*c_1001_2^9 - 12934101232252475346509435431808081984\ 7224999210888091665191507434136888952567278151946599246217972637054\ 1063837213462365303073114226905/10682051215258049713524819120975584\ 8443791420992513828638177645875974551418639697054342765352542224193\ 631752151925030844877476304124*c_1001_2^8 + 9113638966260731923976652488507276934346286565264817506798838495852\ 6623498565186834108585616329272772392604534249991496525035059664905\ 3/10682051215258049713524819120975584844379142099251382863817764587\ 5974551418639697054342765352542224193631752151925030844877476304124\ *c_1001_2^7 + 91516866059661343639138333950102657993754310864907653\ 5854916127179190131711673545946624854759558177539620823697834145718\ 267745924493279/106820512152580497135248191209755848443791420992513\ 8286381776458759745514186396970543427653525422241936317521519250308\ 44877476304124*c_1001_2^6 + 326745760752374492299977735726859871968\ 2288553945180527680230493481692927561172259008896466127338445212575\ 89897455070322962156322082173/1068205121525804971352481912097558484\ 4379142099251382863817764587597455141863969705434276535254222419363\ 1752151925030844877476304124*c_1001_2^5 - 9039548804999469682696406201690749561159398286696649216650944860149\ 029121034983500898249281027967700118723053544425631593327102165375/\ 1068205121525804971352481912097558484437914209925138286381776458759\ 74551418639697054342765352542224193631752151925030844877476304124*c\ _1001_2^4 - 9670372147086047925645510410604192404088256729928166133\ 6615129283286346780349071883444674775942016739467528836840670363237\ 250044255097/106820512152580497135248191209755848443791420992513828\ 6381776458759745514186396970543427653525422241936317521519250308448\ 77476304124*c_1001_2^3 - 548027132309492230925343636727907284737251\ 6780032263105771491496770596310952907278986349576827206723704519540\ 3325653645409047858141937/10682051215258049713524819120975584844379\ 1420992513828638177645875974551418639697054342765352542224193631752\ 151925030844877476304124*c_1001_2^2 - 5562645154304064126537377752536648780790402417075823979894204678419\ 518531315158381774475774644226214476489814641875106693171018986427/\ 5341025607629024856762409560487792422189571049625691431908882293798\ 7275709319848527171382676271112096815876075962515422438738152062*c_\ 1001_2 - 1146193565640550926176007344565675110510542485919256179672\ 3734732067740398667759575896086258717120874412702552592559905529463\ 1935009/26705128038145124283812047802438962110947855248128457159544\ 4114689936378546599242635856913381355560484079380379812577112193690\ 76031, c_0101_11 - 96331556006391820647260459746562739006474490167991547084907\ 6844732826558157794682456322275601965999588554196381203408376459862\ 911258698/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031*c_1001_2^30 - 591698983167825402151024291454796472489042594\ 1047097561925085422084329064582825458357165125232216775940863749736\ 47299685006760204904122/2670512803814512428381204780243896211094785\ 5248128457159544411468993637854659924263585691338135556048407938037\ 981257711219369076031*c_1001_2^29 + 4774619064136457278563277627964431459295155605259465758938292304925\ 9221388593592994881189687389705639103981656068605593442152122887943\ 63/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 + 4066106784479020833579539047327622177680054106498629\ 0018309197730633142305471570820700417315683929925575672151417076977\ 2817446732013889/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^27 - 14858373721193354264505406849691973792\ 9420104668759390374559389487305474928811755060546172512909507560824\ 14530308710803697782449308691798/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^26 + 4570716819043122586081754457794229031443698799110796291041692794660\ 1658427550649545221342355823264533480711166433046216320446211490667\ 00/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 + 3415195668459773269541745349256710380578409063044681\ 6313182446589200525050221694508604123337809141635956491146823761424\ 728767587439246130/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^24 - 766891208169450135474823835089454140\ 4046544703491214243888556890789703033590931753109041458216283042536\ 182290549040513479491724251073919/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^23 - 4920833074557860542041363720398754548149419889011010324339414867331\ 6035936190200486963165247182463875842894621173464670546854888744440\ 850/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^22 + 296626482161678734055253887418929436070565217828355\ 8543298013391436142982969888387243590774690312532548979841580842443\ 345844555619554816/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 + 535380512922255783992350729954350853\ 2851926346337168264075565855919366432800434142134933456034036192181\ 1911923687866249843531208890900272/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 + 1596655684754069586111790956221008732191508228119673668139322133499\ 2145994144989869472285769630578015016280901100626418760778510383353\ 082/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^19 - 412508007091319718735832568989236446796582212284744\ 6611559202144835844357189808920334875663801853415888976806694882881\ 7760157492193015381/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^18 - 32284347765987002149161584155049297\ 2482222197273080872328943389121847266746904203040415495282663224809\ 22476190398608867372902473914345693/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^17 + 1463922978060126508012060921542006520939046607465775061015860970331\ 8092241231245298510521221442002694881783783943552743730747882031873\ 791/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^16 + 268427798015331194960972686937370349162915337936911\ 1075975520637962539506621709250232501362032494782994193133064211198\ 1197768366531135569/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^15 + 93053104405750847724674777739403886\ 8274094489108348083442486518133900744351996923905712330911965850756\ 0185608658158346124496494554953138/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^14 - 5748213448272802837560387126306578687335583755785740876502521157477\ 1780365057958308179369620721456643257730269959085384076642537235805\ 97/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^13 - 1136533642591446640980113270768052899294752443605485\ 7346360644289597263236708722694945339151652708787064093257925741821\ 382159392443616117/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^12 - 590975650813065031794983162459874578\ 0841618863857892320828886814782530724797146622978504894110758996696\ 639790721007858830583200050188137/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^11 + 2324212799553455600836051584013354680415279542318649267328057091305\ 1137979446614060328118666370722176651957505226188722564109373952065\ 28/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^10 + 4208814063071587810681420629631455506672307526288669\ 4497463332724842005691442915296217298452665703698886324353236091369\ 18361901870548217/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^9 + 18383567234899381563057379089794089687\ 7051085637534945011609361117049211759689548087572218699304945807917\ 0134886149247016511954996582036/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^8 - 2655558769958265796794757740557225613637728650587152486523645890325\ 7330693644733445370163670294486964559774437748590607366791254574052\ 3/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^7 - 735920616280489749239680646428150980115059678855733441\ 6389557907423632496330367031001025200913607734369708050423845940397\ 18773735848287/2670512803814512428381204780243896211094785524812845\ 7159544411468993637854659924263585691338135556048407938037981257711\ 219369076031*c_1001_2^6 - 38046314348671488110152425337665381592997\ 4951902859956740076911243233996520112305057967845514806870454151935\ 363397511079513656139043926/267051280381451242838120478024389621109\ 4785524812845715954441146899363785465992426358569133813555604840793\ 8037981257711219369076031*c_1001_2^5 - 5955160210712533139673864276071043377600344774704965042679282170126\ 9734885761873645725445344909813711508321549726693587774460247103769\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^4 + 5931633911802904703567779421483754037282684475275013533\ 2782018335091535226625228635771148983992504902222499037424032779599\ 103370892783/267051280381451242838120478024389621109478552481284571\ 5954441146899363785465992426358569133813555604840793803798125771121\ 9369076031*c_1001_2^3 + 5268664076929084795512132657536276521012592\ 8836838359347882445902690612814119355497121617248738238760114500570\ 022410896597644737319361/267051280381451242838120478024389621109478\ 5524812845715954441146899363785465992426358569133813555604840793803\ 7981257711219369076031*c_1001_2^2 + 1759743995631793371945457446010294132669209968269388450470335751419\ 5052110813054047954808201878479249889224829789161521336830573811653\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2 + 218880304776164005826653971989885926605532922136502350248\ 3849063960058229368965962289545686397461601204645658173493154005498\ 400940883/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031, c_0101_7 - 500700830103206402879384594093251607315209682643683451480135\ 0018471032621691354435996762357820850182938674227621007306557085979\ 60190460/2670512803814512428381204780243896211094785524812845715954\ 4411468993637854659924263585691338135556048407938037981257711219369\ 076031*c_1001_2^30 - 4055765372841129402602750804915055342475195036\ 6741410356456486417860046009869930153512859875493407214371005540781\ 6280056499646803844665/26705128038145124283812047802438962110947855\ 2481284571595444114689936378546599242635856913381355560484079380379\ 81257711219369076031*c_1001_2^29 + 2488003264956312760042682308131370063781069829390618055973916795130\ 2011283822096195735474759933876159947719304903099989818104154037275\ 40/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 + 6922903040088445653945312266801536485060153103806944\ 2920664010284226626062697209779798377598107980270263773378200832299\ 0632708200293173/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^27 - 80084641966989288112445617355494519116\ 5976854066688735777277789819770146527977158939362448379950714706676\ 7725650406298600410230040844105/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^26 + 1061345503266572652188246364068029197301611619009190957688617126852\ 3905193804411030335042787759851000627264029000182079925350740909366\ 77/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 + 1910943541108916269465642623137995933974064584123402\ 4285516574622655079355701910334416026016255706327724459791262243259\ 659730086407100852/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^24 - 144596295578763246646626436068144187\ 3062318350295747412065062509649229118475117010113333214521005731180\ 099130566056103734040367333795809/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^23 - 2807927895892356537295974856125027342126445862498886919707764284351\ 7128254428147710102420373644588074610980176955005712482777532848421\ 371/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^22 - 173358794135460194209382301314186188028547881075939\ 7240962141300266588945315426245475382230831346688649601732698314946\ 881429187182527781/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^21 + 303450181899180013541869315343874578\ 9067066360163023091704073232034339050644029997221358200849061998273\ 3441800194412966027917667273215175/26705128038145124283812047802438\ 9621109478552481284571595444114689936378546599242635856913381355560\ 48407938037981257711219369076031*c_1001_2^20 + 1198288370958565057019379240269235656087074221981226625370441201296\ 4105150496498835132546540650790946953237597698864875669851920528620\ 148/267051280381451242838120478024389621109478552481284571595444114\ 6899363785465992426358569133813555604840793803798125771121936907603\ 1*c_1001_2^19 - 223093287508361817953396215227613796688466842872120\ 9101532521779839904632710943556079589391865352308909932782954865213\ 8615048359910478253/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^18 - 20324697627851291684281253562057362\ 0241098662713344921820071521520828690063885202989490297838545395280\ 62267967367635868543380027292324799/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^17 + 6736055274950634632584344061199194943227824363268484756420771531362\ 8539277159492907711672341797014332832230405935386395703051389266746\ 23/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^16 + 1597857167380878795195056823590715931385049737709097\ 0958887674390397585802551000496981794261535840753069176519712401999\ 745958371674693576/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^15 + 616491653693600663265711357022172491\ 2133418099701011029671173451015729519425503712857059696002667952938\ 085218554005188372912778951166709/267051280381451242838120478024389\ 6211094785524812845715954441146899363785465992426358569133813555604\ 8407938037981257711219369076031*c_1001_2^14 - 2911992671229444119792055051833741510618997385205149845910002215545\ 8699970014595606487660488655598754631554221608652749851805952281434\ 34/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^13 - 6513510492057859400682223361963815456499856156606845\ 7867937247371982718529208504734824991933549371386298405487009337996\ 35880015101247673/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^12 - 3818842970747073007544448863119224588\ 7271342792216741675939032569804076664413217527363915078503330702351\ 80254211358546118515670739933893/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^11 + 1101482013180167703995498613490740421260199210402080513123388140673\ 1990194268716388034662776058287782207327087304998322835822843684964\ 78/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^10 + 2486779219132932474188463648068474991694027712226555\ 2130910552854727389174238653917601212279291002592177060076203695184\ 84952490701000440/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^9 + 11779315361485182451188806831723974891\ 6552604716791518298596214197064289225029952382588811428534136457047\ 1005978483557436780465144489742/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^8 - 9734556366753018980605454258636788658158455358648751764222568830608\ 5380751678065471784114161098753749020260022540526186854848644560317\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^7 - 4329171029330681605035714934160746726910418761615679446\ 8185696215969679988607563739244899703862783463907670714328637462527\ 6517034365391/26705128038145124283812047802438962110947855248128457\ 1595444114689936378546599242635856913381355560484079380379812577112\ 19369076031*c_1001_2^6 - 238104319746587056074208222415972857224527\ 0288063661910313273474481799837102500615069599888406292384418308178\ 63717420911877866794402617/2670512803814512428381204780243896211094\ 7855248128457159544411468993637854659924263585691338135556048407938\ 037981257711219369076031*c_1001_2^5 - 4343211789690307437710644030464873807709659698977508616154067174638\ 4220398740824509712701174295214311678728499265617339439943818017153\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^4 + 3267720088611006812276281971454161505584758086744563013\ 7470408598971236675490295632678490744292021725320992405471722259234\ 175490701998/267051280381451242838120478024389621109478552481284571\ 5954441146899363785465992426358569133813555604840793803798125771121\ 9369076031*c_1001_2^3 + 3204772033870566516334119134385150920422038\ 8509095632188323876495274587351042837078135259223407595413135383792\ 972502447210301366342557/267051280381451242838120478024389621109478\ 5524812845715954441146899363785465992426358569133813555604840793803\ 7981257711219369076031*c_1001_2^2 + 1132442485747712379204252385670624702237897691498396389724665466751\ 4300663729981670446264763060819165343172803973460009586267494791960\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2 + 149151602052164909419880739286702707601358664141355953215\ 2563575434273523079852623586890357525266508869078940784316659541742\ 247241650/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031, c_0101_8 + 639698939058692739927791255055876997970864713687055297745751\ 7288501708681159643743953451943668833463035417428085685346107231670\ 561420027/106820512152580497135248191209755848443791420992513828638\ 1776458759745514186396970543427653525422241936317521519250308448774\ 76304124*c_1001_2^30 + 18319686666216466171500765376057136392573835\ 6549152284834065522138548397956077301843077180443753708011906355811\ 4923318139023445125662655/53410256076290248567624095604877924221895\ 7104962569143190888229379872757093198485271713826762711120968158760\ 75962515422438738152062*c_1001_2^29 - 7892465481209240464938647963668091322913884437096601905259583731967\ 0102517450274288906584663111350233898260614556140613365020818617693\ 77/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^28 - 7167852320945214828588851561900421256663139880924536\ 6159476998511296015270650484116515415748600636413374696378556536503\ 0129979611033585/53410256076290248567624095604877924221895710496256\ 9143190888229379872757093198485271713826762711120968158760759625154\ 22438738152062*c_1001_2^27 + 24328318760179135260921983769572201904\ 0962982834543716768295752130553183597293037411082688904986683997172\ 08833228684163590798023152664705/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^26 - 8356427521881667293392701041776331796345681041098392900600278808886\ 3557461905920569518492622501673837888838714597364608122266372336951\ 47/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^25 - 1108015952578119297393813292784869250897583734643155\ 7048431706550834182428174166229113223483517325156530041147994733275\ 0555942724641907337/53410256076290248567624095604877924221895710496\ 2569143190888229379872757093198485271713826762711120968158760759625\ 15422438738152062*c_1001_2^24 + 13944322698186946089833605695333741\ 2449779231199649824952909578840203140498879066426528741357738984757\ 86219412391576033171028573274685363/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^23 + 1586624508887327597873778730837757370892951197436093384801283579080\ 1091189545413021739687361382057519133314290923104904799501180930155\ 3631/53410256076290248567624095604877924221895710496256914319088822\ 9379872757093198485271713826762711120968158760759625154224387381520\ 62*c_1001_2^22 - 62052304809725131904127466115085452527877374266264\ 6846071590580521306704216430076221813010745404595013872450717760285\ 8673944268827461263/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^21 - 86377698705327840131307362429212604\ 6772346628818280737488536219662236301996383022560465799851552321246\ 46752225805898525863746553783838770/2670512803814512428381204780243\ 8962110947855248128457159544411468993637854659924263585691338135556\ 048407938037981257711219369076031*c_1001_2^20 - 4999308206150156560227943230147008959491779000531631878996904889808\ 6750177198559352778033510878259669920462838481073941686958736841815\ 709/534102560762902485676240956048779242218957104962569143190888229\ 3798727570931984852717138267627111209681587607596251542243873815206\ 2*c_1001_2^19 + 669800638555864914567614066929033587937121620167966\ 3583130995537704480419965173107990432347044878906379528873832861357\ 5647555487246500012/26705128038145124283812047802438962110947855248\ 1284571595444114689936378546599242635856913381355560484079380379812\ 57711219369076031*c_1001_2^18 + 10340684227030074825973995408617149\ 9139098798385192168612119103372934274793572571322668419911646942885\ 306747716213735489094717159531106701/534102560762902485676240956048\ 7792422189571049625691431908882293798727570931984852717138267627111\ 2096815876075962515422438738152062*c_1001_2^17 - 9561727750080193585501079371146131941069032616595622489729165870047\ 7766953731735300558477242342260333156182979200343605919663324109329\ 503/106820512152580497135248191209755848443791420992513828638177645\ 8759745514186396970543427653525422241936317521519250308448774763041\ 24*c_1001_2^16 - 43168253197186108948174975973272264902996022549013\ 5238041600746465420086406341782548377257122767607919542404978497609\ 99800961669838025160/2670512803814512428381204780243896211094785524\ 8128457159544411468993637854659924263585691338135556048407938037981\ 257711219369076031*c_1001_2^15 - 3040688195296199960030762127649420\ 7367463654223659502702572716028682355965485181414543487283743515776\ 413591992743192496563109331158240067/534102560762902485676240956048\ 7792422189571049625691431908882293798727570931984852717138267627111\ 2096815876075962515422438738152062*c_1001_2^14 + 3736987044457049675770069320696847926740841806840245748074633835274\ 9911129363539383547086897777046279775470873863815044941289350886308\ 099/106820512152580497135248191209755848443791420992513828638177645\ 8759745514186396970543427653525422241936317521519250308448774763041\ 24*c_1001_2^13 + 74050668466066708911171323803306959375264357072396\ 5679870887950088712109610562859665605851401339376369717559508410110\ 69992551652766291827/1068205121525804971352481912097558484437914209\ 9251382863817764587597455141863969705434276535254222419363175215192\ 5030844877476304124*c_1001_2^12 + 948425080103828463050747948715785\ 9911031733312753959924711636372012478392604497418842426572841818945\ 171879336580729617220169263623942838/267051280381451242838120478024\ 3896211094785524812845715954441146899363785465992426358569133813555\ 6048407938037981257711219369076031*c_1001_2^11 - 7491778019264324751129169118827664896603286742587079982277883136024\ 7984896529487401646530897363735669954378592497932810711843233913688\ 77/5341025607629024856762409560487792422189571049625691431908882293\ 7987275709319848527171382676271112096815876075962515422438738152062\ *c_1001_2^10 - 1360433313324505473974961432426248443564505652020806\ 9832545255573970025472034875757929431055588827745533097555207839816\ 661549807401722361/534102560762902485676240956048779242218957104962\ 5691431908882293798727570931984852717138267627111209681587607596251\ 5422438738152062*c_1001_2^9 - 1196886001998870679692465653036900155\ 8162715619534611559879924926115276997985747622203669743365486707646\ 661455942325840549342536316393551/106820512152580497135248191209755\ 8484437914209925138286381776458759745514186396970543427653525422241\ 93631752151925030844877476304124*c_1001_2^8 + 1692090098048659046995055668671747021178299818537309916027173575934\ 6053038086458136466715695171835640948602674982273872101525477135303\ 83/1068205121525804971352481912097558484437914209925138286381776458\ 7597455141863969705434276535254222419363175215192503084487747630412\ 4*c_1001_2^7 + 4752352985198432489872921306869160536931266658401392\ 7150048718006726417762718342076869752837497662748699791362672825869\ 10322844367343741/1068205121525804971352481912097558484437914209925\ 1382863817764587597455141863969705434276535254222419363175215192503\ 0844877476304124*c_1001_2^6 + 2484467342375768092760868346006497172\ 5873401609193943561641396267873905260943470213287726861056300984733\ 24869746485322347078644435459951/1068205121525804971352481912097558\ 4844379142099251382863817764587597455141863969705434276535254222419\ 3631752151925030844877476304124*c_1001_2^5 + 3933965145362308115672778106445953587694031844398103483809125296005\ 8229574000610552654503203026181785363669180916078682073105326919923\ 5/10682051215258049713524819120975584844379142099251382863817764587\ 5974551418639697054342765352542224193631752151925030844877476304124\ *c_1001_2^4 - 38309405409575128957213947127416020301905347423871510\ 3516665860610477493322879886764236336390019424883053117577287315321\ 673806682241699/106820512152580497135248191209755848443791420992513\ 8286381776458759745514186396970543427653525422241936317521519250308\ 44877476304124*c_1001_2^3 - 341003623755891407393578794818982542164\ 9937175315081781553542843241259726463633317309100111358297137840386\ 61186799076430506663799177891/1068205121525804971352481912097558484\ 4379142099251382863817764587597455141863969705434276535254222419363\ 1752151925030844877476304124*c_1001_2^2 - 5789855336103164666725366786024344448857396589258918876960389761304\ 6286855083736473303736390525135719925644011364209322054193322642231\ /534102560762902485676240956048779242218957104962569143190888229379\ 87275709319848527171382676271112096815876075962515422438738152062*c\ _1001_2 - 372040348813016621124487590791182768811144383515092993275\ 9646831398802440158739326198390355527509151596346415111951241637727\ 879290251/267051280381451242838120478024389621109478552481284571595\ 4441146899363785465992426358569133813555604840793803798125771121936\ 9076031, c_1001_0 - 416887695806954122134332259734034377587263315744287667928425\ 7025296770510222224687510893760711959678214559620197617483434804980\ 22608/2670512803814512428381204780243896211094785524812845715954441\ 1468993637854659924263585691338135556048407938037981257711219369076\ 031*c_1001_2^30 - 6222891116101981618689789844013128950867633207417\ 3503969002794646166468837838194635577687361884368755112035047772629\ 917903741132060912/267051280381451242838120478024389621109478552481\ 2845715954441146899363785465992426358569133813555604840793803798125\ 7711219369076031*c_1001_2^29 + 261590984039312837758908315619405063\ 0672634714004618092640651700866285670748868150906289157801970134770\ 002672526501263787211642206975/267051280381451242838120478024389621\ 1094785524812845715954441146899363785465992426358569133813555604840\ 7938037981257711219369076031*c_1001_2^28 + 3052742670192600357595233463947469333387289366650180890133744907275\ 0984948884364851954299257155808045468982341751312801925752506064407\ 1/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^27 - 17001037143138834368978032527726361148536515258943996\ 1959512618581499780964929175116987106925363687642702105861207713699\ 926655696778918/267051280381451242838120478024389621109478552481284\ 5715954441146899363785465992426358569133813555604840793803798125771\ 1219369076031*c_1001_2^26 - 843240548563472706154271005541802083474\ 6443916781451908377077819633021165958412341403560759377937812502203\ 31188475510356823487378942845/2670512803814512428381204780243896211\ 0947855248128457159544411468993637854659924263585691338135556048407\ 938037981257711219369076031*c_1001_2^25 + 8289513299197968124978342117158984052002756271325224566502950099917\ 6123454174539174996599927057348350480354310145967395530370326152879\ 4/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^24 + 16628535448194987082233529145634981398047191377544046\ 9595276215426855126919753953446689309885161415059346101526998650849\ 1644105301348779/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^23 - 15235403248711454788600996494816595780\ 7768980478758466403205867308913977531306782681007999264661374846820\ 4927266030445378407264026877906/26705128038145124283812047802438962\ 1109478552481284571595444114689936378546599242635856913381355560484\ 07938037981257711219369076031*c_1001_2^22 - 2184866254204055862593941126929862419579309093225064284883050060813\ 8615844298684804655796904595205857480331132130952383654319549026985\ 66/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^21 + 1518928112629256177942555290061577283982400148710556\ 1886225787677311312597366102618387750592995210828949680246623785021\ 69708067044184874/2670512803814512428381204780243896211094785524812\ 8457159544411468993637854659924263585691338135556048407938037981257\ 711219369076031*c_1001_2^20 + 2466002139636965775358498951344071178\ 6899936910283749922340014424137463602723301852480572454191235470874\ 17851210918442203363183380279221/2670512803814512428381204780243896\ 2110947855248128457159544411468993637854659924263585691338135556048\ 407938037981257711219369076031*c_1001_2^19 - 4592193950219969550314438956116613226284786048588960793834523287293\ 1783536021732349231723476624657226887540847045954510149227924371100\ 0/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^18 - 23348915908905184321207147199140964928852203598111835\ 5848715033754165217353139341434721488423743334213845150517580310736\ 2437200315087037/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^17 - 65994959877682019182292444944650192956\ 0470733721823597654297392108026158274740341798038080713523758790206\ 170255252517802071717210356726/267051280381451242838120478024389621\ 1094785524812845715954441146899363785465992426358569133813555604840\ 7938037981257711219369076031*c_1001_2^16 + 1308324421422855699152546191534260620541146553806313333474474744217\ 6296563243348715547022237442663308269291997955396271005255097305000\ 21/2670512803814512428381204780243896211094785524812845715954441146\ 8993637854659924263585691338135556048407938037981257711219369076031\ *c_1001_2^15 + 9233330986326864861386355714687048777988604139067942\ 7304539785905455601641149945576415833358631167829996251779472726290\ 6398465184528077/26705128038145124283812047802438962110947855248128\ 4571595444114689936378546599242635856913381355560484079380379812577\ 11219369076031*c_1001_2^14 + 64531957277050061061877604126690585381\ 8499403433409123894520484109348817146338728842257612027929166865565\ 85298772031482007993551236882/2670512803814512428381204780243896211\ 0947855248128457159544411468993637854659924263585691338135556048407\ 938037981257711219369076031*c_1001_2^13 - 4023096261581455050067593394489756710196898222226033593693552084450\ 2885447355342549290734813099692701241841256385559720638703449484861\ 3/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^12 - 49138663524067652943415996714685578800667515751633054\ 8140169512643179541099513124570653207569062638421211997366210165474\ 920328057023500/267051280381451242838120478024389621109478552481284\ 5715954441146899363785465992426358569133813555604840793803798125771\ 1219369076031*c_1001_2^11 - 838645447646255941637943060182472397860\ 8815496391272760650274918247318446451801507276272672805635845306772\ 1785772627587111742692059785/26705128038145124283812047802438962110\ 9478552481284571595444114689936378546599242635856913381355560484079\ 38037981257711219369076031*c_1001_2^10 + 1927852495590663238232969897157066690721320797933440533925794280722\ 7422984330050684033955569111083628935908831461808160059718807877247\ 6/26705128038145124283812047802438962110947855248128457159544411468\ 993637854659924263585691338135556048407938037981257711219369076031*\ c_1001_2^9 + 153300166629822683249172351301944940641522337321840575\ 0282273480183955430670223529792259034890532590631585753844255070162\ 57459244743983/2670512803814512428381204780243896211094785524812845\ 7159544411468993637854659924263585691338135556048407938037981257711\ 219369076031*c_1001_2^8 + 29188840127787175539653707246374249886360\ 5842794454433447631805078304189042452136032231441105304108081481184\ 29417671200081132621444240/2670512803814512428381204780243896211094\ 7855248128457159544411468993637854659924263585691338135556048407938\ 037981257711219369076031*c_1001_2^7 - 3350434300628619528826702994128022636268275628521334860418998048340\ 5998623821732814364230558240411932338349945989727825188025694693263\ /267051280381451242838120478024389621109478552481284571595444114689\ 93637854659924263585691338135556048407938037981257711219369076031*c\ _1001_2^6 - 2683244587506263081364836395907479220536097520149552746\ 0650753620118096179804401395301240080210489162487671393544807147642\ 991293520624/267051280381451242838120478024389621109478552481284571\ 5954441146899363785465992426358569133813555604840793803798125771121\ 9369076031*c_1001_2^5 - 8703113747382768820152709097156925350634830\ 2807355710027993459604934782419551496442437114761365601776742741448\ 93204211833118239898938/2670512803814512428381204780243896211094785\ 5248128457159544411468993637854659924263585691338135556048407938037\ 981257711219369076031*c_1001_2^4 + 1084273216088938540491945304483003850705968085305959941825813404926\ 250324164312768789575448989016722200924026731295075770492887939971/\ 2670512803814512428381204780243896211094785524812845715954441146899\ 3637854659924263585691338135556048407938037981257711219369076031*c_\ 1001_2^3 + 31197765163602954358355865482814609675210259083961935177\ 1809620435092895006874434778632395203844663274995584408014896736350\ 9811385435/26705128038145124283812047802438962110947855248128457159\ 5444114689936378546599242635856913381355560484079380379812577112193\ 69076031*c_1001_2^2 + 150186703013279241187514375463330326954437209\ 0281457868982712239134956047838877467017576391475022011182687170847\ 681440137513662174222/267051280381451242838120478024389621109478552\ 4812845715954441146899363785465992426358569133813555604840793803798\ 1257711219369076031*c_1001_2 + 251276169881756727888726831205546041\ 7039642846354931576999906702546488892178821984133371782836584360140\ 19107097112584896452731920829/2670512803814512428381204780243896211\ 0947855248128457159544411468993637854659924263585691338135556048407\ 938037981257711219369076031, c_1001_2^31 + 216888/144079*c_1001_2^30 - 637872/144079*c_1001_2^29 - 695634/144079*c_1001_2^28 + 2180504/144079*c_1001_2^27 + 1282392/144079*c_1001_2^26 - 5746522/144079*c_1001_2^25 - 3351264/144079*c_1001_2^24 + 8426206/144079*c_1001_2^23 + 6017664/144079*c_1001_2^22 - 8446688/144079*c_1001_2^21 - 9420074/144079*c_1001_2^20 + 314944/11083*c_1001_2^19 + 10261546/144079*c_1001_2^18 + 2042653/144079*c_1001_2^17 - 5943458/144079*c_1001_2^16 - 4914802/144079*c_1001_2^15 - 375513/144079*c_1001_2^14 + 2456621/144079*c_1001_2^13 + 2385382/144079*c_1001_2^12 + 428498/144079*c_1001_2^11 - 933762/144079*c_1001_2^10 - 828879/144079*c_1001_2^9 - 203547/144079*c_1001_2^8 + 144507/144079*c_1001_2^7 + 153709/144079*c_1001_2^6 + 59325/144079*c_1001_2^5 - 917/144079*c_1001_2^4 - 15677/144079*c_1001_2^3 - 9572/144079*c_1001_2^2 - 2668/144079*c_1001_2 - 296/144079 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.290 Total time: 7.500 seconds, Total memory usage: 82.62MB