{"abstract":"Two claims in a year only move the policy up three classes.","category":"Insurance premium rating","checks":9,"contract":"Input start class 1..18 (else 'invalid class'), claims per year, coeffs (18 per mille values, class 1 best), base. Per year: 0 claims -> class-1 (floor 1); 3+ claims -> class 18; otherwise class+3*claims (ceiling 18). Return [class after each year, floor(base*coeff/1000+1/2) for the final class].","evaluation_group":"w2-insurance_premium_rating-bonus-malus","failed_approach":"Scaling by k-1 forgives the first claim.","family":"w2-insurance_premium_rating-bonus-malus-claim-count-penalty","id":"FA-63071","implementations":{"attempt":{"sha256":"11d37f010969fefe9bd9999a464be7927b18b6a27907061a067e2234bf53fa9d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    c=x['start']\n    if not 1<=c<=18: return 'invalid class'\n    path=[]\n    for k in x['claims']:\n        if k==0: c=max(1,c-1)\n        elif k>=3: c=18\n        else: c=min(18,c+3*(k-1))\n        path.append(c)\n    prem=math.floor(x['base']*Fraction(x['coeffs'][c-1],1000)+Fraction(1,2))\n    return [path,prem]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['claim-free years reach best class', {'start': 2, 'claims': [0, 0, 0, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 146808}, [[1, 1, 1, 1], 66210]], ['two claims in a year', {'start': 5, 'claims': [0, 2, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 90458}, [[4, 10, 9], 58798]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 97168}, [[18, 17], 82593]], ['single claim then recovery', {'start': 10, 'claims': [1, 0, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 140983}, [[13, 12, 11], 98688]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 84370}, [[18, 18], 73824]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 105979}, [[17, 18], 92732]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 125381}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 98621}, 'invalid class'], ['random history', {'start': 7, 'claims': [0, 4, 2, 4, 1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 65715}, [[6, 18, 18, 18, 18], 57501]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 103817}, [[2, 1, 1, 1], 46925]], ['two claims in a year', {'start': 8, 'claims': [0, 2, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 111089}, [[7, 13, 12], 80540]], ['three claims hits worst class', {'start': 2, 'claims': [3, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 137399}, [[18, 17], 116789]], ['single claim then recovery', {'start': 10, 'claims': [1, 0, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 124097}, [[13, 12, 11], 86868]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 114574}, [[18, 18], 100252]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 138853}, [[17, 18], 121496]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 59406}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 55013}, 'invalid class'], ['random history', {'start': 2, 'claims': [0, 0, 0, 1, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 62595}, [[1, 1, 1, 4, 3], 31298]]], [['claim-free years reach best class', {'start': 2, 'claims': [0, 0, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 133221}, [[1, 1, 1, 1], 60349]], ['two claims in a year', {'start': 3, 'claims': [0, 2, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 61229}, [[2, 8, 7], 36921]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 85457}, [[18, 17], 72638]], ['single claim then recovery', {'start': 5, 'claims': [1, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 81249}, [[8, 7, 6], 46718]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 115930}, [[18, 18], 101439]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 83911}, [[17, 18], 73422]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 144591}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 42294}, 'invalid class'], ['random history', {'start': 5, 'claims': [4, 1, 4, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 55571}, [[18, 18, 18, 17, 16], 46013]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 96489}, [[2, 1, 1, 1], 43806]], ['two claims in a year', {'start': 8, 'claims': [0, 2, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 119023}, [[7, 13, 12], 86292]], ['three claims hits worst class', {'start': 6, 'claims': [3, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 90708}, [[18, 17], 77102]], ['single claim then recovery', {'start': 7, 'claims': [1, 0, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 64319}, [[10, 9, 8], 40199]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 83553}, [[18, 18], 73109]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 98493}, [[17, 18], 86181]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 149772}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 59187}, 'invalid class'], ['random history', {'start': 15, 'claims': [1, 2, 1, 0, 4], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 119786}, [[18, 18, 18, 17, 18], 104813]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 57394}, [[2, 1, 1, 1], 26114]], ['two claims in a year', {'start': 4, 'claims': [0, 2, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 84488}, [[3, 9, 8], 52805]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 51146}, [[18, 17], 43474]], ['single claim then recovery', {'start': 8, 'claims': [1, 0, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 127242}, [[11, 10, 9], 82707]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 49757}, [[18, 18], 43537]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 119155}, [[17, 18], 104261]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 64005}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 65254}, 'invalid class'], ['random history', {'start': 12, 'claims': [2, 2, 2, 2, 1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 118970}, [[18, 18, 18, 18, 18], 104099]]]]\nfor label, args, expected in fixtures[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":"c29f7ee7691e595b38c33ab92942084023884d831e90865b374006f584e64385","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    c=x['start']\n    if not 1<=c<=18: return 'invalid class'\n    path=[]\n    for k in x['claims']:\n        if k==0: c=max(1,c-1)\n        elif k>=3: c=18\n        else: c=min(18,c+3)\n        path.append(c)\n    prem=math.floor(x['base']*Fraction(x['coeffs'][c-1],1000)+Fraction(1,2))\n    return [path,prem]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['claim-free years reach best class', {'start': 2, 'claims': [0, 0, 0, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 146808}, [[1, 1, 1, 1], 66210]], ['two claims in a year', {'start': 5, 'claims': [0, 2, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 90458}, [[4, 10, 9], 58798]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 97168}, [[18, 17], 82593]], ['single claim then recovery', {'start': 10, 'claims': [1, 0, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 140983}, [[13, 12, 11], 98688]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 84370}, [[18, 18], 73824]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 105979}, [[17, 18], 92732]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 125381}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 98621}, 'invalid class'], ['random history', {'start': 7, 'claims': [0, 4, 2, 4, 1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 65715}, [[6, 18, 18, 18, 18], 57501]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 103817}, [[2, 1, 1, 1], 46925]], ['two claims in a year', {'start': 8, 'claims': [0, 2, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 111089}, [[7, 13, 12], 80540]], ['three claims hits worst class', {'start': 2, 'claims': [3, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 137399}, [[18, 17], 116789]], ['single claim then recovery', {'start': 10, 'claims': [1, 0, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 124097}, [[13, 12, 11], 86868]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 114574}, [[18, 18], 100252]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 138853}, [[17, 18], 121496]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 59406}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 55013}, 'invalid class'], ['random history', {'start': 2, 'claims': [0, 0, 0, 1, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 62595}, [[1, 1, 1, 4, 3], 31298]]], [['claim-free years reach best class', {'start': 2, 'claims': [0, 0, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 133221}, [[1, 1, 1, 1], 60349]], ['two claims in a year', {'start': 3, 'claims': [0, 2, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 61229}, [[2, 8, 7], 36921]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 85457}, [[18, 17], 72638]], ['single claim then recovery', {'start': 5, 'claims': [1, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 81249}, [[8, 7, 6], 46718]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 115930}, [[18, 18], 101439]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 83911}, [[17, 18], 73422]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 144591}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 42294}, 'invalid class'], ['random history', {'start': 5, 'claims': [4, 1, 4, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 55571}, [[18, 18, 18, 17, 16], 46013]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 96489}, [[2, 1, 1, 1], 43806]], ['two claims in a year', {'start': 8, 'claims': [0, 2, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 119023}, [[7, 13, 12], 86292]], ['three claims hits worst class', {'start': 6, 'claims': [3, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 90708}, [[18, 17], 77102]], ['single claim then recovery', {'start': 7, 'claims': [1, 0, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 64319}, [[10, 9, 8], 40199]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 83553}, [[18, 18], 73109]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 98493}, [[17, 18], 86181]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 149772}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 59187}, 'invalid class'], ['random history', {'start': 15, 'claims': [1, 2, 1, 0, 4], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 119786}, [[18, 18, 18, 17, 18], 104813]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 57394}, [[2, 1, 1, 1], 26114]], ['two claims in a year', {'start': 4, 'claims': [0, 2, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 84488}, [[3, 9, 8], 52805]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 51146}, [[18, 17], 43474]], ['single claim then recovery', {'start': 8, 'claims': [1, 0, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 127242}, [[11, 10, 9], 82707]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 49757}, [[18, 18], 43537]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 119155}, [[17, 18], 104261]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 64005}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 65254}, 'invalid class'], ['random history', {'start': 12, 'claims': [2, 2, 2, 2, 1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 118970}, [[18, 18, 18, 18, 18], 104099]]]]\nfor label, args, expected in fixtures[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":"4a40919e838e037e1413a76a3e5e40ef782361238d55a7d3c63bb0e7a856d603","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    c=x['start']\n    if not 1<=c<=18: return 'invalid class'\n    path=[]\n    for k in x['claims']:\n        if k==0: c=max(1,c-1)\n        elif k>=3: c=18\n        else: c=min(18,c+3*k)\n        path.append(c)\n    prem=math.floor(x['base']*Fraction(x['coeffs'][c-1],1000)+Fraction(1,2))\n    return [path,prem]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['claim-free years reach best class', {'start': 2, 'claims': [0, 0, 0, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 146808}, [[1, 1, 1, 1], 66210]], ['two claims in a year', {'start': 5, 'claims': [0, 2, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 90458}, [[4, 10, 9], 58798]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 97168}, [[18, 17], 82593]], ['single claim then recovery', {'start': 10, 'claims': [1, 0, 0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 140983}, [[13, 12, 11], 98688]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 84370}, [[18, 18], 73824]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 105979}, [[17, 18], 92732]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 125381}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 98621}, 'invalid class'], ['random history', {'start': 7, 'claims': [0, 4, 2, 4, 1], 'coeffs': [451, 475, 500, 526, 550, 575, 601, 625, 650, 676, 700, 725, 751, 775, 800, 826, 850, 875], 'base': 65715}, [[6, 18, 18, 18, 18], 57501]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 103817}, [[2, 1, 1, 1], 46925]], ['two claims in a year', {'start': 8, 'claims': [0, 2, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 111089}, [[7, 13, 12], 80540]], ['three claims hits worst class', {'start': 2, 'claims': [3, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 137399}, [[18, 17], 116789]], ['single claim then recovery', {'start': 10, 'claims': [1, 0, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 124097}, [[13, 12, 11], 86868]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 114574}, [[18, 18], 100252]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 138853}, [[17, 18], 121496]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 59406}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 55013}, 'invalid class'], ['random history', {'start': 2, 'claims': [0, 0, 0, 1, 0], 'coeffs': [452, 475, 500, 527, 550, 575, 602, 625, 650, 677, 700, 725, 752, 775, 800, 827, 850, 875], 'base': 62595}, [[1, 1, 1, 4, 3], 31298]]], [['claim-free years reach best class', {'start': 2, 'claims': [0, 0, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 133221}, [[1, 1, 1, 1], 60349]], ['two claims in a year', {'start': 3, 'claims': [0, 2, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 61229}, [[2, 8, 7], 36921]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 85457}, [[18, 17], 72638]], ['single claim then recovery', {'start': 5, 'claims': [1, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 81249}, [[8, 7, 6], 46718]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 115930}, [[18, 18], 101439]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 83911}, [[17, 18], 73422]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 144591}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 42294}, 'invalid class'], ['random history', {'start': 5, 'claims': [4, 1, 4, 0, 0], 'coeffs': [453, 475, 500, 528, 550, 575, 603, 625, 650, 678, 700, 725, 753, 775, 800, 828, 850, 875], 'base': 55571}, [[18, 18, 18, 17, 16], 46013]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 96489}, [[2, 1, 1, 1], 43806]], ['two claims in a year', {'start': 8, 'claims': [0, 2, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 119023}, [[7, 13, 12], 86292]], ['three claims hits worst class', {'start': 6, 'claims': [3, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 90708}, [[18, 17], 77102]], ['single claim then recovery', {'start': 7, 'claims': [1, 0, 0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 64319}, [[10, 9, 8], 40199]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 83553}, [[18, 18], 73109]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 98493}, [[17, 18], 86181]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 149772}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 59187}, 'invalid class'], ['random history', {'start': 15, 'claims': [1, 2, 1, 0, 4], 'coeffs': [454, 475, 500, 529, 550, 575, 604, 625, 650, 679, 700, 725, 754, 775, 800, 829, 850, 875], 'base': 119786}, [[18, 18, 18, 17, 18], 104813]]], [['claim-free years reach best class', {'start': 3, 'claims': [0, 0, 0, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 57394}, [[2, 1, 1, 1], 26114]], ['two claims in a year', {'start': 4, 'claims': [0, 2, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 84488}, [[3, 9, 8], 52805]], ['three claims hits worst class', {'start': 3, 'claims': [3, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 51146}, [[18, 17], 43474]], ['single claim then recovery', {'start': 8, 'claims': [1, 0, 0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 127242}, [[11, 10, 9], 82707]], ['climb to ceiling', {'start': 15, 'claims': [1, 2], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 49757}, [[18, 18], 43537]], ['start at worst class', {'start': 18, 'claims': [0, 1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 119155}, [[17, 18], 104261]], ['invalid start class 19', {'start': 19, 'claims': [0], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 64005}, 'invalid class'], ['invalid start class 0', {'start': 0, 'claims': [1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 65254}, 'invalid class'], ['random history', {'start': 12, 'claims': [2, 2, 2, 2, 1], 'coeffs': [455, 475, 500, 530, 550, 575, 605, 625, 650, 680, 700, 725, 755, 775, 800, 830, 850, 875], 'base': 118970}, [[18, 18, 18, 18, 18], 104099]]]]\nfor label, args, expected in fixtures[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 of a stipulated toy rating contract. Amounts are integer cents and factors exact rationals; it makes no claim of conformance with any filed rating plan, bureau manual or jurisdiction. 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-insurance_premium_rating-bonus-malus-claim-count-penalty","generated_at":"2026-09-29T14:47:10.853947+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"No-claims discount systems compound a transition error across every renewal.","repair":"Move up three classes per claim.","root_cause":"The penalty ignores the number of claims.","sha256":"6c983e8ef5a3df42e15562f985d1b57b4dfbc7f4d520b17548c73d90d5e6c851","title":"Bonus-malus class transitions: Multiple claims earn a single penalty · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.671,"exit_code":1,"observations":[{"actual":[[1,1,1,1],66210],"check":"claim-free years reach best class","expected":[[1,1,1,1],66210],"passed":true},{"actual":[[4,7,6],52013],"check":"two claims in a year","expected":[[4,10,9],58798],"passed":false},{"actual":[[18,17],82593],"check":"three claims hits worst class","expected":[[18,17],82593],"passed":true},{"actual":[[10,9,8],88114],"check":"single claim then recovery","expected":[[13,12,11],98688],"passed":false},{"actual":[[15,18],73824],"check":"climb to ceiling","expected":[[18,18],73824],"passed":false},{"actual":[[17,17],90082],"check":"start at worst class","expected":[[17,18],92732],"passed":false},{"actual":"invalid class","check":"invalid start class 19","expected":"invalid class","passed":true},{"actual":"invalid class","check":"invalid start class 0","expected":"invalid class","passed":true},{"actual":[[6,18,18,18,18],57501],"check":"random history","expected":[[6,18,18,18,18],57501],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"claim-free years reach best class\", \"actual\": [[1, 1, 1, 1], 66210], \"expected\": [[1, 1, 1, 1], 66210], \"passed\": true}, {\"check\": \"two claims in a year\", \"actual\": [[4, 7, 6], 52013], \"expected\": [[4, 10, 9], 58798], \"passed\": false}, {\"check\": \"three claims hits worst class\", \"actual\": [[18, 17], 82593], \"expected\": [[18, 17], 82593], \"passed\": true}, {\"check\": \"single claim then recovery\", \"actual\": [[10, 9, 8], 88114], \"expected\": [[13, 12, 11], 98688], \"passed\": false}, {\"check\": \"climb to ceiling\", \"actual\": [[15, 18], 73824], \"expected\": [[18, 18], 73824], \"passed\": false}, {\"check\": \"start at worst class\", \"actual\": [[17, 17], 90082], \"expected\": [[17, 18], 92732], \"passed\": false}, {\"check\": \"invalid start class 19\", \"actual\": \"invalid class\", \"expected\": \"invalid class\", \"passed\": true}, {\"check\": \"invalid start class 0\", \"actual\": \"invalid class\", \"expected\": \"invalid class\", \"passed\": true}, {\"check\": \"random history\", \"actual\": [[6, 18, 18, 18, 18], 57501], \"expected\": [[6, 18, 18, 18, 18], 57501], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.405,"exit_code":1,"observations":[{"actual":[[1,1,1,1],66210],"check":"claim-free years reach best class","expected":[[1,1,1,1],66210],"passed":true},{"actual":[[4,7,6],52013],"check":"two claims in a year","expected":[[4,10,9],58798],"passed":false},{"actual":[[18,17],82593],"check":"three claims hits worst class","expected":[[18,17],82593],"passed":true},{"actual":[[13,12,11],98688],"check":"single claim then recovery","expected":[[13,12,11],98688],"passed":true},{"actual":[[18,18],73824],"check":"climb to ceiling","expected":[[18,18],73824],"passed":true},{"actual":[[17,18],92732],"check":"start at worst class","expected":[[17,18],92732],"passed":true},{"actual":"invalid class","check":"invalid start class 19","expected":"invalid class","passed":true},{"actual":"invalid class","check":"invalid start class 0","expected":"invalid class","passed":true},{"actual":[[6,18,18,18,18],57501],"check":"random history","expected":[[6,18,18,18,18],57501],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"claim-free years reach best class\", \"actual\": [[1, 1, 1, 1], 66210], \"expected\": [[1, 1, 1, 1], 66210], \"passed\": true}, {\"check\": \"two claims in a year\", \"actual\": [[4, 7, 6], 52013], \"expected\": [[4, 10, 9], 58798], \"passed\": false}, {\"check\": \"three claims hits worst class\", \"actual\": [[18, 17], 82593], \"expected\": [[18, 17], 82593], \"passed\": true}, {\"check\": \"single claim then recovery\", \"actual\": [[13, 12, 11], 98688], \"expected\": [[13, 12, 11], 98688], \"passed\": true}, {\"check\": \"climb to ceiling\", \"actual\": [[18, 18], 73824], \"expected\": [[18, 18], 73824], \"passed\": true}, {\"check\": \"start at worst class\", \"actual\": [[17, 18], 92732], \"expected\": [[17, 18], 92732], \"passed\": true}, {\"check\": \"invalid start class 19\", \"actual\": \"invalid class\", \"expected\": \"invalid class\", \"passed\": true}, {\"check\": \"invalid start class 0\", \"actual\": \"invalid class\", \"expected\": \"invalid class\", \"passed\": true}, {\"check\": \"random history\", \"actual\": [[6, 18, 18, 18, 18], 57501], \"expected\": [[6, 18, 18, 18, 18], 57501], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.047,"exit_code":0,"observations":[{"actual":[[1,1,1,1],66210],"check":"claim-free years reach best class","expected":[[1,1,1,1],66210],"passed":true},{"actual":[[4,10,9],58798],"check":"two claims in a year","expected":[[4,10,9],58798],"passed":true},{"actual":[[18,17],82593],"check":"three claims hits worst class","expected":[[18,17],82593],"passed":true},{"actual":[[13,12,11],98688],"check":"single claim then recovery","expected":[[13,12,11],98688],"passed":true},{"actual":[[18,18],73824],"check":"climb to ceiling","expected":[[18,18],73824],"passed":true},{"actual":[[17,18],92732],"check":"start at worst class","expected":[[17,18],92732],"passed":true},{"actual":"invalid class","check":"invalid start class 19","expected":"invalid class","passed":true},{"actual":"invalid class","check":"invalid start class 0","expected":"invalid class","passed":true},{"actual":[[6,18,18,18,18],57501],"check":"random history","expected":[[6,18,18,18,18],57501],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"claim-free years reach best class\", \"actual\": [[1, 1, 1, 1], 66210], \"expected\": [[1, 1, 1, 1], 66210], \"passed\": true}, {\"check\": \"two claims in a year\", \"actual\": [[4, 10, 9], 58798], \"expected\": [[4, 10, 9], 58798], \"passed\": true}, {\"check\": \"three claims hits worst class\", \"actual\": [[18, 17], 82593], \"expected\": [[18, 17], 82593], \"passed\": true}, {\"check\": \"single claim then recovery\", \"actual\": [[13, 12, 11], 98688], \"expected\": [[13, 12, 11], 98688], \"passed\": true}, {\"check\": \"climb to ceiling\", \"actual\": [[18, 18], 73824], \"expected\": [[18, 18], 73824], \"passed\": true}, {\"check\": \"start at worst class\", \"actual\": [[17, 18], 92732], \"expected\": [[17, 18], 92732], \"passed\": true}, {\"check\": \"invalid start class 19\", \"actual\": \"invalid class\", \"expected\": \"invalid class\", \"passed\": true}, {\"check\": \"invalid start class 0\", \"actual\": \"invalid class\", \"expected\": \"invalid class\", \"passed\": true}, {\"check\": \"random history\", \"actual\": [[6, 18, 18, 18, 18], 57501], \"expected\": [[6, 18, 18, 18, 18], 57501], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}