;;; standard tests

(:digest-test #a"" #h"CF83E1357EEFB8BDF1542850D66D8007D620E4050B5715DC83F4A921D36CE9CE47D0D13C5D85F2B0FF8318D2877EEC2F63B931BD47417A81A538327AF927DA3E")
(:digest-test #a"a" #h"1F40FC92DA241694750979EE6CF582F2D5D7D28E18335DE05ABC54D0560E0F5302860C652BF08D560252AA5E74210546F369FBBBCE8C12CFC7957B2652FE9A75")
(:digest-test #a"abc" #h"DDAF35A193617ABACC417349AE20413112E6FA4E89A97EA20A9EEEE64B55D39A2192992A274FC1A836BA3C23A3FEEBBD454D4423643CE80E2A9AC94FA54CA49F")
(:digest-test #a"message digest" #h"107DBF389D9E9F71A3A95F6C055B9251BC5268C2BE16D6C13492EA45B0199F3309E16455AB1E96118E8A905D5597B72038DDB372A89826046DE66687BB420E7C")
(:digest-test #a"abcdefghijklmnopqrstuvwxyz" #h"4DBFF86CC2CA1BAE1E16468A05CB9881C97F1753BCE3619034898FAA1AABE429955A1BF8EC483D7421FE3C1646613A59ED5441FB0F321389F77F48A879C7B1F1")
(:digest-test #a"abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq" #h"204A8FC6DDA82F0A0CED7BEB8E08A41657C16EF468B228A8279BE331A703C33596FD15C13B1B07F9AA1D3BEA57789CA031AD85C7A71DD70354EC631238CA3445")
(:digest-test #a"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789" #h"1E07BE23C26A86EA37EA810C8EC7809352515A970E9253C26F536CFC7A9996C45C8370583E0A78FA4A90041D71A4CEAB7423F19C71B9D5A3E01249F0BEBD5894")
(:digest-test #a"12345678901234567890123456789012345678901234567890123456789012345678901234567890" #h"72EC1EF1124A45B047E8B7C75A932195135BB61DE24EC0D1914042246E0AEC3A2354E093D76F3048B456764346900CB130D2A4FD5DD16ABB5E30BCB850DEE843")

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

(:digest-bit-test 0 #x80 63 #h"5655ABFC8D7999F5A95B943442B6FB92C95187FBDFC245CE31C18A53E9B51A5B05B6B6C21686081AC6F8F2C308B9E9321A32B94C89F73E6FFBA35201B02FB986")
(:digest-bit-test 0 #x40 63 #h"42BC8579EDB78B98EDCCD0258D701982EDA188B2C1F1F8109608CFD7235EF87F265EC4323F17433716C0B092AFCB30575CFFF4086F4EDED11EE44CE2ECB5474D")
(:digest-bit-test 0 #x20 63 #h"5EC5411C25765EDB2925147F8D8186BBB565B62F67E1414D7DA69320D82747A33D9FEB2838BBF559C93BD42C5900AA921A7CAE294AAE01D2240B6809C80F9795")
(:digest-bit-test 0 #x10 63 #h"00F5F5F323776140B2F03997C53DBB8B8CE8E65A06CB23C77B74170AE0C43E842A23E41397D75767D77BDB339C41ADEBC98B817728ED322B70E0DA9FE5AEC843")
(:digest-bit-test 0 #x08 63 #h"E6733FCCBF0AADFE888017FE3B2436212F17E14B9E1EBC37FB37AF749F3B790B0A457979F06A7D90AED913C2B05D98E99FB56D329748B89D1E4450F339674F4F")
(:digest-bit-test 0 #x04 63 #h"C5D6A596875568541FE92E61E308A38D8B2F0B7BD7FA34C3E49A32A85DFD3BA6552F5269A8EDCDBD46300018E627E09D8E62983E1B899A69B9496811C643F5D7")
(:digest-bit-test 0 #x02 63 #h"A4CDA617DFDA4AEAE967B26721EF0525E839B64B9C11EF9E5750925D59E46F89F956392A2BED94FC136586AF97F4D703E5C0B4C678E4AD4C047602DE42337A1B")
(:digest-bit-test 0 #x01 63 #h"FE8C073EEEAFABF2F6DF1E6A8DD833FB1356C89ACA150FF8C9FD37FE050073E249EC7D9C329762921D06AB0496C59B331E0A754E2DFE18366BC185885A26917C")
(:digest-bit-test 1 #x80 62 #h"D6B10118E80D2EF70B798EE0612695E8BE83694FF03DF99D673A9C8F320FD1DB910482C48CBE2829685617E03B70A831CACBF9D4708B70F5EC44244AC52EDBF8")
(:digest-bit-test 1 #x40 62 #h"9CEF1643E18DAB9560B7FBDCEC81BEF22D8EAED1219287E14A6F19B436BEB751E3F52ABBF23694CE62118245A595CF88918B7C7F6D5BB728FDB728C7AB9DFA85")
(:digest-bit-test 1 #x20 62 #h"ABC0EEB7411221A9B5D6029DD0A84A3B7F736A7229F85478B23A4816E432BDDE3B14B2DF5AE47FD374AB824DFEDD9BC7B0F0547D64BA847A2727F185D82B2970")
(:digest-bit-test 1 #x10 62 #h"BC3787FCD453BA8A6A2F3680633B48A1674F6BB7E06B0AC825ACBF3B5B252B43313B247C73CD09B8D6BE3F7B39FF2550AF9AA94D3E27A84C211F59A2CA87FF08")
(:digest-bit-test 1 #x08 62 #h"0CD70245E99F61E326F4CAFDD77E0F7C481487C44445315972804F0E0A57EC1AD3819303B7C13984349F7DA5EE4E9230B849C5595AF7E0538237469F34F92FD2")
(:digest-bit-test 1 #x04 62 #h"592934C289ECF5FBD8C0B8C9CADA466B13A07E9AB984EB4811C7C423F8B7C7C9AEB1D96933C20DB220947E43FA40D2F0754286E397A7BDB7AEE97918A6260873")
(:digest-bit-test 1 #x02 62 #h"4443368DE2561E0B7F4030557E080066A39147360F7AE8967160B275929644EDA7DB275F2778FEF3AC3EC28060C29171803E0A8D39B0CF65A0CBB18FBCD3986D")
(:digest-bit-test 1 #x01 62 #h"8963E44F2213058498D116E114690E241BF39250984FCB4D2FCA692C4FDA26F636ACFE0054A4CEDFA1A40F6442593CBE8E6884AC8D5D0D81A83AB8FB2BD74289")
(:digest-bit-test 2 #x80 61 #h"194432B1086B73704F526F7106E6CFD807F715085BC9E6518DCE4036BEF5CE1C53494EE37AFEE8D21577DFE9FAC8535659DB43336FBD842F784C98FD856D3F45")
(:digest-bit-test 2 #x40 61 #h"69332268608686EC7228FB03597020D104CAE3EEFF2FFDFF129A7A375DA660D2CB0A0C549861358583C6DD9B7E72FE306873ECA1416B106EE8F5E334B46CF105")
(:digest-bit-test 2 #x20 61 #h"24E867E1B0024AA1D0C7323BB833E3C5E9109CC4CDC1AC000148AC18810A1B1F3B7DDC548D003905DC8C707524CFC5DB5177167A6060757578BE969B5A3AADC0")
(:digest-bit-test 2 #x10 61 #h"F22BE2E5255BFA586765BB11F3BA6117089439F5B99290780716D783FD68A833785676A8CDFA7E8C465CE41FB861C7CACA06BCF61AD14749586D5874066DFC45")
(:digest-bit-test 2 #x08 61 #h"20C9ABAD1627ABE0036E607EA823FB5298FCFB85CD5A6446FC98D7AFA5189634D7D4A9B80707A344CACC9D9A07803A139230F8A75439E2E4A7B0B73781CE1039")
(:digest-bit-test 2 #x04 61 #h"635D9888A45B4534495E0185D272B485CC2EFED1EC4260A0CFF84DE8CF0CC1FF06E5A98001172938667335FE2543472793E617DA4AC1C75960FFCE4DA56BD69F")
(:digest-bit-test 2 #x02 61 #h"1DEADE855339AF4F4DD676DD127B871964D6D6B9693D38029F56A6FB824DF6FD3AAA3EDABA05B729BDD62BD603E1A1E4C32C24073670C0C72CAF8AD1126D095C")
(:digest-bit-test 2 #x01 61 #h"F13C5A443AD5A55ADCC4ABC00F2A508A0D49C163346D434BE5CD63F79B9E4AFCE06D8A2BFBE8A4695ADB0E6884F43E05B494A7EC7ECF1E2EAD3BEA220698D107")
(:digest-bit-test 3 #x80 60 #h"1DB013A5FC42EE92FDC4B1C845A7EB01E7177EB7293F9D313929506440CC0DA7743C2D09C271823CB4746FAE46DD51E8D77F5573D8C3766458961648E0D5775C")
(:digest-bit-test 3 #x40 60 #h"A55266D73830BFEA4BB8B1B95135E6CC6A66A8DC5B6E984F9D9BB4F480316985936086F7933AB30BA83E5F2634A9FFD3CB452C8A0A7B2B3715D995FA9FCE74B0")
(:digest-bit-test 3 #x20 60 #h"31301EEBC89F3E2EE284F04BF425989DA7831C0E547B178961633F825F725E9C0284BB64CAA3D3623CCC6BFBB737DF56B9B7AC754B555DCD5156B4FF0429F3AF")
(:digest-bit-test 3 #x10 60 #h"433608282DEE28AE46D61B1941C520B613F4D5366B91E915102A1B41EE75FC84D75AEC43C6CC68BCC7E6C093C44414A2D5E42747FCD1C70DC1AEA3548A6B3B5C")
(:digest-bit-test 3 #x08 60 #h"58722A82A78F3DC59ADE9AB4DFFBBF5EB10E8F49920A3C7B06A2591717EA41915425B5877EC857A34F5B53EC9A36AAFC930A4D9D4EA3BC361749A5F3BA6FA9A8")
(:digest-bit-test 3 #x04 60 #h"8C324E7E3399AD0F8669FBBAF53516B56E64892FFFD5ED6811D47436512A9F9289D17BE00D9F43C2B96903C91B435CAEF80037DB8C5AEC551D6FD61E4FA4FF0D")
(:digest-bit-test 3 #x02 60 #h"B9E916471A2957524B58D5472082693C5F64E86C5C02ECCA2BA1EB02B45A00164059D2D5CBB994F656768920A2C288DCFDE029CF401B560B1D6A5753A0441C39")
(:digest-bit-test 3 #x01 60 #h"CE8410C84A93A870FD5B81403A249E089556A2AF0B2C653F195F3AE7FA6C883F7AA2440131758A7273ECB9BE3FF64FB8C1EDCBF9A4A8A1BA6E167D75401A1BC5")
(:digest-bit-test 4 #x80 59 #h"BC098731773B0DA621D6A35C618C690FEA84BCFE8E4F86B0B501C44C8F13C6042E724A38F9819B05E06CA9341DB83DC3086C0F0C3C862F5920A956509608485B")
(:digest-bit-test 4 #x40 59 #h"46FA6EB4402E7815F8DA0A804C9421ED8BFD4D2E59ADE80CF17F468F5CC7363E6E3BFC7F0F3EC9323F09472916CD258629B3743EE3ADCF4B4F5FD8DD263D2B34")
(:digest-bit-test 4 #x20 59 #h"3D043283FD431452CB224777FD0FC906E76088824DA62E0CB1F499E54B0989AE1840ED861102BA68B59D083B752CAA8152FCEEADD814813494721EC844E4EC16")
(:digest-bit-test 4 #x10 59 #h"AF369E97A0DC14B668153141DE82EA1AE39F6DE2749EFCE089D306C6B2CAB84188D601210DD3843D879E8E7ED24EA0213702FA622CB0F972BB9FDC48E50DF565")
(:digest-bit-test 4 #x08 59 #h"517877D377E43763FB43AACC84E2276842ABEFBCD7EC903A327C3154640A461D6EBA6AA5147BC7E66A9A36196F19E7CFE6D4F9C8E81F07A896B04656F2858D48")
(:digest-bit-test 4 #x04 59 #h"D491E34BC9C7DA141AAB286CD807DA593AE6A6864A6953C05E233D564E18D73A851BD02D9969C615C9FC8E2805307A2D6450ED65845052ADB5A6FACDA7DFE67B")
(:digest-bit-test 4 #x02 59 #h"4037A8CD2C57CED0F9C7FA1D91919736650AB81BE3236CE17684FABC88E81C643476A26491A9EFBFEEA1C8C78CDAAC851E0383924D5DD5FF537CB384C8670199")
(:digest-bit-test 4 #x01 59 #h"6AA5657BD67860E4D151C2F6AEEF87DDA1409FF708010902631A9CABA4BBAF4FBD4822E18A06FF26C586B0FB385A770A4A2643F0010998D89B8FD8812AA907C0")
(:digest-bit-test 5 #x80 58 #h"BE9D7E52060D4CE12F3BCD2B727BF91B8FD86F20417079529A93044D5FD51D86D6B427519ED726DE9E70663E35CAB07CDF4DA576B470C9C2EF8886580D5BC9E7")
(:digest-bit-test 5 #x40 58 #h"F59F82AB4D7B8A20EAB4878F42E6E0F4D70B7CC74B1AEF8477747BF3184782AD95AD7F4EFE691FA1B2B80C3462DAB427E79827409182DF8BCE82124F2EFFB721")
(:digest-bit-test 5 #x20 58 #h"54AC5E35F00B7FEF9470CD01839DDFD2E9418C0C7C39A85FA3768D4DA5525116D62C18BD37428966DE14C7278F80EDF45395FD5723E9ABDFBCCC9A72F96471E5")
(:digest-bit-test 5 #x10 58 #h"B91B4550D9A0E98AD3532BC3FACFC8716C59B0114E298143D9FC3AA0EF4DCB0FD48D29C0B134A2281384250C3D94E724412FDBB8EB0B6D181436DA064CB8AE82")
(:digest-bit-test 5 #x08 58 #h"D252A80DA8A021D8E4454D76D20A60CBF5D8CDC3D113CC81D2252C4482451F2911B3F1EE328C3FD46D9C19E637539861C60E3DF68AC43F01DF6F3F719B038E03")
(:digest-bit-test 5 #x04 58 #h"6A139183DCAF8E19560592E816A534256E68CFD0AA7B23EC5CA25DE41ECA95575C5083A81213172E06A0BBB267D3236EFFDFA209D6577B78EFDA1D32281C2458")
(:digest-bit-test 5 #x02 58 #h"C6BB247DF5AB4BF9F75C84584C6232218C806776D79851890D1CE3DD8CF6F8BFD30F41649F55E3E235D631D220A93AF78604CB44E86B1C8C03662716A1B0BE43")
(:digest-bit-test 5 #x01 58 #h"4546E1966C6E8BABE90BAAC91893BAC1F7D52115129846470F62EC72AB0FB567FD6BC12BF33A6BDA3D32601B782D7FDF5909FE0B3CA9B7520386C28428DEEC58")
(:digest-bit-test 6 #x80 57 #h"4CEE07B1CF7D1BC622CA0F6E9F8C2270ADEF6B7533D1B41562B0869ED44A31FC9F5850729F252D34679EDA80D907578393DF463CF599673AA50647EE0BF9590A")
(:digest-bit-test 6 #x40 57 #h"5F45812F394BA485FF54A3ABE6D0DE2833026A53494540BF3B96EF447E8304942C252887A6E99CDC1946E842A02EB3B65DC472F047039582E5E277E428378E32")
(:digest-bit-test 6 #x20 57 #h"EAC178B95C05B87F17F74C2F962B2F2A21EAFB2D74C42B5FDFEB629CAAC2C48303729045083D294F49BD34F6163076C19C2BAC5760532DE769580651F7DAF313")
(:digest-bit-test 6 #x10 57 #h"E96936FC0C80DFC0A450970EE7677054D4B3B96E02845C76F61DE391CF4656A94CF82372F64D399C06AC205A7E9DFFC8D8226F5F1D50D08B090A74351320EF05")
(:digest-bit-test 6 #x08 57 #h"A9F06016E170C5A698E60BC9F5C18D7D250F9E21AD482FCBC5ADC980F8FED369E811A96A3CD14749C55A6C470B20479B3714214FAEFD7C9843533B8577BE1939")
(:digest-bit-test 6 #x04 57 #h"8704CDF09A0AFA5C2435982D9DDDA32CA8806F93D2B42785F108FC531FA1B9380BD5EF1371957FA9E7A4BACC43A7C30A635D33826A65D4E3F357F513F47EFE91")
(:digest-bit-test 6 #x02 57 #h"29FAFC3B92EE32C91A8D44DBB088E34AD0D80FE80C29ECF73EC7405C253E76FECEC89B00953492718B3B9E50697A5049F878918F601E65710AD3781E6C6503E6")
(:digest-bit-test 6 #x01 57 #h"583E692DB24C8249E33E8C39AAD66855BDDB461C444F174D5E05228C1DA300B6585CEAACDCAD148F884F3805D39471BB331DCDFE8F1AADDECCDA1C99366F5291")
(:digest-bit-test 7 #x80 56 #h"4C30BDC3CC0B05AABABCF2767BA55FD361D7CF57C31D8293F3EA8C913AA8E5489AE69AF017FCF2079ECFA3E04A76454F6D5409488DC546B499D57AF1B480082A")
(:digest-bit-test 7 #x40 56 #h"B70B73528934979D67121DE12B037ABC0E9A5220EE070BF0D96A93F7D6A927292B27137E289786F486A7B3598F5237115006AF28F89B95EFC1B4CBA9C088CEE6")
(:digest-bit-test 7 #x20 56 #h"7E72545E0028BAF6935E84E63027C02B2A88F51A3B44BDBE49E6A6BD9545D090362836781A0BFB10491EF5D1000E93F7D59ECF939C5E8ED6223BFE78F95E0E03")
(:digest-bit-test 7 #x10 56 #h"178B2D6722D2A84E67C1E300056D280351126B056E495EE167C466F7DD19F087948D5BD260F77C1630B33AF5F9F17E4317C2C25C20A2A31B60843CA54B93E82A")
(:digest-bit-test 7 #x08 56 #h"1A292525015EC06194E8FBF533E2AA9FC79E186C2A59423A9AE69A567001D3CDF21FFCC85F1DFFDE5CAE11F0F52560D9F41FB68E614F33AB0DE71F3D3F9B4435")
(:digest-bit-test 7 #x04 56 #h"6A547ED7C565B308309721F6F717EECD2DF3A919F9FDBB509B1EB2A9A138473FBB1AB9948270E8665CE3337C8279A44DC06A1E5E43C7E1852D42F1E24092E9B4")
(:digest-bit-test 7 #x02 56 #h"DF9F52F0716BC3E1B538AC289B216A1039718402C143A070F1E3C024CDCCF9DCD95E23820EFFB51F44B67A02354FC1823BFB5C03D57125DC6934D160893C854F")
(:digest-bit-test 7 #x01 56 #h"317E8E4A988383231CE409E458C146887D387025D4F0978DF9F90188DCF8F6932F2261341251FEAB5FB785EA749B919F45485E65B683C023DB4071CBA71AB966")
(:digest-bit-test 8 #x80 55 #h"F792B79EA61E9C68D3F9286EA564C2902EB8D502BD031ABD080E815249A56684F14FB27DFDA4C95E5D54FD609C2696CB47AC78323EACEF27961A410A0ED0681D")
(:digest-bit-test 8 #x40 55 #h"6A71C349BEAA6CABFC78FE081D106D4B5E71374DE108421F7A6908CE3612DAFFDCB01B36A8FF0FDDF72794687CABFA53A0EEF68C6C0B9696B3D5FDA7B238940E")
(:digest-bit-test 8 #x20 55 #h"5E95CD17205856FB1BBA0AC2B218E6D7D2E24E68263D6D2DF804574EEA0A6A343D421B2BC01B7A0A3EFD97EBB2F24FD1AFC6FC35E0289581E6755CAD6BE4267C")
(:digest-bit-test 8 #x10 55 #h"6118BB66961F2EA6D06E4DD15FC716D65E5310D40F1F1F154EC75C566E6DABE03D6F7215468AD20071166DF291C48723E0DF49D12743525162E6849D36C6FD97")
(:digest-bit-test 8 #x08 55 #h"A3DF1AA8271255AD932E6E481F0BD6F15651EFDEA063EEB1322DE2565D5D71E4F8035D8D0A41B56DCB9C5E20D7D04EED3D6AB35CC546AAB3A15EA62AABD40C92")
(:digest-bit-test 8 #x04 55 #h"0D758704675058AD73E2EBA2846E49B1654C4745A95A84BE227972E49C96B494FB894C9E7ED94BFD28DC53A710B0ADE9F38BE1C307FF459EF295C736B25B6104")
(:digest-bit-test 8 #x02 55 #h"6F1BD76ACC8D7B653646DBFD8CFAE6611AF1B5ABF53EB55A9592D98499E2CC64B73FB2CC978001991697568C42AC04CCA72929EE6013CE29F5A4F8558180FCF3")
(:digest-bit-test 8 #x01 55 #h"10F9B83FEA4BAEA2E10F5A0DEA4039A5AEA83101C8B6C41D8FDA31475692E74A8BD2D98F027E68A3A7F53EFFB7D81424B06689DCC594541D0AE90B175234110A")
(:digest-bit-test 9 #x80 54 #h"A80F20F7120E27F4F37CF3C4F093D43E98095547CF4F2506398A72C64855149C87A4E45A893C12107BBFAF0EB9EE9CC60FEB0D50E03CBCE2DC22EBB33C54F93F")
(:digest-bit-test 9 #x40 54 #h"079C824A9EFCE435F3F46CF78E24800ED06A0E203E6C4952042F4E0B8D737400A1CE940AA45D15161531132E9DBAFB7C5489C0DD88A8BA25892559FB6333248C")
(:digest-bit-test 9 #x20 54 #h"836F9D9AE1AFE1EAB3C2CF6A21C710CEE17A7BF4D2DA5CE85EE238CC88158B1800B9B328B2004FF92F8A4354EA6329EF9B6DBE63914F067D9B878535B5B338F9")
(:digest-bit-test 9 #x10 54 #h"0E9BC0DE2570AA4E99FDF4B45738FC266A9CBEB6B63C21CE357A5B71F013560454319F05645DB89D194FA2CC9BE4A227FB3319D76498C26E9D2A054875026CC0")
(:digest-bit-test 9 #x08 54 #h"137EB7957C2536FBE2E7B527EED8AFE6B880B98F1EB5BD6A1E4F22FC0C9E2D4C717C387415B8324B522E8CB1B6523EF3E485EE319CC76024D5330E33D479C70F")
(:digest-bit-test 9 #x04 54 #h"A8017E56C70DC97118FCDCC4BB72B1ECFB856E7B8FDB9EAE4BA959EED1A3F96B2415CF2913C471430318BEB4F53D74C1859BB433AF1C44E1328E7D62F867C905")
(:digest-bit-test 9 #x02 54 #h"96A7C5D1B56B4FAEF12A9D1F86ABE023EFC08376984AD5D37FEC2139E18080DA72394D3BDFAC9C03507DD2D236E6526A5A2EAF51868583B3562C6B0BB72C0C0D")
(:digest-bit-test 9 #x01 54 #h"B4F7072B8D5417FEE6C1A536C7165F99768DC4EBE66945D33B41DB8C08DEB9C19665F8D367546C00599808F64D4E377BE2408C5E49B4950E4F155FA017F79FBC")
(:digest-bit-test 10 #x80 53 #h"13F2075AD9DDD24B9E8284DFFA009705D957AE70DFB19885A875956F851C36AD8105AA35076DBF007BE385FE21253B68B2DC82C1B7783892CAB7986586283EA5")
(:digest-bit-test 10 #x40 53 #h"84B9ABE00BFBE335508C463A671D720E18156D0FB63A9958556AE97546575CC6CA693CBD29071B658ED08E192CBF210FB4EDA6D4DECBC79C173A38ECEFA46E7A")
(:digest-bit-test 10 #x20 53 #h"754C8292018BDF7F870BECC30E3D16594AA39A350A83110C549FEDBC0D0C8644AFDE23C29975FBE759BE64DFB0A2FE9D0F77E70E9EC099DE1E9ADF5FB8A16DCF")
(:digest-bit-test 10 #x10 53 #h"62B96F76FE675C9A2DC6F64CB6E345C5E7F05BB873EAF2B5405CC798324E906A56969DA6F349E952E928615E7007015AA5DA3F916646AEECF30096BB3F36DCEB")
(:digest-bit-test 10 #x08 53 #h"DD4A53ECA26C4450CD44E3040F3674F735710AFDFD43A06BF3A1CAD05FA5EC93CCBAE5F6FF2B9D2D13B6D7AA20232C096C1D5736C5BAB04E368FCCEABF3C37D9")
(:digest-bit-test 10 #x04 53 #h"B5B553B0C346C777B4482E1BD1573351AEC8A4DC7026E6BC89A752CE82A2DA1D0C355F13D056147E1D1F3128AB36D79898A4C56822730259F6D7C378FE6239FE")
(:digest-bit-test 10 #x02 53 #h"F96060F3BEA7DB387931A4062C451F877E3482DD5B8944392170F519D2D0187D40D89BCB4DCE3B5474E410BB89D57DB0F97214C886D6644E47125BDFFA403C39")
(:digest-bit-test 10 #x01 53 #h"410EA01380D0FBEAD1E9BAA17EC04AB382708FFCE3CD2FE173DD421A25C075F0B8676E05A93AB327C0504131CF733F8B759501FB30793C1093079D8FEF44A0A7")
(:digest-bit-test 11 #x80 52 #h"C70C3524311A799EB7B8B420A8EB53C3BC434B7A89A237F6E78D25E058C48B52BB148A484677D98DDCD33E577993FC757D646D83CDCAF7BE779E37575784A990")
(:digest-bit-test 11 #x40 52 #h"37373C2AB013AD9CA686E11C603C90ED1DDFE004810D94BEFCF7E5DF800C7135B345668FBF0753211B1903BD4EE5EC9BFE8298F62034AC470C4B46AAC82C17A9")
(:digest-bit-test 11 #x20 52 #h"1596CA087099718556E858681B2F0463A211ECE912C0B04E1234AD57479FBEBABC1281F5CBC1DB24C84E3A1A2B71B2FE924E7C520AF4ABB94EFF2D4848765E90")
(:digest-bit-test 11 #x10 52 #h"962DFB2E0223EFBB224CABC43AEF0CD9971CE28FE4202127E0958620C3CB0E829B8439F764D581A46ADA9D5C61DCE11122913AAF9BCF82CE9E4F95259D96BEF5")
(:digest-bit-test 11 #x08 52 #h"1E730B2913A1C3AC1934010FEB40A9A20C541A96EF48732CEF04AC1F934E0105AE6C7364C2A551CD1004D2B74C369F44E93CE893712E1F7D2D390CA87D13D7DE")
(:digest-bit-test 11 #x04 52 #h"93B0AE3E59EB59038AE8304D1CF32118B004BB4390E48BB3249C5EAAB63BF9B605FFC57EBA052BEE28DF02372AEB950C0DEC0BF696565E3A78BCCDBE998431C4")
(:digest-bit-test 11 #x02 52 #h"334BB60DC640E1081AAAFB7586776DB5617B1A9D4EF43752447FC649E374A4967239FD0C80BC9AADC952073762F3CAE96919A052E5303C7D05080B180D63EF18")
(:digest-bit-test 11 #x01 52 #h"54D0E5CF1B472DADD16D6F0B9244789C6E3EB8313EA954381CC91DA0E353E46D488FD9C14FFE82C6F331906DABDF14BB26C9D7DA438D46ACF016967E308A50C5")
(:digest-bit-test 12 #x80 51 #h"E2E96713B1F99AA5AE71A43CBB8F309917B7E7D297A0261A22D962FDD2C70652BCA72B25566BF19936F1F931A21712BA2264599DA3F583715F389ED43F5582B4")
(:digest-bit-test 12 #x40 51 #h"F7621D95261388DAAA9E6770185FAEE5CF37404867139F8E9FF34DA87416BD92CE1BB6BDC3A8D8B9E86878ADBA0D618B4B6DA12A0DAA201736DCD65ED365626D")
(:digest-bit-test 12 #x20 51 #h"03DAECB7B974DC832705B804B99C297F6B5ADFEA275F883A7105A0F2B843ED48A3CBC84C46CBD91B8F5E94C8E6BCCBFE5E973AB0DC09360E1CB58615499F1974")
(:digest-bit-test 12 #x10 51 #h"DC277A4EB33219E36BCB71AEA23D661B2F528A2B5AB764F1D544E78F91964768BE2919C851F634D2559B2D1FB262777279DD25DC771B625340A3C97B441CCA38")
(:digest-bit-test 12 #x08 51 #h"B8545F65329F09CBF558825835D66410AED2D419408128E7E1D3A0928E66896A789A8BACA18948ED53AD10329B3F840FBC029A2D67FA0401808571AC1D57A8A0")
(:digest-bit-test 12 #x04 51 #h"DA205D221492E719972FE8EEF6C7B4C2112B2E5E1E9436639A47AAEF5F501B98F99264C04FB6B144D093E877AEFA7CD651777AD630562F00C3C3CDED5E3FE453")
(:digest-bit-test 12 #x02 51 #h"F56A942AF828B650ABE35EE8CB0A4EFE348414C53C2CD4A825D901B15D59DD6A23F94C1E905944F0B577F28CC3FB5A47A37DBB82933A0672C4768D4B002FD452")
(:digest-bit-test 12 #x01 51 #h"C02984FFB17C5DC20A18C25C0DDA9DDFD5AB6212DAA7266B5FD5C83864435C7C4E647A10E78F442F428814EA8E37B976FC1E6156FB084ACA92B2B0C4B586A835")
(:digest-bit-test 13 #x80 50 #h"863412258D0B27CB635B7681236114FB6419A3A855001474F3365AA19FDDDC187530E29ADD8E5E336832E081EA5C3501B8FF23F4FA95DA40237E44074C942827")
(:digest-bit-test 13 #x40 50 #h"8565D9494D0359FD1397FFB7A059B312F13078F8D65D2A7B0F634331A7A5A02B5696D6F08600769519E90868A0E6CAD35CE1A2D62F1FE43A06A923DDBE69FE79")
(:digest-bit-test 13 #x20 50 #h"906AACF549DC26DE9389777D95AE8142370AC05D4E396D90B2C1A7B3AC46EEF722598AB82220C9FEB9F23B656424F2AB371F00F37EAF55321FF1DCFEF02CA195")
(:digest-bit-test 13 #x10 50 #h"59588B098D7AFB9391A3938E075CC3E9E2480D4A9DA74C19D6BB335309B2C240A2D7EA1D44903288E640433C0E68DE9B805134140E7FE8130027E49D94D2245E")
(:digest-bit-test 13 #x08 50 #h"68772602DDBEDAF865945081BC520EF82701FC3E5D3BEAEAABAECAFAF858626EDD65FAD14EC87379D0E71F3AB96A5E7235CF0E3E0C3217D2F19A19974F3A7E4F")
(:digest-bit-test 13 #x04 50 #h"6554FFEA31DC3DFA4F03F386D222AE79A82D018D65DF5DB05EDB61097EA1CB60B510EDCF3FBCE210E7D710546720281E3B1BCDF7DAAEFB780A18C94D896954CE")
(:digest-bit-test 13 #x02 50 #h"DD490D8A2DC613770345E214B3B393F36982026DE99E969283590BD3733F77E17F1B9CAB65C53192E84D8CF8BE6BF4AD882D3C75D197B6CE1CDB30C36A76C91E")
(:digest-bit-test 13 #x01 50 #h"341AF3110642F4FDAEDB78F3271DEB0805BD168004FE4A40D636A348B2B6929F06C4D6954B3C18DE9483E24B0C25D321B7FFFE2B4AC64FF5FB6AB60A19A3F84B")
(:digest-bit-test 14 #x80 49 #h"AF57ED6DC403831BA733440C6F0FDA0966FD8574B23543163FFD2A5E9C80965A50DBB88B8D205FCAFF4C3CEA946A28B7224517A0A9E19A3C325AA416E9723500")
(:digest-bit-test 14 #x40 49 #h"91AA140B77AA4F4E7F982E8797B915073C4352D51B78E0DD61CFB093E03A6A8AAFBDEF4ED90DC1FDDC612E153E55510690A9AD0F16B56DFE7C005083F1E02AE1")
(:digest-bit-test 14 #x20 49 #h"6352DE86D04E0F0D029AF15A1704211AD6C555C479016A97ECD2F82867EEF3F4171B53094A5ADAC0A10FB2BC2B349025032EE8C54E6AF6A0D9416FE3F527D908")
(:digest-bit-test 14 #x10 49 #h"4EF7AABB010DD69F5DF3C30B517F5FD1F493847C6A24BD07E8DD87F6777305AAA3EF20964CC5B8381A04C5704C62C3EFA827A5F5C51A88D92918779DD7C1AFAB")
(:digest-bit-test 14 #x08 49 #h"F5B916BD19D3015EA7215730183915516F2B80BD2CDEE7178033E9228FF55A9CDA9554EEC39D98221A6651909FB28DB63105CF8B1970820F8E4CCB8DE3FE7344")
(:digest-bit-test 14 #x04 49 #h"D7BD194724B350AA3D6B81B8137226A46FCD4616A1697C075D2CB06E9227C58BF892A77C0FE5DACAB5BC409023ECC84B0256DD1C9E66E8AB83ADC2E02F0367D9")
(:digest-bit-test 14 #x02 49 #h"5E7699798204C49D9E17CC4AE6DF5A5276AAAE80D85192895112FAB1F881BBB72D21476CA879AA782CBCD1176F82C88B3F560621B5A634CC6CF99D0DA8519A30")
(:digest-bit-test 14 #x01 49 #h"745EB4EC72890DD2BE3647E27D193893EA70F77F35EB16CD8AC04DB9D11465C2A1E017E3C2D2995BD6035E50F7718A68AA933CB48D9E94EC4FF55F7EC3923947")
(:digest-bit-test 15 #x80 48 #h"B03C3EF9CE7EE74D408F743A760F1A245F69C38B91D5CE505030347F5500BFA323A3410270AAE397AC412272D444ED37A7801B042622E4E5DF426EF080CBBAB1")
(:digest-bit-test 15 #x40 48 #h"86376FB303CA23D58DB3CB4CF2C56DA01F71E31D2852B5BCD000F47708EB6617E176E6B6F03B9E7412B3FB4047C43FC78ED67E3A5C8896108B28E452274D9533")
(:digest-bit-test 15 #x20 48 #h"C836ABA578A8F92080E0AC9276935EB5D95DE1EC7BC11CEE38EFB1B96E08CBD4F88163083D4E2F3E3DCF740A1C9BA87567E8C47BC2DB565898D381606D1B11EB")
(:digest-bit-test 15 #x10 48 #h"B96F19DF4F89D25E022E722B1E4DD82F562A7E27EF7885AA77C2DC66737743B7E7BA30F651F801B23C7CA13729637D3AEBB797A13A1CB3C38F0801D1A2C02BE9")
(:digest-bit-test 15 #x08 48 #h"849F2F8CCE9EA8F5DB7F7F7B433ED87203EE7BCFE5EA9FA3BF469624F0FCE5CB2F7EB8436114F4CB923C8C74CC53658C45A6AD74C06D55E04D5CF29FC8BA6C36")
(:digest-bit-test 15 #x04 48 #h"A9914B46FC89FB8126A584BEEAEE96A93B1AF44CF920DE0BB3F4579BC968D10E32E4F8A5CAB3238F6F816F9E86867D56DE2B28D49A4D7D0B8B3A76FCC5A16052")
(:digest-bit-test 15 #x02 48 #h"87776D0B3B2C0AF07E5B031C1F54465EEC75081EE184840E95385F36E9158A204B0E579F0B82CD5CDF4589DB760C3CE75293A56CFA47BD8E335F39FABE2DD84E")
(:digest-bit-test 15 #x01 48 #h"9279549873C35821887EFEE9B5E0678A2E9E65A2FDDDA959673E56CD1F364F19A716B587C96EA3D01B64702255BE0ED59133A9EC3AB0D01AEA0751804676DEC9")
(:digest-bit-test 16 #x80 47 #h"BF9D283496CE68D57BE0BA7F9621BE6F811938F4455226F0D8E31A2CA5064DA184F953C81E9AA997D551C6051BA1201BBE0508570F900556B4E32CCD2CBFA3F4")
(:digest-bit-test 16 #x40 47 #h"FA23021EBBF748CA7743971D7462B2592D3DD5FEBAF84AAB55387DA6C1B11CDC8AF8B3DB6278BD1789CC4D05D4A880ABAF9A3612705624B33F766BD241736254")
(:digest-bit-test 16 #x20 47 #h"29289ACBD507DA466BE75A7F3A8F7BB202A75F585CF80799CA815FBD9D3FE10212B0F185AD5194B1E167030BD71D2E3499DBD959C51BFD85010644BE7F717337")
(:digest-bit-test 16 #x10 47 #h"1E53BE33EFA614DCAD5A81758A5BE9D08AC56A291670418E481383512187E45EBF47EF44F48B3BDB4F254CF9A26AB829897D39C5EEABBAAC9612DE2A45C01477")
(:digest-bit-test 16 #x08 47 #h"1369D9004942C009ED238C617DA999CBBED78F889264FA1A8B2FDC33AE8B9D79B824C82BA72758E3ECDCD304F68B3C54A6FAF39B0CC892048FA7D2DCF2E190AB")
(:digest-bit-test 16 #x04 47 #h"D3BD4B8A3F606E7D30DFABF4FEE280EB3283A0E181D3044E2ACB7E743F5F06B48572B72411FA2302C60386442272A22E56CB5A77A5833B441D3019ECBC67E4D1")
(:digest-bit-test 16 #x02 47 #h"FA1D2C8BC2B9EDCA939B067994439029386316D8C6E7E6DEAED213CCF9C3A63577146C72EC1118506084A88C41EA1EE06B9EF02262E65E5C1ACA2834D434C9C0")
(:digest-bit-test 16 #x01 47 #h"9477454A6AAE17F710D47636B328EA43219E8118729535F0B1D97E7E956F13AE54340D95D64DA120F555D92F690967E918F70A12BD34C1C1A3406D3CEB3CE926")
(:digest-bit-test 17 #x80 46 #h"E4BF4EF2A69D366BC71E4EE013F6D30DBB5AC3B5139BC62AEF7CBEA74ED074556FF0A87294B797CB1956D9E90BA49DA627549FF9DA2763E0E0EDDED3DE575499")
(:digest-bit-test 17 #x40 46 #h"21ED29152608DF4394E558B17215E8428E97D1D6EFDFCB1C650EBD3DB31F0C8E747DF738A2DFE996B25C512F48EF759CC81D83A9192611CC505C4000E89AF285")
(:digest-bit-test 17 #x20 46 #h"30C8F1666BAF5B56AEFB259481B9C366A25734018E4764F0EE902D1015AE4EC7EBEECC1D1D15FDACBD8BFF3CDFA36D082A6E8481A53D3BC3FB011906E127BFA0")
(:digest-bit-test 17 #x10 46 #h"25296D54C91266655B46A980E0FFE1DD2EC4AF32AA9BCD0C5206EAFE0496D87868323B0812587C3DB12E248B25D828BE519F95031C09D14B2189DB6DA18109C2")
(:digest-bit-test 17 #x08 46 #h"DBD71BC5D9FB9BFE9C7DDB0A7B416ABA3FAD1B2896F57DDF97DE7395E465CE1326428A3A508E0C542678CF97A20A329996BF7320062CB1B3E6C7D3D97548D7FE")
(:digest-bit-test 17 #x04 46 #h"F81B5DF074C34F3F379C8DAD0D4417D0397B17B15B71845514E5691A3F71134ACCC7A369CAF984A57D42237FD60A8BD5F95F1D1EBE6DAB4166912246D760ED22")
(:digest-bit-test 17 #x02 46 #h"76CC936B0FD7F0103D6877811F66BC86C86ACB5B017CDBAA56ADC0DBF80ED2313072EE2BD8611664267E1275B450625CEF58D1D11ACEFE95FA0F8D42A0C0C7A2")
(:digest-bit-test 17 #x01 46 #h"D8694515228A6AB322CA9C6301EF27A715C2297ECFFBB5F96E3A21759E93F2499E3BB2BCF01071A370DDF314F89404F0B9060FEF581605CE4CDD888C112316C8")
(:digest-bit-test 18 #x80 45 #h"8626044B39BA1B0E500BA00DAE208DDAF9D8FE39C8C8AD7699542C6DEC20AC6F1CD5D93F43C0393A1518B837E85BCF014C4CD6B518949F3FBE6A088F8D0B7028")
(:digest-bit-test 18 #x40 45 #h"61E5B0AE280CDA970119902A76FD53AC9549C4374EEBD19A20B60F9AA31B6313C542115E9C48A7B851DA8AFD4D620A34F5623E05CBCCDD8C6F44F0B56144437B")
(:digest-bit-test 18 #x20 45 #h"F89F5ECB6B754D94C98F99A0F8251667BB9509DCAD9766E951D143DCC9F7428DFA2DE59736EAD010988BAB92ECAE04AEAE00464FBC26B833B0EE58416DF3FD90")
(:digest-bit-test 18 #x10 45 #h"DD840D389C0ECA2727AD8F4D7F25ED53803BF2D28B68BE7BD856F0F3F39F8BABE75122C08571332493BABD756804CEE5434F34FB6B65F1D20A61CDD854551185")
(:digest-bit-test 18 #x08 45 #h"EAC4A4A3A9B65A1D405FB084FBB3ED8E85D9257E1B6A4421818EC821174B9EBAA65E1E7F5FE21E0DB067A0F1A6CE4EC053565D3FB05B8433BA4252C600B50E6C")
(:digest-bit-test 18 #x04 45 #h"73E3108981D23EB265200FF4B4143CDED0F154DD87C167AF64871001034DC4AF2FFEDEE89EA3DCCB0A65A0D43C62258736B3DA1CCC7A1B38F05CB3F61DA689FA")
(:digest-bit-test 18 #x02 45 #h"6057DC6FD91691E8179ED34A9418368DBE63922D01DE336DFBBC38FC97969EC50A4F9747CB052CD1C5F67E42906E12945FC326A3E25F3B9FB77F11EB99A4EB44")
(:digest-bit-test 18 #x01 45 #h"81610EDE3101E07BC04D19A1C49EF9D55B5AE5F015BE2F8B0F56B74652EB0E2D2DA0630849A4D1AF75A36540D5F83F40C4EABE47883AA5604C4A30A4A5203C3E")
(:digest-bit-test 19 #x80 44 #h"2F4C76C7058641DAA9F0AE886B37B5442E0E85CFC420C01B6B6B219B7CA6E152660EA641A734725DE618D68AF634F0309144D52CC30B05BD165A3FBE041C5285")
(:digest-bit-test 19 #x40 44 #h"CC835A85D20FCFE069BDD4ADCF58D1222A2AD82E940CED91A159B445E294BFF787339DC2C4B8153BD275ABFA921E89A05DDC794D31F5DE81DB58BBE047E8EF49")
(:digest-bit-test 19 #x20 44 #h"D0B19DE7DA4A139744F21780C59D00209073C662DA7182AEAE0EE5BB3087281CD222E7FBC6C4E1C27C95DFE3F53A6EC34EFBD23BEA49D9F6F96B516A520E5C91")
(:digest-bit-test 19 #x10 44 #h"520F4C20064A82E585A7642E29A397AA65680310ED7B46A5CED1D28FC1D12093D24CF0E052A0F7F827A093821F0CFA8E425FA6E856CC723BC9D33E76E99826F9")
(:digest-bit-test 19 #x08 44 #h"9BD10A14A255272A05C51011D5612F8DEBD0849568F625575F864C82B501AC39014063BE6BA46D49F8F82B35A6F91D32E1913A7CB0D4876869E5BE568EFACBA3")
(:digest-bit-test 19 #x04 44 #h"8DD7DC36620A756A16121E20E3DB1A6ED2819BBAEE6C26D57ECDE2D06B07D459E078B181755FC82996E5E6486F0D7A03BD2AAC9E19C003CFC0C723905D45CCF8")
(:digest-bit-test 19 #x02 44 #h"08AFA05C9C3D69E8A5EA467AEAE281D5ED841389CF6047CB031AC99EDF315C30AA15D5A19DC1C830C82EDFD931D94688ACD420B0031216721987FC102AF8AF4C")
(:digest-bit-test 19 #x01 44 #h"2BAFCDE165557C3D4A90AF9EDFA7F1B1A200BA9B29F8CE107548548F4C0378AEE9696D96C613B63815FF7E473AB9CAC5E997E49ED92BB7DC4DC4AA34EB90E693")
(:digest-bit-test 20 #x80 43 #h"C02A79C4AAF5F1D3D788E341804C10E2CA00591BEA76DF8C8EF0EC24002E4E263AECC063B027B09023F9F0239E0FC381F3888C8CE79A174A965C3164A9352A25")
(:digest-bit-test 20 #x40 43 #h"941F813A91744E63FCF63E12D8C7D23933E39BBEF6362BFEE1ED22B59DB8D6D0B299D5C0D0BD6F0B2C4D85FC5C408D530D80A436543FC7523CCB8A5A21450D2D")
(:digest-bit-test 20 #x20 43 #h"539508801260ECB9B69208A4D7D4FF94F084D4EDB22F8A093544876E3446921B051BF90DC8AC14C3063E8BC83EC156AB4BA981AF48C9D1AAD93CD1C168F4F76C")
(:digest-bit-test 20 #x10 43 #h"B0D7D3F695F635F0AA703C6CAE9CDEF8DB1978DD94308261640570B7668959E881E485381BBCDBD11FDCAC43B1361B6F9E034C49AA4508F36750A9A8AB89D60B")
(:digest-bit-test 20 #x08 43 #h"04AE947B794826670295C2934673CF106DCAC1F1A7FF1D072189CA89D8674B39B581473DEFEDA6482C67D4DCB43E152A4A58C8BD706AC23C9483BE52A4CA7886")
(:digest-bit-test 20 #x04 43 #h"CCB6BD383EFE67AB7AFA1A56BE6409E2B97E64202E098C86B52CC6A549E71BFC08FB6702E0BCB2D477D8E3A25888B26597CD1830C97F3DB3EE421E8DA9A078C8")
(:digest-bit-test 20 #x02 43 #h"ED3AAABD8312218E061D254A9C5735FD2FC9AB94A73116AB5D17E3016A029481591F52564B375E2521F024CA78F645E21CBAD2AC2D26415DBC3BCB78F57918E3")
(:digest-bit-test 20 #x01 43 #h"DF5C4986627C34136316AA1BC29E5313F6C6C6DAD34A6285059E5A78E8781EE45D02BD671F9C2AD67E392BF1DB3CB2576E34BB14535E7AAE11E08B829AB664D3")
(:digest-bit-test 21 #x80 42 #h"DB84D3900FF2022D8EA2375B0353C7B4C703421F0DF300FFB8A341256148F7BB47EA125641ECD7E8A4FDCC36E5234333260AC00E9D0DAE203708C97C55B557F0")
(:digest-bit-test 21 #x40 42 #h"E344499C150BDA67358B7B4C2BAB307DED1E983A1F0266D21D36F11FCFBFC844E6971D22086C1154CB14567F087B158EE84E095A72D0870462A9D2EB86F59672")
(:digest-bit-test 21 #x20 42 #h"E3ACE0D37FEB6C91212B2E9BB657E93EE49CA8AF8389E4506F8419E77AD250D65FB30599D4F8CB6AFFA4BDF86051F283218E3516AC9F203B78486646834A86EF")
(:digest-bit-test 21 #x10 42 #h"C9615A28F980C8F5A47F2FF5A3822486D5410278941FED3F5D32F148173D1427DE050CCBEA98A2F4953C94B205FC5E1A4FECBA2BF0FC9E7CB4060C36FC433DB6")
(:digest-bit-test 21 #x08 42 #h"EA634E6810D84B85C1310C10E51BEB849B347761A8CE694FD3459177D97DF21D9007F83B640DD4359A347CD531C3E1FB215B5FFA147A81A8770FECBBABA417C7")
(:digest-bit-test 21 #x04 42 #h"4AB000F08F3207FD45D324FCD9B08AE6A2CD468B5B7C16A1300A33674635A545084AE309AABE11CE9DC7A8101E9BFFF2D58B7491204C4CE660F20CF8CD399FEF")
(:digest-bit-test 21 #x02 42 #h"7CB620C04B06D2D4822273E39997A69F920EFB023D0AE1E8EF7F58341E4E2F3E61DF103E9F7DC7352BF83D660FC289A19BA106A41F403A7F8E315515410671FC")
(:digest-bit-test 21 #x01 42 #h"28D14C2C318179E3CFE7443AF4B68095DA59257B92E6F1D583D2547FAEE8AB67FEE97498C7C86DD878C0E1B6CFF0A29AF0877537485576004A011989C94DA5F4")
(:digest-bit-test 22 #x80 41 #h"50640B82534C91E26837A6FD897554A2A57D8FA0704E7B30A1500814DC0BED065F5BCB2A1889F9E51E1C2057CB6C47E75D3F9A05CEAC49B1AC4DE5F1D378E931")
(:digest-bit-test 22 #x40 41 #h"1621B5851F3BBDAB79826C396E90046D7A186BA2BCEF025E741A8D9B88A235E56047BCE2362C8DB708250E13AD32C05A40BE5AA67F623C66A4D5AE057A741604")
(:digest-bit-test 22 #x20 41 #h"F9F29A2243F87621820A91DD4012FC7CB4A69EED87B8CD51694721DC77671805A794E4A5F0B7150ED8C40DB726BE6D21A06011847AE747C020EAE982D248EAA9")
(:digest-bit-test 22 #x10 41 #h"946ADA93FAADB9EE82AB31A84ACA89AA2291C50F8136F964C393E0CCBF61426FA2A15C371CB8C7FDAD8A74794EACCE58927862D4014BF0801A691DA4BE67C3E0")
(:digest-bit-test 22 #x08 41 #h"E672C1D573D9C0CE68EC43D8978B31C6749C74B11F8AEA20416C25EE6704028F4B064846F646AE96D2BE19A5E22FC1DF0FB370555D75DE8659C9D1E5B9E31593")
(:digest-bit-test 22 #x04 41 #h"5827A6609BC59E41537F03CC553977217A511F5F290AC4868CC44F13B931E42035A601E9518A411440F3BB2636528F0176F5451106DF9D70D6B647AEB2288515")
(:digest-bit-test 22 #x02 41 #h"4229814073DCC716404769BB0B6513907957FB20B9D7065D38E5B0A2BC9D6C4F91A5E28362EE5C715A88FA64D2AF6F4D9444405D8F43740A269A5041B5915E46")
(:digest-bit-test 22 #x01 41 #h"EDE334FE9CD0A10EF50213AC4AD476A743A794D53679638B0A0F82BD685D5536D092B4889268B6BF4BFED30C7D4D61168714E71DAA8CC2B2297ED0EEBA39AFF2")
(:digest-bit-test 23 #x80 40 #h"0CCF05B3063E82AC3D80FF5CE4A2577B5AAC448EA33A41A8E4AF02A32407BBECAABEE027E77B3E8823B67995F9D3E605D40F4163CF749BE0F01BD5C12F565121")
(:digest-bit-test 23 #x40 40 #h"7A4FC6055A2DC9F6B1573D93FB324AE8ADD73419AD6889675C2EB2DE33BABE623BC0B68DE7E90CA0710EA999107E609714D389C293AB110232812C61543CDDB5")
(:digest-bit-test 23 #x20 40 #h"115189494BB34B5E938F0D4DBDEB156787BFC9840CCE1435FB849DC679D591A1893D006E741898639BD59B924E71118460C178BED113A41F69F8B8488EA453C0")
(:digest-bit-test 23 #x10 40 #h"783C39338C56B775469C09764D2E7F6D6A3C019DF15D9F9896CD4ED897022A5031CF4608457C03A230E3657D910AB164B7577F7BDDF31913126E5B3BD780B677")
(:digest-bit-test 23 #x08 40 #h"E8F01A9600E4774D83087135E4A433B9331F9603AD0B6ACDA7C2CB49B50B1E7A134E53EAEE9D3CFBDC409BC661C76EC78C8D231337F6A5C4BA880641AC01F5FC")
(:digest-bit-test 23 #x04 40 #h"E8845C959980E1AA7E32BE77BA0065DD0D78543986452E97A71C27CBAA53001311F6C9AAA08A81C9EC4D5B5AC1895E58902C5093B0DDB9D4062BF95CF2C1B398")
(:digest-bit-test 23 #x02 40 #h"9DF0E3E6909F9C71F9E3BC6CCFA8DA8B67E3CDEC918AC41C5172A737AD07A8A856C5A5C93A933F758804479DD0FF72BAC4463B8A1319DFBCE1F30F83826AC562")
(:digest-bit-test 23 #x01 40 #h"55E12EAE38C674EF1B8B118698E0A59F7CA0B327D3C7A1F58A334B4F771F8D73285FC033C8DA3D5564223D2715785C3E617EBEC90C4A5085BB8884CB92E38CB3")
(:digest-bit-test 24 #x80 39 #h"020C67F9979C4495892DC0C8ABAD9C7C4857DFB45F5E4E7CF771E1FDBA8845360743C13E278FCD167B419EA6F34C49605A2F3471C6E5133147F721DAA953F07C")
(:digest-bit-test 24 #x40 39 #h"1421D557FC4CE230E31B7D5EF77AA2AB0D5DCF4353673E6EB25ACE94BCE3692F1D8332C9C8CAEFF9940B1FB10D7B859147E695B1F986274FED017569222BF785")
(:digest-bit-test 24 #x20 39 #h"2000610D0BF5027F6C51F7D8ADC88EFCE5E40E597AB2ED8628885D2431CA43E12B49643C108620C81847B384762BDDAB69108F33A931E2E8E866C62B656C8EAB")
(:digest-bit-test 24 #x10 39 #h"7184848F9FF009747E6061D0A06B6E50E71B292231676CA83B892057B9C2B866DE22B92349C0D752E0C8AF9DEB557CC099855CD8D98164776643DB70330FE241")
(:digest-bit-test 24 #x08 39 #h"89D3574AD5ED03886A4A0C8DD38D33BC70C9ED33ADFBEDFE8F0F1117CA09BCD9EAA9E17CD30E3747283097F8E928908EB5B133704EC98D01113373BEAA102171")
(:digest-bit-test 24 #x04 39 #h"1F38E3A4B1399022D1B820662ED8E6E2CAF0AC57C64FA550261E81DD15109E8F0243591AFE45AF535C5115E671FAE7B6E6C1FF5ADBD4251D1C61B603ED65BD4A")
(:digest-bit-test 24 #x02 39 #h"534927869F795E0C3F3C1998FA321B129F2D6131A1162D7CA97BBD04E60588C47703D025660499079AEFABD64D8B57320D2F7F5EE192EC61F26AA1B5BE1C3C77")
(:digest-bit-test 24 #x01 39 #h"7A90DCE1F0FD3CD6DCF6181529CB3963E7B236608B59473DD46AEEC028B65912E0EF38414C3160803926C2CF866782B81FB817D579D5273F6C8AD14AA44055A6")
(:digest-bit-test 25 #x80 38 #h"18676B78C52778F05146108A283883395519934D3EDEE2881CCA84463C3C70543A44EB61877EBDE36C148325E50AA678957EA1E7227063C4CB1715FCA199ACF0")
(:digest-bit-test 25 #x40 38 #h"C1F19DD2DA72B0FD70810F3187CA1C93890711EA1CDCE8E9195E639BA1F744C1F1EC60C23BB699E81B59F7C7986D1F4AFACEEE62CDD38CD8B7778801D0771FF7")
(:digest-bit-test 25 #x20 38 #h"B972F1BB739BFFD97100007E3207CBB1ABBD42F77EDD79BCE380683553990208795B584778129A79D57A853A88D33521D9E93773E0B9DFE9A0A484BA5AC4FE2D")
(:digest-bit-test 25 #x10 38 #h"666FADB30C739E193CD2D5F136B6FF3086120460AD55FFCDA1FB6A3345A9A3DE75DD281496A4FCBF198BD65BBAC95B9B7F3389A3AC4493571B1E783491CD5269")
(:digest-bit-test 25 #x08 38 #h"DD69E6BBE29D7680A5A2AF9EE6BDE582E5E3F78FA073DA85D35B12494D668949DF96D6F4EEEA11DE4BA1A9E8683B084AA587A399995DD06A4E48CAF69EAFB3E6")
(:digest-bit-test 25 #x04 38 #h"A647E76A134C82BCEC42B041B2684AD2BECB1787302F0AC40D2AE8DD9B79234DCB4EB806DB62D911EB6111703F3900F7FB34F5286C4DAE8182966CB6E4E655D9")
(:digest-bit-test 25 #x02 38 #h"53DD1AEFA4EFE5666B6A2350816FFA350C91A9476AD07C782ED05CEB9AFDF5823264A7A54BA9F715F0511AE10FF7BCADFF3957FFA10261C7497A03230D436E77")
(:digest-bit-test 25 #x01 38 #h"CBBD9BD537F1BB8D0780FD990E80CB9BCA7715677E1E47A0DF663D2B2BEE9282F3A62D6F5ED98D68B5C837F83E5A14CC555C8501F0AED8852E81903F528CFD07")
(:digest-bit-test 26 #x80 37 #h"6AC0BCDA220041BB80C572113B10AB6007E4EF589B33889570448FDD4F5E7E9C54B07AB8243E8520B0CDA19C544A220F13A9537EC344673121F5AC6CD8F4CFE5")
(:digest-bit-test 26 #x40 37 #h"D31980804A1844CEC16A6DE8339290E9D4C296CF5B36B6ABB19845C03DF4029D87DE62F0A40BDADF59D4D91AF7FFF9BA8B43213CFE89F2F3706D4C88225795CB")
(:digest-bit-test 26 #x20 37 #h"9B2AD85D3F626AD317BF90BF585B876A489E8DF473EFA6F636BB1A51460053D4732FB0AE8BF398F469EDBD6EAF018AD8346A1B4CD659728BA3C79988A3F093CA")
(:digest-bit-test 26 #x10 37 #h"9A2E0D4F9448814DC53F2BE24B56F67839038D6F58D43AA43FD08FB05F0187A02DA270215C76762816B1CEAE415B62AC1DFFB2C929B609E764056D86F9173871")
(:digest-bit-test 26 #x08 37 #h"2F2993ACF833085E95D021E5BF776436CE219B8996A83F181073A3BE0627D01471571E8AD29A2D6E752253F3637F0BD627FC1FEA7C401EF2F6C9E5EC0AD19FA0")
(:digest-bit-test 26 #x04 37 #h"30BCF6D1A8B16E38AD61CF939B0808FE70788A16FA5CC7707B641DD0594450F269DA63069666D40C0658B2BAEE114422D76558A1A8820D35B48A399127222058")
(:digest-bit-test 26 #x02 37 #h"3961A0980D06498AFDCF3C5F2F1DA34C1C915E7BEE6B7EEC04CDBD6F69D933B8527B5ACCB2CCFFB9D9B1C151E332CC56698C7D70C5FBA555AB4DAB162140A21A")
(:digest-bit-test 26 #x01 37 #h"99D02F69F7379A111517F87F3E067B06B5F3F7538E566CC0F0F4AD8A5327CE9F9E29CCC13FE7030706D76DE2AB5BF5052E72B584ECE04347F90CA8027DC2832F")
(:digest-bit-test 27 #x80 36 #h"E3AD6789688CEB7007891B79F070E99C3ABB061C8E130E1374B533115916B3F7A511B800E66662108C5379D3E419F8AD99CD13E478F2936AC6F2E904501C5F21")
(:digest-bit-test 27 #x40 36 #h"6D17640EE441DA68ACB3F9FB91A4273570703308B121782CCFAF17A3E483AD9F7AB49DD13494A63D5F59B46C5CD3583B28BCFF2BEB674869A5624BD83F39F0AF")
(:digest-bit-test 27 #x20 36 #h"E2357529BE9EF391905B0E1939C36A6E1F334493016FD5C5656A58C59B580C763EAAB979C1DE713ED3A1B69EDBB03FCD88A1F6C53C244DD1F644EC316A87158C")
(:digest-bit-test 27 #x10 36 #h"C672703E2614B3588D8337D1D37BABBB6F48B3C9389F98FA72C97369584D8D506983278E2BA6D5EE192B7627A3B7D4BF06AEBC7ACCA24DCE45E07D534E783FD1")
(:digest-bit-test 27 #x08 36 #h"ED99B57DFA96F5DD990B68D954EAA0F0C290D73FF2B5E2E0E3110FFB96894AFE9FC5B8AE0E65C24B9FF16A0075736193A36215B5081B03FEA7C7476F5F4F59EC")
(:digest-bit-test 27 #x04 36 #h"7B72E1B4F06C82CBB7D500EBFEEB7CF584E9010CD365686511DEC11973E6E1769EABC1F7133513710137B1AFC990084501DBED7C0264683E17E626075C166A03")
(:digest-bit-test 27 #x02 36 #h"95ED7C4E95BB1536ECCB34318E25542FD95E033833A2956216CCF923A12E303DFE6FC916975E4CE86A896914F41F53647778D6CBFD7CC408E4242592D27B1BE1")
(:digest-bit-test 27 #x01 36 #h"9E0FF43B594615A9AD43B239F1E94218D01D6BDD0403F45301BA209CD9840368709FAC1D9D3A363D7193A890E2F021784A7A921A9759A751B0271D4327FE4776")
(:digest-bit-test 28 #x80 35 #h"560778B9613DBDD24106114517163483643E7A5734DA32231A228B55C06EB3C397370582858A30E5DA613E48F1E8AEB8E205B7CB524286B4FE767C7AEE90B557")
(:digest-bit-test 28 #x40 35 #h"B60FB3521C78006CEBFA4A4E606B7A108FE2D4F89CEC47DA20B55CFF57A03592596E2D21055140CD3C9FDC1719821DF10C5EC500A0BDF553D1A821F39FBD2C19")
(:digest-bit-test 28 #x20 35 #h"66A83B676B57AFDBC5779BC863260D8B2E68F77774A61E37B1FEDD2E9BAF3C4DD9B1E69B6C4EAA099A8B3ED7A09898E956D5B06E77DD2DA67656BA7F388FD80B")
(:digest-bit-test 28 #x10 35 #h"A660821F3D40C636B4997104A60346D75A757F45C319C2E5716F468927AD4BDC697473B4D1FE79060F36F7A3B58BC14DD964DCC9E53A9282CF2095D1827D21F2")
(:digest-bit-test 28 #x08 35 #h"F5FC42A9C48A80DB60EEB9C903E5720C3E54CE96B6805A35B83C67FE25D9970E8097189126C3C74C94933BADD1F4A10E85528DA088D822AD5C0FE9AAC1E00C7D")
(:digest-bit-test 28 #x04 35 #h"28601C5D8B0044C417DBFF69AACA39E811CAAA9F50D53EAEA70DB24D09D7D5299B437E337E279AC88F9A9FED25DD06EDF951283044F334A757ED34105345D2E1")
(:digest-bit-test 28 #x02 35 #h"3AF963AD344CB3B46586DAE63209C42324ED11909E12272E924E844D8EA87FFD12410D90474BF8E957D98EB14D29621658B2F583363E3DB66CEEED3CEEB67A8F")
(:digest-bit-test 28 #x01 35 #h"651201A70D0E756F09639FBC38E164474502DFEC83D09CE5A4148B662DEC51CEC104273FB14EB4F36D108900C1264739F8C4CFB0EEB0BF7713F75C11784F21A0")
(:digest-bit-test 29 #x80 34 #h"538379668E896CC6A9DADD64DDCBA2C8B73FAF06A2B79433122C9A23FB550FF910A868C026E8947659510F1CA5D36DCFD7F8A07AB155E7A79ED80F39EE69C253")
(:digest-bit-test 29 #x40 34 #h"A68C495595E166B08D0FA814F59DC4CDD1FF9E2F2E894BBDBA4E0F3362B3D0FCB7C0B28A344D57FE69C68EA916077293E411B88911D554AAD2A5CAC73897F3B2")
(:digest-bit-test 29 #x20 34 #h"F8FF158CC6DFD8E1259B9A3BF4F10C2E014BAC088888E50B4B60FEE692D64BA254C4AAEA40943FEAADE0BB5EFFE9E134FB8B63FD7CA55F699A6827ECD78ECDEB")
(:digest-bit-test 29 #x10 34 #h"ADFE4026071205645CC69DA028B85C7C4E70D7DE257DD8D82E61593355B80FDFA9812D639FD943C12EB9818B8A2643348D0577BE283E6C0E80B42656F1BD2600")
(:digest-bit-test 29 #x08 34 #h"90E7939D6F8E95880EB01988CEC9FAF67A1A4AB1667D7D12D02A535BAAFC80DCD4B6A20084A1F72F009B6EAE0831A846777BE5421DF23FCDE7C6AEC86BC281F6")
(:digest-bit-test 29 #x04 34 #h"F1BCA7377431A4CB4CD79B6A6460FE6E3ACACBE3E29B163FB77C7B8AEA3802E8AB8A4ECFD00901412122F20BCCD35B9CC05F3AD2DF04A9856901654575BE5442")
(:digest-bit-test 29 #x02 34 #h"E975983DC5AC21F69ABABACBF40738B7DA536920BF0ED25FDDE6ED7D28F007581CC09975CC4F2DBCDD522C2105310C8F9263E938194BBCA4E405188E72A01966")
(:digest-bit-test 29 #x01 34 #h"ED3E0CD2894A5E943C7B698655F549FAF68A439D56BA4E2D6403D85185C7E6595DA97720907ABC26E91DD51837F5735E1B3EDFA9741A4926A38E0BA7300653C3")
(:digest-bit-test 30 #x80 33 #h"F7CEC4A9E0252374C837ECB68D7FCEE8CD5EA23D53F5088C893D52930F902DDB11A9FED83B553620A0E862B574CEEF7C0ECD3D3E75685FCB04C2F64EC54B7FE7")
(:digest-bit-test 30 #x40 33 #h"5188DAB78097E4D296525E6E35ECD16FF6BE006C8B9C0F19112974200FFB5E2B7AE8AD01467BC76C810B0EB7D8EFDFE36556F72867190A8A8E5C0EEE116204EB")
(:digest-bit-test 30 #x20 33 #h"BEA24AFB3394CA03ED732675B9F3450F38D6165CCD0EE1C3C6125111E8D3B77509924BBF53B0996293BD5031B41959B69CD1F66387C4E23D4283B5C84CBA2F2A")
(:digest-bit-test 30 #x10 33 #h"DFB1363DB6C8ABD19A4C851CBE89732E2AF9B538D66A8B10CDC9D993C0DB9B27B0DDC085A10166A457D1CBE4772CEFD286CB30A27F14554D9FC6D88AD4421200")
(:digest-bit-test 30 #x08 33 #h"F1364B858C3DFF933F477E013FE1F40E847E0645C57B48855096458FF0E780B723342F9EF87420CAE71CFA34BB1691E5A8AFA6ED4B8DD93A4F89DA6F0E11346B")
(:digest-bit-test 30 #x04 33 #h"BDBE42E735DEF1E451833FF821AC0D8081EA87B938C5B7ED01590D2912F37F4D46A790E95EC89402D3101DE582615E3700D210901B2AD17F6BC7A49CE060E322")
(:digest-bit-test 30 #x02 33 #h"E8CCF97A589BB31DAE88676F8EDA621355FAB1DB2D084F36453FED3A30D0CEACCB18BFC94666744EA34DD9085672C7DB26118665DDFFD9AEACCC7CB96B686696")
(:digest-bit-test 30 #x01 33 #h"BAECB62A117ED0ECC0943F7736AC5D84878841BF16B330A7FAF4BB8F0E06E882CBA096BAC89B176A57DC0F7728FAA6399366B5BFFBCC8106C9701FB30DF12240")
(:digest-bit-test 31 #x80 32 #h"3E36BD7B2EA5D151FFE5B923F974FF9D57210AC5A665A98585062C3A6D144F24A39C12CD0B3780AD60F2450219E70539802F77F428E0EDA74658F314581231E1")
(:digest-bit-test 31 #x40 32 #h"D5E9791255AF3140F624E9321FB2FF58ED474025C9649D8174D772CEB3D280AD51814E6972BB30AB2EB2DC947B545E6F88E88703E3B15EE1DC18AB1C9ADE8447")
(:digest-bit-test 31 #x20 32 #h"34B0C0C1A4B1C71E47E698F206B91988582F94A8A6B1899D9ECF36FA840DF48C21330721E387C79861A2FFFA59B5C17F956334F02C735CCDCCBFCF2681DF7EEA")
(:digest-bit-test 31 #x10 32 #h"D72EDD4D8F6CAE53D58C8F7FB9F57FF85AE089EBC9F4BBAC7731F9280A623A195ABFD0585A438B8AE4ADDFE28C6B9FDE810AB0672E0F79E49C143DFB4ABDAA7D")
(:digest-bit-test 31 #x08 32 #h"1271C935B74C65D8256A006588A87F3E88A96BC3F3A46F6BD3D28AD88EE277C97111FAE9D9F85E266B60D5F2D93EB1C4113BDC2C9245B5E2C7B13B9FE72028CA")
(:digest-bit-test 31 #x04 32 #h"922D331D43BAEE3C676CF77C2A3C8694DF405CB4B1F829DA3F55A1C0F72CA851421378BD99CACB217489D398F9AF3700D098F0E090CDC9D2ED989D1FFE03D6E9")
(:digest-bit-test 31 #x02 32 #h"509466380D493302589C8EDE504E6C3829A51DE3ED81F16B75A4F340852F4B8362B6F61DF2DE62239052244A8A6AB9D41E053041A3B4AC78F6F3C6939B243972")
(:digest-bit-test 31 #x01 32 #h"F845424CB18D078E876D2C9D0138CBD43947207D21EF8BE517975DD12B5A34A03D6928C64057B39929C409CC0E7427D45B641658BABC81608A8C748477FC44D3")
(:digest-bit-test 32 #x80 31 #h"03B39ED2E0D4B87327120948B318B13F9D33ED5423FEF2EC846F88924BF64F779E0AA6B5A19FEA70C8131F8036170F24B9EBBF3771F732C35D0D1A5563A7F869")
(:digest-bit-test 32 #x40 31 #h"6DCE005462914A3F58B575E3DCC5C83FEF78AABC826060B86CE95798B2721D63077D583CB4E8DE89F215ACFF526D4212B009E295F9FB1614A149C9032060499C")
(:digest-bit-test 32 #x20 31 #h"661BFDE91A3B1427BF0CB28D5294CE42FBA3073921531948F40719F2EBE9CF4F22A182344020056481208331C870A47F3E57993B5F2C708C50BD33D2D0438398")
(:digest-bit-test 32 #x10 31 #h"7F36A9CF03E309A379D425D133BB51F692E95050F76E829D5067C78E53C1F4667A29F8E3D89E4998ECB094C1985DED5919D63E28651DF632AFA2234332AE5A3D")
(:digest-bit-test 32 #x08 31 #h"110802FA5735C7450B943FB7CBC77565569E922E260E9A18D7ACD138A79136E425EBF4087D6A5C5270D7F8A0F0944E129A98E8EFEEB6F43953FEA57FB636954F")
(:digest-bit-test 32 #x04 31 #h"2AFCBBBE3733B8D14FBDBFDC5DB7267DB593007B133A96F1ED5C452A2FEB5F73848A1223C857511465C89497C5BF75840241D08F7A92306EB4AC4D55857336B4")
(:digest-bit-test 32 #x02 31 #h"A4AEA742E243156104FA254E0390A0196CE68F5498551AFD4A991377F839C0ADFADACFD7D101D9F99FC7FF188F2A8CE7FAC928D9D60B45BF09AEE2B47EB180C3")
(:digest-bit-test 32 #x01 31 #h"123AA69922B31CD78125D1641174174D9E15D690B0D2096E3787966B33A8557C1B815046077A0FEF9080974DEEF352CB4ACB86033F5368CBB5E6201B181EB8D9")
(:digest-bit-test 33 #x80 30 #h"3933E0E7BD7C47F4C4F223990DFFE6C5CC87107FDB9EE04584B1D0C3785042C4C026202A5769F1CCAADAD693B9D0862A75BFD6631329240EC02FF57E50A3D1C4")
(:digest-bit-test 33 #x40 30 #h"23A144E2AB693BCEF72F373DF55C56A8BF567760AA7D11DBD165FAEA101571A9DAC4522611EC5143261BCC1F25647CF39168EE9CBAC83D29EE8E6C4344402B04")
(:digest-bit-test 33 #x20 30 #h"816099EDB83B5B3B4C86FDA5E4010F350CF4CED65944054CEA983622A44A6BDB45BF9AEA4792471562AC4961D687658989F1829920732408181E4FD37BC6FFF9")
(:digest-bit-test 33 #x10 30 #h"9774689DF45B887BDF632A12B01CE7AF4004EFFDA95C7FB9CA429FEAEAFBEBB7B557B3A521B16CD18ECDEF25D015BC919F17680CFFE98ED194267ECBC5500962")
(:digest-bit-test 33 #x08 30 #h"C725F2C08C726BF6AFE50CA53AE802A4D6401AD9436533F8C0544DB89E9810AD005C84D0834B63E2BD93591C657EBDCBF88A7034AD8E1C2D9BDC7866348E78BA")
(:digest-bit-test 33 #x04 30 #h"BDA6A619D0666268B7E582F0D6409FFB93A421DA0429C0E9CFA530FCFD918329DDF84C21AEC346C8A982588765BDE8AE96BBF098808535EF57E97227F69DFF75")
(:digest-bit-test 33 #x02 30 #h"8240D5FA3AF5A4C6CC7021FBDA7E1ABF520C6470905733474EFEBF5821207E5B6B52CDC41CC6CB62F3F29261657CF07F4993A8ACA58AC67A05E2B697097C17CF")
(:digest-bit-test 33 #x01 30 #h"30E8E64BD59277A7868AAF6B57863CAC877260333569D1C81B4B398C936D0610E9310F78D6A71AE4153886DE4B6FB1093444D308D5F1C6A4B9E10ED77CF93151")
(:digest-bit-test 34 #x80 29 #h"6810FD47DF39E199307F50F05D3057297DF45A000BE2D2C38792A8111B93C43464C96FE098E1EB1935AE918AD7F4A3AF8844193556EC025A223F8E604BC53212")
(:digest-bit-test 34 #x40 29 #h"AD8FCC70A791BC171854083F16FD284B5FDF3A2549827FFBE97C8141092CCA0BD6822A6E8412A4515BCB12117AAFD07669EC731E179BD2C1B5414709A101F69F")
(:digest-bit-test 34 #x20 29 #h"EF023C0A80296F26C99A629CE82F3CA8A07772BCE5FBD6ACB600CD55A8603AB94E8F59CE2FA21F2557C4BD16FDC15788844E3A3F434FA50D267D42BC60E396F8")
(:digest-bit-test 34 #x10 29 #h"32F2C3A8C7257E76748EBFBBD523E0560853C261CD77D4FD106964CD36924E53F67D6C9C52BFBE2A95A8E320D8459B88228F280FD8196C1D1854BC0D65188A58")
(:digest-bit-test 34 #x08 29 #h"1293FDBA821B8B56C975C2AA5C4B796265B8E1109DAB75CBDD7337B28E574368501EA648E39E84B3C0D82DB60DEC8CB7B4218DA581909A7C8125464C60F33C00")
(:digest-bit-test 34 #x04 29 #h"BC02E71307DE22CD71332E73CA8CC5BC1853D64469F612EA1B697116DDEC1752F5836FEB24274CBB7B656587FC7B8817DA5468E68BE0484FFE10F94BC756F5FC")
(:digest-bit-test 34 #x02 29 #h"DD27D897161576C5B8976F1D73E074112D6D2830193A343FE081F906C6223FC1FF6F812BA45BA59DE8B661C60DF53771CA2EAA9E37E0453BFF8761DF6A6182CE")
(:digest-bit-test 34 #x01 29 #h"3AEB6210D247C531C7E7BAE1514B5AAA482069420BBD0B7C6B0AAC4B73D4BB69961034B9ED4E50160FC063BCEC8A9DD59A1B8E5132490AAFB29CEB37DB4B0A9E")
(:digest-bit-test 35 #x80 28 #h"06AE800A3BB4DE7C8C88874D56D6C768F307AB495C092520F344B0F0EAF4CE9C83BB4CCEA3165B99C97FFF9B873071E5BC2AEE60AC94A532C16F8656EF2C0A83")
(:digest-bit-test 35 #x40 28 #h"82825E40A4DAE5B2B699E078D35D3A4AF013CCE8B1ED8B649294540B91DF798E407E2AA4647EB802C0C23F2377C31C30DCDFF35B6E959E6E41E5089E07CB755D")
(:digest-bit-test 35 #x20 28 #h"7927FA65FDA2F1A8930DA458E6E6F5343E00BE0C89B9BBAF6A8E88013E429B5DD83EE1257DF5820CC9639CFAD9BC82E50F5691F3C48F26C2F2206D1217C0A2A8")
(:digest-bit-test 35 #x10 28 #h"16ADB8AD40F8E7DE816365B95E8698345D1720F8C2B4EF81808C273E8CEA77A03A86B3F96E0633C6238BC77A0947BCD0A943544CAFA554517D8D598B010A2244")
(:digest-bit-test 35 #x08 28 #h"CD22D9FE3B3A892F33290B161D38784C5F8CEB440479ED5908C3C0AA768BE14586791D51BA181C40248ED6008FAF8CD3A7EFEE4EA5A84D1FD5584A150434336B")
(:digest-bit-test 35 #x04 28 #h"26AED50E42229330774E1AE38F7E09EE70C5F2A18CBAE88715B30B4DFFF8B1B0D018BDE6AD4D7F56DFB716A0B7EECD123AC9727A5B3322580735F61A928B2F05")
(:digest-bit-test 35 #x02 28 #h"4838DFAC9D9A21C0BDD1613EF95B0B1F2E7D9475D9F4AA1D725F5B625F3259CAF18C673A985ADE85A17093889F60C4B08E2435D73C993948FCA9A4CC232912F1")
(:digest-bit-test 35 #x01 28 #h"010E43662BB66F53285961E42D720008319229E70FBC62B15F81E2BD18A85762469FE219C20C02D7400FC984129B69EB0FA5FEAE0F76A98AD3212E84180C6D88")
(:digest-bit-test 36 #x80 27 #h"808F71EA00AAAC17E95FCC100A6E84064F0072DF4D12630AA26A103DF625F8BB0441FD78978247DCA480F5ECCA6C96BE394D9C2BDF9B95F874CFF840000B61EE")
(:digest-bit-test 36 #x40 27 #h"92A2D3BE40C1B803F99CD5B4ED7E756EABE4179A851C3440A73BCCB2B16F89F8D807610C475244680313A6AF14DF70D2189C5989B57429BE11CB2D222DF14057")
(:digest-bit-test 36 #x20 27 #h"F9B22C20F13C9B6EA2275D62A5751B363F78248C4484B55B757C05A106905B85CE57AD9389AC8285E8ADFE5207CE31B78B87C5A820EC3010891FE8493B43825C")
(:digest-bit-test 36 #x10 27 #h"61F6E044E81F5F54A56058EEC1677775C6E6D893E9CAA93F3D30FB3244D64115D1381F9DF3DA737DC8EB48ACE931F2FAD5CBD7102989EAF2EED9CCC23A1F63AF")
(:digest-bit-test 36 #x08 27 #h"568A3D054D65B3AE2DACA496D471C0725CC619151F340933B29DB81F6E0B70A2A5C40E1C0768D13C89050AC3CAA1388C38466AEF2CB2D24C6BF10E74AB9BCD58")
(:digest-bit-test 36 #x04 27 #h"BF7F5E5B4F5EA434C3EA7C16D4BFA3343A69C198904DE4891FC75E6E6B292369F5181BA2C11830B948BBAA200E2C9D2502695E845FF5A4AC0A7FB4FABB473640")
(:digest-bit-test 36 #x02 27 #h"8A372DB7A84BFCA7B852C46FA0DA43483D020B1651CFABF664807BF8F776BD047D6DA4917F48DD268B20052730ED3110000B6DB674C9482A58F2FADF0766B2DB")
(:digest-bit-test 36 #x01 27 #h"A3F18DF2ECF5CC88F465A044540E222C37D8C1E24B9C72B8D261B92DEAF6747C6CC16258E226E59A3155621663BF75C2EBB302A5CD6E087FED2C92CAE819211A")
(:digest-bit-test 37 #x80 26 #h"359FB88A771416F50984CE7759182C0C80783E0BAC3A4ACCDA26973029ED75E2111FC6D1FC2057D4BBF2F16AD488E79BF030CBCBA3A9B03BA9163B5956FFEB82")
(:digest-bit-test 37 #x40 26 #h"D04F94ABF2D14F82FAEB370EEB4B1BAF3DF7C558FE899ABD981FEF47BA9891802B12F9F877D5A0C291ADD33C39A355E725EA25E41ECE871CD201654BE3B12885")
(:digest-bit-test 37 #x20 26 #h"7E9031FAB344F0BA03EB8E3C6C33B454B7F0F32691588A6126339663F404D63585F9C7A89D25F174A32267CB8188EEF6E3277DE9F00CFAA5567CD01C430FD2C7")
(:digest-bit-test 37 #x10 26 #h"143DB1BA514B8BF6D6FC4425C67A8855F2578337E8E2067427E678958BE791D5DD5B7492A98E87B25F8798A9D3A11EE096D7C81F2AC225FD5DF0583AD51E4070")
(:digest-bit-test 37 #x08 26 #h"4FF920C525841F3DCCDE2784C98CB005A0CDEE6C8D8F3CA2CBE2A9354EE3FF58F95923B5C9F6DBD8F2E7DFBD582EAC71284392762429880F28625581249C693C")
(:digest-bit-test 37 #x04 26 #h"CA5BAA6CE7D209E69653052607AC2ADF2B73F4A37DA29C16E6BA983A3BBC2F4AE0422723EDA865F7C986E964FDCBD60C1C314466594B61D05C83E7886D47BF2E")
(:digest-bit-test 37 #x02 26 #h"8E82DB8B7417258899A1E5B1526154D6DCF7806267FF749A36FDE0D99FBE3BAC9CBFE680A9705543C30C5A0DE45F0951A6DD1B5E051F09AD9ED366E498BB59E1")
(:digest-bit-test 37 #x01 26 #h"7BB4BA5ED40799D088E3829849355CEF0D17275B202B27FD4B8C907ECEA165FA42DAA8F94114BE35BBF1B65759E43CCCB4E17814735B211E19565A3A5B986F60")
(:digest-bit-test 38 #x80 25 #h"8770783577432080341374C2A150997C3A54994D6D45A3905DB66645D0B6B806A528018E1DBE8A94A10BE4E3E032789FED305021AA1E32B8609495024910294E")
(:digest-bit-test 38 #x40 25 #h"F6EC3145BEFF1BE7B6FADE06B527FB4CF5E0D22EECF0886FA1E3C288CD8031D37595C4F583DB590409FFA8DD6AD03B2F6EE04F923BE3E83ABB80CE1399E2DE33")
(:digest-bit-test 38 #x20 25 #h"C5645A9E5F801B15AEFD7D9AF2DC04BFA723AE44117938AAAD4D63AA568E3AEDE1D844825E25FC1962681650DD67383008CBC701C29F7F813E367326CA52F37A")
(:digest-bit-test 38 #x10 25 #h"D0F55556457E41A94C3CC899CF36ACDFD32E1C13D83394086FEA5A7EF11C2A33ADE4A6BE1EC5B37F09C3F1E6F02195D49A748D4DEB85BA762E2DF16F5856550D")
(:digest-bit-test 38 #x08 25 #h"98D77048E06452442A0E4B36D7422D7DBEEC4A3CA8251AF2FF17FFBF6E3B03EDF065CE4C7B7BDC7F0CC3322A78DA3D47EFFC51601263C9A326EEFA7F51736BA7")
(:digest-bit-test 38 #x04 25 #h"D13D5B346311D40AE6CDCEF42702C3A50D22ACD47D78E65370DB7BCB3C3F4C7F6FE911B75F7FD99B3462F5A6BCF86037A90BD0FB5BB36B7CB9FD1468D7549C6C")
(:digest-bit-test 38 #x02 25 #h"0A304F3BFEE8E91FC4025D4AA71F86EF692F4184254FADB41F1AD57933C00FB2DEB9B85882D6B0665482C4B35194B2C12E847B299C1F297EDADE4C55AFF67BCE")
(:digest-bit-test 38 #x01 25 #h"4CDA7E6FB4333854AB1BF7F24260FAFBE9DEE8E519C2037218B3CF9459C9EDB9F0255A7D36C175339D82DE9228758495DF8426FD112ECA5D8159F0C376C26474")
(:digest-bit-test 39 #x80 24 #h"023ACB8D8DEE56EBD1D821E62B96FE4683ED42636E09B13EBC0ED90E2890507AA727B800B3FE782C97880DD9C64ACB2C6D0268E5AF4479203A9D652F86C1687F")
(:digest-bit-test 39 #x40 24 #h"4CB9DB72A825D912BCC66CDA0A77A481A710DF9B47989A917F68A7D7EE3146C67B766CC376152F26FA245CC98F55169B4806F6B1E8614474691FC062D539170F")
(:digest-bit-test 39 #x20 24 #h"C4900970C21B19D74B48C6622F109A7B64ED6B9C3F74F10796B55F67B1D205308776770DE6C47279A28EEE20A53229975810BCC1F6A842748811C7A8EC392F91")
(:digest-bit-test 39 #x10 24 #h"DE90F962685A13A53C4107EA579DD2BBF74BB9767C3F728C392A7E98A1EAA8EA3CC963F0260C40AD17F298E665267AA250832D25320DEAF0AE551ABC904BAE3C")
(:digest-bit-test 39 #x08 24 #h"03710A30DCAE0E79D7A3126FEE4EDFAC6AB29D6459DB8E422DD355033988FE110590999125C427CAF89FCFDC78C6C53EECB173FE74EC446A536D9408689AAE6D")
(:digest-bit-test 39 #x04 24 #h"B86545AD9127F37D2D0C28B1510B2107383F349FB9F743508178766E012F4EE663DD38B0C4ED57F155A8BC2D23FFE6E7C97C601CFD49685604A9B1442F1178A3")
(:digest-bit-test 39 #x02 24 #h"6D7961EA4261F57EB2C0A72021AB821BCABDA1099FFF6A89E01D025BBEDE6230977384FB4A9A890CB22F96EA8746E9F4642511A44FD6ACE7BA5146438CCAEE23")
(:digest-bit-test 39 #x01 24 #h"6F0F9D54F5A3F7B25AC7ABF00847533D5B58A056962ECF9AF454F9C7E2CC1DD1A179B520AC2841421AD5680BBF065CF9F903D90D958422DBDB372B43967B6F05")
(:digest-bit-test 40 #x80 23 #h"4592812E77D0D2DEF9823A2B44E2B7CD59DE717B6D76913D10EFAA658D94AAE59B1D80792F678383536307376ED3F88917E36F6EC9C73C137724BD64164519D2")
(:digest-bit-test 40 #x40 23 #h"14E25880F7E4BCE75E90C413191D36330025085E5CB8EC2D05CC35A2620DB01A306966B9FABB4A0B36F2AFBE739EA6B1170B0D17A9D83372730793891B4FF174")
(:digest-bit-test 40 #x20 23 #h"80325D985D0A2E2FCD8191F99AE2EA13D1AF137DA729CBC32E46B292BC56F825DD79307607C7D15F2B9E8ECB7B89C0C805BC009D89B107836156181C880235DC")
(:digest-bit-test 40 #x10 23 #h"62D9C22B5078CC2A6EB1BC0A033FC1BF1F365F88DC1643A4130436EA753E5BAD7D2B742FDB6D5ADBB0876A0AC85F0AF311CA54C27ECDD06B5709901922FCD166")
(:digest-bit-test 40 #x08 23 #h"3256DE63A6D8D09702E0C003BE551FECC7697F7D2784B021C86966E19AECD9538F34AED8DE1FF8D64B00FD00C699153B678018C170CBDC9176D33DE24AAC0907")
(:digest-bit-test 40 #x04 23 #h"E62B4DF19831FC08E6F5FD6C948FD00B5F79CB0811931FD9137AA0E918863CB3696748CCF14AC5A625180A27B29C7A0352892ACBF2D0A83757E4B51342012A93")
(:digest-bit-test 40 #x02 23 #h"5AAC65EA249592893F3548453B80E77D59E615A28E2BB2A5DE952512B6A0C5F1A923884AD104B6EF0C4988952EBD3159D62C197494EE699411361FBE41B764A3")
(:digest-bit-test 40 #x01 23 #h"E5BAD469FD3C36D045F87A59D140518EC0C7EA635CA1882A55CFBD20DC36218695811716E1DD9D0E5D3A4C02002621B49DFF5F03CDAFFF30FF276B8C35B7C575")
(:digest-bit-test 41 #x80 22 #h"459B5FDD6F8E4BBC20D62BA739B9C044D310BB77B8C7CA8F573F36768FF252B4E941ECB5B80A54254735C9BF5AE3B65E51A1C1F3916CB000902ACFE4789B76F6")
(:digest-bit-test 41 #x40 22 #h"5EC9ABB919B3EC3ADFD92C2B25C335E679798B30E97EEF990BBE41EE82DE525AA90878B4736CB2751A59175082E3022B64EEFC7205D02193A0B7D40D54BC7CC8")
(:digest-bit-test 41 #x20 22 #h"1BDF647A2356F71AE0C75E142B563F78F6E9164E7CC424C69C78AF0F9E75241D6D07D0D8ED4DB931D9E78A6BBA0CB78C8AF954D9534D279A4CD82581ACA702BF")
(:digest-bit-test 41 #x10 22 #h"AFB80FAB79D3898EAE8EEF0A108E9AFC2D7E7CECC189E7247A78D2FD59FF07E3DB54069A5501961331D64731F05812F789C16D486C0D26A61585F422668F7C6A")
(:digest-bit-test 41 #x08 22 #h"86427AA9995665FD0A210D5E6B73A9593892588E97CB94AF76BEEB9E3765C81811A7364E4B19249C15B9FF5F89F14E777B7F5A0FABE331A10657994093A516F4")
(:digest-bit-test 41 #x04 22 #h"63CF6C788D35AA6193790E929FF87591F44CE501C23DF008E040A3CC0D51BD143F695291CA950BA752428F8C8966C370609CB735EAACF8B4C1109C1BE5EAE9EC")
(:digest-bit-test 41 #x02 22 #h"45AD9E5609A91189076EC6E84A0B99655F82E7B727212076F1B6FEA4260F3291E6041A4587F779C2E59DBDDC5C2A2B30C5F29CF6BCA2B85FA2E63CBB8724E004")
(:digest-bit-test 41 #x01 22 #h"F245C5E1AAC7A29028DA7AC5EFCB549CEA0190E2FD4F053545742A3BADD6D3C0707AFB5F6191A8F9CF9D6771012A3C9FA5546DAE47671833532A57AD5E5132A4")
(:digest-bit-test 42 #x80 21 #h"2D7B4FD37FF55C715C4C264734DE406EA432DB59FD495EBED685CFF78ED4A16AF5BDFEC782ED94EE62D29A8F5B25969D592030E5F7418D38B96F7275140FA80E")
(:digest-bit-test 42 #x40 21 #h"50C566D5CA58A71A7267F866DCC80612C90FEB28F39516007A6D1B21D4DC15C5AC559D859AD6BD4029B88283EE5A789EEFBAFE8BAF7DBB3A8650730A707517D9")
(:digest-bit-test 42 #x20 21 #h"B9DFD2AAE638139CC9C055D915335479D459FE0641DCAE5177CF135DE11C9A6B381E422BAFB068E248B7E218A6A5D9F55D7537C4C614E3F868CA0F9E694381B4")
(:digest-bit-test 42 #x10 21 #h"52352C822E33883CDD16E9B0C1B5A49327AFA81E1EB1EDFF187A9AD49E2628CE7815F2941049F4F575FCE303AAAFC5ACF0CEAB9B0A4926AB3A7131E061EE1C52")
(:digest-bit-test 42 #x08 21 #h"13B418100123E8D6628C3ECE9C5B167F7A4AED3BEDE4A0E8D712B93509A5932A2C98F9FB704BBE2BF455625C26232671C7F7A6D22F00E210FF32314824AFE5CD")
(:digest-bit-test 42 #x04 21 #h"5DD49A571E93A6513B1B8481A7FC509434623A37EB0B566B968B4EBA7F7C6D48207F908240D8F80C6A5BA32AE96513CC44DCD553304EAB751FEE2F9B8B921332")
(:digest-bit-test 42 #x02 21 #h"98DFF0FB7D2A8C99E2F2E87052B4EF8E2E5CADEBCE95233364346DEF1718BA94C293CF00974686ECDAF6CD1D82EF2620CE3C56E887152F17B1F6A13E797CBBE2")
(:digest-bit-test 42 #x01 21 #h"25C7B4079F4470094A9848DE534F0B5AB0A664F1B3E04C3855FAE97C5332DBBE8061E66FB1F1CFFE43C34AEDAD6FB864F5452EC69B1BE1118EA98A166B18168F")
(:digest-bit-test 43 #x80 20 #h"3E71973A31A0DC523423FC6C2F860E2B8CB23FDAF3C4BB1BE90CC2777159892536F269FBA9C18DDE7ED4921237531465DDDEBBA8962A8C602192216BB299C1A5")
(:digest-bit-test 43 #x40 20 #h"1F8A99C1B2FD7315EB2B2E0DE7ED2BF4778075A68ACCF02DC73944B4CEB9D3B20CFB2EC9CB3880590150F486C47A6D7D461949E80220E76277CF44EED927AF94")
(:digest-bit-test 43 #x20 20 #h"3994B22859029B3F951284426AC4475110539AA63FBA198D7AAB12BEEBD324FAD540B1B0C5AF544D9823606683DC5D3AA7168D95FF8C1DE319B5064DC8B6AADB")
(:digest-bit-test 43 #x10 20 #h"2FC4414496AB27813DFDDD1C73570F029E97B30023363DB038E4C646BD44984C1CFF47FBC09988E025C1772B3EE87C28BC60555BA47BA465B80E5785B83401C7")
(:digest-bit-test 43 #x08 20 #h"0275E439DBEA83F0E2302EFA85E8C2C0536DF9BC119C5C5A88137FFD7626092311B69322E24C0F9EF47CA0EC0C8B4DD0901AF0F3280E3347D9E8D17267D28666")
(:digest-bit-test 43 #x04 20 #h"35424D0982B4F6969D86F28721601A84DBAA6164EA2BE4AE5FD9FB979C7313D633AE1F137D957C2DC8AC3EA1F3408978EA8C5D30764FB2D6830CB0894B9BA9B6")
(:digest-bit-test 43 #x02 20 #h"619DA0A308EDB6F7F173153F1DCAD3BD80B6CB5A6C7E6E3D2DF8EE418DA57F5A1789E77E1B3C0E4B5ABE55E4CC4FF5A94AF0FBE79430CB4EFECFDAEFF45BF8FB")
(:digest-bit-test 43 #x01 20 #h"0C66AE0ACA6BB894981CAACAFF43AC9D52418C0A0BD789D4ED4BDE3452CE8FD02DDBD98D31E35579B7C141F6CCDC57D6447008BF00DAEC74A47E48D29237693D")
(:digest-bit-test 44 #x80 19 #h"B6BD5F12B706BB5EA25B400254BB3BECA27F78985C4781210A9CFBCE8885D16D73771BC452200279F363C1854FBD80A1BAF7DEA2E5C1A07F5002D8B063EFF851")
(:digest-bit-test 44 #x40 19 #h"150F019272CBB162AAE2377C5D222CC8947FE0E05EC5789C8622111DDD262DBC0D25D3CBFBAF60EA6E0352CFECFB650401AD8BBD142A6F3F67B45B18DDA45C6A")
(:digest-bit-test 44 #x20 19 #h"2D06BEE37EF1C73A3C9CC0DC733668B6937BDF6C89704A8B70FF1ECAA389980B8F04119613E3084EA98DDED46544B10EF413C877EC647A9E7784122CDD56B5FD")
(:digest-bit-test 44 #x10 19 #h"F4DD7A139D562AE9C7376B71C2C1E0E9FC653B4A1CFF50C71CD7EEB4C3076E53FDC253E0BCE8D48A149FA725195BE70AA9ED8BD10FFD5CC244320F70547DA67D")
(:digest-bit-test 44 #x08 19 #h"AD9E3A8CDE3C16E899950F53E0E8C8D857F597E4FCDDA25C50B0055717EA96E694112F28649EBD398E7E9666602F60669E03FFBD6A48CF08026D8B6E10A90104")
(:digest-bit-test 44 #x04 19 #h"06801E37DB9BE9A5A419340C978B45882AB8FB4F586C1CD03C6C38F2C84CA7EF0AB344D2B10DFB74CAC8758787790D070F3288A68EEE58FB74F173571096BA66")
(:digest-bit-test 44 #x02 19 #h"15506BB0E4531FAC6BEA11DC8C23D29AED71EB6AE860B657F7C8D5CBBBAD3456FD892AB56511EDBCB42DEEC156029D874297FC91A31D98104027C26F0E75F913")
(:digest-bit-test 44 #x01 19 #h"7CDA9C57D588097D30F7EAA5DD5BE5A7CE8F66FCE8B4096FBB01FECA3A8056E57232AE9A7486AA7FCD12B552B5DA3227FDCA631ECD5D086BA06B94437F20FCE8")
(:digest-bit-test 45 #x80 18 #h"DBEF8036DEF9F9BA9C5F58AFE2612BF88B5FB68D972648ACE85B0E2AF5B8AEEDD7C3E8285690E9E7D1B64C5593CBEF8D52D947B2E4455E3ED29C410565761C4A")
(:digest-bit-test 45 #x40 18 #h"218B947B6F2F44610A62F7F7406354A69A0A178EC1751B6B641827CEDA677E481E1453649D340BCB07203BA418FDFFF954CFBC59E6F19526D4108F70B8DBF976")
(:digest-bit-test 45 #x20 18 #h"8C0D3B87DB9E41CE42BE01CA21597E36F4DFB63B6F89C2A7BD7352F04469F8C4FF32BB1F4033F1D6982226050C2A4A6AC10C1B281683DCA5DC5C42660A76CB15")
(:digest-bit-test 45 #x10 18 #h"E0E517CAA1BA9DCEA2A44AA0F8306FC4E91B2A927189F06715315AB142DFB27ED7BFB67C66C295960ADC754C98618A13137114894DD5DD3B23FAC71C891ADE56")
(:digest-bit-test 45 #x08 18 #h"51E9F37D978DEA7B2C4BC2D7F8A09D9E9818DCE72A03ACBB539983C9BAD4B83CF45874E616C6AFD9B1B6E5AF45C6F9014F3437695F8487D03732329F2E49723F")
(:digest-bit-test 45 #x04 18 #h"2A04A78682BAD0AC8F06B623FBF432E2CD0F75AF9D3D146240311613F3BCBA3AE6E4E1A85C90014495B2375175D7E26E5A31076C1E1DAD4E181630D9771B218C")
(:digest-bit-test 45 #x02 18 #h"CB40FBF4ED2AA384E08809CA0C5A73797A19F39E732DA1673D28AC8C7135314A21CF14CADFB69D05CCB19B606A4D4C8DEB812D3389403EAE7F546732CC9AA5DE")
(:digest-bit-test 45 #x01 18 #h"5FCFD715F12A3999C8195E7808B28A45A6C20EFFF687708B267900185E6B1F2C15F3EBDE611D736A65EB2DF7FBB6C533FA86EDD4497EF2404503F30FCD8027EA")
(:digest-bit-test 46 #x80 17 #h"6299A4C4A6871B4D286320BDFE9CB2EA15F26FD6D184EA1C1FA059D46C38339EB3F0B4CA21E948B59EEC4563EB8E113CF714EEFCC4B99CCAB3671BB2D0AF400F")
(:digest-bit-test 46 #x40 17 #h"2B9DD11B4274F1586CA120F0D0CBAEAD764EAAD348A272D81DE2B0EFB0B67147A01B42C06B0BACFA6E531632C17B90CB0F510B84C4C1EFB0C2EEB3ED177C7E0A")
(:digest-bit-test 46 #x20 17 #h"E95099B3B28DA32BD23B42911C296B7130B953DA429747139D4225FD9F235070C7C0F5330B20F25239F594F2F81D0B88376DD7AC7EACE8F782035AACB1D5B3A3")
(:digest-bit-test 46 #x10 17 #h"DD4A01A6A22702FE05F3AC072179A20A060E788B2ED0041583999D381C49F9A1D749DFF8F535591572DD2543B88D7486B53919EF6D1BAD7EFB1C19FDCA10D16F")
(:digest-bit-test 46 #x08 17 #h"3F65B4E31AE4744671F766BE821A7BB16677AA6579E41D4A9D5DEA6CDC70FA91CA93D43724BD99800424A343B1FD2688A2487E381857B61AFB4737C3A6F162E1")
(:digest-bit-test 46 #x04 17 #h"F5645936710779494F6F9B108926E0ABADBF88CCD67DB1D99F187C9AA5D7AB3E7640AA6A3186E2963C467AF4417BC9CBA64257B391C5D9B7682D791473500F39")
(:digest-bit-test 46 #x02 17 #h"24D84F2C7FBBD77D532A2C07AABBE7F8773AB23AF7EFC6054179302374161E6D8205BF54F5B48F785F14AF61793ABE613263E33DE49996BC23120A3B78789BE2")
(:digest-bit-test 46 #x01 17 #h"1EF01FF3B151D117CE54968AFEC0C99DC9985FB64577E57E52BF526E6883E4AC4A055315373106729911DCC95D927A0572201F4D7394473DC5FC136C49EA2856")
(:digest-bit-test 47 #x80 16 #h"CF9B2454FE6F41CF6A4D404BE741F0145B9E6E4F8834D9FA9974ADB2D3CFC0A0190F78FD4D6977E1D12420D75887A353CD97AA7267AC7D2CC234886D801CDDFB")
(:digest-bit-test 47 #x40 16 #h"1952CE415BC9050B7E38752CEA731A125E60E4FCA70AA6A0CC335A33512D79DD1A744388A1507B63B679B08DD1F0FCB81B869EEE46E5CF35F53F4755EB5BA307")
(:digest-bit-test 47 #x20 16 #h"989DD0DCF0D6CFD444D9A1D2320C3B4BF3AD487AF53829E7A40DCEA795349DDF554588CB911D4DA66EEA14713B696F7D4B065EB22D0A6A96BAFCB7C7AD91FD61")
(:digest-bit-test 47 #x10 16 #h"713FDF6618B8D4FFACD13C94ACA119CD8D8C34C3D7586800F51288E004CB28DD7734DF80CDA02E808DE3F254B36CC313AE30B8EEEF1B7CBC22BB21AD44DE9AEB")
(:digest-bit-test 47 #x08 16 #h"A8EAB2B02C2F62FCA254C6E633B031E22A58843070E8222C1D92A74716200F1D58D33C2D250EA161FD2E19D7892F84E04679F0D04216C89335EC2984A5CEA37A")
(:digest-bit-test 47 #x04 16 #h"279EFABF4EB34A64F47310840C4BBC8A9129C76CE4CBC8AE6AED15180E09122527ACD9763D4CB81E6F4DE9F88A9914DAD5C727C2375C6AE4A8EDDBFE7AE2482D")
(:digest-bit-test 47 #x02 16 #h"B64EB8C73590E7D0945EB8B8FCB8B68893CC84E87C4B1F518381E9C5828D373A3206AC3BEFB4EF238A66D0101B420A85B6D5C2BB45A89AB71186DB8D4295AA0E")
(:digest-bit-test 47 #x01 16 #h"3901D66A817310CFC0CD8B4E71C60D0C44EC9925397B787BBF1EAC49B1261E74D898FB2BA896C67E00128C98EB332C459FC1C256F5A70AC0EDBB1EC1144C265D")
(:digest-bit-test 48 #x80 15 #h"752E22A33D8850B48D47606F857F0E600925674F8383D1DBB82550CE8CA6AB863605CD9B2CAF61E1A204E067DFA09CDF8E17615C19B8621C68BCCC47FA4ECB94")
(:digest-bit-test 48 #x40 15 #h"C2FE7A0E317C5D16991F37254DCACD039ABEA30C3D3098756F1A5DF32F981BC5089FF31C0AC8B4812F12CE0DD41F1A6A6173D15B73375AA133B143BD76F1DE4D")
(:digest-bit-test 48 #x20 15 #h"9E2586367A849925B31F33FAF46C61F1035D8FE55D7DAB4B3521DFCD57B224913CA21B7E82286FA371AD3E8B8E1E5A63A40DA521FD040EB813CAADAD7E1558EA")
(:digest-bit-test 48 #x10 15 #h"052C635B337B2772F84C5EE212ADCC61A339871E9CC207B48178C4B9FA32BFA0550895A1005F9D0CF3064A0F03BBCCEA47EBF267CC5CBD431C28D5AC3C0F828C")
(:digest-bit-test 48 #x08 15 #h"B6075C572FA983BFEF068BFD6C1A93A68A7224850514EC04E7A03AC01CA24FE92929E714B9C99190E7BF92EB0B2D7C015E05EC8B362F8F55CF18BA0C1E478153")
(:digest-bit-test 48 #x04 15 #h"F2DBC1692F671D7DA945917597460DE8721B13BEBEE79AB6B68787B85D7D91EC75CC32DF5D1CECC258C72967CBC472C3DB86D90B710C162DDBC4E938AA0D37E0")
(:digest-bit-test 48 #x02 15 #h"02D39920EE7EBC3D9081AAD2124A9FFEE1EE165CD89ABBC9E00C1450EE11F84EC4949BF1A1AD66B8D05E7BDAB2A505CC131C636AEA5495D8288CB7E7641EE559")
(:digest-bit-test 48 #x01 15 #h"DDCA558DC8AC4043925BB49AADE3FBE54013125800AD6319A92932D7DCA986A555E568434398C455E4434D614EAAC415B7B0640176F1BE5436C6BF2A9C9E3600")
(:digest-bit-test 49 #x80 14 #h"B5CD32E369C9F13C00A87A93B02D959D48027B91CDAB279B900E8983DD98D9574EA97F568F27C4F62716633CC4405A9390AE2172F21574E809ECBFED1FF9E752")
(:digest-bit-test 49 #x40 14 #h"BF33D153FA1E72AF4F96A1E61F98555D6138C3322CC7DC94505123E2309D475C4E55AB8D9E9A40DC2F4CB049124FA44BBB4EB596F3F17F9B49E7130310DFAA26")
(:digest-bit-test 49 #x20 14 #h"A2038C5F4631FE26A8F3A47A07127E7CF4DCAB4CE571DCFA107BDEF0E442C49998C8415F850AEDB729F5ED53800BF6B96A7196AC673BEAF9906322A5564BD0F6")
(:digest-bit-test 49 #x10 14 #h"6D41069DAC1F9AF57815A6CED30B80AC2D58D6BCB6657538CBEB7E58B8BC69552574E22C25BB954E5B97AE3BF366B68BD37A9F2FB61437F4C24B9150A4B79190")
(:digest-bit-test 49 #x08 14 #h"A68F882E78EB8FFD3AA8269CDDF22CEDCF79413F1E88279D966A7DB13DF1B7788BB3114364A4B0E46A27F426E771320A6224061507105309F5A092602974FE24")
(:digest-bit-test 49 #x04 14 #h"75749813B8CEA722B399D81696F45E5F8738F6F38CAC3C771AEDB3A708F4B5B0E6CDDAE4343A2B83537BF25B3495B3C7045D544C30F99099ECFB9763933B6D8D")
(:digest-bit-test 49 #x02 14 #h"3526ADE009678CF578804100C5D9E9ACF50D0AD03CFB71EA7D63D4F85419655A7D41C7FCACCEDA96D454F904B3A21F201E4F2392C414FF9AF68B39F8DE0FAAFE")
(:digest-bit-test 49 #x01 14 #h"FDF47B4DF0EFB94CBD2A2BA59FBD6DA7F364DB67C5638CD025505A1D1FF0F3FBBBC952D6E592CDAE2469CE6E6A22E8597C8BE2F79C25FE9ED643CE2B5D3DAECA")
(:digest-bit-test 50 #x80 13 #h"EA69CB755DD17AC2E7F7CD27714B37386356A4F2BE6E51565EB51A717D0D56C60DDFF7F919239204A6DA6AD38173234377F6C351BBD152E799010D4BBC35053A")
(:digest-bit-test 50 #x40 13 #h"DB8632568DE4BD9624A1F185E997E10025E727E8912C03CFB3D928680241210A09D07CF196F05D54799E206438997121D84E3485BC5CF66580C9E8540A852A5F")
(:digest-bit-test 50 #x20 13 #h"9AFB864F0940D70921079B1BDA3E5624966846CC1BDA9297ED026D3100FA87B1D087DA41489CD053F6F7378A37134D2451627A7CD9AD4D3505018315BB9484AB")
(:digest-bit-test 50 #x10 13 #h"8E9A112F139B7FF5233EF9A4DF0729FC09A32C50F0FE5013F9A73DC8F4456FE0A1DB5C77DB61933F7614412E4ADE6CF3158E6E3D7B732111B2C6940739B10EDC")
(:digest-bit-test 50 #x08 13 #h"D7D65A65CC2DA7A5343782C9F6F13DE7017C65DC561023EEC11A834F0D02E9019A9305C04F21A1146096CC98B7AF5D5F8E36284F763E687E260CE57341405854")
(:digest-bit-test 50 #x04 13 #h"13BAAF4DAB74DE595A9A5493C528506CDD932CFE68280291B70979775917DD22E52817CA18FCD48E3B477EC3422EA27181BAED8C47B2DFDFE27F75027017C604")
(:digest-bit-test 50 #x02 13 #h"7D6E7DF03BF600629A0681859B02C99143A79AD3A3BD6DC04AF01B4070CF2FC2AD9B604CE8A8BB497F00DB42167514467DDFE22EF29A7034274AC086A80EC79A")
(:digest-bit-test 50 #x01 13 #h"01D997D331141B04496C0CE717FD859ADB0D6438A66B9BF99CBD9EB207579B5868B0E17B144D7F7619D75D176F4B13C58C0F942911AA5DE8BA8B09B243F2F23F")
(:digest-bit-test 51 #x80 12 #h"A61F82618D0D29FBA5156575E8F0B20E03C1FD16DABD2133BC526539079805056B82DF8665201367F2EEDA7752F8F6DB953ACFE85C4DE2BCC9C475F906DBF2F6")
(:digest-bit-test 51 #x40 12 #h"9559485A18DEC0F980F13104320348843FE37A1D08D9E1357B909FAF3D2CD819200D058C5DBA1409F91F02F3DBB98D8839FA2A80720E2BC4BBAE73F57F16151A")
(:digest-bit-test 51 #x20 12 #h"A0AF2155C0D5CE99AF7E16A66CB1293D15FAFFAA05347ACA8393496E3BDA9DD50C2D305494BB66C1ADD835992C252AAB43F73025293BE6D3521FE5D9A70ED91A")
(:digest-bit-test 51 #x10 12 #h"09EA8D8D5D67F0A3E55C3DAAFCD1A7E3815774572FE95735882A04F2D4385EAD319ED4E4C895CF49D3F0F5AC3D3504F4AE9CD4F1291CBC92301312940655E349")
(:digest-bit-test 51 #x08 12 #h"0BFC0D95940237BF56F2EF88B261DF5B974CD4E1A6CF0E03508BFAADF64E44D576CADCDC5B808035B88F3E57AEDF17F455935B4B7F6F316EB62D57906DE724A3")
(:digest-bit-test 51 #x04 12 #h"6D79900DA08455D212585241A24AAC3041833E6FDA8437E15E0FFAF3BB43F3624CFC164452ADF8D150E4747F4E3A1328DC00D104A0BAF987860FAD70E1C533B4")
(:digest-bit-test 51 #x02 12 #h"A1A2A33950F959CC23A95B64CB4BEF739BF830D76FE1E556956E47074C08C8056929D4D9CAD347FC813246AAA484EC10251FD88E8261EC803F5AD8E75F7FEDF3")
(:digest-bit-test 51 #x01 12 #h"9CC796AC88E7062CBD8712AF259E1B3918ED095A08E211929EF7D3491EC7822664A80C278377EDAC610A2EF4E91ED4345C5813560C5B516378C5C89B47B4909E")
(:digest-bit-test 52 #x80 11 #h"81A93507AE364F2AE37801D4E3579B73B2AB5012F60C9BBA1B8BE2AAB83A24DE9487688916D00B86FDC1CF57CD5A2611F3FC4B1F90B5B446883A67285F9E286C")
(:digest-bit-test 52 #x40 11 #h"4EEBF40A53ED39C20FBC31117C9A13B1B4DC154F1B9450EADF8E8E2E10430272F8624EF961B595CE79E6957DFEB8828EDA501BC341A036DAD43E01590CEEF98F")
(:digest-bit-test 52 #x20 11 #h"FD3F2D35F8E384BF2993E9BD52E012322359F0AD8141D28B8BBD6FBE51C48E73BB9FE5886C2960AB0F23C384766630394AD76160A837A757CA20C1EEF559B4DD")
(:digest-bit-test 52 #x10 11 #h"C67764739E829373E435F5C9F6F8D188C9B4A7BE566F4F940C2B9A93133612CAA4C135F316C8199A1C082B736B4D9DDE597873BEEECB268E683E8EC7BE8A9162")
(:digest-bit-test 52 #x08 11 #h"7FA05C132D736A84D42783060AB946F80784EDC86E1B47E7F96BDBC159080255DEAC0F4FE406F74B45638002765B075DC642497A696FEBF3FAFE3D9D19D19870")
(:digest-bit-test 52 #x04 11 #h"2328CB5E6C25DABAADD8441DF688EDBEF4885E481427C8145CAB136D8F517AB264A8E8F4BD058F90B9E7FE3779422E8DFD0B8D6EC060D46EB614DF3E8A1F8A88")
(:digest-bit-test 52 #x02 11 #h"9A70D2543E2D3FA2EF0E780E1FEC260F4774372CDF1D046884650B1D142A3E111ADDD4543D2BB82C89A26D25BA89E064E05A41628C9EC2CABA6BAA62368EF816")
(:digest-bit-test 52 #x01 11 #h"4BC233CD3F172D549C8999BB689DBEB038C5217D196A33C269760570AFDD99D0B955D3D511AA389E2F80FC7D65FE1856716F923ACABA6B570D6B02530A2C7E20")
(:digest-bit-test 53 #x80 10 #h"D158507C1517FA18CD7807A96302AA63FD58AB2998C5DAE604BDA37322C57550103D5835E6C590E0A80ABDB23E4D68E382880EB2CE19F39E90996FE49025E462")
(:digest-bit-test 53 #x40 10 #h"D96F87D7110E2B8CEB26CEB899B64B574F20FA700F85FAA198C1E87D5190C7EBB1BEEA24C503AACC955FB37E6A3926D3CB3E341CA42C55F430E9AF7080054A5C")
(:digest-bit-test 53 #x20 10 #h"CB22B185FBB00D2E2DD43858A0C822ADDEDD1F865FE1E806F6B3B38853B08339576922A40785A153C1AECFAAEEE892AB23233440EBDE854EA0A11BF11F67F939")
(:digest-bit-test 53 #x10 10 #h"8BEEBCA773EBE8662DABDCA3B1159B6FA50996AEC276FC622619C958CEBDB0421D9ED7414F80E577D4CEF087662FA16DE19A87EB22E7536B38752AE31DE8A486")
(:digest-bit-test 53 #x08 10 #h"8CB59041478EA74A9925255F718A74DCDD5CFCFA7F849E40B4AD9E97EF3C12A93E0D587C6153AE883ACAC31D0E960B36E14E806673C21CE058EE44E580BF89C2")
(:digest-bit-test 53 #x04 10 #h"10C573278BA7AEE3239A43A3DADB3ECA5CB1CCE5C910812D45F8E90BB247CD33615750207526E6B44B95FC2679F135A5D3A0E5FEC2E6F29A6E23EDB3EA824CE7")
(:digest-bit-test 53 #x02 10 #h"E051B4720BCAC15353EE9E90A1EB8FF0DEFF003D08B46C37C46BB42DCE7B5D1ECECFA3DDC1DBE4823E48028245890D1A9BC2827DC0ACC2F00CBAEECB8FA8DED5")
(:digest-bit-test 53 #x01 10 #h"2FC9874816CB8A3D3DF4081AD5A669A76C7B36D92DAF1FAC18ED7D90304FAAE7AE3C3BD2C4501A4133D0183E2D149D952EEE7D1AEB2C473B3139E3FAAB60984B")
(:digest-bit-test 54 #x80 9 #h"F68C393F1863FB7872E7E8134B3A220FA82CF80BB7FD9605AAF5E39F5CA24A8C5B2A3112213D7ED334E46EF96548477AFD78536B54974ACF6759859213A2EB13")
(:digest-bit-test 54 #x40 9 #h"44740CEC92333F52C1EDAAD6F8C1F94F78BB62BBB0E5B6B89E9D707C708572892C53319B1C8702B32476E7C4E1EDA37910E04C46DEFCFDF5DC0516B25318475A")
(:digest-bit-test 54 #x20 9 #h"D97D7146AB94433AA7E9DB65D8B5088314659B8F901F288968720232B91B2D8BCF548C66D41694717A892D0B7B8DB1DD933B5D2BD88FCFEA87CFBF11570F3ED1")
(:digest-bit-test 54 #x10 9 #h"8DEE46170F240A4C170F3F13C941FA753619EDF81341FA099672CB7BE230D3352FBD1692E4D377A8529DBEE2044072F1EDFE08EE1D36E02DA62AEF9BEF962B79")
(:digest-bit-test 54 #x08 9 #h"FD36A395C71A8F0C23FF8C7F75B01787A2EB4C51C26A927AAD4E3272A02EABE70CFFBBD0D083E529386DC68213D6EB99819B8E1786DF9943C3F17F9549721FD6")
(:digest-bit-test 54 #x04 9 #h"B4FB4206130AA5C4441319576EB8921371244B9BFDB8E1673CDE0BFACB822F36ED1F3E8CD0BA5A3B2D63EA4C8B104671967AAFC4D22857C90BE91E439554C43C")
(:digest-bit-test 54 #x02 9 #h"851CCAD13EBC7BD5EC536FC293CC8C4EE39A1E255F50714307B9E696A2144D3C168FDCE58C882E4DE426F0C68319493923B9B0825E7DC70536E0F623F847AE08")
(:digest-bit-test 54 #x01 9 #h"A08D8549F9B4B10D2FE0C752B6C34E92E2BAD4EB0AFE42E0021667AE6DABDBCA15B92D7AD59DFECDEA3B3F6F039B975B5711D90002BAEDFAD78A2F2B8A5516B6")
(:digest-bit-test 55 #x80 8 #h"2F4CC04DD38D72ECD1FB3904580F2FF8E9D6863A877333B0598FAE24D85670E1963832CF6B2AEA8E73FC9F4F782A3AFA4A07F489CAEE091122B2C58B59917435")
(:digest-bit-test 55 #x40 8 #h"3B7631CF56C1AFF70C2B088575782B35DD4332D10488E13D0F719A2727D6DB6B3AAAAFD92011B59C3F2C6846620A8D0BF49FB2D4804FD5DC32E33D117C1EBF66")
(:digest-bit-test 55 #x20 8 #h"F333F6A1DBC56B73156562E0E9BD571AFBCAA4AD69B1C0A7CB2FBED45106F8C8DFA4C184A475F88B2002E9E31C57840A148BB7D12D267E6C55CDB566BE74D816")
(:digest-bit-test 55 #x10 8 #h"4EA38C2D2536A05B83C310AB036966CD407983FA9506F840DA3332F5082E15BF88AAADCDBA00383EE05502A9F8945D489A9407A93574A6B856CA217153053997")
(:digest-bit-test 55 #x08 8 #h"2D05C9DE322326BDAF96BAFA893E4026BF7FB9F5D62325A68DFA3B0FC9488BC42B04591E8719EA26A2AECE75B0690F9EC833A2827080C50941691D0EEFDB1EC5")
(:digest-bit-test 55 #x04 8 #h"F7BBA4664D418305EB0945A9270618C39FC33AF1DF56D010E2D6A9E1AAC994EC8E5D81AB14D0598F563B450CEEAD416F857B08C86822B34A901ADEA8B7AAF992")
(:digest-bit-test 55 #x02 8 #h"8C6FA6625D34DEF8AE6E852947E963C679AA2406D85850B7F53450990B047F99FDB2C4C24F8EF9725102605D41C41408DA23E4C9E8E19F100974402F3E92F4D8")
(:digest-bit-test 55 #x01 8 #h"343CD009F39973072A563866F8F4681590A7BCFAE041DEAD5FBD7E128FE61529C5636BACDE3D0BF30DFB55F8A613D4536D0DCD590BE479C95B604972F7B806A2")
(:digest-bit-test 56 #x80 7 #h"B61B70AD156AA68FE1E63363421B60CCB8E0E6D85C0F0884CA4EADCAEA60FB04BF9B96B3759BF4790A3BD2D6CAAD48DA3F99615C47461D15993CD4F174FE6A1B")
(:digest-bit-test 56 #x40 7 #h"6097C70A7662980088D9D0254BA0CE48ED5788FA2F48E8FEE465AF05D8A775F62AE460210C86BDB35CA65985BE92974223F5CC0DB53838CD7F1F8345845B0480")
(:digest-bit-test 56 #x20 7 #h"28C0E325105ADDDA3D15D3AEF4BFB0D9320C5992DAD052221D0B75DE8BDB2CC03E5326E373AD003550C2AFE046D2E916FF4E6315F356FFB24DCF99880E935ABF")
(:digest-bit-test 56 #x10 7 #h"34C81C1B3992F305468ED2CD97A2B45DADB05865DBC1F68019625D57B3803E9548B95E4EC6D03739FDB1573EC4FBD27F5A5543E04ABC2823F6BE91D37C8ABA4A")
(:digest-bit-test 56 #x08 7 #h"8AE6C50179F727C1738CD1877083A140B25AA629D4CC1EBD82E0F6567539FEAF4E874B02D2F215BA9463CB1A226D0152DD8BC9C7991A059B4E25B0D7D6D982DF")
(:digest-bit-test 56 #x04 7 #h"E55207D274825B0FFBB3F2F7FC9434C11E52FC0A704380E4208072FD0CB7E169C683F5A67D6B34C1335A565C65CE74D70F7779F1FF859E4D4F3BA4EBDA4A05D4")
(:digest-bit-test 56 #x02 7 #h"CE44520AC7BE9B162DD0DD9A2F1E9869B7CDE670435E5A8BE3992F0AB21E25000BB23BD23DB9C91741E8F8471562D6697C806654B11C1A96D944D7A3F6203A49")
(:digest-bit-test 56 #x01 7 #h"7EEFF2C0786CECE0A0442948663A8F3952C756E7020AC19A050E8668108BF062A0D2F61AF38E7E53F825781F5F6F80662CD3676FC82EF4E0ABB8F01368749ED5")
(:digest-bit-test 57 #x80 6 #h"D58737DB6CAACEE54FEA2B2731C9F20350987A8D0C5F60D6D3086EFC81D4DF9DCF9B6836F6A89B8A6197628A18CE92CC68000DF8CFA6F16374A5624CEC0FE857")
(:digest-bit-test 57 #x40 6 #h"0D2F1495390183D84C0A5D68515B48CFBEB62027E3970FA41380D8F99C5B6C58FA18756FE6CD5EA60A79271285223456B87A9192B1E5778C9BFC0B7E4964DFBE")
(:digest-bit-test 57 #x20 6 #h"0E46D3DA58447C267CEFB8EF3EA8EA754893E1FA570A16E5CF825BE20B45501D9D7FC42D42F2A3D784050E1866C7B6B3B778DCFE5DADC59199EF70D07C772824")
(:digest-bit-test 57 #x10 6 #h"D3FFBB932B17C5BEA745BE0CDE5138EB1144E5DEB8850C7A34B68207FB5E4B88B210E54E0BD79B7E8FFD1C007A8CAA56FA2FB806A6B1B0EEE9EBBE46DA34FEA4")
(:digest-bit-test 57 #x08 6 #h"EB45091BEB7E8D0C702D11DBFA4664B0070884169D385AEC6A031CB28EF3A778B55261FBF118D746FE4AC23E808E4F11B3B2E67ECFDB1EDF8EC35BD756F9BA5C")
(:digest-bit-test 57 #x04 6 #h"5370930568308D50394DA5D1B88F8F294881B81C7C2566D622EB1506DBD8BCA9E978B78E2F16C1F0F4B17AB2BE880000F020A1A9A2E1BBB449A1B57F1D96DD5B")
(:digest-bit-test 57 #x02 6 #h"CA88E9181BF0764C25E5C161289F1B8B7A04CF631D155DFD0FF87F9E71BD9B2E0D3B80041FEFE1A0667CAC959145CD5202CBB15CD1DB746C6798ADA14384C0BC")
(:digest-bit-test 57 #x01 6 #h"DD7BC2B4815D133621DEC056EE17AB1AE1B069D437FC3D229BC077A7513785F22910CA62AE695F47F3F6B5EA1D0321F514AA0AC4D094E14CB043002A6858D485")
(:digest-bit-test 58 #x80 5 #h"A094F2A798063958830A1131A6BCCC47DE68FDEEE32E2CA2C66F86B8F89900516BF979580FE91C43DE080DF67D1E77F730D078C6A7F18CBDB7BD0BE173AD0389")
(:digest-bit-test 58 #x40 5 #h"4E60423EB5B7AA985D56DEF9A11E3353AE67133F1B3587C1A41F1A21877C7161C79926EACADC7290C30A8B9426A21698F95FB58E21F3BC2A40BC2375CC0E5235")
(:digest-bit-test 58 #x20 5 #h"D7D1E0B7830BD4CB240CC6E075E4BDA039EA670BBECDD50AF103DFAF8A67063A5C4CE3593871E9FAED3A6A85334FE925F13AFE32CC81A85CAB00A797C191506F")
(:digest-bit-test 58 #x10 5 #h"DD98D17AE17295F1CE155FA905AF08B15611E60DE7B88F20E5F7D9662EBB8B6C0C10D5866BF06514B61EA931908323527939ABE4F04A5C1F4A07B246770D265B")
(:digest-bit-test 58 #x08 5 #h"77FF15E968645D3BCE6529AE792695FA9D707E33724C60DEE76B26BED3C48969605D8E264E3BDA22F0AFA1D34BB6428F745E67DC9BEBCCEFAC21E4F03B97727A")
(:digest-bit-test 58 #x04 5 #h"36BA8F0D0B5DEF0A208AAC91DDA52D6EE568B85B6CE635783DDC7CB1497494E949BE9C3E01A291CACD0D95F167A8BBE97F20B7F2F314D2D7389A5BA50898C4D9")
(:digest-bit-test 58 #x02 5 #h"66B40FED2160CE54385D591B20C57B0BD6B8356F456F65B73A0988A5C56EF1D76AD8596C07DC98C1CEC4F8227B418222F7DE631BD4BD6A145F4506FAB4DA8286")
(:digest-bit-test 58 #x01 5 #h"15683EC859B4E8E7E250FB52B213D9C79800B0E1906F0B4C74BCEEFE499D591144AD67EBBBFB65F64CAF6A289FB893DE8D90A347CEF3FA58E940603087C128A8")
(:digest-bit-test 59 #x80 4 #h"4FECC42F6D9D206E3BC47E11C292835239B93EBE8453C097F4F0C24CB0966BADDF21095BCE26A0399E88719067E1A71D2D578A745D31D90761E1D02F2AAD152D")
(:digest-bit-test 59 #x40 4 #h"5EC9EA77D1AFDA51405C5D3010C09BA0053A425B33EF0825156758AFBDDD803C7128B418FBAF56E40F31DE2BDB2BA802D9F36FAF3A4E5DD6BD37287FCF4F88B2")
(:digest-bit-test 59 #x20 4 #h"B42342C0969EAE8C3881CE80B601516EBE5FEA463CAA6B24D0CCAA66462D9EC91DE32B7230558D8913EFFF44C568885F226B70B1341EB025C6ACC2478B0B673B")
(:digest-bit-test 59 #x10 4 #h"0F94ED73EEB5EE9913161F1E35A0941B0FC397BB08FAABC01F62127CD14612F44AD999E15E21B08F9E7ABADE213FCFC03A635A94D51CC6DEC3119EF15BF3E90C")
(:digest-bit-test 59 #x08 4 #h"CEBEE3823964A072E7268CC01D6A0CF5963C4A2FB35B849D2AE5E6F162C05D569E60CA32B8B084A0A853DDF9AD9D8AB0AE9FD7189B8B7ACB90BB841F68F694FD")
(:digest-bit-test 59 #x04 4 #h"A7238DBF7668B0BD94D8A990625FA4FEB58197CCD313BD7B914653CBDEB069A927DDE3EAC45180E2EDE6CCF36EDD6894CE57681A11B149E00B36A15E0610BBEA")
(:digest-bit-test 59 #x02 4 #h"516CFE773620C66828CE60B63D658656D2C05E438AB630AB67181D4718CF146372B82C6A28048E59DE419E92B224F58FE5B7A9390F914FEBB5153C2EBAB3E0BC")
(:digest-bit-test 59 #x01 4 #h"79EF809A330347C7EF7910750A739E92A94CF05E3A81A68C090E85CBCE8763B10472206966394E8BF9E8D934DBF1CCC8C171F32C8152C17A45BC6B0283C1A9AD")
(:digest-bit-test 60 #x80 3 #h"DC98E4A347C69F7CB06C3CBC60D44C1B5278B5EE16D1C6950B7444F44FE517F9AC284EC808738D01086270FE24C78957C4CB073DEAB3B015588983B86CAE4E33")
(:digest-bit-test 60 #x40 3 #h"840C65EF0ED3CAF5351396C2B3349D72EAFACB53BC483778FE209B94A5248BC62090BF6E5E19D200DA20A76ED31DDA39E5F21FF506289279277D483DB12BA6F7")
(:digest-bit-test 60 #x20 3 #h"44B8FB2C2BA4C20D140A954D76251E82D6BDF446C96A89908673E8E7226EB8E108614FFC4E282BA7DE021FDCF58BA6774196615073F213F9EDE25B316FA044FB")
(:digest-bit-test 60 #x10 3 #h"B88818996D0A75B65054BBDFBBC24273E1123291D58B0347AF2764EA4323B2D48335AC8C5D0B4AEDCFC4E8C4DCFC80B3ED3707EE17ADDD0F301296FA28C49A21")
(:digest-bit-test 60 #x08 3 #h"BFC8806B7DD38F0D2A45C3425F6F6AD2E31DD61BB19ED51258164AADEB218FBEA76F5C6900F37D8976E0EBDA4AEA22E75F44C98F990C34F1CA60042246F62E36")
(:digest-bit-test 60 #x04 3 #h"CC0D6B8C5B0D6FD469025640E0F21DAAE7C0591129CF170D2E76C18DB3129747A6B2C22D5581A606FE749F2AD108433426225F24F47A89D41C32F00F6DD08ABC")
(:digest-bit-test 60 #x02 3 #h"7DFD9A3F16171369C535E0DE475E1BC82A5D13FD34AD5CD3D472035B40450EAFA749DC37DA62F7F23C0957BBB932ADDC94330BB1B59BC461243E8CC7E39FA6B0")
(:digest-bit-test 60 #x01 3 #h"CCCE96F690D865A220A7C8130BD24CE5016BF46BD6A4C9D882534E7067C0C97772DE316C829CBD00F68FFE5784244E0C209DE0E0AF278B5377F398A3B6C32FE5")
(:digest-bit-test 61 #x80 2 #h"C7B8A88D353F919FCC3B666FB8AC8D8FB24542486C15A0E461ADE1713E317E962C72DB43DD941BB1482BEABB7B130076FAE47565D9A11146F02BB81ED3E09CD5")
(:digest-bit-test 61 #x40 2 #h"123882AEF7A198D7BB5095FA2FB1822700DA042AE4D161C05298A0C3718964529FE964A96E627C06EA014C4D2ED28A190CE8745254D6C86F9374704C7FC0985D")
(:digest-bit-test 61 #x20 2 #h"94221E6CC44720A69A73B875ADAC569FA2159B1C3038A962BAF12CF4B5F64715A21A96D9AA4B7AF2763C5B35E4318C68A1EA19A5AFCA98D02BE6B1B99871F8C3")
(:digest-bit-test 61 #x10 2 #h"CAF89DF4AD3C01277237BB3888D308C69D553CC95D3A81ED88BE55835CEC786342AA58E076E4ABF40FC2E32D7B334D8E363F6EDBB629C6C6FD6E751A2BA86CE5")
(:digest-bit-test 61 #x08 2 #h"35042B3DB2FD94E5441B4C31C8B4E8B2ABAAA8D5EF3EBDEF45F77799052D7AD5689AC997B3582D023AFE09246DC796B25A57D21AC29023A2C6D7CC6D3FD8450C")
(:digest-bit-test 61 #x04 2 #h"FDF49B72D5AFB44388B5B28EBF7DA56CBC0E52F8B638B7F70FF8DF8916A2CD8BD1363A776BD4FC3CEC4126DC3725E9889C127BF222F1889875739C77CFF0C283")
(:digest-bit-test 61 #x02 2 #h"53E0CF24892C07E2647034267B78202F439A27A48320CD29F3CC381F31DCCA4C561C6551479964BB66E3092ADCFF46BFC680E62D3C6B5FD90CB94C666EEABAE9")
(:digest-bit-test 61 #x01 2 #h"271DC9151D8DECEADC97B1ECCD5F4CBE2357BA4C20BAC6800431269A32B6715144EE8B8EC9191473FF390C04E78C6DE6F0A8CBA9EE18100559F415B17DFFBB97")
(:digest-bit-test 62 #x80 1 #h"5254D3F778D35A1A08B090E7C54E7ADAC5F0560B0000D141FEF386E76221632662C4028C4ACE4B6267998D5C9078204CFC58C19A320C54AEAE45BFBAA7A28520")
(:digest-bit-test 62 #x40 1 #h"7495E8F64EDAE4CD0E58726379CFF623A981CAF800A99BC33618E53C79EBD5866C258DBA46EAD1AB20F111076BC2AF12F1ECCA509020F32B3EAC6ACD72B346E7")
(:digest-bit-test 62 #x20 1 #h"AC6671FB607C0841E06412D64C7417FC560691DE7640D1B422843FDD74E4CA4CF5E6A2691FD7E8B690F3052E01F7E0E54B9CBD1E6421007FD918C2C87BA393F5")
(:digest-bit-test 62 #x10 1 #h"CA0BAD33E1B7A2C227789460766B66E2173D149FA58801089F1AF7E2DF3E4980EFA4EA27606FFF2FB20DC2B331B866FD50938C1F012110A3777F7AE54FB333CF")
(:digest-bit-test 62 #x08 1 #h"2047DD721D2E159BD0698B756DC09A4E4B70CD965BBC60D25BCAF9B6AE6671C215BFD53F1130734DB5B0E23A093EB31E19D79E073A074A1D3CEA8274ACBAC5F1")
(:digest-bit-test 62 #x04 1 #h"4C455263B5077C0168BAE0B20DB9545FA6575964DF7C4CDBC893F322DD90D1D1F89F3C8BC85CD56D7170A01A371F2C39A90A6714E7F20F81F9C6022AA75E8419")
(:digest-bit-test 62 #x02 1 #h"C7B4ED422B58C3150229612E096FE9DC9498728468477C9DCAC3691D7657B1EC13BDA8005BE91F3A5622A12C87E0497DAF626C58B83B83AEF0741F019DCDFFCB")
(:digest-bit-test 62 #x01 1 #h"ED6BD216362CA0DBF651E40AD73D4DA07211CA4BB324505D4C3E531031B63019F8F6B1819715F8F4CAC091AD636A33EAC2677C81EFD7185F382D1C1FF88EA22E")
(:digest-bit-test 63 #x80 0 #h"0813B60406C753F8C2C0A843BC4BE0EDDF77DCB5AC16075BA04CEA4A321F3CC5697182A501EFD3F9FD72BD448A0573C310A10D223B5E43C4F2B3FA9E0480637E")
(:digest-bit-test 63 #x40 0 #h"D7AFFBC1CC58536AEFF876AF9EB9A4884CAEE57EDAD98BA4AFC44AFE55D735D7419EE13109965E56A5A1FC76D225E2EC484F7C3303B91B16E0E41B1B95E98D4D")
(:digest-bit-test 63 #x20 0 #h"A3302F92B5CB0A103DF25FA8AA375EDB2F4AC323E1AC8D12C6BCC5467C8837D86C97DDDD114A2E30D245CBA0B9D3772645A64A29A447B1F656FECB026F32FEAA")
(:digest-bit-test 63 #x10 0 #h"241EE38D4511ACE1E7BB519083FA550C7955F961E83C7C7490AB521EF2117FE33B2D1A59134EAAE2CC5D41B4F9A7DDEB8D1C05D1387B9C647798F89F2B211757")
(:digest-bit-test 63 #x08 0 #h"B6A4A828466F3F4FBC707DF1ED1321E7A6728B1DCECAA24375A5950D0FB60B59D86C0C02678907C35C62D2BD65019BC80240E25BA3CC01A2338299E13F23154E")
(:digest-bit-test 63 #x04 0 #h"4895EBBD90CFDBF45D6CACF29DC6A5EE8BE1BE3A396F871ED8D60B89C37FFDD64ECAC08A43A9F5010254832D9AAE0B594B2FE2546531A2E76FF3E1DD1BA254D3")
(:digest-bit-test 63 #x02 0 #h"D966D0EB0C6EE7235DC135B8DD86F128CEE6F83A81CC1FD54DF358D421154DFC94B82CFE69777E73C68CCD5B60D597A2432A1BC2238021B0A4F73ACE8E9D96BD")
(:digest-bit-test 63 #x01 0 #h"3A621DA1125ED4AA186EDC9E26F0E5560504CE8BC7C309AFE5D3002E38B338B5ACBDDCC1CA253B088BA69B69478A94F03014D22A98E9B31D67894426E30F3511")