float-finite-results.json (108171B)
1 { 2 "stage": "finite-signed-binary64-add-subtract", 3 "git_head": "264672c05512457ffcc9107f44d675207aa293ed", 4 "scope": "IEEE-bit test interface only; nonfinite inputs rejected; no production/public representation changes", 5 "raw_directory": "/tmp/tricu-float-finite-first", 6 "magnitude_worker_unchanged": true, 7 "independent_tests": 7, 8 "test_sha256": "5e23f98c50240faa36465ddfd19ad77c8556ccaa42d757bab493bafa890db9a4", 9 "oracle_dependencies": { 10 "float_aligned_quantize.py": "fa6f0992b5ad556b194dcc32fe9308815497ce981fcd76c0a86f5ae34da0cf13", 11 "float_quantize.py": "0822832c4a95d19e72332e0e6b5bd6f44cad93648125f9cd270b4f556e0134a8" 12 }, 13 "run": { 14 "complete": true, 15 "scope": "finite signed RNE; exact IEEE-word test interface; rejects nonfinite inputs", 16 "runtime_sha256": "3b9f1df33d5d2143206fb3559d7a0e514f80b3dc729deb9df5df556d060e6d94", 17 "compiler_sha256": "819ad1c86fbf2d6f86533439217146eb9ffd37ca7f95bb278063a28f0ab5b534", 18 "harness_sha256": "86ddd3eefdffa8d992db1d37d1f14d5f4b8369d1a246e4ce400e3ff5684785f4", 19 "sources": { 20 "driver.tri": "11cab8111c08931516ed021a552f62697847dcfaa41e5a7e2adad576a1cf7b1c", 21 "near.tri": "1c989cc4c6c4f13403260a33231ba8ac9f325d724b20f11b354b2d0e1bc47844", 22 "aligned.tri": "565df94e20637af3c15b48a40ca0d16ff8b24abbf1ee24d5cdcded6276c4a6b0", 23 "fast.tri": "b962053fa3d77b7e251d75dc70c3606574ce861876a6cfc6ab62662a84ebfd9a", 24 "quantize.tri": "e62f92ee19e60ff2ed9ae79378d89019ba8dae14f1fb81cb2b774efeced8ea53", 25 "pipelines.tri": "6daba69f8c252469dea0e799c2d7fca45b673a23508faf4a0f69e5c375a735bb", 26 "kernels.tri": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5", 27 "layouts.tri": "3e1ccc050fa4e803271f87505cdd141ded2cc7b0be367fa548aba2bbd86b9914", 28 "native_math.tri": "d699cce98f8779ff3d451d1be02687182243922fa622cedf5d4f6f9fe252102a" 29 }, 30 "validation": [ 31 { 32 "label": "check-adds-0", 33 "cases": 24, 34 "input_sha256": "a49a703a9439e7fc3a54fce2bc817714e55beaf151037b0556752ce3a64958d9", 35 "output_sha256": "1fd85c37920ba7f6242582a58ae72f5462f0606de2560680b81f334735baa52e" 36 }, 37 { 38 "label": "check-adds-24", 39 "cases": 24, 40 "input_sha256": "0d9ec64263eea22997fd1faa7abe53e3e6198fcfe774c61bbf52824ce5c8f6c9", 41 "output_sha256": "8d30f45ce3d5953a29e3266ca69c37ee97c08fb6e4360a5951cd01c045eb6301" 42 }, 43 { 44 "label": "check-adds-48", 45 "cases": 24, 46 "input_sha256": "bb65051e9d792f56f0262bac1602dec6298112847fd6ce32b78285e9eda63ae7", 47 "output_sha256": "ccb94ed2b37b2bff8374921479e5bcda1c429e4f0dbba17ac5f424b711dbb0f7" 48 }, 49 { 50 "label": "check-adds-72", 51 "cases": 24, 52 "input_sha256": "88ad50240c16bd35f200023aea751312af6d5a330158f880a970c1c9d10a058f", 53 "output_sha256": "30a3ca97d6ca532659b28eb865d9ecd93c0b3fb2d4847c34abd3fe416cdb7244" 54 }, 55 { 56 "label": "check-adds-96", 57 "cases": 24, 58 "input_sha256": "e60c1313f7e20d4b2d632da527db30ac135dfde234ed962714efc482a88a6832", 59 "output_sha256": "630cfa5bd713606c30194f0d09bcba5b058c965fb8aa1c5f37f451d1d05b9311" 60 }, 61 { 62 "label": "check-adds-120", 63 "cases": 24, 64 "input_sha256": "28dc92f1a76364194ac387d4b956e18caf6cc3d944a76b3b777381cad2b03854", 65 "output_sha256": "4a8efd144ba673cea9b3381e9c00f6259ff1bed7b89d61b94884a84d3116c23b" 66 }, 67 { 68 "label": "check-adds-144", 69 "cases": 24, 70 "input_sha256": "b78a86b8669addfbdb7f162ee5a7b4297f8fa77c2d9774e37278c9fb3a82e1b7", 71 "output_sha256": "cd118bfd79cb72f87bf152ca0ba533b26e5db846e342c90ac9c57271cfc27d20" 72 }, 73 { 74 "label": "check-adds-168", 75 "cases": 24, 76 "input_sha256": "deedbc2f7ade5cbf863faa34a4bafd4fc82af9d8b6843157675dd7f35d2fa2c9", 77 "output_sha256": "2235f718fc996db7251206d802f61306a58cc4458e40773bc2ec6e6ae3bdb4d0" 78 }, 79 { 80 "label": "check-adds-192", 81 "cases": 24, 82 "input_sha256": "b92e8a6beecb9ee2aa8a8e8398c16309c265598428003129d208d55414acbea5", 83 "output_sha256": "1761229ad7a7f753c4a3f019d44c1305331d6f761c3a9b4066cd4f7e8c8f4100" 84 }, 85 { 86 "label": "check-adds-216", 87 "cases": 24, 88 "input_sha256": "32ddd6c52929240b8fed16e2b9bfdaff739fba4f07ff8c78dbd5c814b3f4ebcc", 89 "output_sha256": "c683504a3a17c489ae8621293a9455452fb3db9079ae5ccb6e6c9d15e318cf20" 90 }, 91 { 92 "label": "check-adds-240", 93 "cases": 24, 94 "input_sha256": "78f4d4e4d421b4074702167ca262bf3779cc7e0c6476ffddb475ffcab9431182", 95 "output_sha256": "60a34fca72f12b2c19b47a98838fa730fcc57fec18cac4f95a0b27e0977dc390" 96 }, 97 { 98 "label": "check-adds-264", 99 "cases": 24, 100 "input_sha256": "20dc6f5f4f84c8a5c9be5afc1ca132acd71d54dd0bd2aeb46ceab84083b0a07b", 101 "output_sha256": "30e65909396c0e3ad278c4f9e50e3992c985e4c30ce6eb7a135aaac2f8cf5075" 102 }, 103 { 104 "label": "check-adds-288", 105 "cases": 24, 106 "input_sha256": "1dfdd29d676ea6d1a22941c9b90469e699ad5f12eea041a53dfa6255744d5219", 107 "output_sha256": "cf368721c27560f520d42bf8dabe37fdb6e74e967781460c6d759d92ce33b56c" 108 }, 109 { 110 "label": "check-adds-312", 111 "cases": 24, 112 "input_sha256": "28f24bb3a1be592ebb91da687206621e20bba51fc2043a30fcba4a8e830f5700", 113 "output_sha256": "c3f79fcc676fc18b6648f26443892472e36709e86c6158e95f3cdb8157d543c0" 114 }, 115 { 116 "label": "check-adds-336", 117 "cases": 24, 118 "input_sha256": "c0e7572f851e621d9dce8f07c6e22cf765ce2b52e21df2839eb50990fe6eea5c", 119 "output_sha256": "f7840d7bddb7e4542f8443d1133a4d6fe51c01aefe0fa4375bc866b4e0ec7927" 120 }, 121 { 122 "label": "check-adds-360", 123 "cases": 24, 124 "input_sha256": "70f83adb8ce5be3dc13afd9a7af27d683ab490480083aa55cc93293d20b56b72", 125 "output_sha256": "7bec292ed320d0a043597c85b94cfdb563d82633c9233840c40a72173fa5b675" 126 }, 127 { 128 "label": "check-adds-384", 129 "cases": 24, 130 "input_sha256": "241d30bf8005dc46849d48d2aacd513e48ab10ac4a38e973078238e39115bae2", 131 "output_sha256": "7093c3c356fad0a646a3b735dd892720c4db7d6f47fe7585db9cded644a80be8" 132 }, 133 { 134 "label": "check-adds-408", 135 "cases": 24, 136 "input_sha256": "fc11b93cfa9a06fe64353e95079f59e4389e5441eed5ca2eddc329b508eb54a1", 137 "output_sha256": "308318a7423e2736ebe9d389f5b3bd78e681f00aae3777134be750f5e5d41f15" 138 }, 139 { 140 "label": "check-adds-432", 141 "cases": 24, 142 "input_sha256": "6267e6473bec45c361f31c8de80b41ec615c607dd882ca89a18e252b09c09b82", 143 "output_sha256": "74a7e39426fa34ece6d39802be2ac90cb04bbe123af315a11a039f87b2ce0667" 144 }, 145 { 146 "label": "check-adds-456", 147 "cases": 24, 148 "input_sha256": "7a31082e1992a70de4a63033ddd58d8ae0a4df736c7cabdc7ee7d06a4d884796", 149 "output_sha256": "0faafe53f88818421478766aff889d440807dd72ca77df3d3958765bb397cb34" 150 }, 151 { 152 "label": "check-adds-480", 153 "cases": 24, 154 "input_sha256": "3b773dd7d015a7b139e2350cbd3dfea55a237cc4a54b241d17443ced0247e021", 155 "output_sha256": "1bd7de98e31740fd28648cfacd14c12839f2e04afb485ee112718e2a211af843" 156 }, 157 { 158 "label": "check-adds-504", 159 "cases": 24, 160 "input_sha256": "58c87c841a07aed0d076228e8541901cf2bde28c3d090af47a560af0f14ed5ea", 161 "output_sha256": "30510885b386d1a1c2585b93f3697ea0a8cefbbb5cfd9cc7f7fce7f0deb57727" 162 }, 163 { 164 "label": "check-adds-528", 165 "cases": 24, 166 "input_sha256": "21a337cf34812bab767daaa733e0423a275e0f9aa8a122828dec1e5a07cf63b1", 167 "output_sha256": "0ca4c93a880b17412b0dcafd477a94234ed318beffbea8f56770f80d5cb4b3a0" 168 }, 169 { 170 "label": "check-adds-552", 171 "cases": 24, 172 "input_sha256": "c2f72d7d0d3746c6ee343e3fe50f3c5b2055f7e84e6d6a8b4d5e0bd9bffa9c79", 173 "output_sha256": "a2124846ad071fe5e3d7c6a6cd7487be621e41ef59b5d84887c48e8cd7287b67" 174 }, 175 { 176 "label": "check-adds-576", 177 "cases": 24, 178 "input_sha256": "54d2edc892605f4117c6fb9ae453c389fc0d1c49c954982004252a6646b1f421", 179 "output_sha256": "ddc637d280d6213d8228f53e0a194c9a63d9ff0899b567eb738d01ec6e0bf978" 180 }, 181 { 182 "label": "check-adds-600", 183 "cases": 24, 184 "input_sha256": "758683f2c44e37d292a57c9e3f2a464cc0a066301f6e1571de6457b69b89e462", 185 "output_sha256": "7eb7a410de829fc42063ef594716caee54fc152d4694ddac0425aed6a3bb8575" 186 }, 187 { 188 "label": "check-adds-624", 189 "cases": 24, 190 "input_sha256": "d6dc5e03c984eb89bc03f1368af07439e80fdc61fbc1e97aa99e79a1d67b453c", 191 "output_sha256": "47d9b70ea3a3116a2aa82c35711f74ec92bed386ffebe5ce404108c17df3dece" 192 }, 193 { 194 "label": "check-adds-648", 195 "cases": 24, 196 "input_sha256": "02b5a26f449908419ae63563a9c2e4f426f822d984fbd3196dfe844d5548a8f6", 197 "output_sha256": "90034e735370b0a6ec86a3432d80a947c8a4b9d1321ab27843f4a263fedfa630" 198 }, 199 { 200 "label": "check-adds-672", 201 "cases": 24, 202 "input_sha256": "afba9d2b0042661f0dba0bc68030735ee1a2bf4450d61e2d3f92b4efa1632fa4", 203 "output_sha256": "936b2295fb496fa8fff9c47caa50e73fff50fb6df152a87b72b21b2a803b51a0" 204 }, 205 { 206 "label": "check-adds-696", 207 "cases": 24, 208 "input_sha256": "778b4b8960995356f1b7e5e39262b4c220fabad755617c1cbbefe71b0bca305a", 209 "output_sha256": "7d7e74fa2e578379bcfa904cb2603012ca477bcf5468d737008d822d536f2fbe" 210 }, 211 { 212 "label": "check-adds-720", 213 "cases": 24, 214 "input_sha256": "866d9592b876f7c148b0ab1ee088f3a9e8cd11da5dc2663ccb41ff16e5a39307", 215 "output_sha256": "3f8d6f110f97ec5dbb1d809f17a5ad986f671fccc6d426a6be8e0efe16ffaf92" 216 }, 217 { 218 "label": "check-adds-744", 219 "cases": 24, 220 "input_sha256": "96dda606e8dce384725c8551ee446f4341bff80dc40b2ee0cef2dfbcbe1c034f", 221 "output_sha256": "c7774fa2a205a6b553585c7fc8fcf45170378660a44f8d7d5536be9c8f14bc8f" 222 }, 223 { 224 "label": "check-adds-768", 225 "cases": 24, 226 "input_sha256": "58c0c5266168aae78f0b65a16afa96ab0e24800dea98ab1640c655540696fba0", 227 "output_sha256": "29a72c8c5f72603fab9effb20d85ed643ed627c97c4e76b2e794e3293e9b1cba" 228 }, 229 { 230 "label": "check-adds-792", 231 "cases": 24, 232 "input_sha256": "acecab81113d341b70544bfc8d59aaf6565513b97bb8bf955f148aac1f698019", 233 "output_sha256": "c792a1c5aef50f774b9d06d7357fbe60db53420b5c31f2aee6e1a2376435b40a" 234 }, 235 { 236 "label": "check-adds-816", 237 "cases": 24, 238 "input_sha256": "5983d72bda6baebf199d6c55369833452f5dee08aad23c0a83b814a0eb9cdc80", 239 "output_sha256": "552d5ff8de8792f1753032064562062a900a44e7df45e688649dd3729cd92f81" 240 }, 241 { 242 "label": "check-adds-840", 243 "cases": 24, 244 "input_sha256": "efbaa5fe0a3b79d22d5e5dc7a2cb47905141b653666ed068060d21a2d580f6ea", 245 "output_sha256": "28f7fd55d2a50688a3d1553107430c86607e08594e35b2d1b20341233613a634" 246 }, 247 { 248 "label": "check-adds-864", 249 "cases": 24, 250 "input_sha256": "6db8f3f006850a4b1a7a99c048804536767b3af71eb06942ce4fc2f8939b1442", 251 "output_sha256": "6aba2f82da0fc4edd1ba1f599ef494906d06b769eb1ee8229a02fb3726069013" 252 }, 253 { 254 "label": "check-adds-888", 255 "cases": 24, 256 "input_sha256": "fc6144658bd09872c191ca962c0496c1ce0db04410f1fcefcbe8db79468e0c6a", 257 "output_sha256": "104c842fb1b53ed367c1ff31d0724886df18dd7d723d9b46fb6756a5e39d7782" 258 }, 259 { 260 "label": "check-adds-912", 261 "cases": 24, 262 "input_sha256": "ecfbc516dbea494c17fd042fdb57068d0d3f58cec9c0070a7da17e6dcf31a370", 263 "output_sha256": "7acd75d1d5473f72ff892a5e6b396e939a6b054e52946eced6c033901795c9fc" 264 }, 265 { 266 "label": "check-adds-936", 267 "cases": 24, 268 "input_sha256": "176ae9d77decbca6fcc8ce3fdd6d4a2353ce3503f0263e86ca44d633e4b1ca25", 269 "output_sha256": "7eb7fa758c284b7757935dfe8196adba22927c254557f19a3a9fbb05c4f10e2d" 270 }, 271 { 272 "label": "check-adds-960", 273 "cases": 24, 274 "input_sha256": "8a504934dc8a8520ba173adafde4ece8d94b22ca1e405140f5b387b63f58422e", 275 "output_sha256": "bc31e28e99452b90c7dfed494bfcf5f2230522e70507beb96853f3ad2fbed843" 276 }, 277 { 278 "label": "check-adds-984", 279 "cases": 24, 280 "input_sha256": "db1df5ad5bfcd3e9938415552a27defb37a662fae525519684df1fea4735ad4e", 281 "output_sha256": "bc4558ce1d1f2159f609534cd09890ca30476082c9e4131ab6a0d37ed0d5e18f" 282 }, 283 { 284 "label": "check-adds-1008", 285 "cases": 24, 286 "input_sha256": "7a172b4f859e53aac2293d6dff9b9c315452d4825ab39023b99fb856f6c50b58", 287 "output_sha256": "2af979c8583a89097db7a80f26d3fee6c34364ba4d6416a49d47cc47b6c5cf98" 288 }, 289 { 290 "label": "check-adds-1032", 291 "cases": 24, 292 "input_sha256": "a2ba003c816bdc9e2611c03061321841e2ad113c99fec6453d75e2d0defef4d4", 293 "output_sha256": "61566bf2aa24d18085c1938b19bd9e5a9143079661c8946de9ba9186b1c4da35" 294 }, 295 { 296 "label": "check-adds-1056", 297 "cases": 24, 298 "input_sha256": "d0a33a6f4b84f79d30fbc011edb9c1a33cebf41d65a80f8070007f5652fee2c4", 299 "output_sha256": "ab9ad2372b4361e54775a57f4efc8199ef46b556240b15815bef0b95a7f6ae33" 300 }, 301 { 302 "label": "check-adds-1080", 303 "cases": 24, 304 "input_sha256": "af2ee79af7c7a593634f46c1afc9930b981d823bf08f3175001cf2db8c7b0004", 305 "output_sha256": "297a04f8fed974fb0b1a55c796123d913b3d10f4858b3ca3e2ed5daace8136d9" 306 }, 307 { 308 "label": "check-adds-1104", 309 "cases": 24, 310 "input_sha256": "6f1f615f07d10c5ab63f97721b4931863fc8488d2302ef8827fd37385a365a25", 311 "output_sha256": "580977ebd895eb303c1aced85a0e6ceefc30656155aec240ac19a11342fa61a3" 312 }, 313 { 314 "label": "check-adds-1128", 315 "cases": 24, 316 "input_sha256": "78cd091a9dd1dd0d53a4e3305d74ef094bc237fbfc22eaa68785c3281a118c7a", 317 "output_sha256": "becaa8cd0a8783e6e6372f59b5790141604bd07664a58a4e76fc9a1823a6ad15" 318 }, 319 { 320 "label": "check-adds-1152", 321 "cases": 24, 322 "input_sha256": "ff617df052350f51fc9bf8525cffacf468bcf0a87c33a9f94a5851428fbc8d9b", 323 "output_sha256": "b4518edde4fed51d94af21214a3d5d64d31b9c18c2e57a3509a64fd51e741cca" 324 }, 325 { 326 "label": "check-adds-1176", 327 "cases": 24, 328 "input_sha256": "a4a79220a8240b0974a11819ed0f556b2bf878579a7d70a39ec143739864ecab", 329 "output_sha256": "393649e004c9079eedf2f7e3028b6ee782246072bb9ce5e3c091c14161718495" 330 }, 331 { 332 "label": "check-adds-1200", 333 "cases": 24, 334 "input_sha256": "4b606ca771e0963774ae1333835c8e567a310a3e2d706146acdf5406144936ce", 335 "output_sha256": "ceb48aee53949ef2e7b14e3b6506ee4039737a40975a07399ec5efa05d050344" 336 }, 337 { 338 "label": "check-adds-1224", 339 "cases": 24, 340 "input_sha256": "10a97e935066f4e894fd1ba6b5237743070249de992df5f2b3103d36f1e5292b", 341 "output_sha256": "2a8ecab08340602b2d14d633bbd9d3d0479f3cbf6e44d3a3b8d19525d350133a" 342 }, 343 { 344 "label": "check-adds-1248", 345 "cases": 24, 346 "input_sha256": "e7956a0d9cdd5085d303ac94a1c0439b10c2fdd97efe26acbce404a1d88540f4", 347 "output_sha256": "442b48f0df543a62a15d56fc37869927e7b52fa22d417bbfc2284edac6648b53" 348 }, 349 { 350 "label": "check-adds-1272", 351 "cases": 24, 352 "input_sha256": "1b0d8cf8922008e39d667945e86ee63de708cbf2919578da2318dd593f3f2964", 353 "output_sha256": "220d59a7c7f7866b750d91d6bf3c93d0b19470811ec5f46c9365134abd4ffaf9" 354 }, 355 { 356 "label": "check-adds-1296", 357 "cases": 24, 358 "input_sha256": "b055088b2038c2d80a14a195c2c2141a663c0ddb852d4d9e63144c243cf51acf", 359 "output_sha256": "bb9adb6add828e80b077e6c19f1e44398100d97d406aa89a80272db77c3938f5" 360 }, 361 { 362 "label": "check-adds-1320", 363 "cases": 24, 364 "input_sha256": "f0300b38bef5a891db069666d51fc790157fafeea4c951ca374cc88de08d0546", 365 "output_sha256": "b1bd2ec2e552cb19e62a2cd96a2b98213283d93ca58632e6dcf3fe19ca57c4ad" 366 }, 367 { 368 "label": "check-adds-1344", 369 "cases": 24, 370 "input_sha256": "abb22b1cf8db465a8b43ad1f45758860fe536605e5ec4abab08ecab1a3e60750", 371 "output_sha256": "7b4456247c95fb9adefe7cbc3b97db2ff8a3e4b5ca72cdda5074ab61d44cecbd" 372 }, 373 { 374 "label": "check-adds-1368", 375 "cases": 24, 376 "input_sha256": "161dc06c711cd8ea77c0db0f729e4977e89e2a4520247135bb9ddc529bdb8525", 377 "output_sha256": "9b55fe031fb4727acecb7c70251d1b79e3c15f4fc6b98a22a1f7b211ac8d9eb6" 378 }, 379 { 380 "label": "check-adds-1392", 381 "cases": 24, 382 "input_sha256": "8a7eca9457c8b92ca4b6d9c5893be38e75623a1e4b27e8601fbe49c3e48b2d76", 383 "output_sha256": "f6cc8117d0393f455051193e072f66bd93716bc7e0d9bb877cbd9e062bca3b4e" 384 }, 385 { 386 "label": "check-adds-1416", 387 "cases": 24, 388 "input_sha256": "e8944a30b8d0898402d8fe8d5351f29ad1904f749e0fd9881d32983a78aeb7b3", 389 "output_sha256": "d7f2181b1b9bd5e975c99b860761763c5500b08686c73261932142539170af6f" 390 }, 391 { 392 "label": "check-adds-1440", 393 "cases": 24, 394 "input_sha256": "f661a250b0ae8ef352a2f4c605463bbcbd934f6238a56f681a54d93557a11f80", 395 "output_sha256": "aa432149f1a435c784918c7baf5ffa59f279820deaa080c769528c9e8060916d" 396 }, 397 { 398 "label": "check-adds-1464", 399 "cases": 24, 400 "input_sha256": "8cc2a004bf92cfd6f481840b031ce4228b7b46d56a90a6ab85194bec209604df", 401 "output_sha256": "e9a17d5e106383d4bb1db1e04c22ff5f859951ceb39182fcc9e96f94d48b229c" 402 }, 403 { 404 "label": "check-adds-1488", 405 "cases": 24, 406 "input_sha256": "13ce1951de3b6105c88abe560c16523a80dca9934b11e6cc903a8d8fcac5007c", 407 "output_sha256": "3a20b3c9f346d83bc693eec960f5057f047bc3f6f30cbeb8d5ce16dfe4e91f9c" 408 }, 409 { 410 "label": "check-adds-1512", 411 "cases": 24, 412 "input_sha256": "eb45d84fe032668a2ca3d9acd105330a4ec65aa2ee346d896a8bf536cac6b3c6", 413 "output_sha256": "83c85ae5a1115322df0968b66e3163f18cf2e10e1fb8ba0af5a1794706595925" 414 }, 415 { 416 "label": "check-adds-1536", 417 "cases": 24, 418 "input_sha256": "94d1d17cd95a017a3a7cd06e7bb505aefcba85de965f44e26a58acb807e528ae", 419 "output_sha256": "8857297e7429ccf10eea4f72f4e8e458a5c8ecfc889c9ed9b4c7cde8eb424561" 420 }, 421 { 422 "label": "check-adds-1560", 423 "cases": 24, 424 "input_sha256": "5f232e15d589d2bec2a612b658fc654b8bac393fdc70b8cfe209e029ac2c404c", 425 "output_sha256": "444b09232c661d7aae30dae3bbe5be622d6eb5aea9da31ccbb78e36e96dfbd33" 426 }, 427 { 428 "label": "check-adds-1584", 429 "cases": 24, 430 "input_sha256": "7fd8740e80ac66d1802a8986d41b32d64ab0d2e1c0fc0a129920ff898b4d28d5", 431 "output_sha256": "ab02929ff67982d9e995da0b1f5d7a7fefafbae3191fb1e0f3991b65193e9ae5" 432 }, 433 { 434 "label": "check-adds-1608", 435 "cases": 24, 436 "input_sha256": "99150b66e843353e82c236b7c39d73f19e943754b134f356ff747b0c91125b73", 437 "output_sha256": "8c9cb41c36d5ca875881b904fc72bc79d895ea291803e2a9a269253f200ae27d" 438 }, 439 { 440 "label": "check-adds-1632", 441 "cases": 24, 442 "input_sha256": "5a5fc70073b3066171458cf8b6a56832610da79622cc1ef13511c5fbaf91481f", 443 "output_sha256": "66964b37c9f2aec37a480cfec1f7d44c9b6edcf342634af02cf560b1f553ad88" 444 }, 445 { 446 "label": "check-adds-1656", 447 "cases": 24, 448 "input_sha256": "05b7720addfe89b67fba0db395ca21cb3eef5c81172da388dd508e7b491d07b1", 449 "output_sha256": "cff073c9077b7c84539214ca72187de599fe48711b0180ceb489525616975e52" 450 }, 451 { 452 "label": "check-adds-1680", 453 "cases": 24, 454 "input_sha256": "cd64f50e7c3eb78b391284497b527808df8dcc08630068974febebebd35c5f74", 455 "output_sha256": "8c23e910b34a14398fb52e1101bf11e7cf80c1d52f1c946fc7dc1423f1f63d8a" 456 }, 457 { 458 "label": "check-adds-1704", 459 "cases": 24, 460 "input_sha256": "cf94f6dd3b5343227297a587c119102840a6701e8d441ded676a662762d19350", 461 "output_sha256": "afc8ea2a04b0013b68c25980ec08e42933e807a8af71e7d086857d8cc43944d4" 462 }, 463 { 464 "label": "check-adds-1728", 465 "cases": 24, 466 "input_sha256": "76c6a899cf3941f93f2eaeb5e8b33219a622eb6f4806f071a7821e12c142b42c", 467 "output_sha256": "bc8a3a6f24540c3a3a28d4d72735528f6c7649a10f228e316c61f7262bf71a55" 468 }, 469 { 470 "label": "check-adds-1752", 471 "cases": 24, 472 "input_sha256": "66a879bc67a431778c5389150af24528ddf1c32245c4ac82b431da34055353f3", 473 "output_sha256": "ff3f5ca264b17078ef98f9beb0ff2932c3d76dd9341d789ae0034fe4d9c6920a" 474 }, 475 { 476 "label": "check-adds-1776", 477 "cases": 24, 478 "input_sha256": "5b65e2c0c73342a4fa651ac9ea8f9b4f44de6ad5052c2c1a9f14b3c3eb76ce80", 479 "output_sha256": "6c188868e2563ead0bb504f0b6fbd55b6aa8b5fc4dca5aeeb5143fe466734c22" 480 }, 481 { 482 "label": "check-adds-1800", 483 "cases": 24, 484 "input_sha256": "a4488be05b11b58244785a9e972b0fc759c0a2e36cfb28965b5221de33bb8a58", 485 "output_sha256": "ea54e0b055aac9e74bd11cbd14d8e2ff9c6e59fa1e0a37444c45132ea483f2d3" 486 }, 487 { 488 "label": "check-adds-1824", 489 "cases": 24, 490 "input_sha256": "7804fbec33fff062d2f1b3912051fa2c9f60a03e37c99908dd0c335fd545cfea", 491 "output_sha256": "bd17afdfc3d9e41861df4e4316733973484974ff6ea1f2c1a73c9b7332a4095b" 492 }, 493 { 494 "label": "check-adds-1848", 495 "cases": 24, 496 "input_sha256": "a2e4e96fd75af03dc2e4e74777b5e569435289914fb2384ea8db2b2be055b556", 497 "output_sha256": "0b18447a7170bc9e5e03d5661cbd8a24ba68d78d09ed5853608b2938528ae47d" 498 }, 499 { 500 "label": "check-adds-1872", 501 "cases": 24, 502 "input_sha256": "d5b58a40d99d614b74c3d48efbf70ce53327275bddc00aa8bb022eb6997d81e3", 503 "output_sha256": "de6988bd2d5ffe83e4ab21afac2a314f3f9eac592e08a37d6b7af8de7ebfe6e7" 504 }, 505 { 506 "label": "check-adds-1896", 507 "cases": 24, 508 "input_sha256": "3bf1a3892ba04aeb8a8144fe91566b439d24ee5131e5323ad73fa8c085ef64ff", 509 "output_sha256": "f004953312a5e0604fa5f52071fcf3519dbe79e24ba740b434b1d5d1ec51e973" 510 }, 511 { 512 "label": "check-adds-1920", 513 "cases": 24, 514 "input_sha256": "516c42bd55ccdde6013109db3b693a88bf90e62515eadd41402f1e2132968f5a", 515 "output_sha256": "000af8d7b5da705d37f1de1df42ff3cb5d8fa9305837f9fc0fdfcdece34512a2" 516 }, 517 { 518 "label": "check-adds-1944", 519 "cases": 24, 520 "input_sha256": "943e7576f43eb3c4a377c6f6b70d45c9a294e5fa9ac75647c584e7ae06b9f8a6", 521 "output_sha256": "51b1f3085fb16888d156a00bd23fce79facf3adc68c04877b6830bf8e580e53d" 522 }, 523 { 524 "label": "check-adds-1968", 525 "cases": 24, 526 "input_sha256": "b5f5a0852d17e30d46a37b664a4ed4b59ec9191bb149d18291ce3ddd5be96709", 527 "output_sha256": "473077bfa0ea81f4ba7408bbc9b7e68ca3bb272de33cfdaf6c93ad11ab470a19" 528 }, 529 { 530 "label": "check-adds-1992", 531 "cases": 24, 532 "input_sha256": "8460323bb898fe6641264e3ff31a9c64f6d8e2c8c351d3d9dc6443648c5dc006", 533 "output_sha256": "c63ce365e1c9c1811488c800625dc2fdbc860da1b5539b17f75f7d1277bc410d" 534 }, 535 { 536 "label": "check-adds-2016", 537 "cases": 24, 538 "input_sha256": "faf22bc7899a57b75f8d7a597f4aa3949bdf9a739417472bbb490fdcc70fbc08", 539 "output_sha256": "d6b31259a8677f0413fae083e5bc1cbf060c80f760ab462167969ee842ad7af3" 540 }, 541 { 542 "label": "check-adds-2040", 543 "cases": 24, 544 "input_sha256": "b31defbfb95a43ae0d4a6b85b8de6f16c86e03e381bcfec12d92a6a266fde5b7", 545 "output_sha256": "d92c1b34c2a81b92dcfd51f4809471bb7faeabc8ea4b234e55b0e689e013774e" 546 }, 547 { 548 "label": "check-adds-2064", 549 "cases": 24, 550 "input_sha256": "89d7e931ffbe984fc57da3d82e545092bc2dc977474927ab36ba722e83cd549c", 551 "output_sha256": "9e7d88b95968486d7d2e244cb7d6962b161e7aa13b3c8211fadf3ad9d177c8d0" 552 }, 553 { 554 "label": "check-adds-2088", 555 "cases": 24, 556 "input_sha256": "63447b7c18b81c080ea52899b0b7b4f7bb326130910a070f17f181b9670b4f6e", 557 "output_sha256": "81f63f6145cee735fae22b801e8d50da36f6e0d4f6193d0019eb96aabaca7705" 558 }, 559 { 560 "label": "check-adds-2112", 561 "cases": 24, 562 "input_sha256": "a0a12c063f74934f4a24fee1eefb4652626f34a058daaeb88200e3c2b638519c", 563 "output_sha256": "cbec74e86fae47f2a9e7a1765e5d25bf1aca26d5c6b03fbe02ff689a088e35f6" 564 }, 565 { 566 "label": "check-adds-2136", 567 "cases": 24, 568 "input_sha256": "2d6a3aaf7de7a647ce3e29a1ae808ee54437e076bc2df581329ed5ff69985c5b", 569 "output_sha256": "fe01b3c3c511a9428f3b1f08cba604b32eeaf949ea509779bc76602e5d0a284c" 570 }, 571 { 572 "label": "check-adds-2160", 573 "cases": 24, 574 "input_sha256": "3fc1101e1f62881c170acfa4c590ffb0f684b513c6a9d7cff9bf00216d7d3a92", 575 "output_sha256": "a7bf368858eea5d92ae6dbce420a1efa810356438f5f7a0cece43ca948d259df" 576 }, 577 { 578 "label": "check-adds-2184", 579 "cases": 24, 580 "input_sha256": "bfb523deb2247d605102a455845e5e2e725eeb6e0fce3e179e0a8224b93fd4ab", 581 "output_sha256": "797dd229402e7ef83029f5da5e6f500d7af654c6311cdbc32aa5f6066e8ce95b" 582 }, 583 { 584 "label": "check-adds-2208", 585 "cases": 24, 586 "input_sha256": "c2a607a9103afc1a34cf902018925e85a3243963b53ca18ad2a8294a6e1e7b78", 587 "output_sha256": "ce1d1b938c0f9247a42ce9ecf47b7b7f12df1210ee93345e365e7833e5093eeb" 588 }, 589 { 590 "label": "check-adds-2232", 591 "cases": 24, 592 "input_sha256": "ddde9ae307b9e33bcab26dd3c4eccfa44275de1a7e7eee93d80d15149c47fac2", 593 "output_sha256": "8985a86bec5504d71bf46501af8cf6b92ba2434355a81c25f47ce1ca66010b17" 594 }, 595 { 596 "label": "check-adds-2256", 597 "cases": 24, 598 "input_sha256": "07be9e3df3156cc9d41ec11676661f96b9e6f6f00048c4860d6c4a8c68de7d2c", 599 "output_sha256": "c7c370a887c9f32c693d7b451a29a72735fe864fc039ab8c791d46444f19c116" 600 }, 601 { 602 "label": "check-adds-2280", 603 "cases": 24, 604 "input_sha256": "8347f50ee4650d2de8cf16abb1589cd4e593a620e80be3636b72b4d7853e5aa4", 605 "output_sha256": "c59883e1748641464e16bb59e0cd1cb8b817d0046b9db1b3275f43afe594b726" 606 }, 607 { 608 "label": "check-adds-2304", 609 "cases": 24, 610 "input_sha256": "b637fe0b7ad182bc3a6a287b20996ab48e2c1be8ce0dcf1df64e03482d02ea31", 611 "output_sha256": "b4fb6325f8e52d763bbff8c21ef373acca739a055a6b601ebb160fcf5ce08122" 612 }, 613 { 614 "label": "check-adds-2328", 615 "cases": 24, 616 "input_sha256": "ed9a9d1d11b649d0c68138ed828fd51f6b462c65d6904a91a55a1e90b1c3e3a3", 617 "output_sha256": "2803381ad3ddde3a1615a6e2132fc5f463894f3012e33cf24c079ea43ce9c168" 618 }, 619 { 620 "label": "check-adds-2352", 621 "cases": 24, 622 "input_sha256": "cfe79dd9c91def14b8ba9c89ba7d96140e4c6560a3e15736a471b80c36e2169a", 623 "output_sha256": "e21d4e3cc8fe92c632aeffafb71c9d1e75781a43ecdc370e5e3a66a89b3a2c11" 624 }, 625 { 626 "label": "check-adds-2376", 627 "cases": 24, 628 "input_sha256": "11d817e545e6be169b36a2550d3628535634692e9ea9819a90de575567afddb1", 629 "output_sha256": "1deeaf5d538e336df392fd913db57d90ec57c2c583a4f69159cf7fb5bcebf6ea" 630 }, 631 { 632 "label": "check-adds-2400", 633 "cases": 24, 634 "input_sha256": "a5d0aa321253ffc213fc2b6ec885ff6471447ab4607b50986e1ed37e4ba6c0c4", 635 "output_sha256": "6ba057bb66683ac49b71ddd515a812a6d7fb23fc7d5c8e064f835d9be32b95d0" 636 }, 637 { 638 "label": "check-adds-2424", 639 "cases": 24, 640 "input_sha256": "4304a01eb01d326b64086160ec06049c9817a7e19a6cdb188ed1989d360264e0", 641 "output_sha256": "a26315f701a6f5185f899b501b2906c516dfd1b3ad1c8427810c27b13a0f598f" 642 }, 643 { 644 "label": "check-adds-2448", 645 "cases": 24, 646 "input_sha256": "1e703401d6b4d3fa9801f1665ce9bb4e3353dee2c2058abd13b3e2b851c648e6", 647 "output_sha256": "37184580a9a1e6e7508ac2686e9f80cf8da473348f20e9ba4f992d26bcdf4b4c" 648 }, 649 { 650 "label": "check-adds-2472", 651 "cases": 24, 652 "input_sha256": "941a319034b7bed4c38132506d90f0872cb44060675050648b408524329a2ec4", 653 "output_sha256": "7f014d8657db7a45115c113c765592889858fdcd7fd3525a2c4c861d0a907672" 654 }, 655 { 656 "label": "check-adds-2496", 657 "cases": 24, 658 "input_sha256": "b431f28545f9fbc8b130b7c4d588abd4e0fb10e9d8ef9f274defa6513dd18161", 659 "output_sha256": "eb4f26a30a2be7677668080876d20dbf34a721d1602dab938b6ef7c0d0ccbbe1" 660 }, 661 { 662 "label": "check-adds-2520", 663 "cases": 24, 664 "input_sha256": "7dc73ee0cf42c0e728366a338d4501797ff8fd0bb2f0943a9b6f39a46b568f2c", 665 "output_sha256": "f97259b26fd892a12524b3753d237965ea869560d4a958f1e668a75973fcadaa" 666 }, 667 { 668 "label": "check-adds-2544", 669 "cases": 24, 670 "input_sha256": "99b452d9ccb49b6d87c4b1731d4d6bf21978ecf2149e520ceb644560df30c295", 671 "output_sha256": "02b6cc74615b22e2fae4645f62af374e4faab6909e68941e6c15ed900ce54171" 672 }, 673 { 674 "label": "check-adds-2568", 675 "cases": 24, 676 "input_sha256": "7743be06fd7cb44b7562840bd66679dafec7caf8db5758db501e1ea5c6f90a56", 677 "output_sha256": "2e7e4ed94653a6a1cb0499a76b09d6e72978da56e4f213a342b529fbfdd3cb08" 678 }, 679 { 680 "label": "check-adds-2592", 681 "cases": 24, 682 "input_sha256": "1efc359dbbc3c4d50c41d3f9df74796e54bf7c9b37f047f52465f2fcfba13a14", 683 "output_sha256": "f9950b4b0f6fe70a32e4536216faf834ffdfa421bfa731f2dcfcefd2c661c7e9" 684 }, 685 { 686 "label": "check-adds-2616", 687 "cases": 24, 688 "input_sha256": "e285cb0540e0e54fa8c720d5034a5091871e6325371b2a8e42decdc438c571c5", 689 "output_sha256": "8b72ab817aa7cd28f040e59f8b4ece0d5abf92aad3a70cc02798aee2a3f55793" 690 }, 691 { 692 "label": "check-adds-2640", 693 "cases": 24, 694 "input_sha256": "5d20de006c79e85ffff70b7675b7be322597ba9545ee5d0bd22ff2320d389a7d", 695 "output_sha256": "2e30bd815bb34fb4dfd3660cac53841eed6f28bd5758844367e7b9c4e5811a3d" 696 }, 697 { 698 "label": "check-adds-2664", 699 "cases": 24, 700 "input_sha256": "30aa651b50a3eb932391851852f1f71a5a35fea18cda1fe621ffdcce6fe6a699", 701 "output_sha256": "844076e5f39495b0f2072e56d664f305f969998a8f636499fd69e39ae5d8045e" 702 }, 703 { 704 "label": "check-adds-2688", 705 "cases": 24, 706 "input_sha256": "c5fc0bdd195c5e798a8ccfb52b836806730101e21fdf05962d2f4cc73ed8f73b", 707 "output_sha256": "7e93fd5b8a5fd8fb245ff7151a422f8ef258723f80ce807bcbc67a2c44e1fb66" 708 }, 709 { 710 "label": "check-adds-2712", 711 "cases": 24, 712 "input_sha256": "6c1b1812fb4f7de4ef84c6fa0daddd2f24d0f58eda82fe70fd84853cc0aca410", 713 "output_sha256": "62d8103f9e549042a342d1647f59da2d596c855743c3e1126dca097250a1dabe" 714 }, 715 { 716 "label": "check-adds-2736", 717 "cases": 24, 718 "input_sha256": "b5d6191fa7a6c853bf62ef3cc1f1c37a302e3e448385682e7c20140c540d96c3", 719 "output_sha256": "7508f0fb356252f9b97777b8392e813d1f3c0afb3b1c4f3b82fef36b0f5dd9e2" 720 }, 721 { 722 "label": "check-adds-2760", 723 "cases": 24, 724 "input_sha256": "4d3f3e68ea5ca60a484d6f7e342f1ea5fdf9b367dc855a9b47a14fef0f833919", 725 "output_sha256": "d0b667e44f2047a246701cc3cffd33d12452d2498abb93714b51d72e631d581a" 726 }, 727 { 728 "label": "check-adds-2784", 729 "cases": 24, 730 "input_sha256": "125745d97d9c95a201a7c521d0fbbc754e93e0f99ccc2e3520f3fdd9e3254d7c", 731 "output_sha256": "5090b60c927dbf4c6c063d7f9f6114bfafa044a15a1b226aa4c9113036229619" 732 }, 733 { 734 "label": "check-adds-2808", 735 "cases": 24, 736 "input_sha256": "3cc7d2619d67a8a78783288fad233d11ea1fb1f6d800a75812c8f2d4a9a10e94", 737 "output_sha256": "a08dd1afb67ddf8f02c015b359071ab5770cb6d533b591e5707ef5462a27af36" 738 }, 739 { 740 "label": "check-adds-2832", 741 "cases": 24, 742 "input_sha256": "6ca7136044391c8e6e092dcd1d1c41341f9e6c8a9e4b66953dc34a0a341b4f29", 743 "output_sha256": "5d6977fb8776403d4b2d236fe4fedc698a7dacf0756b2b67cc4e223b610f0344" 744 }, 745 { 746 "label": "check-adds-2856", 747 "cases": 24, 748 "input_sha256": "1a8097cc7e7c465cf666ea8e4c5cd78e845dc7b556d1c194b2bbeeb0e7cffb35", 749 "output_sha256": "5a35bcabf5ece9a3ffc0454ec47fb3323d3ce9150cbdd1dff15c4b0c7459d267" 750 }, 751 { 752 "label": "check-adds-2880", 753 "cases": 24, 754 "input_sha256": "bbd680713761d4fd51279a7f460d7089653ec6f11554b608474e191f1d3adc58", 755 "output_sha256": "1b067dd526ddb06a30f552a270f8b87daaeb5bf77944779368d0edb70455e3a3" 756 }, 757 { 758 "label": "check-adds-2904", 759 "cases": 24, 760 "input_sha256": "07352093d1b9fd4a8839f91fcff19c8ab611faf0448f93f3d6b8d0af7468733b", 761 "output_sha256": "ccafd644577995465cb6366663b545b66c4a8cc2cfe3ebcf70ec84ceac95d444" 762 }, 763 { 764 "label": "check-adds-2928", 765 "cases": 24, 766 "input_sha256": "9003dbd8578033ea06880a13a1ebfc25e1994f70ceeea4feae07ff596c35fd4d", 767 "output_sha256": "f24d8a9e407afc9b814383353169158a81ef55b6612f40309937057846a159a7" 768 }, 769 { 770 "label": "check-adds-2952", 771 "cases": 24, 772 "input_sha256": "fe9f9866f0078bf8af2f83ef98362d4e30c12f196440b43c0aab7961866a64b6", 773 "output_sha256": "f935540f084626ea204c79be9dbb817e62f93f7f66cd5a020fc79dc55f59b443" 774 }, 775 { 776 "label": "check-adds-2976", 777 "cases": 24, 778 "input_sha256": "b749319cedfd16b20ad93da8f1ed301daf4f305d500ae70f53643ad5b5651ece", 779 "output_sha256": "3c63d6313c9707afbc1c045c21b0213abc713bd2066f4acc8df7bc9396e1f417" 780 }, 781 { 782 "label": "check-adds-3000", 783 "cases": 24, 784 "input_sha256": "f870c7c724f77e6c4bb87c42b6661d76828a2ca430fe8b8d4f037b6b87defbc1", 785 "output_sha256": "481ff3cfea452a46b4c733a6bbb66dfd78c1d566f5ed628c76c806a82c932313" 786 }, 787 { 788 "label": "check-adds-3024", 789 "cases": 24, 790 "input_sha256": "b3c30025938fa5fc27032771156411ad06eb1e8c635c51a832daeb2efd607aea", 791 "output_sha256": "79c01d30a7ca029b2c1f7667ebb27bd63b460be49a4e3ac9d534f580a332de3c" 792 }, 793 { 794 "label": "check-adds-3048", 795 "cases": 24, 796 "input_sha256": "6349129e98b3ffcc02955ea7fbaafff687e28a37ab3f59ae3af8f7fbb4869c83", 797 "output_sha256": "ef359dd91e7f70e03a06aac33dcb42577b4ba150289f4de67724f295e5ac0d1d" 798 }, 799 { 800 "label": "check-adds-3072", 801 "cases": 24, 802 "input_sha256": "f1082988688dc1a0be0cc6cef17b56f59d42bbd0452ea0b4cb137c4d0ef718c3", 803 "output_sha256": "ef359dd91e7f70e03a06aac33dcb42577b4ba150289f4de67724f295e5ac0d1d" 804 }, 805 { 806 "label": "check-adds-3096", 807 "cases": 24, 808 "input_sha256": "716de40323eefbb321f031ddb3cb68612a7d692c06f460f09617c75c7c0f1840", 809 "output_sha256": "ef359dd91e7f70e03a06aac33dcb42577b4ba150289f4de67724f295e5ac0d1d" 810 }, 811 { 812 "label": "check-adds-3120", 813 "cases": 24, 814 "input_sha256": "e38b6424120e131032fa68b40b80595a3ef4497071d38d900780a99e572fd325", 815 "output_sha256": "ef359dd91e7f70e03a06aac33dcb42577b4ba150289f4de67724f295e5ac0d1d" 816 }, 817 { 818 "label": "check-adds-3144", 819 "cases": 24, 820 "input_sha256": "777e021996a2f6b7eab2e7b8e7ed105ae01ba93bd2fc7545d02d5e48368b8848", 821 "output_sha256": "ef359dd91e7f70e03a06aac33dcb42577b4ba150289f4de67724f295e5ac0d1d" 822 }, 823 { 824 "label": "check-adds-3168", 825 "cases": 24, 826 "input_sha256": "237f43bb9201de9b3173cf0169319d39b1990f87f009c107112f0585d0eefb6a", 827 "output_sha256": "73734928ddc1ad42b83c78bbe4aad8089699515a89a77bd899d4ba6e1b197ecc" 828 }, 829 { 830 "label": "check-adds-3192", 831 "cases": 24, 832 "input_sha256": "781b45f24973f274c63523ec91faa96a8d03c7698685985c9b6442d20d3e2d07", 833 "output_sha256": "384c8161dac492a191d2290234ceb62bebb15ed5ca1d4e962c8d40b3a67a0e93" 834 }, 835 { 836 "label": "check-adds-3216", 837 "cases": 24, 838 "input_sha256": "21c7de13d1be8e37af026eb21339fbdeeed9a494b331b155f3f3ae7a802329a0", 839 "output_sha256": "8e987c07909d85f4497752c3893c26c21fecafe2792fe531cb10d685ea475536" 840 }, 841 { 842 "label": "check-adds-3240", 843 "cases": 24, 844 "input_sha256": "78c5718a84d585e4e60effba95f95a00d4a297eb517815dda08394356f4d2eb4", 845 "output_sha256": "0c08e3f14c7e95a7d54782cb608d2e69f9aca039d9c3e000d728087b6137b1c3" 846 }, 847 { 848 "label": "check-adds-3264", 849 "cases": 24, 850 "input_sha256": "a38a76d901691468f9b3eab39e724bbd5505b9be0c9dd8d24c70b76f7169c2df", 851 "output_sha256": "3825ebe008768b545c88b71b5ca6b6ac015f969deff53d5eedadc34c07b0265f" 852 }, 853 { 854 "label": "check-adds-3288", 855 "cases": 24, 856 "input_sha256": "8101814cf4ff2c146d327b3273a171fe81146973d136241ea23ef715241b8405", 857 "output_sha256": "52ab11aff838fab3c3cbcd8e5fc3b62495e6d1a1848fc2db2508728b38515389" 858 }, 859 { 860 "label": "check-adds-3312", 861 "cases": 24, 862 "input_sha256": "4ad3d727a4360f93ca6e4bf61e892b9c310bab037920eb6546bfb361f3bd663f", 863 "output_sha256": "2b9e5b956c345fec28f0e058e565c438524a7c0699c24dbe08f47e72ffe4eebf" 864 }, 865 { 866 "label": "check-adds-3336", 867 "cases": 24, 868 "input_sha256": "c115924b2fb24e84ffce6d454d9069bb6d7a0272211fac94193e990778c92f30", 869 "output_sha256": "f3d3ded98e114367bc2645a22f3686fd11e11f1abf8a677874c2cf8f2c61e315" 870 }, 871 { 872 "label": "check-adds-3360", 873 "cases": 24, 874 "input_sha256": "76609ad11bd923354d123c0609254073121d293f494fd656d691911adbfe5f81", 875 "output_sha256": "a9e5b958d5f2cfee000d86c00ccf4e10980c5dcbd171f56cc78bcc091e6f1a23" 876 }, 877 { 878 "label": "check-adds-3384", 879 "cases": 24, 880 "input_sha256": "97444c05bfbf34b91bb33b3f9ba2d8188b7ee6150b2ac30d9217d9a940b6d532", 881 "output_sha256": "04aa005c46a03b9c0f94d2fbbcaf511346e92a57fe3815542e89b1cf312459e4" 882 }, 883 { 884 "label": "check-adds-3408", 885 "cases": 24, 886 "input_sha256": "28d6d35348332c8d2d73d75eb823e188fb148023d1e5f83d0e1f2979b336b750", 887 "output_sha256": "1a00d57f6aa33837d115b551dd043af13b6f55ae4362cd0d3fbd97479d43a341" 888 }, 889 { 890 "label": "check-adds-3432", 891 "cases": 24, 892 "input_sha256": "1f3bd7281ad6fc7bb1a8533a808880e0c55d0eae1619add7ded8d62267f93cc2", 893 "output_sha256": "0d5360d94e951106061b60ce77952795143b56922a023c88a4b10f92bb650352" 894 }, 895 { 896 "label": "check-adds-3456", 897 "cases": 24, 898 "input_sha256": "075d46ea23c005b33a18c7b6aeca74897f2c8065caa378e43f8ff7af18d6930d", 899 "output_sha256": "76798b47dee6e24368b961d53017c0c7cf896230c16c0a10bb5b3f2ce47287cd" 900 }, 901 { 902 "label": "check-adds-3480", 903 "cases": 24, 904 "input_sha256": "37fd9e60674dcc24fad1a756839bb357d62d4ca4ebe41caee959afd79bc4b977", 905 "output_sha256": "9078e5e5a8a9406866530e6266fffedf4d10c34089d6643f26bc247e69d271c9" 906 }, 907 { 908 "label": "check-adds-3504", 909 "cases": 24, 910 "input_sha256": "db5ecf56d4e83e4a192870d49b01a429540f7e26a478c9a5697befeac2ace2a9", 911 "output_sha256": "71e70b5407afb8cf80ef71ece1dbfb5d9b36b34c245cc5ed569c12adf53c7d6c" 912 }, 913 { 914 "label": "check-adds-3528", 915 "cases": 24, 916 "input_sha256": "1d3769b48dbe6d19dfeefc13f216bce660f4e9604da7abcecde6d4eb78a3f08f", 917 "output_sha256": "7a8028221bdc0af9093e26d8b4d91af6af0b9782f63f04b770c9a3afc10d2982" 918 }, 919 { 920 "label": "check-adds-3552", 921 "cases": 24, 922 "input_sha256": "2c4e43f03e32b438cae23cd1fc471fc9c0933bf086ce3af5f588407c17652740", 923 "output_sha256": "d016f61280051f4125a0e8380728e8e20a3a4fae160c52a6948f5a496bed8f17" 924 }, 925 { 926 "label": "check-adds-3576", 927 "cases": 24, 928 "input_sha256": "fd1bc886af928984d97a17fbe7855ce044bae73faea407247ec420f47ccbbf28", 929 "output_sha256": "bf1bf1b9211c802f6cd89c0ca17a37b658e8156d0486c5236c9c5f015116a734" 930 }, 931 { 932 "label": "check-adds-3600", 933 "cases": 24, 934 "input_sha256": "b4497b7c4d94b3d862041708315d5318a5106c38290f7a887e4e26c4ba43c5a5", 935 "output_sha256": "adc42f6c99034a0de1a05412009f943196d093986e6f54f5ce148c3e6c887355" 936 }, 937 { 938 "label": "check-adds-3624", 939 "cases": 24, 940 "input_sha256": "eb519e5b77e77918d23edef8293b21dc2dbd3ba1dad37183febfeac958286401", 941 "output_sha256": "6a3f504472dab242462a544ded838fb3d05c705e9c4adf9b149d08df9862c590" 942 }, 943 { 944 "label": "check-adds-3648", 945 "cases": 24, 946 "input_sha256": "d829fc8b964f507cfd008978aadcb8dccc7ad9f73d0eb92311c7ea97dd7e2ea8", 947 "output_sha256": "adde61f5af90d5846a7a93975876b7db7708ee5565e601aaa063e68a5c1342c1" 948 }, 949 { 950 "label": "check-adds-3672", 951 "cases": 24, 952 "input_sha256": "02ce3e3d342a5c79789b1647b86cfffed127b45d95b83fef0b30d8601fb69a4f", 953 "output_sha256": "1c1ab87a86708ebdddd599dfc02a01dd5f31fbdfd8ac02990704fb7619217659" 954 }, 955 { 956 "label": "check-adds-3696", 957 "cases": 24, 958 "input_sha256": "79e43d95e239f899322df81db485a23b30d438c6b68d9274f144c94e229a31ee", 959 "output_sha256": "49501862ef119539f17d599e26633d95ee4138f1ee83a2b076b9e0b68e2696af" 960 }, 961 { 962 "label": "check-adds-3720", 963 "cases": 24, 964 "input_sha256": "d3d392e9c92edc1582980d4acc0cf8406aec0595e7b7125d1d23de87d0e212d4", 965 "output_sha256": "ca6198b7942ba855b6c259d1a1e201cb63f0ac3686211f60ac73e8243a467574" 966 }, 967 { 968 "label": "check-adds-3744", 969 "cases": 24, 970 "input_sha256": "04390154b6cade43e98d06cd6b4217948e467844ba859f302e16a7743d417217", 971 "output_sha256": "ccc4c6b9d4d611e5b5f33ee8d73d9d042526c7cb3c8e70214746c962b6d09483" 972 }, 973 { 974 "label": "check-adds-3768", 975 "cases": 24, 976 "input_sha256": "3bf7719059f4ea2dc626bad3b94fbf7d486998d07e12fee375a27059f6dcf1e6", 977 "output_sha256": "88fa9f5b5dbebc8be312485017853e056a2e6e64350e7f5ca6bde33d83411f8a" 978 }, 979 { 980 "label": "check-adds-3792", 981 "cases": 24, 982 "input_sha256": "803e9989ebd7826e5adf4e5616a583f101747808a7b86efc0d672e03cf6a7c01", 983 "output_sha256": "9ac82901ca95a385175905f6ef46b3fca324cb9cf2fb5e7085e401b96686ed3f" 984 }, 985 { 986 "label": "check-adds-3816", 987 "cases": 4, 988 "input_sha256": "1052d4e588a01de405a77e94dab7dc76324940d31b6ad3ba23cbfc448ea769e8", 989 "output_sha256": "ea8972e94ca769e21be8ca36e6eb5cd9b93c198be68a64d647a092a8c57a544b" 990 }, 991 { 992 "label": "check-subtracts-0", 993 "cases": 24, 994 "input_sha256": "a49a703a9439e7fc3a54fce2bc817714e55beaf151037b0556752ce3a64958d9", 995 "output_sha256": "f4a4c416339d89a608d05e034dcf91a2f76bf3a34f87b184a06e2d9c9085b5f1" 996 }, 997 { 998 "label": "check-subtracts-24", 999 "cases": 24, 1000 "input_sha256": "0d9ec64263eea22997fd1faa7abe53e3e6198fcfe774c61bbf52824ce5c8f6c9", 1001 "output_sha256": "0d6191b4026d012ea1e2e11a28e90911c847e08c9f8495c87e0778819eb5a5f4" 1002 }, 1003 { 1004 "label": "check-subtracts-48", 1005 "cases": 24, 1006 "input_sha256": "bb65051e9d792f56f0262bac1602dec6298112847fd6ce32b78285e9eda63ae7", 1007 "output_sha256": "de3297909deac7c2dc97250826c1d0e3185250284d7ba9dc46ff05819f4935d2" 1008 }, 1009 { 1010 "label": "check-subtracts-72", 1011 "cases": 24, 1012 "input_sha256": "88ad50240c16bd35f200023aea751312af6d5a330158f880a970c1c9d10a058f", 1013 "output_sha256": "2f81c6ea3815416b3cd93526c21d99680fd7d6f2d1520d2b40ef284fe4486d4a" 1014 }, 1015 { 1016 "label": "check-subtracts-96", 1017 "cases": 24, 1018 "input_sha256": "e60c1313f7e20d4b2d632da527db30ac135dfde234ed962714efc482a88a6832", 1019 "output_sha256": "96a342dd19b186ac1462697d7eab2c476c0a7efac21cb0f3e6ba5de5dc0769d9" 1020 }, 1021 { 1022 "label": "check-subtracts-120", 1023 "cases": 24, 1024 "input_sha256": "28dc92f1a76364194ac387d4b956e18caf6cc3d944a76b3b777381cad2b03854", 1025 "output_sha256": "ae5dde42da1126a55a1dbd207c06200b6eca83212bdcf7d75c079ef5fb64fe99" 1026 }, 1027 { 1028 "label": "check-subtracts-144", 1029 "cases": 24, 1030 "input_sha256": "b78a86b8669addfbdb7f162ee5a7b4297f8fa77c2d9774e37278c9fb3a82e1b7", 1031 "output_sha256": "7366cbafa9a596168aef428539242ffbec9be98212868915e2431df39ffec198" 1032 }, 1033 { 1034 "label": "check-subtracts-168", 1035 "cases": 24, 1036 "input_sha256": "deedbc2f7ade5cbf863faa34a4bafd4fc82af9d8b6843157675dd7f35d2fa2c9", 1037 "output_sha256": "32b82e486b987e415c7631aff9a58668c0ee19dfefa9bb3b5109023fcb7033e1" 1038 }, 1039 { 1040 "label": "check-subtracts-192", 1041 "cases": 24, 1042 "input_sha256": "b92e8a6beecb9ee2aa8a8e8398c16309c265598428003129d208d55414acbea5", 1043 "output_sha256": "0710c02079f82bafe5148ef9a26d8f761a139f2e01ce52310c9cffc70fc95ffa" 1044 }, 1045 { 1046 "label": "check-subtracts-216", 1047 "cases": 24, 1048 "input_sha256": "32ddd6c52929240b8fed16e2b9bfdaff739fba4f07ff8c78dbd5c814b3f4ebcc", 1049 "output_sha256": "bf9d4def0e25cc9af2eecad249467ed7ba9164b08e2ffba61a3ef838d56e907e" 1050 }, 1051 { 1052 "label": "check-subtracts-240", 1053 "cases": 24, 1054 "input_sha256": "78f4d4e4d421b4074702167ca262bf3779cc7e0c6476ffddb475ffcab9431182", 1055 "output_sha256": "8eb5e5adb0885fc4743f7538c2578a6abb788abed5195a4747933defd34e6366" 1056 }, 1057 { 1058 "label": "check-subtracts-264", 1059 "cases": 24, 1060 "input_sha256": "20dc6f5f4f84c8a5c9be5afc1ca132acd71d54dd0bd2aeb46ceab84083b0a07b", 1061 "output_sha256": "2a035351792a1be534376e37dc508453ac54656cd0684357fef67c652bb66884" 1062 }, 1063 { 1064 "label": "check-subtracts-288", 1065 "cases": 24, 1066 "input_sha256": "1dfdd29d676ea6d1a22941c9b90469e699ad5f12eea041a53dfa6255744d5219", 1067 "output_sha256": "f6acc47d23e3115a034bf0084b602fc1bbc82835250445b5357ed5aa7234e990" 1068 }, 1069 { 1070 "label": "check-subtracts-312", 1071 "cases": 24, 1072 "input_sha256": "28f24bb3a1be592ebb91da687206621e20bba51fc2043a30fcba4a8e830f5700", 1073 "output_sha256": "3d3ae7d32226bbddb2c63315b49c77478de873cc5ff432a3aa58949f94f238f8" 1074 }, 1075 { 1076 "label": "check-subtracts-336", 1077 "cases": 24, 1078 "input_sha256": "c0e7572f851e621d9dce8f07c6e22cf765ce2b52e21df2839eb50990fe6eea5c", 1079 "output_sha256": "a0c51205e01b74e150492ce088240e291c6b0b0d6f8fdfc29b74d2af9e3e5733" 1080 }, 1081 { 1082 "label": "check-subtracts-360", 1083 "cases": 24, 1084 "input_sha256": "70f83adb8ce5be3dc13afd9a7af27d683ab490480083aa55cc93293d20b56b72", 1085 "output_sha256": "399433d20e832b4b2256900f65beb0147512215018d58fa640796eae15b451a3" 1086 }, 1087 { 1088 "label": "check-subtracts-384", 1089 "cases": 24, 1090 "input_sha256": "241d30bf8005dc46849d48d2aacd513e48ab10ac4a38e973078238e39115bae2", 1091 "output_sha256": "cd673d17b865b36361e5558dd02781d606b23e69b41ddc3927edc2ff5cd2c540" 1092 }, 1093 { 1094 "label": "check-subtracts-408", 1095 "cases": 24, 1096 "input_sha256": "fc11b93cfa9a06fe64353e95079f59e4389e5441eed5ca2eddc329b508eb54a1", 1097 "output_sha256": "2d0a933efd75abc2103e754bcf50c327b9b5c5da52797f819454211915bb89f4" 1098 }, 1099 { 1100 "label": "check-subtracts-432", 1101 "cases": 24, 1102 "input_sha256": "6267e6473bec45c361f31c8de80b41ec615c607dd882ca89a18e252b09c09b82", 1103 "output_sha256": "76695e0e4a91d94fb299c61078f580c6e2d519023d128ea3be6ce00b84a3ef26" 1104 }, 1105 { 1106 "label": "check-subtracts-456", 1107 "cases": 24, 1108 "input_sha256": "7a31082e1992a70de4a63033ddd58d8ae0a4df736c7cabdc7ee7d06a4d884796", 1109 "output_sha256": "d8f1cec5865d8094aa1839b3462bf24ad76ea2dbbde65f15c28f06d6949f2ffa" 1110 }, 1111 { 1112 "label": "check-subtracts-480", 1113 "cases": 24, 1114 "input_sha256": "3b773dd7d015a7b139e2350cbd3dfea55a237cc4a54b241d17443ced0247e021", 1115 "output_sha256": "c989b31b65a6d9de1d48ebfd3ad36087443f584608a16f1f9acf502329dad60f" 1116 }, 1117 { 1118 "label": "check-subtracts-504", 1119 "cases": 24, 1120 "input_sha256": "58c87c841a07aed0d076228e8541901cf2bde28c3d090af47a560af0f14ed5ea", 1121 "output_sha256": "277b6679863011fe98a42a9651a4b83487420436493c39a830da10ac994fa330" 1122 }, 1123 { 1124 "label": "check-subtracts-528", 1125 "cases": 24, 1126 "input_sha256": "21a337cf34812bab767daaa733e0423a275e0f9aa8a122828dec1e5a07cf63b1", 1127 "output_sha256": "2eba618d343d2162cc5f83c9f5e4218e8e3866571ec514558be8b9a689d631a0" 1128 }, 1129 { 1130 "label": "check-subtracts-552", 1131 "cases": 24, 1132 "input_sha256": "c2f72d7d0d3746c6ee343e3fe50f3c5b2055f7e84e6d6a8b4d5e0bd9bffa9c79", 1133 "output_sha256": "8c0faf1f86109d5e5d9d7673f61b9a960c52ba760ca4ada50010fb2ba911fcde" 1134 }, 1135 { 1136 "label": "check-subtracts-576", 1137 "cases": 24, 1138 "input_sha256": "54d2edc892605f4117c6fb9ae453c389fc0d1c49c954982004252a6646b1f421", 1139 "output_sha256": "ce598a7661b5ce440ed83d55d08532c543fcba7d4aedbc1dbc8ec76f361c6717" 1140 }, 1141 { 1142 "label": "check-subtracts-600", 1143 "cases": 24, 1144 "input_sha256": "758683f2c44e37d292a57c9e3f2a464cc0a066301f6e1571de6457b69b89e462", 1145 "output_sha256": "5b7186e158eaae9167c28fedd05c160ca1491a433e44f58d3c89048539ed5342" 1146 }, 1147 { 1148 "label": "check-subtracts-624", 1149 "cases": 24, 1150 "input_sha256": "d6dc5e03c984eb89bc03f1368af07439e80fdc61fbc1e97aa99e79a1d67b453c", 1151 "output_sha256": "297a24c636d9814cd8af073d6f72dae86ac1874df6151e7722724efb96620e93" 1152 }, 1153 { 1154 "label": "check-subtracts-648", 1155 "cases": 24, 1156 "input_sha256": "02b5a26f449908419ae63563a9c2e4f426f822d984fbd3196dfe844d5548a8f6", 1157 "output_sha256": "2f5f1a555b7b29e6f161ec7e52ad2dc88eeb554f55a134ed01b9088c55e1ff57" 1158 }, 1159 { 1160 "label": "check-subtracts-672", 1161 "cases": 24, 1162 "input_sha256": "afba9d2b0042661f0dba0bc68030735ee1a2bf4450d61e2d3f92b4efa1632fa4", 1163 "output_sha256": "bff0afe98776b91418c377496a583fe8ed5c06f1fc113383e509d6dcecec0be2" 1164 }, 1165 { 1166 "label": "check-subtracts-696", 1167 "cases": 24, 1168 "input_sha256": "778b4b8960995356f1b7e5e39262b4c220fabad755617c1cbbefe71b0bca305a", 1169 "output_sha256": "36b722b2975764defba28c3f96470ef98756d6c3ca041c07c23333de05f655b0" 1170 }, 1171 { 1172 "label": "check-subtracts-720", 1173 "cases": 24, 1174 "input_sha256": "866d9592b876f7c148b0ab1ee088f3a9e8cd11da5dc2663ccb41ff16e5a39307", 1175 "output_sha256": "eb3a494033ccfcfc7dad8c10608746e99320b4abfb1f8bc5d1bf6a28c4914e80" 1176 }, 1177 { 1178 "label": "check-subtracts-744", 1179 "cases": 24, 1180 "input_sha256": "96dda606e8dce384725c8551ee446f4341bff80dc40b2ee0cef2dfbcbe1c034f", 1181 "output_sha256": "0e8785eb2adda141609fef4b8efac4bd105b28c4b530b740c5a4235e67e19efd" 1182 }, 1183 { 1184 "label": "check-subtracts-768", 1185 "cases": 24, 1186 "input_sha256": "58c0c5266168aae78f0b65a16afa96ab0e24800dea98ab1640c655540696fba0", 1187 "output_sha256": "65b9b58cd47718e1c7d7666bd66f4b09e2c5cc6a3f8c2a6f86a4d3277ce1211a" 1188 }, 1189 { 1190 "label": "check-subtracts-792", 1191 "cases": 24, 1192 "input_sha256": "acecab81113d341b70544bfc8d59aaf6565513b97bb8bf955f148aac1f698019", 1193 "output_sha256": "445b01867b63fc2afd1915018b873d87802034ecb41be2fbd9bfcb93773e0f4a" 1194 }, 1195 { 1196 "label": "check-subtracts-816", 1197 "cases": 24, 1198 "input_sha256": "5983d72bda6baebf199d6c55369833452f5dee08aad23c0a83b814a0eb9cdc80", 1199 "output_sha256": "583cda631cdf280111a7d0ef6cca03b4852a3324e21af1c130920a380fdd5576" 1200 }, 1201 { 1202 "label": "check-subtracts-840", 1203 "cases": 24, 1204 "input_sha256": "efbaa5fe0a3b79d22d5e5dc7a2cb47905141b653666ed068060d21a2d580f6ea", 1205 "output_sha256": "b82acbc74f3b31a17a032fa856c4c3288b3520eb25a79afaa54373f46ec94b1a" 1206 }, 1207 { 1208 "label": "check-subtracts-864", 1209 "cases": 24, 1210 "input_sha256": "6db8f3f006850a4b1a7a99c048804536767b3af71eb06942ce4fc2f8939b1442", 1211 "output_sha256": "ff36300721547a42490cd0fd00a8d91121fda694025f14c30fd9248f102bd1f0" 1212 }, 1213 { 1214 "label": "check-subtracts-888", 1215 "cases": 24, 1216 "input_sha256": "fc6144658bd09872c191ca962c0496c1ce0db04410f1fcefcbe8db79468e0c6a", 1217 "output_sha256": "966149e18632f47cae8e44d2ac7e2de58a95597f824fd89dfce5855d1f5c453e" 1218 }, 1219 { 1220 "label": "check-subtracts-912", 1221 "cases": 24, 1222 "input_sha256": "ecfbc516dbea494c17fd042fdb57068d0d3f58cec9c0070a7da17e6dcf31a370", 1223 "output_sha256": "487090ed7f4103e7c3490f39c1426dbbb3bd6daa3a600a7842900ffd04952e2b" 1224 }, 1225 { 1226 "label": "check-subtracts-936", 1227 "cases": 24, 1228 "input_sha256": "176ae9d77decbca6fcc8ce3fdd6d4a2353ce3503f0263e86ca44d633e4b1ca25", 1229 "output_sha256": "63b5887ddf7c5ed77cbab7d0c27c81ce93dbb03e8891e62a13199d622219b633" 1230 }, 1231 { 1232 "label": "check-subtracts-960", 1233 "cases": 24, 1234 "input_sha256": "8a504934dc8a8520ba173adafde4ece8d94b22ca1e405140f5b387b63f58422e", 1235 "output_sha256": "bf008b67370732ea1f672657c0c3b854c3ceccf26a1e5d2bdccca9e8164df456" 1236 }, 1237 { 1238 "label": "check-subtracts-984", 1239 "cases": 24, 1240 "input_sha256": "db1df5ad5bfcd3e9938415552a27defb37a662fae525519684df1fea4735ad4e", 1241 "output_sha256": "f714a3ee76f6f4d132b230e3b978d824faa4f70cf8ea30365746b921ea05c3bf" 1242 }, 1243 { 1244 "label": "check-subtracts-1008", 1245 "cases": 24, 1246 "input_sha256": "7a172b4f859e53aac2293d6dff9b9c315452d4825ab39023b99fb856f6c50b58", 1247 "output_sha256": "fa90d1211749f5a4539c1e1752ef6688fcadff1044a3943aa28277b6e7d60b76" 1248 }, 1249 { 1250 "label": "check-subtracts-1032", 1251 "cases": 24, 1252 "input_sha256": "a2ba003c816bdc9e2611c03061321841e2ad113c99fec6453d75e2d0defef4d4", 1253 "output_sha256": "f6574ad51a335933ce9580d3099ae9850397713fb01e742602164ae1d73515a6" 1254 }, 1255 { 1256 "label": "check-subtracts-1056", 1257 "cases": 24, 1258 "input_sha256": "d0a33a6f4b84f79d30fbc011edb9c1a33cebf41d65a80f8070007f5652fee2c4", 1259 "output_sha256": "4a6259bcc6ba3ee10cfdf6613c6328125c8bfdbfa782505ba6641384ddfd9545" 1260 }, 1261 { 1262 "label": "check-subtracts-1080", 1263 "cases": 24, 1264 "input_sha256": "af2ee79af7c7a593634f46c1afc9930b981d823bf08f3175001cf2db8c7b0004", 1265 "output_sha256": "8c233bd2fd3d65db79a94d5a2fdb6a4c1a7606d6eaac6f70143af6f879ef9919" 1266 }, 1267 { 1268 "label": "check-subtracts-1104", 1269 "cases": 24, 1270 "input_sha256": "6f1f615f07d10c5ab63f97721b4931863fc8488d2302ef8827fd37385a365a25", 1271 "output_sha256": "dc572504cc3e1cb4d9c813a8b7243776489b76dc20a74021bdfc8c7dad7fb4e8" 1272 }, 1273 { 1274 "label": "check-subtracts-1128", 1275 "cases": 24, 1276 "input_sha256": "78cd091a9dd1dd0d53a4e3305d74ef094bc237fbfc22eaa68785c3281a118c7a", 1277 "output_sha256": "faa1d172dca18599f92fd96fbdfd66d1a76c7adde12c53b007303f3b27bca103" 1278 }, 1279 { 1280 "label": "check-subtracts-1152", 1281 "cases": 24, 1282 "input_sha256": "ff617df052350f51fc9bf8525cffacf468bcf0a87c33a9f94a5851428fbc8d9b", 1283 "output_sha256": "02a95da30571a5534ce9136c0293cb074ffa2beada98850143dd6b5ce64ea4a6" 1284 }, 1285 { 1286 "label": "check-subtracts-1176", 1287 "cases": 24, 1288 "input_sha256": "a4a79220a8240b0974a11819ed0f556b2bf878579a7d70a39ec143739864ecab", 1289 "output_sha256": "05e23ea72a7bc1d53fd6902405270728506a91ccd0f9ad4650cd6b9d8f02d246" 1290 }, 1291 { 1292 "label": "check-subtracts-1200", 1293 "cases": 24, 1294 "input_sha256": "4b606ca771e0963774ae1333835c8e567a310a3e2d706146acdf5406144936ce", 1295 "output_sha256": "860d05276f5fcab6a9dcd28482310ad9a337670b864ae78a4576db04740f855c" 1296 }, 1297 { 1298 "label": "check-subtracts-1224", 1299 "cases": 24, 1300 "input_sha256": "10a97e935066f4e894fd1ba6b5237743070249de992df5f2b3103d36f1e5292b", 1301 "output_sha256": "e6e546e07103308584acc3bf4183e84bc768627d69f28d375cf1fd4335c50782" 1302 }, 1303 { 1304 "label": "check-subtracts-1248", 1305 "cases": 24, 1306 "input_sha256": "e7956a0d9cdd5085d303ac94a1c0439b10c2fdd97efe26acbce404a1d88540f4", 1307 "output_sha256": "7df49a32c4d3a0f9d18a50e2d40b011cf9ca5ab4789ea59e76e1bab5b8b83694" 1308 }, 1309 { 1310 "label": "check-subtracts-1272", 1311 "cases": 24, 1312 "input_sha256": "1b0d8cf8922008e39d667945e86ee63de708cbf2919578da2318dd593f3f2964", 1313 "output_sha256": "e6a4736580ef710c2de20529377d9879decef078a9974bd9d4a1694843620227" 1314 }, 1315 { 1316 "label": "check-subtracts-1296", 1317 "cases": 24, 1318 "input_sha256": "b055088b2038c2d80a14a195c2c2141a663c0ddb852d4d9e63144c243cf51acf", 1319 "output_sha256": "753067b64ae58d729cd405d4b8646ff8feee0c7e38bdb3da1c25d2dd52cff3ef" 1320 }, 1321 { 1322 "label": "check-subtracts-1320", 1323 "cases": 24, 1324 "input_sha256": "f0300b38bef5a891db069666d51fc790157fafeea4c951ca374cc88de08d0546", 1325 "output_sha256": "0735984c53053a424b3bd39eb89e4d10d4b4eec48557f7eb223c246133bda722" 1326 }, 1327 { 1328 "label": "check-subtracts-1344", 1329 "cases": 24, 1330 "input_sha256": "abb22b1cf8db465a8b43ad1f45758860fe536605e5ec4abab08ecab1a3e60750", 1331 "output_sha256": "7b4456247c95fb9adefe7cbc3b97db2ff8a3e4b5ca72cdda5074ab61d44cecbd" 1332 }, 1333 { 1334 "label": "check-subtracts-1368", 1335 "cases": 24, 1336 "input_sha256": "161dc06c711cd8ea77c0db0f729e4977e89e2a4520247135bb9ddc529bdb8525", 1337 "output_sha256": "f161cd1b5315ec725f1aa9849f59ccf9109fc9217bbd42375ef52c250c1b7f92" 1338 }, 1339 { 1340 "label": "check-subtracts-1392", 1341 "cases": 24, 1342 "input_sha256": "8a7eca9457c8b92ca4b6d9c5893be38e75623a1e4b27e8601fbe49c3e48b2d76", 1343 "output_sha256": "b662adce9762f31726bb426e689951c25a3c97fc4e2872d81d0b693cf9bde654" 1344 }, 1345 { 1346 "label": "check-subtracts-1416", 1347 "cases": 24, 1348 "input_sha256": "e8944a30b8d0898402d8fe8d5351f29ad1904f749e0fd9881d32983a78aeb7b3", 1349 "output_sha256": "2a2eb481cdff6ae2bf63430111bc89017f81b0dc9c281e1e31538e528973a2a3" 1350 }, 1351 { 1352 "label": "check-subtracts-1440", 1353 "cases": 24, 1354 "input_sha256": "f661a250b0ae8ef352a2f4c605463bbcbd934f6238a56f681a54d93557a11f80", 1355 "output_sha256": "5d3f4223446c57a3c7b4e3358194ce81d31ba16ab56ae3e762e0efd9a85f74a9" 1356 }, 1357 { 1358 "label": "check-subtracts-1464", 1359 "cases": 24, 1360 "input_sha256": "8cc2a004bf92cfd6f481840b031ce4228b7b46d56a90a6ab85194bec209604df", 1361 "output_sha256": "08103ac0496354b1a7eb8e0246bad1dfcbcc867b44e7649098a880bfaa78bd4c" 1362 }, 1363 { 1364 "label": "check-subtracts-1488", 1365 "cases": 24, 1366 "input_sha256": "13ce1951de3b6105c88abe560c16523a80dca9934b11e6cc903a8d8fcac5007c", 1367 "output_sha256": "b60d867e3d3b1b54f76195c69c825dcc797b79c64da9442b9622f68c6e35cbdc" 1368 }, 1369 { 1370 "label": "check-subtracts-1512", 1371 "cases": 24, 1372 "input_sha256": "eb45d84fe032668a2ca3d9acd105330a4ec65aa2ee346d896a8bf536cac6b3c6", 1373 "output_sha256": "83c85ae5a1115322df0968b66e3163f18cf2e10e1fb8ba0af5a1794706595925" 1374 }, 1375 { 1376 "label": "check-subtracts-1536", 1377 "cases": 24, 1378 "input_sha256": "94d1d17cd95a017a3a7cd06e7bb505aefcba85de965f44e26a58acb807e528ae", 1379 "output_sha256": "ff25eb4535415347d64b41b631ec5d0622d7707666e165e4de212d0f91cd8526" 1380 }, 1381 { 1382 "label": "check-subtracts-1560", 1383 "cases": 24, 1384 "input_sha256": "5f232e15d589d2bec2a612b658fc654b8bac393fdc70b8cfe209e029ac2c404c", 1385 "output_sha256": "ca9f01b6bf7297b30addd4b652ef839c1e615fce8595bd9d2735695b0962cdca" 1386 }, 1387 { 1388 "label": "check-subtracts-1584", 1389 "cases": 24, 1390 "input_sha256": "7fd8740e80ac66d1802a8986d41b32d64ab0d2e1c0fc0a129920ff898b4d28d5", 1391 "output_sha256": "37322d15caaf6f9315a49427b29f4dc07c3365cbda3ce321c47d6e0f7130c80a" 1392 }, 1393 { 1394 "label": "check-subtracts-1608", 1395 "cases": 24, 1396 "input_sha256": "99150b66e843353e82c236b7c39d73f19e943754b134f356ff747b0c91125b73", 1397 "output_sha256": "8c9cb41c36d5ca875881b904fc72bc79d895ea291803e2a9a269253f200ae27d" 1398 }, 1399 { 1400 "label": "check-subtracts-1632", 1401 "cases": 24, 1402 "input_sha256": "5a5fc70073b3066171458cf8b6a56832610da79622cc1ef13511c5fbaf91481f", 1403 "output_sha256": "7a4ea12c8d0ba65dbb53e835d61d6053add173056bc406357fb24bc71b86fc8d" 1404 }, 1405 { 1406 "label": "check-subtracts-1656", 1407 "cases": 24, 1408 "input_sha256": "05b7720addfe89b67fba0db395ca21cb3eef5c81172da388dd508e7b491d07b1", 1409 "output_sha256": "d1281ca376c4ba9527fe98d51763fb0b7552715e8f4ce65883cb27680b28f161" 1410 }, 1411 { 1412 "label": "check-subtracts-1680", 1413 "cases": 24, 1414 "input_sha256": "cd64f50e7c3eb78b391284497b527808df8dcc08630068974febebebd35c5f74", 1415 "output_sha256": "8c23e910b34a14398fb52e1101bf11e7cf80c1d52f1c946fc7dc1423f1f63d8a" 1416 }, 1417 { 1418 "label": "check-subtracts-1704", 1419 "cases": 24, 1420 "input_sha256": "cf94f6dd3b5343227297a587c119102840a6701e8d441ded676a662762d19350", 1421 "output_sha256": "2b6c0de471fc68e04967001cd5da02032f12582658ea52cb4d750951788c0319" 1422 }, 1423 { 1424 "label": "check-subtracts-1728", 1425 "cases": 24, 1426 "input_sha256": "76c6a899cf3941f93f2eaeb5e8b33219a622eb6f4806f071a7821e12c142b42c", 1427 "output_sha256": "bc8a3a6f24540c3a3a28d4d72735528f6c7649a10f228e316c61f7262bf71a55" 1428 }, 1429 { 1430 "label": "check-subtracts-1752", 1431 "cases": 24, 1432 "input_sha256": "66a879bc67a431778c5389150af24528ddf1c32245c4ac82b431da34055353f3", 1433 "output_sha256": "d261a9c709a63775cf3c7e9ca6a548d71fd875c3a9abdc994bfaa6ffae3d7ac5" 1434 }, 1435 { 1436 "label": "check-subtracts-1776", 1437 "cases": 24, 1438 "input_sha256": "5b65e2c0c73342a4fa651ac9ea8f9b4f44de6ad5052c2c1a9f14b3c3eb76ce80", 1439 "output_sha256": "910ddadc50a40d04cd6c938b51539416c52a839db55ac9bdc7a570ffae999664" 1440 }, 1441 { 1442 "label": "check-subtracts-1800", 1443 "cases": 24, 1444 "input_sha256": "a4488be05b11b58244785a9e972b0fc759c0a2e36cfb28965b5221de33bb8a58", 1445 "output_sha256": "5b3f944e8d01c3d2daaa4f059092850719265dfe8291171f28b1f1413fa54994" 1446 }, 1447 { 1448 "label": "check-subtracts-1824", 1449 "cases": 24, 1450 "input_sha256": "7804fbec33fff062d2f1b3912051fa2c9f60a03e37c99908dd0c335fd545cfea", 1451 "output_sha256": "d560efc1e19048b885d963a7f41e609ea0fa88eda8db09685848fadd29b7dcf3" 1452 }, 1453 { 1454 "label": "check-subtracts-1848", 1455 "cases": 24, 1456 "input_sha256": "a2e4e96fd75af03dc2e4e74777b5e569435289914fb2384ea8db2b2be055b556", 1457 "output_sha256": "73055accbae32d0f0de65d9e04a1b5c609c9b8b1607387cd6eeedaa1764f3e89" 1458 }, 1459 { 1460 "label": "check-subtracts-1872", 1461 "cases": 24, 1462 "input_sha256": "d5b58a40d99d614b74c3d48efbf70ce53327275bddc00aa8bb022eb6997d81e3", 1463 "output_sha256": "92b110eb1269ae7e966c1af84a9a894e455b036308545720f53a632531239c4c" 1464 }, 1465 { 1466 "label": "check-subtracts-1896", 1467 "cases": 24, 1468 "input_sha256": "3bf1a3892ba04aeb8a8144fe91566b439d24ee5131e5323ad73fa8c085ef64ff", 1469 "output_sha256": "ca101d0368e354155719fadb0143a41b5d003ad2a8ce0c179fbfed1ae1d1dda7" 1470 }, 1471 { 1472 "label": "check-subtracts-1920", 1473 "cases": 24, 1474 "input_sha256": "516c42bd55ccdde6013109db3b693a88bf90e62515eadd41402f1e2132968f5a", 1475 "output_sha256": "33fbb53424942e5d02366299dae265223febe8d3651dc00e655cffd911995d31" 1476 }, 1477 { 1478 "label": "check-subtracts-1944", 1479 "cases": 24, 1480 "input_sha256": "943e7576f43eb3c4a377c6f6b70d45c9a294e5fa9ac75647c584e7ae06b9f8a6", 1481 "output_sha256": "1325e82b0ad598fa861f682defb9d51c6249ff2d83c91c8661edce17ef5ca6db" 1482 }, 1483 { 1484 "label": "check-subtracts-1968", 1485 "cases": 24, 1486 "input_sha256": "b5f5a0852d17e30d46a37b664a4ed4b59ec9191bb149d18291ce3ddd5be96709", 1487 "output_sha256": "ad7ab6152694dd1d5a8a18ecee7ab0f0404a37d66fa078da74ba3dc4358ceb70" 1488 }, 1489 { 1490 "label": "check-subtracts-1992", 1491 "cases": 24, 1492 "input_sha256": "8460323bb898fe6641264e3ff31a9c64f6d8e2c8c351d3d9dc6443648c5dc006", 1493 "output_sha256": "5482dd3ff5a51eacc00b1dd601c56b7976aca87319c4d048ec15e8f7f7c4447b" 1494 }, 1495 { 1496 "label": "check-subtracts-2016", 1497 "cases": 24, 1498 "input_sha256": "faf22bc7899a57b75f8d7a597f4aa3949bdf9a739417472bbb490fdcc70fbc08", 1499 "output_sha256": "95ee3832ff5e55a65a748be9c4cc789d11b5146dd7e8b13f66b956af82fe2ac9" 1500 }, 1501 { 1502 "label": "check-subtracts-2040", 1503 "cases": 24, 1504 "input_sha256": "b31defbfb95a43ae0d4a6b85b8de6f16c86e03e381bcfec12d92a6a266fde5b7", 1505 "output_sha256": "3c61ca45639a19ed6e68d61f1515ee8febbcdbacd39e9c2bd6d2b250e6e90683" 1506 }, 1507 { 1508 "label": "check-subtracts-2064", 1509 "cases": 24, 1510 "input_sha256": "89d7e931ffbe984fc57da3d82e545092bc2dc977474927ab36ba722e83cd549c", 1511 "output_sha256": "546e1bfb24be5d955e90b0263df421e2287f6ace3f5ab91c4dd9cd0223b59ea8" 1512 }, 1513 { 1514 "label": "check-subtracts-2088", 1515 "cases": 24, 1516 "input_sha256": "63447b7c18b81c080ea52899b0b7b4f7bb326130910a070f17f181b9670b4f6e", 1517 "output_sha256": "ee6e06a5af77e3f0e288327615a7c237209eb4aac076ebf5a7cd9243fb85d2bf" 1518 }, 1519 { 1520 "label": "check-subtracts-2112", 1521 "cases": 24, 1522 "input_sha256": "a0a12c063f74934f4a24fee1eefb4652626f34a058daaeb88200e3c2b638519c", 1523 "output_sha256": "d355213b80801c6ee36b3d705d8f01eb43d5ad22c02ea1f80def6deb6cb1fc0b" 1524 }, 1525 { 1526 "label": "check-subtracts-2136", 1527 "cases": 24, 1528 "input_sha256": "2d6a3aaf7de7a647ce3e29a1ae808ee54437e076bc2df581329ed5ff69985c5b", 1529 "output_sha256": "0e0a64c7dab1bd85ff8900e8a816b8ebbac8b04238e4ca991ddae0657185b0c8" 1530 }, 1531 { 1532 "label": "check-subtracts-2160", 1533 "cases": 24, 1534 "input_sha256": "3fc1101e1f62881c170acfa4c590ffb0f684b513c6a9d7cff9bf00216d7d3a92", 1535 "output_sha256": "350dee5858fbec16f0a9ba62058044de263a2764fb224bd57cc539d9b82656a3" 1536 }, 1537 { 1538 "label": "check-subtracts-2184", 1539 "cases": 24, 1540 "input_sha256": "bfb523deb2247d605102a455845e5e2e725eeb6e0fce3e179e0a8224b93fd4ab", 1541 "output_sha256": "2ba7a2cc589015fa8c1da1109280472653937b91ed52b6c33836050bc1269db9" 1542 }, 1543 { 1544 "label": "check-subtracts-2208", 1545 "cases": 24, 1546 "input_sha256": "c2a607a9103afc1a34cf902018925e85a3243963b53ca18ad2a8294a6e1e7b78", 1547 "output_sha256": "159250760c0705fb30a936089a3610f126100655b3730ffb1f979248f1e566aa" 1548 }, 1549 { 1550 "label": "check-subtracts-2232", 1551 "cases": 24, 1552 "input_sha256": "ddde9ae307b9e33bcab26dd3c4eccfa44275de1a7e7eee93d80d15149c47fac2", 1553 "output_sha256": "c410668e72b719496a56a8a50f534c0593187333cb35c55bda06fa86b3ee734e" 1554 }, 1555 { 1556 "label": "check-subtracts-2256", 1557 "cases": 24, 1558 "input_sha256": "07be9e3df3156cc9d41ec11676661f96b9e6f6f00048c4860d6c4a8c68de7d2c", 1559 "output_sha256": "c5c4e3ef9c681927126b4c5a5b1b6334d961a17db92e4fbe8711081c487da142" 1560 }, 1561 { 1562 "label": "check-subtracts-2280", 1563 "cases": 24, 1564 "input_sha256": "8347f50ee4650d2de8cf16abb1589cd4e593a620e80be3636b72b4d7853e5aa4", 1565 "output_sha256": "e55869cc8a93fd0b849106a12b7d93f523ec9ece568a967491907508472a65a1" 1566 }, 1567 { 1568 "label": "check-subtracts-2304", 1569 "cases": 24, 1570 "input_sha256": "b637fe0b7ad182bc3a6a287b20996ab48e2c1be8ce0dcf1df64e03482d02ea31", 1571 "output_sha256": "2469955ee3197d494246aeb3fdeae7b05c3f4bca5cb11592e076b60f03887e00" 1572 }, 1573 { 1574 "label": "check-subtracts-2328", 1575 "cases": 24, 1576 "input_sha256": "ed9a9d1d11b649d0c68138ed828fd51f6b462c65d6904a91a55a1e90b1c3e3a3", 1577 "output_sha256": "749fb38a26331d9e11c66aa8350e4ae1095d715d34e657c1bcf70767eff1ac8f" 1578 }, 1579 { 1580 "label": "check-subtracts-2352", 1581 "cases": 24, 1582 "input_sha256": "cfe79dd9c91def14b8ba9c89ba7d96140e4c6560a3e15736a471b80c36e2169a", 1583 "output_sha256": "ba9af63d840749908a18eec565fe71023d4a8f6fa5c3fa0bca8d6509d2b9c835" 1584 }, 1585 { 1586 "label": "check-subtracts-2376", 1587 "cases": 24, 1588 "input_sha256": "11d817e545e6be169b36a2550d3628535634692e9ea9819a90de575567afddb1", 1589 "output_sha256": "d00cb9180368a916d685dbb1e7797d1a8f12aecdb216aa39af3c1e3f9bd69fbd" 1590 }, 1591 { 1592 "label": "check-subtracts-2400", 1593 "cases": 24, 1594 "input_sha256": "a5d0aa321253ffc213fc2b6ec885ff6471447ab4607b50986e1ed37e4ba6c0c4", 1595 "output_sha256": "0bf39c76f1352c9dad52f2d04a345688dd4a821075ced4b7f2e26cc806cd8d7a" 1596 }, 1597 { 1598 "label": "check-subtracts-2424", 1599 "cases": 24, 1600 "input_sha256": "4304a01eb01d326b64086160ec06049c9817a7e19a6cdb188ed1989d360264e0", 1601 "output_sha256": "55c046e1fce966c625e87985cff7c0bbe5165b9feb12c4247d73a6dff4fa6b98" 1602 }, 1603 { 1604 "label": "check-subtracts-2448", 1605 "cases": 24, 1606 "input_sha256": "1e703401d6b4d3fa9801f1665ce9bb4e3353dee2c2058abd13b3e2b851c648e6", 1607 "output_sha256": "dc673c15f3447f810b77735203048b1aa69545d9279d349efd2714f199166c72" 1608 }, 1609 { 1610 "label": "check-subtracts-2472", 1611 "cases": 24, 1612 "input_sha256": "941a319034b7bed4c38132506d90f0872cb44060675050648b408524329a2ec4", 1613 "output_sha256": "bba36646bbeae2934dd6c23e1468513edad3d09e96f4e302ed81e3dc6d3812b6" 1614 }, 1615 { 1616 "label": "check-subtracts-2496", 1617 "cases": 24, 1618 "input_sha256": "b431f28545f9fbc8b130b7c4d588abd4e0fb10e9d8ef9f274defa6513dd18161", 1619 "output_sha256": "d723069e17f882d33147e6c58a49e330f81ef2b2722b97b05dcab34136cc6d59" 1620 }, 1621 { 1622 "label": "check-subtracts-2520", 1623 "cases": 24, 1624 "input_sha256": "7dc73ee0cf42c0e728366a338d4501797ff8fd0bb2f0943a9b6f39a46b568f2c", 1625 "output_sha256": "0a1314d484e5db7ef291a5b3a4b13e78e4cdc117185b7fd54c4d8359ea63ff21" 1626 }, 1627 { 1628 "label": "check-subtracts-2544", 1629 "cases": 24, 1630 "input_sha256": "99b452d9ccb49b6d87c4b1731d4d6bf21978ecf2149e520ceb644560df30c295", 1631 "output_sha256": "068c3cc4d91bd51565f7a347af640b1a6bfc2e13c805d7ae4060dc59d8b7fafb" 1632 }, 1633 { 1634 "label": "check-subtracts-2568", 1635 "cases": 24, 1636 "input_sha256": "7743be06fd7cb44b7562840bd66679dafec7caf8db5758db501e1ea5c6f90a56", 1637 "output_sha256": "edbac107ddbbf6bf708a3150bc76a8ea070759889b14dce32db30bfc30ec84b1" 1638 }, 1639 { 1640 "label": "check-subtracts-2592", 1641 "cases": 24, 1642 "input_sha256": "1efc359dbbc3c4d50c41d3f9df74796e54bf7c9b37f047f52465f2fcfba13a14", 1643 "output_sha256": "0d32ac5c3465912fdaa67ebd2676a5d28e4b10dbfb4e73ae2a72f895bebd4d16" 1644 }, 1645 { 1646 "label": "check-subtracts-2616", 1647 "cases": 24, 1648 "input_sha256": "e285cb0540e0e54fa8c720d5034a5091871e6325371b2a8e42decdc438c571c5", 1649 "output_sha256": "297e17295a1ca70556d1c091bf5b9ad7063e5105480b5c323863d016a2bc5e6a" 1650 }, 1651 { 1652 "label": "check-subtracts-2640", 1653 "cases": 24, 1654 "input_sha256": "5d20de006c79e85ffff70b7675b7be322597ba9545ee5d0bd22ff2320d389a7d", 1655 "output_sha256": "5236bb6abbd4c76ee73100f8757f7404becd88b0c3abbc72f02f22122045f2dc" 1656 }, 1657 { 1658 "label": "check-subtracts-2664", 1659 "cases": 24, 1660 "input_sha256": "30aa651b50a3eb932391851852f1f71a5a35fea18cda1fe621ffdcce6fe6a699", 1661 "output_sha256": "2a1becba9b7bc5d7ff80b5bec88f616a618039fd65313bf0b2a9bac1d2967ead" 1662 }, 1663 { 1664 "label": "check-subtracts-2688", 1665 "cases": 24, 1666 "input_sha256": "c5fc0bdd195c5e798a8ccfb52b836806730101e21fdf05962d2f4cc73ed8f73b", 1667 "output_sha256": "6a4928fa0e9f974d21a91393c1578bdd1fafaae9acf6f60541b16f76099e502f" 1668 }, 1669 { 1670 "label": "check-subtracts-2712", 1671 "cases": 24, 1672 "input_sha256": "6c1b1812fb4f7de4ef84c6fa0daddd2f24d0f58eda82fe70fd84853cc0aca410", 1673 "output_sha256": "e4451678ea76290b145930ee8c56c7e630253e5738e6fc7ad3d1b5e6ab9c2f2a" 1674 }, 1675 { 1676 "label": "check-subtracts-2736", 1677 "cases": 24, 1678 "input_sha256": "b5d6191fa7a6c853bf62ef3cc1f1c37a302e3e448385682e7c20140c540d96c3", 1679 "output_sha256": "f915cc27735b7a25aa9e37ef0c5af393c3a539e14e06b0303019e2e9413390b9" 1680 }, 1681 { 1682 "label": "check-subtracts-2760", 1683 "cases": 24, 1684 "input_sha256": "4d3f3e68ea5ca60a484d6f7e342f1ea5fdf9b367dc855a9b47a14fef0f833919", 1685 "output_sha256": "1965ff026ac9090c29b0a95da5d5d28b3faad10af88bbf7977f5b785cd8d011d" 1686 }, 1687 { 1688 "label": "check-subtracts-2784", 1689 "cases": 24, 1690 "input_sha256": "125745d97d9c95a201a7c521d0fbbc754e93e0f99ccc2e3520f3fdd9e3254d7c", 1691 "output_sha256": "79dc60ca56ba504a7d7e18af38249ab004c8a514d6309705280d1bba4335f9e1" 1692 }, 1693 { 1694 "label": "check-subtracts-2808", 1695 "cases": 24, 1696 "input_sha256": "3cc7d2619d67a8a78783288fad233d11ea1fb1f6d800a75812c8f2d4a9a10e94", 1697 "output_sha256": "9a19e15e8766599f34188d86dc7fa299b727ac4c384974b8d8d49bfc9178f374" 1698 }, 1699 { 1700 "label": "check-subtracts-2832", 1701 "cases": 24, 1702 "input_sha256": "6ca7136044391c8e6e092dcd1d1c41341f9e6c8a9e4b66953dc34a0a341b4f29", 1703 "output_sha256": "f9f50d445b4849c442e83378acdafcd6912c02554a3ccfd5387527ef5aee1cab" 1704 }, 1705 { 1706 "label": "check-subtracts-2856", 1707 "cases": 24, 1708 "input_sha256": "1a8097cc7e7c465cf666ea8e4c5cd78e845dc7b556d1c194b2bbeeb0e7cffb35", 1709 "output_sha256": "aaf77002dfa0af53453cabf4868872dbb963de5719a24bd67f043cce1890223d" 1710 }, 1711 { 1712 "label": "check-subtracts-2880", 1713 "cases": 24, 1714 "input_sha256": "bbd680713761d4fd51279a7f460d7089653ec6f11554b608474e191f1d3adc58", 1715 "output_sha256": "b91ee658884baa94650c8ed427e36cbf53ea4501ffc90a6fe84d1885c2ac28da" 1716 }, 1717 { 1718 "label": "check-subtracts-2904", 1719 "cases": 24, 1720 "input_sha256": "07352093d1b9fd4a8839f91fcff19c8ab611faf0448f93f3d6b8d0af7468733b", 1721 "output_sha256": "d749c7c2c363a3103cd6812bbab4a8c6d5815fd01c37d0f7e214ec976c8e1f33" 1722 }, 1723 { 1724 "label": "check-subtracts-2928", 1725 "cases": 24, 1726 "input_sha256": "9003dbd8578033ea06880a13a1ebfc25e1994f70ceeea4feae07ff596c35fd4d", 1727 "output_sha256": "6abe64a1a87dc75bb21e424d4037f4c83cda75844d358963c4446ff6a580c5ff" 1728 }, 1729 { 1730 "label": "check-subtracts-2952", 1731 "cases": 24, 1732 "input_sha256": "fe9f9866f0078bf8af2f83ef98362d4e30c12f196440b43c0aab7961866a64b6", 1733 "output_sha256": "d4b887a31ee8b900c7a01b69863dee21edd04f578d3aa9320118b504727a743e" 1734 }, 1735 { 1736 "label": "check-subtracts-2976", 1737 "cases": 24, 1738 "input_sha256": "b749319cedfd16b20ad93da8f1ed301daf4f305d500ae70f53643ad5b5651ece", 1739 "output_sha256": "4f09c8476013ad9cf5142b05b88cb552e335fd832e8754c85373367df7a86bff" 1740 }, 1741 { 1742 "label": "check-subtracts-3000", 1743 "cases": 24, 1744 "input_sha256": "f870c7c724f77e6c4bb87c42b6661d76828a2ca430fe8b8d4f037b6b87defbc1", 1745 "output_sha256": "92bc09d3aed631f2b407773a641684b816998423ff31344ad5953cea51fbe7f9" 1746 }, 1747 { 1748 "label": "check-subtracts-3024", 1749 "cases": 24, 1750 "input_sha256": "b3c30025938fa5fc27032771156411ad06eb1e8c635c51a832daeb2efd607aea", 1751 "output_sha256": "5f74271c43692305e1935fb387521a035f3591099c6a3fb5eedb34c118f7b953" 1752 }, 1753 { 1754 "label": "check-subtracts-3048", 1755 "cases": 24, 1756 "input_sha256": "6349129e98b3ffcc02955ea7fbaafff687e28a37ab3f59ae3af8f7fbb4869c83", 1757 "output_sha256": "cbda2255bbfd7448ef4e1aca6ac4fbf58a4baab6761afdd78bafb3ffb77a92c3" 1758 }, 1759 { 1760 "label": "check-subtracts-3072", 1761 "cases": 24, 1762 "input_sha256": "f1082988688dc1a0be0cc6cef17b56f59d42bbd0452ea0b4cb137c4d0ef718c3", 1763 "output_sha256": "cbda2255bbfd7448ef4e1aca6ac4fbf58a4baab6761afdd78bafb3ffb77a92c3" 1764 }, 1765 { 1766 "label": "check-subtracts-3096", 1767 "cases": 24, 1768 "input_sha256": "716de40323eefbb321f031ddb3cb68612a7d692c06f460f09617c75c7c0f1840", 1769 "output_sha256": "cbda2255bbfd7448ef4e1aca6ac4fbf58a4baab6761afdd78bafb3ffb77a92c3" 1770 }, 1771 { 1772 "label": "check-subtracts-3120", 1773 "cases": 24, 1774 "input_sha256": "e38b6424120e131032fa68b40b80595a3ef4497071d38d900780a99e572fd325", 1775 "output_sha256": "cbda2255bbfd7448ef4e1aca6ac4fbf58a4baab6761afdd78bafb3ffb77a92c3" 1776 }, 1777 { 1778 "label": "check-subtracts-3144", 1779 "cases": 24, 1780 "input_sha256": "777e021996a2f6b7eab2e7b8e7ed105ae01ba93bd2fc7545d02d5e48368b8848", 1781 "output_sha256": "cbda2255bbfd7448ef4e1aca6ac4fbf58a4baab6761afdd78bafb3ffb77a92c3" 1782 }, 1783 { 1784 "label": "check-subtracts-3168", 1785 "cases": 24, 1786 "input_sha256": "237f43bb9201de9b3173cf0169319d39b1990f87f009c107112f0585d0eefb6a", 1787 "output_sha256": "38b8f778288e284e6606f622f8f4b7db649098f894e9469802f51d88e93b8ba4" 1788 }, 1789 { 1790 "label": "check-subtracts-3192", 1791 "cases": 24, 1792 "input_sha256": "781b45f24973f274c63523ec91faa96a8d03c7698685985c9b6442d20d3e2d07", 1793 "output_sha256": "14354f0ad947741fcb7fae6b6c2eeccda7691065c047ff837d1e352e3854a419" 1794 }, 1795 { 1796 "label": "check-subtracts-3216", 1797 "cases": 24, 1798 "input_sha256": "21c7de13d1be8e37af026eb21339fbdeeed9a494b331b155f3f3ae7a802329a0", 1799 "output_sha256": "f05043717bcbae7de362dba6a9e3f7ac96e230885587d4b11e1558a93e2cfb20" 1800 }, 1801 { 1802 "label": "check-subtracts-3240", 1803 "cases": 24, 1804 "input_sha256": "78c5718a84d585e4e60effba95f95a00d4a297eb517815dda08394356f4d2eb4", 1805 "output_sha256": "7f58a1eef7cf55843c10ed554e47c51460aaa50764fbabc934f9301930c9937c" 1806 }, 1807 { 1808 "label": "check-subtracts-3264", 1809 "cases": 24, 1810 "input_sha256": "a38a76d901691468f9b3eab39e724bbd5505b9be0c9dd8d24c70b76f7169c2df", 1811 "output_sha256": "ff67ce1692846f830f543358169998f3cce81dfd3d59ace1330010f8f582d2e0" 1812 }, 1813 { 1814 "label": "check-subtracts-3288", 1815 "cases": 24, 1816 "input_sha256": "8101814cf4ff2c146d327b3273a171fe81146973d136241ea23ef715241b8405", 1817 "output_sha256": "49cf11fa29d43a396792627a0e8d3763c9e1dd99aa74ab3b49880401cacc0571" 1818 }, 1819 { 1820 "label": "check-subtracts-3312", 1821 "cases": 24, 1822 "input_sha256": "4ad3d727a4360f93ca6e4bf61e892b9c310bab037920eb6546bfb361f3bd663f", 1823 "output_sha256": "6bade77fece23adc8f8a42811019253a43ef8c03cd0f57d0608540b318b893be" 1824 }, 1825 { 1826 "label": "check-subtracts-3336", 1827 "cases": 24, 1828 "input_sha256": "c115924b2fb24e84ffce6d454d9069bb6d7a0272211fac94193e990778c92f30", 1829 "output_sha256": "fb6df0894474f23f275792f4bbc879eb9933d9c0cb83aafdddce2049ddf5dbcc" 1830 }, 1831 { 1832 "label": "check-subtracts-3360", 1833 "cases": 24, 1834 "input_sha256": "76609ad11bd923354d123c0609254073121d293f494fd656d691911adbfe5f81", 1835 "output_sha256": "8debbe8ef25f0414196f25be16a71c053b5d514bf5bd685197847bbd345df0c8" 1836 }, 1837 { 1838 "label": "check-subtracts-3384", 1839 "cases": 24, 1840 "input_sha256": "97444c05bfbf34b91bb33b3f9ba2d8188b7ee6150b2ac30d9217d9a940b6d532", 1841 "output_sha256": "4811d3bdfe5601448fdca82f603a71e8df5d8f7109cf3d4b73154ce3b16188ac" 1842 }, 1843 { 1844 "label": "check-subtracts-3408", 1845 "cases": 24, 1846 "input_sha256": "28d6d35348332c8d2d73d75eb823e188fb148023d1e5f83d0e1f2979b336b750", 1847 "output_sha256": "7bb04ea62aee2eed80a623f59744ffa96292820b077670bcd34fc7e776353b7e" 1848 }, 1849 { 1850 "label": "check-subtracts-3432", 1851 "cases": 24, 1852 "input_sha256": "1f3bd7281ad6fc7bb1a8533a808880e0c55d0eae1619add7ded8d62267f93cc2", 1853 "output_sha256": "04ecb932af9fcd0a5b21ba315774ccea965b0b5e5d317ae70484b63e39f874f0" 1854 }, 1855 { 1856 "label": "check-subtracts-3456", 1857 "cases": 24, 1858 "input_sha256": "075d46ea23c005b33a18c7b6aeca74897f2c8065caa378e43f8ff7af18d6930d", 1859 "output_sha256": "d571e6615976d0f8ee5d2bc809aaac7f995af9b83c6731bb574e400922078729" 1860 }, 1861 { 1862 "label": "check-subtracts-3480", 1863 "cases": 24, 1864 "input_sha256": "37fd9e60674dcc24fad1a756839bb357d62d4ca4ebe41caee959afd79bc4b977", 1865 "output_sha256": "6169f01f3f1bba01d2ba4314ce50ce94734ba1dc96ae6d458875b16943f9cb02" 1866 }, 1867 { 1868 "label": "check-subtracts-3504", 1869 "cases": 24, 1870 "input_sha256": "db5ecf56d4e83e4a192870d49b01a429540f7e26a478c9a5697befeac2ace2a9", 1871 "output_sha256": "aebab71d313f69b999d1669233ae0e2a3ec5c9d37bc539211fa29dc755b1a4d7" 1872 }, 1873 { 1874 "label": "check-subtracts-3528", 1875 "cases": 24, 1876 "input_sha256": "1d3769b48dbe6d19dfeefc13f216bce660f4e9604da7abcecde6d4eb78a3f08f", 1877 "output_sha256": "6f79f787ba14cce8ef23aa749a145e8277a077997fd89826226f336d366791bc" 1878 }, 1879 { 1880 "label": "check-subtracts-3552", 1881 "cases": 24, 1882 "input_sha256": "2c4e43f03e32b438cae23cd1fc471fc9c0933bf086ce3af5f588407c17652740", 1883 "output_sha256": "c22d9f53e1750f9870a07c042679f38af81447358c091cdb54f933e4cdb8331b" 1884 }, 1885 { 1886 "label": "check-subtracts-3576", 1887 "cases": 24, 1888 "input_sha256": "fd1bc886af928984d97a17fbe7855ce044bae73faea407247ec420f47ccbbf28", 1889 "output_sha256": "144d2ad2e20775734a0733f422655e9ba7d04c7828f247b5481296b86486b8bb" 1890 }, 1891 { 1892 "label": "check-subtracts-3600", 1893 "cases": 24, 1894 "input_sha256": "b4497b7c4d94b3d862041708315d5318a5106c38290f7a887e4e26c4ba43c5a5", 1895 "output_sha256": "f68c7667b0778c9f3161636a4cad4d889caadf7535f1b7998b2e7c7d0f07251f" 1896 }, 1897 { 1898 "label": "check-subtracts-3624", 1899 "cases": 24, 1900 "input_sha256": "eb519e5b77e77918d23edef8293b21dc2dbd3ba1dad37183febfeac958286401", 1901 "output_sha256": "bfdd04c3b394fc6031ebc174c9c75f7188e0e4299295f727a713f5ed89225983" 1902 }, 1903 { 1904 "label": "check-subtracts-3648", 1905 "cases": 24, 1906 "input_sha256": "d829fc8b964f507cfd008978aadcb8dccc7ad9f73d0eb92311c7ea97dd7e2ea8", 1907 "output_sha256": "a70bc48a6be814dfebaef1a8d3b620976224afefa39e4c60bf154a198e12bc17" 1908 }, 1909 { 1910 "label": "check-subtracts-3672", 1911 "cases": 24, 1912 "input_sha256": "02ce3e3d342a5c79789b1647b86cfffed127b45d95b83fef0b30d8601fb69a4f", 1913 "output_sha256": "caf7b585feecb13506be137b7364109ee96cd9d24813e7c5fd940734148a9725" 1914 }, 1915 { 1916 "label": "check-subtracts-3696", 1917 "cases": 24, 1918 "input_sha256": "79e43d95e239f899322df81db485a23b30d438c6b68d9274f144c94e229a31ee", 1919 "output_sha256": "60bc55029eb92d143265c1c755e4989f77f68d691da8f5e84a3748cef4c8ca12" 1920 }, 1921 { 1922 "label": "check-subtracts-3720", 1923 "cases": 24, 1924 "input_sha256": "d3d392e9c92edc1582980d4acc0cf8406aec0595e7b7125d1d23de87d0e212d4", 1925 "output_sha256": "65a30d08a528ec01d394620e67e4bf11f2c860ef3129098009afad160213d381" 1926 }, 1927 { 1928 "label": "check-subtracts-3744", 1929 "cases": 24, 1930 "input_sha256": "04390154b6cade43e98d06cd6b4217948e467844ba859f302e16a7743d417217", 1931 "output_sha256": "8f585eeff7b9fc616a55b2bc96d52aca11d9ec2e27a1980831e85eaacd6023ca" 1932 }, 1933 { 1934 "label": "check-subtracts-3768", 1935 "cases": 24, 1936 "input_sha256": "3bf7719059f4ea2dc626bad3b94fbf7d486998d07e12fee375a27059f6dcf1e6", 1937 "output_sha256": "2f8da8acc7f859cd42106594ebda8893e79a0fe9e75edb208a9a6c8fdd38f7e3" 1938 }, 1939 { 1940 "label": "check-subtracts-3792", 1941 "cases": 24, 1942 "input_sha256": "803e9989ebd7826e5adf4e5616a583f101747808a7b86efc0d672e03cf6a7c01", 1943 "output_sha256": "1316a11a3b6bb4f7e71ac9201710e9b4119790c0750fdc05c3d62478964b7e34" 1944 }, 1945 { 1946 "label": "check-subtracts-3816", 1947 "cases": 4, 1948 "input_sha256": "1052d4e588a01de405a77e94dab7dc76324940d31b6ad3ba23cbfc448ea769e8", 1949 "output_sha256": "cab142690387d06da7ea7911db6846a45c7917e836206c0a590ed4949213f1c0" 1950 }, 1951 { 1952 "label": "decode-0", 1953 "cases": 24, 1954 "input_sha256": "d6d079d436ad9a3941d9f66e28943476aff35d5391718a34e2ca1498c68313b6", 1955 "output_sha256": "a7d82e3217467b2712eae883c892f113dc481f753897fb7de1da5c3df1b71012" 1956 }, 1957 { 1958 "label": "flip-0", 1959 "cases": 24, 1960 "input_sha256": "d6d079d436ad9a3941d9f66e28943476aff35d5391718a34e2ca1498c68313b6", 1961 "output_sha256": "406eb5d6fb81911079da085b9233d603aa19cc6a969e9df7cd8b84c402f4aac7" 1962 }, 1963 { 1964 "label": "decode-24", 1965 "cases": 24, 1966 "input_sha256": "f8a68ea220154d7e63458b035685633fa381558abdb6e234e2e9cdf59cbf4e6d", 1967 "output_sha256": "12cc2912fffce604ac95eaebef39c897f8eedc653029ac80fe9ab3609ba35e9a" 1968 }, 1969 { 1970 "label": "flip-24", 1971 "cases": 24, 1972 "input_sha256": "f8a68ea220154d7e63458b035685633fa381558abdb6e234e2e9cdf59cbf4e6d", 1973 "output_sha256": "4d3a36e8e0b924a598e97183506651b78fa5c6142461938c9d5ef0dfeac10b4e" 1974 }, 1975 { 1976 "label": "decode-48", 1977 "cases": 24, 1978 "input_sha256": "df6113b182e2bf2212db45548721f5ff187b03478b0412d16cc4eed68fee214e", 1979 "output_sha256": "e9603236ca4c7218968c62d96ef008bbd4c6b184a19ee4f87ab1f4ce238f91cf" 1980 }, 1981 { 1982 "label": "flip-48", 1983 "cases": 24, 1984 "input_sha256": "df6113b182e2bf2212db45548721f5ff187b03478b0412d16cc4eed68fee214e", 1985 "output_sha256": "6af7c2af4460623ed62748f97c7037237ab220165e882de28f62344069c75500" 1986 }, 1987 { 1988 "label": "decode-72", 1989 "cases": 24, 1990 "input_sha256": "61568280d7453ce3ca062b3b146ba5b6b7b09c5ccaafc91bf0646e2c759b2adb", 1991 "output_sha256": "470809535139917e69fc862a23bca9d9ab38e507f81962dea22937374fcd317d" 1992 }, 1993 { 1994 "label": "flip-72", 1995 "cases": 24, 1996 "input_sha256": "61568280d7453ce3ca062b3b146ba5b6b7b09c5ccaafc91bf0646e2c759b2adb", 1997 "output_sha256": "748f15f84ca71098dc35e9e0d729d0057a5b043da7538adbe78bd4181c97286d" 1998 }, 1999 { 2000 "label": "decode-96", 2001 "cases": 24, 2002 "input_sha256": "35618ded1c99bd3d8de8a61b70c0050eb9530337092218d1ed7ecd0f9fd9c2eb", 2003 "output_sha256": "749a3a8657967212fe0f5fa309c9a3d1447f31bf85ea2e5e816dc370e9dd2f36" 2004 }, 2005 { 2006 "label": "flip-96", 2007 "cases": 24, 2008 "input_sha256": "35618ded1c99bd3d8de8a61b70c0050eb9530337092218d1ed7ecd0f9fd9c2eb", 2009 "output_sha256": "bc135e48c05c9646b692ea164217e4dd78881d8c24da1044c1f03a0ecfac929a" 2010 }, 2011 { 2012 "label": "decode-120", 2013 "cases": 24, 2014 "input_sha256": "f70a70acf852f8a3538d5a772b894cd92c365c5bcf95d4cd7a89ff5257c8d037", 2015 "output_sha256": "4951cd52a55788e0d108aec7216fcf878623918d6ce79aa93f1a27b705c4992e" 2016 }, 2017 { 2018 "label": "flip-120", 2019 "cases": 24, 2020 "input_sha256": "f70a70acf852f8a3538d5a772b894cd92c365c5bcf95d4cd7a89ff5257c8d037", 2021 "output_sha256": "5cb8984356107d298bd8049bd02ccc3b6cc4cd12edb1712115b0fc144e9260e8" 2022 }, 2023 { 2024 "label": "decode-144", 2025 "cases": 2, 2026 "input_sha256": "c30a9e5d16fb85e3b37bf9e9e7473ffac15c2352c154564d7bcadba1a90a7b15", 2027 "output_sha256": "38dc3e5d59c45dddc0d94b231e8917cbaadacd8389808cc2346198d18a73a5e6" 2028 }, 2029 { 2030 "label": "flip-144", 2031 "cases": 2, 2032 "input_sha256": "c30a9e5d16fb85e3b37bf9e9e7473ffac15c2352c154564d7bcadba1a90a7b15", 2033 "output_sha256": "c19092bc07d1c70d012e7fae02a90fe980eb367996967c7e44b33f0ae50281bd" 2034 }, 2035 { 2036 "label": "reject-adds", 2037 "cases": 56, 2038 "input_sha256": "a70a632ccae971b8c74a67e77597df9bbf4bffe3fbc2c9fe2b70525a44a58bac", 2039 "output_sha256": "9050a20c22c382452f620a4d12dd494c77029e0107c973c5aebbd00c3c9ec155" 2040 }, 2041 { 2042 "label": "reject-subtracts", 2043 "cases": 56, 2044 "input_sha256": "a70a632ccae971b8c74a67e77597df9bbf4bffe3fbc2c9fe2b70525a44a58bac", 2045 "output_sha256": "9050a20c22c382452f620a4d12dd494c77029e0107c973c5aebbd00c3c9ec155" 2046 } 2047 ], 2048 "demand": [ 2049 { 2050 "name": "rangeDemand", 2051 "outcome": "expected-result" 2052 } 2053 ], 2054 "samples": [ 2055 { 2056 "group": "overflow", 2057 "name": "adds", 2058 "size": 16, 2059 "repeat": 0, 2060 "warmup": true, 2061 "wall_ns": 27249136, 2062 "allocated_bytes": 146265376 2063 }, 2064 { 2065 "group": "opposite-signs", 2066 "name": "adds", 2067 "size": 16, 2068 "repeat": 0, 2069 "warmup": true, 2070 "wall_ns": 31433732, 2071 "allocated_bytes": 173064320 2072 }, 2073 { 2074 "group": "cancellation", 2075 "name": "subtracts", 2076 "size": 16, 2077 "repeat": 0, 2078 "warmup": true, 2079 "wall_ns": 20866053, 2080 "allocated_bytes": 111992760 2081 }, 2082 { 2083 "group": "opposite-signs", 2084 "name": "subtracts", 2085 "size": 16, 2086 "repeat": 0, 2087 "warmup": true, 2088 "wall_ns": 33775680, 2089 "allocated_bytes": 186214328 2090 }, 2091 { 2092 "group": "far", 2093 "name": "subtracts", 2094 "size": 16, 2095 "repeat": 0, 2096 "warmup": true, 2097 "wall_ns": 20582168, 2098 "allocated_bytes": 112047576 2099 }, 2100 { 2101 "group": "normal", 2102 "name": "subtracts", 2103 "size": 16, 2104 "repeat": 0, 2105 "warmup": true, 2106 "wall_ns": 30116443, 2107 "allocated_bytes": 172805760 2108 }, 2109 { 2110 "group": "zero", 2111 "name": "subtracts", 2112 "size": 16, 2113 "repeat": 0, 2114 "warmup": true, 2115 "wall_ns": 10326175, 2116 "allocated_bytes": 68050456 2117 }, 2118 { 2119 "group": "zero", 2120 "name": "adds", 2121 "size": 16, 2122 "repeat": 0, 2123 "warmup": true, 2124 "wall_ns": 8788621, 2125 "allocated_bytes": 48365368 2126 }, 2127 { 2128 "group": "subnormal", 2129 "name": "adds", 2130 "size": 16, 2131 "repeat": 0, 2132 "warmup": true, 2133 "wall_ns": 39662239, 2134 "allocated_bytes": 230361992 2135 }, 2136 { 2137 "group": "cancellation", 2138 "name": "adds", 2139 "size": 16, 2140 "repeat": 0, 2141 "warmup": true, 2142 "wall_ns": 38104848, 2143 "allocated_bytes": 212535728 2144 }, 2145 { 2146 "group": "overflow", 2147 "name": "subtracts", 2148 "size": 16, 2149 "repeat": 0, 2150 "warmup": true, 2151 "wall_ns": 15188837, 2152 "allocated_bytes": 106247720 2153 }, 2154 { 2155 "group": "far", 2156 "name": "adds", 2157 "size": 16, 2158 "repeat": 0, 2159 "warmup": true, 2160 "wall_ns": 20350131, 2161 "allocated_bytes": 112157912 2162 }, 2163 { 2164 "group": "subnormal", 2165 "name": "subtracts", 2166 "size": 16, 2167 "repeat": 0, 2168 "warmup": true, 2169 "wall_ns": 35831990, 2170 "allocated_bytes": 242605808 2171 }, 2172 { 2173 "group": "normal", 2174 "name": "adds", 2175 "size": 16, 2176 "repeat": 0, 2177 "warmup": true, 2178 "wall_ns": 33910604, 2179 "allocated_bytes": 185864536 2180 }, 2181 { 2182 "group": "subnormal", 2183 "name": "subtracts", 2184 "size": 16, 2185 "repeat": 1, 2186 "warmup": false, 2187 "wall_ns": 32247924, 2188 "allocated_bytes": 242605808 2189 }, 2190 { 2191 "group": "overflow", 2192 "name": "adds", 2193 "size": 16, 2194 "repeat": 1, 2195 "warmup": false, 2196 "wall_ns": 26218155, 2197 "allocated_bytes": 146265376 2198 }, 2199 { 2200 "group": "subnormal", 2201 "name": "adds", 2202 "size": 16, 2203 "repeat": 1, 2204 "warmup": false, 2205 "wall_ns": 36429605, 2206 "allocated_bytes": 230361992 2207 }, 2208 { 2209 "group": "zero", 2210 "name": "subtracts", 2211 "size": 16, 2212 "repeat": 1, 2213 "warmup": false, 2214 "wall_ns": 8902525, 2215 "allocated_bytes": 68048904 2216 }, 2217 { 2218 "group": "normal", 2219 "name": "adds", 2220 "size": 16, 2221 "repeat": 1, 2222 "warmup": false, 2223 "wall_ns": 32984581, 2224 "allocated_bytes": 185866088 2225 }, 2226 { 2227 "group": "far", 2228 "name": "subtracts", 2229 "size": 16, 2230 "repeat": 1, 2231 "warmup": false, 2232 "wall_ns": 14814833, 2233 "allocated_bytes": 112047576 2234 }, 2235 { 2236 "group": "zero", 2237 "name": "adds", 2238 "size": 16, 2239 "repeat": 1, 2240 "warmup": false, 2241 "wall_ns": 7914637, 2242 "allocated_bytes": 48365368 2243 }, 2244 { 2245 "group": "normal", 2246 "name": "subtracts", 2247 "size": 16, 2248 "repeat": 1, 2249 "warmup": false, 2250 "wall_ns": 32014976, 2251 "allocated_bytes": 172805760 2252 }, 2253 { 2254 "group": "opposite-signs", 2255 "name": "adds", 2256 "size": 16, 2257 "repeat": 1, 2258 "warmup": false, 2259 "wall_ns": 24332186, 2260 "allocated_bytes": 173062768 2261 }, 2262 { 2263 "group": "opposite-signs", 2264 "name": "subtracts", 2265 "size": 16, 2266 "repeat": 1, 2267 "warmup": false, 2268 "wall_ns": 33392288, 2269 "allocated_bytes": 186212776 2270 }, 2271 { 2272 "group": "cancellation", 2273 "name": "subtracts", 2274 "size": 16, 2275 "repeat": 1, 2276 "warmup": false, 2277 "wall_ns": 19525810, 2278 "allocated_bytes": 111992760 2279 }, 2280 { 2281 "group": "far", 2282 "name": "adds", 2283 "size": 16, 2284 "repeat": 1, 2285 "warmup": false, 2286 "wall_ns": 16997501, 2287 "allocated_bytes": 112157912 2288 }, 2289 { 2290 "group": "overflow", 2291 "name": "subtracts", 2292 "size": 16, 2293 "repeat": 1, 2294 "warmup": false, 2295 "wall_ns": 15469996, 2296 "allocated_bytes": 106246168 2297 }, 2298 { 2299 "group": "cancellation", 2300 "name": "adds", 2301 "size": 16, 2302 "repeat": 1, 2303 "warmup": false, 2304 "wall_ns": 35891752, 2305 "allocated_bytes": 212535728 2306 }, 2307 { 2308 "group": "far", 2309 "name": "subtracts", 2310 "size": 16, 2311 "repeat": 2, 2312 "warmup": false, 2313 "wall_ns": 16341547, 2314 "allocated_bytes": 112047576 2315 }, 2316 { 2317 "group": "normal", 2318 "name": "subtracts", 2319 "size": 16, 2320 "repeat": 2, 2321 "warmup": false, 2322 "wall_ns": 31159696, 2323 "allocated_bytes": 172805760 2324 }, 2325 { 2326 "group": "subnormal", 2327 "name": "adds", 2328 "size": 16, 2329 "repeat": 2, 2330 "warmup": false, 2331 "wall_ns": 38288704, 2332 "allocated_bytes": 230363544 2333 }, 2334 { 2335 "group": "overflow", 2336 "name": "subtracts", 2337 "size": 16, 2338 "repeat": 2, 2339 "warmup": false, 2340 "wall_ns": 15529749, 2341 "allocated_bytes": 106247720 2342 }, 2343 { 2344 "group": "subnormal", 2345 "name": "subtracts", 2346 "size": 16, 2347 "repeat": 2, 2348 "warmup": false, 2349 "wall_ns": 38865719, 2350 "allocated_bytes": 242604256 2351 }, 2352 { 2353 "group": "opposite-signs", 2354 "name": "subtracts", 2355 "size": 16, 2356 "repeat": 2, 2357 "warmup": false, 2358 "wall_ns": 26013480, 2359 "allocated_bytes": 186214328 2360 }, 2361 { 2362 "group": "opposite-signs", 2363 "name": "adds", 2364 "size": 16, 2365 "repeat": 2, 2366 "warmup": false, 2367 "wall_ns": 27336721, 2368 "allocated_bytes": 173062768 2369 }, 2370 { 2371 "group": "normal", 2372 "name": "adds", 2373 "size": 16, 2374 "repeat": 2, 2375 "warmup": false, 2376 "wall_ns": 28656915, 2377 "allocated_bytes": 185864536 2378 }, 2379 { 2380 "group": "zero", 2381 "name": "adds", 2382 "size": 16, 2383 "repeat": 2, 2384 "warmup": false, 2385 "wall_ns": 7011636, 2386 "allocated_bytes": 48363816 2387 }, 2388 { 2389 "group": "cancellation", 2390 "name": "adds", 2391 "size": 16, 2392 "repeat": 2, 2393 "warmup": false, 2394 "wall_ns": 35917862, 2395 "allocated_bytes": 212535728 2396 }, 2397 { 2398 "group": "zero", 2399 "name": "subtracts", 2400 "size": 16, 2401 "repeat": 2, 2402 "warmup": false, 2403 "wall_ns": 9662266, 2404 "allocated_bytes": 68050456 2405 }, 2406 { 2407 "group": "cancellation", 2408 "name": "subtracts", 2409 "size": 16, 2410 "repeat": 2, 2411 "warmup": false, 2412 "wall_ns": 18952821, 2413 "allocated_bytes": 111992760 2414 }, 2415 { 2416 "group": "far", 2417 "name": "adds", 2418 "size": 16, 2419 "repeat": 2, 2420 "warmup": false, 2421 "wall_ns": 18140092, 2422 "allocated_bytes": 112157912 2423 }, 2424 { 2425 "group": "overflow", 2426 "name": "adds", 2427 "size": 16, 2428 "repeat": 2, 2429 "warmup": false, 2430 "wall_ns": 25134376, 2431 "allocated_bytes": 146263824 2432 }, 2433 { 2434 "group": "opposite-signs", 2435 "name": "subtracts", 2436 "size": 16, 2437 "repeat": 3, 2438 "warmup": false, 2439 "wall_ns": 28176451, 2440 "allocated_bytes": 186214328 2441 }, 2442 { 2443 "group": "far", 2444 "name": "subtracts", 2445 "size": 16, 2446 "repeat": 3, 2447 "warmup": false, 2448 "wall_ns": 17847822, 2449 "allocated_bytes": 112047576 2450 }, 2451 { 2452 "group": "overflow", 2453 "name": "adds", 2454 "size": 16, 2455 "repeat": 3, 2456 "warmup": false, 2457 "wall_ns": 20970790, 2458 "allocated_bytes": 146263824 2459 }, 2460 { 2461 "group": "zero", 2462 "name": "adds", 2463 "size": 16, 2464 "repeat": 3, 2465 "warmup": false, 2466 "wall_ns": 9780809, 2467 "allocated_bytes": 48365368 2468 }, 2469 { 2470 "group": "cancellation", 2471 "name": "subtracts", 2472 "size": 16, 2473 "repeat": 3, 2474 "warmup": false, 2475 "wall_ns": 15626510, 2476 "allocated_bytes": 111992760 2477 }, 2478 { 2479 "group": "overflow", 2480 "name": "subtracts", 2481 "size": 16, 2482 "repeat": 3, 2483 "warmup": false, 2484 "wall_ns": 15893182, 2485 "allocated_bytes": 106247720 2486 }, 2487 { 2488 "group": "far", 2489 "name": "adds", 2490 "size": 16, 2491 "repeat": 3, 2492 "warmup": false, 2493 "wall_ns": 17306803, 2494 "allocated_bytes": 112156360 2495 }, 2496 { 2497 "group": "cancellation", 2498 "name": "adds", 2499 "size": 16, 2500 "repeat": 3, 2501 "warmup": false, 2502 "wall_ns": 36851088, 2503 "allocated_bytes": 212535728 2504 }, 2505 { 2506 "group": "zero", 2507 "name": "subtracts", 2508 "size": 16, 2509 "repeat": 3, 2510 "warmup": false, 2511 "wall_ns": 11818163, 2512 "allocated_bytes": 68050456 2513 }, 2514 { 2515 "group": "subnormal", 2516 "name": "adds", 2517 "size": 16, 2518 "repeat": 3, 2519 "warmup": false, 2520 "wall_ns": 40920757, 2521 "allocated_bytes": 230363544 2522 }, 2523 { 2524 "group": "subnormal", 2525 "name": "subtracts", 2526 "size": 16, 2527 "repeat": 3, 2528 "warmup": false, 2529 "wall_ns": 34951312, 2530 "allocated_bytes": 242605808 2531 }, 2532 { 2533 "group": "opposite-signs", 2534 "name": "adds", 2535 "size": 16, 2536 "repeat": 3, 2537 "warmup": false, 2538 "wall_ns": 26193529, 2539 "allocated_bytes": 173064320 2540 }, 2541 { 2542 "group": "normal", 2543 "name": "subtracts", 2544 "size": 16, 2545 "repeat": 3, 2546 "warmup": false, 2547 "wall_ns": 26082560, 2548 "allocated_bytes": 172805760 2549 }, 2550 { 2551 "group": "normal", 2552 "name": "adds", 2553 "size": 16, 2554 "repeat": 3, 2555 "warmup": false, 2556 "wall_ns": 32387697, 2557 "allocated_bytes": 185866088 2558 }, 2559 { 2560 "group": "cancellation", 2561 "name": "adds", 2562 "size": 16, 2563 "repeat": 4, 2564 "warmup": false, 2565 "wall_ns": 38088056, 2566 "allocated_bytes": 212535728 2567 }, 2568 { 2569 "group": "overflow", 2570 "name": "subtracts", 2571 "size": 16, 2572 "repeat": 4, 2573 "warmup": false, 2574 "wall_ns": 16161107, 2575 "allocated_bytes": 106246168 2576 }, 2577 { 2578 "group": "normal", 2579 "name": "adds", 2580 "size": 16, 2581 "repeat": 4, 2582 "warmup": false, 2583 "wall_ns": 27122237, 2584 "allocated_bytes": 185866088 2585 }, 2586 { 2587 "group": "normal", 2588 "name": "subtracts", 2589 "size": 16, 2590 "repeat": 4, 2591 "warmup": false, 2592 "wall_ns": 29537664, 2593 "allocated_bytes": 172805760 2594 }, 2595 { 2596 "group": "zero", 2597 "name": "adds", 2598 "size": 16, 2599 "repeat": 4, 2600 "warmup": false, 2601 "wall_ns": 6712925, 2602 "allocated_bytes": 48365368 2603 }, 2604 { 2605 "group": "cancellation", 2606 "name": "subtracts", 2607 "size": 16, 2608 "repeat": 4, 2609 "warmup": false, 2610 "wall_ns": 16028988, 2611 "allocated_bytes": 111992760 2612 }, 2613 { 2614 "group": "far", 2615 "name": "subtracts", 2616 "size": 16, 2617 "repeat": 4, 2618 "warmup": false, 2619 "wall_ns": 16914626, 2620 "allocated_bytes": 112047576 2621 }, 2622 { 2623 "group": "zero", 2624 "name": "subtracts", 2625 "size": 16, 2626 "repeat": 4, 2627 "warmup": false, 2628 "wall_ns": 10899424, 2629 "allocated_bytes": 68050456 2630 }, 2631 { 2632 "group": "subnormal", 2633 "name": "subtracts", 2634 "size": 16, 2635 "repeat": 4, 2636 "warmup": false, 2637 "wall_ns": 42197842, 2638 "allocated_bytes": 242605808 2639 }, 2640 { 2641 "group": "overflow", 2642 "name": "adds", 2643 "size": 16, 2644 "repeat": 4, 2645 "warmup": false, 2646 "wall_ns": 24324110, 2647 "allocated_bytes": 146265376 2648 }, 2649 { 2650 "group": "opposite-signs", 2651 "name": "adds", 2652 "size": 16, 2653 "repeat": 4, 2654 "warmup": false, 2655 "wall_ns": 24959507, 2656 "allocated_bytes": 173064320 2657 }, 2658 { 2659 "group": "subnormal", 2660 "name": "adds", 2661 "size": 16, 2662 "repeat": 4, 2663 "warmup": false, 2664 "wall_ns": 34020861, 2665 "allocated_bytes": 230363544 2666 }, 2667 { 2668 "group": "far", 2669 "name": "adds", 2670 "size": 16, 2671 "repeat": 4, 2672 "warmup": false, 2673 "wall_ns": 14376097, 2674 "allocated_bytes": 112157912 2675 }, 2676 { 2677 "group": "opposite-signs", 2678 "name": "subtracts", 2679 "size": 16, 2680 "repeat": 4, 2681 "warmup": false, 2682 "wall_ns": 27570191, 2683 "allocated_bytes": 186212672 2684 } 2685 ], 2686 "summaries": [ 2687 { 2688 "group": "normal", 2689 "name": "adds", 2690 "size": 16, 2691 "wall_ns": 30522306.0, 2692 "wall_ns_min": 27122237, 2693 "wall_ns_max": 32984581, 2694 "allocated_bytes": 185866088.0, 2695 "allocated_bytes_min": 185864536, 2696 "allocated_bytes_max": 185866088 2697 }, 2698 { 2699 "group": "normal", 2700 "name": "subtracts", 2701 "size": 16, 2702 "wall_ns": 30348680.0, 2703 "wall_ns_min": 26082560, 2704 "wall_ns_max": 32014976, 2705 "allocated_bytes": 172805760.0, 2706 "allocated_bytes_min": 172805760, 2707 "allocated_bytes_max": 172805760 2708 }, 2709 { 2710 "group": "opposite-signs", 2711 "name": "adds", 2712 "size": 16, 2713 "wall_ns": 25576518.0, 2714 "wall_ns_min": 24332186, 2715 "wall_ns_max": 27336721, 2716 "allocated_bytes": 173063544.0, 2717 "allocated_bytes_min": 173062768, 2718 "allocated_bytes_max": 173064320 2719 }, 2720 { 2721 "group": "opposite-signs", 2722 "name": "subtracts", 2723 "size": 16, 2724 "wall_ns": 27873321.0, 2725 "wall_ns_min": 26013480, 2726 "wall_ns_max": 33392288, 2727 "allocated_bytes": 186213552.0, 2728 "allocated_bytes_min": 186212672, 2729 "allocated_bytes_max": 186214328 2730 }, 2731 { 2732 "group": "cancellation", 2733 "name": "adds", 2734 "size": 16, 2735 "wall_ns": 36384475.0, 2736 "wall_ns_min": 35891752, 2737 "wall_ns_max": 38088056, 2738 "allocated_bytes": 212535728.0, 2739 "allocated_bytes_min": 212535728, 2740 "allocated_bytes_max": 212535728 2741 }, 2742 { 2743 "group": "cancellation", 2744 "name": "subtracts", 2745 "size": 16, 2746 "wall_ns": 17490904.5, 2747 "wall_ns_min": 15626510, 2748 "wall_ns_max": 19525810, 2749 "allocated_bytes": 111992760.0, 2750 "allocated_bytes_min": 111992760, 2751 "allocated_bytes_max": 111992760 2752 }, 2753 { 2754 "group": "subnormal", 2755 "name": "adds", 2756 "size": 16, 2757 "wall_ns": 37359154.5, 2758 "wall_ns_min": 34020861, 2759 "wall_ns_max": 40920757, 2760 "allocated_bytes": 230363544.0, 2761 "allocated_bytes_min": 230361992, 2762 "allocated_bytes_max": 230363544 2763 }, 2764 { 2765 "group": "subnormal", 2766 "name": "subtracts", 2767 "size": 16, 2768 "wall_ns": 36908515.5, 2769 "wall_ns_min": 32247924, 2770 "wall_ns_max": 42197842, 2771 "allocated_bytes": 242605808.0, 2772 "allocated_bytes_min": 242604256, 2773 "allocated_bytes_max": 242605808 2774 }, 2775 { 2776 "group": "far", 2777 "name": "adds", 2778 "size": 16, 2779 "wall_ns": 17152152.0, 2780 "wall_ns_min": 14376097, 2781 "wall_ns_max": 18140092, 2782 "allocated_bytes": 112157912.0, 2783 "allocated_bytes_min": 112156360, 2784 "allocated_bytes_max": 112157912 2785 }, 2786 { 2787 "group": "far", 2788 "name": "subtracts", 2789 "size": 16, 2790 "wall_ns": 16628086.5, 2791 "wall_ns_min": 14814833, 2792 "wall_ns_max": 17847822, 2793 "allocated_bytes": 112047576.0, 2794 "allocated_bytes_min": 112047576, 2795 "allocated_bytes_max": 112047576 2796 }, 2797 { 2798 "group": "zero", 2799 "name": "adds", 2800 "size": 16, 2801 "wall_ns": 7463136.5, 2802 "wall_ns_min": 6712925, 2803 "wall_ns_max": 9780809, 2804 "allocated_bytes": 48365368.0, 2805 "allocated_bytes_min": 48363816, 2806 "allocated_bytes_max": 48365368 2807 }, 2808 { 2809 "group": "zero", 2810 "name": "subtracts", 2811 "size": 16, 2812 "wall_ns": 10280845.0, 2813 "wall_ns_min": 8902525, 2814 "wall_ns_max": 11818163, 2815 "allocated_bytes": 68050456.0, 2816 "allocated_bytes_min": 68048904, 2817 "allocated_bytes_max": 68050456 2818 }, 2819 { 2820 "group": "overflow", 2821 "name": "adds", 2822 "size": 16, 2823 "wall_ns": 24729243.0, 2824 "wall_ns_min": 20970790, 2825 "wall_ns_max": 26218155, 2826 "allocated_bytes": 146264600.0, 2827 "allocated_bytes_min": 146263824, 2828 "allocated_bytes_max": 146265376 2829 }, 2830 { 2831 "group": "overflow", 2832 "name": "subtracts", 2833 "size": 16, 2834 "wall_ns": 15711465.5, 2835 "wall_ns_min": 15469996, 2836 "wall_ns_max": 16161107, 2837 "allocated_bytes": 106246944.0, 2838 "allocated_bytes_min": 106246168, 2839 "allocated_bytes_max": 106247720 2840 } 2841 ], 2842 "bundle_sha256": "1856722b375aa6ed0ed1f5a321b13a1ba317936990f92038a13a49e037ee3c0b", 2843 "finite_pairs": 3820, 2844 "decode_and_flip_words": 146, 2845 "rejection_pairs": 56 2846 } 2847 }