# NIST CAVP DRBG vectors (drbgtestvectors.zip, CTR_DRBG.rsp), [AES-256 no df]: COUNT = 0 of each of
# the 16 sections in each of the three files (every combination of personalization and additional
# input lengths). '-' is an empty field. ReturnedBits is the output of the second generate.
mode entropy pers entropy_reseed add_reseed add1 add2 epr1 epr2 returned
no_reseed df5d73faa468649edda33b5cca79b0b05600419ccb7a879ddfec9db32ee494e5531b51de16a30f769262474c73bec010 - - - - - - - d1c07cd95af8a7f11012c84ce48bb8cb87189e99d40fccb1771c619bdf82ab2280b1dc2f2581f39164f7ac0c510494b3a43c41b7db17514c87b107ae793e01c5
no_reseed f45e9d040c1456f1c7f26e7f146469fbe3973007fe037239ad57623046e7ec52221b22eec208b22ac4cf4ca8d6253874 - - - 28819bc79b92fc8790ebdc99812cdcea5c96e6feab32801ec1851b9f46e80eb6800028e61fbccb6ccbe42b06bf5a0864 418ca848027e1b3c84d66717e6f31bf89684d5db94cd2d579233f716ac70ab66cc7b01a6f9ab8c7665fcc37dba4af1ad - - 4f11406bd303c104243441a8f828bf0293cb20ac39392061429c3f56c1f426239f8f0c687b69897a2c7c8c2b4fb520b62741ffdd29f038b7c82a9d00a890a3ed
no_reseed 22a89ee0e37b54ea636863d9fed10821f1952a428488d528eceb9d2ec69d573ec6216216fb3e8f72a148a5ada9d620b1 953c10badcbcd45fb4e5475826477fc137ac96a49ad5005fb14bdaf6468ae7f46c5d0de22d304afc67989615adc2e983 - - - - - - f7fab6a6fcf445f0a0434b2aa0c610bdef5489ecd95414634623add18a9f888bca6be151312d1b9e8f83bd0acad6234d3bccc11b63a40d6fbff448f67db0b91f
no_reseed 0dd4d80062ecc0f359efbe7723020be9b88b550fe74088094069e74428395856f63eed4f5b0e7d1e006f0eaff74f638c d2aa2ccd4bc6537e51f6550ab6d6294547bef3e971a7f128e4436f957de9982c93ee22110b0e40ab33a7d3dfa22f599d - - 0b081bab6c74d86b4a010e2ded99d14e0c9838f7c3d69afd64f1b66377d95cdcb7f6ec5358e3516034c3339ced7e1638 ca818f938ae0c7f4f507e4cfec10e7baf51fe34b89a502f754d2d2be7395120fe1fb013c67ac2500b3d17b735da09a6e - - 6808268b13e236f642c06deba2494496e7003c937ebf6f7cb7c92104ea090f18484aa075560d7844a06eb559948c93b26ae40f2db98ecb53ad593eb4c78f82b1
no_reseed fc7f2629c9d88672f81229bbcc0c7e75c4b7d8e5d9380702ea52dc495600a56e4ae5f0a5c25fb5d7e31f5aef4712bc19 - - - - - - - c6775c9c64137c018418c4f001d0e4d1f2dc4411d379a678f1d71eee0bdc28c66eacbd38f76be45bf992a709af14d146c35f91702d27a1f4176332ebd903fff9
no_reseed e9cde3f9ce0366deb161c40b1621641e583bb55114d912c40b7a7e7e2ea53e50665ca133a50e934cc1b4dbbf89c072e0 - - - be3dfbe5c9079f161b21b7a0781b607363a653350af68d82e21ce149c2fc3b98cac39e72751a61da13a0616e31118e96 7e1627e98faa462ef6314d45a231b7f1a14a54ce8615500d144474a92d259fcc230ffb909853c168bd93531631de25d1 - - 2f265fbe1462014843a16548e172464060c41591b9adf1b76a79ae51c9a45223e6ef39a1eca2613ce9d682545d967d88b34808eb4d9a8e42cfed82eafc334d62
no_reseed d8078f99d5da1b312e4512acbccc198930453975d3d50fb5a13f25fdb11a5fed1a246e6bc153952a16623c233e13e241 df1b8b21725ff886af4c647af1a587b1339e0973782e95c93f3b40bf421d5d03cec2b0b41f9058d730eb0fb53568d00a - - - - - - 5edb9b25287f2b5b1e5fd81f69771ccab3b9876bf2ecdd644c9c6c5fe8dd988e0d7622dee902366449f2063e3f826df99743806b825fe8c85946af3b4781d6aa
no_reseed b91280bab68e2827d9e151a48e4b6a0812fe297dcb40c5fb91956f326cf998f5e6144886700541b0b6c26ad7a7aaacae 244041d62b3ae7097190e1e43a40cbbb2d102ba204be6ba352e787b1ef508cd197486b5ea7cb17ecb000bdc976b3e20a - - 015f53d7b4e64156469944566a219579d54b498d5e3fbe42001ddb133e1a9137b84f57dea8b915bc5fe4f66e8e71b13f ed1f74c1dbbb5b3094fe5d01f105d412d57e5cd17eebcf5cfc4379720fdd269cd93947ad1ecdc8d88a8d4d3ed387138e - - 54bb9c7df65ed95dfff1178bdf098fca7b5559bfe8fe976c1c83864093583a1a181ef55a0d31711197b8235f8f799c3c1ec4a0194c7259f80ca1500821d2953f
no_reseed d2be2dc7520e5ab10975e2eddd0a8dd6dced9e364dfb47bf263d25e75c6f8c9ebf386f02ff0a722676b1cda18aba0cc4 - - - - - - - 2c1db42f45fd2fd6ccaf48d45f544b149b446cdcd0e88fd511f3887a2d1969060b26cc004559bf17e8be81b8d480fd728b3217ce10dd8bf80e622778db76de77
no_reseed 5eaf1fd9f7d73f8ca3a37449ab605d88763f9d8fce1425cec8e7267b89051ff9ebdded7c2441fa64865ad98e57d6dd8a - - - 1b4b262e316446c840211dc3f7fd1071cde179ee9d2783706c0791359c7bf68b07ba880edcf4b761239e6bcf69bf8cfc 739fd85804e5b848267da4dbc8f0266de119563ed68cad5777b4f8d07e58bedbcca5f2c9af339328e5cb238a21b16360 - - 8e1336b302f12b2101d18159072dd150fbfc8d794ffe5d7e54dd9fb80c09f50501c6d179adff456c15156d16dc386107f246d15bfa2a99c872f984475055a631
no_reseed 31d9b26b6eb7fb569c1d3242b50a19e13f7bfcf0b15ea73997acac847b3ab840a72d03ff21f6b52e4f6555fb8a4ca97d df3622282c7d1ccdd1784e508137c2d0c912b7908ca75e28329455e36d9174530518d28395114d1cc8af71ace5253e03 - - - - - - bccd3fea43df70afe2d9578f4ac4b4087a0ed372a67487089d9de938699365aefc924b7dc9d83884be2746e196ce89e07ede233d16342d227571f08971609522
no_reseed ce8aa744796898911ed6774d06dd45298ee7403f084078be9b502f4df8128c71cfb6de3dde92f5419a445f55259d2302 f275e2c6c2a5b90cd5b8ecf02694f8ca77d3bfd62bca6bae33e3b7a035c21ef20947100fa936def4a8608788abf34ecf - - 07a3a781ee4a17d110ba896438d365da364bbbebee04c1892cc93b59fcf31aaa780cb664b9b054e40a20b0dd435a4e3a 4e17f0138089dc31e1cdd377f1eb4cb4da4745e79843f36082dbaed6927234c675a061111d5fe91b383a8b4e3ecdb59d - - a0bd4ebc1f2e28e9593982af694aeb45437c20f7887090b947be33fb8d62255b2f3be7d5d67e52f5e82620eb40a3e112af1593aae5fa592a1630966f8ca455a7
no_reseed 5667df8e8147f0d593989c0b28be7497fa9e28f46c00bde12e53aa26dc3d07dc8d7608b55a16e92709762c2c1dee64b3 - - - - - - - 639e5394b539da7be7e365849c695338c296954939e4d605c88f6056cab636838e2a51fbd09963844b044e83b454c87a52d25dad86cd52b9fe8a66e1b01fd4e3
no_reseed 17f59a45480dc74bc35c52c5bacc06dea9ce7e4a6e1f3ad92f92cc12c70185eea5ecb2924342700ce0ff7481ab1a01a2 - - - 0347d69441ec40543006c0413375fcb10b8123c0864387876921916c7b08aa8f0473a21f91cc5e7c943453030982d104 03f62d5fb88bd812d3ee0272adb5393617ce5e7051da2354d3fd7981863b184e8f4a567b2aaa48d2b37a80bf9c090436 - - 32bb4243255b23e96e02142a4fa89b2bd853f26a3e6d4cc6ab9b2c1fe9d44beab8b618ee8db17f02668dcaf9f7f208009a9247eb65f78ff7d0b6be1f7aa02f83
no_reseed bc878e4fb59bf43cc7f86525a0db68845b88ee484b4b6e59a4e016ac61cbf15429dc50916e5bdb384cc17d19b7b6dfcb 92c5221d5ccbc39e4ad3a79c9362091857a7ad4569660a786bdace18d574d18dfba4cc10f7a4c82230089be7c0d8657f - - - - - - d94615f9b23b17293b9ae8e15f363ec07bfcce20d9183c0ca9bfd25d67a85203645162ad9104552e7cd1fb8713bddd579b705a8074a9af93171972c851221f4d
no_reseed 9c2aa30349a0253b3a97ccf924f8bcafe1e1364600b4905a4d9a0d54f7f56ebd00079fcc12f83dfac71aa1f2c847127e 57164cea958223964e94b3596c1afc06818dfe90841132c327342bbb654b74f20e5f50658324061205a8eea21dddcf48 - - 4125bec3174314c603cf052af47bebf6433a17cd8a8fcb186f14cbd5761c09216d48b41d4fb17481afaf4dbc08681ae9 dabf9135ae5d14280f2e269ea83f44dc2eb4d7613e5964cb1d499f7b5bdce45402546e86a78680bcd8ce1fe9d71ee758 - - ec2e92976c00b2364838bd6cae8f4cc6194f39d722d88d990b32e595aa82de661534a0248de6daf4dc3698b7a0eef02dbc9e331c7cf4c029f55ca7abebd062db
pr_false e4bc23c5089a19d86f4119cb3fa08c0a4991e0a1def17e101e4c14d9c323460a7c2fb58e0b086c6c57b55f56cae25bad - fd85a836bba85019881e8c6bad23c9061adc75477659acaea8e4a01dfe07a1832dad1c136f59d70f8653a5dc118663d6 - - - - - b2cb8905c05e5950ca31895096be29ea3d5a3b82b269495554eb80fe07de43e193b9e7c3ece73b80e062b1c1f68202fbb1c52a040ea2478864295282234aaada
pr_false 99903165903fea49c2db26ed675e44cc14cb2c1f28b836b203240b02771e831146ffc4335373bb344688c5c950670291 - b4ee99fa9e0eddaf4a3612013cd636c4af69177b43eebb3c58a305b9979b68b5cc820504f6c029aad78a5d29c66e84a0 2d8c5c28b05696e74774eb69a10f01c5fabc62691ddf7848a8004bb5eeb4d2c5febe1aa01f4d557b23d7e9a0e4e90655 0dc9cde42ac6e856f01a55f219c614de90c659260948db5053d414bab0ec2e13e995120c3eb5aafc25dc4bdcef8ace24 711be6c035013189f362211889248ca8a3268e63a7eb26836d915810a680ac4a33cd1180811a31a0f44f08db3dd64f91 - - 11c7a0326ea737baa7a993d510fafee5374e7bbe17ef0e3e29f50fa68aac2124b017d449768491cac06d136d691a4e80785739f9aaedf311bba752a3268cc531
pr_false ffad10100025a879672ff50374b286712f457dd01441d76ac1a1cd15c7390dd93179a2f5920d198bf34a1b76fbc21289 1d2be6f25e88fa30c4ef42e4d54efd957dec231fa00143ca47580be666a8c143a916c90b3819a0a7ea914e3c9a2e7a3f 6c1a089cae313363bc76a780139eb4f2f2048b1f6b07896c5c412bff0385440fc43b73facbb79e3a252fa01fe17ab391 - - - - - e053c7d4bd9099ef6a99f190a5fd80219437d642006672338da6e0fe73ca4d24ffa51151bfbdac78d8a2f6255046edf57a04626e9977139c6933274299f3bdff
pr_false ae7ebe062971f5eb32e5b21444750785de816595ad2cbe80a209c8f8ab04b5468166de8c6ae522d8f10b56386a3b424f 55860dae57fcac297087c137efb796878a75868f6e7681114e9b73ed0c67e3c62bfc9f5d77e8caa59bcdb223f4ffd247 a42407931bfeca70e6ee5dd197021a129525051c07468e8b25587c5ad50abe9204e882fe847b8fd47cf7b4360e5aa034 ee4c88d1eb05f4853663eada501d2fc4b4984b283a88db579af2113031e03d9bc570de943dd168918f3ba8065581fea7 4b4b03ef19b0f259dca2b3ee3ae4cd86c3895a784b3d8eee043a2003c08289f8fffdad141e6b1ab2174d8d5d79c1e581 3062b33f116b46e20fe3c354726ae9b2a3a4c51922c8107863cb86f1f0bdad7554075659d91c371e2b11b1e8106a1ed5 - - 0d270518baeafac160ff1cb28c11ef68712c764c0c01674e6c9ca2cc9c7e0e8accfd3c753635ee070081eee7628af6187fbc2854b3c204461a796cf3f3fcb092
pr_false fca0b6e557f51430dd787ab4d33f18d9aec219629d1b839a35caafc825ab55be6a880321be58c16eacb945b7bb7cadb7 - 7b684923ae50866f710d3b5b2edf2445593fe66d15f2dc735e2b0c278f1cc9735075dd268b91408ef73d550423545adc - - - - - 29375671407b1a45b9fd8b4f507dda234822d557e48b9a52997b13757e0c2f796c8741f94bc2bd0d8c98e5e25e4cee65e4dd634c98bc3b66fb6279f9468ac841
pr_false 791fa5e81f80e8b141e228a0d623436f3bb523d8a03e98b0234705cd8b9d94be9794a2f6ffe029a853a627f9260fbc7e - fe04245537637cef4c8c5cd33ba941d5aa03ca9f1deb586979123521aa811598f81c0c443469b029bad0bb7fb0c99f82 efc127b013c34b70a9f284fd1df3be0f2885d3cabe0667762f0ea807340e29d65cc2c0f962f54357706ca0b6fc1f2e22 6c68a2f1e5955dc83829a7e5acbb9e110287524032f0ee914a783c561a1f444aeae68a35567d443c0c918e38c565067a 8a6825420531f924935cf338d68df99f0f7cfa32eb9d002468e6b2621f0955a82b2c4ac754ba0c8eed24c5d8e90363c6 - - 658dd97b30a6432690c62322ee933b44dbe54d64644a59d9b944bff47c3dbc1c9f123a53b899d9b86dcfa1ed1d5fbfeeb9033dfdf291f9e843568309464d23d1
pr_false 91e15b57886156d0eae2eda3687cc4b617725647fc3423fb548f180338064ab66898005009c2c9c5f7c420d99e4f351a 7100bee1f8ca38f4f07b9910b12baece715222663a1d5c1699b5d4022c0e0b1a49c94b898e5318f6861b43a8f1a4a882 25da9700e7988a46b2fb44358fc3b140af96b9f85cfc747978e85afcca0bcc02e807af830b3c0e6960a60bbc2ded891b - - - - - eaa80c6f590f28cc7b5edbd3d8643a68f7e6de873b0b9d839b0ab96ca248bb4b9234b1c065857d936ce6dd0fc92d6b3cf98f3a29c16bb549f6dea4221226e550
pr_false eed2cf41ef920a298aa71c28c46377392b95cf75182cb47ff2539ac9df5db7b2b14c3c99900cc7389effb719bacb581f 88cb735f569879f24d958b54d4a5544bd728971ec531f82e02c113b783446afbec857b505e00a1b5c8b2749e1eb19b03 f03301f27e7f9519ad947d8b16862b47008bc03e55d2f0ce9bf83232d3b0c816580fa58b5bc3fe6301f2cc8d03c9f85e ffc23a43f85aef5d29cff5cdf327517777f68c0174220fbc825c70eba3525f579b10dd367d163c740c57db0b6d88b37c c5f108eb450dd628429a321af43a9dfaaec6bef2d1caad89bcd86cc35ca95ed85f796bb3bafb071ad2d708230bf1be84 da2a98b2298e3f4f691e91fb6c719d67d3c37a916e50bd2aec09263c8e7616b75619472f4dcfd97be135c09f0b825f0a - - 4eb6caaccc317dadc89037642e6216fa3a4832915133e736d6a5c1006139076b4d8bb44b605e1d6bf414e200529d5fd9d95c76a9714fd91d4e56fc7d90d660a3
pr_false 3fa904747034cc3093deaac497e3c143fa4400accfc55885717fa943f43cbad1a89168aa76961e150e2649ec1ed67361 - c60c5b415bad715493486b7a123ba6c046089e9549ea8bb22a7ad4108bec98117f751a2e4cc20b02510d2a3d02605b4d - - - - - ab2d709de881164b6c2149b21eae1517f87561649e0dd9ca5ce551c5bd12fdf7091e081d307123aec5ae7c30afd2a64c8d136ea07f7ec5edb4400b9a64456642
pr_false 696cbd64f07b112155e7fdf5c6f4f305ff0e82f9d91cc012e225f05afe8bce3114347696b63c46ca0308adecc0d6c908 - 23f7a55ae9bd6d13e4999b1dedf4c08897c41e12a51991ba40a4f53f19afdf514a77a5808c65abbdbb22cc70c2e41bd9 beb4213efc8b9f23b7e207061beac40e0095e4d7636d97504b16ea972ecea6fc074145d31847441a310ea3d09d2c2e86 afe68249563b6dc7abe5a1f691d92f378678721478bd452003a8f72db0262e40c55e9e56561a50916675903a3110ca6e 5f21d784fa3314bd386fe08286c5c903c3f77005425c6331bf903233839aa2306e34077c91dc5783b8b946410b1785fd - - 975c38fb3191d3e15a808442a6da6e2727c373aa64a9b16fa469c23cc4c22ff8c1c33949fa6188e319d6d66b0c3caaab7395b38cd54979aa18d505259d8d2352
pr_false a3687375129c9886ea48a2f49be328dd2bcf46689a59de69a929dcb01e6b79ac96f98dded9e13811c25c55597bbd3f8b da7c742b408deb1b026ec5dfeb00dd075f48069c185e5d355b09eff88fccf289ef045226c2e2991e20b0976433994c0d 40ca114f31a545b929c4225d0d2199743a5df36a8361892d5cdf35218eed6354a65caf04d861f61475625b215ac6383c - - - - - 47a4521dd45c7b72e39b7bb6be14bfb4029f33ea87bf11f1841e01d3372d7a0c6d1289e0ec60599c28c40f382f7dce33cf81575520bff5580087f3010880bdbc
pr_false ed64cf25e9ca81e5572ebccbf892c8ac9d88c256b7ddd3f7f477579f80ea8fec7c452159b1a6ac9c59767504c0573b29 f19cf2f821440adfa1f7f634a26925dc63e29b7993f7860558afc4d7c61f0d83145cdb13102e513edddfcf48bef17464 d91c7a31dc11edf5c778bb1bc92067b6df2b5b5e90c04df5172562bbd38937ad62715c287651ce8ad4bf4c80b14c8c1e 02bac94171c112c3774769148f137e6b72fd4bf9a74464cd24a7dfc6f75cab82a15e3847afe86999d0f665577bba6c20 ffb738e975f48c5a5a7d8a63c418abb0604efe3cecac611bdf292e2ab47a4d33099ebdcb0d6c89c5849c1ed9693c435e 459f3d979eda0f8f8c273768df1f92344abfba4eaedf00356f02461e449da18843a44b08a46413dd3a1eb1ab5bd146ec - - 2a6a38fb6575f55cddb774ef51ca9db72e729065d102e866877798651f1850cf3be808f6378f860fcde6fc631b955fa07b5b7f5dd1ad1d1f32837ffa07311383
pr_false f52b9e211605277c7720c9a6e252846e54d9f1ce442ed891c58dba70c58a8a3b59bbac22fa78dc2683be964a7b3349f3 - a16ae58c900fd2c89445d6b1775b4ed879b918a577622687e5e76685f05d04265058286a1a42794abe44ca798e32eda1 - - - - - 5d2544951b74e09b8601c19c99301784938c595b4db3b2df474b10caad9e4930e1f0107662408ec374ddee05d84521e3e9ea7d2114f03f9a9a92ada6253cc3e5
pr_false 20a8e7e47108cd4f283e5b169855bda83899516e51825bb52248ba8c405da44964502c9fc74da0e2ad4ca1f493134243 - 98ba67c7e057a5a328bc9b223796b36947b1fca1ab6b20c1dd25142e949df27e8122c8a6792d8a1156a60b1170a3b5c4 648fa229f5ea25ee6c7453ed577c70f755a2cb90f852b72b282d30bedebaf74af461a2a8a3456e653e7de9ef3740bc44 daf5b64ba409b524c211a300465c631bd900453221023a41927b3d144da0131d89f74c0f18b029994ce84ec9b3684293 6138156ccc58e759d762fb5db2c0926ade760ff531582f1bd8ef430f7f7ab623f82082ad58c2d629340945546bf94e2d - - db51c68e5dc6dc500dafa4d07836749df4fc54d0c8e78a3a01ad3162c2438d8aa1698c4ab6b448c3ebd37d23fae3c9ba6aad0912cd15475e9478d4793617a3ce
pr_false b5e2af38591a9743e5d3e458848a3998536d3b625e1694be847f95c3bfbda267f08624be4bb6aa496e1b596be523e7c4 0a9a59e7605c0e12fae317bb004aecf1427bda4dca7718801895c38179fd36cd922634c3789a99b9d9c556fe50a41de4 942ee972a599f346be15299d347823028469fc883c5e45479e9243df8710d1dc5c3073031e62f605f297479c5bcff993 - - - - - 1f818218f06c9833f084c2b0ecd058d377b2d08c2943f4d24d2b5d7cad2ba49697dc3ad8d6c5c5af6372f02c1868756ca7b39b548cbf0d2bc5da2d11ed5c8f7f
pr_false fa207b20ecb0c64851516ee83ed33caaf871315d781eb04be4abde3bef91a3c1f837cbe5fb9494f4865386fe53e85f5f 136c23eda52225168b3617107af57467d1661a5e3ff30fd14048202c535dfb681e8eb5ccc4353a919d0149df94abb1d3 3fa812a3f8d90425381117a9360b7a3fc67e3405e5a2b584dc7e8668da098461b3035c0458fed25e293a5a676640cfe3 814793c9a4d6e27ae4b661017f994a7960bec9b3ef9390ecb266a93acb091445c9368f942d51bdb01b94be1fc3f89cdd 1f764ef9d091e635f9e919746683d2d6e9e02d04756b1c3ba8861531f88ee89c60aa3482f9a1fcf60293cdf5b64328b9 3553e3ca834e2c25caa1f143d5958259a491d83af4ef4170b3bc2fe36d256a355689d84b8114bc993dc3bb3a925f13ae - - 507628cba7e3fffaf4935713f32c09c3047e90588302c038add821b24b76047c72d43df031018030cc0a4a53e7c8b08b033f0077b100ae7839543cff96348c99
pr_true faf346c9c8afbc5ab6e33ce492247fac6db9a7ba4297557f587a42563ddf56c90e41c6afb56233815b74e091bac7d8e5 - - - - - dfc111252d7146922713720ae1e348a07ae403b5238fefb4e8592f6f6cc4a61c94828db84c6faecd1502261008011f2c 4528bac5b99c772347d44f4ece79bc811ca8ebea9483fa5f5040c02f77069dad1aec7adaa8a9a6a9ddabab045d328a90 bc013dc891db12c34ad11944805bf13dfd67ff2c23176d83f5b396b69e400042252e11816c3095421137181a5d0ee37c83a339c58d080946ca90aa437d50d9cf
pr_true c519cd4f839c9a5e936485242c4da847f47af5b544acd12b49036453655de3ed57b2ae015822a60edcfb859b00bbef2e - - - 7e95d809c11a7a975230da9599d0073136bd057a1a6990f980894c01912bc39b8dac94c083933d39278f65542dd8dd4e 188357a4c4dbdd05cb6bc5d9160d5d951cef6ed9ab6c622b5a9cda2c761d9278235fbe9d6312b9d892a59abb7f3f4865 0415f8fd00d4d2454706142083346304d8051b8259d08de493d991d366a42fd452d6533346896d323ba1066a485ef105 9a146501a4dc9349b0392897263cfa414b6fc7e59d7093ab66bd265b7e41b5c2766f56d97b7d22d02220cbc389b34a6f cb79c79dd19a72b303a2568266abf23ad6e341cfcfee8a768af64584e4e471dedc0d832a04e8dcf4b896ad9bf4a4a2495cc6f3efd22a68938424717dd75e83b0
pr_true c8f0c7b9bdf7e7d524c998aedeabb3b7dd4fa8f95c51b582010a5e09d0b4b1ad510302422df738fbef002a051543b4cc 3b8f2ed03e4c4a857ebaf4730124ae5b3ffa67e294381fe085e1d5b25bb79c228f39b9912d8bf9e84cdb43fcefb552e0 - - - - c1a7b160c8e33a01fbd49743dc1161539390d9ba6b876fe63b58e8fd605b98617322578b17aca9db71e858b154f97910 d98b25eda41d15eacdecba586609d8c743704fa099ac37f9185bcb19652723d1648431a73c4399773c85caf12fcdd842 338da59350a72bba94b217b99ff813fafa85f31fa7e991d4350d6fce39471aa249c6a9e7d189649ea6770a15be302b943ad403728b7387f5984c9bfb82597771
pr_true c54805274bde00aa5289e0513579019707666d2fa7a1c8908865891c87c0c652335a4d3cc415bc30742b164647f8820f d63fb5afa2101fa4b8a6c3b89d9c250ac728fc1ddad0e7585b5d54728ed20c2f940e89155596e3b963635b6d6088164b - - 744bfae3c23a5cc9a3b373b6c50795068d35eb8a339746ac810d16f864e880061082edf9d2687c211960aa83400f85f9 ad55c682962aa4fe9ebc227c9402e79b0aa7874844d33eaee7e2d15baf81d9d33936e4d93f28ad109657b512aee115a5 b2ad31d1f20dcf30dd526ec9156c07f270216bdb59197325bab180675929888ab699c54fb21819b7d921d6346bff2f7f eca449048d26fd38f8ca435237dce66eadec7069ee5dd0b70084b819a711c0820a7556bbd0ae20f06e5169278b593b71 f08fdfc1775b6feb5a4177110bf29d7c3ab715dfdc4b27200359288c0624bd5c1028acc9914d88a82b09f5eaafdc3bca8547b98481df39b86504314221cbdc3c
pr_true 603cba492461b0c9a55b4a97fcb4c3fd76532636490bf171f152a1c1f0fe3366342ab8029dbc43fccde55ec23901b530 - - - - - f29159d2780be1846941f5bb0266591871c9b2bb9a06859ac1cad041e8939c804e615d35cc26175697dc60a0b548ff10 33cb7ab53e64b76990fdec75377ae9947cfa1441c3dabaf19bd40f8a259b2d084b4144a645cf3990be95408151377e08 1cb8a47a55235b4cf50d2c4d57039d55c2766ec19240ca1ae50dc80ef4c69265d2dfa41c2f09b99103d66e231b9497976bb376dacfb246115ad2ab57f5c38cd6
pr_true f83503622c1672d1ef1afd6f6ff4c7326bbe169243cbb1e97d0f5d5bf2615846d0d72ef28ce68d1bf3310f12f2efe3bc - - - 3e8c11ed78ffcedfb8ab10de9af50413582516b532f23764fa5c3f350acfe7326030de546a3347a87da52e554c2f50ba 43cb286550713eb35bb2b41d8cca7b7ed60475feac5bf17ce14704f05b2beca960ceebaebb2cb5980ec00fc3b5d95f59 9cd5d3f5c0d45512a43817d3838c2aebfae737cd012dce8f5e6f5d0755de9fc9feef08fa51a76b59ba13d0ce92f49203 5fd919fc00ae84a1a18fd1bebb731794dd4385ae178e9a3a94347d8887919cd7b65e7a83ceb505e5bdb10a4377454fc1 eb0439aefb3d781a6b68708b28d9e00d4bc3e9ec6ecd468918773ead3eb0749854d529ab177637401ae955c8104ddc8eb099f41c7c306a2f76a950c812c1f818
pr_true 45bc622bd4fd4c47191754449e248be7279fa11015df5378ec46a157dabc36d1eb08d2a75c6bd07ebf969b8da9edcdfd 7b55910f78a4de1bb0b0e8f97d26b6f3cf72981b68ed4ae7f5a6d46ac668fe3543837ba6c212f081e5d4d56e35de194e - - - - c9d1fca6064bac3c47d4dd3470092e5de5873f1490656d79da0db9827d81a22e2ff63e19e1ee201366c41cbf7a6bb8d8 2b85649b7217e3027a0c2d2097e461d6c39e46b98587f5c0ad72251e2b5fd4185a100eb78f931365fbe2d9dfd00c7107 3cc58f52650d64af06e961db6979fc1ec7a8b3332e15487f831327e20de7cb83c077f485a02fc67b8de0c9b14c6cfdb475f6d4672feee5855e5565d571f13f99
pr_true 0cc59e3884535fc2b7c3968a063d5f207c82a11113e740bd72a7c9c85922f64d855542c30a31e44578884c16f5f4e9da ede7fe11122d4faac09adbf33650725e01990727e4309f92e8bad8b2562c4423683ba1a6ca2a58db086634c9b5e594da - - cdfdc160a8dd9a86c86e86bbef09ca0d3236519a206fb99e015c491b1bf6b0a8f29ad1d91cfbf046304d2ba3de21e1b6 502d6db79902b241e0202cb7129a6745e969f6b7826233957c1f7aa74d15eb8822848218150d059ed1499e0ec3f76fb9 ef9230a5c008e85e741c6cd7d7a338ed643d6f39190c6b2eb7b0ba563d2bbc2b7971bddb54ea0b85000a851a76686f52 81e8d6fca21ee1ebf0b58542b346a311a42052fb8c8f0f916615fc2efced80931dafd1e5f2fdc27199091e121b4c1e47 0f4dc90897736ea1c71cda98c9e416dc8d3df19779b70ef22f92996b96ccf4f420a6754503f48c9327ed02b047bbd1cd68bb82fcfa04a647009874cfa63ae1b4
pr_true a98e4ccd7e7d4a905af5a57cec1e72936823be819b7ca362d0242f9af33c2906aeedba7e7e2a9d0cf0fd4ae39b7c1309 - - - - - a754b12641fc2bbc649e68d31d441008efa7df99a2beb772bfbeeba10dbc0bc25ad4b551b2b7a15749bd080676f74625 d5a5f065b4f556d05a090faf4536ba8886358b4cd6dcaac2ad9b249d83ce8fb5a91d9f1f5fda62ec35205152c85d8cb1 800ef3f17728f10b4201e16aa9c3264fbc45acc8f01434cc0cb0e41e8954ee20d8099a4c3b4f5dc995bde0b3452637e76397768efe17bc7ac8b48d1ff7e2c70e
pr_true 8840dc37e13989f5e078d8f2a23071ed0a665954abe907979894bbea43d49d939fb0f9b7fa9172b671cead56ce16fce5 - - - 4a04a21fc0f2b8a32d6956ff955d2f2ea54a36d37f0b927a46165affccc68427a91c0766568695474ce783fefdf24cc8 91ef7510045d2c9a95ec1698cea93a63cbdbc9b23d2fc4bc8408380de7ecf4478e852c30b53a6f61e334dbc1040c213a 147e44b2e034486facebb067e6fdd7fd36bb86af6ffddde2eff081ab8b8f08e136377807db2636eb3aaa3fa8ac0c0d04 bb43820b3f4aa1ffeb0fe55126e069f17fbcd0d5a8307bba60552f0e4089a72833f21c341e0912939585a643bb938fef 25027b15a346aed23a05c6879832b25bcca73a8041185825fc8137c5be645933dadef111c090c2409c1e68685aac21281e37ea4e5923628256d059e8eceb82bb
pr_true 8754688f2afa711e12ae65b6a4c5e7a51e5ffecfefb2347908ab1911bb37b1f1e15f12c8948cba3b7c76f00c742f74ae 6f11ce501e741817bf70f472c8eb57072a08db0b10df7598a569757dc82ceda5d8ce1db8d58cf4b246a77ddc62c8f0d7 - - - - 1486e82b9fa88975817e47342209baa73e6e5bb01fa8e07337443b645b1f74ba94a7fd3d78d56741b14ff59ec4a193c4 977f62913ff7755df22fa6dce06366f6f7c66ee9700565ab056eed91064bfed815bfc0c9f464ce9780025c70ddaf8c85 c763a47fddd584d0810e1fbf099209c2cf5cfbd0148151b99505b3b8624497df32c02b56bae338cb15cb7c5ade197d77643b67ec06c3280722627be3702ae465
pr_true 1a14180450422b6d0e93b82551808212d8308bc754d475316642df73f9ba40ae666e1f60f13abe7cabd70743d892bd1d 91b77d4892eeacf6e2e8b00aecd4a3db71831d07ecb46f912dc855008b79d9aa33129baab90ab14a6783710bc7a0222a - - 0423f86eeb37dfa550466a2145fe39fc65fab82cd7961d73c999a4a2039b1e51216af4b26d28a3aa28c0cbb10bc3806b 70015cd3a76c6f85d2553046c47af687d728f3c64ee4d31e5aa8d75a77e9129bb775560cc185f56913d5a04f233116ff 2eb5cd196ce8a5f9de595c17bd2b13fc30d6a68d5e61d4ac066128a7ec557cab059a65185d13b8d160601ae8cc8e9d0e aa96cd7bb43b47a1c2558dc41eef42ae62b7c136b40ed2da1e621a68c8734c288890dbb943dadc7d7f564ef2de310eb2 0a4f4ea035975e1e32c7a7a01f81cca326a1fe01491e830ea2c1e557c374e90d8bccb7d97f238969d116ad04cad9f8142f90df5ce4e7067e0f3a7d6678ee9f6f
pr_true d95955487e7881b8aa88fea0e11055fcbbf03f6adcd93d424d68cc4301fb387f14b8806052c19a6f33c060227b96f955 - - - - - f4eb9557991d979c8598dad119f7297a1a05e63b0c30987a5b59c43d2e51bfbeb25a02ff776ece9270930ac61c81b2dc 332de58b15837574242c4e63991792f005307d5ef637670e2300735f8ce62f0a2e8c4cea2df0588f7c357c3b7f24c2c2 27487a3d3d6e930feb0b33832ddb49146852fa41fdba4b562be99ba4f267f5cf9e47978f0519cef69989c2ef522b5ec6a7591db76ef5fb220080a1c1d6352ef1
pr_true 93e6d28fb576ba5b816a5f42a7ce8d19465d47aabc94a7b77c71e29d95f3a510c1c762ffbd29fc200cb680529d3c8fd4 - - - a000a75a90326e9f94e3c894548bacab5d9e69dec8e60992e197460f9c5aa2a69ac8d81330230b90b3a90fbfac6d13a1 4a671c94bb877bdb386ebf5d8f29b6067c79c56a280c334ad204490d3927c09866bf949a8d2d8c178be751854a6a7a8c 9eddbcec301b2fb9cf57efcc581ef776fcd26403d0a9b64f205f6a9f60b763d2999a5a993674fa664bb2af5f8ddea1d7 4c26cbe440d48414ca4dc40321376646e42fa4139a4b1eaae3acd9f7dca094bccd3fe1879fc4be22e6dc25d90f481990 72609ddc261019c1eb927b813a9152448e88f2fecd7bb33280637c4e32ff4c1dd4a665a697a174f6717eca30981b70e043ea286dc453014d15389ecf7c80e5b3
pr_true 11b32441b5800347347ed8ba1d0b81a8810a9b7eb414b15d27781a998f9ccc4bccc84aae7edaa382502a0e5976bfd780 7c9105dabac2a1a5cac8227f4670e464009f6abe9a8ad6e16c87c228bc8b70eb4e544f643a27c7071eb4eefe326c302c - - - - 57eb8e25992dbdc3fc106a790168ce67552707a1d72e8213f58ab7085a920d3ac9e48258409955673d07464b2683ddb2 f452a234ce669885f3a24ef6c8a8a215690bbaf5bb6c90f1e9725347f98729a3391f88d9e82bf29e18f4257d865d10cf e64b1d538e8793d4ba0734a8349051dcd8ee1d68f01096bcc97521508c8f417dbfff2548f5d98d9d002c3a8a640b5e26533eaec074d6f3fba88cb98fb1a40c47
pr_true d102236987b3562b631c7915b19258c019cd165217b3f6da30f71e409ce2ad2f7ac8b6de86696ed27bc0251701a4e220 0d76f10e4b15263dee96a2884f3eb38b6a9cba0c372d754adff92cbcd5f9784cbe371dced833fd76e433c8e61fe54679 - - d3e5ec402dbd70d53b8752ebb693eee7f9bd91b84c21cb486812524d5dec45d6d9d6a36955840ba7b9754caf834a9ad4 1a9fe552c1a299f14dac889acd3f6d02c6b581cc58024f07c49d6e67ccb7472044ae5e304cdcf623e4677d13ecda892a ce728d3fdf9ca9169bb09d0770753704830b7a74225ad6b09174bbfd0cecfc6938d0867ef6290c5949e9f67f96727d66 6e86435fc39e96ee9dafef7a45a73e28f5594abc87e88a44c0348629a679972f322164ce2b191b29a9d21455d7310c4d e20b30f496ae9def7020747ee5348b4a531a6ba1b62e743f31a7d3d3ca8160819f57d6e14f52fede0714a9e3bb71887c3b50aacdf53060b30003092e97768701
