{
  "author": "Codex — независимый исследователь Хоррориуса",
  "date": "2026-10-12",
  "rule": "live MAYATNIK.cone; empty background; pendulum",
  "results": [
    {
      "vertices": 8,
      "height": 1024,
      "edgeFromRow": 16,
      "measuredEdgePeriod": 8,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 16,
        "distance": 4,
        "shiftedRow": 20,
        "shiftedDistance": 2
      },
      "provenEventualEdgePeriod": 8,
      "edgeMaximum": 4,
      "edgeMotif": [
        4,
        4,
        1,
        2,
        2,
        2,
        1,
        4
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 16,
        "variables": 104,
        "provenPeriodBound": 128,
        "comparedBits": 29203
      },
      "example": [
        4,
        4,
        1,
        2,
        2,
        2,
        1,
        4,
        4,
        4,
        1,
        2,
        2,
        2,
        1,
        4
      ]
    },
    {
      "vertices": 10,
      "height": 1024,
      "edgeFromRow": 20,
      "measuredEdgePeriod": 8,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 20,
        "distance": 1,
        "shiftedRow": 25,
        "shiftedDistance": 3
      },
      "provenEventualEdgePeriod": 8,
      "edgeMaximum": 3,
      "edgeMotif": [
        3,
        1,
        1,
        1,
        1,
        3,
        3,
        3
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 17,
        "variables": 130,
        "provenPeriodBound": 256,
        "comparedBits": 30180
      },
      "example": [
        1,
        1,
        3,
        3,
        3,
        3,
        1,
        1,
        1,
        1,
        3,
        3,
        3,
        3,
        1,
        1
      ]
    },
    {
      "vertices": 12,
      "height": 1024,
      "edgeFromRow": 24,
      "measuredEdgePeriod": 8,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 26,
        "distance": 1,
        "shiftedRow": 32,
        "shiftedDistance": 2
      },
      "provenEventualEdgePeriod": 8,
      "edgeMaximum": 2,
      "edgeMotif": [
        2,
        1,
        1,
        1,
        1,
        2,
        2,
        2
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 17,
        "variables": 156,
        "provenPeriodBound": 256,
        "comparedBits": 31186
      },
      "example": [
        2,
        2,
        1,
        1,
        1,
        1,
        2,
        2,
        2,
        2,
        1,
        1,
        1,
        1,
        2,
        2
      ]
    },
    {
      "vertices": 16,
      "height": 1024,
      "edgeFromRow": 32,
      "measuredEdgePeriod": 16,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 36,
        "distance": 6,
        "shiftedRow": 44,
        "shiftedDistance": 7
      },
      "provenEventualEdgePeriod": 16,
      "edgeMaximum": 7,
      "edgeMotif": [
        2,
        1,
        6,
        1,
        1,
        1,
        1,
        1,
        2,
        1,
        7,
        1,
        1,
        1,
        1,
        1
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 18,
        "variables": 208,
        "provenPeriodBound": 256,
        "comparedBits": 33165
      },
      "example": [
        1,
        1,
        2,
        1,
        6,
        1,
        1,
        1,
        1,
        1,
        2,
        1,
        7,
        1,
        1,
        1
      ]
    },
    {
      "vertices": 24,
      "height": 1024,
      "edgeFromRow": 48,
      "measuredEdgePeriod": 16,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 50,
        "distance": 2,
        "shiftedRow": 62,
        "shiftedDistance": 1
      },
      "provenEventualEdgePeriod": 16,
      "edgeMaximum": 6,
      "edgeMotif": [
        2,
        1,
        1,
        2,
        2,
        1,
        3,
        6,
        3,
        1,
        1,
        4,
        3,
        1,
        2,
        2
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 20,
        "variables": 312,
        "provenPeriodBound": 512,
        "comparedBits": 37111
      },
      "example": [
        3,
        1,
        2,
        2,
        2,
        1,
        1,
        2,
        2,
        1,
        3,
        6,
        3,
        1,
        1,
        4
      ]
    },
    {
      "vertices": 32,
      "height": 1024,
      "edgeFromRow": 64,
      "measuredEdgePeriod": 16,
      "nOver2Matches": true,
      "halfCounterexample": null,
      "provenEventualEdgePeriod": 16,
      "edgeMaximum": 4,
      "edgeMotif": [
        2,
        1,
        3,
        4,
        4,
        4,
        3,
        1,
        1,
        1,
        1,
        4,
        1,
        2,
        1,
        1
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 22,
        "variables": 416,
        "provenPeriodBound": 512,
        "comparedBits": 41041
      },
      "example": [
        1,
        4,
        1,
        2,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        3,
        1,
        1,
        1
      ]
    },
    {
      "vertices": 40,
      "height": 1024,
      "edgeFromRow": 80,
      "measuredEdgePeriod": 32,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 80,
        "distance": 4,
        "shiftedRow": 100,
        "shiftedDistance": 2
      },
      "provenEventualEdgePeriod": 32,
      "edgeMaximum": 9,
      "edgeMotif": [
        4,
        4,
        9,
        5,
        3,
        1,
        1,
        4,
        4,
        5,
        1,
        2,
        2,
        1,
        3,
        5,
        4,
        4,
        8,
        5,
        3,
        1,
        1,
        4,
        4,
        5,
        1,
        2,
        2,
        1,
        3,
        5
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 24,
        "variables": 520,
        "provenPeriodBound": 1024,
        "comparedBits": 44955
      },
      "example": [
        4,
        5,
        1,
        2,
        2,
        1,
        3,
        5,
        4,
        4,
        9,
        5,
        3,
        1,
        1,
        4
      ]
    },
    {
      "vertices": 48,
      "height": 1024,
      "edgeFromRow": 96,
      "measuredEdgePeriod": 32,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 96,
        "distance": 1,
        "shiftedRow": 120,
        "shiftedDistance": 9
      },
      "provenEventualEdgePeriod": 32,
      "edgeMaximum": 10,
      "edgeMotif": [
        10,
        7,
        3,
        1,
        1,
        1,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        6,
        5,
        6,
        7,
        3,
        1,
        1,
        1,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        9,
        5
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 26,
        "variables": 624,
        "provenPeriodBound": 1024,
        "comparedBits": 48853
      },
      "example": [
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        6,
        5,
        6,
        7,
        3,
        1,
        1,
        1
      ]
    },
    {
      "vertices": 64,
      "height": 1024,
      "edgeFromRow": 128,
      "measuredEdgePeriod": 32,
      "nOver2Matches": true,
      "halfCounterexample": null,
      "provenEventualEdgePeriod": 32,
      "edgeMaximum": 17,
      "edgeMotif": [
        1,
        1,
        1,
        4,
        1,
        2,
        1,
        5,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        11,
        5,
        7,
        9,
        9,
        17,
        7,
        7,
        3,
        1
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 30,
        "variables": 841,
        "provenPeriodBound": 1024,
        "comparedBits": 56601
      },
      "example": [
        1,
        4,
        1,
        2,
        1,
        5,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        1,
        2,
        1
      ]
    },
    {
      "vertices": 80,
      "height": 1024,
      "edgeFromRow": 160,
      "measuredEdgePeriod": 32,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 164,
        "distance": 6,
        "shiftedRow": 204,
        "shiftedDistance": 3
      },
      "provenEventualEdgePeriod": 32,
      "edgeMaximum": 11,
      "edgeMotif": [
        2,
        1,
        6,
        1,
        1,
        1,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        9,
        5,
        7,
        10,
        9,
        9,
        10,
        9,
        11,
        9,
        7,
        7,
        3,
        1,
        1,
        1,
        1,
        1
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 34,
        "variables": 1089,
        "provenPeriodBound": 2048,
        "comparedBits": 64285
      },
      "example": [
        1,
        1,
        2,
        1,
        6,
        1,
        1,
        1,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4
      ]
    },
    {
      "vertices": 96,
      "height": 1024,
      "edgeFromRow": 192,
      "measuredEdgePeriod": 64,
      "nOver2Matches": false,
      "halfCounterexample": {
        "row": 192,
        "distance": 1,
        "shiftedRow": 240,
        "shiftedDistance": 9
      },
      "provenEventualEdgePeriod": 64,
      "edgeMaximum": 14,
      "edgeMotif": [
        2,
        1,
        3,
        4,
        4,
        4,
        14,
        5,
        7,
        9,
        9,
        9,
        10,
        9,
        11,
        11,
        11,
        12,
        14,
        9,
        7,
        7,
        3,
        1,
        1,
        1,
        1,
        4,
        1,
        2,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        9,
        5,
        7,
        9,
        12,
        9,
        9,
        9,
        9,
        12,
        9,
        10,
        9,
        9,
        7,
        7,
        3,
        1,
        1,
        1,
        1,
        4,
        1,
        2,
        1,
        1
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 38,
        "variables": 1369,
        "provenPeriodBound": 2048,
        "comparedBits": 71905
      },
      "example": [
        1,
        4,
        1,
        2,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        9,
        5,
        7,
        9
      ]
    },
    {
      "vertices": 128,
      "height": 1024,
      "edgeFromRow": 256,
      "measuredEdgePeriod": 64,
      "nOver2Matches": true,
      "halfCounterexample": null,
      "provenEventualEdgePeriod": 64,
      "edgeMaximum": 19,
      "edgeMotif": [
        11,
        12,
        14,
        19,
        15,
        16,
        16,
        16,
        15,
        15,
        16,
        9,
        7,
        7,
        3,
        1,
        1,
        1,
        1,
        4,
        1,
        2,
        1,
        5,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        1,
        2,
        1,
        3,
        4,
        4,
        4,
        11,
        5,
        7,
        9,
        9,
        9,
        10,
        9,
        11,
        11
      ],
      "strip": {
        "maxDistance": 24,
        "firstRow": 46,
        "variables": 2025,
        "provenPeriodBound": 2048,
        "comparedBits": 86953
      },
      "example": [
        1,
        4,
        1,
        2,
        1,
        5,
        1,
        2,
        1,
        6,
        1,
        2,
        1,
        6,
        1,
        2
      ]
    }
  ]
}