{
  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
  "probes": [
    {
      "rust": {
        "cache": null,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      },
      "source": {
        "cache": null,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      }
    },
    {
      "rust": {
        "cache": 0,
        "pvs": [],
        "queries": [],
        "selected": 0
      },
      "source": {
        "cache": 0,
        "pvs": [],
        "queries": [],
        "selected": 0
      }
    },
    {
      "rust": {
        "cache": 0,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      },
      "source": {
        "cache": 0,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      }
    },
    {
      "rust": {
        "cache": 0,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      },
      "source": {
        "cache": 0,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      }
    },
    {
      "rust": {
        "cache": 1,
        "pvs": [],
        "queries": [],
        "selected": 1
      },
      "source": {
        "cache": 1,
        "pvs": [],
        "queries": [],
        "selected": 1
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 1
      },
      "source": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 1
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      },
      "source": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      },
      "source": {
        "cache": null,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      },
      "source": {
        "cache": null,
        "pvs": [
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [
          0,
          1,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": null
      },
      "source": {
        "cache": null,
        "pvs": [
          0,
          1,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": null
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": null
      },
      "source": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": null
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [
          2,
          0
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      },
      "source": {
        "cache": null,
        "pvs": [
          2,
          0
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": null
      },
      "source": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": null
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [
          0,
          1,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      },
      "source": {
        "cache": null,
        "pvs": [
          0,
          1,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      },
      "source": {
        "cache": null,
        "pvs": [],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 2
      }
    },
    {
      "rust": {
        "cache": null,
        "pvs": [
          1,
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      },
      "source": {
        "cache": null,
        "pvs": [
          1,
          0,
          2
        ],
        "queries": [
          [
            [
              3256877056,
              3256877056,
              3260022784
            ],
            [
              1109393408,
              1109393408,
              1112539136
            ]
          ]
        ],
        "selected": 0
      }
    }
  ],
  "source_report": "docs/research/qvm-location-nearest.json",
  "source_report_sha256": "b46e72cc90f8d90de59d4b86aadcee3c1234901450512c8c195c535fa8ac1ed6"
}