{
  "evidenceType": "constructed-read-only-policy-counterexample",
  "order": "oldest-to-newest",
  "cases": [
    {
      "variant": "full",
      "capacity": 3,
      "kin": 1,
      "kout": 1,
      "requests": [
        "A",
        "B",
        "C",
        "D",
        "A",
        "E",
        "B",
        "C",
        "A"
      ],
      "hits": 1,
      "reads": 8,
      "events": [
        {
          "page": "A",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "B",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "C",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B",
            "C"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "D",
          "residentHit": false,
          "action": "admit-input",
          "victim": "A",
          "input": [
            "B",
            "C",
            "D"
          ],
          "main": [],
          "history": [
            "A"
          ]
        },
        {
          "page": "A",
          "residentHit": false,
          "action": "reload-history",
          "victim": "B",
          "input": [
            "C",
            "D"
          ],
          "main": [
            "A"
          ],
          "history": [
            "B"
          ]
        },
        {
          "page": "E",
          "residentHit": false,
          "action": "admit-input",
          "victim": "C",
          "input": [
            "D",
            "E"
          ],
          "main": [
            "A"
          ],
          "history": [
            "C"
          ]
        },
        {
          "page": "B",
          "residentHit": false,
          "action": "admit-input",
          "victim": "D",
          "input": [
            "E",
            "B"
          ],
          "main": [
            "A"
          ],
          "history": [
            "D"
          ]
        },
        {
          "page": "C",
          "residentHit": false,
          "action": "admit-input",
          "victim": "E",
          "input": [
            "B",
            "C"
          ],
          "main": [
            "A"
          ],
          "history": [
            "E"
          ]
        },
        {
          "page": "A",
          "residentHit": true,
          "action": "refresh-main",
          "victim": null,
          "input": [
            "B",
            "C"
          ],
          "main": [
            "A"
          ],
          "history": [
            "E"
          ]
        }
      ]
    },
    {
      "variant": "full",
      "capacity": 3,
      "kin": 1,
      "kout": 2,
      "requests": [
        "A",
        "B",
        "C",
        "D",
        "A",
        "E",
        "B",
        "C",
        "A"
      ],
      "hits": 0,
      "reads": 9,
      "events": [
        {
          "page": "A",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "B",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "C",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B",
            "C"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "D",
          "residentHit": false,
          "action": "admit-input",
          "victim": "A",
          "input": [
            "B",
            "C",
            "D"
          ],
          "main": [],
          "history": [
            "A"
          ]
        },
        {
          "page": "A",
          "residentHit": false,
          "action": "reload-history",
          "victim": "B",
          "input": [
            "C",
            "D"
          ],
          "main": [
            "A"
          ],
          "history": [
            "B"
          ]
        },
        {
          "page": "E",
          "residentHit": false,
          "action": "admit-input",
          "victim": "C",
          "input": [
            "D",
            "E"
          ],
          "main": [
            "A"
          ],
          "history": [
            "B",
            "C"
          ]
        },
        {
          "page": "B",
          "residentHit": false,
          "action": "reload-history",
          "victim": "D",
          "input": [
            "E"
          ],
          "main": [
            "A",
            "B"
          ],
          "history": [
            "C",
            "D"
          ]
        },
        {
          "page": "C",
          "residentHit": false,
          "action": "reload-history",
          "victim": "A",
          "input": [
            "E"
          ],
          "main": [
            "B",
            "C"
          ],
          "history": [
            "D"
          ]
        },
        {
          "page": "A",
          "residentHit": false,
          "action": "admit-input",
          "victim": "B",
          "input": [
            "E",
            "A"
          ],
          "main": [
            "C"
          ],
          "history": [
            "D"
          ]
        }
      ]
    }
  ]
}