// -------------------- PRF VECTORS
//
// Generated by Python reference implementation
#[rustfmt::skip]
const PRF_TEST_VECTORS : &[(&str, u8, &str, &str)] = &[
// All zeros, t=0
(
// K,B
"0000000000000000000000000000000000000000000000000000000000000000",
// T
0,
// t
"00000000000000000000000000000000",
// OUTPUT
"66e94bd4ef8a2c3b884cfa59ca342b2e58e2fccefa7e3061367f1d57a4e7455a0388dace60b6a392f328c2b971b2fe78f795aaab494b5923f7fd89ff948bc1e0200211214e7394da2089b6acd093abe0c94da219118e297d7b7ebcbcc9c388f28ade7d85a8ee35616f7124a9d527029195b84d1b96c690ff2f2de30bf2ec89e00253786e126504f0dab90c48a30321de3345e6b0461e7c9e6c6b7afedde83f40deb3fa6794f8fd8f55a88dcbda9d68f2137cc9c83420077e7cf28ab2696b0df05d11452b58ac50aa2eb3a195b61b87e5c65a6dd5d7f7a84065d5a17ff46273086002496db63fa4b91bee387fa3030c95a73f8d0437e0915fbce5d7a62d8dab0a58b2431bc0bede02550f40238969ec780410befccde6944b69dd007debe39a9dbc5e24f519a4bdf478b1d9ec0b67125f28b06efaa55d79412ad628d45089c3c304f94db3a21df6cdaf6d2e2e3b355441eff64ad90527e752a4b2ebb4d0a1070ce2e2982e272fdb7cf4b584b095a0f957fdb828689437e37dc48b2ad379c6f3c6e957ee77afb88c65949ba12eec45c22865e4907ae42aee813898acdf91e2e4c21d828e0a76de2bb6bb6f869e5eef1f618dedd27562812b9a14e8996a5c352df3817e60d6ec20119a52c80a61ec195622627240212decca515feab63e2734587948a836a7de205cfec0c288351c",
),
// All zeros, t=1
(
// K,B
"0000000000000000000000000000000000000000000000000000000000000000",
// T
1,
// t
"00000000000000000000000000000000",
// OUTPUT
"7941dd0a63d994703e63d94a446804213ab4fb1d2b7ba376590a2c241d1f508dc6a7f418a14503deb89b17aadb2806f73fc06e5d14e675f5ec880023d4f7329612dce4a0e5bc792b5b5a55f9c2f30e07",
),
// All ones, t=0
(
// K,B
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
// T
0,
// t
"ffffffffffffffffffffffffffffffff",
// OUTPUT
"3ae902931ae8d3ba07a2efdbf0411525c966356463673443646d3ed3e5ba68a61ccd8ae0d8f8d84adca5c0023f02efd10cc7bc7c9fbfd169bf47a792bbba07d6c9338101d0c28e476e99520413a37c3c9045909a8d37c6cba7f9e33254ff0b2ea11ccd6d0a6eed028bb3acccb38fe0a50ea2ca51dc35dc12541f5ce00611336ef966d9a9027a6342c09590d056880e79bfd1a271aff821114649e33a6b4d83be0883b3ad4b315ac6b77017c748a8bb71a981678ff9c6ca086507efb6e8850043767bea06d66ee5e9b2870107474150044488a2d00bd1d5154e0f1aeac5af0b73049004f8717baa13c1ae0088f2dfdf8e08a612aa11a8bb64ab2a4d292967504a6cb451a56275b756c2d7f65aab728617154693a7b31d048802b0ce635754977fb851bb21dddcd9564795e31523fcc35ccfc066b9542508b4daa65b4c9083b12a5cd08f7c45906523d5d7131f279959900473a756e48ababa93fb42663401d84bef93c6cfd6e02fc17797a7004671d21d3bc35cb2e9a344da0a16c300f3c977b6c892e0c2a9517862bec47a51fd49c5a4d46620ea5df9a055e89c2d54abffb00704c1219175433bc1683d93c75ffd7feccc605092b197c5aa5aa995ba0c0e33870b0f513a5eefd9d64fc6e89862709ca9876df86c189181e70e4eed2d876a12480b64afaffe54ba4ac8f23043d8",
),
// All ones, t=1
(
// K,B
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
// T
1,
// t
"ffffffffffffffffffffffffffffffff",
// OUTPUT
"be938fc23009440bfb5d7bba1d28428ec0897793bb878b8e1eb3ec1257b88024d551d770b56c9312de3dd4ac64e194c91185a89f2ba01f90b03b3acb93f634df4b263f03af0acda2f9721d0f4c0783c7",
),
// Pseudorandom 1, t=0
(
// K,B
"908bf9a158c67f9cd5cb5cee476a4b30b9ec92756d94b1f9f40073c185c39780",
// T
0,
// t
"d5d73799a0f37a1c7ff3ceb187ebd059",
// OUTPUT
"0573c27e297dad58e84942c498d3c376c1f8423dea1df70338259814f2b939ffe074b22fae1385e2d453aca882cb6257ec4fc86915f05be11ae36df4d8678ff29f68c45797c2a4158c4c30c703faeda452858ae37b7735f47b2924cd6f6040e7f6b19958f6d5a12aae72b589d6f85e5a3267881b2916da948fe1626d68ee60a13c90599b40f8a14fd8d1354bc5beb23f38043d7e547b879f618302426dd7785bc2caf44b31a2e1ec5d4dcb4047415d0bbc6900dfdfa01e61c4aa3624f6d7f03cc1641610bd0d6f155cae7465a3d1e0ae8db7d5a00afd27824fd35b65a91728981566c7a046f1773210b76a449b76b5684eb3532a06225d89b70aae1d20c27d03c528b00051a3eb74f3b217b3d474076b8c4bab837476c6191bc7ae8266328d5a65f6a2c55c30999984e2747b7dc45af9e43533b750d9196cd2d64947b6dcf839821002441a428bbbeee45de052502aa76385b47aedbdbeed500c359fdd1ba042a5c9956a1b2e3e456472665f7a674d898a9c5ee58e6288304a323986f0d09b731ae401ac5f8ebeaf808cecce9945439ec76cccb5aafb875faf1274bc29beb29413e01ef72cb37eebc06428c24221f8af3c5ea742fc41506d501d8e45bed5d982ab16669da486c985a3e140eb55c754aaf3d7923d76519f8bac02e0e0c0961411d8c010d1c58498caeae8c69c62",
),
// Pseudorandom 1, t=1
(
// K,B
"908bf9a158c67f9cd5cb5cee476a4b30b9ec92756d94b1f9f40073c185c39780",
// T
1,
// t
"d5d73799a0f37a1c7ff3ceb187ebd059",
// OUTPUT
"75c5c6787bd0edf325cf772b8c09478df5094f093eddda9d4b7c2ab4ebcdd84c87192038ade81b8560ef7f5a3eb89a4957cf9bd138c575b6951f9940d44d443f47616dfdaf73be7a4664aa46bc279c20",
),
// Pseudorandom 2, t=0
(
// K,B
"fcd9361d1dca1c7b9a24f754464eeda5727152bc98a818b2e720a0afa9103e10",
// T
0,
// t
"d22ea954482f5bc511c6fcae80233d57",
// OUTPUT
"e5be8144283c5b638a7bbcae231cfb9d6727ee8f04bcf0f3c7ff94930facee8030712bc8b0d151a5ea27c4f614cd46fe1ef9eee2f64c8d8ddfce7ab1ed01cdd610e7b341b75408a6a8310ed62389348b76a59277a0eee05bdd5f5227d43fc113294b3af71d505a0c88d920387f44ef33029797d0c282991683adca83449e68aff578df836ee6b89cfc5fb0e8ce0d8d5146a09d57ec816e0fbbbdf80b298dfe6509aefcc892a6dd4bbbbfc6d9507e4013305986bb9d0cc050de172faa2039623cb93177a0b7c5966933ad2ee6fa930dbfe24148b63561551364fdcc3a1e1a5381d62a9508c6bd86a43ed602e5fcc0cee2c8d2a67c7de50428fa72ef75fd4aafe4bbc17cb03ffeb69066e5c6ee65c1df67fc9c33515d45cfc504c2d2db213b36df5a6b7864ccf11061464048329f2a79b6935b4219aab811fa07896497ba8dc47c1f2e9207e4be7a4f3651bba673d4911787df8423cc60601785ac5072516954efa6e30f27c04136f6bdff2d23b0489b2d7c9aea7f5320d48c337eeb2dd4f06eedab55316ba8f45b6f9a584ae8241183a261b467be3b500febbb609a38895d92f0aa8ca31197e81c85aefcea4d7a5f0d4f7825de0260f9563db272720c723a38f935113d1f2a89b02303eced1312316f29001f224a730031ac6e002916a2077fff2de0cb740622692fde1ffe1811",
),
// Pseudorandom 2, t=1
(
// K,B
"fcd9361d1dca1c7b9a24f754464eeda5727152bc98a818b2e720a0afa9103e10",
// T
1,
// t
"d22ea954482f5bc511c6fcae80233d57",
// OUTPUT
"242f479249fefc782eb74cb5304e54cf9f1230ba8908c1a322650edd916ecf76527d3a84db32d8ca0931b0420c8bcf388042cb152ee080af416a37cf2e0406de5ebb9c27061650e72552ecadca5af451",
),
// Pseudorandom 3, t=0
(
// K,B
"b445f9a92d267dbd3b2dd9ad0cf90538b4013b72df0a23ef997f7baf9440733a",
// T
0,
// t
"1d16d4b08c19887a050603dc8f17bb6d",
// OUTPUT
"d609818f6c26b96efadb6e5d84ed63c4d426e133cc72acc222a161feb8810f99d0d8dbace6181b8f41e601cf7bd33a3a23e84bf8898505e222a42fb889fe759e48fda34e6d39c357e6445864e55633bc264d4f4d33d0afd20a51ad1b3d6d18288d6930ac9775e6928cdce46642b5b81bdbbdb469f1d6f1a889a2c76c0258ca6a95c5f590c54f1503ec46f1b3ad6e93233f9f4ca9a57bc14aa505f4678d9fee8fa7b8f047252569b83c79e3a4abea6d4a481e159e91dced13f58be46f41ef52f1ebb17cd68875f2dee11ab6409fe5f0d5a189fdc86b4b214f2ccd47d419e66ba3889bac4b7da810b3ba647082662c74c2e2972962d8af31fc05a22e0df7f5e87a6bdfb2b414bf55e46581ca982bca237a0af99030d079b6e81404b6bad3011bdf114e2d042e019342a41b06d1ece656ff994b80796747ca413f783c903f0980873c95b1b3d6d3c99410d75993a9b28ae23d26847da256e09f7c727f1b05eb1fa4aea6d0b4b69307363c2ec7d75e136c14f3ca44d2d2bf001095ee5505bcb56c06842233411e5bc38da56d97c1ce6b1807db9b832fc10625d55fb259a5cd75c0a1d27a8b8a8c9b2a98bdfe7903a927026f2d2616b481e13e3bf7eb1039ec892a2fa054fd8dd6aac76b0efbece35b374310583d1c5f594604c3a49b35af7c3065f9f5f3bbe5cac3e8522a0654463c",
),
// Pseudorandom 3, t=1
(
// K,B
"b445f9a92d267dbd3b2dd9ad0cf90538b4013b72df0a23ef997f7baf9440733a",
// T
1,
// t
"1d16d4b08c19887a050603dc8f17bb6d",
// OUTPUT
"85da4380c7376cdd451aef93c15303626a9a54b1b21ddf5fa88beb1ade9331438764e8ad4f640dae16e3708806bab62d948e2ac6210b198184d0bface602a49f606d13e72574d7cda3e8458736d180b6",
),
// Pseudorandom 4, t=0
(
// K,B
"f4a471dca7863a8f2f0721229fc832534a1db73b7b387d8e3ad50987c0263efa",
// T
0,
// t
"93553bd1fd83b030f745a2751fb6021f",
// OUTPUT
"e0e5c6aa3bb8bcc4b022b98290b19d607d09231f508057f1ae97f6c0bfbdd02d61ec2003f6827987d9d354e0dc7670bcb5518143e31f655cf09799d34d52f8da1610b1cf4294e54c886277bcf73ecaf85af02170a1e53b214d6b45224b8ee336ba764ba86fd9c31ad6c5b0476c7b9a6f5ec9111b72e3beea0abb90985edd236c46432e27e59369f91f65919ecdc02f920cb9329ff8e36e7efb674ac54afc4cdf266fd143e2d1edb9bd9a0b7d19c24d40be74c84c709852298235cbbd6b7fa30e004aa405ee1f39490dde221a8bc9bbb3ee0af0ccc8c9e2da85dbcf828014b7685324279bee553715563012ac0fa7ba10123968076c650b9afa6bb06ae062c3d2d725130efb0c0578238778aab855ae4bfcbc539d8fb5b4b35b9416654326476c66da1d119d61255c8bc0c3a3c98ff0ef9b9f870bc6cdb4a4f8f02caaa59bf0cf9cb80bbf8948ccfd4a1f1874deb75f55327add4bb356a91adc06b92f2721632c3bac2789b40b6a2c0f5181d43fea9acf1e3e920652e2d13029c8255713da610773a66f67b3bf58ea97e94b315257165111aabc76297a7baec1c4a687edf4b6dc70fc8f35ee9b4ebcbfbbcf9212315a7c2328d22a42f27ab0c388b4d28efa0342cc4663626699d6998e2f113b5f3c3c738146271827307a5f438ba7ddef36834343c9e1b087e4e8a6826648bd6b",
),
// Pseudorandom 4, t=1
(
// K,B
"f4a471dca7863a8f2f0721229fc832534a1db73b7b387d8e3ad50987c0263efa",
// T
1,
// t
"93553bd1fd83b030f745a2751fb6021f",
// OUTPUT
"fafad44135d3b4cd526ceff8994a62283f58fb00065e4d1e3fa42443bab7bf9db37464e5c8bea1bcaaf0c8671d24a614583b201164168ddc6762e774914d5ade7bef7af78238988ffec78d64308ebdd0",
),
// Pseudorandom 5, t=0
(
// K,B
"6906b28fff2d8e0ac78c9b7028047b84074158b66c74964b16b40b0b788413dd",
// T
0,
// t
"e648661e20c0f18c89b1dde1c3a5feda",
// OUTPUT
"0ba79ea2e5514b8172506369165ea2211f5918c300d184a885ab828e7da8eeefdbb916c7ce43fa0975f58eb8f833c17eb67507e7fa263e55ba2e27cfbc2c0ee1a231dbe3ee324827eb2c791278c71a52b5654c3850c8a358fe4be8be6d076f7f5401080b1b06fa2a04781108e1ae0b76e93d9c2e7baaff84a94566cced1349cb4d1187602c382a14e144e21ea0008872883d70f6d70932b6999ae7b0361e44ee8082c851fcb1f27422576749559543b758a028ffc80221a6902b76bdbf05912da788233ca6b963e6988de0eb6866a3853e1d6a1718a6dcad73ad838a10be16e5cf32beddaa587e4aa6e00a82aa886f38bb34b147cc46ccf578c9de6cb37d1a331d31f621dad26d3e27eeb3d3fd246949e903607b3d48d675d1bccab8839a73b1da48b4c86f20917287cbc8d4548cd466e18d12111e97437299ea88380068ea9e8dc663fc01ae8e97593b930a0b723da2e0bc80f0c3258477b8f92e5e614ff89f76baf1b66af5ee50969d276b34e09ae9b606682acb98f4a896d696ab08d3f76200e4c97018a75f914cc9d2e54bcf53dbe65f9846a473831d83ba2ac9862f76ff20404a41aa66359411851167155f0d3287e62984c9c3405501461081aa29af835c852d61880ab8e2319fd34d477aa1b1624bf5e6abe11982966f2d430d6db28924db558cc15fc3646b9dee5ea1",
),
// Pseudorandom 5, t=1
(
// K,B
"6906b28fff2d8e0ac78c9b7028047b84074158b66c74964b16b40b0b788413dd",
// T
1,
// t
"e648661e20c0f18c89b1dde1c3a5feda",
// OUTPUT
"a5e3c686343c4a09ad028503bf9afe94c9807a0ce944f6615bfed837d64bd3649ef80c863e72be112fe149fc88c6fa6d5407a55ae7b5fe0a9f43a921d8d9c603556142e149f3e2f19e257d7f9e499d90",
),
// Pseudorandom 6, t=0
(
// K,B
"a95ba1a0617d8458448af893ac7deddb81740a93a05ef3c30ee136555b59f3d7",
// T
0,
// t
"c4e1c497dd00dbe98acc430cd3a4510e",
// OUTPUT
"fb3646dbe946e6660bb151bca5de797e3a57c3c18d9b4bf307b755475fd4bf105be1f0ebf5ee7bd0998f5e0c373e8b0c456c108b418b284d68a24fb292a781214b02a202c6f9e23ab12e0fdafc87a5823f723268d4bb1a86ff9e6654f5cf9dc3acd1a3d6034b129092fa802a0c06d6c8093910c8799710796e5b62a72bbd734b7ecaf8d2e2f4c5076b56a91a86b93b702ca97ba172e459635ed875de1efd6c1c3e7cc2b99ddf05f127fb216381da49b1bcceb910548ee5932b8c21fca2f31ecdaad66c88ec295a2d9be1e416eaf82cd99a1d3968efac611b88b20b39aab83a46f675b00980157d57ac3602961a848f2315f7624e71b4f8b6bc60ac2eb9f3d5065e504258a656026d00a91e156d7633fe07e56f292e45cef34443b5c0f11e813a05e9402b435f9d585d174f8b063b1c0792a07de30f1afb93bca11236483c3bf250f4a4b327bc109df2595db885919be54f6d328fa2f398a84b97e6792558b47739c47e0b463ca01ab566493b95a2bce68c9d82e115988b67b298ed4361f7749516fea44b384b3b3e2b2c3b5538c1d7518341cd8edc367bc716e31ec4b6dba7a5d63b9d6c9db9597bf569a71eec67f868fe5101be04b936e16954e45055f1078286ead242efb762ca6e10d635451c2e966c0ff1918258384c8cbd0a421258c56285c40460f209f78341e9df7af0",
),
// Pseudorandom 6, t=1
(
// K,B
"a95ba1a0617d8458448af893ac7deddb81740a93a05ef3c30ee136555b59f3d7",
// T
1,
// t
"c4e1c497dd00dbe98acc430cd3a4510e",
// OUTPUT
"613884f04e8b089fa4bc352e6444a552e387186bdabdc41c0a25fb3a65c557e6ab4b80ed9636e6161b32ec2365e6807e5638d98d57e3e741fd8a0239391f0c1de99b481fb26ef6e252a0bc7c5b900dc5",
),
// Pseudorandom 7, t=0
(
// K,B
"6146c5506240d522b02e10d5db94ec1e7ee7a81642a80032ff55ec4887064826",
// T
0,
// t
"0924c811a97926d0b1c1f0769b2d6eb1",
// OUTPUT
"8a9d5131404324b23e54419f9cb07d3a2eed2587eb62441ba4107594b0fbc5e7870d9b9f1d9ca7d9fc62be0a3eed96578d559c1da2c7be58d5637ca02c27eee28f45ead027bdf5784c95bdedb4bb78eb862d0be90ace74a119cd751f1425fd2f5c578c4d8d87cd79a916bcbc5ad0dc0f6bfb74cf6df823f4880f2e873957c74ce79f5487be0b6bbf9b78edc5c7e898c8029aabe0cd8f0fa4b42d1cee67edb7ed61866332248e796c2e90a970bf764feee04dd19b6fc4a0b2e303104a7e33636d314338b43c977982087155f64998672639e5fbe8ea39179fc8ff1f36163369307fd28596abb7e16f54c4756cd75e3e492a8d93a596dbc77231679fda0d2e1a501e546cac5f642fbbce3cd32711cf1a89893975ac50065b67754be7da61ac8cd66040918361644b7833bfcd7e69ab3be58fd5a4ba020a0fb606d7ce0f42e683ed8cce78c6235dea23517a8d6b159b45dde6cf751cbbfc562f38941c4f4dea1b98c7a7810c31b404cc618b4c12ab25361f523e673bb999f6cd4da20b3a0e722cd70e4cccf991b20a0ae47d7cddf5675b40a58e65185160402a8d29f8f60afd12e5b80399a61d08e9e0d8e7739948fed264c1b3cc0b53c9a27b9d58de6204c7b6b848eaf865597460c54b140b65e69d2b6101f822062736d576eadb2d54c9a2c4364cf88cadaa0a581f415a486cc4",
),
// Pseudorandom 7, t=1
(
// K,B
"6146c5506240d522b02e10d5db94ec1e7ee7a81642a80032ff55ec4887064826",
// T
1,
// t
"0924c811a97926d0b1c1f0769b2d6eb1",
// OUTPUT
"16925a5b5cea3ca13984383590341d506eff8d9e8c23b6c22571959019f02a30974529de82e369f37bb06c398ad5e9c7737ea8aa4bb49b31a4fe12307e33727721a0a81d2f2b4ca141503800a082813d",
),
// Pseudorandom 8, t=0
(
// K,B
"34eda0245fed9dde7e184c4cb603de5e1564339d0137dbeb042e2cc8e87b1cf9",
// T
0,
// t
"f1410c83bb640b80f887aab903d89275",
// OUTPUT
"2db5710aa73da0df716e26b440e0a475a09725e6adae789b6625af67cae7cc48ddeb003493c9bf5d2a619c29efd7d9c9c0d4deaca5228f07e01e1aaf4cecd17d6ef8b59f679ac4df217ed251f78cab88f1b227c5ceeda3b0c7718b23ba31a34b025c664b02faba6aa8c6c95276158437f4322cb1ba82715fb46a00479ff4def3189fe6092553b4c6d28a4d5a765355f81fa7fa8169423493315982310c389bf7dd252bbb0be55886820972e5f2493e13e06930821b3bd2a1e4849f424c42dacbdd42207006451310549cd01a1f56130bb243327599f3bc89feb74348e3cd677c81b3e5681e97d6633c2742123ae1e3bbf92f2f9f2e461ada804096c3718c27343e9c067596557353c7db626de4d0c79640addb21d0fe92200d779899b0c07e70d7714ffa646deb9b13d97a111d6e30586cc870622fc08c5c9f479960d01439b455e80ba20c71e648fdf928cf050bf057d2dda4483ee81ca4523c65eaf17e52b1726fad54749074c7b00366a178307100becf589188d967987201a383b25e9062afdd9db57c14ec163feff5d271254b6e4eee3b2235e5fd9c9094a1ed0b8fd79dcaaec81a41d0a75a33684507fda684b3990326a2e092f6e644f60aa564333b59ad049a3640f41bb08c876cbe2996f3b4a5f79a37fd2f6bb9f7e1a65f9ee5038e420f43297a9304e8c8ad8ad762",
),
// Pseudorandom 8, t=1
(
// K,B
"34eda0245fed9dde7e184c4cb603de5e1564339d0137dbeb042e2cc8e87b1cf9",
// T
1,
// t
"f1410c83bb640b80f887aab903d89275",
// OUTPUT
"efc0e0df84217b855b8e0f137c559d62589e54d65c25f7832c5a6f687c02f1d0e03019f0b6af78c19f3859bb703b512007317fd2f96d5fd473a8c64c0ada0fe4bc8b441c7023d4aa76d8df6d80c7b710",
),
];