{
"see": "FORMAT.md (RelSketch section)",
"cases": [
{
"name": "basic_positive",
"sub_bits": 6,
"input_bits": ["3ff0000000000000", "4000000000000000", "4008000000000000", "4008000000000000", "4014000000000000", "4020000000000000", "402a000000000000", "4035000000000000", "4059000000000000", "408f440000000000"],
"state_hex": "0600000000000000000000000000000000000000000000000000000000000000000000000000000000f03f0000000000448f400a0000000000000009c0ff0301400120023001300128012c01900101d9010100",
"state_hash": "1ffb22c3ff80d6696dcf09f7227b3b1fbdf63f43d634f2e054790647d8d04619"
},
{
"name": "mixed_signs_and_specials",
"sub_bits": 6,
"input_bits": ["3ff0000000000000", "bff0000000000000", "4004000000000000", "c004000000000000", "0000000000000000", "8000000000000000", "7ff0000000000000", "fff0000000000000", "7ff8000000000000", "401c000000000000", "c01c000000000000", "401c000000000000"],
"state_hex": "0600000100000000000000010000000000000001000000000000000200000000000000000000000000f0ff000000000000f07f0c0000000000000003c0ff03015001600203c0ff030150016001",
"state_hash": "75e6bd302ef7b74f21fc6b23b77728ec6140fe53bcf46074c7253ce28f3967fd"
},
{
"name": "subnormals_and_extremes",
"sub_bits": 9,
"input_bits": ["0010000000000000", "0008000000000000", "0000000000000001", "8000000000000001", "7fefffffffffffff", "ffefffffffffffff", "01a56e1fc2f8f359", "7e37e43c8800759c"],
"state_hex": "0900000000000000000000000000000000000000000000000000000000000000000000ffffffffffffefffffffffffffffef7f0800000000000000060001800201800201ad6501cfa43e01836e01020001fffb3f01",
"state_hash": "3d1e19db37d18ed5b1c4aa07306ea83a182c1766728a354d87b03bad76212ad3"
}
]
}