{
  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
  "probes": [
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 2155872066,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 305419896,
        "command_time": 12345,
        "move_word": 16909311,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      },
      "source": {
        "angles": [
          2864434397,
          2147483647,
          7
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          2864434397,
          2147483647,
          7
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 66,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    },
    {
      "rust": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      },
      "source": {
        "angles": [
          287454020,
          2147483648,
          4294967295
        ],
        "buttons": 0,
        "command_time": 12345,
        "move_word": 255,
        "saved": [
          287454020,
          2147483648,
          4294967295
        ]
      }
    }
  ],
  "source_report": "docs/research/qvm-client-command-rewrite.json",
  "source_report_sha256": "c202d4d3374af1f7c83f1948d7dc643504d81fcbdd3c4c8628f8af220f5ff691"
}