{
  "checks": [
    {
      "name": "exact signed regime 7/2",
      "passed": true
    },
    {
      "name": "exact connectivity mapping 7/2",
      "passed": true
    },
    {
      "name": "exact signed regime 8/2",
      "passed": true
    },
    {
      "name": "exact connectivity mapping 8/2",
      "passed": true
    },
    {
      "name": "exact signed regime 10/2",
      "passed": true
    },
    {
      "name": "exact connectivity mapping 10/2",
      "passed": true
    },
    {
      "name": "exact signed regime 3/12",
      "passed": true
    },
    {
      "name": "exact connectivity mapping 3/12",
      "passed": true
    },
    {
      "name": "exact signed regime 4/16",
      "passed": true
    },
    {
      "name": "exact connectivity mapping 4/16",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 0)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 1)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 2)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 3)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 4)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 5)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (0, 6)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 1)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 2)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 3)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 4)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 5)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (1, 6)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 2)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 3)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 4)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 5)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (2, 6)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 3)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 4)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 5)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (3, 6)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 4)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 5)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (4, 6)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 5)/(5, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 0)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(0, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(1, 1)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(1, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(1, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(1, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(1, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(1, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(2, 2)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(2, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(2, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(2, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(2, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(3, 3)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(3, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(3, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(3, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(4, 4)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(4, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(4, 6)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(5, 5)",
      "passed": true
    },
    {
      "name": "exact rectangle (5, 6)/(5, 6)",
      "passed": true
    },
    {
      "name": "uncertainty rectangle crosses threshold",
      "passed": true
    },
    {
      "name": "scope refusal {'communities': 4}",
      "passed": true
    },
    {
      "name": "scope refusal {'label_law': 'fixed_balanced'}",
      "passed": true
    },
    {
      "name": "scope refusal {'label_law': 'iid_nonuniform'}",
      "passed": true
    },
    {
      "name": "scope refusal {'graph_kind': 'directed'}",
      "passed": true
    },
    {
      "name": "scope refusal {'observation': 'graph_plus_features'}",
      "passed": true
    },
    {
      "name": "scope refusal {'a': [0, 0]}",
      "passed": true
    },
    {
      "name": "scope refusal {'a': [0, 8]}",
      "passed": true
    },
    {
      "name": "scope refusal {'a': [1, 1], 'b': [1, 1]}",
      "passed": true
    },
    {
      "name": "scope refusal {'n': 1}",
      "passed": true
    },
    {
      "name": "malformed declaration {'n': True}",
      "passed": true
    },
    {
      "name": "malformed declaration {'n': 10001}",
      "passed": true
    },
    {
      "name": "malformed declaration {'a': [2, 1]}",
      "passed": true
    },
    {
      "name": "malformed declaration {'a': [1.2, 2]}",
      "passed": true
    },
    {
      "name": "malformed declaration {'a': ['1/0', 2]}",
      "passed": true
    },
    {
      "name": "malformed declaration {'a': ['1e2', 100]}",
      "passed": true
    },
    {
      "name": "malformed declaration {'a': [680564733841876926926749214863536422912, 680564733841876926926749214863536422912]}",
      "passed": true
    },
    {
      "name": "malformed declaration {'b': [False, 2]}",
      "passed": true
    },
    {
      "name": "malformed declaration {'extra': 1}",
      "passed": true
    },
    {
      "name": "permuted perfect labels score one despite zero raw accuracy",
      "passed": true
    },
    {
      "name": "constant prediction score is largest true group, not always one-third",
      "passed": true
    },
    {
      "name": "invalid score vectors [0]/[0, 1]",
      "passed": true
    },
    {
      "name": "invalid score vectors [True]/[0]",
      "passed": true
    },
    {
      "name": "invalid score vectors [3]/[0]",
      "passed": true
    },
    {
      "name": "invalid score vectors []/[]",
      "passed": true
    },
    {
      "name": "exact finite null exceeds 1/3 for [0]",
      "passed": true
    },
    {
      "name": "exact finite null exceeds 1/3 for [0, 1]",
      "passed": true
    },
    {
      "name": "exact finite null exceeds 1/3 for [0, 1, 2]",
      "passed": true
    },
    {
      "name": "exact finite null exceeds 1/3 for [0, 0, 1, 1, 2, 2]",
      "passed": true
    },
    {
      "name": "exact finite null exceeds 1/3 for [0, 0, 0, 0, 0, 0]",
      "passed": true
    },
    {
      "name": "three distinct truth labels n=3 null matches occupied-label formula 1-(2/3)^3",
      "passed": true
    },
    {
      "name": "finite null enumeration limit is explicit",
      "passed": true
    },
    {
      "name": "malformed JSON 280161de9f",
      "passed": true
    },
    {
      "name": "malformed JSON df38c4379a",
      "passed": true
    },
    {
      "name": "malformed JSON a8100ae6aa",
      "passed": true
    },
    {
      "name": "malformed JSON 9d78de4e5b",
      "passed": true
    },
    {
      "name": "malformed JSON 3d485c4d3c",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/90/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition below/90/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/90/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition below/90/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/90/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition below/90/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/300/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition below/300/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/300/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition below/300/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/300/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition below/300/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/900/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition below/900/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/900/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition below/900/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm below/900/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition below/900/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/90/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/90/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/90/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/90/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/90/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/90/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/300/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/300/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/300/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/300/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/300/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/300/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/900/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/900/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/900/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/900/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm equality/900/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition equality/900/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/90/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition above/90/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/90/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition above/90/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/90/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition above/90/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/300/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition above/300/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/300/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition above/300/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/300/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition above/300/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/900/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition above/900/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/900/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition above/900/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm above/900/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition above/900/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/90/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/90/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/90/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/90/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/90/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/90/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/300/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/300/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/300/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/300/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/300/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/300/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/900/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/900/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/900/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/900/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm strong_assortative/900/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition strong_assortative/900/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/90/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/90/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/90/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/90/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/90/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/90/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/300/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/300/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/300/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/300/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/300/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/300/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/900/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/900/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/900/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/900/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_equality/900/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_equality/900/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/90/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/90/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/90/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/90/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/90/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/90/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/300/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/300/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/300/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/300/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/300/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/300/22903",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/900/22901",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/900/22901",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/900/22902",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/900/22902",
      "passed": true
    },
    {
      "name": "no planted metadata reaches algorithm negative_above/900/22903",
      "passed": true
    },
    {
      "name": "finite labels/partition negative_above/900/22903",
      "passed": true
    },
    {
      "name": "fresh CLI report",
      "passed": true
    },
    {
      "name": "CLI preserves earlier output",
      "passed": true
    }
  ],
  "passed": 886,
  "exact_rectangles": 729,
  "generated_graphs": 54,
  "source_verifiers": "not run",
  "source_kernel": "not run",
  "buyer_validation": "not started"
}