;;; standard tests

(:digest-test #a"" #h"38B060A751AC96384CD9327EB1B1E36A21FDB71114BE07434C0CC7BF63F6E1DA274EDEBFE76F65FBD51AD2F14898B95B")
(:digest-test #a"a" #h"54A59B9F22B0B80880D8427E548B7C23ABD873486E1F035DCE9CD697E85175033CAA88E6D57BC35EFAE0B5AFD3145F31")
(:digest-test #a"abc" #h"CB00753F45A35E8BB5A03D699AC65007272C32AB0EDED1631A8B605A43FF5BED8086072BA1E7CC2358BAECA134C825A7")
(:digest-test #a"message digest" #h"473ED35167EC1F5D8E550368A3DB39BE54639F828868E9454C239FC8B52E3C61DBD0D8B4DE1390C256DCBB5D5FD99CD5")
(:digest-test #a"abcdefghijklmnopqrstuvwxyz" #h"FEB67349DF3DB6F5924815D6C3DC133F091809213731FE5C7B5F4999E463479FF2877F5F2936FA63BB43784B12F3EBB4")
(:digest-test #a"abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq" #h"3391FDDDFC8DC7393707A65B1B4709397CF8B1D162AF05ABFE8F450DE5F36BC6B0455A8520BC4E6F5FE95B1FE3C8452B")
(:digest-test #a"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789" #h"1761336E3F7CBFE51DEB137F026F89E01A448E3B1FAFA64039C1464EE8732F11A5341A6F41E0C202294736ED64DB1A84")
(:digest-test #a"12345678901234567890123456789012345678901234567890123456789012345678901234567890" #h"B12932B0627D1C060942F5447764155655BD4DA0C9AFA6DD9B9EF53129AF1B8FB0195996D2DE9CA0DF9D821FFEE67026")


;;; bit-level tests from NESSIE (http://www.cryptonessie.org/)

(:digest-bit-test 0 #x80 63 #h"0D6789B7F0BDCD9C88F022D6AF5B863F20E2E3C895210FDBB8DD613913F5ABA7ABA6D4A52B3B6B3ED6B61B711DD58EB8")
(:digest-bit-test 0 #x40 63 #h"AC3B878B3D021A321E49663FDD146E7B51FDB92CDA54AD4FC98077B078BE8669CA5A22AE13590E951BAFE64C9055A616")
(:digest-bit-test 0 #x20 63 #h"04B38810E761F7E2D872F47E94EDF22DA3B4B8DD9877144FE02D4D56386CD8861DEAEFBBE635835093240E7D4C41F776")
(:digest-bit-test 0 #x10 63 #h"421A1933D4BF99B124C2016AF52F63C062283D02B4FB85D6D012BBE074AAA4F5FD0EB7D773E6AB237431A4942251730A")
(:digest-bit-test 0 #x08 63 #h"966E1E0E68C21BB326269DD49E864969E003F7EA902F2D14B5820C8062E6426C5DCA70A09F5A21FA444FA1AE06206BDA")
(:digest-bit-test 0 #x04 63 #h"81EF05BD7244ECC65C5BEF005931670CD77A3742466F21261A278C1EEA9B24724EE009084F751FE362086793FF3319AA")
(:digest-bit-test 0 #x02 63 #h"8F47A61C62E23E5E70E00B62D17A510A702AFB402A5BE3C73B23F3A250F39312F35DAFDD92D104F339AECAB9FB807DCC")
(:digest-bit-test 0 #x01 63 #h"FDAE5A152415F7D836BD8E5941B61E8B78E062E336E0A629AB416891EDA9C32153C386A14930C5B0EDD55B1290CC781A")
(:digest-bit-test 1 #x80 62 #h"9B553DC40BE9E5728347E7BF078498052F6516E96AE25B496ADA2B0BAEF5829AC301C566CDFD193053F74F7A855ECD42")
(:digest-bit-test 1 #x40 62 #h"E596A9D7381025092E907787CAA146C289DACC16D496EF9C86D8A754C4B43614A194E9059DD10A3B2C08865DB3BD56AA")
(:digest-bit-test 1 #x20 62 #h"F47BEA73D9C332E30F0CBA95296D32ADD27B98402B73512EF8C95A0194DF4007257FB76248FEB3AD3A303A6398A09BFC")
(:digest-bit-test 1 #x10 62 #h"931AB6E9C06EE26C32E09BE8C71A5630D54A47FEBDE18A7E40F79B844B164AE2E5F75154E1A6927056C22D3AEA9C813C")
(:digest-bit-test 1 #x08 62 #h"FAEC0EA20617F2B5E2182B541131B39335EE482DEF1BB267D702DABFD1A73EBFF355A98E4F7200BB0FF8A1779A23EC64")
(:digest-bit-test 1 #x04 62 #h"BA098168973BB02910876D16A93F56899C32AF0975FDDD7138851F28DBC73AA8E63C612704C7BF223DBAB478B855D251")
(:digest-bit-test 1 #x02 62 #h"2CBA03C7A570559F0BDC9A2CBE54E2FE5081CD54EEB4CEF09517F9E20EE1D82299A67759627631283C05EEAA166B2228")
(:digest-bit-test 1 #x01 62 #h"81C6BCEF2A4753FFB4ADAE459235A65118B38D523FFAA21A7EEDC07CB5A402080E29F0269C262C46AE1CFAC015C0C6C9")
(:digest-bit-test 2 #x80 61 #h"7D3B507D162213366B2406174E7E9224EEE3D8D780E19C2AE1C17961377C1C89CA193EEFA3BBCE395BB10BA1E4481F91")
(:digest-bit-test 2 #x40 61 #h"75A3B6B5009A6261355115448DAAE1A8D762B6F84C955FEF9784D5B7F29C9CE85FE060A1F91735AFA3C06ADD5758AB70")
(:digest-bit-test 2 #x20 61 #h"28A8188AFCD4C8DB7B5A59BA64FFAF76E2AF87A859485DCB1130E957EDA07DD2B90E8DBCC04C47B8DD628D9AA3B1AC36")
(:digest-bit-test 2 #x10 61 #h"848F4E21D91046829564C7721818938D13167FD62CD0E16D6E2B67A34754CF246BD76F9F065C5C3F425C5D4D1B9A2B8F")
(:digest-bit-test 2 #x08 61 #h"755762D00DC98313BDE28D7632BB6117BAE73B4C1AABA9B2C92C874E7AD555EB17F0C282A5261A957E90C44546D9D89E")
(:digest-bit-test 2 #x04 61 #h"4EC45CADD660E353271AD1B0ACFB47E58A52D90F415472C6F46F53A02FA29D2870334A5A1D58182075191E64944607A5")
(:digest-bit-test 2 #x02 61 #h"1D8F069796623A1D767F490EDCF13AFBED983AD62919F1017CB7814606CFD02A7C36C6A5DF784A1AEB089584B87E1799")
(:digest-bit-test 2 #x01 61 #h"9C94A9708CD824BD6FD11D9B17033911EF092934DB9700251E5B63C657068E096E975F40AACAE9422E9EB37C6A5B311B")
(:digest-bit-test 3 #x80 60 #h"277559C7583D129BBB3F9563EE167FE7E1FE0C7C0F475332D235F7CDF493CF9DB453572E3567D27D715C3F5B360B756F")
(:digest-bit-test 3 #x40 60 #h"E1C69FE8C65AFD6536003F089CBDB7E736C2533CF7E2BF809622296A1C0BC04E198282A14115E5AC326E3D12E5F071F8")
(:digest-bit-test 3 #x20 60 #h"5038F268072FD858E9B20A370AF9EB56CF2E2E19878915CC44D3CA590658564AABD339932D2B42F399F1E5E73FA2C7CA")
(:digest-bit-test 3 #x10 60 #h"DF977751F8743AD15EB208F28A5814E34476C1DAAFE3E077469E2DCEADC074F781A58DC8AB4725619E45AB58B07E8AC7")
(:digest-bit-test 3 #x08 60 #h"940F4BB4B5A76AFC430D16AF8EF4D901F82ACF4215EC1370EE9072BFD61C53F144ECBE569F30F19663F9C7145ED34311")
(:digest-bit-test 3 #x04 60 #h"079A3D16C22946B188ED874181825CA65B6D66430EC781620C9BDD8D98741873699B222AE804B32812CCE37B54720DD3")
(:digest-bit-test 3 #x02 60 #h"C13874ACFAC8F296434E8473D1574269F1321B3DCA1AE14738C05B608B08B8E284B853E5B937BCAF0A07F5B4F4B64C19")
(:digest-bit-test 3 #x01 60 #h"F6DEA48669AD5848BD25674CFE31D8477C82FBD015445B27126A2DE41BD832750778C113B597AFBB570816DDEFD3A658")
(:digest-bit-test 4 #x80 59 #h"C2E503144B97D55901F8FA39451FCC39A69AE0A239E31D91DE9F6E3C663FDF953B65B7A1ADB770B0B9BD1423A0BDE138")
(:digest-bit-test 4 #x40 59 #h"FC80751CA610189520F98DDA0E8080292E59EC3A67EB4DF7F9359A7B402D642653B810FC7C9727F7BAD06591A3BE4E45")
(:digest-bit-test 4 #x20 59 #h"6CDE81FA29EA6E0998B5DDF8A1E015D72453A85B045AC10C267E1848A68620E84E8C4719D421B887CB1C9605AF637C91")
(:digest-bit-test 4 #x10 59 #h"46DF52F2183DA06E131F489F1655DC0A21D40FD7BCD7AC1E6A358F9D857AC66D219AFFC261B3DC9F844ACB88EB8CA5ED")
(:digest-bit-test 4 #x08 59 #h"574EB8BEA0E6186518074DB1AA78EB140685FF5D769C2D2111B6865E182EA3EFCD9F672EB79DBDF54DC0FD3C6069165A")
(:digest-bit-test 4 #x04 59 #h"94325C32609E1F8EA63D9AD128607809E8129D067013803990CFDBAF410D16047D59E6CEB040710B79765B853555A42B")
(:digest-bit-test 4 #x02 59 #h"7DF459B62B0EE0A00AEFB36C0B8F12526AC6F52F4E594769DFE1856447AECBCB1589137F6865DB4CA15BAB365A8C9E09")
(:digest-bit-test 4 #x01 59 #h"D0A2200F3957B2BAF2D95DD707E72EDBBD072E4813C47EBF3670939B50EC313021730893966255CCB9771D517F1A1882")
(:digest-bit-test 5 #x80 58 #h"D18E103D5024A2944CE24B60495CF697E8EDD6C00DC9353BA9E10B37FD2C15A1B131815545BF4F9CF63371DC549F1D0C")
(:digest-bit-test 5 #x40 58 #h"E8ACF0A45AA4978883529D0D210D65193002078AD0FE0F72F29B355DE884F994860CCF8850F66D45C64C38A9374F2C7F")
(:digest-bit-test 5 #x20 58 #h"9556F35790A9FC33ACD4AF43EF15036AB5A79D4CFC4FAED8BD4DBD8E122FDD96CF08814EE63879C4A18D146782FA9C3E")
(:digest-bit-test 5 #x10 58 #h"D82D2895A2990B340A867E426A1F3A6FF94B2749FACD026CC2E1D108FF391C493DEC1D8DAAA8A2009BF24AB138990584")
(:digest-bit-test 5 #x08 58 #h"6201C4943101F4F909D01D316CDE19FC54541BB045F3AE3886208DEC2CFE5E1C2A583EE8533CF781161F656388AE7391")
(:digest-bit-test 5 #x04 58 #h"7799C8850857F762EE46D5EAE3FBB7228C838B25A5DF40ECB21E9E78F866E5009176DCFCEB921A86F4CD0DAA77EDA3B4")
(:digest-bit-test 5 #x02 58 #h"DFBD42FA460B4F199040B330A16C47FD45FB527612A4A6E4E329D4236E8A4DA1B3BB8B270C6ADD7C364CD2E1CC787E05")
(:digest-bit-test 5 #x01 58 #h"09087BC1F3237932F7AC5B12D4CBAD45BC177C76999A7D95F503D57BAD06D0C3FACF95EFDF32534EF40E854FF45B1E85")
(:digest-bit-test 6 #x80 57 #h"1DD2629064E317DA117BFB62F36B0D68D78E61BD733DE70573A790220BAD21092535811617952B80ED3452539DECE2E1")
(:digest-bit-test 6 #x40 57 #h"2592CAEE04F41E1ABE7F3426774007D32B863F07780A9D89B96BBC1A19E7E252EF60CA0173E4B4F092F5C2731EFC8B01")
(:digest-bit-test 6 #x20 57 #h"6E5BBB2F1FF3F39A8A7711CD19CF471BB4B648DD865EFA06D36BB0B271169AE13B640FD4E314E4A48BA05CB45B876BA6")
(:digest-bit-test 6 #x10 57 #h"95A7CB904EDF4D7D4C0815ADFE3636EE26056668B7A8632540DB7E5A6E62D0E8022183AC599AB8051AA915FC848B8A46")
(:digest-bit-test 6 #x08 57 #h"8D7F3E71443532E288E511A68542490F5EAA36B19225DCCF723A9DF4D429F272BC5752CED674DC2E2A86CC96823FB6A9")
(:digest-bit-test 6 #x04 57 #h"43CC96EA615AE5C54DA81691AD910E48CB83437EC9386B24CC0C2B56B7F10C522D9C4D5E6DDED2BB8D05D05581AEE857")
(:digest-bit-test 6 #x02 57 #h"95E29644C51E79FD0A0EC2D8132E1B4581EC2D282FFF33C235F0F8413C2692978FD9ACED7E2909E1136F9F2B4DBD60C0")
(:digest-bit-test 6 #x01 57 #h"C1871662572A550306ACB43191B6DAE38D96B7848978F0AEBC036DBE6DE087EEC5B55628BC550395905B9BAA6775EA4A")
(:digest-bit-test 7 #x80 56 #h"033190F6E578016DDDB7CFA4B27D06A396C8093D01169A803323488E0E3CC642D15DD54D5211187E571DE142DB2BBD0A")
(:digest-bit-test 7 #x40 56 #h"C3EFD204375A68436E427088B54E4816BC8E60711B32FDDD77FFD316065FDFEC637AC64F8E1DB4426D2085DB5CCB3198")
(:digest-bit-test 7 #x20 56 #h"5EC6268E7CB91C698ACBD409379A8F40CB62937F84B71597F406B953637213F604E1FD0502FB6D1101F84D863191C045")
(:digest-bit-test 7 #x10 56 #h"8449A22AE3E9E64C13122E52E6FB2C28F024E1FF5439CEE2024E8817998AA15B856A8DC38D86CF0D991DE1F6A095F53B")
(:digest-bit-test 7 #x08 56 #h"FC2A1F543130F0DC8C34984B23BB62EBB9EA12C63290A5027F9AE2BA5984BCE55A235042B4913013DDA0AF31AAE7EE11")
(:digest-bit-test 7 #x04 56 #h"B144BA7CCC8BCF27B066DA4C76EE43CB3A2120DEAD859D3312A8BA683018F11A9A7FED8B6B84DC61E6699614A811FC12")
(:digest-bit-test 7 #x02 56 #h"0BAE1C5548ED19C7A31469B679FB4BA837001099781D427A383BADB4E4344A7D99FB9949CD43267418C4CED8183D0482")
(:digest-bit-test 7 #x01 56 #h"FCCCF7EE39CF81C7E1E6B541F3EAE6E4799B85A9E83FCABF7EB7732C504ADD8BC4093B99F311EADC09495C6FE5687C88")
(:digest-bit-test 8 #x80 55 #h"C3BCAB52F61F71E869619D7DEEC2B3AD8FD338D6EA47CAE4BB2A26710204A513381FDCC49046233B32AD2D01344E9F10")
(:digest-bit-test 8 #x40 55 #h"ED90AF25974DE395AF7BF9CF29F6485BA969E492507C93AED17714B117210560B64CB7D045594068937BE773B35E516A")
(:digest-bit-test 8 #x20 55 #h"15599F248389702F93B5E489B86C83C9B803BE31F4A845E7BE19AEE64D3AFFB0FAFD4273B87095ECD41B586F9DEB7607")
(:digest-bit-test 8 #x10 55 #h"66C9E7069CDB0830E0A9CAFD5522D04AA923BF471E4265F2F40E53B6E8DE6B927593CB5246AF391E6203FFF4221C42CA")
(:digest-bit-test 8 #x08 55 #h"C5DFC2C2BD3DE0796650640A7342B59A7B6E867797C2C6D51B8A8555032C02E772F33F6190341552CE2091AC8A804207")
(:digest-bit-test 8 #x04 55 #h"B310277CC70BDEFA5DFA0E3A984B6F0F8C87E48C69B9F163016E9B9EEC90897B772EB1B5179026A1BD5AA93B2885E993")
(:digest-bit-test 8 #x02 55 #h"0BA1D1817EFC2FF00FD4B2ACFFD68F55F9168FDB4A621E1C6FEE40C7107C18A7AEB86681E8B03244A3EF8D53C76E0582")
(:digest-bit-test 8 #x01 55 #h"A3E2ECC79FE55E486911D5E0FC7A331C5826432388F032DA58A75AB0895E30C2A20C462D6A63BAD57570F0F79E658FB4")
(:digest-bit-test 9 #x80 54 #h"ABE54BEEF3161F82AE3E604C4C92D2FD83460B198669AF3665FDF9D10F2DF2A8C4B2A80C4294392BB8265C7198D299F7")
(:digest-bit-test 9 #x40 54 #h"1029CEFFE783E5D1BAAE7682BD5E6789BAFD80C4DD1F1E0554F899B191728677ACF88AC5F0DA7EA966BEA5F2D8D1EF7C")
(:digest-bit-test 9 #x20 54 #h"7D8F7CF01D9335976700BB34D545DE80F09382DF30BABE84038740F16B566D535BD91FCED19AC09D7F3BF9EFFA0B4577")
(:digest-bit-test 9 #x10 54 #h"0DECDBD9FCAC9DD56B8648D1E506041E25F0A84A22B2064DA3E3B63DFEEB19D34E0CD11B116F3141CB2784D681E0A12C")
(:digest-bit-test 9 #x08 54 #h"2903A8B886387F1840ED880219E4273D2B39942ADD3930F320A3C26263C7482783D6B904D36A412482CE0CFEE517594B")
(:digest-bit-test 9 #x04 54 #h"956F51ED9113163CE2CDB4A7A0AD42E200FB92E8C10B06D6F6B91FF074F0BB479F097C6BFA991EA074DC663AD6225B4B")
(:digest-bit-test 9 #x02 54 #h"FD4AF6C6C6C88884DD8708BB4E32120EBAB66C179FDAEDC9506C9AF7E10A513F859190514A2BB8D497F21318C033440E")
(:digest-bit-test 9 #x01 54 #h"277A846C6AB060B0544CE7BD20506CBF7932EE03B601B100BDC5AEB04F3CDB82C00A73360F85F92DBCAD01EC205C603B")
(:digest-bit-test 10 #x80 53 #h"A7E4D9A48EDBD6DFC1ACDE2F7F7FFF0B073C7619689DA8A5CB7E19D529EC9C79B29E92AE7426693D14FC509724CB68EE")
(:digest-bit-test 10 #x40 53 #h"86CD9B0BF788539EA79DF25993805A0A51A390DCD702576FA10452C9EE1F15C7D3800D6F06483602CED6340CD13CFE60")
(:digest-bit-test 10 #x20 53 #h"BE0D1DACD77872A3FB6C15C2DC6F8707CCD60E91901851C308E2D8F3D8AF34DF25B630779B1F5CE18285F6E13F983A43")
(:digest-bit-test 10 #x10 53 #h"D49A6EE8CB2FC5957CF67F6945EF5D902232800EB0BA39DBCAD57BD91E560C974C5F34447CCCE184C6CE17C931505145")
(:digest-bit-test 10 #x08 53 #h"18CFE78E215AD8B31B46BE2B6FC68FA68781A8674895B220EB285EE28A494939EB0EEC1C1A305E0A37404E02C5C15392")
(:digest-bit-test 10 #x04 53 #h"17F2CFA6CF8E5A01A8566EB15D6C0B186039DD03502803A995DC9B7C0099DF8D4D18E7427BF6543D9E709FE58EA13086")
(:digest-bit-test 10 #x02 53 #h"3B747B8C37DFCCC0395B08CB591E8CB6572CAFD5013F1790282670C0B7D1417DB6D84206F4546A7C4D459286B3BC140D")
(:digest-bit-test 10 #x01 53 #h"39CB92B34817F7707197B1FD5ED5814CA202EC92148088D4F81D530FBA4698F7A9FBC7D07C773187285B2C57AAD4517B")
(:digest-bit-test 11 #x80 52 #h"BFA439B3ACDD0DF5421545126C661804984AE71DF2490622C18B155677812C3CD6E37CD88B3DD2B78161532AD9AF167B")
(:digest-bit-test 11 #x40 52 #h"EA4EAF123A32E527A89A9FE68C360A2B92836E6CCB48A0DEAF242D2C88D3048732D047F7CBF2F7E1BBEECEE408E3E654")
(:digest-bit-test 11 #x20 52 #h"95888D7D6D8976E37E2F786193F9F6DD8DCE0970A7DD8816EFF6CEB7BFD2B8759F2AD72CE6B4ABAC154F2CD18426CE45")
(:digest-bit-test 11 #x10 52 #h"DD2610451BC9DB5C36854FB157FE7CA0A1EC2C00AE6785BA687AB466C35B2DE163BD68C1A1C3CE0B10CC5AC4B0DC81A4")
(:digest-bit-test 11 #x08 52 #h"144A569ECE4294E193C86B801BCADB2DC04811351793D625C8BBCD5529B18B62B9C2147128FF73D0E0D357CA599DD50D")
(:digest-bit-test 11 #x04 52 #h"B3C80BA81943F79C5BB7AFBA27EDAD957E11281C6A42FD330AC886FDDB74541D1DBC99C80AEE4920217E91E3BB81BB5C")
(:digest-bit-test 11 #x02 52 #h"FA5C6CF5FA35D9088A54216CBE1E8999A3AB491C8540B9E32B7F6D1871B889F5011B8CD75839099293F35104EF644887")
(:digest-bit-test 11 #x01 52 #h"42190AD68B3A0CF35FB0A9F5D9D7D925012CB0A33A9244FA5520F6DE745FA286360CB2522EA68397A98D869ACC6E8AAE")
(:digest-bit-test 12 #x80 51 #h"35618BF24A8D3C2F476C9F75C60EFD18096D4EBDCA036A46C7160BE23D6C2448A7FB46B518F411B7D5344D5BFADDB21B")
(:digest-bit-test 12 #x40 51 #h"8EDB921BC2EEE2BE757A3DC9434D7FA9F5BD745F2601048B400677C1E4002B203017EABE818982C5DBED75595F421146")
(:digest-bit-test 12 #x20 51 #h"32DA9071F8C6C43441D1257545047501FC226B6386FB7ADEC0B7600ED304B9C7BB3AB836B563CB7988651D1E81D3ACAA")
(:digest-bit-test 12 #x10 51 #h"168A98E09A07D6D259BDB8203B9BE5D69DDC6EEBCDB9D29A5AA629F614EBD00480D1BF6A930E0FFA328895E220DB27EF")
(:digest-bit-test 12 #x08 51 #h"4938998ADB73D079397BF6470E37684F36E8744B250DB2495D88CD3855D1537EBAFBAFFB948BE495A4A1F26250070E97")
(:digest-bit-test 12 #x04 51 #h"B66950532FDD2B495858D8BA389B409DDBCF72203167DE3738414605D6B1780664D50054D86EF40EC989F99E154363F3")
(:digest-bit-test 12 #x02 51 #h"9B3E930016E3F79848EB4DA08CC94D287EC02C79CFD0C8A8A348AB1BDD244B808929B3A268233A75F7328DD741922491")
(:digest-bit-test 12 #x01 51 #h"B33F56C9AF7E595993EBFF1CFB343120F6DAD1D6FDFBAFA697B4C78F7DAB8DDCAAD8CAE306AB5560219047695C7590BE")
(:digest-bit-test 13 #x80 50 #h"D3E7E9297D8CC8FFE38710E8AFD0D152568230526658F3A1C94CCAD22B57F9B26504581729E87EA9D6E7FE39D7456D21")
(:digest-bit-test 13 #x40 50 #h"BE4C0BB1A3C1D35DCEFA346540192C2FCA00692A5CC9024507FE216621253DE493B61D90D5336A2D9F00B560B03A77F8")
(:digest-bit-test 13 #x20 50 #h"874965B3B4F744135DA88331788C478E9B591F6B3C43411C1A32B6951782EB932C4FE6715B99CF03E49EA4018941ED0A")
(:digest-bit-test 13 #x10 50 #h"C7911FC620037D6E2727AD0EE2DA0C9811E940CD058565D17C327E6446ECC50AE9CC676FFA6CF320FD91C8235635595A")
(:digest-bit-test 13 #x08 50 #h"E638150C7A9D93BCF1C6F1EF9E4D72B036413A31D9ACB64AB9F0247198B24767E4301CC3D1D68C91570D1D87C719D332")
(:digest-bit-test 13 #x04 50 #h"72D3F9F439F7EE20E291E0429DEABA20CF6F888337B89A921D27DCC0A5114F2F1FC105D58310003C83A17F13FB64CAB2")
(:digest-bit-test 13 #x02 50 #h"D54D465923769F68C134CBB9B28DAEF24B778008C38AD99BAD7DD6A75B6F2DD5124E35F3B29B547253631045230B7DCA")
(:digest-bit-test 13 #x01 50 #h"367D40DD74A3AEEC62A54743DE894F8ECE52266BB6E85E61B098DD3FBCC084DE3A1C9CFAD5FB8FC1293BBA570BC2399F")
(:digest-bit-test 14 #x80 49 #h"58417C295091835EC1E94AA45E6D8D8074485BD3D675CB493C6B2B636ACD952C9B54DE02DDE05A52D4E8DC2A74AAFEEA")
(:digest-bit-test 14 #x40 49 #h"EBE3EC8642A0F2A727E4D00D6CFA006B00120102AD6F0E6996DBE3BD2FA4FB12FA826D5A298F5BA5FD45C9D6D68C69D6")
(:digest-bit-test 14 #x20 49 #h"D069DA67FC6F9346EA88B693559D7AE956AB58D82F8A4E1F3ED122179D111BE24B01BE6D202A4410284515410415E672")
(:digest-bit-test 14 #x10 49 #h"1B3469C41A01FBFEBF4CC0B3B9D0A197627A0B4DFE203C37D9B188ABADEBE183C024CBC849AA11074B37F596F44C21EC")
(:digest-bit-test 14 #x08 49 #h"BB241A1F71D1BE6D5F928C3DF2C5E79FAA4E2492EE2415254FBDEB33973BFABAF5FDAD5B5B37110DA7A09BC62B69DFFA")
(:digest-bit-test 14 #x04 49 #h"D85EA8F0CDAF388F9810BE1438A923D4DBF82ED283312A637D69BBFB3F629CF3D7D145C1F0C60F97CD2B8BD96A56F690")
(:digest-bit-test 14 #x02 49 #h"20E6BBCD1B0A7DA50A5EDFF45C9DECED4AEA3E41AF2A9D3DC9935336D13517C8A4737E9E04376FE706007201BF640232")
(:digest-bit-test 14 #x01 49 #h"7624A9FF61D2E84439682748C61EB47F235454588A4AFC082AA61565CEF6716B3522FD02127B0DE5CC71FD214F9B6E4E")
(:digest-bit-test 15 #x80 48 #h"554C0812E728F8FB9F8FC58FB1A83B7062078883CC31489F86FBB1B76EC22F205332C19394B8D2D107F79240599C446C")
(:digest-bit-test 15 #x40 48 #h"7E762C19778DD520D03FFBAAD8BF2233261FA5488A8E82A27C92C3902FB89A3160CD607BD2D05D7B90C747191808D9D2")
(:digest-bit-test 15 #x20 48 #h"6903529146970925720181B577BF8E1E791D25ED0F3A934A9875B91E11FB5C6BA6D45A7E7F3EF33B76167D7BB5EF4873")
(:digest-bit-test 15 #x10 48 #h"FFFB748F9DE35AE7A9BDF2F50C0DAC250057DBB6488DCA5F00AF0AD7D201F68E68FA29CBF1BA1783B8E37F1EAC9B01D5")
(:digest-bit-test 15 #x08 48 #h"F9B60F131FDF0B0E6A543297F6CB8B4FE8E43550B1656300A22B630CF8959BE67E1DA4AC92E8725550CB5ABE9591BE53")
(:digest-bit-test 15 #x04 48 #h"A795DB8BE3EE0BAD7A1C7B3A0B7A0C66C0FEB98FD3B3281ABE48B5D8B7C2A7B8D401BF622859207BAF690D251CCA837B")
(:digest-bit-test 15 #x02 48 #h"7E64EC69701A668BE470C0936D77B3C8B7D2E48F7770F14C3204F0CCF0435A4569355FB789A700461B0D1D4FFEC407B2")
(:digest-bit-test 15 #x01 48 #h"CF14F18908E4D10B1460275737B867ACD1E7178E3B5B26915CAC33D2DC22DB5D62E6408CCD4B206C83931AE3C1E37405")
(:digest-bit-test 16 #x80 47 #h"FD1A4EC883F4124F7BB5B0A4F648CFE4E4E0F95B1306E047D31E5211F2E1736B44BD97A2C33FD2C972E69FB8DB594FF5")
(:digest-bit-test 16 #x40 47 #h"87944637B04A0E21BB104D3EC0B62ED6C7F5B795BE54CDCAD8F596C16DBA8F94046312D0006362D609774C38D4C8BB0B")
(:digest-bit-test 16 #x20 47 #h"F0DC195E48B6BF22DE071EC4EA5CBD5D7B9D04C61CC9E617DA45A568C87A64A92501534D8AA58235CB9CAE30C3C7FE25")
(:digest-bit-test 16 #x10 47 #h"018330070BAD17AD9C1F3330893A9F2F32D329BE5FDF14CF7E1FE49BF8A236ECF1968611BFA398101908B1AE0898868A")
(:digest-bit-test 16 #x08 47 #h"4DDC9D6F21DB5661DAFAABFA41974281A5564B5863D6824359C7A5A22CF9378D64EBA07CBA34351A2AE2584010DA2878")
(:digest-bit-test 16 #x04 47 #h"BF7F6DD1982F380EA9E9E6A041E38AFB76C6453F11C576883A57272C3A8FFA5180A94A05C2678B2644622E33A361383C")
(:digest-bit-test 16 #x02 47 #h"B789C84D3FCA2E3B1D0F729477BAFDB08E505C5F793812AAEFDF0360347B723C14B17DABAC598105B4DBE2B798D8399B")
(:digest-bit-test 16 #x01 47 #h"8908FAD1D0CE850D7D41EF9FF5B92B105CC8FA615ACE428F0CB04A39B43F5057657E7FCD9913772E7CD674F01FCA78B0")
(:digest-bit-test 17 #x80 46 #h"CDC5F6D7AAE9A06F86CF9E9887CB2AB88A5234AF884F0F6F917F1CAD60AD839CEA615C5DF6361A4845941955EBA77EF5")
(:digest-bit-test 17 #x40 46 #h"D33E2BCA1F370D36C88FC6E0E4B8A93B3CF79280425FDD1BD6683A066C7C7C2B28FE74F681440C8C4243D117ECD764C8")
(:digest-bit-test 17 #x20 46 #h"3A97F2680558330DF966810750116070632769E31089DCF45A27E316CCE61D24A451EB86C5A3B5B4B24697A982E894A2")
(:digest-bit-test 17 #x10 46 #h"69A7619A91AF892471D1813E7708D3D7E8BA6975445D3BF8574A56DEB5006181C540D474CFA155D0D4C4E7A056319C99")
(:digest-bit-test 17 #x08 46 #h"2D91235731E3C366A00252C8500145AC7A94B3A6384C9FD65B8A06A58771296A96677E9E838E3E436C8998B80AB241C5")
(:digest-bit-test 17 #x04 46 #h"A4C56C6A063F7CC465EE061C430BE9609C1FB90ED45EB8A5517880E19D07149F0947BEBC3B692577B2A79C2258BDCA94")
(:digest-bit-test 17 #x02 46 #h"E59922C9A00C7C15700A2184111EB2D4511D7FC110876255F468F2074A84B40F34C664BE023FB43C0CD9D2603D970F69")
(:digest-bit-test 17 #x01 46 #h"230C843CB337DC125451F7456A7AA3C9060D904333359417EE820A1CA7FC6146356B4CDBBF8353B115E261C1807585A4")
(:digest-bit-test 18 #x80 45 #h"3E20812E62FE9EF4505FB0056AAFB3C3C8E51CA684A929BF1073691B45425294BEEAA9C81F4B666B56DF4C9C8D37BBB4")
(:digest-bit-test 18 #x40 45 #h"869C52727FA93F15E052F7E599DE312BC835559A61DF8D895E6CCDC48C849A305855B7B07B7F29BDA41ECBE0EC6522C7")
(:digest-bit-test 18 #x20 45 #h"DB5F181C42CE58BA11D90E476B58AAD346D22C89BBE290B8704107F033947DFD68E195F073C39A232AF0356D79AB891C")
(:digest-bit-test 18 #x10 45 #h"C4D299F480C15CD2542F445B358043DBEB66ED7DC2E7FC54AD676168CC95075D9F6B4448C3B209C2E2AC7252D5ABEA25")
(:digest-bit-test 18 #x08 45 #h"0EB7355A9DE04274CEC8B3147A25D170D79A53667AAB25A08901D055600CDA2995A9E20190A186CF0DEA3CE6FB10B672")
(:digest-bit-test 18 #x04 45 #h"2BA5462DF62F166790CC4539AD73BE811C6FB7AD73985A5D256ECE03EC6A53D3B4D63AC5CF08A29702DF535D8B9FEB60")
(:digest-bit-test 18 #x02 45 #h"21A830E15A1AFD4C4EDB970F3F9F3B65A3B9A1D14998917CC791411F3F9A8B4765C77FDD000A6C5125113227FCFB8852")
(:digest-bit-test 18 #x01 45 #h"5576C6E9A09D8116280F9C4C93CCBB81100A10E14D1A71CE05A5CE4A0E810D7862ED4809BB28720B19DDBAF4EF9AA13D")
(:digest-bit-test 19 #x80 44 #h"49D42DD62993A317193C86466C5BB732BFC2AF052D98FDA113E16E7DED6842CBEA2AE6CE92A50A75A37347DAFE3FC874")
(:digest-bit-test 19 #x40 44 #h"147A5F21DFFB094F3A4B61E39CD91B711085DA4246B56B8BA1A42C18AED13C83E5A2FEC7B94933BC0BB3CC3E2C5B196B")
(:digest-bit-test 19 #x20 44 #h"9BF7DF9FD9D7B7F6C9EC950C29DE535EACCBBFC15AF28226281C0E7E9391FFD4BE7D72A95BA2B9264E6D3B1F4CDFCC5D")
(:digest-bit-test 19 #x10 44 #h"68BB1E88530E9EE98C3938921FFB5DBFF04E554E62943B833EA9C5A67D323CC2870C45971630E8068EB19252C25EE74A")
(:digest-bit-test 19 #x08 44 #h"CF51BB48536AB5E9380041D6AF7AFEE83014435E285EAE8AC7DE6C12D157F62A71F51AD34516F27573FFEAC4044A9C92")
(:digest-bit-test 19 #x04 44 #h"0F254CF656386DF7D3643881F9633160C244074F6E206ADA0516F2A2D25EFF32933301AB0B36B294B0AC546594432459")
(:digest-bit-test 19 #x02 44 #h"293C1F3DD88376A4EAD1DB73BC0B70F123CB1CFFD170ADB10EA8592AD7C9108C3B21388B07BDE44E111AE0682515A57C")
(:digest-bit-test 19 #x01 44 #h"D09837366FD98E827E35EAE6A31A69FC6B64054D33F8DA243030C34DF4945C8E72EA6DA22EF8727270A1CC3B71792B0B")
(:digest-bit-test 20 #x80 43 #h"4E7A2E0CB1C15D5700B4E34785A97AE9E3A148530337E69E0091110AC0A9A0478F42221398D3CF1ED5EFE383E735454A")
(:digest-bit-test 20 #x40 43 #h"EC38ECF25F839D8850C87F39FA7B4749AD4179EAB3912909FB87957D9B74B60826B1006C3E0BDFB997F55F121762F3B6")
(:digest-bit-test 20 #x20 43 #h"AD75EF283456DB25104A7500B29EB24D76FAF68A8061DB239A9495CD6CAD8477CCFB41BDFFA7990395643E741ADAE907")
(:digest-bit-test 20 #x10 43 #h"CBC6EF0F51C47FD8940661A8D5DF50ACC6F2313B8A09D34FC75B349AEDE077989ABF364F4431F067D1401FD7C75C108A")
(:digest-bit-test 20 #x08 43 #h"8F0B19CD2372825305FF7DBC9DD283BD306A1EF722A44D05E626FCB30976AA7AE5148C3ABFA86DFB6A6CAFE8556C9EED")
(:digest-bit-test 20 #x04 43 #h"55C2152E041035492A1666166F7798CAA510943B192C408CCA912A032F2C8DE8D669EA6DC9D748CF6352C6E121984BE6")
(:digest-bit-test 20 #x02 43 #h"2EDF8207FEC96937484F73EE76CB20849F8A02EA0C08B73F0A123D63E4739CB9D20FE08B19C10EF90B9B2D25CF4A290D")
(:digest-bit-test 20 #x01 43 #h"8146696610DE87ABD409927897C615D23A479F1E58BED5A71B99617EAA24E5EF91D5DEC7551F50A9B3C171F23937FD8B")
(:digest-bit-test 21 #x80 42 #h"7509CB3162DB506C3135B921CD8B1C82AD18579D29141F082A1B9CED6C4BB0CC8A5FCCC7A8A53B9D5F5E61F0342CE850")
(:digest-bit-test 21 #x40 42 #h"7D2C0CB1E583314668195CEAEDED199E19E59BAF0BB0EB835D560F3FA8484C2CD0D41AE15303CE55D1526A937A504AE5")
(:digest-bit-test 21 #x20 42 #h"851FBCA88B82AB3CB94B557D335C7CE5CCFCC5E0D1F649981674BC145F798590FAFBF87247342C2EF7012028D1341663")
(:digest-bit-test 21 #x10 42 #h"03CD6429D1FD999A4EEF456C9A948B168A00E878FFC9D2F63F3C5EE233A34B7FBFE143F5E8BC46174F341FFFCF6EC89A")
(:digest-bit-test 21 #x08 42 #h"969D02C4FDC6B868E003B95D93A20595F1FFB6EF648DF5BFDCD27C12734226EFB93D05C539385E6B74AE264D2D83FA1C")
(:digest-bit-test 21 #x04 42 #h"28D3C86569C7C91AEB12739D08A7F9591D9CC7571B7FF47FCD694645C286A7452DA483F6586817EA81AD7AC471C95881")
(:digest-bit-test 21 #x02 42 #h"CA2CAEE7113488FCEB255D9ADC32FAE28DE15F7753FD34CAD4A47A64B05E0978331AE7D154D0979836F7FDC1BCF707D3")
(:digest-bit-test 21 #x01 42 #h"6399A015FCB3231587EB13076CFD8EBDFC33017BCFB4930F1565DF72F2898C0FC3A641FFFA13C70689F2ADA7F7567EA6")
(:digest-bit-test 22 #x80 41 #h"E994D46E4536757B060B833C6323B8D931CD5EA9ACF1FFDC34215F7E75B928D8916A8FFCBBA5E1698CC8F7D2689C686A")
(:digest-bit-test 22 #x40 41 #h"31E9AF9441AABFE1982B7B7A08487DC80C620122051B7D0CEA0697F2D222D1A56AE35928CD35F0308F93893C985A2248")
(:digest-bit-test 22 #x20 41 #h"08CB2EF217D8B1B3E2BCEB7FA728527B9E2B96534B8E5472DAD96462C32BC223427C2A451E8925FD8E55830E82B12D0F")
(:digest-bit-test 22 #x10 41 #h"AE2963A63AE9E5ED8BA8E1ED4A8F487844C9E0D07666B1051FBACC05046E0E4DB620896755246F98DE8E6C286773C89F")
(:digest-bit-test 22 #x08 41 #h"8B4A8AC5C0322B0BBA8C05BA32E57C8F0EBE8909C49059F09DF99FAC39553B3F9A2A15779A84FBAC6258C2E8AE297369")
(:digest-bit-test 22 #x04 41 #h"9C12B6BDD27590E7817A0CDAFA744260D86CEEC2E219213132BC3D84589BB663544E748A7C562FC498B991273174D39F")
(:digest-bit-test 22 #x02 41 #h"22AA798F6836A1301C8D526D2C9B667B0A00BAB2FA2E83968C098717DF21E29701804177B49B83CE7FD5B19E42DB9506")
(:digest-bit-test 22 #x01 41 #h"D2CDD8592FCCE340C44526795CF3A3EF16BC1559130086D8A5C55A8F1E5D86D4C91403B94C0ADF57697B44DF3540241B")
(:digest-bit-test 23 #x80 40 #h"D92E6EB0AF143615C1FA68C41EC858EE45EDA399067BECB34331067B77C8EB8C3C7D55C0FBA16FE993652084B977B23C")
(:digest-bit-test 23 #x40 40 #h"B6223073C3B6F21841471343FE5AD54C45FAE5BC9FE24D77D3130628F5133F6F0414AFC9D62ABEEDC1B13E3A49E280FA")
(:digest-bit-test 23 #x20 40 #h"CDA27A1D79004D856DCC8FAFAE9BE81AD0B2A009B50DA8BEC6DECEC57FA5C87761C92B92280A65AC67B637BBB72C9791")
(:digest-bit-test 23 #x10 40 #h"09C2EE18140C453A737AC902E977849696E6C19767BC93E272BB4514666D9281A1823B30C2254F9658257C96048B5BA3")
(:digest-bit-test 23 #x08 40 #h"18DCAFFBB6D249CA8C352E763D4252A5CC8767172B8B2898CEC58352F850A88272B66E01DD76D775B12B342150D7B749")
(:digest-bit-test 23 #x04 40 #h"5B54219D6D74F137DF918D5847CE7EFF3A1C3D3B87D1488CC9CDC487EB142EFEA2219679DFB14B76AA9750D1AA53B39B")
(:digest-bit-test 23 #x02 40 #h"D48A3BCC3FF12940EE0367932911D014BF396F6440BB4B79996B0803E54587CE83B7130E7E12DCDAF709E6CDCB3C36DC")
(:digest-bit-test 23 #x01 40 #h"1636633E1C88AEC817544E739B90E0F9F415DAB4AC53DFA06AADDC8483A28605E47EFACC44C6AFAF37F1E708C3C7EE64")
(:digest-bit-test 24 #x80 39 #h"1912241718B9B4A9B422E84D8C497C9EF67E4CD2A733524AE75838783B1D63291883E558150E558AD6FAEC46C76777F5")
(:digest-bit-test 24 #x40 39 #h"400F077EB2066E3F69EA9B30902879D41D1088AC4AD1FA248C592F02346D279447921D0D4A373419922E787390A586BA")
(:digest-bit-test 24 #x20 39 #h"3148E1A6BECC6BF8E83242A614843DB1FDAB0EE9145A0431DFA17DA234637086A1B0FE8548241008348A471CCEC0034E")
(:digest-bit-test 24 #x10 39 #h"2E0A446A3F1DB55764F5668DAAD236D7BD4AEB4020A3E7154D9E03DB48FF18B12673C517646080EF9FB510447E333EA6")
(:digest-bit-test 24 #x08 39 #h"6C92316BBA85B053C677F58922EB7A55AD81F59B177513112748408F91D4444D3DEB5DD14D8CF262ABC3A96309736936")
(:digest-bit-test 24 #x04 39 #h"11C160BACC2C7CACFD6F2A77FCD20494FA79558F9F2D283069C75CB844001F23C707A5F04666040FEF9BBAFB7299E7EA")
(:digest-bit-test 24 #x02 39 #h"615E550243265F1CF5799516964229C51AFFB4E97151A12D5C937470EE2D0A15352EEE109A560E60D87B907A91901CFB")
(:digest-bit-test 24 #x01 39 #h"D19A6C2B37534CC87869F1E1F7B5AF2AAFE7FAD05A675A484DF2B9EE8D275A557B3852630BDFA06642A6D94A466DB691")
(:digest-bit-test 25 #x80 38 #h"9196FD39C7E1FFA6B43A921681CBDC9DD508388B7A26A77BEFA04347D124E7AE52D7EC225DDBA29F89433A039F5D2D65")
(:digest-bit-test 25 #x40 38 #h"0FB900A08F051902780E08B70801AAA6DAFED20C1F0E5E5E6E051ABF433FF01CFEC8253A5F51D70292315DD01835C127")
(:digest-bit-test 25 #x20 38 #h"CD94E4B6592D720DA45B50622FD22F7C1686509FA2122122E5F2AE44F40366FEC333CCA4D137E35A958055277FAD0829")
(:digest-bit-test 25 #x10 38 #h"C8FCA181168D7415E234DF39B3BD888578A5BC976AA9B27EC058C78A57A5512C900F98A20C344CCF04E0435645AAB673")
(:digest-bit-test 25 #x08 38 #h"EC9DD4BC45A00BE68E9B0C9DF97EE670FB67FB5D840F1D084FDE57FA3DC32192393CDB40FBEAA9E1E22115324825D21E")
(:digest-bit-test 25 #x04 38 #h"70EB717FCCEB68B9146D280CC006F3D2988EA37E8372042D83BFDF9243F9359E7C2517E98B6962F39DEC7487DFAB1F03")
(:digest-bit-test 25 #x02 38 #h"F0897128AE8D180E02AB35836F7058CF484C514848E604751F2C6A2E82AD77CDCA0B8296A8837CD4C8E2D3749F1D131C")
(:digest-bit-test 25 #x01 38 #h"F5BA897BC3D9F4EF8D5436DE3533EE79144BC8216BCFBBF7CED91036F2BB1C94CC9B11AD194558EBE6618321E37CD217")
(:digest-bit-test 26 #x80 37 #h"26E7E983C6A6BC2936BCE5C4A1EADC1484643DE5099EBD2CCA202CCB1273A328AA6FF243373BAFB068AC430C13EB6BDC")
(:digest-bit-test 26 #x40 37 #h"A22B7FC9560288660DC7FD148C5569F39EB8A13CD94258F5210F0E6D25132FF13B369E8B37F61D77C04CB8098472E8A4")
(:digest-bit-test 26 #x20 37 #h"6C854E196DD5FB33A3491C80F92717656E69A6D1CFFEDC3AF95AC38F135486A087A748919C423ABA4386AB6AA0948AD4")
(:digest-bit-test 26 #x10 37 #h"450C392B8CEF739B31B27D0F8460C3157BE9C80F0709C75A5CC336C9F394AF6022C05BE75557B6D968AF4662B81D9D5C")
(:digest-bit-test 26 #x08 37 #h"4F08AD5DC0CD7C1E09660772A996D99D5219075F2EC7808E8F6A6D747B1A2DF8355D4F90B942D8E5A9DA176018783F67")
(:digest-bit-test 26 #x04 37 #h"F4F8CE4CA8A6E03493415C3FEAA764E8F61C3E918CE3A3C459F9511A5CB7289DA4493E12FCE153ED6A7A75389EF87E71")
(:digest-bit-test 26 #x02 37 #h"576EC4850D0E0911B17DEA5ADDFFDD539EEB79D8D9A7CBF0156CE867E70394280298F993A9699EC8FBF0536AD4331E28")
(:digest-bit-test 26 #x01 37 #h"4F72CF4D2230CD944CF3CD28D33297B56ADCB1E701C65897B829376E8596EB00F51882AFCE6A569E3A22DE7220032611")
(:digest-bit-test 27 #x80 36 #h"FBC92A26972FBF866084DF62496F8677412E862A2E3854B8AFDFF01AB705FAE48D791169E476E2149EEC56C1B6F91DCD")
(:digest-bit-test 27 #x40 36 #h"28D808A8A7916623964B8890F1F70FFBE996CE1EF6EF4D208BD8A33440ABE348D9DBED11E034A5D722683F52DAF28A1C")
(:digest-bit-test 27 #x20 36 #h"65794965009CE130167E401AF91AFFF32CEC9CE46D4AF776B83271EE287231E6A1E0EA3601ECA308596035A994E73757")
(:digest-bit-test 27 #x10 36 #h"C7DEDE39881F92FF6ACD42FAA51CFBA95D51391FD1F484788B9149676C7A215938E53C6C4348BA12A10BF769A21D5045")
(:digest-bit-test 27 #x08 36 #h"99614EB2F2E0C6333823214236E711C46449753B4D48979724037542C313AB9E05A3E780E417A1E4F228D3DB0B3A8383")
(:digest-bit-test 27 #x04 36 #h"E91A4C58528186B2D45FEA27ECFF36922254BAD7C8E2640A1945C5B4092FC07A093D5CF47AC45819F862EDAE8149302C")
(:digest-bit-test 27 #x02 36 #h"60022A8C7535F93E052229F235DBC2794C283FBADDED8E160E7CC089BB8A135B9AABF41312C45C9BDC153B99998453AB")
(:digest-bit-test 27 #x01 36 #h"FCCBDCFD9B4703A4D17A3AB46B878A8297B76E1348ED7AC7F500BDC6D2EB20561B12A01F25C7428755E14CB9499D52FA")
(:digest-bit-test 28 #x80 35 #h"BE6D2E3EAF33EEAEF34FAF27D04BC29F70E968205FAB32DEA4B23B5198EAB031610396D275707CAD8081DDC420644842")
(:digest-bit-test 28 #x40 35 #h"72D791CB3E89AEC36590D8B226815F6857A6C970D968FF01759370E0177F928B6E0860FC89D8512B57F8D73AED8C8A8B")
(:digest-bit-test 28 #x20 35 #h"45B5BECA1299845D70BA9B8718F540530BEFBAD767813B5DE629685ACFD1E3DB0FF84A555CD5616AE714E0D122074B2A")
(:digest-bit-test 28 #x10 35 #h"F11CBDFC79ECCD482E78AB5982F81AEA5C91593B1A026AB9C4B46D3A25279C36B26E55A91AC4055B00738C084EA531D7")
(:digest-bit-test 28 #x08 35 #h"BFF1695D161CCECC71EC68D23506D9E4A4CDDD0403822F333EEE4A4C4A3C17C834570AF6B88AAB68EA663EB959A239A2")
(:digest-bit-test 28 #x04 35 #h"50A408326365F178E2410C9CF29FF3550D0A76F3C41A396FE685A595306EAD2AF743DDCD0635FBAB4360E1488F874D89")
(:digest-bit-test 28 #x02 35 #h"E941B019398FD772571F5C569D84B8A25CECD22A3990F596EB64D0FE1439AB63341F78EBF4126FFF1A41A96D3BB9CC6B")
(:digest-bit-test 28 #x01 35 #h"386C762335D409A7A679E232AD564B0E60CAADA990A83DE2812C5C34EA5AE0AD8C566253260ECC0AA371FF63AD164929")
(:digest-bit-test 29 #x80 34 #h"8CCA1F5B6DEA6B721DCC1C72A96746CCD625C1348961A4D72D3E40068668938764760BD9C7491D590208D6C966D685D5")
(:digest-bit-test 29 #x40 34 #h"11010F8578FE58CA36883E4B3D85211C911559A7CD6958BFAA98920C3FD82790522DDA76DB32769FEC20C934ACC865E5")
(:digest-bit-test 29 #x20 34 #h"3271C480145A685ECDC38D5CAAB8912F66EAD3B1729052475AC4ABAC1FB4B211DDD21E93CBC4773162B2159C1E552CF6")
(:digest-bit-test 29 #x10 34 #h"AD1330E7479E08FE21D64E100CD2B0A642A970A3B514A15B4B124E0ACEEA7656B8F87BFD634A131EBFF89EF9730B9889")
(:digest-bit-test 29 #x08 34 #h"3BBBD0FA79AE4C63E5CCE85EFA1CA857F790A117C224816F8B24E81FF43CF5C4432B114D573D8218B902AE9521C952C4")
(:digest-bit-test 29 #x04 34 #h"A7490BDFC2DCEE81B5D1AB4EF322775F02D10FCAFEE0E61567E052A8E778F74F97380C2A45DB33ABEFDF81ABF64A455A")
(:digest-bit-test 29 #x02 34 #h"F00E6AE888A33BF184C52A18A1677F0D0400BBA818D14BCC53D67B577E52F8DC2F72B3E03A525355C7FEFC781E6CB01B")
(:digest-bit-test 29 #x01 34 #h"A55BE9AE54CA0A6ACA5EEFCCBEB8B5E64D170E3A61D1FB0D049859FE44F9D8C23313CD935C49A6F0862D782A77885A67")
(:digest-bit-test 30 #x80 33 #h"EE5909BC21DECE3CB019A6BBCCFCA058B3E601461ACACC7E3C2A0DF76EFB99E932BEEA69E7B8AD212CC001711D9A3B7D")
(:digest-bit-test 30 #x40 33 #h"DDC204008F0A566616FF6841CAB8AACA935C8172B0AC9722D89930C56B824D8A539FD6CFE21155DA2DDD07BF01FC839C")
(:digest-bit-test 30 #x20 33 #h"9CEB62A6E96B43049E5D3EBD2FCBDABC8348F206CAAEE34C64CFFF657428779A0B5F0C4DCD8B6B63CCAE002449C3A9E3")
(:digest-bit-test 30 #x10 33 #h"A7C068893B6D043EAEA92405844893EF3F8D48F21FBE67C714835D699CCCAE592857BCB50B1A3C7BA88800CC16ABF2CB")
(:digest-bit-test 30 #x08 33 #h"79D82A57819BF95985091FDB8139F2461C906497A3F7006FC210C862B72B774F9636DC15888701D00CC70D8520A451A8")
(:digest-bit-test 30 #x04 33 #h"34F61A7EF1FE5893A43DA42D8EA61C8C70A728AD83C373D84836BE16F4DD9627EBD3DAD85FB6E34146FDFF48037A3C0F")
(:digest-bit-test 30 #x02 33 #h"7238D2043F7082481F9B85BF4D6FA84FDDF24C0DFF49F5EB2CE367968823E3E22CA55193620ED2A3ECE9C293010BB347")
(:digest-bit-test 30 #x01 33 #h"A2A3E2F314D88A97A2AABF1EC22ED93539DA578FF28480B4F55550B36F0518AEB172956ED7CE7ED406121E81CE3B9DD7")
(:digest-bit-test 31 #x80 32 #h"B2CF365BD9D01DA2F330B710B082DCFD4EC2962B7D7C33EBA1AF3D487CD5F82A8B753BF51F6C3478A200B124912364C5")
(:digest-bit-test 31 #x40 32 #h"992E225F6BDB7A8B1DED390C01E0F77026A631E594E10D97ECE6C8565219751EE996290D322F5F211FF413D352479F9D")
(:digest-bit-test 31 #x20 32 #h"14CB8F7C0E0A40C99991A38F4F629AFE47E59BCBF162B734C814E319B306A7C67F69884C8FD9E49A4821759541B334E5")
(:digest-bit-test 31 #x10 32 #h"C97DC6E221BD58084674602C92867A1B9D4C3F7BC76306A579AE3C8BCD48E91F94DE46E52D1DBBA085FA3772BCBC3D8D")
(:digest-bit-test 31 #x08 32 #h"A3F3E424A209F93B936A3A0AAF46F20C5150149B98EFA807F412D4B8FD4A1242C0DA3DD53ADFDD1D9C7F731D0F1DA910")
(:digest-bit-test 31 #x04 32 #h"DEB6C496FE0C04B1D8F3F67C5BAA05E8065CAC85E2D142F21597A938CA2A859EF3A0A077A46C93D762133F7A535150AB")
(:digest-bit-test 31 #x02 32 #h"0BB196F917D02296A49DC3F8EDCF35539251CEF64188C8FB7F55B4CB151DF87CBD0BD5498AE632D94B995C56BFABED99")
(:digest-bit-test 31 #x01 32 #h"B81DB1716E2D8E6283D6F46584A58F8E890F7D75DCD16C5F1F43E6FFF1AC22FA65DCD13AF72B8329494CD82E4B78ABA9")
(:digest-bit-test 32 #x80 31 #h"74555775BA3B99796E08D828250F6644FBB3C2E4C6BD5CAEC66E1385E4512E385D3B6B0DDBB1920364FE1FD21B88E711")
(:digest-bit-test 32 #x40 31 #h"B8F2437A15203A47C1769A446F4A2FF761CFC9F1E40F2156AFAB24DEF7C34F63248A71023F5BCA7436010E417EACC8C4")
(:digest-bit-test 32 #x20 31 #h"C0B60FC5D64406322B9F1BE17F7B03193B55A8240C4B13E34F27381E4E2C9C9A9E7F4AF6C7E88C9207E7CD055362FA5E")
(:digest-bit-test 32 #x10 31 #h"DA6FBFE26016DCF3F0C12B2E55CEFF92536D72FAD8112EBA0236834432FA28AA4D8D17FA6FFB331E0E082F0BB30E5CE3")
(:digest-bit-test 32 #x08 31 #h"35D0F700A8DE91341904E694341234D181177010FCE83A7E16627050AAD67D1E67ED347172AB1A95F6B6873A6341FE99")
(:digest-bit-test 32 #x04 31 #h"A3A2F221F1810FF13E4F81EDE8639749430CEAA657FA2AA63A529A62E881D4C0AA1B06CC336099A5691D1F1BF3FD56F7")
(:digest-bit-test 32 #x02 31 #h"E07441CD154D8FA7A942A030B10EE1BD268CB698F7F7A4ACC48F857AF02F18467C25AE88799BF0C345B81D767F208AF7")
(:digest-bit-test 32 #x01 31 #h"078218080C1599B4A3775D9E94465A2AB7E0F9F7EEAC7FBBD4237E4590BFA28DF54C9768F207E33DA6FEA3E3D30BF037")
(:digest-bit-test 33 #x80 30 #h"612BDCC9E67062C1F5C9E61D2ADE3AB2BBF8BE4516F91C78018D4C24F5916F9CDF316940D8FD06186AD527811BDCF4FE")
(:digest-bit-test 33 #x40 30 #h"F080E798C4F74104C5FEC696E3C7C63AC051198BFD9490EC1BEE6E449371A86DBA5625046E72FF093CFF2538ED46D19B")
(:digest-bit-test 33 #x20 30 #h"2FF42A947A5AF54B78CB8FE112923E8DEE28DF232A4CB269516C6D0A0C43A7062025F6E362BDDBA143B864027F09C407")
(:digest-bit-test 33 #x10 30 #h"2C497217BC2E64A1720B9A5A312AC37B6AF20A2DFC75E0EF66CD454A887025F78C14E99A1413834F85A5A8BBE0D90664")
(:digest-bit-test 33 #x08 30 #h"500893C49A36771E7B30D2D25A050EBC89A0C3E8D2FE7AAD84DB5BF2BBC4C13735E14169E0BA6D120A2723C98D2EEF67")
(:digest-bit-test 33 #x04 30 #h"E6E58B87BBE66E8EA7502A867EA236E9BB1A4EF6850680761AFA602B766FA71B74089599722A29FA094A491A5D7B5962")
(:digest-bit-test 33 #x02 30 #h"A5603BA7F4C3A2ADD3045B217D842B0DD59D667D44702E83589CA45C3C773D3397D501D2615CB8BCDFC6EA00A97F12EF")
(:digest-bit-test 33 #x01 30 #h"5EF891115FB11406B70694311C0A591750E252FBD80A488317A06626D77C3DF82F1C83B97D36BC26D82513EC8D977E37")
(:digest-bit-test 34 #x80 29 #h"440DAFBE831CACD9F162921D8B0C551C2D00154901A2C1995448E9507D7508FB9EF07E1DB289A7CC6712464FAD4FB358")
(:digest-bit-test 34 #x40 29 #h"D40145D4722512F16BC9B276A6F0C64468ADA1E4D9DCEC49B5A2675C682587CCAC4CF87B3979471FA5935F828934C7F3")
(:digest-bit-test 34 #x20 29 #h"FF7665A96ADB0659D051CB23740ECD4FD826789CF18B32785DE9B80FDF3BA27377407A669B71004F53D375C32EA76635")
(:digest-bit-test 34 #x10 29 #h"89361350A5B0BD6C2B51984BBD83C9AFC96670BAC5B8C45729BD7E488C77E63F88F8B725B9BBA40E658CF775AE16CAD4")
(:digest-bit-test 34 #x08 29 #h"5727CDBE5119D01137BD6184482DFE7B970C267076FADC99582D6DBB3ED8A83E088DF359C2B1CDC34FA5C41271450E22")
(:digest-bit-test 34 #x04 29 #h"8B87D467220A1AB2621C1DD3A5E60832DD16E800409BC3DD7C7B35A9DBF53EC828425433734FCDCA42A6A09A90217C3A")
(:digest-bit-test 34 #x02 29 #h"11091A30FE45402A85562C2CBE26A2822CD26BB9FB5A09A0D102690956E1BF679F86BC4D70AF9286327B047474CB61EF")
(:digest-bit-test 34 #x01 29 #h"783E03D6491A1E112D5582B3EC7C4B48F5FDFE858148324E61D28152BD65F37150B60FC4686B82F68E83B9144D7BE9BE")
(:digest-bit-test 35 #x80 28 #h"83232AF71354636B05794AFFC980CF381E84B49406BDC9838E6516B382BD8D91D24C567B246F5BCD8252F6B373FD7E9B")
(:digest-bit-test 35 #x40 28 #h"8FF2E60EE6B0164DF17760E616FF9BEEEA644C5338678C422A1F0B1E6AA5E1349271798E5CEEAB34C0F9FB5BB18B2C81")
(:digest-bit-test 35 #x20 28 #h"8155DA4CBAD65A0B3C309430FD4F8753967CB6F913A34758E27A2E33C3126B567FBBB7C878AE0439CA4ACB7A12CB5542")
(:digest-bit-test 35 #x10 28 #h"477B55343660C3722941A8678C650BCC2053495F4A148A06919BE28CCA0020F8D6319488C46E80268EFA8D2F14ED66EC")
(:digest-bit-test 35 #x08 28 #h"2D99867CC8D6F8561AEF5CD2B699F88776F37428D68D3557C4315F5A9BEDC7225623D8D902AD8CFF007DC07D56970F63")
(:digest-bit-test 35 #x04 28 #h"F379813278A6DD7EADCF94353BE109625E4C0375DAC4F20CA98679B3361EDDC1399710ADCA7226F267AEC07DC8F1953C")
(:digest-bit-test 35 #x02 28 #h"B7EFF71C84C69DF9B8D5096AA665D401B0C2EE9EE1C1607EE464E03256BDEFB7E449058CB217406DC98F35B890AA767F")
(:digest-bit-test 35 #x01 28 #h"126BE561BC35366149F8C2F1AA7C776B318BE836D5406938CBE1601755203E112829516D8343BDC252B0AAF1092E42A4")
(:digest-bit-test 36 #x80 27 #h"2ECB27FB077CC72E7DBCBA8FBDD6022DBEFAAE32BB2C708E30168822ACB8113A72D00D6B2B8D9385DC68CC308027E3E6")
(:digest-bit-test 36 #x40 27 #h"D951831B1AC4536377FD2EAFCA56C84C6522D1B721D25231DBEFB61692AD485D78D007D33AC1F737200CD61C3333DA0C")
(:digest-bit-test 36 #x20 27 #h"4C55BBF56B5B46FD313FA1CC06C01FABA8C0C993B5CDC2F905E91B4BDE42D98D958C5868E2E9EE57B917002F27B1B140")
(:digest-bit-test 36 #x10 27 #h"C50A5578A633AAF0C3E181F75A5FB3509A3DB36276FEEABAC596F3771BF4BFEDE50025DDD04851A4B5C6107968EA5143")
(:digest-bit-test 36 #x08 27 #h"E8CBDAE58730BF1AA308FE34CEAB8CB39A06B9465B613C04C52A441F2FEA9D7509F1FFE1097DFA9E8EEE05DA81C16635")
(:digest-bit-test 36 #x04 27 #h"AC1F19E516B55DE55DCC759CE590407EC45820F4024241A946CE04C96BCD2E344B0863B9E4D2C78F9509CA121E5F8D7C")
(:digest-bit-test 36 #x02 27 #h"D534EE54141D498BD4101FF07338DBC2AEA6D24B943757DF2BBAF0EAFC1C5C2476759FF97405AE59DE4DF53652553A86")
(:digest-bit-test 36 #x01 27 #h"010078223C945810A0EEA3E385D74F28C41C687196C913EBD1C3D2B98119C9A274B8C2DAC5C6E654E9E4A5EA7CC2FF26")
(:digest-bit-test 37 #x80 26 #h"034BEEC78BF968FFA05A9A61267587D176517C60861E791836B5EFE90F12C0BF0243C70CF2B2278D68246D763CA644D8")
(:digest-bit-test 37 #x40 26 #h"E29ED6E06FD5F83056007437B10B2FDEE03188F3EA878AC5C5B5A05AFEBD31EAD6A831EDC131AE8EB9E7FA9A01C32B0A")
(:digest-bit-test 37 #x20 26 #h"3A3127B1852355AA00F2434726D7B086B13D138C5DCD5D4E60334155FE28349E479856D5334927985B3ADAC59EB44E4C")
(:digest-bit-test 37 #x10 26 #h"75CF3BB7F5DB697668B4AB8FAAD44F5C4C285CFA65864A0E3C74B5F2A67A4AD4DF8F2100C2445A180B44AA37B3CC97AA")
(:digest-bit-test 37 #x08 26 #h"97BEBD4C6150287122FE715EDDEEF001665C50BF9397340E6915B4B5C8F87588826D2B8B32F3F2D9E3007A112EAD8DB7")
(:digest-bit-test 37 #x04 26 #h"2548EDE855A2E8B7004BFCE313DFE70C6ADB7F2552629388329078062D58FC8938A230359157042699CC3C33E3114F63")
(:digest-bit-test 37 #x02 26 #h"64C8AB032ECC0393F94F164883E9AEEE7443977D11E301B20F59C6CB7F45C59EC967F4D9B861A82B5C3BF852B588E024")
(:digest-bit-test 37 #x01 26 #h"A9376170784FD04221BE829604E052FD0F0A960FF9F8CDCFC790E351174A7A389C5B590FF92EC30BA91F24D6C9EF3016")
(:digest-bit-test 38 #x80 25 #h"03210B9C0100379229352511ED6218A30D52BF73D5CCCB2A89A0B4342A9D6CE8C315366062F78964C9EECF5C1C44E83E")
(:digest-bit-test 38 #x40 25 #h"CFDE1721468C0420B64BB0592DB23A67E7510773EFC50F3874C09B7715B5545BFB6ECE467C1C6B4614AE0A5FEE198D1F")
(:digest-bit-test 38 #x20 25 #h"4574BEA451828121E5BF8503F5F9582C086A3F0312D3C7A86910CAEF4CDE23565B0A59A4FEDA9973BA0D366E2818763F")
(:digest-bit-test 38 #x10 25 #h"2CFF950C54FC24BDE335D75E8363A888BEE704EF226F8A7F7EFCC189DA28D927CD3D0D951D27460EE9D6322B8107EF0B")
(:digest-bit-test 38 #x08 25 #h"8D92E33BB02A89CF87CDE7F7F374271AC7D7C6168C8DE3AD3252C92CB065669DC50F3AE8E869FA38E28719E0273A3200")
(:digest-bit-test 38 #x04 25 #h"E864A0A28D6FF702ED84F461EBC75BD9A9C01E6DD042DB875E62597625AED23A643A5624853C1C31B97BFA565FFD8348")
(:digest-bit-test 38 #x02 25 #h"4E23C54DF650F9E82355ACAC18AD545D36A879F153ADFE2B3786D3510ABC39E303D4B8EEE3163D8169AB2B950C2DB417")
(:digest-bit-test 38 #x01 25 #h"EB4B1E6809CAC6665B0D9A20AC4FEC040A87D271731EDCA0C10C6ABD567640037AB0BC95A120ED92D023FFF39284133D")
(:digest-bit-test 39 #x80 24 #h"DD381ADCCF1EC251567FF6C4660C676979DF327EA349EF8A92C1F0B81F9AF9305297AFA99AF7BD614DC47435218A5672")
(:digest-bit-test 39 #x40 24 #h"CF1C76C9D4E0A87A69C45E1A295FA5EDB2731285341E8AFB4DD0A43392566FDC2BC329A9FE9F6F8DDDBFCE588145B3FE")
(:digest-bit-test 39 #x20 24 #h"F43BD5C49058956A5C004F2511604A28A6B62960A35F0544D4537412541A76F4FBD93CD95F5854E818015F7B692507CC")
(:digest-bit-test 39 #x10 24 #h"701EB4E39BA91D3BF3D29E22EC03A7C075454EB78C0AA3A4942FC5766B0C0A4B634BA77D1BEAB897D73A77CF4A75E4DC")
(:digest-bit-test 39 #x08 24 #h"E0C193C9ADC50C569096458BD27412BED0CC1D73D946C12D211B5774DF894F683384F6634F21E8E006395A901BDF57D3")
(:digest-bit-test 39 #x04 24 #h"4661D32533CEB76725A0769ADF333C68D020AE274FF733F655B03E4A5A0CC2A238C7F35AB16AFCA31306824D8BA95950")
(:digest-bit-test 39 #x02 24 #h"8BAE9DFE9D1F28F01CE5EA8BE7471D16E87AABBEDD8C550880791E2D92A8CCD34A825AD8933B7DFF8A96159D49D09289")
(:digest-bit-test 39 #x01 24 #h"2DC118A122010FAEC8808EDD7EAE179D3FCCE9301BF8427E0705FC5A7701ABA44E60F41B37A6BB0765EE3639A46448C1")
(:digest-bit-test 40 #x80 23 #h"BE9684F44AE57AA6963C6B7F9EE07E922DECAA6E9181B7EFE4DF1B29AA5B92B21E36159BBE5B282D7F63544E26AD5144")
(:digest-bit-test 40 #x40 23 #h"A7728E8A72D6EB59049B00524B2A116A9871B54559C9F2E19127AA2D6A2390AEBA0661F76D355E4D557B90406891120D")
(:digest-bit-test 40 #x20 23 #h"98A73AF6484CDC29ACC43A32E663C7887B90AAE78A58EC189E2E20E185B6D47730697330DD8BFAD4BA1AD386001DCF0C")
(:digest-bit-test 40 #x10 23 #h"3F1032C0C53BE887FDFA9CB2E006C7B68F2E939330237BB9E1FCC66A23BA28AD881808794D5F78568C35E9186DB514E5")
(:digest-bit-test 40 #x08 23 #h"398CC2AE7FA21F86FB21540CA878FA4DF9E4E8BBB95E33864933F4AB7AEEC38771C1485B9DBBCA4D98D641DE92BFB44C")
(:digest-bit-test 40 #x04 23 #h"5D8332B879A1EDB87FE1318497A264EA486EEB24FA693F81A6C5E05DD66A232EF5DE6D40E7D88DB8515A5FBFB5E466BB")
(:digest-bit-test 40 #x02 23 #h"9C0600738C2969F77530119DEB281293767F16C47935B2B8127D619449841864F0943A16F09CA49C5F9761BDEAD0D320")
(:digest-bit-test 40 #x01 23 #h"A5EE4E27749AA796CC82ECD5331D674F23499EA1DB93441D00754388211A0BC55363263BCEBC5B9EF9A50BFAD8B05211")
(:digest-bit-test 41 #x80 22 #h"6D50AFCEE5E8E096B74A87B07DA83764384B2817C9445A6B9A1457B19F0D8CAA71B51CCC0C4D75E68D2DC0C0A3DE7554")
(:digest-bit-test 41 #x40 22 #h"EDE7F1F6DAA383EB41D594D4D139F1FD39AB9A7A6FEB000B846EFA31F27744202C2E4EF62094E6BBABE1FF62A130D474")
(:digest-bit-test 41 #x20 22 #h"83016F42788961BF80B08BB3BA5BAF29C0F09E01417F4BB19E73ECDBDA27E72281A24A50764CAB2DFCEF1897929F9037")
(:digest-bit-test 41 #x10 22 #h"E637FF999562E727F3D08A5C5C64492EB7629C01BB9DE83C8FB5ECF92084C373C57D72B74B6D34D27717F84A0EA9FC32")
(:digest-bit-test 41 #x08 22 #h"9E07928334BA96D475CCCEE11285DCD557ED75998BDBE3DB26D227E0EA46A537F69EC90071B44DE428865A4AAA680E4B")
(:digest-bit-test 41 #x04 22 #h"8930EC88C0B729AAA5519F4B6C4D7D0EF842AD762443B1F30C26D2E71D13AA29F9139C047ACEC8EDEC7DBF491766F3BD")
(:digest-bit-test 41 #x02 22 #h"EDBA0883F9C966F3CCF2E93906B1AEF29236121E07FAEE5F5C0E733747F7709945466541E1CAFC4E20E4BD2D1CE6C627")
(:digest-bit-test 41 #x01 22 #h"2322B96C2618BE56639B97424EE56F3E18275D0BC14727F61600F2721BB343DFF72169ABFBB56272629D6775DED3475A")
(:digest-bit-test 42 #x80 21 #h"9CA604ACB2B65E34276B3EC7757E9934EC9631DCF84926A0C04E4960153801AF4767AA22E0E4205ACE8587A9C4528E97")
(:digest-bit-test 42 #x40 21 #h"5C06A745E00F95FA2A37101911ABFB01E164B52801D32795146F5FAE4E99968989A88077C7AFEB101512047264DEC0F5")
(:digest-bit-test 42 #x20 21 #h"6A0F8D195FD68A1352C26F5AC8E046982E8D9FA2929D65F1086ED49B3D1A734C94F448162D67DB56865991BFC0F0566B")
(:digest-bit-test 42 #x10 21 #h"0D01873EC2DB1E0335E5BC2577561D26E2BCC0F95D46B309D2EF058B19EC734F1976C8538EFDAB42FDF3CDE7CD2FCE8E")
(:digest-bit-test 42 #x08 21 #h"CC037818A9E0A90420E2987284C8F0BB5ACF2BEA0FC2237C005A233C0028F9F7C6E9BD2A9E3818D40A3FC999ACABC0BF")
(:digest-bit-test 42 #x04 21 #h"0EC6364854FA7D8D246494688DBD7153C11CF3BC76C5FE217B68A61AFD189FFABBF8C18FAE7E29CE46E4E2E97A09AE7D")
(:digest-bit-test 42 #x02 21 #h"C15FA778AD05178B4C4292EB5088EC53E11FF43124C5FAB6CE0D36B1CC38032E20EF14BD1E1E443D7479457AEAA2F46E")
(:digest-bit-test 42 #x01 21 #h"0B493260B9D501965EAEC41E4C342DD6FAA4545DA901BBBF97A7C923565AD78BF7AC59D06320914E2A4DC1CBD59F21EC")
(:digest-bit-test 43 #x80 20 #h"67C741DA991799D8AFD5EA93589C874D4496B3285747884A12BE6BA124A306D72D1B5A91F726C2CD43B039FB3A667D33")
(:digest-bit-test 43 #x40 20 #h"DF6E31152C9CB031735B82455771917D588321E4A92F350EB99C628EF3F915F99898A733C4CF234D16C5701D693F7EF1")
(:digest-bit-test 43 #x20 20 #h"0542DC5BEDA73FBFC1399DB1BF428ED122C9EDE3535B0FE073F929B1A435DF1AE3180F6510216FCF7818212A2A38BCAE")
(:digest-bit-test 43 #x10 20 #h"4DAAD1F4A91ABBA2ED1DE373195E1BA9C479466E257F2CC2824CD6E796C3B6F6E14192DD7DD9E83361A72DCF2A07F13F")
(:digest-bit-test 43 #x08 20 #h"6A6D21E8FF50507E055D0FC2A3FD6DB08AB85CF96597A8DA8831778C4536F4B6A09EE35184735195DE1A88A87FF65713")
(:digest-bit-test 43 #x04 20 #h"F0434999CF98C3842D7C7E42E78B9E3ED8789249908EEAB6E681752FA82ADB85A21027F224E8C19924C3E77316448FB0")
(:digest-bit-test 43 #x02 20 #h"4BB67E8E9759F56CE86583B3E918C33B4A65A98883A169460F5509D1A4A7339597D9BBED663804600AA3023A636662FB")
(:digest-bit-test 43 #x01 20 #h"AA2DDEC9E11B1BE707CCD1355B5D17D3E70B7A21C1DD4FFEA56E9763B3D85FAC5DF655F7B02417AC6214A792FF35BE33")
(:digest-bit-test 44 #x80 19 #h"3D861AA0B8B487827A6764B197C0F9144C248480CD96CF9335F120B7A0ACF37BED4F1B5930EC7389A6A08723B7AEDCC7")
(:digest-bit-test 44 #x40 19 #h"5F1B2D8F5B4DCFFE658AE90E77359981B1094D9C86A0C20E4AC79A7FBC9F868A2108A816AA24C71867D2F4AE2C27799C")
(:digest-bit-test 44 #x20 19 #h"DD16679C632D8A454108F6FD728F74030F7A87E46FA5B34047FF1EF283FF46147367EDCC0238C23891263612D906643E")
(:digest-bit-test 44 #x10 19 #h"886BC746F25B2425C2BF086BC51B6BCA673FA6D0F287D49ACFADB33A841E5A5A4E7447C718A78E7AF06805B9BB9A57F5")
(:digest-bit-test 44 #x08 19 #h"4C5D65BB63B1B2E5C6814D5F20FA6C90F68F9655EFC544780F7E3AAC063F33DB755F7D569EDD6403147BAE4D0C960E5A")
(:digest-bit-test 44 #x04 19 #h"0C02D11248DDAA99F3D4EB064D7DC09CCEB30099B6842DE7B5E9A50E568CBD912969CAC9CB949F8A22DB096A1E7305A1")
(:digest-bit-test 44 #x02 19 #h"FC55C2BCCA197AD028D40D95E1D402A81BECB45E1B4C22704245CDF9DBB8023800721CBF2162AEC8F03EF2AA6ED797E3")
(:digest-bit-test 44 #x01 19 #h"9A7BE8491349E5B000E5908348BAB7A8D316D609025358BAF8FD806EEB82829CFE7FBF7200479D88C58E256005B249A7")
(:digest-bit-test 45 #x80 18 #h"4834E49EE4F21BC45C6E10A4C7A5FA0833BA6506D64CB97098ECC21CAAA82F4CA178D79C77DF8CB4F32B4A114952701C")
(:digest-bit-test 45 #x40 18 #h"0352D5F1848C26A712092B41FE6081E2DA2A4227D4F1DD6CE033F3981947F3CD36132DFD7975784AA37AC6C775E8825A")
(:digest-bit-test 45 #x20 18 #h"088AB2DDF21214C02C86735BCF7647D27F2111992D108BC9C74321F9F656FBD053F57A9C61C1CCB14C913A85FFA449AA")
(:digest-bit-test 45 #x10 18 #h"54171A7DB384E37F983EA01C67C44C9F731066F7A43525EAC3DE40452DC9C8237A1145AE41D2E87A054F7B2292F469BE")
(:digest-bit-test 45 #x08 18 #h"3D204CA07C7D13DDF3827B50006E8E689E1B712D667169ECA8A0F3E3B7CB62B46B37C073056855A10CF41756DD8C0762")
(:digest-bit-test 45 #x04 18 #h"4FD3DB3A545E46BD4311DD0BBFBC02662E6A9E7FD67BD696F99B0F3BFD40C15B65415A47BABCA9EE1CC058CB3AD52F1F")
(:digest-bit-test 45 #x02 18 #h"3D7847DFE482E726D3F5C2580D22FC016EC32BAA71FA53779A095954AF9E9FEDD9E67AE8515E8BF3D16012A3CCAC5EE2")
(:digest-bit-test 45 #x01 18 #h"CC99F99CADB3F6CF48AE4944B7B91E4664896023C61BBF9DCE9938DD3E5ADB12718DFBBDDB79822E28253849EE6FA97F")
(:digest-bit-test 46 #x80 17 #h"3524A85ECC69FDB93267047EF3603C0AE5398285D1FEEF8C073193C4CD8A07708ABE8CD106C830B33777A7922ED7D15C")
(:digest-bit-test 46 #x40 17 #h"B625A7DBB7154D3F42C547C0A7B7FC13C33150BA7B79A54ACC29F305BFEF2A0DF6AF12065F05E22BD48865A5516BFBD6")
(:digest-bit-test 46 #x20 17 #h"145393989FCF1EB63F174C2A2DEF1CF8DF510FE2F978F67DB3C0E73B54D0F0DBBF270F41489C75E513F9B6DBABBFA5B1")
(:digest-bit-test 46 #x10 17 #h"9FE8A2B456FA71A80BFCD411074A2FDAC4583BC8435D600D49660935AE1466AC8EBC48A41F1AC44C7010319A93F505CC")
(:digest-bit-test 46 #x08 17 #h"0023DE5B34B0B18D28CDEA959A5DB27891ABE454A4524DEE6ED480AB0C9328590DB814327625861D316715E0E6AF09A8")
(:digest-bit-test 46 #x04 17 #h"5540381C0B6E274860CFA0C62D7D08A4EEB0ACE1D947A0EB779E44B4C8E85AE2DAF4BD58E89DAC92BFBFE091214E51BC")
(:digest-bit-test 46 #x02 17 #h"95610A9B07793CD636C69BF2BABFFAB268A64F88CD5CF16A31FFEE5287D5FD5A34A3C0A2F5BF851375803A3FA8105300")
(:digest-bit-test 46 #x01 17 #h"8106E1A3F019AE544C06B03FA85550A9002F8AAFA7A6E129B6A3834C5E0100AAEFCFFDFBE7A2CF13C478A3B732183CF7")
(:digest-bit-test 47 #x80 16 #h"8DD90479FD9AFBD0560A53EA53E8BC8DC27E15E7124DB3FFC5E96291C8D201C6554D0DF8401066D46A6192D21311661E")
(:digest-bit-test 47 #x40 16 #h"D39682E7F2B962A4ED037D36476692CD20A4E564A6DC1F09D56AED0128E0B366495800E6AEE5EF65DC1F674CA39126FC")
(:digest-bit-test 47 #x20 16 #h"A765087DBCF2C432D9CA2FF0F195CC57674781B7A29CE9B3F5C083B858D4B10721477C6FE3E23C8B5AD4314FC2C26154")
(:digest-bit-test 47 #x10 16 #h"09F7F699912A07054670B53E365DD33AA8875F39D07102376D8BC37B71DE92A8F30D47C8FE3B1BB47ECF893D02568DA7")
(:digest-bit-test 47 #x08 16 #h"CA2BAA34B112ACEB6A60F04C93A57E6B9874E532958E60BFF1C5D9B497E3F074FEE3C3304E4A6228F4167F14277EBB54")
(:digest-bit-test 47 #x04 16 #h"BCA4B985440D8E404336291A046433ED93DAC0767C4F28A422D678B45B19F6D84AB1FE5C727AED50F8F591FA657E1984")
(:digest-bit-test 47 #x02 16 #h"D27A63E9E6C9C1A5CAAC850FEC0199EE9C1490EAE9C0755BF511BF84ADD041FB6349167BB0BC90CB1488BCB2F599290B")
(:digest-bit-test 47 #x01 16 #h"F5DCBDB99DA87C664E913D7982EC37F43750E2EC436D427F64873FCF660ECD4BBBD54D78447071204AC6569A3B75BC66")
(:digest-bit-test 48 #x80 15 #h"BA0813D1F978904FFF6A7870910D96F319A1544E70622415907C256A6FDDC612C52C395FC84122D7014C42EC5372CB6E")
(:digest-bit-test 48 #x40 15 #h"43FB213F16E94A77517D1A9471438535A4F85A53C60F83570DFB144C5D269C7238559FCB60D4B955B24B27A58F3BA9FE")
(:digest-bit-test 48 #x20 15 #h"A173C2CD000055AA58BD6DB2BC5256B53F05FBCBA8E2AF65197FBD7DD35D7B22E78E3426E48247D362A0A2CC45E60AE2")
(:digest-bit-test 48 #x10 15 #h"7810594BDD848B582CEC4B265FA249856C991CF91205578742607EFD635246257A938BD881D2133E478334BBABFC4167")
(:digest-bit-test 48 #x08 15 #h"DCAAB5466C2227017666669F793A7A39931A7CC50AAC5B172EEDB016413C6F4C787B57F65C415BF50B344D31ED3B1281")
(:digest-bit-test 48 #x04 15 #h"5086A7CC1C093DBA1D874A2A0B9B5D5B539BA625C04EC71C2986D773398E538299ED066A0C599BA164C4F1228827E6F5")
(:digest-bit-test 48 #x02 15 #h"50CFD3D1CDF5B7F6FC4D100F7E444F82C0792A087E974DE8A55928131B54049BB082321CA82621467E7AC427558C5967")
(:digest-bit-test 48 #x01 15 #h"1AAE3CF64D7DBDE3E5EB62110455892A3FA6E9BB3AE22A7D4D838540C95DBDCA4A690D870C7CC99A1DEF222EF84B8B3F")
(:digest-bit-test 49 #x80 14 #h"8B174247D6EDE400AE069E7BE87818C4D4889109049C7A2EA487F74359113B5B0FFCEBA63B24B9AB0C5BCE5747777654")
(:digest-bit-test 49 #x40 14 #h"4287A2F3877879B402F9F0BE1E5057F9B89CC6DA24D8F6435ED42E5FD22879A0968DF6F4001D759C75CCCF865602B8C8")
(:digest-bit-test 49 #x20 14 #h"CBF33109D97559306770448310FDE6D057BDD0CFFF5C23DCA07EB7D1F11E503B0B22FD05819D2C7F94B46DD0894C751E")
(:digest-bit-test 49 #x10 14 #h"22259F225FACCE005577210671437EF88A3964A97B10531EB6474CF68002C93F1FF1799A6993FE61CB1562C029FF3F98")
(:digest-bit-test 49 #x08 14 #h"E04C7DB7AA2ECF35FAB2D97F8D99A6D5BAFEDC23F283898A23C2FE52968637E080A2660BCCC351C5B3574D7CD0DD422B")
(:digest-bit-test 49 #x04 14 #h"C457378405F0BAA157D57D303809E738B43F4EEF66F78F058B76A5F86BE2C84B4DB81ECFC33915F89167BB3F73A61DBD")
(:digest-bit-test 49 #x02 14 #h"B7A3BEACE7813DD9B76788A6480AF15316C09E7605E4C5EAA68CC289B8EB3D0A0823C31BFD3CF466ADF52F0ED3C9F6FF")
(:digest-bit-test 49 #x01 14 #h"A6329F067B60BD6878D8A756A8F52A1DC85BC0F058D8C267A2501455526FF43549FC61E18028B992B6A5B2A7B0318DEF")
(:digest-bit-test 50 #x80 13 #h"13814178CA5BD077727D53C61D14953F3F7E6C4AA68B54601A7D5BFB4C9EFD9558EEC7D0C39084482E46CB6644FC8D53")
(:digest-bit-test 50 #x40 13 #h"34C5153B8F2A00F3CE1F4024255203FF9D3229130A6C57EC6E2D1B3AC98562C00061AF94DEC8B9ABF0A257EE20A696FD")
(:digest-bit-test 50 #x20 13 #h"B13862BDF3882041F842E56D626CF04F9805D8E2A9496F27F5B714729C1964791C7095B00C381F73F1912D988C60723E")
(:digest-bit-test 50 #x10 13 #h"A51FF0F7378EE7FC4903D3486C8E73BA65A93B78A1758FCF654DFE84322F8CEC128D1D5C734AE10C3BB5682ED462BE6C")
(:digest-bit-test 50 #x08 13 #h"0E888907F90A23938D9A9A6A221C73811C7FA3637ACF42404F3AD8DE82A6A94294335BB76331B863B98AB342E7D49E2B")
(:digest-bit-test 50 #x04 13 #h"ED62B053E02EF638BD2C3462B550E58FE62439D8460183488DB7A7D3616E1A417260B1808E0D7929B0894AA510BB80FE")
(:digest-bit-test 50 #x02 13 #h"4DE2D4970BC611FEA19D1E2C062D520789DEFA3CA8A7F55C38828AE0BF276790B9DF94394D3F5D91742F91C73002FD56")
(:digest-bit-test 50 #x01 13 #h"ECC7E7745F7D1FC04D460A7029F619BD9D8DDE3D617D8B3BDC28FF79C1C59F68D57743B59EA094FFA3FD9AF09BAACE15")
(:digest-bit-test 51 #x80 12 #h"B4B30628AF039C32BBFAA467BD2673760FA1459F4E4AB716DAE1632ABC6669BE7086D1CB2DE8A13B5CECB8A38FB6AF1A")
(:digest-bit-test 51 #x40 12 #h"6CC8A64F78BB9868FD0A2C2B19F62BC0B27C70986B8C8B5C1EF32B019FA2B769C553D608D96E64C22EFB970C44C78382")
(:digest-bit-test 51 #x20 12 #h"6957BBCD8089FFD602BAF45E512D1E78006CA22C18DA412CC54E98300044EAA65E0463595C47BD19D0561249BB9A8A12")
(:digest-bit-test 51 #x10 12 #h"322277ADF32EB2C4D197CACB3F3389C701B167C56E7AA21CA4A1DC64AEBDC34A53A653CADCB23D48C9CD5E880FFA2F9F")
(:digest-bit-test 51 #x08 12 #h"BB7C9B978F81039AC7B0CA5959568802F9C2DFC33539DD2E51374EF6554A2623AD31B7DE8004E13783A4CD338657571D")
(:digest-bit-test 51 #x04 12 #h"A496DC4DBD18294C115E4DBF449F94B8B7FB356C845DEB329B982DB825FC38E04184D0E560F037752A3162A6D7C5DCEC")
(:digest-bit-test 51 #x02 12 #h"E40F2C75955951AFC2974D0CD90CF16F414EE433761722BACED10BBEE90AE4556E61F8F39F6533174BCCBDA1CE57539A")
(:digest-bit-test 51 #x01 12 #h"4D32CB337BAE63D17C2F5869368380A605A48122175EE3E11A98C727DD3BA11C59A981E65994DF10453B4B273E6155F4")
(:digest-bit-test 52 #x80 11 #h"F644CF3E8B9CD02BE65344DDD6BBC1516F317D2B1505138FED83C1747ED7F04F285488714C334EFE9E6EA14B66CD5C25")
(:digest-bit-test 52 #x40 11 #h"88479CE6E5DF7E0F7A14BEC5C1600B68D7320D0D5EB458DE642398E29B97AFB85CF647FE91E055FD0152A35EBF30F815")
(:digest-bit-test 52 #x20 11 #h"707450731916C0A04CDED54FD24813975E6F1A5E9BC2EB57C781A5EF0F9C5341A1DE7B9AB74EA8A1A63385EDF32C1609")
(:digest-bit-test 52 #x10 11 #h"DD679F5F7CC77A40A29842D287F86D1E3BB2FAD04DBAEBC41C556EBA27D3428157145599947A69753D59155059BCE6F6")
(:digest-bit-test 52 #x08 11 #h"C9296E9C4C9145BB898BC173392F1355CEEF3A070D9A50D44ACC765C13B95D9055AB9A61C328D6E38DD4205428C25754")
(:digest-bit-test 52 #x04 11 #h"11FA9CCCCA68E54EAD6AF9C258876684D5727F7FBC0B3E63FA110693AD3DAE3FE37B1B7AECC89CEC32977BF43BDE70BA")
(:digest-bit-test 52 #x02 11 #h"D3F0769DE606FBED3C2EBC0D787FB296A894B2AF810CC077EBED65A73D0BEF91E92B9D902EBA22A1DF935F7D5F3CDABD")
(:digest-bit-test 52 #x01 11 #h"83197CDEE728B0229B5BA6C3373914DDEABC5C63BEED4328BE72AC651F64454F4537EF3A6E62E4D2216C9B4163DED986")
(:digest-bit-test 53 #x80 10 #h"A75B7837A61EBFD77D066A45178692091AA1F9E8E6C61441376CA9E7F860C951074851DA7F0E53CEBFB638C9F41AF984")
(:digest-bit-test 53 #x40 10 #h"A6D693737A8F54B16A9F35C950366CD428572BDEA60A52BE054C8EFD88FC6ACA57699D752C46E1F2E623563A5F3B97BB")
(:digest-bit-test 53 #x20 10 #h"8E8FE798AA1F256DAB978914FB21DC96967F35F15DC6711D5BC3715CAA532765F60AA28C21BDC47EA9648B5C0743ADE1")
(:digest-bit-test 53 #x10 10 #h"9AFD64BA476BC37F7DAEE4F0114137DFABCD95C553A1EFEE015C438475585DE24569126941B6667E249E0DB7118FC98F")
(:digest-bit-test 53 #x08 10 #h"DCEF65C874358661B52CD70EF8092629C418E6CC954AF19BD23214628063F939D2ADD6E43FD921D85729E1A5BCEE7FF9")
(:digest-bit-test 53 #x04 10 #h"4EC7C8424716EA9E414933FB68F52ADE7DE8302B2546B347225FE9F72E4FA81F914C608957E196E2589E1EED9FE20B6F")
(:digest-bit-test 53 #x02 10 #h"8BAC0A7868E8560FC0879C35F358AC34B1B684238EC72FDF27BA205A4B13897EE09FBB2895745FF33D914471AC8D9C6F")
(:digest-bit-test 53 #x01 10 #h"0053982116564E2F1E8438A92FF57DBD9C2D70AA90DB36E105ED979403D74B1B0CEF736D7C77A146834361ECC587D3B4")
(:digest-bit-test 54 #x80 9 #h"A669C89F3181C9EB13E29AA485D5375D34E2E25E44513F07F3BEBE15A7681D0299BFF83272F817B7FCBC05027801F012")
(:digest-bit-test 54 #x40 9 #h"272A311819FDDE907AED8D5DACB983EC19467DFF86BFCAAD234E9662A3C8FE810AFA6A6F0FBAF51BF2F6B992B5AAA9B7")
(:digest-bit-test 54 #x20 9 #h"BC0988D2BE2560E8429D91C88ABA0FC57B02AA4299A4EC2682F7EF8EF98AF6D4677E8FBE90EEAD841C372510F5674755")
(:digest-bit-test 54 #x10 9 #h"BA5231986DD760572FFD6EBD5D6ACB225975638D36ADF68075039789D2196AF4D517379AA36EFAFBF530919BAB821FD5")
(:digest-bit-test 54 #x08 9 #h"BB698D6C708DBF23AF90E1E64C55BC402064B2BE9E101ED19B42FD4A2F18DAD4CE94BF32C5ADCF6CEF7C48438DBED481")
(:digest-bit-test 54 #x04 9 #h"4B5E97687C779E700EF9F35F5679F8BD23D7229C208C95F9FA43AA553F0A3CDE071076507FBA8FABDC7A1008BC54B28A")
(:digest-bit-test 54 #x02 9 #h"7EFA7BBC978249E7BC00366DB5BDE54C59ECEC639CA2320114C876010F6D5259E0E8BCF3EFD5D2797D91622D133EA604")
(:digest-bit-test 54 #x01 9 #h"25F54B43F6B9B065E8F01C757B634C90203B9A9421725148E26AE47E5E0FD51687AF95C7650EA36F79914BFD050DD9E6")
(:digest-bit-test 55 #x80 8 #h"623B047E102DC3D342F63F7DCDA53F84CD2FE0E14D9186F6AAD545A91129797B018040BB677E157213B1EF3F55C22806")
(:digest-bit-test 55 #x40 8 #h"1AAA34084B2EB1A4C94C75C2A2D3CF4E500870FA382B7ABE15B28A510BB9510F807E41B54726CF81B667B2ECC4F29602")
(:digest-bit-test 55 #x20 8 #h"89E3B3B7762E71E426A571EB0A68567509729FEFD41CC916C7BB951BFD027D0D7B738CC58F0FA6B3E88E586741ACC50E")
(:digest-bit-test 55 #x10 8 #h"1A56C67C0A385CBE6FCD347A039E3D1C11FF486D461501F0002447B3866EFDC1A6088AA3E436F4952296645959CD59AF")
(:digest-bit-test 55 #x08 8 #h"28BF6AE8C3E22444F5BFE7439D9466A4633BA9C54EBAC9BD171812A7DC7AC96DD73E3797006B484B15B51FAB53729E45")
(:digest-bit-test 55 #x04 8 #h"66F647BF25F559B48C815CC0C40A25C42390F93C2BE9D029B7E44AB5659C11237A5A00F02188245760C536B7DFB764A0")
(:digest-bit-test 55 #x02 8 #h"10E64C44370BD7B8747D21FD6468FC249E87537DD0D9A16D31209E796E0E863D2D43F162704F8DF6B08D667F036A5346")
(:digest-bit-test 55 #x01 8 #h"975BBA8E0490DE5FB0A9EBEA0441F539772926EED07D64F57D2ADC4BB92126805882961059066D6C7156C825E45B7498")
(:digest-bit-test 56 #x80 7 #h"3FEA5D9B115909A5648DBD760A8F26BFB9403F600E8279F291FACCF757CA34A2A54855EC8FAC18A4BB5434548A089575")
(:digest-bit-test 56 #x40 7 #h"0417C112DCA43BD56643162920779D28FCF1E1B0BD436C51FB47EECBB58AD70A9939E87933CD6DEFC592D5226139BDD2")
(:digest-bit-test 56 #x20 7 #h"6287798C81995979BA110B39913CA58E112AA9D380409FAB68347D5A631054252B072E9A088BDD156653729EFCAEB1FE")
(:digest-bit-test 56 #x10 7 #h"A2940C2762AC6B1CBD53DD6498BE9908D2A20B97AAF6A61E783D63CEE30929EB70D71234DAA7987085D9C0151015CE29")
(:digest-bit-test 56 #x08 7 #h"CC1E2E7EBDEDA0680124FE3106C0CE5864BAB294C64F18FDD7033975A14BB8252A8949D609882A452143A62673ED67CD")
(:digest-bit-test 56 #x04 7 #h"10EADFE26630DF7DA028C669373410BAFB69842394569662495BFD6CB00B907E4D378A7EF7211705902AD59CBFEE91FA")
(:digest-bit-test 56 #x02 7 #h"A18673D5D56599D06D676522524648880070F59FC5CE6396D624CA5A994904E97E135BA6794BDA96DD979EB63F36B724")
(:digest-bit-test 56 #x01 7 #h"88E2EF4BE630032B1070A74343556A9533DEB30D80D118BA7E10E4FD768800BFBB84793DFCC42F293191EA2F6E088841")
(:digest-bit-test 57 #x80 6 #h"FBF28B63779A82B08BC56C0F64AF384DC53F0E91571F657F21EAA0B1DC9291A4CEE0E10511A59CE91C7CFFD304958EA6")
(:digest-bit-test 57 #x40 6 #h"1D2579E0A8B4346E99D7782078EB6492786CCE7DBBF07D2922D627FCB5DC3E10CE692CAE3CC3E4960A71C9323704AF67")
(:digest-bit-test 57 #x20 6 #h"D6AB1B4CFA6558B975826A70EA613DA689698096A043D4A1D7641663AD83C794B5A991822EAEDEB9AC2915F1F6C27B36")
(:digest-bit-test 57 #x10 6 #h"479AEF93493200E4901EBBED9329A2F7886158839E967F446BECFB104DD6C99358347B55690C054E203C30F43D604A09")
(:digest-bit-test 57 #x08 6 #h"4BBDB2B3CB057503FC5FF106E60E359ABCF43AFCF8E9151A2A338423D44D981DAA0D205A36E8550466EEEC07DEAAB64B")
(:digest-bit-test 57 #x04 6 #h"A4FEF59249DF38ABE07039EA73C13CEDD965CD6CFF1CFA76FE4607564FDD4D00BB0125F28B993D521CD2B78F832871EB")
(:digest-bit-test 57 #x02 6 #h"22123850FA79D76B380D3ECE62D761C94315D4D3250B55EB621FE096ED56DB8C77D275C37EB4520E8E7F479EE8742477")
(:digest-bit-test 57 #x01 6 #h"4AA443F1DAFD0995A8FCC15129319B353A40B7912F8AE0DA76F0749DCE62B3D09655A165763F524C1B58D9D1B9E61C5B")
(:digest-bit-test 58 #x80 5 #h"6E50E0C1B5A5B58AE348EA9620A60E1252364116F479A8076CF210AF0146B859649B5C9BF20BFF3253DDE90ABA611D22")
(:digest-bit-test 58 #x40 5 #h"28ABF78C68F2BD9F2FFBA49A16974161F490E6E7FE010B3E8C6D8F1988C63A62B3D75450EDDEDD37E6486E8F92309AE1")
(:digest-bit-test 58 #x20 5 #h"D95B843B96A7550A76E22335EA3A7484135950973D02184B425EE6866DC33A5BEA8F0A46898DC5DB21703F78E0D4D34B")
(:digest-bit-test 58 #x10 5 #h"96C4D77996BFDBC1FF5AA0EA47C899E4B32CE3E1D178110CCBB73656988DDEBE7880EB7AE5138D0F2A3AFAB175A44422")
(:digest-bit-test 58 #x08 5 #h"2F4576F45A8B0F7E9D86EE78CC7741D3BF9E0CEDA15BFF898D0E65AC9FAC06C4CBCD403980424463F85D5A70AAE2A5A6")
(:digest-bit-test 58 #x04 5 #h"56468AB2C83BF07C2B7AF251E3BA4FBFBE0DF602501250F0326F2CFBC787CF77A3C87D81B6BB63840F570D53E60607BC")
(:digest-bit-test 58 #x02 5 #h"44F9CB73FB751020D44A5967192777782231CB65B4B07CBEAFF78412F0CEB32E3D2C587E8A28948A94858BF8F7060263")
(:digest-bit-test 58 #x01 5 #h"DDC2C285173F55FD0C155F1D09A76B032A93021BF41D817EE56380A99A094548D27187CD0C769C44B85B381E603DF242")
(:digest-bit-test 59 #x80 4 #h"7981A30EAF3B919264879C2B74F4BB8BB7BAC8E5087B2E04500AE0F72E37BD586E6DE46F2F380030D6B1D638B9C5D809")
(:digest-bit-test 59 #x40 4 #h"CD5D50179F7468AD7B798DA40A850C9FB434302ADCCC36E8BE94F9462B78B14CFFC23E28E8006975693B273830556A65")
(:digest-bit-test 59 #x20 4 #h"FD67D2CDB061559E6687854107F27D752382606DB6C810557D1D4B348CCCA48B34F8D240E954ADBD2A3BF564CE9BBC02")
(:digest-bit-test 59 #x10 4 #h"609A0B3D153C0499A3F3BA63A724CBFA49A00BF049E4B66ACC65D8642D935AAEC2E3EFC5EDF2EF0DA9E265A451BD8886")
(:digest-bit-test 59 #x08 4 #h"D22FC8317545E2C58FB27FB222331C46FB4300C8D9CFD4610AB55CD90C8C0ADEF86762AA074B0DA495898297DBD14103")
(:digest-bit-test 59 #x04 4 #h"14F14D5D4AE77F93A80748C8E79E16C1904ADBEB4A9811EC609DF9B0273819E0AC345ABEEB5F29E282FD628F2E74FA9F")
(:digest-bit-test 59 #x02 4 #h"453C7F938A64901FDE8DF00D0BD1CABE019EB371687CA0007541866F03C89C0C7900E1B2EF8920F97A58111B727F35A7")
(:digest-bit-test 59 #x01 4 #h"43C55F1CB0DDF2B85322AAE37FC3786C150461DAEBB2FD5AEE0E4BDBD4C365E436B39210707AAD021EA9050264E691AE")
(:digest-bit-test 60 #x80 3 #h"62B0CE31A3E3B66B413A57A0E9AE4DD9108662D233403FA3DCD2A6135E0D9B95A5509FD72EEA90D33E193A97CA917A9B")
(:digest-bit-test 60 #x40 3 #h"458D5A649CC1830173976105C00B16511776113BD8226AC3673AFFD5161B7C25BD2D11BA10497D7EC0D7EF853B18E569")
(:digest-bit-test 60 #x20 3 #h"C6BA434EB837888A7D4C6122FEF3D652C0A166E1CF9F4965364FCC5583DF30EC3D2B604B3C122D4E5DBDA837D2A60D4F")
(:digest-bit-test 60 #x10 3 #h"A947BC35EB6B1F21E3C5DDBA72E1B2D64CE5A6C467D2B82B055BF356C024241D1DBC1CF63791C3F5430C144C26867F45")
(:digest-bit-test 60 #x08 3 #h"98846750A274934B855C6359FDAF9CBCBC409C8AC610B64A71448B1AAEFA4358E73A529740F870F99B5A0CD7886E6FB9")
(:digest-bit-test 60 #x04 3 #h"BBDC13A658F07861B4C7D0F6DA3A908385C953B07AD540AC35D404769026BEA2C82F47AF9083D55F04182C51F4400510")
(:digest-bit-test 60 #x02 3 #h"D0C366A3D84DDA8DA01F88DF12B6CD6D2C73E6148CC6A9E180DA4181B33F56DE8C6344F9BF2EC0931721277AD0038B4B")
(:digest-bit-test 60 #x01 3 #h"9943983F279FD61D9815FCD2CBFC38718F1126AC49B03520FF9A9F3EED8DB929085E54C3F97067032CC75D06AD06C8DB")
(:digest-bit-test 61 #x80 2 #h"C7FF6160DC30E9C666D8C51A802005DCF3C5826B355A9EBEE7CCA819798DB933D327093EBBEA4CA34845FC36B763AABA")
(:digest-bit-test 61 #x40 2 #h"AC542B077B0B54A37DDBBC2DCFF28C0A6DA52FC3F0020FA4FCB49A38F3B212A19C3ACD5A7811865DEE4CF4EB33CC9846")
(:digest-bit-test 61 #x20 2 #h"971A82F3325130DE0DF116B45C8AE2B3DE7CA28E5FEE75F55E02D7466D8F503A8864785576BE059D96387C01DEB0C601")
(:digest-bit-test 61 #x10 2 #h"11AF2743D9D26A35ACFEA0E9D0FAAF20CEA70A17846882E38EAF7B655BEFB69FA8079EBF77272FCF7FE53767C3DC17F0")
(:digest-bit-test 61 #x08 2 #h"1FD68463A66BAE15E59A1847FFA4712C4EEEB98B43463A78401F0551E6B6F467D4577AD1D36CE4D6884FD8E994932D9C")
(:digest-bit-test 61 #x04 2 #h"13B401050A3578925B886FA8DA78ECB5D01907393E8DD857FE61E4332D264DFA633B7323DF7B5C0AA3D441A06B92E33E")
(:digest-bit-test 61 #x02 2 #h"856F1C67FC6E64EACDAF0EDDE8C5A1213640242754E80F1F2C22B44AC081E2D447A3270A8B3443C731B5AB84DB594DB0")
(:digest-bit-test 61 #x01 2 #h"F0679E97D14E708E91E5B0DD23E881B0CA00C59AF517652C4C5D64921CCB77657DECB38A8974049CB35A99919B8036D3")
(:digest-bit-test 62 #x80 1 #h"2E0F72DB4F315E84977756126EAA3718AFA293CE60DDB6F671E726BAD17FCC409489C20509B208421C83BAD13E92FF06")
(:digest-bit-test 62 #x40 1 #h"2D221439F7B4FEAA8315FE160121DD0170202D25671EF7D2BF5DEA604203AEE3FCB217ADB7F867A77D37119729C29CBC")
(:digest-bit-test 62 #x20 1 #h"672846E82DAD7A2C1E18F4F84F698987FB877BDECADB7B64B1EE7C24A0ADC51BCE8A1AF39A5F219B43DD5111862A2A64")
(:digest-bit-test 62 #x10 1 #h"33DD69CC0B341F9081C69AF81BBC924DBC2A2127E1BABAF8BB231DF619DDA5A4F8B31FAC293BB1BAF76B5C77175B4746")
(:digest-bit-test 62 #x08 1 #h"641740439ED80545B1AE070891D7D98994C5B773B741C6D4C1A36B775B398E865D99FF99B292A21C8EEC629826CDEBE4")
(:digest-bit-test 62 #x04 1 #h"6748B53EE8C5A94428B99F784E95C567DEAE07A507A53374E311D8178424714E1BE696A9F87490CF5E30DBDD8A2672CB")
(:digest-bit-test 62 #x02 1 #h"5916D5001F36E15D3B9C2DF8081D1F87359ACE5AB200D342E50883D0CFF3DB51F92392DB4B761E9F4B3F3B0B060FACD8")
(:digest-bit-test 62 #x01 1 #h"1C5BCCF7AA8C7DA0CC04676BB9DB3100FEE2011D5CFC4A28EA2BF29D0AA4B7617D778EBBD1F18BB11FC9EA231FB41173")
(:digest-bit-test 63 #x80 0 #h"66C356AEBD0DE7EFE15284EF7F3900AC1150070E7C40A0670D653080E6E1C0561F05E43B5B54DC25AB3C02D1ECDAE794")
(:digest-bit-test 63 #x40 0 #h"3C92A17985D747B5247BF751F703942BE94EABB774F821FD52F3850E7E720A90E7EBD53DF372CFE616137EE64381F51A")
(:digest-bit-test 63 #x20 0 #h"76C8558DB248D60C5E47389BA1A11D285568AAEA4777DF43CB003B76BFFB8708AF8EA498A595D57B7A75C528355DF105")
(:digest-bit-test 63 #x10 0 #h"36B3A1107C5C6478B7925B947CF5E3B45E15C4A2B0BC90924132BA365134C02762D2FF4CD0F04DA0EDB32383B2DBB801")
(:digest-bit-test 63 #x08 0 #h"A9AEED8CAD8D2C60F32F94966AE67C7E79E6FEB60688A0EE790CE57B6555C2896534DCD2E23BBC9A1390EE2016D10C3C")
(:digest-bit-test 63 #x04 0 #h"2C1C3B6CDBF71D2F199DCF28E54C3C64A400F6B257804DC238E851D6F826255873247EE18EE8C97124FB2A070FE2B973")
(:digest-bit-test 63 #x02 0 #h"28496C250B56EFF5E650103B6487F95470B6FDABD2BA411847F636DEA7A7878693AF633915DA2EB1CD0CD8EA1DAA19A2")
(:digest-bit-test 63 #x01 0 #h"A81AC80022B3315A5251A341A9F5243FF9CA833C3AAF519282C64C6D3078901D8BFE6959D0E3453EB52CFA7AA2CCF296")