{
  "scope": "Sufficient criterion for continuous optima; local research only. Failures are inconclusive.",
  "selfTests": {
    "piEnclosure": "Machin identity + rational alternating series passed",
    "integerEnumeration": "Independent brute comparison at every N=19..400 passed"
  },
  "uniformAngleChecks": {
    "wall_cone": "35943738126105151795413/4000000000000000000000000",
    "five_angles": "1447473826794896619231319/1500000000000000000000000",
    "seven_angles": "2968941153589793238462637/3000000000000000000000000",
    "acute": "3042934653589793238462641/6000000000000000000000000",
    "wall_fan_one": "12319725614359172953850567/15000000000000000000000000",
    "wall_fan_five": "11949758114359172953850551/15000000000000000000000000",
    "corner_fan_three": "1447473826794896619231317/5000000000000000000000000",
    "mixed_modes": "81992309889249083008294269061036991025409635005908943021606172943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
    "same_sign_large": "5296605307179586476925283/7500000000000000000000000",
    "adjacent_straight": "12952444116197180081151975281668055973626706254927005638356172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
    "adjacent_zigzag": "1497292653589793238462643/10000000000000000000000000",
    "corner_color": "2155012653589793238462643/10000000000000000000000000",
    "corner_direction": "808129745096172464423491/3750000000000000000000000",
    "endpoint_monotonicity": "13279572260833019230037342399401683340836251158510131936667199/14062500000000000000000000000000000000000000000000000000000000"
  },
  "maxN": 400,
  "statusCounts": {
    "criterion passes (self-reviewed proof, not independent review)": 7,
    "no compressed candidate": 8,
    "outside the tested local-angle range": 339,
    "row projection test unresolved": 2,
    "universal-bound equality construction": 26
  },
  "passedNs": [
    52,
    99,
    120,
    187,
    188,
    270,
    304
  ],
  "detailed": [
    {
      "n": 52,
      "candidateSquared": "193/144",
      "candidateApprox": 1.1577036657874837,
      "candidate": {
        "K": 12,
        "L": 7,
        "phase": 0,
        "rows": [
          7,
          6,
          7,
          6,
          7,
          6,
          7,
          6
        ]
      },
      "epsilonCap": "375391/125000000",
      "deltaLower": "1000000000000000000000000000000000000000000000000/7398505840078262812877848713571875568745304971033",
      "deltaUpper": "500000000000000000000000/2695336621416721413062967",
      "wallSitesMinimum": 5,
      "constants": {
        "A": "1190820443397448309615661/7500000000000000000000000",
        "beta": "1126173/250000000",
        "B": "1007815883067973939981837222865711203891706677281/1000000000000000000000000000000000000000000000000",
        "S": "7/12"
      },
      "localChecks": {
        "wall_cone": "375194101250946366158717/36000000000000000000000000",
        "five_angles": "1503225946794896619231319/1500000000000000000000000",
        "seven_angles": "3046994121589793238462637/3000000000000000000000000",
        "acute": "3087536349589793238462641/6000000000000000000000000",
        "wall_fan_one": "12431229854359172953850567/15000000000000000000000000",
        "wall_fan_five": "12228518714359172953850551/15000000000000000000000000",
        "corner_fan_three": "1503225946794896619231317/5000000000000000000000000",
        "mixed_modes": "180912374699332379835278541927268370281232459098287084340586172943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5742622267179586476925283/7500000000000000000000000",
        "adjacent_straight": "319733350260328935428363850804867495482817669562421570082260172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "2240654253589793238462643/10000000000000000000000000",
        "corner_color": "2601029613589793238462643/10000000000000000000000000",
        "corner_direction": "975386105096172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "7826315707616233989071829403929925480674087461884247/8100000000000000000000000000000000000000000000000000",
        "epsilon_cap": "512485965246766028689228796108293322719/866025403784438646763723500000000000000000000000",
        "h_lt_quarter": "1537632955629237704026921/10781346485666885652251868",
        "wall_sites_at_least_four": "2"
      },
      "rowBarrier": {
        "forbiddenSteps": 8,
        "angleUpper": "2609798423397448309615661/7500000000000000000000000",
        "projectionLower": "123815382386922044364263665741734151024341108317525210945993604265354711239361653524712015338951550372827630028014063294880351694170867922076268821852039/118509757853402056433817298363635438492524282018914826660156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.04476951627968987
      },
      "representations": [
        {
          "family": "B1",
          "rows": [
            10,
            11,
            10,
            11,
            10
          ],
          "areaBoundSquared": "26/25",
          "result": "excluded by row projection barrier"
        },
        {
          "family": "B1",
          "rows": [
            7,
            8,
            7,
            8,
            7,
            8,
            7
          ],
          "areaBoundSquared": "58/49",
          "exclusionMargin": "16510961851511634497669616034323285983253234347430908572054995714810502683310695855245034152123016749074886753900955285157298312690259093755898791761037/32036132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "exclusionMarginApprox": 0.5153856099968881,
          "result": "excluded by incompatible spans"
        },
        {
          "family": "B0",
          "rows": [
            7,
            6,
            7,
            6,
            7,
            6,
            7,
            6
          ],
          "areaBoundSquared": "193/144",
          "result": "area bound reaches or exceeds candidate"
        },
        {
          "family": "B1",
          "rows": [
            6,
            7,
            6,
            7,
            6,
            7,
            6,
            7
          ],
          "areaBoundSquared": "193/144",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 99,
      "candidateSquared": "389/289",
      "candidateApprox": 1.160181348430354,
      "candidate": {
        "K": 17,
        "L": 10,
        "phase": 0,
        "rows": [
          9,
          9,
          9,
          9,
          9,
          9,
          9,
          9,
          9,
          9,
          9
        ]
      },
      "epsilonCap": "5480811/1000000000",
      "deltaLower": "400000000000000000000000000000000000000000000000/4092120450699204581360218623921957967269398883563",
      "deltaUpper": "2000000000000000000000000/15635693145022384705163261",
      "wallSitesMinimum": 7,
      "constants": {
        "A": "1525307648397448309615661/7500000000000000000000000",
        "beta": "16442433/2000000000",
        "B": "2028569245564559607723432768731361384528735723537/2000000000000000000000000000000000000000000000000",
        "S": "10/17"
      },
      "localChecks": {
        "wall_cone": "10388177251280388868874357/1156000000000000000000000000",
        "five_angles": "1447478079294896619231319/1500000000000000000000000",
        "seven_angles": "2968947107089793238462637/3000000000000000000000000",
        "acute": "3042938055589793238462641/6000000000000000000000000",
        "wall_fan_one": "12319734119359172953850567/15000000000000000000000000",
        "wall_fan_five": "11949779376859172953850551/15000000000000000000000000",
        "corner_fan_three": "1447478079294896619231317/5000000000000000000000000",
        "mixed_modes": "82000205183780365914311258670320332146089341597695548410709922943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5296639327179586476925283/7500000000000000000000000",
        "adjacent_straight": "12976727469701824655198497420381835310090284107187782818404172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "1497349353589793238462643/10000000000000000000000000",
        "corner_color": "2155046673589793238462643/10000000000000000000000000",
        "corner_direction": "808142502596172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "15351216828740955773028911494725436094363834314367731/16256250000000000000000000000000000000000000000000000",
        "epsilon_cap": "1643538530919380019518098615471264276463/1732050807568877293527447000000000000000000000000",
        "h_lt_quarter": "10994967751300968242089377/62542772580089538820653044",
        "wall_sites_at_least_four": "4"
      },
      "rowBarrier": {
        "forbiddenSteps": 12,
        "angleUpper": "5594809815897448309615661/7500000000000000000000000",
        "projectionLower": "112331711585623080782030983570072495647533153701733162606200062227015752994613905354357522393460014513725951594573890802324426645371889379576268821852039/109246428536122563713803688116666529228737492167386242675781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.028241500347815595
      },
      "representations": [
        {
          "family": "A",
          "rows": [
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11
          ],
          "areaBoundSquared": "505/441",
          "exclusionMargin": "60934764153958946021433966575444404790297007085696198443907955876862474778241737513100687444765622838693836076151374849738364859836200941811272159706897/54461425781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "exclusionMarginApprox": 1.1188609787542063,
          "result": "excluded by incompatible spans"
        },
        {
          "family": "A",
          "rows": [
            9,
            9,
            9,
            9,
            9,
            9,
            9,
            9,
            9,
            9,
            9
          ],
          "areaBoundSquared": "389/289",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 120,
      "candidateSquared": "482/361",
      "candidateApprox": 1.1554999157947445,
      "candidate": {
        "K": 19,
        "L": 11,
        "phase": 0,
        "rows": [
          10,
          10,
          10,
          10,
          10,
          10,
          10,
          10,
          10,
          10,
          10,
          10
        ]
      },
      "epsilonCap": "399689/500000000",
      "deltaLower": "2000000000000000000000000000000000000000000000000/22435485784630047886026833987756293720666157680461",
      "deltaUpper": "1000000000000000000000000/8708129562778496270200129",
      "wallSitesMinimum": 8,
      "constants": {
        "A": "893314193397448309615661/7500000000000000000000000",
        "beta": "1199067/1000000000",
        "B": "2004155605933121751254247609166981214174006598909/2000000000000000000000000000000000000000000000000",
        "S": "11/19"
      },
      "localChecks": {
        "wall_cone": "16889730061287959798144093/1444000000000000000000000000",
        "five_angles": "1552810321794896619231319/1500000000000000000000000",
        "seven_angles": "3116412246589793238462637/3000000000000000000000000",
        "acute": "3127203849589793238462641/6000000000000000000000000",
        "wall_fan_one": "12530398604359172953850567/15000000000000000000000000",
        "wall_fan_five": "12476440589359172953850551/15000000000000000000000000",
        "corner_fan_three": "1552810321794896619231317/5000000000000000000000000",
        "mixed_modes": "267511020500613722139312367272503992622157058600835371310898672943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "6139297267179586476925283/7500000000000000000000000",
        "adjacent_straight": "590410319730723974570456349257953084361437203529023213102260172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "2901779253589793238462643/10000000000000000000000000",
        "corner_color": "2997704613589793238462643/10000000000000000000000000",
        "corner_direction": "1124139230096172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "9960804530201794582858509733771752348924637711472039/10153125000000000000000000000000000000000000000000000",
        "epsilon_cap": "1012395556981326773279082785825993401091/1732050807568877293527447000000000000000000000000",
        "h_lt_quarter": "6397129731189006906862635/34832518251113985080800516",
        "wall_sites_at_least_four": "5"
      },
      "rowBarrier": {
        "forbiddenSteps": 12,
        "angleUpper": "1486852358397448309615661/7500000000000000000000000",
        "projectionLower": "126495641495331041431634446222452624163419582089286707684135697166079131636100600393735883237866166822493214906682123218243049185758638367076268821852039/119791033718227330875831752761774937419670133904219255371093750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.05596919543139013
      },
      "representations": [
        {
          "family": "A",
          "rows": [
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15
          ],
          "areaBoundSquared": "890/841",
          "result": "excluded by row projection barrier"
        },
        {
          "family": "A",
          "rows": [
            12,
            12,
            12,
            12,
            12,
            12,
            12,
            12,
            12,
            12
          ],
          "areaBoundSquared": "610/529",
          "exclusionMargin": "18763081446586354795968704230587528330584201984828990844358368457477372559545325142467103660644737691292914407031333610436789044452918279508655225811097979/9738984375000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "exclusionMarginApprox": 1.9265952920872567,
          "result": "excluded by incompatible spans"
        },
        {
          "family": "A",
          "rows": [
            10,
            10,
            10,
            10,
            10,
            10,
            10,
            10,
            10,
            10,
            10,
            10
          ],
          "areaBoundSquared": "482/361",
          "result": "area bound reaches or exceeds candidate"
        },
        {
          "family": "A",
          "rows": [
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8,
            8
          ],
          "areaBoundSquared": "421/225",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 187,
      "candidateSquared": "193/144",
      "candidateApprox": 1.1577036657874837,
      "candidate": {
        "K": 24,
        "L": 14,
        "phase": 1,
        "rows": [
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12
        ]
      },
      "epsilonCap": "375391/125000000",
      "deltaLower": "500000000000000000000000000000000000000000000000/7015088539273719759694635656035461999998827254469",
      "deltaUpper": "2000000000000000000000000/22237941872636202351069601",
      "wallSitesMinimum": 10,
      "constants": {
        "A": "1190820443397448309615661/7500000000000000000000000",
        "beta": "1126173/250000000",
        "B": "1007815883067973939981837222865711203891706677281/1000000000000000000000000000000000000000000000000",
        "S": "7/12"
      },
      "localChecks": {
        "wall_cone": "375194101250946366158717/36000000000000000000000000",
        "five_angles": "1503225946794896619231319/1500000000000000000000000",
        "seven_angles": "3046994121589793238462637/3000000000000000000000000",
        "acute": "3087536349589793238462641/6000000000000000000000000",
        "wall_fan_one": "12431229854359172953850567/15000000000000000000000000",
        "wall_fan_five": "12228518714359172953850551/15000000000000000000000000",
        "corner_fan_three": "1503225946794896619231317/5000000000000000000000000",
        "mixed_modes": "180912374699332379835278541927268370281232459098287084340586172943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5742622267179586476925283/7500000000000000000000000",
        "adjacent_straight": "319733350260328935428363850804867495482817669562421570082260172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "2240654253589793238462643/10000000000000000000000000",
        "corner_color": "2601029613589793238462643/10000000000000000000000000",
        "corner_direction": "975386105096172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "7826315707616233989071829403929925480674087461884247/8100000000000000000000000000000000000000000000000000",
        "epsilon_cap": "512485965246766028689228796108293322719/866025403784438646763723500000000000000000000000",
        "h_lt_quarter": "17607127209486267514925417/88951767490544809404278404",
        "wall_sites_at_least_four": "7"
      },
      "rowBarrier": {
        "forbiddenSteps": 16,
        "angleUpper": "4231487543397448309615661/7500000000000000000000000",
        "projectionLower": "118934589564865427823932556863255135982105419603162428742682084059326135415525713324516517647709289608287775719073555666576503968061752562076268821852039/112368154067809754256241466160275063920879652384206809082031250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.05843680134758722
      },
      "representations": [
        {
          "family": "A",
          "rows": [
            17,
            17,
            17,
            17,
            17,
            17,
            17,
            17,
            17,
            17,
            17
          ],
          "areaBoundSquared": "1189/1089",
          "result": "excluded by row projection barrier"
        },
        {
          "family": "B1",
          "rows": [
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12
          ],
          "areaBoundSquared": "193/144",
          "result": "area bound reaches or exceeds candidate"
        },
        {
          "family": "A",
          "rows": [
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11,
            11
          ],
          "areaBoundSquared": "697/441",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 188,
      "candidateSquared": "193/144",
      "candidateApprox": 1.1577036657874837,
      "candidate": {
        "K": 24,
        "L": 14,
        "phase": 0,
        "rows": [
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13,
          12,
          13
        ]
      },
      "epsilonCap": "375391/125000000",
      "deltaLower": "500000000000000000000000000000000000000000000000/7033820451228959343449579486565209085663295544621",
      "deltaUpper": "2000000000000000000000000/22302662793917894643092049",
      "wallSitesMinimum": 10,
      "constants": {
        "A": "1190820443397448309615661/7500000000000000000000000",
        "beta": "1126173/250000000",
        "B": "1007815883067973939981837222865711203891706677281/1000000000000000000000000000000000000000000000000",
        "S": "7/12"
      },
      "localChecks": {
        "wall_cone": "375194101250946366158717/36000000000000000000000000",
        "five_angles": "1503225946794896619231319/1500000000000000000000000",
        "seven_angles": "3046994121589793238462637/3000000000000000000000000",
        "acute": "3087536349589793238462641/6000000000000000000000000",
        "wall_fan_one": "12431229854359172953850567/15000000000000000000000000",
        "wall_fan_five": "12228518714359172953850551/15000000000000000000000000",
        "corner_fan_three": "1503225946794896619231317/5000000000000000000000000",
        "mixed_modes": "180912374699332379835278541927268370281232459098287084340586172943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5742622267179586476925283/7500000000000000000000000",
        "adjacent_straight": "319733350260328935428363850804867495482817669562421570082260172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "2240654253589793238462643/10000000000000000000000000",
        "corner_color": "2601029613589793238462643/10000000000000000000000000",
        "corner_direction": "975386105096172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "7826315707616233989071829403929925480674087461884247/8100000000000000000000000000000000000000000000000000",
        "epsilon_cap": "512485965246766028689228796108293322719/866025403784438646763723500000000000000000000000",
        "h_lt_quarter": "17671848130767959806947865/89210651175671578572368196",
        "wall_sites_at_least_four": "7"
      },
      "rowBarrier": {
        "forbiddenSteps": 16,
        "angleUpper": "4231487543397448309615661/7500000000000000000000000",
        "projectionLower": "118934589564865427823932556863255135982105419603162428742682084059326135415525713324516517647709289608287775719073555666576503968061752562076268821852039/112668203077424810186456765164439298855070512861958937988281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.05561805652597832
      },
      "representations": [
        {
          "family": "B1",
          "rows": [
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14
          ],
          "areaBoundSquared": "58/49",
          "exclusionMargin": "25931473607847190078972042999027992057189441407699692552731606258438435532566138837723221596126380867093679535565056021929412518108422573755898791761037/16018066406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "exclusionMarginApprox": 1.6188891311955813,
          "result": "excluded by incompatible spans"
        },
        {
          "family": "B0",
          "rows": [
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13,
            12,
            13
          ],
          "areaBoundSquared": "193/144",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 270,
      "candidateSquared": "1130/841",
      "candidateApprox": 1.1591542285497662,
      "candidate": {
        "K": 29,
        "L": 17,
        "phase": 0,
        "rows": [
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15,
          15
        ]
      },
      "epsilonCap": "4453691/1000000000",
      "deltaLower": "500000000000000000000000000000000000000000000000/8439914575502765756456665758171167182449123166419",
      "deltaUpper": "500000000000000000000000/6781097172083872202650097",
      "wallSitesMinimum": 12,
      "constants": {
        "A": "1386646448397448309615661/7500000000000000000000000",
        "beta": "13361073/2000000000",
        "B": "1011600780961206880188026403138853525318821977169/1000000000000000000000000000000000000000000000000",
        "S": "17/29"
      },
      "localChecks": {
        "wall_cone": "32233415461338432659942333/3364000000000000000000000000",
        "five_angles": "1470588279294896619231319/1500000000000000000000000",
        "seven_angles": "3001301387089793238462637/3000000000000000000000000",
        "acute": "3061426215589793238462641/6000000000000000000000000",
        "wall_fan_one": "12365954519359172953850567/15000000000000000000000000",
        "wall_fan_five": "12065330376859172953850551/15000000000000000000000000",
        "corner_fan_three": "1470588279294896619231317/5000000000000000000000000",
        "mixed_modes": "123190459428931288789014923596443980317108816760966062994009922943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5481520927179586476925283/7500000000000000000000000",
        "adjacent_straight": "140420310005604939921664152711746247462677193388084381606244172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "1805485353589793238462643/10000000000000000000000000",
        "corner_color": "2339928273589793238462643/10000000000000000000000000",
        "corner_direction": "877473102596172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "4513349913867581927615121648047951936923170379237927/4730625000000000000000000000000000000000000000000000",
        "epsilon_cap": "718355295867373864228455974681178022831/866025403784438646763723500000000000000000000000",
        "h_lt_quarter": "5621942943534105920517443/27124388688335488810600388",
        "wall_sites_at_least_four": "9"
      },
      "rowBarrier": {
        "forbiddenSteps": 21,
        "angleUpper": "7399129298397448309615661/7500000000000000000000000",
        "projectionLower": "725665768973165278091891204758410175782221463593302915076161366241752094741023247839270088791883204040434752205917769742845952535882316974533881752964273/721019264711896433959794063012513383906884076756185664062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.006444355218616088
      },
      "representations": [
        {
          "family": "B0",
          "rows": [
            23,
            22,
            23,
            22,
            23,
            22,
            23,
            22,
            23,
            22,
            23,
            22
          ],
          "areaBoundSquared": "17/16",
          "result": "excluded by row projection barrier"
        },
        {
          "family": "B1",
          "rows": [
            22,
            23,
            22,
            23,
            22,
            23,
            22,
            23,
            22,
            23,
            22,
            23
          ],
          "areaBoundSquared": "17/16",
          "result": "excluded by row projection barrier"
        },
        {
          "family": "A",
          "rows": [
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18,
            18
          ],
          "areaBoundSquared": "29/25",
          "exclusionMargin": "3668181680467786245640029915199094437896256495537073453541491862860403323319872070006955685899998007399188783133173623056347406478853126561000406935547051/1858095703125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "exclusionMarginApprox": 1.9741618659892117,
          "result": "excluded by incompatible spans"
        },
        {
          "family": "A",
          "rows": [
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15,
            15
          ],
          "areaBoundSquared": "1130/841",
          "result": "area bound reaches or exceeds candidate"
        },
        {
          "family": "B0",
          "rows": [
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13
          ],
          "areaBoundSquared": "1037/676",
          "result": "area bound reaches or exceeds candidate"
        },
        {
          "family": "B1",
          "rows": [
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14,
            13,
            14
          ],
          "areaBoundSquared": "1037/676",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 304,
      "candidateSquared": "1285/961",
      "candidateApprox": 1.1563515050925754,
      "candidate": {
        "K": 31,
        "L": 18,
        "phase": 0,
        "rows": [
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16,
          16
        ]
      },
      "epsilonCap": "1650967/1000000000",
      "deltaLower": "1000000000000000000000000000000000000000000000000/17867821388031864837413001956002393101035981879989",
      "deltaUpper": "2000000000000000000000000/28903788872746609296018977",
      "wallSitesMinimum": 13,
      "constants": {
        "A": "1008278708397448309615661/7500000000000000000000000",
        "beta": "4952901/2000000000",
        "B": "1004293426377503343860289367407245262941742397701/1000000000000000000000000000000000000000000000000",
        "S": "18/31"
      },
      "localChecks": {
        "wall_cone": "43069336811351050875391893/3844000000000000000000000000",
        "five_angles": "1533649569294896619231319/1500000000000000000000000",
        "seven_angles": "3089587193089793238462637/3000000000000000000000000",
        "acute": "3111875247589793238462641/6000000000000000000000000",
        "wall_fan_one": "12492077099359172953850567/15000000000000000000000000",
        "wall_fan_five": "12380636826859172953850551/15000000000000000000000000",
        "corner_fan_three": "1533649569294896619231317/5000000000000000000000000",
        "mixed_modes": "234210947208116993938258586521908807056397373353674013102044922943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5986011247179586476925283/7500000000000000000000000",
        "adjacent_straight": "486082949609788746635899117454603859894826547968689996277412172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "2646302553589793238462643/10000000000000000000000000",
        "corner_color": "2844418593589793238462643/10000000000000000000000000",
        "corner_direction": "1066656972596172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "10549977129871439963699746752266161161674821128001303/10811250000000000000000000000000000000000000000000000",
        "epsilon_cap": "248268700668410737045962237058257602299/866025403784438646763723500000000000000000000000",
        "h_lt_quarter": "24278382852376307189243913/115615155490986437184075908",
        "wall_sites_at_least_four": "10"
      },
      "rowBarrier": {
        "forbiddenSteps": 19,
        "angleUpper": "3014203613397448309615661/7500000000000000000000000",
        "projectionLower": "2339957537966782312185435523484370030721948646411671697614056465453089565907704785272183926708243748251829637534480522679888872477073803084449107615188741/2289663596228067679653646598307259787810489787394684160156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "projectionMarginApprox": 0.02196564675333423
      },
      "representations": [
        {
          "family": "A",
          "rows": [
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19,
            19
          ],
          "areaBoundSquared": "1594/1369",
          "exclusionMargin": "2695920629566140052210135446889976249073410423515237758108054847686443814551066920602011056861827092078577205314042259160085759434892623406565050237790961/882773437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "exclusionMarginApprox": 3.053921329124881,
          "result": "excluded by incompatible spans"
        },
        {
          "family": "A",
          "rows": [
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16,
            16
          ],
          "areaBoundSquared": "1285/961",
          "result": "area bound reaches or exceeds candidate"
        },
        {
          "family": "B1",
          "rows": [
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14,
            15,
            14
          ],
          "areaBoundSquared": "74/49",
          "result": "area bound reaches or exceeds candidate"
        }
      ],
      "status": "criterion passes (self-reviewed proof, not independent review)"
    },
    {
      "n": 367,
      "candidateSquared": "389/289",
      "candidateApprox": 1.160181348430354,
      "candidate": {
        "K": 34,
        "L": 20,
        "phase": 1,
        "rows": [
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17
        ]
      },
      "epsilonCap": "5480811/1000000000",
      "deltaLower": "400000000000000000000000000000000000000000000000/7878868343067834995139199473313991536628456604457",
      "deltaUpper": "500000000000000000000000/7988832752016962809354957",
      "wallSitesMinimum": 14,
      "constants": {
        "A": "1525307648397448309615661/7500000000000000000000000",
        "beta": "16442433/2000000000",
        "B": "2028569245564559607723432768731361384528735723537/2000000000000000000000000000000000000000000000000",
        "S": "10/17"
      },
      "localChecks": {
        "wall_cone": "10388177251280388868874357/1156000000000000000000000000",
        "five_angles": "1447478079294896619231319/1500000000000000000000000",
        "seven_angles": "2968947107089793238462637/3000000000000000000000000",
        "acute": "3042938055589793238462641/6000000000000000000000000",
        "wall_fan_one": "12319734119359172953850567/15000000000000000000000000",
        "wall_fan_five": "11949779376859172953850551/15000000000000000000000000",
        "corner_fan_three": "1447478079294896619231317/5000000000000000000000000",
        "mixed_modes": "82000205183780365914311258670320332146089341597695548410709922943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5296639327179586476925283/7500000000000000000000000",
        "adjacent_straight": "12976727469701824655198497420381835310090284107187782818404172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "1497349353589793238462643/10000000000000000000000000",
        "corner_color": "2155046673589793238462643/10000000000000000000000000",
        "corner_direction": "808142502596172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "15351216828740955773028911494725436094363834314367731/16256250000000000000000000000000000000000000000000000",
        "epsilon_cap": "1643538530919380019518098615471264276463/1732050807568877293527447000000000000000000000000",
        "h_lt_quarter": "3414325701793304346793243/15977665504033925618709914",
        "wall_sites_at_least_four": "11"
      },
      "status": "row projection test unresolved"
    },
    {
      "n": 368,
      "candidateSquared": "389/289",
      "candidateApprox": 1.160181348430354,
      "candidate": {
        "K": 34,
        "L": 20,
        "phase": 0,
        "rows": [
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18,
          17,
          18
        ]
      },
      "epsilonCap": "5480811/1000000000",
      "deltaLower": "125000000000000000000000000000000000000000000000/2465498498117334526666984175459990701228575158007",
      "deltaUpper": "400000000000000000000000/6400312041431757451244853",
      "wallSitesMinimum": 14,
      "constants": {
        "A": "1525307648397448309615661/7500000000000000000000000",
        "beta": "16442433/2000000000",
        "B": "2028569245564559607723432768731361384528735723537/2000000000000000000000000000000000000000000000000",
        "S": "10/17"
      },
      "localChecks": {
        "wall_cone": "10388177251280388868874357/1156000000000000000000000000",
        "five_angles": "1447478079294896619231319/1500000000000000000000000",
        "seven_angles": "2968947107089793238462637/3000000000000000000000000",
        "acute": "3042938055589793238462641/6000000000000000000000000",
        "wall_fan_one": "12319734119359172953850567/15000000000000000000000000",
        "wall_fan_five": "11949779376859172953850551/15000000000000000000000000",
        "corner_fan_three": "1447478079294896619231317/5000000000000000000000000",
        "mixed_modes": "82000205183780365914311258670320332146089341597695548410709922943631838293/1265625000000000000000000000000000000000000000000000000000000000000000000000",
        "same_sign_large": "5296639327179586476925283/7500000000000000000000000",
        "adjacent_straight": "12976727469701824655198497420381835310090284107187782818404172943631838293/3456000000000000000000000000000000000000000000000000000000000000000000000000",
        "adjacent_zigzag": "1497349353589793238462643/10000000000000000000000000",
        "corner_color": "2155046673589793238462643/10000000000000000000000000",
        "corner_direction": "808142502596172464423491/3750000000000000000000000",
        "endpoint_monotonicity": "15351216828740955773028911494725436094363834314367731/16256250000000000000000000000000000000000000000000000",
        "epsilon_cap": "1643538530919380019518098615471264276463/1732050807568877293527447000000000000000000000000",
        "h_lt_quarter": "27360834813437370793150381/128006240828635149024897060",
        "wall_sites_at_least_four": "11"
      },
      "status": "row projection test unresolved"
    }
  ],
  "allScreeningResults": [
    {
      "n": 19,
      "status": "no compressed candidate"
    },
    {
      "n": 20,
      "status": "universal-bound equality construction"
    },
    {
      "n": 21,
      "status": "outside the tested local-angle range",
      "candidateSquared": "61/36"
    },
    {
      "n": 22,
      "status": "universal-bound equality construction"
    },
    {
      "n": 23,
      "status": "universal-bound equality construction"
    },
    {
      "n": 24,
      "status": "outside the tested local-angle range",
      "candidateSquared": "74/49"
    },
    {
      "n": 25,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 26,
      "status": "outside the tested local-angle range",
      "candidateSquared": "17"
    },
    {
      "n": 27,
      "status": "outside the tested local-angle range",
      "candidateSquared": "89/64"
    },
    {
      "n": 28,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/49"
    },
    {
      "n": 29,
      "status": "no compressed candidate"
    },
    {
      "n": 30,
      "status": "universal-bound equality construction"
    },
    {
      "n": 31,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 32,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 33,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 34,
      "status": "outside the tested local-angle range",
      "candidateSquared": "265/9"
    },
    {
      "n": 35,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 36,
      "status": "outside the tested local-angle range",
      "candidateSquared": "113/64"
    },
    {
      "n": 37,
      "status": "outside the tested local-angle range",
      "candidateSquared": "53/4"
    },
    {
      "n": 38,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 39,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 40,
      "status": "outside the tested local-angle range",
      "candidateSquared": "130/81"
    },
    {
      "n": 41,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 42,
      "status": "universal-bound equality construction"
    },
    {
      "n": 43,
      "status": "outside the tested local-angle range",
      "candidateSquared": "17"
    },
    {
      "n": 44,
      "status": "outside the tested local-angle range",
      "candidateSquared": "149/100"
    },
    {
      "n": 45,
      "status": "outside the tested local-angle range",
      "candidateSquared": "145/81"
    },
    {
      "n": 46,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 47,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/4"
    },
    {
      "n": 48,
      "status": "outside the tested local-angle range",
      "candidateSquared": "170/121"
    },
    {
      "n": 49,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 50,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 51,
      "status": "outside the tested local-angle range",
      "candidateSquared": "281/25"
    },
    {
      "n": 52,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "193/144"
    },
    {
      "n": 53,
      "status": "outside the tested local-angle range",
      "candidateSquared": "58/9"
    },
    {
      "n": 54,
      "status": "outside the tested local-angle range",
      "candidateSquared": "185/121"
    },
    {
      "n": 55,
      "status": "outside the tested local-angle range",
      "candidateSquared": "181/100"
    },
    {
      "n": 56,
      "status": "universal-bound equality construction"
    },
    {
      "n": 57,
      "status": "outside the tested local-angle range",
      "candidateSquared": "349/25"
    },
    {
      "n": 58,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 59,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 60,
      "status": "outside the tested local-angle range",
      "candidateSquared": "202/121"
    },
    {
      "n": 61,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 62,
      "status": "outside the tested local-angle range",
      "candidateSquared": "37"
    },
    {
      "n": 63,
      "status": "outside the tested local-angle range",
      "candidateSquared": "233/169"
    },
    {
      "n": 64,
      "status": "outside the tested local-angle range",
      "candidateSquared": "274/49"
    },
    {
      "n": 65,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 66,
      "status": "outside the tested local-angle range",
      "candidateSquared": "221/121"
    },
    {
      "n": 67,
      "status": "universal-bound equality construction"
    },
    {
      "n": 68,
      "status": "universal-bound equality construction"
    },
    {
      "n": 69,
      "status": "outside the tested local-angle range",
      "candidateSquared": "509/25"
    },
    {
      "n": 70,
      "status": "outside the tested local-angle range",
      "candidateSquared": "250/169"
    },
    {
      "n": 71,
      "status": "outside the tested local-angle range",
      "candidateSquared": "61/36"
    },
    {
      "n": 72,
      "status": "universal-bound equality construction"
    },
    {
      "n": 73,
      "status": "outside the tested local-angle range",
      "candidateSquared": "109/9"
    },
    {
      "n": 74,
      "status": "outside the tested local-angle range",
      "candidateSquared": "109/9"
    },
    {
      "n": 75,
      "status": "outside the tested local-angle range",
      "candidateSquared": "277/196"
    },
    {
      "n": 76,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 77,
      "status": "outside the tested local-angle range",
      "candidateSquared": "269/169"
    },
    {
      "n": 78,
      "status": "outside the tested local-angle range",
      "candidateSquared": "265/144"
    },
    {
      "n": 79,
      "status": "no compressed candidate"
    },
    {
      "n": 80,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 81,
      "status": "outside the tested local-angle range",
      "candidateSquared": "353/64"
    },
    {
      "n": 82,
      "status": "outside the tested local-angle range",
      "candidateSquared": "74/49"
    },
    {
      "n": 83,
      "status": "outside the tested local-angle range",
      "candidateSquared": "74/49"
    },
    {
      "n": 84,
      "status": "outside the tested local-angle range",
      "candidateSquared": "290/169"
    },
    {
      "n": 85,
      "status": "universal-bound equality construction"
    },
    {
      "n": 86,
      "status": "outside the tested local-angle range",
      "candidateSquared": "97/16"
    },
    {
      "n": 87,
      "status": "outside the tested local-angle range",
      "candidateSquared": "17"
    },
    {
      "n": 88,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 89,
      "status": "no compressed candidate"
    },
    {
      "n": 90,
      "status": "outside the tested local-angle range",
      "candidateSquared": "317/196"
    },
    {
      "n": 91,
      "status": "outside the tested local-angle range",
      "candidateSquared": "313/169"
    },
    {
      "n": 92,
      "status": "outside the tested local-angle range",
      "candidateSquared": "533/49"
    },
    {
      "n": 93,
      "status": "outside the tested local-angle range",
      "candidateSquared": "89/64"
    },
    {
      "n": 94,
      "status": "outside the tested local-angle range",
      "candidateSquared": "89/64"
    },
    {
      "n": 95,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 96,
      "status": "outside the tested local-angle range",
      "candidateSquared": "346/225"
    },
    {
      "n": 97,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/49"
    },
    {
      "n": 98,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/49"
    },
    {
      "n": 99,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "389/289"
    },
    {
      "n": 100,
      "status": "outside the tested local-angle range",
      "candidateSquared": "442/81"
    },
    {
      "n": 101,
      "status": "outside the tested local-angle range",
      "candidateSquared": "205/9"
    },
    {
      "n": 102,
      "status": "outside the tested local-angle range",
      "candidateSquared": "377/256"
    },
    {
      "n": 103,
      "status": "outside the tested local-angle range",
      "candidateSquared": "137/16"
    },
    {
      "n": 104,
      "status": "universal-bound equality construction"
    },
    {
      "n": 105,
      "status": "universal-bound equality construction"
    },
    {
      "n": 106,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2713/9"
    },
    {
      "n": 107,
      "status": "outside the tested local-angle range",
      "candidateSquared": "445/4"
    },
    {
      "n": 108,
      "status": "outside the tested local-angle range",
      "candidateSquared": "410/289"
    },
    {
      "n": 109,
      "status": "outside the tested local-angle range",
      "candidateSquared": "26"
    },
    {
      "n": 110,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 111,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 112,
      "status": "outside the tested local-angle range",
      "candidateSquared": "394/225"
    },
    {
      "n": 113,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 114,
      "status": "outside the tested local-angle range",
      "candidateSquared": "445/324"
    },
    {
      "n": 115,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 116,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 117,
      "status": "outside the tested local-angle range",
      "candidateSquared": "433/289"
    },
    {
      "n": 118,
      "status": "outside the tested local-angle range",
      "candidateSquared": "533/4"
    },
    {
      "n": 119,
      "status": "outside the tested local-angle range",
      "candidateSquared": "425/256"
    },
    {
      "n": 120,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "482/361"
    },
    {
      "n": 121,
      "status": "outside the tested local-angle range",
      "candidateSquared": "541/100"
    },
    {
      "n": 122,
      "status": "outside the tested local-angle range",
      "candidateSquared": "185/16"
    },
    {
      "n": 123,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 124,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 125,
      "status": "outside the tested local-angle range",
      "candidateSquared": "73/9"
    },
    {
      "n": 126,
      "status": "universal-bound equality construction"
    },
    {
      "n": 127,
      "status": "outside the tested local-angle range",
      "candidateSquared": "113/64"
    },
    {
      "n": 128,
      "status": "outside the tested local-angle range",
      "candidateSquared": "113/64"
    },
    {
      "n": 129,
      "status": "outside the tested local-angle range",
      "candidateSquared": "37"
    },
    {
      "n": 130,
      "status": "outside the tested local-angle range",
      "candidateSquared": "505/361"
    },
    {
      "n": 131,
      "status": "outside the tested local-angle range",
      "candidateSquared": "53/4"
    },
    {
      "n": 132,
      "status": "outside the tested local-angle range",
      "candidateSquared": "562/121"
    },
    {
      "n": 133,
      "status": "outside the tested local-angle range",
      "candidateSquared": "493/324"
    },
    {
      "n": 134,
      "status": "outside the tested local-angle range",
      "candidateSquared": "485"
    },
    {
      "n": 135,
      "status": "outside the tested local-angle range",
      "candidateSquared": "485/289"
    },
    {
      "n": 136,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 137,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 138,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 139,
      "status": "outside the tested local-angle range",
      "candidateSquared": "241/16"
    },
    {
      "n": 140,
      "status": "outside the tested local-angle range",
      "candidateSquared": "530/361"
    },
    {
      "n": 141,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2141/25"
    },
    {
      "n": 142,
      "status": "outside the tested local-angle range",
      "candidateSquared": "130/81"
    },
    {
      "n": 143,
      "status": "universal-bound equality construction"
    },
    {
      "n": 144,
      "status": "outside the tested local-angle range",
      "candidateSquared": "514/289"
    },
    {
      "n": 145,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 146,
      "status": "outside the tested local-angle range",
      "candidateSquared": "577"
    },
    {
      "n": 147,
      "status": "outside the tested local-angle range",
      "candidateSquared": "569/400"
    },
    {
      "n": 148,
      "status": "outside the tested local-angle range",
      "candidateSquared": "194/25"
    },
    {
      "n": 149,
      "status": "outside the tested local-angle range",
      "candidateSquared": "157/36"
    },
    {
      "n": 150,
      "status": "outside the tested local-angle range",
      "candidateSquared": "557/361"
    },
    {
      "n": 151,
      "status": "outside the tested local-angle range",
      "candidateSquared": "50"
    },
    {
      "n": 152,
      "status": "outside the tested local-angle range",
      "candidateSquared": "61/36"
    },
    {
      "n": 153,
      "status": "outside the tested local-angle range",
      "candidateSquared": "545/289"
    },
    {
      "n": 154,
      "status": "outside the tested local-angle range",
      "candidateSquared": "610/441"
    },
    {
      "n": 155,
      "status": "outside the tested local-angle range",
      "candidateSquared": "109/9"
    },
    {
      "n": 156,
      "status": "outside the tested local-angle range",
      "candidateSquared": "673/144"
    },
    {
      "n": 157,
      "status": "outside the tested local-angle range",
      "candidateSquared": "149/100"
    },
    {
      "n": 158,
      "status": "outside the tested local-angle range",
      "candidateSquared": "149/100"
    },
    {
      "n": 159,
      "status": "outside the tested local-angle range",
      "candidateSquared": "221/25"
    },
    {
      "n": 160,
      "status": "outside the tested local-angle range",
      "candidateSquared": "586/361"
    },
    {
      "n": 161,
      "status": "outside the tested local-angle range",
      "candidateSquared": "653/484"
    },
    {
      "n": 162,
      "status": "outside the tested local-angle range",
      "candidateSquared": "145/81"
    },
    {
      "n": 163,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 164,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1649/49"
    },
    {
      "n": 165,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 166,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/4"
    },
    {
      "n": 167,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/4"
    },
    {
      "n": 168,
      "status": "universal-bound equality construction"
    },
    {
      "n": 169,
      "status": "outside the tested local-angle range",
      "candidateSquared": "769/144"
    },
    {
      "n": 170,
      "status": "outside the tested local-angle range",
      "candidateSquared": "617/361"
    },
    {
      "n": 171,
      "status": "outside the tested local-angle range",
      "candidateSquared": "613/324"
    },
    {
      "n": 172,
      "status": "outside the tested local-angle range",
      "candidateSquared": "170/121"
    },
    {
      "n": 173,
      "status": "outside the tested local-angle range",
      "candidateSquared": "170/121"
    },
    {
      "n": 174,
      "status": "outside the tested local-angle range",
      "candidateSquared": "905/121"
    },
    {
      "n": 175,
      "status": "outside the tested local-angle range",
      "candidateSquared": "745/169"
    },
    {
      "n": 176,
      "status": "outside the tested local-angle range",
      "candidateSquared": "74/49"
    },
    {
      "n": 177,
      "status": "outside the tested local-angle range",
      "candidateSquared": "3389/25"
    },
    {
      "n": 178,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 179,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 180,
      "status": "outside the tested local-angle range",
      "candidateSquared": "725/529"
    },
    {
      "n": 181,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 182,
      "status": "outside the tested local-angle range",
      "candidateSquared": "794/169"
    },
    {
      "n": 183,
      "status": "outside the tested local-angle range",
      "candidateSquared": "145"
    },
    {
      "n": 184,
      "status": "outside the tested local-angle range",
      "candidateSquared": "709/484"
    },
    {
      "n": 185,
      "status": "outside the tested local-angle range",
      "candidateSquared": "17"
    },
    {
      "n": 186,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1021/121"
    },
    {
      "n": 187,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "193/144"
    },
    {
      "n": 188,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "193/144"
    },
    {
      "n": 189,
      "status": "outside the tested local-angle range",
      "candidateSquared": "689/400"
    },
    {
      "n": 190,
      "status": "outside the tested local-angle range",
      "candidateSquared": "685/361"
    },
    {
      "n": 191,
      "status": "no compressed candidate"
    },
    {
      "n": 192,
      "status": "outside the tested local-angle range",
      "candidateSquared": "754/529"
    },
    {
      "n": 193,
      "status": "outside the tested local-angle range",
      "candidateSquared": "314/25"
    },
    {
      "n": 194,
      "status": "outside the tested local-angle range",
      "candidateSquared": "457/16"
    },
    {
      "n": 195,
      "status": "universal-bound equality construction"
    },
    {
      "n": 196,
      "status": "outside the tested local-angle range",
      "candidateSquared": "185/121"
    },
    {
      "n": 197,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1525/4"
    },
    {
      "n": 198,
      "status": "outside the tested local-angle range",
      "candidateSquared": "730/441"
    },
    {
      "n": 199,
      "status": "outside the tested local-angle range",
      "candidateSquared": "181/100"
    },
    {
      "n": 200,
      "status": "outside the tested local-angle range",
      "candidateSquared": "89/64"
    },
    {
      "n": 201,
      "status": "outside the tested local-angle range",
      "candidateSquared": "29/4"
    },
    {
      "n": 202,
      "status": "outside the tested local-angle range",
      "candidateSquared": "218/49"
    },
    {
      "n": 203,
      "status": "outside the tested local-angle range",
      "candidateSquared": "218/49"
    },
    {
      "n": 204,
      "status": "outside the tested local-angle range",
      "candidateSquared": "785/529"
    },
    {
      "n": 205,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1681/81"
    },
    {
      "n": 206,
      "status": "outside the tested local-angle range",
      "candidateSquared": "850/9"
    },
    {
      "n": 207,
      "status": "outside the tested local-angle range",
      "candidateSquared": "773/484"
    },
    {
      "n": 208,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 209,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/49"
    },
    {
      "n": 210,
      "status": "outside the tested local-angle range",
      "candidateSquared": "761/400"
    },
    {
      "n": 211,
      "status": "outside the tested local-angle range",
      "candidateSquared": "545/16"
    },
    {
      "n": 212,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 213,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 214,
      "status": "outside the tested local-angle range",
      "candidateSquared": "73/9"
    },
    {
      "n": 215,
      "status": "outside the tested local-angle range",
      "candidateSquared": "73/9"
    },
    {
      "n": 216,
      "status": "universal-bound equality construction"
    },
    {
      "n": 217,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 218,
      "status": "outside the tested local-angle range",
      "candidateSquared": "202/121"
    },
    {
      "n": 219,
      "status": "outside the tested local-angle range",
      "candidateSquared": "202/121"
    },
    {
      "n": 220,
      "status": "outside the tested local-angle range",
      "candidateSquared": "802/441"
    },
    {
      "n": 221,
      "status": "outside the tested local-angle range",
      "candidateSquared": "881/625"
    },
    {
      "n": 222,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1417/121"
    },
    {
      "n": 223,
      "status": "outside the tested local-angle range",
      "candidateSquared": "485"
    },
    {
      "n": 224,
      "status": "universal-bound equality construction"
    },
    {
      "n": 225,
      "status": "outside the tested local-angle range",
      "candidateSquared": "865/576"
    },
    {
      "n": 226,
      "status": "outside the tested local-angle range",
      "candidateSquared": "17"
    },
    {
      "n": 227,
      "status": "outside the tested local-angle range",
      "candidateSquared": "325/36"
    },
    {
      "n": 228,
      "status": "outside the tested local-angle range",
      "candidateSquared": "853/529"
    },
    {
      "n": 229,
      "status": "outside the tested local-angle range",
      "candidateSquared": "233/169"
    },
    {
      "n": 230,
      "status": "outside the tested local-angle range",
      "candidateSquared": "233/169"
    },
    {
      "n": 231,
      "status": "outside the tested local-angle range",
      "candidateSquared": "841/441"
    },
    {
      "n": 232,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1009/225"
    },
    {
      "n": 233,
      "status": "outside the tested local-angle range",
      "candidateSquared": "274/49"
    },
    {
      "n": 234,
      "status": "outside the tested local-angle range",
      "candidateSquared": "914/625"
    },
    {
      "n": 235,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2197/81"
    },
    {
      "n": 236,
      "status": "outside the tested local-angle range",
      "candidateSquared": "466/25"
    },
    {
      "n": 237,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 238,
      "status": "outside the tested local-angle range",
      "candidateSquared": "985/729"
    },
    {
      "n": 239,
      "status": "outside the tested local-angle range",
      "candidateSquared": "173/4"
    },
    {
      "n": 240,
      "status": "outside the tested local-angle range",
      "candidateSquared": "890/529"
    },
    {
      "n": 241,
      "status": "outside the tested local-angle range",
      "candidateSquared": "221/121"
    },
    {
      "n": 242,
      "status": "outside the tested local-angle range",
      "candidateSquared": "221/121"
    },
    {
      "n": 243,
      "status": "outside the tested local-angle range",
      "candidateSquared": "965/676"
    },
    {
      "n": 244,
      "status": "outside the tested local-angle range",
      "candidateSquared": "3649/49"
    },
    {
      "n": 245,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1325/169"
    },
    {
      "n": 246,
      "status": "universal-bound equality construction"
    },
    {
      "n": 247,
      "status": "universal-bound equality construction"
    },
    {
      "n": 248,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 249,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1234/9"
    },
    {
      "n": 250,
      "status": "outside the tested local-angle range",
      "candidateSquared": "937/576"
    },
    {
      "n": 251,
      "status": "no compressed candidate"
    },
    {
      "n": 252,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1018/729"
    },
    {
      "n": 253,
      "status": "outside the tested local-angle range",
      "candidateSquared": "925/484"
    },
    {
      "n": 254,
      "status": "outside the tested local-angle range",
      "candidateSquared": "397/36"
    },
    {
      "n": 255,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1097/256"
    },
    {
      "n": 256,
      "status": "outside the tested local-angle range",
      "candidateSquared": "250/169"
    },
    {
      "n": 257,
      "status": "outside the tested local-angle range",
      "candidateSquared": "250/169"
    },
    {
      "n": 258,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1885/121"
    },
    {
      "n": 259,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1465/169"
    },
    {
      "n": 260,
      "status": "outside the tested local-angle range",
      "candidateSquared": "986/625"
    },
    {
      "n": 261,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1073/784"
    },
    {
      "n": 262,
      "status": "outside the tested local-angle range",
      "candidateSquared": "61/36"
    },
    {
      "n": 263,
      "status": "outside the tested local-angle range",
      "candidateSquared": "61/36"
    },
    {
      "n": 264,
      "status": "outside the tested local-angle range",
      "candidateSquared": "970/529"
    },
    {
      "n": 265,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 266,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 267,
      "status": "outside the tested local-angle range",
      "candidateSquared": "109/9"
    },
    {
      "n": 268,
      "status": "outside the tested local-angle range",
      "candidateSquared": "4405/49"
    },
    {
      "n": 269,
      "status": "outside the tested local-angle range",
      "candidateSquared": "601/25"
    },
    {
      "n": 270,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "1130/841"
    },
    {
      "n": 271,
      "status": "no compressed candidate"
    },
    {
      "n": 272,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1217/256"
    },
    {
      "n": 273,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 274,
      "status": "outside the tested local-angle range",
      "candidateSquared": "229/4"
    },
    {
      "n": 275,
      "status": "outside the tested local-angle range",
      "candidateSquared": "277/196"
    },
    {
      "n": 276,
      "status": "outside the tested local-angle range",
      "candidateSquared": "277/196"
    },
    {
      "n": 277,
      "status": "outside the tested local-angle range",
      "candidateSquared": "373/49"
    },
    {
      "n": 278,
      "status": "outside the tested local-angle range",
      "candidateSquared": "373/49"
    },
    {
      "n": 279,
      "status": "universal-bound equality construction"
    },
    {
      "n": 280,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1090/729"
    },
    {
      "n": 281,
      "status": "outside the tested local-angle range",
      "candidateSquared": "5"
    },
    {
      "n": 282,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2237/121"
    },
    {
      "n": 283,
      "status": "outside the tested local-angle range",
      "candidateSquared": "269/169"
    },
    {
      "n": 284,
      "status": "outside the tested local-angle range",
      "candidateSquared": "269/169"
    },
    {
      "n": 285,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1165/841"
    },
    {
      "n": 286,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1066/625"
    },
    {
      "n": 287,
      "status": "outside the tested local-angle range",
      "candidateSquared": "265/144"
    },
    {
      "n": 288,
      "status": "outside the tested local-angle range",
      "candidateSquared": "265/144"
    },
    {
      "n": 289,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1345/256"
    },
    {
      "n": 290,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1145/784"
    },
    {
      "n": 291,
      "status": "outside the tested local-angle range",
      "candidateSquared": "701/25"
    },
    {
      "n": 292,
      "status": "outside the tested local-angle range",
      "candidateSquared": "410/49"
    },
    {
      "n": 293,
      "status": "outside the tested local-angle range",
      "candidateSquared": "410/49"
    },
    {
      "n": 294,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 295,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 296,
      "status": "outside the tested local-angle range",
      "candidateSquared": "169/25"
    },
    {
      "n": 297,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1117/676"
    },
    {
      "n": 298,
      "status": "outside the tested local-angle range",
      "candidateSquared": "353/64"
    },
    {
      "n": 299,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1109/625"
    },
    {
      "n": 300,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1202/841"
    },
    {
      "n": 301,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1933/169"
    },
    {
      "n": 302,
      "status": "outside the tested local-angle range",
      "candidateSquared": "754/25"
    },
    {
      "n": 303,
      "status": "outside the tested local-angle range",
      "candidateSquared": "754/25"
    },
    {
      "n": 304,
      "status": "criterion passes (self-reviewed proof, not independent review)",
      "candidateSquared": "1285/961"
    },
    {
      "n": 305,
      "status": "outside the tested local-angle range",
      "candidateSquared": "74/49"
    },
    {
      "n": 306,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1378/289"
    },
    {
      "n": 307,
      "status": "outside the tested local-angle range",
      "candidateSquared": "449/49"
    },
    {
      "n": 308,
      "status": "outside the tested local-angle range",
      "candidateSquared": "130/81"
    },
    {
      "n": 309,
      "status": "outside the tested local-angle range",
      "candidateSquared": "10429/25"
    },
    {
      "n": 310,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1261/900"
    },
    {
      "n": 311,
      "status": "outside the tested local-angle range",
      "candidateSquared": "290/169"
    },
    {
      "n": 312,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1154/625"
    },
    {
      "n": 313,
      "status": "universal-bound equality construction"
    },
    {
      "n": 314,
      "status": "universal-bound equality construction"
    },
    {
      "n": 315,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1241/841"
    },
    {
      "n": 316,
      "status": "outside the tested local-angle range",
      "candidateSquared": "6133/49"
    },
    {
      "n": 317,
      "status": "outside the tested local-angle range",
      "candidateSquared": "3973/4"
    },
    {
      "n": 318,
      "status": "outside the tested local-angle range",
      "candidateSquared": "17"
    },
    {
      "n": 319,
      "status": "outside the tested local-angle range",
      "candidateSquared": "25/16"
    },
    {
      "n": 320,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1322/961"
    },
    {
      "n": 321,
      "status": "outside the tested local-angle range",
      "candidateSquared": "11261/25"
    },
    {
      "n": 322,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1213/729"
    },
    {
      "n": 323,
      "status": "outside the tested local-angle range",
      "candidateSquared": "157/36"
    },
    {
      "n": 324,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1205/676"
    },
    {
      "n": 325,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 326,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 327,
      "status": "outside the tested local-angle range",
      "candidateSquared": "11689/25"
    },
    {
      "n": 328,
      "status": "outside the tested local-angle range",
      "candidateSquared": "73/9"
    },
    {
      "n": 329,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2285/169"
    },
    {
      "n": 330,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1385/1024"
    },
    {
      "n": 331,
      "status": "outside the tested local-angle range",
      "candidateSquared": "425/64"
    },
    {
      "n": 332,
      "status": "outside the tested local-angle range",
      "candidateSquared": "370/81"
    },
    {
      "n": 333,
      "status": "outside the tested local-angle range",
      "candidateSquared": "317/196"
    },
    {
      "n": 334,
      "status": "outside the tested local-angle range",
      "candidateSquared": "317/196"
    },
    {
      "n": 335,
      "status": "outside the tested local-angle range",
      "candidateSquared": "37"
    },
    {
      "n": 336,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1361/961"
    },
    {
      "n": 337,
      "status": "outside the tested local-angle range",
      "candidateSquared": "313/169"
    },
    {
      "n": 338,
      "status": "outside the tested local-angle range",
      "candidateSquared": "313/169"
    },
    {
      "n": 339,
      "status": "outside the tested local-angle range",
      "candidateSquared": "257"
    },
    {
      "n": 340,
      "status": "universal-bound equality construction"
    },
    {
      "n": 341,
      "status": "outside the tested local-angle range",
      "candidateSquared": "149/100"
    },
    {
      "n": 342,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1549/324"
    },
    {
      "n": 343,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2473/169"
    },
    {
      "n": 344,
      "status": "outside the tested local-angle range",
      "candidateSquared": "221/25"
    },
    {
      "n": 345,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1325/841"
    },
    {
      "n": 346,
      "status": "outside the tested local-angle range",
      "candidateSquared": "89/64"
    },
    {
      "n": 347,
      "status": "outside the tested local-angle range",
      "candidateSquared": "89/64"
    },
    {
      "n": 348,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1313/784"
    },
    {
      "n": 349,
      "status": "outside the tested local-angle range",
      "candidateSquared": "29/4"
    },
    {
      "n": 350,
      "status": "universal-bound equality construction"
    },
    {
      "n": 351,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1301/676"
    },
    {
      "n": 352,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1402/961"
    },
    {
      "n": 353,
      "status": "outside the tested local-angle range",
      "candidateSquared": "578/49"
    },
    {
      "n": 354,
      "status": "outside the tested local-angle range",
      "candidateSquared": "3485/121"
    },
    {
      "n": 355,
      "status": "outside the tested local-angle range",
      "candidateSquared": "4981/81"
    },
    {
      "n": 356,
      "status": "outside the tested local-angle range",
      "candidateSquared": "346/225"
    },
    {
      "n": 357,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1489/1089"
    },
    {
      "n": 358,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/4"
    },
    {
      "n": 359,
      "status": "no compressed candidate"
    },
    {
      "n": 360,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1370/841"
    },
    {
      "n": 361,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1693/324"
    },
    {
      "n": 362,
      "status": "outside the tested local-angle range",
      "candidateSquared": "85/49"
    },
    {
      "n": 363,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1465/1024"
    },
    {
      "n": 364,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1354/729"
    },
    {
      "n": 365,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2"
    },
    {
      "n": 366,
      "status": "outside the tested local-angle range",
      "candidateSquared": "505/64"
    },
    {
      "n": 367,
      "status": "row projection test unresolved",
      "candidateSquared": "389/289"
    },
    {
      "n": 368,
      "status": "row projection test unresolved",
      "candidateSquared": "389/289"
    },
    {
      "n": 369,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1889/289"
    },
    {
      "n": 370,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1657/361"
    },
    {
      "n": 371,
      "status": "outside the tested local-angle range",
      "candidateSquared": "442/81"
    },
    {
      "n": 372,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1429/900"
    },
    {
      "n": 373,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1697/16"
    },
    {
      "n": 374,
      "status": "outside the tested local-angle range",
      "candidateSquared": "170/121"
    },
    {
      "n": 375,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1417/841"
    },
    {
      "n": 376,
      "status": "outside the tested local-angle range",
      "candidateSquared": "2341/225"
    },
    {
      "n": 377,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1409/784"
    },
    {
      "n": 378,
      "status": "universal-bound equality construction"
    },
    {
      "n": 379,
      "status": "outside the tested local-angle range",
      "candidateSquared": "377/256"
    },
    {
      "n": 380,
      "status": "outside the tested local-angle range",
      "candidateSquared": "377/256"
    },
    {
      "n": 381,
      "status": "outside the tested local-angle range",
      "candidateSquared": "325"
    },
    {
      "n": 382,
      "status": "outside the tested local-angle range",
      "candidateSquared": "137/16"
    },
    {
      "n": 383,
      "status": "outside the tested local-angle range",
      "candidateSquared": "137/16"
    },
    {
      "n": 384,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1490/961"
    },
    {
      "n": 385,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1597/1156"
    },
    {
      "n": 386,
      "status": "outside the tested local-angle range",
      "candidateSquared": "4097"
    },
    {
      "n": 387,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 388,
      "status": "outside the tested local-angle range",
      "candidateSquared": "41/25"
    },
    {
      "n": 389,
      "status": "outside the tested local-angle range",
      "candidateSquared": "106/25"
    },
    {
      "n": 390,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1466/841"
    },
    {
      "n": 391,
      "status": "outside the tested local-angle range",
      "candidateSquared": "13/9"
    },
    {
      "n": 392,
      "status": "outside the tested local-angle range",
      "candidateSquared": "365/196"
    },
    {
      "n": 393,
      "status": "outside the tested local-angle range",
      "candidateSquared": "677"
    },
    {
      "n": 394,
      "status": "outside the tested local-angle range",
      "candidateSquared": "38425/9"
    },
    {
      "n": 395,
      "status": "outside the tested local-angle range",
      "candidateSquared": "685/9"
    },
    {
      "n": 396,
      "status": "outside the tested local-angle range",
      "candidateSquared": "34/25"
    },
    {
      "n": 397,
      "status": "outside the tested local-angle range",
      "candidateSquared": "725/49"
    },
    {
      "n": 398,
      "status": "outside the tested local-angle range",
      "candidateSquared": "725/49"
    },
    {
      "n": 399,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1769/400"
    },
    {
      "n": 400,
      "status": "outside the tested local-angle range",
      "candidateSquared": "1537/961"
    }
  ]
}