{
"format": 1,
"see": "FORMAT.md",
"cases": [
{
"name": "empty",
"input_bits": [],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"value_bits": "0000000000000000"
},
{
"name": "zeros_and_neg_zero",
"input_bits": ["0000000000000000", "8000000000000000", "0000000000000000"],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000",
"value_bits": "0000000000000000"
},
{
"name": "cancellation",
"input_bits": ["54b249ad2594c37d", "01a56e1fc2f8f359", "d4b249ad2594c37d"],
"state_hex": "000000b2e6f1853fdc2a00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000",
"value_bits": "01a56e1fc2f8f359"
},
{
"name": "subnormals",
"input_bits": ["0000000000000001", "0000000000000001", "8000000000000002", "0010000000000000"],
"state_hex": "0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000400000000000000",
"value_bits": "0010000000000000"
},
{
"name": "overflow_to_inf",
"input_bits": ["7fefffffffffffff", "7fefffffffffffff", "bff0000000000000"],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000fcffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffbfffffffffffff07000000000000000000000300000000000000",
"value_bits": "7ff0000000000000"
},
{
"name": "single_inf",
"input_bits": ["7ff0000000000000", "3ff0000000000000"],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020200000000000000",
"value_bits": "7ff0000000000000"
},
{
"name": "inf_conflict_nan",
"input_bits": ["7ff0000000000000", "fff0000000000000"],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060200000000000000",
"value_bits": "7ff8000000000000"
},
{
"name": "nan",
"input_bits": ["7ff8000000000000", "4000000000000000"],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010200000000000000",
"value_bits": "7ff8000000000000"
},
{
"name": "extremes",
"input_bits": ["7fefffffffffffff", "ffefffffffffffff", "0010000000000000", "8000000000000001"],
"state_hex": "ffffffffffff0f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000400000000000000",
"value_bits": "000fffffffffffff"
},
{
"name": "random_1000_full_range",
"input_bits": ["dc1b77ae0bf34dad", "64f0eeb9026e6076", "7b07ce91e5906136", "305f050c368dcc74", "2ceb16e0a1c54aec", "97101dce4e7bfb79", "9ad2e144d6e8f2cf", "d9aa792e1af470ea", "ddaa4e85b0d6e28b", "8f8ea9d349428d8e", "08f474ffb8e8ab15", "2ead854756d71f03", "55bc79f8ada711fd", "0e1fc49bd63b809e", "b92199e83f5a101f", "c5765079fc5d43ff", "353cfc387dfae6b8", "a32edabf5585bd75", "fc5639b16b714b4f", "92fb2dcfc8ae9a19", "544b0ec76d00616d", "bcbb9b7e9a319aef", "0f1a50d59c0aa21a", "80ae2120826571de", "0e1ecd02ed7c0cbd", "0d0981e8c1fa7be4", "dc86b3d3cdbdf613", "6d0844c269e7693f", "3681da7f6993082d", "5b928e2c987d857d", "6c716e1e6ced8137", "ccb870213498f7f5", "9f07b27a78869b5a", "b0ba91e47f6200ec", "c72b4c36d0db7fed", "35f305b0c0fc9252", "7ac78fb373ffbff6", "8e39b81de71b7d09", "59a69ba126cd29b3", "bfcbffff0cbcbf20", "2d1ce28856d20e5e", "572a15ed48b3fdc2", "32b911499417aab9", "17a8ec88e0da0bac", "0cc88eab2f9ad4bb", "bc3a5b419a43afd2", "6f0f3414c47c9c0d", "e71a7567edb8c675", "63674cf841ee8ab9", "e375837da840d9ec", "578eb22e1ea5a35f", "4efa582ee029dfd9", "f3b363e938295a26", "2e3a4ef3496f4112", "b809d78e2a2f9b10", "46217f104eb30026", "8947b5fefda6afa6", "4a3ae29b2af0cb79", "bfd0273b10a6d4af", "ed0a00eb302b52c6", "3c0a45ad6d0175e3", "5bec25a986aa6fc8", "904bc2dda0ebc917", "459ae6d82ef0bb45", "d8f30b16630d2b73", "7110b72632258de5", "543b14bc79e21fbe", "b3afb674d263f401", "992a5514fae813a9", "65950d0578f009ce", "5703572bfb805a5d", "f58b6a5f9c786da9", "a837793e9e8ad732", "50eabc7287dc4e1c", "4dca1d57ff03f180", "4899ff11c2f79663", "16166c76ad45818f", "cb74ca30b3d6894c", "217355871886f75e", "28a1e2393381ed30", "074c31b6d9efa2ea", "bec4688d35b7872f", "f8fd0016351ac3e1", "2a3e36405bf02e26", "4fa794552d7c87fa", "6b65fa68c812c075", "b0d838d4f45658b5", "f088256e71b67944", "b4d1bf49868fc4b6", "7f30634d239b36bf", "9adf073ca7e24f12", "bf023d5f71c40f0c", "f8daff4ab7e1c412", "3bb60a1f6449431a", "e1b6cc3fce8a571c", "974be547500504b2", "788637bdbb04623b", "78b479878553843f", "f614dc4037d1ccf7", "ab5917a81f0fb2ae", "107db970f61ec64b", "a7e591e85a840907", "42e87faaebb9a0d5", "7cb7d0a0e9b446d4", "93b411557b1e1b59", "17282941775bd12f", "1d6eb56cc3fecd4d", "9cc6d38ebb4dc397", "93e7f09c76995dd0", "40481181f54f1b6b", "fc10536a39343f9d", "2b59a11006fe10a2", "b25de04b53658403", "482f7b77f3b42fcb", "aa19ef48de09d554", "bc1efbb4d09613fe", "01640cfd5e7e0059", "2103a6ef6f7bca19", "ba59dbbf218e9bcd", "47cfbdd44466d5ba", "0f7180ea42ce3691", "1d57d70abe6c2ebc", "3df4865f060ed9e1", "9cc2d942d8ac9c12", "68c29c22e6ec81aa", "a1cd5d166c667229", "950c6175be7d148d", "3f3e42bdb31d6de4", "b8e8620efee2ae3f", "6892f24f073504a3", "7faf4d50b83a266a", "36eff6fe424288a6", "7436a02ab71ee437", "833a63ba9131343f", "992cb64cfdf7b997", "c8b93e004898d324", "645d2dce235dab82", "808a9a75bdabb055", "995531f7eedc5275", "087d63039379d791", "f3c9caffb024e07e", "ea06a464360f763e", "53361012dddd2752", "d66a74b438fd099c", "8d5497b6e7e3148f", "00252f2c32b41166", "f4dba3db8471e0c4", "a447b4c07713b205", "58d68ff52d13b421", "7c3d90428332bb09", "98e09052e5853c3f", "b90814763588d987", "04349ea8330d49f4", "213e49f755c9ae67", "adc15b82753344fb", "69a0dc20acf37cb2", "729bfdea5375f6cb", "f8eb32047bbbcfe6", "4b85228ee7b181f9", "41031bc75f55bcba", "2da461eb41957943", "d74e810a9b826371", "1cdd495915ad9bf7", "baeb7806c59edd00", "3ba89ff13576a0ba", "005ca96b1855237b", "c7b1d77110b837fd", "69bcfe5aebcf18d2", "6f51d1ecaa02f263", "6d8dc769b3280f47", "b51767a476976e99", "0418c241fa7ac604", "a581230adaef3288", "f1ac9d290f1d4eed", "3dabc8a9eded6f30", "55cb59e89b5779ee", "72a54713a9b86c9d", "a3726687db6b9b04", "5fdf2267673f0d32", "68dfe63578c47fa8", "624e220196711d57", "be9e598ebfea4aad", "d79af3ca3ba29578", "6f5e5868097b8e52", "5af01374addcadce", "2faaf7e9e83fa715", "bb42e4b2bad2bd1b", "d30563d941e93ea1", "1167ea9167c9649c", "b6249a7c39665155", "b3f56e3e83c468b7", "a87bdea4d9832da6", "e437318091b5827d", "59e1b682e1cbd639", "7d32511b3390efd5", "1d70ed6acaa29b4a", "1e71c6a67d004cfc", "a0c0b3f99ebcf365", "498e468dbb57f3c3", "1c54594f126dcce4", "16ba1d39f25cae7d", "67de1f8cd39e2861", "108e0b8ab05d2c71", "96288ccb432aaa69", "887013f1c0b1457d", "e47a782d96a0d8b7", "c0f1c836d72154c6", "01ea4c72979ce7ef", "e58cc45382b7c5e0", "0f265892d429d26b", "119be96337a67b0f", "ad7f4ee4ff441439", "69765cdf019ab251", "6c83796be9953375", "b30aa29935c26453", "88c5405c130c945b", "9ffcaab00de2fbb3", "f60b6a392f39b284", "34f99df66499e0e1", "b8c6fbae04f4cb60", "ddf1a401094ffaf6", "24e629d896fb1883", "e2fd7570a6e4ae72", "c21511f61c10bbae", "6b4a433781c1b159", "f7b9bb632073447b", "28f350082a0bdc33", "21b037be8db8a74b", "f4827d0343e964c5", "18fd760add37274c", "1cbe96ad55a91a02", "1b376669576888b6", "862f25f826bcb427", "608edfdda646248f", "b98511e79e1e6b06", "384ea650b7785650", "9ee03c4ca73132fc", "6facd3230b5e6f99", "b27b8d6c7d2c1506", "9fc9762bf52bccac", "915133d1f1cd3035", "01a2553b894e0715", "1727f4259189fe5b", "e9410ea4b1d01b67", "ae5bac1c8afb8291", "c01d77809ef4f1d4", "131dc70966a1ed37", "8ebed168e7eb032d", "8027b30dd057be6b", "7c80d6befe7bebd7", "285d676d738709c0", "d4a6fbbb463c77d3", "6b7252f506af9bfc", "76e7c3b3c3adbbcb", "beef68cb1cc5727c", "9ddbcc9adadfe798", "e85d4e2fd8cebe57", "49a34268cecc56eb", "2fa1ca340f951486", "1c68c5ee9e01df2f", "7cd94d5d160df751", "415f292fa04818ff", "f40bf4be400d570e", "82042eb409794e20", "1255273c7f8434bc", "2ce50c5e474b93d5", "be08af88f83f51b2", "2d725bb40b0f0391", "c0085237f307d9d6", "a9c57d5561e763e5", "1bf5b3cab644f462", "5547a5fa668d250a", "914833a9ee283dc0", "7ef314f60b351dbb", "00221d9d7b537940", "60336535e5378fb2", "e8cc97f0aab24c2d", "b581ba40a91b83f5", "fbb60192cdb3e9b2", "9adaa35dbc26a2e1", "22cdc3a4356277e4", "f488e151ff7fca0b", "df756f66d48cd75f", "7f45c76b5299f931", "3ee3c6ab5062a683", "c54654890ca7a30e", "b8275d981ca7efc8", "be5287885cb25217", "79729ebc8c3b5373", "a0bb6616a3b39915", "4fe9636427fe1b67", "bbeb4ae36e79de91", "41d653635fd8a96c", "137fb828fc1cc33e", "407a3783d8c3f538", "b6827a52e88c3cd2", "9620649d499e502b", "cfed170dd20a064b", "05faa3dbcae8e087", "e3456f983a59f086", "462e4081e78fa2e7", "8e33e7613b30e462", "0c342c6093a7dd2a", "147bcfcd70f29810", "a7786e7e77f77920", "3461fc042646dfd2", "7f8c72b2a99de6ed", "d7a5bd1b9baac660", "e722fe3209380bec", "554332c123a300fb", "724d72ee194f183a", "fce07bdde4a8c88a", "13f028439b74fb9b", "41e31784775794ac", "5fed0fcf79c39085", "6d8502bfc80c96e4", "70db12824bf7b6c9", "8838c5e2d39ccbe4", "bcf946457e938b73", "8191c98000a810a5", "addcdb75bb31c9c4", "274842d113a35b57", "a7842014627a2821", "61c683627952f431", "8368f6e64ca97d99", "32945cb557986922", "5f255fb874e95170", "1e35dd72abdedfd2", "dae27a90cf1ed6ed", "93f0e46413e8f000", "b3c8e1337c3321e0", "09e1b7d60d793fa3", "be4ef12552e0451c", "7f35de212ddb4296", "f5a2fa6852249193", "f4231ce12176dc70", "1bec8ca43e9d2dc8", "7dae1345bf346593", "ed6dc22866d10998", "6b5dd9b4387bcd8b", "c1c7e69446e938d0", "b444a2f44e72dea1", "1e82dc770735b35c", "0c5700918c488f3a", "9b68e2538ddc90a4", "2bb34920cefd8085", "beaf7e7f7598fac4", "f219b5c60677fa31", "aaede6659bc9b985", "39603cf742ccebb6", "6c8c2d0d3dc75fe1", "4bbeaa8eafab091e", "dcd8d3ae880dd88c", "7674825ead00603d", "b55191dac33fcfbd", "be389d55be79ff62", "b15667e29cae941c", "bd6e217d3cd94e34", "7264b7803a65f1a8", "d607a31dbdce504b", "9b3aa2dc437ebe2b", "1f320fc3a0bca997", "8030d4e937ed5504", "c879c11e292b4eae", "91dcdccdd11973b3", "d217a900b9b9cd94", "85ee0f5d59155b0f", "1ae3b417a9625279", "6bcaaa6fc5d1289d", "861aca76501b0d8c", "8e011fe66ae7d897", "fe99e0b2411ad2e6", "ac8ac52104f69ec3", "852fe975eefca33e", "d4f70adf859e55f8", "72f68ce6b9191753", "bcc8aefb33be91bd", "667e1789bff623de", "d9a914c26548f819", "8f7063a533ed4fa9", "1aa49a0b95c05f76", "ce33d1477d82c248", "a4669f8a601855cc", "8f240cc754ba9667", "3198d369936c9a8b", "3e2e1abd0ac1817e", "6da6a9a5cb639dfc", "d03363b36023a5c7", "b66d70cc9c2a734c", "0d5a8941a8b374aa", "ee948a7b982c78c3", "e23d98b80afe70f2", "c820da07ea4ff093", "1cc7f7eadf112bb2", "515f0e77a159a565", "02a08015f200ef6f", "e6d5f24ceed0d571", "f6bee465c8a0089b", "59f06d8b36b40e4a", "467f916c65bfb4d6", "c6faf1e6587d3e3f", "f4cfee177b43ab83", "3fe4fb22a807ac14", "ff3d9d0255a6264c", "943714830e4d7900", "010a53ff73cba3f2", "e61941881bd08835", "eb5bcff0e6098465", "a2aff2c7e9722e2d", "9fa21e2bbd8ce131", "934d8c9a3c8f94b3", "cfa0c5965731c75a", "80613564ebad3254", "c102edb9951c7d30", "f4c4e9ba3d1b09ca", "fbaa947174280d59", "4f75c951cb6e2b03", "680ba3f8d9385795", "bf108974a899627a", "6fdcf7e057a38e3e", "891ea0bf036c86a2", "f9153f6c58c1b72f", "d47c48ecb9fa1f81", "6503a7900a022bfe", "9ae99a5bcfb11029", "e424cab406fd5849", "20765ba05bdd90b9", "4220e84815a925d8", "2dc62fc8c8560193", "78b05046ded4a950", "874b1c59db6d5402", "abfd9567855ace2a", "976d4d4a274ab136", "3dd9eead6426a9d4", "b5579e51c1701187", "7c76e4bfdc0e7064", "1ba0014d852ef584", "5ea9b4d919f7496f", "8d728cbe07411c3d", "d0c197d0ea053145", "18f524eef87bca67", "e93cae7cca534433", "debb4e79d3668e7b", "8fe0cda453e2bda7", "49d787ea5666f11c", "8921121732a9fbfe", "cd602031a6df9789", "7973d9ce554aeae6", "0ccd0b4dcb6006b3", "5a74eb079cdd0a7e", "a7c03b7eda3defea", "de1c95e748652eb5", "341d48c3e938e9a8", "e3214444d913f27b", "d38e58fc3cac2b5f", "e10e29bfe32644c9", "68909da0a9e81a00", "f8cbe27605954a34", "d48e6395feca6da0", "532571c508ee917b", "2a153d918e467299", "083fa76b02ed783c", "385ae3da9b292dcc", "83547005d8c38c97", "c859468c0e9fce4e", "4ceb47a00c1ca252", "d508c663404a4f96", "82329c6120b9fe89", "5a1023aaed3e0f34", "373bd9f34ad53e2a", "3b0cc65c03665ed6", "33f99ae766fbe7eb", "790ce8b17ffa8ae4", "005397363f1946f1", "06b941a56d90e83c", "c14e4b23d3ae46ec", "c2530bbef5872161", "9b2a87b4a34e5763", "9dbe0d18356b730d", "3fe152dbbceac6ab", "b78982e3da3bd9e6", "227582ddc7ef17d5", "5fa2aceb5c2b9cba", "7bea5f27b9e5a503", "5af8c3f5a64d4e89", "b5a794d4db2b5654", "aceed0aaf97215f8", "87211deead1c8fd3", "466ebce3e287220c", "dab5e4a43e5b2f48", "25be2ba313294b16", "5ba0b12b8e3f1c00", "dbc5a1a571146238", "b41f08cb7b51c4fc", "837069fdb1a3d875", "0fbff2061c322285", "6fda7e47d7d24780", "633b698ce202030f", "ce58966972b524c9", "fbb3c04f10005cc0", "2eaa5d555d5d6c79", "8beced74dcf1e8e1", "f2609a5b12ce1370", "bf0c05f073ad5356", "e0e8cb7aea941c70", "ca7cea9469582848", "21601e6306b98a18", "6e7b9963a18d7f0c", "987c1668e79426f2", "cb9ac796b3f2f23f", "11d8b917cc58781b", "6ecc41a6a68bae2b", "2f8f1d8d9b8653b7", "6ae785060ef352d0", "0fd06291d48a0075", "bae477ebc7c7a935", "4e6b140482cacb27", "8a1893678efb7771", "8dbfa9d76a6b7ddf", "e4522da548133ce4", "33f98a0f26eaa39d", "3ea2b2f7b548319a", "1181a0ed00ef8779", "54351b305d8ea637", "9bfca215272cd6bb", "fa5bc3fddf2c41d6", "e2f0ff993e12acd5", "432e6555e4c71ccc", "2e66eadedeba21f5", "640c5808985d88f6", "4df90fb6b3dfce67", "e02a6770c0f1083b", "42bd8ffb35e384eb", "2b8ffb7df9b01922", "dccf5e018e417190", "d54d17711dd59773", "92080269395f809d", "cd7136b53d66b8dc", "56076d685cf3c2ad", "deaaa3e5943f2e68", "f142d7632179ca34", "76acee34e94f34a0", "a54acc72305682c9", "fbe520f36ad7bd8c", "2921278b2db2f1f7", "c8b9f06f1ac309d4", "017b510de0807ac7", "da03f0c983e32bf2", "4f3bef942f1a5125", "c3ebef4a927a8cc7", "cf8128b49859a81e", "c2d330c96b9cdcce", "b680824ba80b16f7", "6eccda24e5745d1a", "586da2121c4ab320", "9147472da036ee46", "14cbe0c68f31d21a", "46877f721a64773e", "74b63d13890ab050", "7b2711d7d8deb130", "3a1cfcd316414052", "8283834824939652", "56a4973f290965fe", "2c3f8781a8d7c8b5", "868ae33bb3aaea64", "4790a8133e5ba6b0", "86b81e7681e2bdfd", "c3d0a4350c7da7c6", "859b325917e66d09", "831e936316d5c393", "7965afaf0452ecd4", "127f494ceb61fc0d", "09b1531bac239cb5", "263042c64d9256cc", "9af184e86d874161", "0bac390a5be637a3", "5cb088c29630730c", "5a52a97230b550ea", "2216b180d20b40cb", "38e2945a3072048a", "695cb1f5dc048203", "625f83d971526bc7", "5a51500d67f2ded0", "caa5e9abc48a8f6d", "174e7083222be133", "89330d8ce6d39a31", "c1bbe5091a349145", "5be6dddb05420927", "8d4e43d5eb0424f5", "6b2e9dc366bdb1fc", "000a2eb0921d359f", "4c422105c2af8834", "b0b77bfe27865a24", "0396cc464e3b5f90", "a8be768fbddccd2f", "dacfc655f2dbdf75", "c7bc5ab0bf31158b", "7febf8bada7b7560", "b599e5cfe8aadb8a", "39e455935fc62cbd", "961e08dd122d2fa4", "1430aca1bf401cfb", "a5598d32aba2c202", "da3adbfcf0094706", "1eab89c68b485408", "9371c38b538ac6a0", "fb05563909127b2d", "b68b120319cd349b", "1ad373991a44e832", "54a958e87e882d62", "00652c3342a225b8", "a17712ddd7ff0ff3", "a14e15a8a8356d2c", "8e624598c077ccf6", "3906d418a844deef", "7766ed6e0ada0c92", "df44f9d099c8dc0b", "6e86b5a60fab2f73", "98358998474bc5ed", "31b33760cfc58926", "767b0cfc59748bb4", "8a7195f972d40fa3", "f4164f58ea3e2f7c", "6cf08ba709ca0c22", "b9e98bf6d5aad0ba", "76446ea4df94eb9b", "531e0878677a448c", "de0925f627be1305", "e6c542e9fad30e63", "d494b51a5d5750bf", "60283d11b59231de", "582c7729f034a23d", "601eaecaf2c9e439", "4a49acd65ab059b1", "fdb26305bba17542", "53039d9f38732728", "1439e63a68e30b66", "844fdd49ec7cd4f0", "2516d919d8bd1159", "ec5d450c5c151d3b", "2a52f389d1cf19c1", "688d2b06fdf6d7b2", "92d481cc7a74969d", "abd70e731c9678f0", "f4f97f64c02d6801", "43fc93418ad51291", "c689b6f3673e3cf4", "1af6666372fbfd8d", "2fce968de73cc936", "d49841f2d0ae3d24", "72bee5998998a85e", "31565c5754b64e8e", "e47133169d7b4193", "4d66ca3fe103b3d0", "7dee24dd293940b7", "6df480a20ac1fff6", "fce882d342474189", "f3f6b50b87b68d4a", "f1f033114913f2d0", "8a739c49934d6135", "4ef1a556527b16b7", "c921dc5e5878ad5a", "75b09def7a484a80", "b64717bfcbd47a15", "4a281327215df7a1", "951963cf8e8a840e", "1e67945446bb5286", "604093dea1f445a3", "1000e34aa2c2a5e8", "c488c35a66d55aa3", "4c65d0abbdb638d6", "7b3ac6e00217a127", "35fe6c91fc9527a5", "eed63607d78544aa", "ea9bc2b2d8a824a3", "96c1259cebd03c2a", "08381e8c8c29d6d2", "b3d1172b466071ff", "be271a86db772edc", "011af3c801d3f781", "37f603aebb81902e", "5082ba59858b588e", "343c67726439adbf", "a6e6f9f819655124", "eb687d6fbf2b5286", "e633803d0b9765a3", "0502b8d7ffbd43a8", "bde05961b139d32f", "5891fb0d10d88b49", "1477e2c1bd8cc81f", "fc4a0356a858364f", "92babc68fe0af5e3", "5d602b010267f8c8", "4e06c6536cf60539", "f2d55c8939ef8773", "bf71b26469e9e4bd", "02608a8e97bcb834", "6684dfbf6a334c44", "55b037e58604bbdc", "6fbca890d00bc5ab", "24b2f82b3a2fd8e0", "9be0c9336213bf51", "d3b4c79f2f0c6c6f", "13a513b3412a8f77", "0a72a4aaf3b7e7a9", "34095b9133104226", "0954314c8b662b22", "38a3465cd1766ff4", "4b5dfca904e7fe2b", "6e3a6c2426fadb17", "09ac83ec9da10b61", "fc12a9116fdab137", "63a53efcbea5a995", "7d06eb7a148c2786", "5459f4007bce1e49", "fb12de612b1d3035", "2c7656f7c62ba715", "19b85037fd9a951b", "b62e9e14ab8586f1", "c3c275a8f01511bc", "86978870afb8d49f", "2a0fda3e7fad62f6", "db2a0d48cf3245b3", "beb9a791817b2df8", "8a7c328ad24ba5a3", "6811717655e23a28", "cfc8c9b96e3a745c", "e03fa257f39897b4", "7964e7c53f9acb9b", "153b6cfefbbc78cc", "8d8936770036b33d", "19ab322657cbb11b", "314d18789ed900b9", "8c0f7cd38043bcf8", "2ed6a6a44b310581", "accdf531a0c227ca", "3f18794d95f91105", "609b0d0956780267", "a62be6b8cdde8ba3", "d6b333da667bbe74", "6e7f98c793865408", "d499cb0882f55aa0", "b9e22104b5d81815", "9998a1bed37d0d65", "c6f9854ecc4a0e3f", "0f40f953e950f5e3", "b2a859779d934cc8", "f7d55854cf405851", "a01905ba6480eca1", "aadf4e75e796e538", "e153bbed38a386f2", "1683351ac0133d7f", "2b450025df79a4c5", "fb2dc4d0f3aec6cc", "2910775331a3a841", "ed3ef1003480df51", "a786d4175a6a2aaf", "13b76127c175b53a", "821a7441c49d50d0", "1d9cfcff76b85e71", "ab1f4f150896928d", "69cfbf3eaca2bce8", "ebeb67ec29ebc391", "183129615396d056", "4f4c640bfe632876", "c1aaa946731733a6", "527edb78b4cb3441", "54f7cdb535359269", "7f90a929266c430d", "a79e285c96c7f8cb", "41b253eb2af925fa", "5a6a646cb438e931", "6cd6c197970af4a3", "43adb30b7719a98a", "7c80610ae21eb859", "8e2731ccc1adb369", "419b9ef4a1b1124f", "338f8d2901a903ab", "3322cb79af47db6c", "a041886869360fda", "a8e6777d9f16d545", "c8e9217c686b09af", "af4cf7b143b4547c", "6529272b0101a3d4", "fe4599a68837d593", "1989cef04f90bef8", "f10fd1721ff52185", "a86494cdb7be0a86", "8a74dc782c251713", "4d46c1fa8420f9fd", "50ebae0ea8b5674e", "7abc474608541e00", "ad300a467efb363c", "c504600bb4accf50", "70f13e8b948042ce", "4e895b43c87631cb", "a539c8ae0a83cf68", "3ecf4efdaa6412f6", "62324e9304cca753", "f71ae45b90bc8add", "c00786a950f4e488", "236e4e14fd7f2f41", "fb4955542c18215f", "fead1bb1cbd9a6dd", "747e41776f5c02d0", "a6a3a075cb720ed5", "555b385242adff88", "97fa37ab7e484677", "5d082205e41dab3b", "468cb40b20823ead", "46db688932b93190", "9f1a8b07e74427f3", "c9e7f9fadb85337c", "112bc1eda525661a", "da836e484f59ea56", "50fc9a822cf30c02", "cf6f6d7120ddaa9a", "b5744ab3ae3bf74f", "ca4e09ed5fb1b361", "81dbfb430f802847", "044224bddf33d9d7", "289e12e744092ba4", "143224ec0c5950f3", "a4552a3a952fbe92", "b9cce41e56e6056f", "443b9651f62d72a5", "a116aa5732c92100", "9d98e11fec40f342", "55e5d1371984e224", "86dba1f44f0be2e0", "378ad027837b4d25", "1545ca1cdef452ff", "179dfd641b36e59a", "909c98eb9fa8aed1", "d217860460fe6bcc", "6a8d91b652eae41b", "83b39db676535713", "425090ca4e72557d", "c585531e91fa4e97", "f77e7b12640cffca", "2795b7f8756854b5", "4807c625c7b9095c", "41fc7e901bc3ac4e", "8d955c3e4fbaf896", "479bb5f0534768e7", "d888eaa9f0cb3ff6", "1a65832ede099409", "1be83efd7993a561", "e1d6d8a767f3fa6b", "5ad4e52e6431e75f", "500bdb2c6ec9b351", "3f89ee7d1afcd477", "81334b5d654cd01f", "45fe7b584a4fae7f", "3a6b610b01394ee3", "7cba7447b9c8e4be", "fea656536dfb9af7", "f3336eaba69c3002", "334277f6411948e2", "f0124300c73302f3", "c7a06b161a4fb836", "91498828871feac6", "a2f9d89da595a493", "e93726bcd911cb1a", "f430c78101aa6e0c", "21ef2f9d575339d0", "bd6f006e094feba3", "5452f36282bbfcb4", "b6cdf3ddda4d264d", "40ad88f648fb8f41", "be85f1a9fb5f881f", "5e0eb3ce2fd6d0cf", "b8d6a091c178aeae", "4f024387c1e23473", "bae5be09e9d48cdb", "9954f74bf8bb7302", "e12aaca1253e8564", "5ffa05e4baa5216e", "2052e2fe9fedf0ac", "2a3764162721804d", "505f2dbf131c700d", "8805560cf37debad", "a16650db3ee05b3a", "f179bab111f4150c", "48dedf58f03f3e26", "c7a8f975ba6009da", "5c7cd2fe36bfff49", "63ac67897f2a72f7", "0b7a20d01eb27bd2", "897e59970a21aba5", "018d13f5da4fa1b2", "3d6ee3a772c71271", "9310e6b42f822015", "51dc292de17d8115", "1900cdd36b539f57", "ab4b00e871da0da9", "8f5d8ed171ebf3f2", "61a100b8e6a09895", "a19d28e695915ce4", "f7c8d74399cbc75d", "269eccf65bc42793", "f1fd829194b02b1c", "9fe3d28786640c4a", "6c6767cabc4696d2", "99dad8a134bfef7f", "04de2a4ffa00af61", "355f1ac35ccd567f", "28dbf86525c8b313", "b3b3e5fe86a786b5", "9412687bab6dc4f8", "96f758867d372171", "cd01e858becd3373", "2516df5a313815d5", "3b9ff184a899b0be", "b0995938690d6c5f", "cbeac6aef5818147", "5e44966a9f283385", "6119dad0c32e22a2", "d0979fd941ba9667", "fe29f020fa469a8b", "a8c0463d53b9d57e", "6662181a8f6c3954", "33e247c88e1a3426", "baa2deb84c93c9ce", "99bfff06da7b5ddd", "5291df47daef7c26", "c50fd450d7bd6b5e", "b58ead7c38330608", "b0bc30a9684be204", "a9f2e7ddbda374c0", "717143f304cf0229", "23e55faa5d99366d", "e162a77537203f41", "87c33cc10c578f7f", "b7797ff755011fa1", "ad4d2a4c73a4d5de", "52f59ceacf272bf5", "c9a2789e47c938e2", "21b38f2e0a32d213", "951fe354263e5377", "731e1a4cefaa1211", "e05a95d11a59e275", "5c6b5341cbb96cf1", "efaa7b348f3b0268", "4781e2579470ee6c", "76ccf3a413ce14b0", "eb15d4cb23c8a499", "02890fb934153390", "89eb1fee1eadfdf7", "08c55d21a1c93bcc", "f5b2c4b102cbdabb", "f63dfffeaef383ce", "15b8901a31a55749", "44b12d771934efa7", "8247be5e38b98fb8", "b6105703be1212a7", "3c893ffc813a7f42", "9e48b01b4f379b3c", "15c7c01f313cbb0a", "b0f6005656e940fc", "1621e30832f12d7d", "e32d127cdbbe3067", "d9d25b0a6007b5c7", "71df7600d54a2b6c", "3ac0d47f0b73e43a", "76f9014dcfff4d72", "65fb9df81ccdaf68", "38d2c3b8b61eee36", "5dc7a4cea1db9e6a", "3024bf71de1ef3d6", "85f3d9729306fbb1", "9f28e1d41ce43a06", "0f0c53ab6d77b3f2", "1c80ec065015e015", "4d93edd638e56e95", "c17778a4420da108", "40374c85cd54f84a", "dd7ea3370a8d033a", "eccebd9d48c797bc", "e6528c245e627793", "e1762a85afc937bc", "80ea321be58acad3", "ff4bcf65fea50b86", "fb0a4484fd486011", "6fcabbca038ad491", "005ac319a55ac578", "5032b441c5ea2ef2", "f57d0b8d756a062f", "2c7057e30602b9e3", "785b00745f3ca450", "596cf8c77e11c918", "39ae645214a8ac8a", "29db70fdb19d9f53", "d9cc73a5bf2910ad", "3c878dc58f9ec9cc", "4839365a34b4075f", "4675ce439c155891", "7337ac6859a97660", "23904904b493bc8c", "56b663219f6e38f5"],
"state_hex": "459ec032d20b8a1ab5a7f66be1f5166444685e3c311f90c04ac53c9e7788360450cd884d9b68ae8c48e442d9bdb22f882068330a6ed425f9de86529de4952c650f747e544e567541de8d12d47cbd42277e3cc17feda3b4276582c71e47b2f66396b6fef0354d63ce1d3f8b5ec6cde96d93b76c967386ed76256366c040d887992c6dcd17311cde1197288f725fc651db343ef8d933fa34bd37585772f9c4f5c5ab2beb58fefe998073d1869e7cef423be587692f88427a0fb084f09d557d8ead9444fc7864ce034da7aa4326fa2d4e163ad7a8544e927d8c9139d6e4362ea3b78a839e60a0a095cdbc9ba293090b1ff9b6cbb3506ef8b553de11a2f0aef13083427db1148bdc0300000000000000000000e803000000000000",
"value_bits": "7feee458a58bea14"
}
],
"f32_case": {
"name": "double_rounding_trap",
"input_bits": ["3f800000", "33800000", "21800000"],
"state_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000040000040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000",
"value_bits": "3f800001"
}
}