{"abstract":"Deleting one of several identical inserts removes all of them.","category":"Probabilistic sketches","checks":10,"contract":"Input {m (power of two), max_kicks, ops} with pre-hashed 32-bit items. Fingerprint f is bits 24-31, with 0 remapped to 1 (0 marks an empty slot in packed tables). i1 = h mod m and the alternate bucket is alt(i, f) = (i XOR (f*0x5bd1e995 mod 2^32)) mod m, so it is computable from the fingerprint alone. Buckets hold 2 fingerprints. Insert tries i1, then i2, then performs up to max_kicks evictions starting at i1, swapping slot (kick mod 2); on failure the table is restored and \"full\" is returned. Delete removes one copy, from i1 first. Return [results, buckets].","evaluation_group":"w2-probabilistic_sketches-cuckoo-filter","failed_approach":"Removing from i2 first leaves a different table than the contract.","family":"w2-probabilistic_sketches-cuckoo-filter-delete-one","id":"FA-73286","implementations":{"attempt":{"sha256":"0dc408dd5d1b873ebb6e4a403bff2a483f8d231becf61430a1cebc24d7d270f5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['m']\n    maxk = x['max_kicks']\n    buckets = [[] for _ in range(m)]\n    def fp(h):\n        f = (h >> 24) & 0xFF\n        return f if f else 1\n    def alt(i, f):\n        return (i ^ ((f * 0x5bd1e995) & 0xFFFFFFFF)) & (m - 1)\n    res = []\n    for op, h in x['ops']:\n        f = fp(h)\n        i1 = h & (m - 1)\n        i2 = alt(i1, f)\n        if op == 'ins':\n            if len(buckets[i1]) < 2:\n                buckets[i1].append(f)\n                res.append('ok')\n                continue\n            if len(buckets[i2]) < 2:\n                buckets[i2].append(f)\n                res.append('ok')\n                continue\n            saved = [list(bk) for bk in buckets]\n            i = i1\n            placed = False\n            for n in range(maxk):\n                slot = n % 2\n                f, buckets[i][slot] = buckets[i][slot], f\n                i = alt(i, f)\n                if len(buckets[i]) < 2:\n                    buckets[i].append(f)\n                    placed = True\n                    break\n            if placed:\n                res.append('ok')\n            else:\n                buckets = saved\n                res.append('full')\n        elif op == 'has':\n            res.append(f in buckets[i1] or f in buckets[i2])\n        else:\n            if f in buckets[i2]:\n                buckets[i2].remove(f)\n                res.append(True)\n            elif f in buckets[i1]:\n                buckets[i1].remove(f)\n                res.append(True)\n            else:\n                res.append(False)\n    return [res, buckets]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 4053727168],\n            ['ins', 2090112333],\n            ['ins', 4166861756],\n            ['ins', 2773431433],\n            ['ins', 936790768],\n            ['ins', 4092435925],\n            ['ins', 1926221132],\n            ['ins', 2840737955],\n            ['ins', 2820504097],\n            ['has', 4053727168],\n            ['has', 2090112333],\n            ['has', 4166861756],\n            ['has', 2773431433],\n            ['has', 936790768],\n            ['has', 4092435925],\n            ['del', 2090112333],\n            ['has', 2090112333],\n            ['has', 1631804978]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[241, 248], [165], [243, 114], [55, 169]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 4049152218],\n            ['ins', 4119180372],\n            ['ins', 4174459859],\n            ['ins', 3472142201],\n            ['ins', 2787193319],\n            ['ins', 2868232378],\n            ['ins', 1273646965],\n            ['ins', 169222886],\n            ['ins', 2977310459],\n            ['ins', 1284001336],\n            ['ins', 493096980],\n            ['ins', 2962394317],\n            ['ins', 3792145538],\n            ['ins', 817217868],\n            ['ins', 1471274732],\n            ['ins', 3039844410],\n            ['has', 4049152218],\n            ['has', 4119180372],\n            ['has', 4174459859],\n            ['has', 3472142201],\n            ['has', 2787193319],\n            ['has', 2868232378],\n            ['del', 4119180372],\n            ['has', 4119180372],\n            ['has', 2619116454]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1057150321],\n            ['ins', 249819674],\n            ['ins', 2073545798],\n            ['ins', 263027109],\n            ['ins', 2756491437],\n            ['ins', 3951341878],\n            ['ins', 1961187033],\n            ['ins', 1539010652],\n            ['ins', 3788730431],\n            ['ins', 581588937],\n            ['has', 1057150321],\n            ['has', 249819674],\n            ['has', 2073545798],\n            ['has', 263027109],\n            ['has', 2756491437],\n            ['has', 3951341878],\n            ['del', 249819674],\n            ['has', 249819674],\n            ['has', 2428817573]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     False,\n     True,\n     True,\n     False,\n     False],\n    [[91], [63, 15], [235, 123], [225, 34]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 3789782486],\n            ['ins', 313437937],\n            ['ins', 1269036109],\n            ['ins', 3831223018],\n            ['ins', 3169414613],\n            ['ins', 352655826],\n            ['ins', 1455663028],\n            ['ins', 3861257430],\n            ['ins', 2012308387],\n            ['ins', 3682187405],\n            ['ins', 4144766613],\n            ['ins', 1226905701],\n            ['ins', 1648098192],\n            ['ins', 2311553967],\n            ['ins', 1205192322],\n            ['ins', 1075026296],\n            ['ins', 3523968378],\n            ['ins', 620420201],\n            ['has', 3789782486],\n            ['has', 313437937],\n            ['has', 1269036109],\n            ['has', 3831223018],\n            ['has', 3169414613],\n            ['has', 352655826],\n            ['del', 313437937],\n            ['has', 313437937],\n            ['has', 1988851048]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 6], ['has', 6], ['ins', 16777222], ['has', 16777222]]},\n   [['ok', True, 'ok', True], [[], [], [1, 1], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 620756995], ['has', 620756995]]},\n   [['ok', 'ok', 'ok', True], [[], [], [37], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 4,\n    'ops': [['ins', 2427847248],\n            ['ins', 1880610265],\n            ['ins', 1587388028],\n            ['ins', 1622648335],\n            ['ins', 836275908],\n            ['ins', 2015902217],\n            ['ins', 2680590424],\n            ['has', 2680590424]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', True], [[49, 144], [120, 112], [94], [96, 159]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 2378664753],\n            ['ins', 333538489],\n            ['ins', 1381905127],\n            ['ins', 3798994753],\n            ['ins', 3675580320],\n            ['ins', 383347823],\n            ['ins', 4040964303],\n            ['ins', 499293357],\n            ['ins', 545063865],\n            ['has', 545063865]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'full', 'full', 'ok', 'full', False],\n    [[219, 29], [141, 19], [], [82, 226]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 2,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 732265847],\n            ['ins', 1810542448],\n            ['ins', 1958173573],\n            ['ins', 1539460854],\n            ['ins', 2114796178],\n            ['ins', 3545636457],\n            ['ins', 4135382597],\n            ['ins', 3892817675],\n            ['ins', 438016941],\n            ['has', 732265847],\n            ['has', 1810542448],\n            ['has', 1958173573],\n            ['has', 1539460854],\n            ['has', 2114796178],\n            ['has', 3545636457],\n            ['del', 1810542448],\n            ['has', 1810542448],\n            ['has', 2049146592]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[43], [116, 211], [91, 126], [232, 246]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 344496995],\n            ['ins', 1850418827],\n            ['ins', 3897751000],\n            ['ins', 3463570078],\n            ['ins', 1162402666],\n            ['ins', 1898656778],\n            ['ins', 383968521],\n            ['ins', 2007988446],\n            ['ins', 281781798],\n            ['ins', 871214629],\n            ['ins', 806266810],\n            ['ins', 3429544281],\n            ['ins', 2010328261],\n            ['ins', 455238739],\n            ['ins', 1620563447],\n            ['ins', 719915703],\n            ['has', 344496995],\n            ['has', 1850418827],\n            ['has', 3897751000],\n            ['has', 3463570078],\n            ['has', 1162402666],\n            ['has', 1898656778],\n            ['del', 1850418827],\n            ['has', 1850418827],\n            ['has', 3035418391]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[232, 206], [22, 204], [48, 51], [20, 69], [27], [119], [16, 119], [113, 96]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 766617118],\n            ['ins', 877620278],\n            ['ins', 4275105416],\n            ['ins', 1303245290],\n            ['ins', 3451862689],\n            ['ins', 2637149561],\n            ['ins', 3479941498],\n            ['ins', 2044492405],\n            ['ins', 2944051255],\n            ['ins', 2216655256],\n            ['has', 766617118],\n            ['has', 877620278],\n            ['has', 4275105416],\n            ['has', 1303245290],\n            ['has', 3451862689],\n            ['has', 2637149561],\n            ['del', 877620278],\n            ['has', 877620278],\n            ['has', 2759628967]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[254, 121], [205, 157], [207], [77, 45]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 639277804],\n            ['ins', 2134252242],\n            ['ins', 564247903],\n            ['ins', 3252176342],\n            ['ins', 2887268535],\n            ['ins', 3809114112],\n            ['ins', 843347271],\n            ['ins', 3790659506],\n            ['ins', 3547675276],\n            ['ins', 738614994],\n            ['ins', 861586606],\n            ['ins', 3332826411],\n            ['ins', 1292373985],\n            ['ins', 2781861741],\n            ['ins', 3516548937],\n            ['ins', 51826789],\n            ['ins', 2496943570],\n            ['ins', 1160646918],\n            ['has', 639277804],\n            ['has', 2134252242],\n            ['has', 564247903],\n            ['has', 3252176342],\n            ['has', 2887268535],\n            ['has', 3809114112],\n            ['del', 2134252242],\n            ['has', 2134252242],\n            ['has', 935263858]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[227, 77], [209], [44, 225], [198, 172], [38, 211], [3, 165], [193, 51], [33, 50]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 7], ['has', 7], ['ins', 16777223], ['has', 16777223]]},\n   [['ok', True, 'ok', True], [[], [], [], [1, 1]]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410178],\n            ['ins', 1023410178],\n            ['ins', 1023410178],\n            ['del', 1023410178],\n            ['has', 1023410178]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 654311427], ['has', 654311427]]},\n   [['ok', 'ok', 'ok', True], [[39], [], [], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1091792544],\n            ['ins', 3159258982],\n            ['ins', 6655988],\n            ['ins', 3780476686],\n            ['ins', 3221151820],\n            ['ins', 1354260753],\n            ['ins', 3503243708],\n            ['ins', 2855214902],\n            ['has', 2855214902]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', True],\n    [[208, 1], [80, 65], [170, 188], [191, 225]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 2820483633],\n            ['ins', 2026478793],\n            ['ins', 3254196126],\n            ['ins', 1946366892],\n            ['ins', 1094111634],\n            ['ins', 2388744848],\n            ['ins', 2389839112],\n            ['ins', 515044471],\n            ['ins', 53530770],\n            ['has', 53530770]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True],\n    [[116, 142], [168, 120], [3, 65], [30, 193]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 3,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1777236018],\n            ['ins', 1670145830],\n            ['ins', 1941989665],\n            ['ins', 815435462],\n            ['ins', 223861203],\n            ['ins', 2013373959],\n            ['ins', 2361849580],\n            ['ins', 590950523],\n            ['ins', 4250565577],\n            ['has', 1777236018],\n            ['has', 1670145830],\n            ['has', 1941989665],\n            ['has', 815435462],\n            ['has', 223861203],\n            ['has', 2013373959],\n            ['del', 1670145830],\n            ['has', 1670145830],\n            ['has', 3153783919]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[140, 35], [115], [48, 105], [120, 13]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 3783348771],\n            ['ins', 778649113],\n            ['ins', 2658092326],\n            ['ins', 3280724357],\n            ['ins', 509673299],\n            ['ins', 4192536040],\n            ['ins', 3556431545],\n            ['ins', 808068520],\n            ['ins', 4124021509],\n            ['ins', 1279264443],\n            ['ins', 319971617],\n            ['ins', 3929937397],\n            ['ins', 3553621260],\n            ['ins', 3193883894],\n            ['ins', 1614892168],\n            ['ins', 2819704474],\n            ['has', 3783348771],\n            ['has', 778649113],\n            ['has', 2658092326],\n            ['has', 3280724357],\n            ['has', 509673299],\n            ['has', 4192536040],\n            ['del', 778649113],\n            ['has', 778649113],\n            ['has', 20192387]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[48, 158], [211], [168], [225, 30], [211, 245], [195, 249], [190, 19], [76, 234]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1242447109],\n            ['ins', 57101625],\n            ['ins', 1717012336],\n            ['ins', 2477213626],\n            ['ins', 81213852],\n            ['ins', 171443414],\n            ['ins', 1652493013],\n            ['ins', 683056220],\n            ['ins', 434760181],\n            ['ins', 4153897861],\n            ['has', 1242447109],\n            ['has', 57101625],\n            ['has', 1717012336],\n            ['has', 2477213626],\n            ['has', 81213852],\n            ['has', 171443414],\n            ['del', 57101625],\n            ['has', 57101625],\n            ['has', 3654960159]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[102, 4], [25], [147, 10], [98, 74]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 2236733609],\n            ['ins', 3939410963],\n            ['ins', 2724510957],\n            ['ins', 1062065107],\n            ['ins', 2304609820],\n            ['ins', 616512379],\n            ['ins', 3185211465],\n            ['ins', 2149931096],\n            ['ins', 1360730688],\n            ['ins', 1166229974],\n            ['ins', 563851633],\n            ['ins', 1282711990],\n            ['ins', 3774149403],\n            ['ins', 1784829478],\n            ['ins', 517992672],\n            ['ins', 2318531676],\n            ['ins', 723049147],\n            ['ins', 1310520849],\n            ['has', 2236733609],\n            ['has', 3939410963],\n            ['has', 2724510957],\n            ['has', 1062065107],\n            ['has', 2304609820],\n            ['has', 616512379],\n            ['del', 3939410963],\n            ['has', 3939410963],\n            ['has', 487237028]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[63, 128], [133, 189], [76], [224], [137, 33], [162, 81], [106, 30], [36, 69]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 8], ['has', 8], ['ins', 16777224], ['has', 16777224]]},\n   [['ok', True, 'ok', True], [[1, 1], [], [], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 687865859], ['has', 687865859]]},\n   [['ok', 'ok', 'ok', True], [[], [], [], [33, 37], [], [], [41], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 4,\n    'ops': [['ins', 1386070799],\n            ['ins', 3104973709],\n            ['ins', 2606612743],\n            ['ins', 2328394719],\n            ['ins', 4161737019],\n            ['ins', 11222],\n            ['ins', 283246673],\n            ['ins', 3932342861],\n            ['ins', 1826216374],\n            ['has', 1826216374]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', True],\n    [[155, 185], [16, 82], [1, 108], [138, 248]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 1688258414],\n            ['ins', 1587554040],\n            ['ins', 452842125],\n            ['ins', 2408027354],\n            ['ins', 4039342963],\n            ['ins', 3256509956],\n            ['ins', 2220059300],\n            ['has', 2220059300]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', False], [[94, 194], [26], [100, 143], [240]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 1,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 2508887774],\n            ['ins', 3876506741],\n            ['ins', 2397794896],\n            ['ins', 521281616],\n            ['ins', 1454258696],\n            ['ins', 2418086625],\n            ['ins', 1770269695],\n            ['ins', 3954805098],\n            ['ins', 334587253],\n            ['has', 2508887774],\n            ['has', 3876506741],\n            ['has', 2397794896],\n            ['has', 521281616],\n            ['has', 1454258696],\n            ['has', 2418086625],\n            ['del', 3876506741],\n            ['has', 3876506741],\n            ['has', 1410375853]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[142, 31], [144], [235, 86], [105, 149]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 3626487179],\n            ['ins', 1981200738],\n            ['ins', 3299150810],\n            ['ins', 879079952],\n            ['ins', 569019066],\n            ['ins', 1345246527],\n            ['ins', 1279738884],\n            ['ins', 329365259],\n            ['ins', 3365708295],\n            ['ins', 796732648],\n            ['ins', 4104718778],\n            ['ins', 2034888840],\n            ['ins', 2274417079],\n            ['ins', 3665801012],\n            ['ins', 3713680567],\n            ['ins', 3857873293],\n            ['has', 3626487179],\n            ['has', 1981200738],\n            ['has', 3299150810],\n            ['has', 879079952],\n            ['has', 569019066],\n            ['has', 1345246527],\n            ['del', 1981200738],\n            ['has', 1981200738],\n            ['has', 3276243551]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[52, 47], [], [33], [216, 19], [76, 135], [121, 229], [196, 244], [200, 80]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3383446702],\n            ['ins', 3102517778],\n            ['ins', 551288533],\n            ['ins', 427253337],\n            ['ins', 630972810],\n            ['ins', 261755786],\n            ['ins', 2659101998],\n            ['ins', 4089137114],\n            ['ins', 619206018],\n            ['ins', 827057174],\n            ['has', 3383446702],\n            ['has', 3102517778],\n            ['has', 551288533],\n            ['has', 427253337],\n            ['has', 630972810],\n            ['has', 261755786],\n            ['del', 3102517778],\n            ['has', 3102517778],\n            ['has', 3884327477]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[158, 25], [32, 15], [243], [37, 201]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 576117675],\n            ['ins', 3591995004],\n            ['ins', 857862156],\n            ['ins', 1433687209],\n            ['ins', 301617113],\n            ['ins', 3539330867],\n            ['ins', 4152333277],\n            ['ins', 1466665443],\n            ['ins', 1161213858],\n            ['ins', 2858962672],\n            ['ins', 541647563],\n            ['ins', 3757975831],\n            ['ins', 3381058760],\n            ['ins', 2650519778],\n            ['ins', 1327108968],\n            ['ins', 718689777],\n            ['ins', 2171645977],\n            ['ins', 1707898975],\n            ['has', 576117675],\n            ['has', 3591995004],\n            ['has', 857862156],\n            ['has', 1433687209],\n            ['has', 301617113],\n            ['has', 3539330867],\n            ['del', 3591995004],\n            ['has', 3591995004],\n            ['has', 1355596815]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[87, 170], [85, 34], [69], [32, 210], [17, 51], [247, 201], [], [223, 101]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 9], ['has', 9], ['ins', 16777225], ['has', 16777225]]},\n   [['ok', True, 'ok', True], [[], [1, 1], [], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410178],\n            ['ins', 1023410178],\n            ['ins', 1023410178],\n            ['del', 1023410178],\n            ['has', 1023410178]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 721420291], ['has', 721420291]]},\n   [['ok', 'ok', 'ok', True], [[], [], [], [33, 37], [43], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3532591849],\n            ['ins', 3312616903],\n            ['ins', 927288817],\n            ['ins', 436703699],\n            ['ins', 3535596479],\n            ['ins', 271263656],\n            ['ins', 1018485099],\n            ['ins', 1318602685],\n            ['ins', 3734357799],\n            ['has', 3734357799]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'full', False],\n    [[16], [210, 210], [197, 55], [60, 26]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 3928427799],\n            ['ins', 841794179],\n            ['ins', 4137117381],\n            ['ins', 2214111069],\n            ['ins', 74342131],\n            ['ins', 2542867317],\n            ['ins', 3143370314],\n            ['has', 3143370314]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True], [[], [246, 131], [151, 187], [234, 50]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 2,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 754608121],\n            ['ins', 1960208437],\n            ['ins', 3951175178],\n            ['ins', 1064988886],\n            ['ins', 3939298075],\n            ['ins', 1095070989],\n            ['ins', 1643589898],\n            ['ins', 3693486421],\n            ['ins', 2812500932],\n            ['has', 754608121],\n            ['has', 1960208437],\n            ['has', 3951175178],\n            ['has', 1064988886],\n            ['has', 3939298075],\n            ['has', 1095070989],\n            ['del', 1960208437],\n            ['has', 1960208437],\n            ['has', 584649671]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[65, 167], [44], [235, 63], [234, 97]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 224567547],\n            ['ins', 2432915099],\n            ['ins', 2215905994],\n            ['ins', 671185022],\n            ['ins', 3716804100],\n            ['ins', 601285828],\n            ['ins', 12858679],\n            ['ins', 3759422002],\n            ['ins', 3853628108],\n            ['ins', 2271239656],\n            ['ins', 3456356083],\n            ['ins', 2687261260],\n            ['ins', 3878729198],\n            ['ins', 3979473486],\n            ['ins', 4034375652],\n            ['ins', 1046284924],\n            ['has', 224567547],\n            ['has', 2432915099],\n            ['has', 2215905994],\n            ['has', 671185022],\n            ['has', 3716804100],\n            ['has', 601285828],\n            ['del', 2432915099],\n            ['has', 2432915099],\n            ['has', 1720764829]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[135], [], [132, 224], [13], [221, 35], [229, 206], [40, 231], [1, 237]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1632830720],\n            ['ins', 1469336575],\n            ['ins', 352685739],\n            ['ins', 384400481],\n            ['ins', 208997603],\n            ['ins', 2690591441],\n            ['ins', 2236537193],\n            ['ins', 3295284666],\n            ['ins', 284313747],\n            ['ins', 324373489],\n            ['has', 1632830720],\n            ['has', 1469336575],\n            ['has', 352685739],\n            ['has', 384400481],\n            ['has', 208997603],\n            ['has', 2690591441],\n            ['del', 1469336575],\n            ['has', 1469336575],\n            ['has', 528732436]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[97], [133, 160], [21, 196], [12, 22]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 1644275844],\n            ['ins', 2900757313],\n            ['ins', 2988486797],\n            ['ins', 179906599],\n            ['ins', 287880722],\n            ['ins', 171405751],\n            ['ins', 3525701444],\n            ['ins', 4108271424],\n            ['ins', 137937707],\n            ['ins', 292658010],\n            ['ins', 248385554],\n            ['ins', 4191124304],\n            ['ins', 2126259745],\n            ['ins', 1346195861],\n            ['ins', 3499831342],\n            ['ins', 3344096474],\n            ['ins', 3832504526],\n            ['ins', 1756343263],\n            ['has', 1644275844],\n            ['has', 2900757313],\n            ['has', 2988486797],\n            ['has', 179906599],\n            ['has', 287880722],\n            ['has', 171405751],\n            ['del', 2900757313],\n            ['has', 2900757313],\n            ['has', 1733874548]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[244, 249], [126], [17, 17], [8], [98, 14], [80, 10], [210, 208], [10, 178]]]],\n  ['zero fingerprint byte',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 10], ['has', 10], ['ins', 16777226], ['has', 16777226]]},\n   [['ok', True, 'ok', True], [[], [], [1, 1], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 754974723], ['has', 754974723]]},\n   [['ok', 'ok', 'ok', True], [[], [], [45], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 348667353],\n            ['ins', 1470437433],\n            ['ins', 2596314351],\n            ['ins', 3605354277],\n            ['ins', 2183123397],\n            ['ins', 2831721252],\n            ['ins', 3982916143],\n            ['ins', 1159395843],\n            ['has', 1159395843]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', False],\n    [[168], [130, 20], [87, 237], [154, 214]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3777452496],\n            ['ins', 4168010152],\n            ['ins', 1415993158],\n            ['ins', 2835527604],\n            ['ins', 2455083042],\n            ['ins', 1654735134],\n            ['ins', 2169901690],\n            ['ins', 1437706628],\n            ['has', 1437706628]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True],\n    [[225, 248], [169, 85], [84, 146], [129]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 3,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]]]\nfor label, args, expected in cases[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"43c1e676fbc84fdd39e0d4424ebe2becf8aa3e7708becdd54534d7c5f098a41b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['m']\n    maxk = x['max_kicks']\n    buckets = [[] for _ in range(m)]\n    def fp(h):\n        f = (h >> 24) & 0xFF\n        return f if f else 1\n    def alt(i, f):\n        return (i ^ ((f * 0x5bd1e995) & 0xFFFFFFFF)) & (m - 1)\n    res = []\n    for op, h in x['ops']:\n        f = fp(h)\n        i1 = h & (m - 1)\n        i2 = alt(i1, f)\n        if op == 'ins':\n            if len(buckets[i1]) < 2:\n                buckets[i1].append(f)\n                res.append('ok')\n                continue\n            if len(buckets[i2]) < 2:\n                buckets[i2].append(f)\n                res.append('ok')\n                continue\n            saved = [list(bk) for bk in buckets]\n            i = i1\n            placed = False\n            for n in range(maxk):\n                slot = n % 2\n                f, buckets[i][slot] = buckets[i][slot], f\n                i = alt(i, f)\n                if len(buckets[i]) < 2:\n                    buckets[i].append(f)\n                    placed = True\n                    break\n            if placed:\n                res.append('ok')\n            else:\n                buckets = saved\n                res.append('full')\n        elif op == 'has':\n            res.append(f in buckets[i1] or f in buckets[i2])\n        else:\n            if f in buckets[i1] or f in buckets[i2]:\n                while f in buckets[i1]:\n                    buckets[i1].remove(f)\n                while f in buckets[i2]:\n                    buckets[i2].remove(f)\n                res.append(True)\n            else:\n                res.append(False)\n    return [res, buckets]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 4053727168],\n            ['ins', 2090112333],\n            ['ins', 4166861756],\n            ['ins', 2773431433],\n            ['ins', 936790768],\n            ['ins', 4092435925],\n            ['ins', 1926221132],\n            ['ins', 2840737955],\n            ['ins', 2820504097],\n            ['has', 4053727168],\n            ['has', 2090112333],\n            ['has', 4166861756],\n            ['has', 2773431433],\n            ['has', 936790768],\n            ['has', 4092435925],\n            ['del', 2090112333],\n            ['has', 2090112333],\n            ['has', 1631804978]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[241, 248], [165], [243, 114], [55, 169]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 4049152218],\n            ['ins', 4119180372],\n            ['ins', 4174459859],\n            ['ins', 3472142201],\n            ['ins', 2787193319],\n            ['ins', 2868232378],\n            ['ins', 1273646965],\n            ['ins', 169222886],\n            ['ins', 2977310459],\n            ['ins', 1284001336],\n            ['ins', 493096980],\n            ['ins', 2962394317],\n            ['ins', 3792145538],\n            ['ins', 817217868],\n            ['ins', 1471274732],\n            ['ins', 3039844410],\n            ['has', 4049152218],\n            ['has', 4119180372],\n            ['has', 4174459859],\n            ['has', 3472142201],\n            ['has', 2787193319],\n            ['has', 2868232378],\n            ['del', 4119180372],\n            ['has', 4119180372],\n            ['has', 2619116454]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1057150321],\n            ['ins', 249819674],\n            ['ins', 2073545798],\n            ['ins', 263027109],\n            ['ins', 2756491437],\n            ['ins', 3951341878],\n            ['ins', 1961187033],\n            ['ins', 1539010652],\n            ['ins', 3788730431],\n            ['ins', 581588937],\n            ['has', 1057150321],\n            ['has', 249819674],\n            ['has', 2073545798],\n            ['has', 263027109],\n            ['has', 2756491437],\n            ['has', 3951341878],\n            ['del', 249819674],\n            ['has', 249819674],\n            ['has', 2428817573]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     False,\n     True,\n     True,\n     False,\n     False],\n    [[91], [63, 15], [235, 123], [225, 34]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 3789782486],\n            ['ins', 313437937],\n            ['ins', 1269036109],\n            ['ins', 3831223018],\n            ['ins', 3169414613],\n            ['ins', 352655826],\n            ['ins', 1455663028],\n            ['ins', 3861257430],\n            ['ins', 2012308387],\n            ['ins', 3682187405],\n            ['ins', 4144766613],\n            ['ins', 1226905701],\n            ['ins', 1648098192],\n            ['ins', 2311553967],\n            ['ins', 1205192322],\n            ['ins', 1075026296],\n            ['ins', 3523968378],\n            ['ins', 620420201],\n            ['has', 3789782486],\n            ['has', 313437937],\n            ['has', 1269036109],\n            ['has', 3831223018],\n            ['has', 3169414613],\n            ['has', 352655826],\n            ['del', 313437937],\n            ['has', 313437937],\n            ['has', 1988851048]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 6], ['has', 6], ['ins', 16777222], ['has', 16777222]]},\n   [['ok', True, 'ok', True], [[], [], [1, 1], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 620756995], ['has', 620756995]]},\n   [['ok', 'ok', 'ok', True], [[], [], [37], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 4,\n    'ops': [['ins', 2427847248],\n            ['ins', 1880610265],\n            ['ins', 1587388028],\n            ['ins', 1622648335],\n            ['ins', 836275908],\n            ['ins', 2015902217],\n            ['ins', 2680590424],\n            ['has', 2680590424]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', True], [[49, 144], [120, 112], [94], [96, 159]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 2378664753],\n            ['ins', 333538489],\n            ['ins', 1381905127],\n            ['ins', 3798994753],\n            ['ins', 3675580320],\n            ['ins', 383347823],\n            ['ins', 4040964303],\n            ['ins', 499293357],\n            ['ins', 545063865],\n            ['has', 545063865]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'full', 'full', 'ok', 'full', False],\n    [[219, 29], [141, 19], [], [82, 226]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 2,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 732265847],\n            ['ins', 1810542448],\n            ['ins', 1958173573],\n            ['ins', 1539460854],\n            ['ins', 2114796178],\n            ['ins', 3545636457],\n            ['ins', 4135382597],\n            ['ins', 3892817675],\n            ['ins', 438016941],\n            ['has', 732265847],\n            ['has', 1810542448],\n            ['has', 1958173573],\n            ['has', 1539460854],\n            ['has', 2114796178],\n            ['has', 3545636457],\n            ['del', 1810542448],\n            ['has', 1810542448],\n            ['has', 2049146592]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[43], [116, 211], [91, 126], [232, 246]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 344496995],\n            ['ins', 1850418827],\n            ['ins', 3897751000],\n            ['ins', 3463570078],\n            ['ins', 1162402666],\n            ['ins', 1898656778],\n            ['ins', 383968521],\n            ['ins', 2007988446],\n            ['ins', 281781798],\n            ['ins', 871214629],\n            ['ins', 806266810],\n            ['ins', 3429544281],\n            ['ins', 2010328261],\n            ['ins', 455238739],\n            ['ins', 1620563447],\n            ['ins', 719915703],\n            ['has', 344496995],\n            ['has', 1850418827],\n            ['has', 3897751000],\n            ['has', 3463570078],\n            ['has', 1162402666],\n            ['has', 1898656778],\n            ['del', 1850418827],\n            ['has', 1850418827],\n            ['has', 3035418391]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[232, 206], [22, 204], [48, 51], [20, 69], [27], [119], [16, 119], [113, 96]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 766617118],\n            ['ins', 877620278],\n            ['ins', 4275105416],\n            ['ins', 1303245290],\n            ['ins', 3451862689],\n            ['ins', 2637149561],\n            ['ins', 3479941498],\n            ['ins', 2044492405],\n            ['ins', 2944051255],\n            ['ins', 2216655256],\n            ['has', 766617118],\n            ['has', 877620278],\n            ['has', 4275105416],\n            ['has', 1303245290],\n            ['has', 3451862689],\n            ['has', 2637149561],\n            ['del', 877620278],\n            ['has', 877620278],\n            ['has', 2759628967]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[254, 121], [205, 157], [207], [77, 45]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 639277804],\n            ['ins', 2134252242],\n            ['ins', 564247903],\n            ['ins', 3252176342],\n            ['ins', 2887268535],\n            ['ins', 3809114112],\n            ['ins', 843347271],\n            ['ins', 3790659506],\n            ['ins', 3547675276],\n            ['ins', 738614994],\n            ['ins', 861586606],\n            ['ins', 3332826411],\n            ['ins', 1292373985],\n            ['ins', 2781861741],\n            ['ins', 3516548937],\n            ['ins', 51826789],\n            ['ins', 2496943570],\n            ['ins', 1160646918],\n            ['has', 639277804],\n            ['has', 2134252242],\n            ['has', 564247903],\n            ['has', 3252176342],\n            ['has', 2887268535],\n            ['has', 3809114112],\n            ['del', 2134252242],\n            ['has', 2134252242],\n            ['has', 935263858]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[227, 77], [209], [44, 225], [198, 172], [38, 211], [3, 165], [193, 51], [33, 50]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 7], ['has', 7], ['ins', 16777223], ['has', 16777223]]},\n   [['ok', True, 'ok', True], [[], [], [], [1, 1]]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410178],\n            ['ins', 1023410178],\n            ['ins', 1023410178],\n            ['del', 1023410178],\n            ['has', 1023410178]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 654311427], ['has', 654311427]]},\n   [['ok', 'ok', 'ok', True], [[39], [], [], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1091792544],\n            ['ins', 3159258982],\n            ['ins', 6655988],\n            ['ins', 3780476686],\n            ['ins', 3221151820],\n            ['ins', 1354260753],\n            ['ins', 3503243708],\n            ['ins', 2855214902],\n            ['has', 2855214902]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', True],\n    [[208, 1], [80, 65], [170, 188], [191, 225]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 2820483633],\n            ['ins', 2026478793],\n            ['ins', 3254196126],\n            ['ins', 1946366892],\n            ['ins', 1094111634],\n            ['ins', 2388744848],\n            ['ins', 2389839112],\n            ['ins', 515044471],\n            ['ins', 53530770],\n            ['has', 53530770]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True],\n    [[116, 142], [168, 120], [3, 65], [30, 193]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 3,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1777236018],\n            ['ins', 1670145830],\n            ['ins', 1941989665],\n            ['ins', 815435462],\n            ['ins', 223861203],\n            ['ins', 2013373959],\n            ['ins', 2361849580],\n            ['ins', 590950523],\n            ['ins', 4250565577],\n            ['has', 1777236018],\n            ['has', 1670145830],\n            ['has', 1941989665],\n            ['has', 815435462],\n            ['has', 223861203],\n            ['has', 2013373959],\n            ['del', 1670145830],\n            ['has', 1670145830],\n            ['has', 3153783919]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[140, 35], [115], [48, 105], [120, 13]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 3783348771],\n            ['ins', 778649113],\n            ['ins', 2658092326],\n            ['ins', 3280724357],\n            ['ins', 509673299],\n            ['ins', 4192536040],\n            ['ins', 3556431545],\n            ['ins', 808068520],\n            ['ins', 4124021509],\n            ['ins', 1279264443],\n            ['ins', 319971617],\n            ['ins', 3929937397],\n            ['ins', 3553621260],\n            ['ins', 3193883894],\n            ['ins', 1614892168],\n            ['ins', 2819704474],\n            ['has', 3783348771],\n            ['has', 778649113],\n            ['has', 2658092326],\n            ['has', 3280724357],\n            ['has', 509673299],\n            ['has', 4192536040],\n            ['del', 778649113],\n            ['has', 778649113],\n            ['has', 20192387]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[48, 158], [211], [168], [225, 30], [211, 245], [195, 249], [190, 19], [76, 234]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1242447109],\n            ['ins', 57101625],\n            ['ins', 1717012336],\n            ['ins', 2477213626],\n            ['ins', 81213852],\n            ['ins', 171443414],\n            ['ins', 1652493013],\n            ['ins', 683056220],\n            ['ins', 434760181],\n            ['ins', 4153897861],\n            ['has', 1242447109],\n            ['has', 57101625],\n            ['has', 1717012336],\n            ['has', 2477213626],\n            ['has', 81213852],\n            ['has', 171443414],\n            ['del', 57101625],\n            ['has', 57101625],\n            ['has', 3654960159]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[102, 4], [25], [147, 10], [98, 74]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 2236733609],\n            ['ins', 3939410963],\n            ['ins', 2724510957],\n            ['ins', 1062065107],\n            ['ins', 2304609820],\n            ['ins', 616512379],\n            ['ins', 3185211465],\n            ['ins', 2149931096],\n            ['ins', 1360730688],\n            ['ins', 1166229974],\n            ['ins', 563851633],\n            ['ins', 1282711990],\n            ['ins', 3774149403],\n            ['ins', 1784829478],\n            ['ins', 517992672],\n            ['ins', 2318531676],\n            ['ins', 723049147],\n            ['ins', 1310520849],\n            ['has', 2236733609],\n            ['has', 3939410963],\n            ['has', 2724510957],\n            ['has', 1062065107],\n            ['has', 2304609820],\n            ['has', 616512379],\n            ['del', 3939410963],\n            ['has', 3939410963],\n            ['has', 487237028]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[63, 128], [133, 189], [76], [224], [137, 33], [162, 81], [106, 30], [36, 69]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 8], ['has', 8], ['ins', 16777224], ['has', 16777224]]},\n   [['ok', True, 'ok', True], [[1, 1], [], [], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 687865859], ['has', 687865859]]},\n   [['ok', 'ok', 'ok', True], [[], [], [], [33, 37], [], [], [41], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 4,\n    'ops': [['ins', 1386070799],\n            ['ins', 3104973709],\n            ['ins', 2606612743],\n            ['ins', 2328394719],\n            ['ins', 4161737019],\n            ['ins', 11222],\n            ['ins', 283246673],\n            ['ins', 3932342861],\n            ['ins', 1826216374],\n            ['has', 1826216374]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', True],\n    [[155, 185], [16, 82], [1, 108], [138, 248]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 1688258414],\n            ['ins', 1587554040],\n            ['ins', 452842125],\n            ['ins', 2408027354],\n            ['ins', 4039342963],\n            ['ins', 3256509956],\n            ['ins', 2220059300],\n            ['has', 2220059300]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', False], [[94, 194], [26], [100, 143], [240]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 1,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 2508887774],\n            ['ins', 3876506741],\n            ['ins', 2397794896],\n            ['ins', 521281616],\n            ['ins', 1454258696],\n            ['ins', 2418086625],\n            ['ins', 1770269695],\n            ['ins', 3954805098],\n            ['ins', 334587253],\n            ['has', 2508887774],\n            ['has', 3876506741],\n            ['has', 2397794896],\n            ['has', 521281616],\n            ['has', 1454258696],\n            ['has', 2418086625],\n            ['del', 3876506741],\n            ['has', 3876506741],\n            ['has', 1410375853]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[142, 31], [144], [235, 86], [105, 149]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 3626487179],\n            ['ins', 1981200738],\n            ['ins', 3299150810],\n            ['ins', 879079952],\n            ['ins', 569019066],\n            ['ins', 1345246527],\n            ['ins', 1279738884],\n            ['ins', 329365259],\n            ['ins', 3365708295],\n            ['ins', 796732648],\n            ['ins', 4104718778],\n            ['ins', 2034888840],\n            ['ins', 2274417079],\n            ['ins', 3665801012],\n            ['ins', 3713680567],\n            ['ins', 3857873293],\n            ['has', 3626487179],\n            ['has', 1981200738],\n            ['has', 3299150810],\n            ['has', 879079952],\n            ['has', 569019066],\n            ['has', 1345246527],\n            ['del', 1981200738],\n            ['has', 1981200738],\n            ['has', 3276243551]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[52, 47], [], [33], [216, 19], [76, 135], [121, 229], [196, 244], [200, 80]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3383446702],\n            ['ins', 3102517778],\n            ['ins', 551288533],\n            ['ins', 427253337],\n            ['ins', 630972810],\n            ['ins', 261755786],\n            ['ins', 2659101998],\n            ['ins', 4089137114],\n            ['ins', 619206018],\n            ['ins', 827057174],\n            ['has', 3383446702],\n            ['has', 3102517778],\n            ['has', 551288533],\n            ['has', 427253337],\n            ['has', 630972810],\n            ['has', 261755786],\n            ['del', 3102517778],\n            ['has', 3102517778],\n            ['has', 3884327477]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[158, 25], [32, 15], [243], [37, 201]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 576117675],\n            ['ins', 3591995004],\n            ['ins', 857862156],\n            ['ins', 1433687209],\n            ['ins', 301617113],\n            ['ins', 3539330867],\n            ['ins', 4152333277],\n            ['ins', 1466665443],\n            ['ins', 1161213858],\n            ['ins', 2858962672],\n            ['ins', 541647563],\n            ['ins', 3757975831],\n            ['ins', 3381058760],\n            ['ins', 2650519778],\n            ['ins', 1327108968],\n            ['ins', 718689777],\n            ['ins', 2171645977],\n            ['ins', 1707898975],\n            ['has', 576117675],\n            ['has', 3591995004],\n            ['has', 857862156],\n            ['has', 1433687209],\n            ['has', 301617113],\n            ['has', 3539330867],\n            ['del', 3591995004],\n            ['has', 3591995004],\n            ['has', 1355596815]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[87, 170], [85, 34], [69], [32, 210], [17, 51], [247, 201], [], [223, 101]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 9], ['has', 9], ['ins', 16777225], ['has', 16777225]]},\n   [['ok', True, 'ok', True], [[], [1, 1], [], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410178],\n            ['ins', 1023410178],\n            ['ins', 1023410178],\n            ['del', 1023410178],\n            ['has', 1023410178]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 721420291], ['has', 721420291]]},\n   [['ok', 'ok', 'ok', True], [[], [], [], [33, 37], [43], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3532591849],\n            ['ins', 3312616903],\n            ['ins', 927288817],\n            ['ins', 436703699],\n            ['ins', 3535596479],\n            ['ins', 271263656],\n            ['ins', 1018485099],\n            ['ins', 1318602685],\n            ['ins', 3734357799],\n            ['has', 3734357799]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'full', False],\n    [[16], [210, 210], [197, 55], [60, 26]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 3928427799],\n            ['ins', 841794179],\n            ['ins', 4137117381],\n            ['ins', 2214111069],\n            ['ins', 74342131],\n            ['ins', 2542867317],\n            ['ins', 3143370314],\n            ['has', 3143370314]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True], [[], [246, 131], [151, 187], [234, 50]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 2,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 754608121],\n            ['ins', 1960208437],\n            ['ins', 3951175178],\n            ['ins', 1064988886],\n            ['ins', 3939298075],\n            ['ins', 1095070989],\n            ['ins', 1643589898],\n            ['ins', 3693486421],\n            ['ins', 2812500932],\n            ['has', 754608121],\n            ['has', 1960208437],\n            ['has', 3951175178],\n            ['has', 1064988886],\n            ['has', 3939298075],\n            ['has', 1095070989],\n            ['del', 1960208437],\n            ['has', 1960208437],\n            ['has', 584649671]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[65, 167], [44], [235, 63], [234, 97]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 224567547],\n            ['ins', 2432915099],\n            ['ins', 2215905994],\n            ['ins', 671185022],\n            ['ins', 3716804100],\n            ['ins', 601285828],\n            ['ins', 12858679],\n            ['ins', 3759422002],\n            ['ins', 3853628108],\n            ['ins', 2271239656],\n            ['ins', 3456356083],\n            ['ins', 2687261260],\n            ['ins', 3878729198],\n            ['ins', 3979473486],\n            ['ins', 4034375652],\n            ['ins', 1046284924],\n            ['has', 224567547],\n            ['has', 2432915099],\n            ['has', 2215905994],\n            ['has', 671185022],\n            ['has', 3716804100],\n            ['has', 601285828],\n            ['del', 2432915099],\n            ['has', 2432915099],\n            ['has', 1720764829]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[135], [], [132, 224], [13], [221, 35], [229, 206], [40, 231], [1, 237]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1632830720],\n            ['ins', 1469336575],\n            ['ins', 352685739],\n            ['ins', 384400481],\n            ['ins', 208997603],\n            ['ins', 2690591441],\n            ['ins', 2236537193],\n            ['ins', 3295284666],\n            ['ins', 284313747],\n            ['ins', 324373489],\n            ['has', 1632830720],\n            ['has', 1469336575],\n            ['has', 352685739],\n            ['has', 384400481],\n            ['has', 208997603],\n            ['has', 2690591441],\n            ['del', 1469336575],\n            ['has', 1469336575],\n            ['has', 528732436]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[97], [133, 160], [21, 196], [12, 22]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 1644275844],\n            ['ins', 2900757313],\n            ['ins', 2988486797],\n            ['ins', 179906599],\n            ['ins', 287880722],\n            ['ins', 171405751],\n            ['ins', 3525701444],\n            ['ins', 4108271424],\n            ['ins', 137937707],\n            ['ins', 292658010],\n            ['ins', 248385554],\n            ['ins', 4191124304],\n            ['ins', 2126259745],\n            ['ins', 1346195861],\n            ['ins', 3499831342],\n            ['ins', 3344096474],\n            ['ins', 3832504526],\n            ['ins', 1756343263],\n            ['has', 1644275844],\n            ['has', 2900757313],\n            ['has', 2988486797],\n            ['has', 179906599],\n            ['has', 287880722],\n            ['has', 171405751],\n            ['del', 2900757313],\n            ['has', 2900757313],\n            ['has', 1733874548]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[244, 249], [126], [17, 17], [8], [98, 14], [80, 10], [210, 208], [10, 178]]]],\n  ['zero fingerprint byte',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 10], ['has', 10], ['ins', 16777226], ['has', 16777226]]},\n   [['ok', True, 'ok', True], [[], [], [1, 1], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 754974723], ['has', 754974723]]},\n   [['ok', 'ok', 'ok', True], [[], [], [45], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 348667353],\n            ['ins', 1470437433],\n            ['ins', 2596314351],\n            ['ins', 3605354277],\n            ['ins', 2183123397],\n            ['ins', 2831721252],\n            ['ins', 3982916143],\n            ['ins', 1159395843],\n            ['has', 1159395843]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', False],\n    [[168], [130, 20], [87, 237], [154, 214]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3777452496],\n            ['ins', 4168010152],\n            ['ins', 1415993158],\n            ['ins', 2835527604],\n            ['ins', 2455083042],\n            ['ins', 1654735134],\n            ['ins', 2169901690],\n            ['ins', 1437706628],\n            ['has', 1437706628]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True],\n    [[225, 248], [169, 85], [84, 146], [129]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 3,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]]]\nfor label, args, expected in cases[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"c73990fc1d9b9e34d7e3f942a52433612304b6c19cf3d505335ffd505fcb64f9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['m']\n    maxk = x['max_kicks']\n    buckets = [[] for _ in range(m)]\n    def fp(h):\n        f = (h >> 24) & 0xFF\n        return f if f else 1\n    def alt(i, f):\n        return (i ^ ((f * 0x5bd1e995) & 0xFFFFFFFF)) & (m - 1)\n    res = []\n    for op, h in x['ops']:\n        f = fp(h)\n        i1 = h & (m - 1)\n        i2 = alt(i1, f)\n        if op == 'ins':\n            if len(buckets[i1]) < 2:\n                buckets[i1].append(f)\n                res.append('ok')\n                continue\n            if len(buckets[i2]) < 2:\n                buckets[i2].append(f)\n                res.append('ok')\n                continue\n            saved = [list(bk) for bk in buckets]\n            i = i1\n            placed = False\n            for n in range(maxk):\n                slot = n % 2\n                f, buckets[i][slot] = buckets[i][slot], f\n                i = alt(i, f)\n                if len(buckets[i]) < 2:\n                    buckets[i].append(f)\n                    placed = True\n                    break\n            if placed:\n                res.append('ok')\n            else:\n                buckets = saved\n                res.append('full')\n        elif op == 'has':\n            res.append(f in buckets[i1] or f in buckets[i2])\n        else:\n            if f in buckets[i1]:\n                buckets[i1].remove(f)\n                res.append(True)\n            elif f in buckets[i2]:\n                buckets[i2].remove(f)\n                res.append(True)\n            else:\n                res.append(False)\n    return [res, buckets]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 4053727168],\n            ['ins', 2090112333],\n            ['ins', 4166861756],\n            ['ins', 2773431433],\n            ['ins', 936790768],\n            ['ins', 4092435925],\n            ['ins', 1926221132],\n            ['ins', 2840737955],\n            ['ins', 2820504097],\n            ['has', 4053727168],\n            ['has', 2090112333],\n            ['has', 4166861756],\n            ['has', 2773431433],\n            ['has', 936790768],\n            ['has', 4092435925],\n            ['del', 2090112333],\n            ['has', 2090112333],\n            ['has', 1631804978]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[241, 248], [165], [243, 114], [55, 169]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 4049152218],\n            ['ins', 4119180372],\n            ['ins', 4174459859],\n            ['ins', 3472142201],\n            ['ins', 2787193319],\n            ['ins', 2868232378],\n            ['ins', 1273646965],\n            ['ins', 169222886],\n            ['ins', 2977310459],\n            ['ins', 1284001336],\n            ['ins', 493096980],\n            ['ins', 2962394317],\n            ['ins', 3792145538],\n            ['ins', 817217868],\n            ['ins', 1471274732],\n            ['ins', 3039844410],\n            ['has', 4049152218],\n            ['has', 4119180372],\n            ['has', 4174459859],\n            ['has', 3472142201],\n            ['has', 2787193319],\n            ['has', 2868232378],\n            ['del', 4119180372],\n            ['has', 4119180372],\n            ['has', 2619116454]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1057150321],\n            ['ins', 249819674],\n            ['ins', 2073545798],\n            ['ins', 263027109],\n            ['ins', 2756491437],\n            ['ins', 3951341878],\n            ['ins', 1961187033],\n            ['ins', 1539010652],\n            ['ins', 3788730431],\n            ['ins', 581588937],\n            ['has', 1057150321],\n            ['has', 249819674],\n            ['has', 2073545798],\n            ['has', 263027109],\n            ['has', 2756491437],\n            ['has', 3951341878],\n            ['del', 249819674],\n            ['has', 249819674],\n            ['has', 2428817573]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     False,\n     True,\n     True,\n     False,\n     False],\n    [[91], [63, 15], [235, 123], [225, 34]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 3789782486],\n            ['ins', 313437937],\n            ['ins', 1269036109],\n            ['ins', 3831223018],\n            ['ins', 3169414613],\n            ['ins', 352655826],\n            ['ins', 1455663028],\n            ['ins', 3861257430],\n            ['ins', 2012308387],\n            ['ins', 3682187405],\n            ['ins', 4144766613],\n            ['ins', 1226905701],\n            ['ins', 1648098192],\n            ['ins', 2311553967],\n            ['ins', 1205192322],\n            ['ins', 1075026296],\n            ['ins', 3523968378],\n            ['ins', 620420201],\n            ['has', 3789782486],\n            ['has', 313437937],\n            ['has', 1269036109],\n            ['has', 3831223018],\n            ['has', 3169414613],\n            ['has', 352655826],\n            ['del', 313437937],\n            ['has', 313437937],\n            ['has', 1988851048]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 6], ['has', 6], ['ins', 16777222], ['has', 16777222]]},\n   [['ok', True, 'ok', True], [[], [], [1, 1], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 620756995], ['has', 620756995]]},\n   [['ok', 'ok', 'ok', True], [[], [], [37], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 4,\n    'ops': [['ins', 2427847248],\n            ['ins', 1880610265],\n            ['ins', 1587388028],\n            ['ins', 1622648335],\n            ['ins', 836275908],\n            ['ins', 2015902217],\n            ['ins', 2680590424],\n            ['has', 2680590424]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', True], [[49, 144], [120, 112], [94], [96, 159]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 2378664753],\n            ['ins', 333538489],\n            ['ins', 1381905127],\n            ['ins', 3798994753],\n            ['ins', 3675580320],\n            ['ins', 383347823],\n            ['ins', 4040964303],\n            ['ins', 499293357],\n            ['ins', 545063865],\n            ['has', 545063865]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'full', 'full', 'ok', 'full', False],\n    [[219, 29], [141, 19], [], [82, 226]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 2,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 732265847],\n            ['ins', 1810542448],\n            ['ins', 1958173573],\n            ['ins', 1539460854],\n            ['ins', 2114796178],\n            ['ins', 3545636457],\n            ['ins', 4135382597],\n            ['ins', 3892817675],\n            ['ins', 438016941],\n            ['has', 732265847],\n            ['has', 1810542448],\n            ['has', 1958173573],\n            ['has', 1539460854],\n            ['has', 2114796178],\n            ['has', 3545636457],\n            ['del', 1810542448],\n            ['has', 1810542448],\n            ['has', 2049146592]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[43], [116, 211], [91, 126], [232, 246]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 344496995],\n            ['ins', 1850418827],\n            ['ins', 3897751000],\n            ['ins', 3463570078],\n            ['ins', 1162402666],\n            ['ins', 1898656778],\n            ['ins', 383968521],\n            ['ins', 2007988446],\n            ['ins', 281781798],\n            ['ins', 871214629],\n            ['ins', 806266810],\n            ['ins', 3429544281],\n            ['ins', 2010328261],\n            ['ins', 455238739],\n            ['ins', 1620563447],\n            ['ins', 719915703],\n            ['has', 344496995],\n            ['has', 1850418827],\n            ['has', 3897751000],\n            ['has', 3463570078],\n            ['has', 1162402666],\n            ['has', 1898656778],\n            ['del', 1850418827],\n            ['has', 1850418827],\n            ['has', 3035418391]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[232, 206], [22, 204], [48, 51], [20, 69], [27], [119], [16, 119], [113, 96]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 766617118],\n            ['ins', 877620278],\n            ['ins', 4275105416],\n            ['ins', 1303245290],\n            ['ins', 3451862689],\n            ['ins', 2637149561],\n            ['ins', 3479941498],\n            ['ins', 2044492405],\n            ['ins', 2944051255],\n            ['ins', 2216655256],\n            ['has', 766617118],\n            ['has', 877620278],\n            ['has', 4275105416],\n            ['has', 1303245290],\n            ['has', 3451862689],\n            ['has', 2637149561],\n            ['del', 877620278],\n            ['has', 877620278],\n            ['has', 2759628967]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[254, 121], [205, 157], [207], [77, 45]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 639277804],\n            ['ins', 2134252242],\n            ['ins', 564247903],\n            ['ins', 3252176342],\n            ['ins', 2887268535],\n            ['ins', 3809114112],\n            ['ins', 843347271],\n            ['ins', 3790659506],\n            ['ins', 3547675276],\n            ['ins', 738614994],\n            ['ins', 861586606],\n            ['ins', 3332826411],\n            ['ins', 1292373985],\n            ['ins', 2781861741],\n            ['ins', 3516548937],\n            ['ins', 51826789],\n            ['ins', 2496943570],\n            ['ins', 1160646918],\n            ['has', 639277804],\n            ['has', 2134252242],\n            ['has', 564247903],\n            ['has', 3252176342],\n            ['has', 2887268535],\n            ['has', 3809114112],\n            ['del', 2134252242],\n            ['has', 2134252242],\n            ['has', 935263858]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[227, 77], [209], [44, 225], [198, 172], [38, 211], [3, 165], [193, 51], [33, 50]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 7], ['has', 7], ['ins', 16777223], ['has', 16777223]]},\n   [['ok', True, 'ok', True], [[], [], [], [1, 1]]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410178],\n            ['ins', 1023410178],\n            ['ins', 1023410178],\n            ['del', 1023410178],\n            ['has', 1023410178]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 654311427], ['has', 654311427]]},\n   [['ok', 'ok', 'ok', True], [[39], [], [], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1091792544],\n            ['ins', 3159258982],\n            ['ins', 6655988],\n            ['ins', 3780476686],\n            ['ins', 3221151820],\n            ['ins', 1354260753],\n            ['ins', 3503243708],\n            ['ins', 2855214902],\n            ['has', 2855214902]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', True],\n    [[208, 1], [80, 65], [170, 188], [191, 225]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 2820483633],\n            ['ins', 2026478793],\n            ['ins', 3254196126],\n            ['ins', 1946366892],\n            ['ins', 1094111634],\n            ['ins', 2388744848],\n            ['ins', 2389839112],\n            ['ins', 515044471],\n            ['ins', 53530770],\n            ['has', 53530770]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True],\n    [[116, 142], [168, 120], [3, 65], [30, 193]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 3,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1777236018],\n            ['ins', 1670145830],\n            ['ins', 1941989665],\n            ['ins', 815435462],\n            ['ins', 223861203],\n            ['ins', 2013373959],\n            ['ins', 2361849580],\n            ['ins', 590950523],\n            ['ins', 4250565577],\n            ['has', 1777236018],\n            ['has', 1670145830],\n            ['has', 1941989665],\n            ['has', 815435462],\n            ['has', 223861203],\n            ['has', 2013373959],\n            ['del', 1670145830],\n            ['has', 1670145830],\n            ['has', 3153783919]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[140, 35], [115], [48, 105], [120, 13]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 3783348771],\n            ['ins', 778649113],\n            ['ins', 2658092326],\n            ['ins', 3280724357],\n            ['ins', 509673299],\n            ['ins', 4192536040],\n            ['ins', 3556431545],\n            ['ins', 808068520],\n            ['ins', 4124021509],\n            ['ins', 1279264443],\n            ['ins', 319971617],\n            ['ins', 3929937397],\n            ['ins', 3553621260],\n            ['ins', 3193883894],\n            ['ins', 1614892168],\n            ['ins', 2819704474],\n            ['has', 3783348771],\n            ['has', 778649113],\n            ['has', 2658092326],\n            ['has', 3280724357],\n            ['has', 509673299],\n            ['has', 4192536040],\n            ['del', 778649113],\n            ['has', 778649113],\n            ['has', 20192387]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[48, 158], [211], [168], [225, 30], [211, 245], [195, 249], [190, 19], [76, 234]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1242447109],\n            ['ins', 57101625],\n            ['ins', 1717012336],\n            ['ins', 2477213626],\n            ['ins', 81213852],\n            ['ins', 171443414],\n            ['ins', 1652493013],\n            ['ins', 683056220],\n            ['ins', 434760181],\n            ['ins', 4153897861],\n            ['has', 1242447109],\n            ['has', 57101625],\n            ['has', 1717012336],\n            ['has', 2477213626],\n            ['has', 81213852],\n            ['has', 171443414],\n            ['del', 57101625],\n            ['has', 57101625],\n            ['has', 3654960159]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[102, 4], [25], [147, 10], [98, 74]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 2236733609],\n            ['ins', 3939410963],\n            ['ins', 2724510957],\n            ['ins', 1062065107],\n            ['ins', 2304609820],\n            ['ins', 616512379],\n            ['ins', 3185211465],\n            ['ins', 2149931096],\n            ['ins', 1360730688],\n            ['ins', 1166229974],\n            ['ins', 563851633],\n            ['ins', 1282711990],\n            ['ins', 3774149403],\n            ['ins', 1784829478],\n            ['ins', 517992672],\n            ['ins', 2318531676],\n            ['ins', 723049147],\n            ['ins', 1310520849],\n            ['has', 2236733609],\n            ['has', 3939410963],\n            ['has', 2724510957],\n            ['has', 1062065107],\n            ['has', 2304609820],\n            ['has', 616512379],\n            ['del', 3939410963],\n            ['has', 3939410963],\n            ['has', 487237028]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[63, 128], [133, 189], [76], [224], [137, 33], [162, 81], [106, 30], [36, 69]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 8], ['has', 8], ['ins', 16777224], ['has', 16777224]]},\n   [['ok', True, 'ok', True], [[1, 1], [], [], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 687865859], ['has', 687865859]]},\n   [['ok', 'ok', 'ok', True], [[], [], [], [33, 37], [], [], [41], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 4,\n    'ops': [['ins', 1386070799],\n            ['ins', 3104973709],\n            ['ins', 2606612743],\n            ['ins', 2328394719],\n            ['ins', 4161737019],\n            ['ins', 11222],\n            ['ins', 283246673],\n            ['ins', 3932342861],\n            ['ins', 1826216374],\n            ['has', 1826216374]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', True],\n    [[155, 185], [16, 82], [1, 108], [138, 248]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 1688258414],\n            ['ins', 1587554040],\n            ['ins', 452842125],\n            ['ins', 2408027354],\n            ['ins', 4039342963],\n            ['ins', 3256509956],\n            ['ins', 2220059300],\n            ['has', 2220059300]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', False], [[94, 194], [26], [100, 143], [240]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 1,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 2508887774],\n            ['ins', 3876506741],\n            ['ins', 2397794896],\n            ['ins', 521281616],\n            ['ins', 1454258696],\n            ['ins', 2418086625],\n            ['ins', 1770269695],\n            ['ins', 3954805098],\n            ['ins', 334587253],\n            ['has', 2508887774],\n            ['has', 3876506741],\n            ['has', 2397794896],\n            ['has', 521281616],\n            ['has', 1454258696],\n            ['has', 2418086625],\n            ['del', 3876506741],\n            ['has', 3876506741],\n            ['has', 1410375853]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[142, 31], [144], [235, 86], [105, 149]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 3626487179],\n            ['ins', 1981200738],\n            ['ins', 3299150810],\n            ['ins', 879079952],\n            ['ins', 569019066],\n            ['ins', 1345246527],\n            ['ins', 1279738884],\n            ['ins', 329365259],\n            ['ins', 3365708295],\n            ['ins', 796732648],\n            ['ins', 4104718778],\n            ['ins', 2034888840],\n            ['ins', 2274417079],\n            ['ins', 3665801012],\n            ['ins', 3713680567],\n            ['ins', 3857873293],\n            ['has', 3626487179],\n            ['has', 1981200738],\n            ['has', 3299150810],\n            ['has', 879079952],\n            ['has', 569019066],\n            ['has', 1345246527],\n            ['del', 1981200738],\n            ['has', 1981200738],\n            ['has', 3276243551]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[52, 47], [], [33], [216, 19], [76, 135], [121, 229], [196, 244], [200, 80]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3383446702],\n            ['ins', 3102517778],\n            ['ins', 551288533],\n            ['ins', 427253337],\n            ['ins', 630972810],\n            ['ins', 261755786],\n            ['ins', 2659101998],\n            ['ins', 4089137114],\n            ['ins', 619206018],\n            ['ins', 827057174],\n            ['has', 3383446702],\n            ['has', 3102517778],\n            ['has', 551288533],\n            ['has', 427253337],\n            ['has', 630972810],\n            ['has', 261755786],\n            ['del', 3102517778],\n            ['has', 3102517778],\n            ['has', 3884327477]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[158, 25], [32, 15], [243], [37, 201]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 576117675],\n            ['ins', 3591995004],\n            ['ins', 857862156],\n            ['ins', 1433687209],\n            ['ins', 301617113],\n            ['ins', 3539330867],\n            ['ins', 4152333277],\n            ['ins', 1466665443],\n            ['ins', 1161213858],\n            ['ins', 2858962672],\n            ['ins', 541647563],\n            ['ins', 3757975831],\n            ['ins', 3381058760],\n            ['ins', 2650519778],\n            ['ins', 1327108968],\n            ['ins', 718689777],\n            ['ins', 2171645977],\n            ['ins', 1707898975],\n            ['has', 576117675],\n            ['has', 3591995004],\n            ['has', 857862156],\n            ['has', 1433687209],\n            ['has', 301617113],\n            ['has', 3539330867],\n            ['del', 3591995004],\n            ['has', 3591995004],\n            ['has', 1355596815]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[87, 170], [85, 34], [69], [32, 210], [17, 51], [247, 201], [], [223, 101]]]],\n  ['zero fingerprint byte',\n   {'m': 4, 'max_kicks': 3, 'ops': [['ins', 9], ['has', 9], ['ins', 16777225], ['has', 16777225]]},\n   [['ok', True, 'ok', True], [[], [1, 1], [], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410178],\n            ['ins', 1023410178],\n            ['ins', 1023410178],\n            ['del', 1023410178],\n            ['has', 1023410178]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 721420291], ['has', 721420291]]},\n   [['ok', 'ok', 'ok', True], [[], [], [], [33, 37], [43], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3532591849],\n            ['ins', 3312616903],\n            ['ins', 927288817],\n            ['ins', 436703699],\n            ['ins', 3535596479],\n            ['ins', 271263656],\n            ['ins', 1018485099],\n            ['ins', 1318602685],\n            ['ins', 3734357799],\n            ['has', 3734357799]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', 'full', False],\n    [[16], [210, 210], [197, 55], [60, 26]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 1,\n    'ops': [['ins', 3928427799],\n            ['ins', 841794179],\n            ['ins', 4137117381],\n            ['ins', 2214111069],\n            ['ins', 74342131],\n            ['ins', 2542867317],\n            ['ins', 3143370314],\n            ['has', 3143370314]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True], [[], [246, 131], [151, 187], [234, 50]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 2,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]],\n [['fill 0 m=4 kicks=3',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 754608121],\n            ['ins', 1960208437],\n            ['ins', 3951175178],\n            ['ins', 1064988886],\n            ['ins', 3939298075],\n            ['ins', 1095070989],\n            ['ins', 1643589898],\n            ['ins', 3693486421],\n            ['ins', 2812500932],\n            ['has', 754608121],\n            ['has', 1960208437],\n            ['has', 3951175178],\n            ['has', 1064988886],\n            ['has', 3939298075],\n            ['has', 1095070989],\n            ['del', 1960208437],\n            ['has', 1960208437],\n            ['has', 584649671]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[65, 167], [44], [235, 63], [234, 97]]]],\n  ['fill 1 m=8 kicks=4',\n   {'m': 8,\n    'max_kicks': 4,\n    'ops': [['ins', 224567547],\n            ['ins', 2432915099],\n            ['ins', 2215905994],\n            ['ins', 671185022],\n            ['ins', 3716804100],\n            ['ins', 601285828],\n            ['ins', 12858679],\n            ['ins', 3759422002],\n            ['ins', 3853628108],\n            ['ins', 2271239656],\n            ['ins', 3456356083],\n            ['ins', 2687261260],\n            ['ins', 3878729198],\n            ['ins', 3979473486],\n            ['ins', 4034375652],\n            ['ins', 1046284924],\n            ['has', 224567547],\n            ['has', 2432915099],\n            ['has', 2215905994],\n            ['has', 671185022],\n            ['has', 3716804100],\n            ['has', 601285828],\n            ['del', 2432915099],\n            ['has', 2432915099],\n            ['has', 1720764829]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[135], [], [132, 224], [13], [221, 35], [229, 206], [40, 231], [1, 237]]]],\n  ['fill 2 m=4 kicks=2',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 1632830720],\n            ['ins', 1469336575],\n            ['ins', 352685739],\n            ['ins', 384400481],\n            ['ins', 208997603],\n            ['ins', 2690591441],\n            ['ins', 2236537193],\n            ['ins', 3295284666],\n            ['ins', 284313747],\n            ['ins', 324373489],\n            ['has', 1632830720],\n            ['has', 1469336575],\n            ['has', 352685739],\n            ['has', 384400481],\n            ['has', 208997603],\n            ['has', 2690591441],\n            ['del', 1469336575],\n            ['has', 1469336575],\n            ['has', 528732436]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[97], [133, 160], [21, 196], [12, 22]]]],\n  ['fill 3 m=8 kicks=6',\n   {'m': 8,\n    'max_kicks': 6,\n    'ops': [['ins', 1644275844],\n            ['ins', 2900757313],\n            ['ins', 2988486797],\n            ['ins', 179906599],\n            ['ins', 287880722],\n            ['ins', 171405751],\n            ['ins', 3525701444],\n            ['ins', 4108271424],\n            ['ins', 137937707],\n            ['ins', 292658010],\n            ['ins', 248385554],\n            ['ins', 4191124304],\n            ['ins', 2126259745],\n            ['ins', 1346195861],\n            ['ins', 3499831342],\n            ['ins', 3344096474],\n            ['ins', 3832504526],\n            ['ins', 1756343263],\n            ['has', 1644275844],\n            ['has', 2900757313],\n            ['has', 2988486797],\n            ['has', 179906599],\n            ['has', 287880722],\n            ['has', 171405751],\n            ['del', 2900757313],\n            ['has', 2900757313],\n            ['has', 1733874548]]},\n   [['ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'ok',\n     'full',\n     'full',\n     'full',\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     True,\n     False,\n     False],\n    [[244, 249], [126], [17, 17], [8], [98, 14], [80, 10], [210, 208], [10, 178]]]],\n  ['zero fingerprint byte',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 10], ['has', 10], ['ins', 16777226], ['has', 16777226]]},\n   [['ok', True, 'ok', True], [[], [], [1, 1], []]]],\n  ['triple insert then delete',\n   {'m': 4,\n    'max_kicks': 3,\n    'ops': [['ins', 1023410179],\n            ['ins', 1023410179],\n            ['ins', 1023410179],\n            ['del', 1023410179],\n            ['has', 1023410179]]},\n   [['ok', 'ok', 'ok', True, True], [[], [], [61], [61]]]],\n  ['alternate bucket placement',\n   {'m': 8,\n    'max_kicks': 2,\n    'ops': [['ins', 553648131], ['ins', 620756995], ['ins', 754974723], ['has', 754974723]]},\n   [['ok', 'ok', 'ok', True], [[], [], [45], [33, 37], [], [], [], []]]],\n  ['insert needs full kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 348667353],\n            ['ins', 1470437433],\n            ['ins', 2596314351],\n            ['ins', 3605354277],\n            ['ins', 2183123397],\n            ['ins', 2831721252],\n            ['ins', 3982916143],\n            ['ins', 1159395843],\n            ['has', 1159395843]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'ok', 'full', False],\n    [[168], [130, 20], [87, 237], [154, 214]]]],\n  ['insert rejected at kick budget',\n   {'m': 4,\n    'max_kicks': 2,\n    'ops': [['ins', 3777452496],\n            ['ins', 4168010152],\n            ['ins', 1415993158],\n            ['ins', 2835527604],\n            ['ins', 2455083042],\n            ['ins', 1654735134],\n            ['ins', 2169901690],\n            ['ins', 1437706628],\n            ['has', 1437706628]]},\n   [['ok', 'ok', 'ok', 'ok', 'ok', 'full', 'ok', 'ok', True],\n    [[225, 248], [169, 85], [84, 146], [129]]]],\n  ['one-bucket pressure',\n   {'m': 2,\n    'max_kicks': 3,\n    'ops': [['ins', 285212673],\n            ['ins', 570425345],\n            ['ins', 855638017],\n            ['ins', 1140850689],\n            ['ins', 1426063361],\n            ['ins', 1711276033],\n            ['has', 285212673],\n            ['has', 1711276033]]},\n   [['ok', 'ok', 'ok', 'ok', 'full', 'full', True, False], [[51, 17], [68, 34]]]]]]\nfor label, args, expected in cases[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic, bounded teaching model with stipulated constants and pre-hashed or explicitly hashed inputs; it is not a production implementation and makes no claim of conformance to any library or paper beyond the stated contract. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-probabilistic_sketches-cuckoo-filter-delete-one","generated_at":"2026-09-29T14:48:46.104383+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Cuckoo filters give deletable approximate membership for caches and dedup stores; relocation only works if the alternate bucket is derivable from the stored fingerprint.","repair":"Remove exactly one copy, checking i1 first.","root_cause":"Deletion removes all matching fingerprints from both buckets.","sha256":"6e607a44e4d99be7486df000fad0aadb86f7ad24f112b0ff6dfd328c65b4e1a0","title":"Cuckoo filter with partial-key relocation: delete removes every copy · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.483,"exit_code":1,"observations":[{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","full",true,true,true,true,true,true,true,false,false],[[241,248],[165],[243,114],[55,169]]],"check":"fill 0 m=4 kicks=3","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","full",true,true,true,true,true,true,true,false,false],[[241,248],[165],[243,114],[55,169]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","full",true,true,true,true,true,true,true,false,false],[[76,226],[206],[241,170],[248,177],[29],[75,176],[10],[166,87]]],"check":"fill 1 m=8 kicks=4","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","full",true,true,true,true,true,true,true,false,false],[[76,226],[206],[241,170],[248,177],[29],[75,176],[10],[166,87]]],"passed":true},{"actual":[["ok","ok","ok","ok","full","ok","full","ok","ok","ok",true,true,true,true,false,true,true,false,false],[[91],[63,15],[235,123],[225,34]]],"check":"fill 2 m=4 kicks=2","expected":[["ok","ok","ok","ok","full","ok","full","ok","ok","ok",true,true,true,true,false,true,true,false,false],[[91],[63,15],[235,123],[225,34]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","ok","full","full","full",true,true,true,true,true,true,true,false,false],[[230,73],[71],[228,219],[119,21],[86],[75,188],[225,247],[137]]],"check":"fill 3 m=8 kicks=6","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","ok","full","full","full",true,true,true,true,true,true,true,false,false],[[230,73],[71],[228,219],[119,21],[86],[75,188],[225,247],[137]]],"passed":true},{"actual":[["ok",true,"ok",true],[[],[],[1,1],[]]],"check":"zero fingerprint byte","expected":[["ok",true,"ok",true],[[],[],[1,1],[]]],"passed":true},{"actual":[["ok","ok","ok",true,true],[[],[],[],[61,61]]],"check":"triple insert then delete","expected":[["ok","ok","ok",true,true],[[],[],[61],[61]]],"passed":false},{"actual":[["ok","ok","ok",true],[[],[],[37],[33,37],[],[],[],[]]],"check":"alternate bucket placement","expected":[["ok","ok","ok",true],[[],[],[37],[33,37],[],[],[],[]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok",true],[[49,144],[120,112],[94],[96,159]]],"check":"insert needs full kick budget","expected":[["ok","ok","ok","ok","ok","ok","ok",true],[[49,144],[120,112],[94],[96,159]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","full","full","ok","full",false],[[219,29],[141,19],[],[82,226]]],"check":"insert rejected at kick budget","expected":[["ok","ok","ok","ok","ok","full","full","ok","full",false],[[219,29],[141,19],[],[82,226]]],"passed":true},{"actual":[["ok","ok","ok","ok","full","full",true,false],[[51,17],[68,34]]],"check":"one-bucket pressure","expected":[["ok","ok","ok","ok","full","full",true,false],[[51,17],[68,34]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fill 0 m=4 kicks=3\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[241, 248], [165], [243, 114], [55, 169]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[241, 248], [165], [243, 114], [55, 169]]], \"passed\": true}, {\"check\": \"fill 1 m=8 kicks=4\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]], \"passed\": true}, {\"check\": \"fill 2 m=4 kicks=2\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", \"ok\", \"ok\", \"ok\", true, true, true, true, false, true, true, false, false], [[91], [63, 15], [235, 123], [225, 34]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", \"ok\", \"ok\", \"ok\", true, true, true, true, false, true, true, false, false], [[91], [63, 15], [235, 123], [225, 34]]], \"passed\": true}, {\"check\": \"fill 3 m=8 kicks=6\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"ok\", \"full\", \"full\", \"full\", true, true, true, true, true, true, true, false, false], [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"ok\", \"full\", \"full\", \"full\", true, true, true, true, true, true, true, false, false], [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]], \"passed\": true}, {\"check\": \"zero fingerprint byte\", \"actual\": [[\"ok\", true, \"ok\", true], [[], [], [1, 1], []]], \"expected\": [[\"ok\", true, \"ok\", true], [[], [], [1, 1], []]], \"passed\": true}, {\"check\": \"triple insert then delete\", \"actual\": [[\"ok\", \"ok\", \"ok\", true, true], [[], [], [], [61, 61]]], \"expected\": [[\"ok\", \"ok\", \"ok\", true, true], [[], [], [61], [61]]], \"passed\": false}, {\"check\": \"alternate bucket placement\", \"actual\": [[\"ok\", \"ok\", \"ok\", true], [[], [], [37], [33, 37], [], [], [], []]], \"expected\": [[\"ok\", \"ok\", \"ok\", true], [[], [], [37], [33, 37], [], [], [], []]], \"passed\": true}, {\"check\": \"insert needs full kick budget\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", true], [[49, 144], [120, 112], [94], [96, 159]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", true], [[49, 144], [120, 112], [94], [96, 159]]], \"passed\": true}, {\"check\": \"insert rejected at kick budget\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", \"ok\", \"full\", false], [[219, 29], [141, 19], [], [82, 226]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", \"ok\", \"full\", false], [[219, 29], [141, 19], [], [82, 226]]], \"passed\": true}, {\"check\": \"one-bucket pressure\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", true, false], [[51, 17], [68, 34]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", true, false], [[51, 17], [68, 34]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.122,"exit_code":1,"observations":[{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","full",true,true,true,true,true,true,true,false,false],[[241,248],[165],[243,114],[55,169]]],"check":"fill 0 m=4 kicks=3","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","full",true,true,true,true,true,true,true,false,false],[[241,248],[165],[243,114],[55,169]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","full",true,true,true,true,true,true,true,false,false],[[76,226],[206],[241,170],[248,177],[29],[75,176],[10],[166,87]]],"check":"fill 1 m=8 kicks=4","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","full",true,true,true,true,true,true,true,false,false],[[76,226],[206],[241,170],[248,177],[29],[75,176],[10],[166,87]]],"passed":true},{"actual":[["ok","ok","ok","ok","full","ok","full","ok","ok","ok",true,true,true,true,false,true,true,false,false],[[91],[63,15],[235,123],[225,34]]],"check":"fill 2 m=4 kicks=2","expected":[["ok","ok","ok","ok","full","ok","full","ok","ok","ok",true,true,true,true,false,true,true,false,false],[[91],[63,15],[235,123],[225,34]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","ok","full","full","full",true,true,true,true,true,true,true,false,false],[[230,73],[71],[228,219],[119,21],[86],[75,188],[225,247],[137]]],"check":"fill 3 m=8 kicks=6","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","ok","full","full","full",true,true,true,true,true,true,true,false,false],[[230,73],[71],[228,219],[119,21],[86],[75,188],[225,247],[137]]],"passed":true},{"actual":[["ok",true,"ok",true],[[],[],[1,1],[]]],"check":"zero fingerprint byte","expected":[["ok",true,"ok",true],[[],[],[1,1],[]]],"passed":true},{"actual":[["ok","ok","ok",true,false],[[],[],[],[]]],"check":"triple insert then delete","expected":[["ok","ok","ok",true,true],[[],[],[61],[61]]],"passed":false},{"actual":[["ok","ok","ok",true],[[],[],[37],[33,37],[],[],[],[]]],"check":"alternate bucket placement","expected":[["ok","ok","ok",true],[[],[],[37],[33,37],[],[],[],[]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok",true],[[49,144],[120,112],[94],[96,159]]],"check":"insert needs full kick budget","expected":[["ok","ok","ok","ok","ok","ok","ok",true],[[49,144],[120,112],[94],[96,159]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","full","full","ok","full",false],[[219,29],[141,19],[],[82,226]]],"check":"insert rejected at kick budget","expected":[["ok","ok","ok","ok","ok","full","full","ok","full",false],[[219,29],[141,19],[],[82,226]]],"passed":true},{"actual":[["ok","ok","ok","ok","full","full",true,false],[[51,17],[68,34]]],"check":"one-bucket pressure","expected":[["ok","ok","ok","ok","full","full",true,false],[[51,17],[68,34]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fill 0 m=4 kicks=3\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[241, 248], [165], [243, 114], [55, 169]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[241, 248], [165], [243, 114], [55, 169]]], \"passed\": true}, {\"check\": \"fill 1 m=8 kicks=4\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]], \"passed\": true}, {\"check\": \"fill 2 m=4 kicks=2\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", \"ok\", \"ok\", \"ok\", true, true, true, true, false, true, true, false, false], [[91], [63, 15], [235, 123], [225, 34]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", \"ok\", \"ok\", \"ok\", true, true, true, true, false, true, true, false, false], [[91], [63, 15], [235, 123], [225, 34]]], \"passed\": true}, {\"check\": \"fill 3 m=8 kicks=6\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"ok\", \"full\", \"full\", \"full\", true, true, true, true, true, true, true, false, false], [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"ok\", \"full\", \"full\", \"full\", true, true, true, true, true, true, true, false, false], [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]], \"passed\": true}, {\"check\": \"zero fingerprint byte\", \"actual\": [[\"ok\", true, \"ok\", true], [[], [], [1, 1], []]], \"expected\": [[\"ok\", true, \"ok\", true], [[], [], [1, 1], []]], \"passed\": true}, {\"check\": \"triple insert then delete\", \"actual\": [[\"ok\", \"ok\", \"ok\", true, false], [[], [], [], []]], \"expected\": [[\"ok\", \"ok\", \"ok\", true, true], [[], [], [61], [61]]], \"passed\": false}, {\"check\": \"alternate bucket placement\", \"actual\": [[\"ok\", \"ok\", \"ok\", true], [[], [], [37], [33, 37], [], [], [], []]], \"expected\": [[\"ok\", \"ok\", \"ok\", true], [[], [], [37], [33, 37], [], [], [], []]], \"passed\": true}, {\"check\": \"insert needs full kick budget\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", true], [[49, 144], [120, 112], [94], [96, 159]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", true], [[49, 144], [120, 112], [94], [96, 159]]], \"passed\": true}, {\"check\": \"insert rejected at kick budget\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", \"ok\", \"full\", false], [[219, 29], [141, 19], [], [82, 226]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", \"ok\", \"full\", false], [[219, 29], [141, 19], [], [82, 226]]], \"passed\": true}, {\"check\": \"one-bucket pressure\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", true, false], [[51, 17], [68, 34]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", true, false], [[51, 17], [68, 34]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.811,"exit_code":0,"observations":[{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","full",true,true,true,true,true,true,true,false,false],[[241,248],[165],[243,114],[55,169]]],"check":"fill 0 m=4 kicks=3","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","full",true,true,true,true,true,true,true,false,false],[[241,248],[165],[243,114],[55,169]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","full",true,true,true,true,true,true,true,false,false],[[76,226],[206],[241,170],[248,177],[29],[75,176],[10],[166,87]]],"check":"fill 1 m=8 kicks=4","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","full",true,true,true,true,true,true,true,false,false],[[76,226],[206],[241,170],[248,177],[29],[75,176],[10],[166,87]]],"passed":true},{"actual":[["ok","ok","ok","ok","full","ok","full","ok","ok","ok",true,true,true,true,false,true,true,false,false],[[91],[63,15],[235,123],[225,34]]],"check":"fill 2 m=4 kicks=2","expected":[["ok","ok","ok","ok","full","ok","full","ok","ok","ok",true,true,true,true,false,true,true,false,false],[[91],[63,15],[235,123],[225,34]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","ok","full","full","full",true,true,true,true,true,true,true,false,false],[[230,73],[71],[228,219],[119,21],[86],[75,188],[225,247],[137]]],"check":"fill 3 m=8 kicks=6","expected":[["ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","ok","full","ok","ok","full","full","full",true,true,true,true,true,true,true,false,false],[[230,73],[71],[228,219],[119,21],[86],[75,188],[225,247],[137]]],"passed":true},{"actual":[["ok",true,"ok",true],[[],[],[1,1],[]]],"check":"zero fingerprint byte","expected":[["ok",true,"ok",true],[[],[],[1,1],[]]],"passed":true},{"actual":[["ok","ok","ok",true,true],[[],[],[61],[61]]],"check":"triple insert then delete","expected":[["ok","ok","ok",true,true],[[],[],[61],[61]]],"passed":true},{"actual":[["ok","ok","ok",true],[[],[],[37],[33,37],[],[],[],[]]],"check":"alternate bucket placement","expected":[["ok","ok","ok",true],[[],[],[37],[33,37],[],[],[],[]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","ok","ok",true],[[49,144],[120,112],[94],[96,159]]],"check":"insert needs full kick budget","expected":[["ok","ok","ok","ok","ok","ok","ok",true],[[49,144],[120,112],[94],[96,159]]],"passed":true},{"actual":[["ok","ok","ok","ok","ok","full","full","ok","full",false],[[219,29],[141,19],[],[82,226]]],"check":"insert rejected at kick budget","expected":[["ok","ok","ok","ok","ok","full","full","ok","full",false],[[219,29],[141,19],[],[82,226]]],"passed":true},{"actual":[["ok","ok","ok","ok","full","full",true,false],[[51,17],[68,34]]],"check":"one-bucket pressure","expected":[["ok","ok","ok","ok","full","full",true,false],[[51,17],[68,34]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fill 0 m=4 kicks=3\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[241, 248], [165], [243, 114], [55, 169]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[241, 248], [165], [243, 114], [55, 169]]], \"passed\": true}, {\"check\": \"fill 1 m=8 kicks=4\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", true, true, true, true, true, true, true, false, false], [[76, 226], [206], [241, 170], [248, 177], [29], [75, 176], [10], [166, 87]]], \"passed\": true}, {\"check\": \"fill 2 m=4 kicks=2\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", \"ok\", \"ok\", \"ok\", true, true, true, true, false, true, true, false, false], [[91], [63, 15], [235, 123], [225, 34]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"full\", \"ok\", \"ok\", \"ok\", true, true, true, true, false, true, true, false, false], [[91], [63, 15], [235, 123], [225, 34]]], \"passed\": true}, {\"check\": \"fill 3 m=8 kicks=6\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"ok\", \"full\", \"full\", \"full\", true, true, true, true, true, true, true, false, false], [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"ok\", \"ok\", \"full\", \"full\", \"full\", true, true, true, true, true, true, true, false, false], [[230, 73], [71], [228, 219], [119, 21], [86], [75, 188], [225, 247], [137]]], \"passed\": true}, {\"check\": \"zero fingerprint byte\", \"actual\": [[\"ok\", true, \"ok\", true], [[], [], [1, 1], []]], \"expected\": [[\"ok\", true, \"ok\", true], [[], [], [1, 1], []]], \"passed\": true}, {\"check\": \"triple insert then delete\", \"actual\": [[\"ok\", \"ok\", \"ok\", true, true], [[], [], [61], [61]]], \"expected\": [[\"ok\", \"ok\", \"ok\", true, true], [[], [], [61], [61]]], \"passed\": true}, {\"check\": \"alternate bucket placement\", \"actual\": [[\"ok\", \"ok\", \"ok\", true], [[], [], [37], [33, 37], [], [], [], []]], \"expected\": [[\"ok\", \"ok\", \"ok\", true], [[], [], [37], [33, 37], [], [], [], []]], \"passed\": true}, {\"check\": \"insert needs full kick budget\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", true], [[49, 144], [120, 112], [94], [96, 159]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"ok\", true], [[49, 144], [120, 112], [94], [96, 159]]], \"passed\": true}, {\"check\": \"insert rejected at kick budget\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", \"ok\", \"full\", false], [[219, 29], [141, 19], [], [82, 226]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", \"ok\", \"full\", false], [[219, 29], [141, 19], [], [82, 226]]], \"passed\": true}, {\"check\": \"one-bucket pressure\", \"actual\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", true, false], [[51, 17], [68, 34]]], \"expected\": [[\"ok\", \"ok\", \"ok\", \"ok\", \"full\", \"full\", true, false], [[51, 17], [68, 34]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}