{
  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
  "probes": [
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 0,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202250227122"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202250227122"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202250227122"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202250227122"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 1,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 1,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 1,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 1,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 4,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 6,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 8,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 10,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 12,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 14,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 16,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 18,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 20,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 22,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 24,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 26,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 28,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 30,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 32,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 34,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 36,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 38,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 40,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 42,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 44,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 46,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 48,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 50,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 52,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 54,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 56,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 58,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 60,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 62,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 4,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 6,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 8,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 10,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 12,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 14,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 16,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 18,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 20,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 22,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 24,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 26,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 28,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 30,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 32,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 34,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 36,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 38,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 40,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 42,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 44,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 46,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 48,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 50,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 52,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 54,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 56,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 58,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 60,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 62,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 4,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 6,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 8,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 10,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 12,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 14,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 16,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 18,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 20,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 22,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 24,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 26,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 28,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 30,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 32,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 34,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 36,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 38,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 40,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 42,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 44,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 46,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 48,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 50,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 52,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 54,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 56,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 58,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 60,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 62,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 4,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 6,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 8,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 10,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 12,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 14,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 16,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 18,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 20,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 22,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 24,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 26,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 28,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 30,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 32,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 34,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 36,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 38,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 40,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 42,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 44,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 46,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 48,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 50,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 52,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 54,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 56,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 58,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 60,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 62,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          13500,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202250227122"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202250227122"
          }
        ],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202250227122"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202250227122"
          }
        ],
        "getter_calls": 1,
        "marker": [
          17,
          18
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          3499,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d312037202222"
          },
          {
            "slot": 2,
            "text": "727361792032202d312037202222"
          }
        ],
        "getter_calls": 1,
        "marker": [
          3499,
          1
        ]
      }
    },
    {
      "rust": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          3499,
          1
        ]
      },
      "source": {
        "commands": [
          {
            "slot": 0,
            "text": "727361792032202d3120372022426f6d62207369746522"
          },
          {
            "slot": 2,
            "text": "727361792032202d3120372022426f6d62207369746522"
          }
        ],
        "getter_calls": 1,
        "marker": [
          3499,
          1
        ]
      }
    }
  ],
  "source_report": "docs/research/qvm-effect-radio.json",
  "source_report_sha256": "e2d0c0ee9ac702efeccb9507573a48070963016e925a0f96987002ec6bda0da4"
}