{"abstract":"The exact primitive pythagorean triples result violates the stated contract at Euclid hypotenuse construction.","category":"Numerics","checks":8,"contract":"Input bound L>=1; return lexicographically sorted [a,b,c] with 0<a<b<c<=L, coprime a,b,c and a^2+b^2=c^2.","evaluation_group":"s3-numerics-primitive-pythagorean-triples","failed_approach":"The partial repair m*m-n*n,2*m*n,m*m-n*n still violates the Euclid hypotenuse construction invariant.","family":"s3-numerics-primitive-pythagorean-triples-Euclid-hypotenuse-construction","id":"FA-14951","implementations":{"attempt":{"sha256":"7a04db94149650c4c694018ac45e5a95af679745bd5a6814b3d312888447e05f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport itertools\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    L=x;out=[]\n    for m in range(2,math.isqrt(L)+2):\n     for n in range(1,m):\n      if math.gcd(m,n)!=1:continue\n      if (m-n)%2==0:continue\n      a,b,c=m*m-n*n,2*m*n,m*m-n*n\n      a,b=sorted((a,b))\n      if c<=L:out.append([a,b,c])\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(5, [[3, 4, 5]]), (3, []), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (2, []), (4, []), (6, [[3, 4, 5]]), (7, [[3, 4, 5]])], [(6, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (18, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (19, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (20, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (21, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (22, [[3, 4, 5], [5, 12, 13], [8, 15, 17]])], [(7, [[3, 4, 5]]), (9, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (35, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [20, 21, 29]]), (36, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [20, 21, 29]]), (37, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [12, 35, 37], [20, 21, 29]]), (38, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [12, 35, 37], [20, 21, 29]])], [(8, [[3, 4, 5]]), (12, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (52, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29]]), (53, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]]), (54, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]]), (55, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]])], [(9, [[3, 4, 5]]), (15, [[3, 4, 5], [5, 12, 13]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (69, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (70, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (71, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (72, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"explicit oracle %d\" % i, 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":"1ffbbff2a847e670cac30583c62d83a70d99e051662f0af140d402f0ee39ee37","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport itertools\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    L=x;out=[]\n    for m in range(2,math.isqrt(L)+2):\n     for n in range(1,m):\n      if math.gcd(m,n)!=1:continue\n      if (m-n)%2==0:continue\n      a,b,c=m*m-n*n,m*n,m*m+n*n\n      a,b=sorted((a,b))\n      if c<=L:out.append([a,b,c])\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(5, [[3, 4, 5]]), (3, []), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (2, []), (4, []), (6, [[3, 4, 5]]), (7, [[3, 4, 5]])], [(6, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (18, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (19, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (20, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (21, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (22, [[3, 4, 5], [5, 12, 13], [8, 15, 17]])], [(7, [[3, 4, 5]]), (9, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (35, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [20, 21, 29]]), (36, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [20, 21, 29]]), (37, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [12, 35, 37], [20, 21, 29]]), (38, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [12, 35, 37], [20, 21, 29]])], [(8, [[3, 4, 5]]), (12, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (52, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29]]), (53, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]]), (54, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]]), (55, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]])], [(9, [[3, 4, 5]]), (15, [[3, 4, 5], [5, 12, 13]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (69, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (70, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (71, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (72, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"explicit oracle %d\" % i, 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":"45bfb977c177f98ee52da8cd60c483fadb2137b069ce57896c0725a412062d1a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport itertools\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    L=x;out=[]\n    for m in range(2,math.isqrt(L)+2):\n     for n in range(1,m):\n      if math.gcd(m,n)!=1:continue\n      if (m-n)%2==0:continue\n      a,b,c=m*m-n*n,2*m*n,m*m+n*n\n      a,b=sorted((a,b))\n      if c<=L:out.append([a,b,c])\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[(5, [[3, 4, 5]]), (3, []), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (2, []), (4, []), (6, [[3, 4, 5]]), (7, [[3, 4, 5]])], [(6, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (18, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (19, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (20, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (21, [[3, 4, 5], [5, 12, 13], [8, 15, 17]]), (22, [[3, 4, 5], [5, 12, 13], [8, 15, 17]])], [(7, [[3, 4, 5]]), (9, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (35, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [20, 21, 29]]), (36, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [20, 21, 29]]), (37, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [12, 35, 37], [20, 21, 29]]), (38, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [12, 35, 37], [20, 21, 29]])], [(8, [[3, 4, 5]]), (12, [[3, 4, 5]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (52, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29]]), (53, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]]), (54, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]]), (55, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [12, 35, 37], [20, 21, 29], [28, 45, 53]])], [(9, [[3, 4, 5]]), (15, [[3, 4, 5], [5, 12, 13]]), (1, []), (180, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]]), (69, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (70, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (71, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]]), (72, [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [16, 63, 65], [20, 21, 29], [28, 45, 53], [33, 56, 65]])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"explicit oracle %d\" % i, 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. Inputs are restricted to the explicit contract; this is not a production algebra library. 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":"s3-numerics-primitive-pythagorean-triples-Euclid-hypotenuse-construction","generated_at":"2026-09-29T14:39:21.937385+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Exact discrete arithmetic with observable algorithmic state; no floating point approximation is used.","repair":"Use m*m-n*n,2*m*n,m*m+n*n at the Euclid hypotenuse construction step.","root_cause":"The Euclid hypotenuse construction step uses m*m-n*n,m*n,m*m+n*n instead of m*m-n*n,2*m*n,m*m+n*n.","sha256":"da0730a6cf90684f027ba83b2249231ca79f4c47977d088377e4509b1c6204fe","title":"Primitive pythagorean triples: Euclid hypotenuse construction · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.887,"exit_code":1,"observations":[{"actual":[[3,4,3],[5,12,5]],"check":"explicit oracle 0","expected":[[3,4,5]],"passed":false},{"actual":[[3,4,3]],"check":"explicit oracle 1","expected":[],"passed":false},{"actual":[],"check":"explicit oracle 2","expected":[],"passed":true},{"actual":[[3,4,3],[5,12,5],[7,24,7],[8,15,15],[9,40,9],[11,60,11],[12,35,35],[13,84,13],[15,112,15],[16,63,63],[17,144,17],[19,180,19],[20,21,21],[20,99,99],[21,220,21],[23,264,23],[24,143,143],[25,312,25],[27,364,27],[28,45,45],[33,56,33],[36,77,77],[39,80,39],[44,117,117],[48,55,55],[51,140,51],[52,165,165],[57,176,57],[60,91,91],[65,72,65],[69,260,69],[75,308,75],[85,132,85],[88,105,105],[95,168,95],[104,153,153],[105,208,105],[115,252,115],[119,120,119],[133,156,133],[140,171,171]],"check":"explicit oracle 3","expected":[[3,4,5],[5,12,13],[7,24,25],[8,15,17],[9,40,41],[11,60,61],[12,35,37],[13,84,85],[15,112,113],[16,63,65],[17,144,145],[20,21,29],[20,99,101],[24,143,145],[28,45,53],[33,56,65],[36,77,85],[39,80,89],[44,117,125],[48,55,73],[51,140,149],[52,165,173],[60,91,109],[65,72,97],[85,132,157],[88,105,137],[119,120,169]],"passed":false},{"actual":[],"check":"explicit oracle 4","expected":[],"passed":true},{"actual":[[3,4,3]],"check":"explicit oracle 5","expected":[],"passed":false},{"actual":[[3,4,3],[5,12,5]],"check":"explicit oracle 6","expected":[[3,4,5]],"passed":false},{"actual":[[3,4,3],[5,12,5]],"check":"explicit oracle 7","expected":[[3,4,5]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit oracle 0\", \"actual\": [[3, 4, 3], [5, 12, 5]], \"expected\": [[3, 4, 5]], \"passed\": false}, {\"check\": \"explicit oracle 1\", \"actual\": [[3, 4, 3]], \"expected\": [], \"passed\": false}, {\"check\": \"explicit oracle 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 3\", \"actual\": [[3, 4, 3], [5, 12, 5], [7, 24, 7], [8, 15, 15], [9, 40, 9], [11, 60, 11], [12, 35, 35], [13, 84, 13], [15, 112, 15], [16, 63, 63], [17, 144, 17], [19, 180, 19], [20, 21, 21], [20, 99, 99], [21, 220, 21], [23, 264, 23], [24, 143, 143], [25, 312, 25], [27, 364, 27], [28, 45, 45], [33, 56, 33], [36, 77, 77], [39, 80, 39], [44, 117, 117], [48, 55, 55], [51, 140, 51], [52, 165, 165], [57, 176, 57], [60, 91, 91], [65, 72, 65], [69, 260, 69], [75, 308, 75], [85, 132, 85], [88, 105, 105], [95, 168, 95], [104, 153, 153], [105, 208, 105], [115, 252, 115], [119, 120, 119], [133, 156, 133], [140, 171, 171]], \"expected\": [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]], \"passed\": false}, {\"check\": \"explicit oracle 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 5\", \"actual\": [[3, 4, 3]], \"expected\": [], \"passed\": false}, {\"check\": \"explicit oracle 6\", \"actual\": [[3, 4, 3], [5, 12, 5]], \"expected\": [[3, 4, 5]], \"passed\": false}, {\"check\": \"explicit oracle 7\", \"actual\": [[3, 4, 3], [5, 12, 5]], \"expected\": [[3, 4, 5]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.936,"exit_code":1,"observations":[{"actual":[[2,3,5]],"check":"explicit oracle 0","expected":[[3,4,5]],"passed":false},{"actual":[],"check":"explicit oracle 1","expected":[],"passed":true},{"actual":[],"check":"explicit oracle 2","expected":[],"passed":true},{"actual":[[2,3,5],[4,15,17],[5,6,13],[6,35,37],[7,12,25],[8,63,65],[9,20,41],[10,21,29],[10,99,101],[11,30,61],[12,143,145],[13,42,85],[14,45,53],[15,56,113],[17,72,145],[18,77,85],[22,117,125],[24,55,73],[26,165,173],[28,33,65],[30,91,109],[36,65,97],[39,40,89],[44,105,137],[51,70,149],[60,119,169],[66,85,157]],"check":"explicit oracle 3","expected":[[3,4,5],[5,12,13],[7,24,25],[8,15,17],[9,40,41],[11,60,61],[12,35,37],[13,84,85],[15,112,113],[16,63,65],[17,144,145],[20,21,29],[20,99,101],[24,143,145],[28,45,53],[33,56,65],[36,77,85],[39,80,89],[44,117,125],[48,55,73],[51,140,149],[52,165,173],[60,91,109],[65,72,97],[85,132,157],[88,105,137],[119,120,169]],"passed":false},{"actual":[],"check":"explicit oracle 4","expected":[],"passed":true},{"actual":[],"check":"explicit oracle 5","expected":[],"passed":true},{"actual":[[2,3,5]],"check":"explicit oracle 6","expected":[[3,4,5]],"passed":false},{"actual":[[2,3,5]],"check":"explicit oracle 7","expected":[[3,4,5]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit oracle 0\", \"actual\": [[2, 3, 5]], \"expected\": [[3, 4, 5]], \"passed\": false}, {\"check\": \"explicit oracle 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 3\", \"actual\": [[2, 3, 5], [4, 15, 17], [5, 6, 13], [6, 35, 37], [7, 12, 25], [8, 63, 65], [9, 20, 41], [10, 21, 29], [10, 99, 101], [11, 30, 61], [12, 143, 145], [13, 42, 85], [14, 45, 53], [15, 56, 113], [17, 72, 145], [18, 77, 85], [22, 117, 125], [24, 55, 73], [26, 165, 173], [28, 33, 65], [30, 91, 109], [36, 65, 97], [39, 40, 89], [44, 105, 137], [51, 70, 149], [60, 119, 169], [66, 85, 157]], \"expected\": [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]], \"passed\": false}, {\"check\": \"explicit oracle 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 6\", \"actual\": [[2, 3, 5]], \"expected\": [[3, 4, 5]], \"passed\": false}, {\"check\": \"explicit oracle 7\", \"actual\": [[2, 3, 5]], \"expected\": [[3, 4, 5]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.681,"exit_code":0,"observations":[{"actual":[[3,4,5]],"check":"explicit oracle 0","expected":[[3,4,5]],"passed":true},{"actual":[],"check":"explicit oracle 1","expected":[],"passed":true},{"actual":[],"check":"explicit oracle 2","expected":[],"passed":true},{"actual":[[3,4,5],[5,12,13],[7,24,25],[8,15,17],[9,40,41],[11,60,61],[12,35,37],[13,84,85],[15,112,113],[16,63,65],[17,144,145],[20,21,29],[20,99,101],[24,143,145],[28,45,53],[33,56,65],[36,77,85],[39,80,89],[44,117,125],[48,55,73],[51,140,149],[52,165,173],[60,91,109],[65,72,97],[85,132,157],[88,105,137],[119,120,169]],"check":"explicit oracle 3","expected":[[3,4,5],[5,12,13],[7,24,25],[8,15,17],[9,40,41],[11,60,61],[12,35,37],[13,84,85],[15,112,113],[16,63,65],[17,144,145],[20,21,29],[20,99,101],[24,143,145],[28,45,53],[33,56,65],[36,77,85],[39,80,89],[44,117,125],[48,55,73],[51,140,149],[52,165,173],[60,91,109],[65,72,97],[85,132,157],[88,105,137],[119,120,169]],"passed":true},{"actual":[],"check":"explicit oracle 4","expected":[],"passed":true},{"actual":[],"check":"explicit oracle 5","expected":[],"passed":true},{"actual":[[3,4,5]],"check":"explicit oracle 6","expected":[[3,4,5]],"passed":true},{"actual":[[3,4,5]],"check":"explicit oracle 7","expected":[[3,4,5]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit oracle 0\", \"actual\": [[3, 4, 5]], \"expected\": [[3, 4, 5]], \"passed\": true}, {\"check\": \"explicit oracle 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 3\", \"actual\": [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]], \"expected\": [[3, 4, 5], [5, 12, 13], [7, 24, 25], [8, 15, 17], [9, 40, 41], [11, 60, 61], [12, 35, 37], [13, 84, 85], [15, 112, 113], [16, 63, 65], [17, 144, 145], [20, 21, 29], [20, 99, 101], [24, 143, 145], [28, 45, 53], [33, 56, 65], [36, 77, 85], [39, 80, 89], [44, 117, 125], [48, 55, 73], [51, 140, 149], [52, 165, 173], [60, 91, 109], [65, 72, 97], [85, 132, 157], [88, 105, 137], [119, 120, 169]], \"passed\": true}, {\"check\": \"explicit oracle 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit oracle 6\", \"actual\": [[3, 4, 5]], \"expected\": [[3, 4, 5]], \"passed\": true}, {\"check\": \"explicit oracle 7\", \"actual\": [[3, 4, 5]], \"expected\": [[3, 4, 5]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}