{
  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
  "probes": [
    {
      "rust": {
        "counters": [
          1,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          1,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          8,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          8,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          0,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          0,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          2147483649,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          2147483649,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          1,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          1,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          8,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          8,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          0,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          0,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          2147483649,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          2147483649,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          114
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          1
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          1
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          8
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          8
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          0
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          0
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    },
    {
      "rust": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          2147483649
        ],
        "guards": [
          2864434397,
          287454020
        ]
      },
      "source": {
        "counters": [
          100,
          101,
          102,
          103,
          104,
          105,
          106,
          107,
          108,
          109,
          110,
          111,
          112,
          113,
          2147483649
        ],
        "guards": [
          2864434397,
          287454020
        ]
      }
    }
  ],
  "source_report": "docs/research/qvm-effect-counter.json",
  "source_report_sha256": "1114bee870f527e21cbed2d0de0f863e8b9fb5b67242a8b03881827ea2c92c9c"
}