{
  "rom_sha256": "b29af4d9300da2f4d989e9537a0c94f2da43f701fdb6054f4c5b9ce5040fc3d8",
  "baseline_sha256": "40b3a5700ae7c3ce6f0536b878a22b2e7284a8e418231ed6a6ea4ce891fb3548",
  "paired_lift_ABI_contexts": 80,
  "native_solver_contexts": 64,
  "physics_profiles": [
    {
      "profile": "baseline",
      "mode": 0,
      "rows": [
        [
          728,
          0,
          768,
          360,
          4,
          0
        ],
        [
          -2366,
          0,
          768,
          360,
          -13,
          0
        ],
        [
          -9102,
          0,
          768,
          360,
          -50,
          0
        ],
        [
          -10786,
          0,
          1024,
          480,
          -80,
          0
        ],
        [
          -6553,
          0,
          768,
          360,
          -36,
          0
        ],
        [
          -9648,
          0,
          768,
          360,
          -53,
          0
        ],
        [
          -9830,
          0,
          1280,
          600,
          -90,
          0
        ],
        [
          -11078,
          0,
          1792,
          840,
          -143,
          0
        ],
        [
          -12014,
          0,
          1024,
          480,
          -88,
          0
        ],
        [
          -10704,
          0,
          1280,
          600,
          -98,
          0
        ],
        [
          -10922,
          0,
          2048,
          960,
          -160,
          0
        ],
        [
          -12014,
          0,
          2816,
          1320,
          -243,
          0
        ],
        [
          -12014,
          0,
          1536,
          720,
          -132,
          0
        ],
        [
          -11936,
          0,
          1792,
          840,
          -153,
          0
        ],
        [
          -11915,
          0,
          2816,
          1320,
          -240,
          0
        ],
        [
          -11790,
          0,
          3072,
          2040,
          -368,
          0
        ],
        [
          -910,
          0,
          768,
          360,
          -6,
          0
        ],
        [
          2184,
          0,
          768,
          360,
          11,
          0
        ],
        [
          9102,
          0,
          768,
          360,
          50,
          0
        ],
        [
          10649,
          0,
          1024,
          480,
          78,
          0
        ],
        [
          6371,
          0,
          768,
          360,
          34,
          0
        ],
        [
          9466,
          0,
          768,
          360,
          51,
          0
        ],
        [
          12288,
          0,
          1024,
          480,
          90,
          0
        ],
        [
          12014,
          0,
          1536,
          720,
          132,
          0
        ],
        [
          11878,
          0,
          1024,
          480,
          86,
          0
        ],
        [
          10485,
          0,
          1280,
          600,
          95,
          0
        ],
        [
          10922,
          0,
          2048,
          960,
          160,
          0
        ],
        [
          11766,
          0,
          2816,
          1320,
          237,
          0
        ],
        [
          11832,
          0,
          1536,
          720,
          129,
          0
        ],
        [
          11702,
          0,
          1792,
          840,
          149,
          0
        ],
        [
          11915,
          0,
          2816,
          1320,
          240,
          0
        ],
        [
          12014,
          0,
          3072,
          1920,
          352,
          0
        ],
        [
          -3822,
          0,
          512,
          240,
          -14,
          0
        ],
        [
          -6826,
          0,
          512,
          240,
          -25,
          0
        ],
        [
          -13653,
          0,
          512,
          240,
          -50,
          0
        ],
        [
          -13107,
          0,
          768,
          360,
          -73,
          0
        ],
        [
          -14745,
          0,
          512,
          240,
          -54,
          0
        ],
        [
          -17749,
          0,
          512,
          240,
          -65,
          0
        ],
        [
          -12288,
          0,
          1024,
          480,
          -90,
          0
        ],
        [
          -12196,
          0,
          1536,
          720,
          -135,
          0
        ],
        [
          -19296,
          0,
          768,
          360,
          -106,
          0
        ],
        [
          -15018,
          0,
          1024,
          480,
          -110,
          0
        ],
        [
          -12483,
          0,
          1792,
          840,
          -160,
          0
        ],
        [
          -12779,
          0,
          2560,
          1200,
          -235,
          0
        ],
        [
          -16384,
          0,
          1280,
          600,
          -150,
          0
        ],
        [
          -15018,
          0,
          1536,
          720,
          -165,
          0
        ],
        [
          -13107,
          0,
          2560,
          1200,
          -240,
          0
        ],
        [
          -12253,
          0,
          3072,
          1920,
          -360,
          0
        ],
        [
          3822,
          0,
          512,
          240,
          13,
          0
        ],
        [
          6826,
          0,
          512,
          240,
          24,
          0
        ],
        [
          13653,
          0,
          512,
          240,
          50,
          0
        ],
        [
          12925,
          0,
          768,
          360,
          71,
          0
        ],
        [
          14745,
          0,
          512,
          240,
          53,
          0
        ],
        [
          17749,
          0,
          512,
          240,
          64,
          0
        ],
        [
          16384,
          0,
          768,
          360,
          90,
          0
        ],
        [
          13653,
          0,
          1280,
          600,
          125,
          0
        ],
        [
          19114,
          0,
          768,
          360,
          104,
          0
        ],
        [
          14882,
          0,
          1024,
          480,
          108,
          0
        ],
        [
          12483,
          0,
          1792,
          840,
          160,
          0
        ],
        [
          12561,
          0,
          2560,
          1200,
          230,
          0
        ],
        [
          16165,
          0,
          1280,
          600,
          147,
          0
        ],
        [
          14836,
          0,
          1536,
          720,
          162,
          0
        ],
        [
          13107,
          0,
          2560,
          1200,
          240,
          0
        ],
        [
          12561,
          0,
          3072,
          1800,
          345,
          0
        ]
      ]
    },
    {
      "profile": "Normal",
      "mode": 0,
      "rows": [
        [
          728,
          0,
          768,
          360,
          4,
          0
        ],
        [
          -2366,
          0,
          768,
          360,
          -13,
          0
        ],
        [
          -9102,
          0,
          768,
          360,
          -50,
          0
        ],
        [
          -10786,
          0,
          1024,
          480,
          -80,
          0
        ],
        [
          -6553,
          0,
          768,
          360,
          -36,
          0
        ],
        [
          -9648,
          0,
          768,
          360,
          -53,
          0
        ],
        [
          -9830,
          0,
          1280,
          600,
          -90,
          0
        ],
        [
          -11078,
          0,
          1792,
          840,
          -143,
          0
        ],
        [
          -12014,
          0,
          1024,
          480,
          -88,
          0
        ],
        [
          -10704,
          0,
          1280,
          600,
          -98,
          0
        ],
        [
          -10922,
          0,
          2048,
          960,
          -160,
          0
        ],
        [
          -12014,
          0,
          2816,
          1320,
          -243,
          0
        ],
        [
          -12014,
          0,
          1536,
          720,
          -132,
          0
        ],
        [
          -11936,
          0,
          1792,
          840,
          -153,
          0
        ],
        [
          -11915,
          0,
          2816,
          1320,
          -240,
          0
        ],
        [
          -11790,
          0,
          3072,
          2040,
          -368,
          0
        ],
        [
          -910,
          0,
          768,
          360,
          -6,
          0
        ],
        [
          2184,
          0,
          768,
          360,
          11,
          0
        ],
        [
          9102,
          0,
          768,
          360,
          50,
          0
        ],
        [
          10649,
          0,
          1024,
          480,
          78,
          0
        ],
        [
          6371,
          0,
          768,
          360,
          34,
          0
        ],
        [
          9466,
          0,
          768,
          360,
          51,
          0
        ],
        [
          12288,
          0,
          1024,
          480,
          90,
          0
        ],
        [
          12014,
          0,
          1536,
          720,
          132,
          0
        ],
        [
          11878,
          0,
          1024,
          480,
          86,
          0
        ],
        [
          10485,
          0,
          1280,
          600,
          95,
          0
        ],
        [
          10922,
          0,
          2048,
          960,
          160,
          0
        ],
        [
          11766,
          0,
          2816,
          1320,
          237,
          0
        ],
        [
          11832,
          0,
          1536,
          720,
          129,
          0
        ],
        [
          11702,
          0,
          1792,
          840,
          149,
          0
        ],
        [
          11915,
          0,
          2816,
          1320,
          240,
          0
        ],
        [
          12014,
          0,
          3072,
          1920,
          352,
          0
        ],
        [
          -3822,
          0,
          512,
          240,
          -14,
          0
        ],
        [
          -6826,
          0,
          512,
          240,
          -25,
          0
        ],
        [
          -13653,
          0,
          512,
          240,
          -50,
          0
        ],
        [
          -13107,
          0,
          768,
          360,
          -73,
          0
        ],
        [
          -14745,
          0,
          512,
          240,
          -54,
          0
        ],
        [
          -17749,
          0,
          512,
          240,
          -65,
          0
        ],
        [
          -12288,
          0,
          1024,
          480,
          -90,
          0
        ],
        [
          -12196,
          0,
          1536,
          720,
          -135,
          0
        ],
        [
          -19296,
          0,
          768,
          360,
          -106,
          0
        ],
        [
          -15018,
          0,
          1024,
          480,
          -110,
          0
        ],
        [
          -12483,
          0,
          1792,
          840,
          -160,
          0
        ],
        [
          -12779,
          0,
          2560,
          1200,
          -235,
          0
        ],
        [
          -16384,
          0,
          1280,
          600,
          -150,
          0
        ],
        [
          -15018,
          0,
          1536,
          720,
          -165,
          0
        ],
        [
          -13107,
          0,
          2560,
          1200,
          -240,
          0
        ],
        [
          -12253,
          0,
          3072,
          1920,
          -360,
          0
        ],
        [
          3822,
          0,
          512,
          240,
          13,
          0
        ],
        [
          6826,
          0,
          512,
          240,
          24,
          0
        ],
        [
          13653,
          0,
          512,
          240,
          50,
          0
        ],
        [
          12925,
          0,
          768,
          360,
          71,
          0
        ],
        [
          14745,
          0,
          512,
          240,
          53,
          0
        ],
        [
          17749,
          0,
          512,
          240,
          64,
          0
        ],
        [
          16384,
          0,
          768,
          360,
          90,
          0
        ],
        [
          13653,
          0,
          1280,
          600,
          125,
          0
        ],
        [
          19114,
          0,
          768,
          360,
          104,
          0
        ],
        [
          14882,
          0,
          1024,
          480,
          108,
          0
        ],
        [
          12483,
          0,
          1792,
          840,
          160,
          0
        ],
        [
          12561,
          0,
          2560,
          1200,
          230,
          0
        ],
        [
          16165,
          0,
          1280,
          600,
          147,
          0
        ],
        [
          14836,
          0,
          1536,
          720,
          162,
          0
        ],
        [
          13107,
          0,
          2560,
          1200,
          240,
          0
        ],
        [
          12561,
          0,
          3072,
          1800,
          345,
          0
        ]
      ]
    },
    {
      "profile": "Low",
      "mode": 1,
      "rows": [
        [
          728,
          0,
          768,
          360,
          4,
          0
        ],
        [
          -2366,
          0,
          768,
          360,
          -13,
          0
        ],
        [
          -9102,
          0,
          768,
          360,
          -50,
          0
        ],
        [
          -10786,
          0,
          1024,
          480,
          -80,
          0
        ],
        [
          -6553,
          0,
          768,
          360,
          -36,
          0
        ],
        [
          -9648,
          0,
          768,
          360,
          -53,
          0
        ],
        [
          -9830,
          0,
          1280,
          600,
          -90,
          0
        ],
        [
          -11078,
          0,
          1536,
          840,
          -143,
          0
        ],
        [
          -12014,
          0,
          1024,
          480,
          -88,
          0
        ],
        [
          -10704,
          0,
          1280,
          600,
          -98,
          0
        ],
        [
          -10922,
          0,
          1536,
          960,
          -160,
          0
        ],
        [
          -12014,
          0,
          1536,
          1320,
          -243,
          0
        ],
        [
          -12014,
          0,
          1536,
          720,
          -132,
          0
        ],
        [
          -11936,
          0,
          1536,
          840,
          -153,
          0
        ],
        [
          -11915,
          0,
          1536,
          1320,
          -240,
          0
        ],
        [
          -11790,
          0,
          1536,
          2040,
          -368,
          0
        ],
        [
          -910,
          0,
          768,
          360,
          -6,
          0
        ],
        [
          2184,
          0,
          768,
          360,
          11,
          0
        ],
        [
          9102,
          0,
          768,
          360,
          50,
          0
        ],
        [
          10649,
          0,
          1024,
          480,
          78,
          0
        ],
        [
          6371,
          0,
          768,
          360,
          34,
          0
        ],
        [
          9466,
          0,
          768,
          360,
          51,
          0
        ],
        [
          12288,
          0,
          1024,
          480,
          90,
          0
        ],
        [
          12014,
          0,
          1536,
          720,
          132,
          0
        ],
        [
          11878,
          0,
          1024,
          480,
          86,
          0
        ],
        [
          10485,
          0,
          1280,
          600,
          95,
          0
        ],
        [
          10922,
          0,
          1536,
          960,
          160,
          0
        ],
        [
          11766,
          0,
          1536,
          1320,
          237,
          0
        ],
        [
          11832,
          0,
          1536,
          720,
          129,
          0
        ],
        [
          11702,
          0,
          1536,
          840,
          149,
          0
        ],
        [
          11915,
          0,
          1536,
          1320,
          240,
          0
        ],
        [
          12014,
          0,
          1536,
          1920,
          352,
          0
        ],
        [
          -3822,
          0,
          512,
          240,
          -14,
          0
        ],
        [
          -6826,
          0,
          512,
          240,
          -25,
          0
        ],
        [
          -13653,
          0,
          512,
          240,
          -50,
          0
        ],
        [
          -13107,
          0,
          768,
          360,
          -73,
          0
        ],
        [
          -14745,
          0,
          512,
          240,
          -54,
          0
        ],
        [
          -17749,
          0,
          512,
          240,
          -65,
          0
        ],
        [
          -12288,
          0,
          1024,
          480,
          -90,
          0
        ],
        [
          -12196,
          0,
          1536,
          720,
          -135,
          0
        ],
        [
          -19296,
          0,
          768,
          360,
          -106,
          0
        ],
        [
          -15018,
          0,
          1024,
          480,
          -110,
          0
        ],
        [
          -12483,
          0,
          1536,
          840,
          -160,
          0
        ],
        [
          -12779,
          0,
          1536,
          1200,
          -235,
          0
        ],
        [
          -16384,
          0,
          1280,
          600,
          -150,
          0
        ],
        [
          -15018,
          0,
          1536,
          720,
          -165,
          0
        ],
        [
          -13107,
          0,
          1536,
          1200,
          -240,
          0
        ],
        [
          -12253,
          0,
          1536,
          1920,
          -360,
          0
        ],
        [
          3822,
          0,
          512,
          240,
          13,
          0
        ],
        [
          6826,
          0,
          512,
          240,
          24,
          0
        ],
        [
          13653,
          0,
          512,
          240,
          50,
          0
        ],
        [
          12925,
          0,
          768,
          360,
          71,
          0
        ],
        [
          14745,
          0,
          512,
          240,
          53,
          0
        ],
        [
          17749,
          0,
          512,
          240,
          64,
          0
        ],
        [
          16384,
          0,
          768,
          360,
          90,
          0
        ],
        [
          13653,
          0,
          1280,
          600,
          125,
          0
        ],
        [
          19114,
          0,
          768,
          360,
          104,
          0
        ],
        [
          14882,
          0,
          1024,
          480,
          108,
          0
        ],
        [
          12483,
          0,
          1536,
          840,
          160,
          0
        ],
        [
          12561,
          0,
          1536,
          1200,
          230,
          0
        ],
        [
          16165,
          0,
          1280,
          600,
          147,
          0
        ],
        [
          14836,
          0,
          1536,
          720,
          162,
          0
        ],
        [
          13107,
          0,
          1536,
          1200,
          240,
          0
        ],
        [
          12561,
          0,
          1536,
          1800,
          345,
          0
        ]
      ]
    },
    {
      "profile": "invalid2",
      "mode": 2,
      "rows": [
        [
          728,
          0,
          768,
          360,
          4,
          0
        ],
        [
          -2366,
          0,
          768,
          360,
          -13,
          0
        ],
        [
          -9102,
          0,
          768,
          360,
          -50,
          0
        ],
        [
          -10786,
          0,
          1024,
          480,
          -80,
          0
        ],
        [
          -6553,
          0,
          768,
          360,
          -36,
          0
        ],
        [
          -9648,
          0,
          768,
          360,
          -53,
          0
        ],
        [
          -9830,
          0,
          1280,
          600,
          -90,
          0
        ],
        [
          -11078,
          0,
          1792,
          840,
          -143,
          0
        ],
        [
          -12014,
          0,
          1024,
          480,
          -88,
          0
        ],
        [
          -10704,
          0,
          1280,
          600,
          -98,
          0
        ],
        [
          -10922,
          0,
          2048,
          960,
          -160,
          0
        ],
        [
          -12014,
          0,
          2816,
          1320,
          -243,
          0
        ],
        [
          -12014,
          0,
          1536,
          720,
          -132,
          0
        ],
        [
          -11936,
          0,
          1792,
          840,
          -153,
          0
        ],
        [
          -11915,
          0,
          2816,
          1320,
          -240,
          0
        ],
        [
          -11790,
          0,
          3072,
          2040,
          -368,
          0
        ],
        [
          -910,
          0,
          768,
          360,
          -6,
          0
        ],
        [
          2184,
          0,
          768,
          360,
          11,
          0
        ],
        [
          9102,
          0,
          768,
          360,
          50,
          0
        ],
        [
          10649,
          0,
          1024,
          480,
          78,
          0
        ],
        [
          6371,
          0,
          768,
          360,
          34,
          0
        ],
        [
          9466,
          0,
          768,
          360,
          51,
          0
        ],
        [
          12288,
          0,
          1024,
          480,
          90,
          0
        ],
        [
          12014,
          0,
          1536,
          720,
          132,
          0
        ],
        [
          11878,
          0,
          1024,
          480,
          86,
          0
        ],
        [
          10485,
          0,
          1280,
          600,
          95,
          0
        ],
        [
          10922,
          0,
          2048,
          960,
          160,
          0
        ],
        [
          11766,
          0,
          2816,
          1320,
          237,
          0
        ],
        [
          11832,
          0,
          1536,
          720,
          129,
          0
        ],
        [
          11702,
          0,
          1792,
          840,
          149,
          0
        ],
        [
          11915,
          0,
          2816,
          1320,
          240,
          0
        ],
        [
          12014,
          0,
          3072,
          1920,
          352,
          0
        ],
        [
          -3822,
          0,
          512,
          240,
          -14,
          0
        ],
        [
          -6826,
          0,
          512,
          240,
          -25,
          0
        ],
        [
          -13653,
          0,
          512,
          240,
          -50,
          0
        ],
        [
          -13107,
          0,
          768,
          360,
          -73,
          0
        ],
        [
          -14745,
          0,
          512,
          240,
          -54,
          0
        ],
        [
          -17749,
          0,
          512,
          240,
          -65,
          0
        ],
        [
          -12288,
          0,
          1024,
          480,
          -90,
          0
        ],
        [
          -12196,
          0,
          1536,
          720,
          -135,
          0
        ],
        [
          -19296,
          0,
          768,
          360,
          -106,
          0
        ],
        [
          -15018,
          0,
          1024,
          480,
          -110,
          0
        ],
        [
          -12483,
          0,
          1792,
          840,
          -160,
          0
        ],
        [
          -12779,
          0,
          2560,
          1200,
          -235,
          0
        ],
        [
          -16384,
          0,
          1280,
          600,
          -150,
          0
        ],
        [
          -15018,
          0,
          1536,
          720,
          -165,
          0
        ],
        [
          -13107,
          0,
          2560,
          1200,
          -240,
          0
        ],
        [
          -12253,
          0,
          3072,
          1920,
          -360,
          0
        ],
        [
          3822,
          0,
          512,
          240,
          13,
          0
        ],
        [
          6826,
          0,
          512,
          240,
          24,
          0
        ],
        [
          13653,
          0,
          512,
          240,
          50,
          0
        ],
        [
          12925,
          0,
          768,
          360,
          71,
          0
        ],
        [
          14745,
          0,
          512,
          240,
          53,
          0
        ],
        [
          17749,
          0,
          512,
          240,
          64,
          0
        ],
        [
          16384,
          0,
          768,
          360,
          90,
          0
        ],
        [
          13653,
          0,
          1280,
          600,
          125,
          0
        ],
        [
          19114,
          0,
          768,
          360,
          104,
          0
        ],
        [
          14882,
          0,
          1024,
          480,
          108,
          0
        ],
        [
          12483,
          0,
          1792,
          840,
          160,
          0
        ],
        [
          12561,
          0,
          2560,
          1200,
          230,
          0
        ],
        [
          16165,
          0,
          1280,
          600,
          147,
          0
        ],
        [
          14836,
          0,
          1536,
          720,
          162,
          0
        ],
        [
          13107,
          0,
          2560,
          1200,
          240,
          0
        ],
        [
          12561,
          0,
          3072,
          1800,
          345,
          0
        ]
      ]
    },
    {
      "profile": "invalid-negative",
      "mode": 65535,
      "rows": [
        [
          728,
          0,
          768,
          360,
          4,
          0
        ],
        [
          -2366,
          0,
          768,
          360,
          -13,
          0
        ],
        [
          -9102,
          0,
          768,
          360,
          -50,
          0
        ],
        [
          -10786,
          0,
          1024,
          480,
          -80,
          0
        ],
        [
          -6553,
          0,
          768,
          360,
          -36,
          0
        ],
        [
          -9648,
          0,
          768,
          360,
          -53,
          0
        ],
        [
          -9830,
          0,
          1280,
          600,
          -90,
          0
        ],
        [
          -11078,
          0,
          1792,
          840,
          -143,
          0
        ],
        [
          -12014,
          0,
          1024,
          480,
          -88,
          0
        ],
        [
          -10704,
          0,
          1280,
          600,
          -98,
          0
        ],
        [
          -10922,
          0,
          2048,
          960,
          -160,
          0
        ],
        [
          -12014,
          0,
          2816,
          1320,
          -243,
          0
        ],
        [
          -12014,
          0,
          1536,
          720,
          -132,
          0
        ],
        [
          -11936,
          0,
          1792,
          840,
          -153,
          0
        ],
        [
          -11915,
          0,
          2816,
          1320,
          -240,
          0
        ],
        [
          -11790,
          0,
          3072,
          2040,
          -368,
          0
        ],
        [
          -910,
          0,
          768,
          360,
          -6,
          0
        ],
        [
          2184,
          0,
          768,
          360,
          11,
          0
        ],
        [
          9102,
          0,
          768,
          360,
          50,
          0
        ],
        [
          10649,
          0,
          1024,
          480,
          78,
          0
        ],
        [
          6371,
          0,
          768,
          360,
          34,
          0
        ],
        [
          9466,
          0,
          768,
          360,
          51,
          0
        ],
        [
          12288,
          0,
          1024,
          480,
          90,
          0
        ],
        [
          12014,
          0,
          1536,
          720,
          132,
          0
        ],
        [
          11878,
          0,
          1024,
          480,
          86,
          0
        ],
        [
          10485,
          0,
          1280,
          600,
          95,
          0
        ],
        [
          10922,
          0,
          2048,
          960,
          160,
          0
        ],
        [
          11766,
          0,
          2816,
          1320,
          237,
          0
        ],
        [
          11832,
          0,
          1536,
          720,
          129,
          0
        ],
        [
          11702,
          0,
          1792,
          840,
          149,
          0
        ],
        [
          11915,
          0,
          2816,
          1320,
          240,
          0
        ],
        [
          12014,
          0,
          3072,
          1920,
          352,
          0
        ],
        [
          -3822,
          0,
          512,
          240,
          -14,
          0
        ],
        [
          -6826,
          0,
          512,
          240,
          -25,
          0
        ],
        [
          -13653,
          0,
          512,
          240,
          -50,
          0
        ],
        [
          -13107,
          0,
          768,
          360,
          -73,
          0
        ],
        [
          -14745,
          0,
          512,
          240,
          -54,
          0
        ],
        [
          -17749,
          0,
          512,
          240,
          -65,
          0
        ],
        [
          -12288,
          0,
          1024,
          480,
          -90,
          0
        ],
        [
          -12196,
          0,
          1536,
          720,
          -135,
          0
        ],
        [
          -19296,
          0,
          768,
          360,
          -106,
          0
        ],
        [
          -15018,
          0,
          1024,
          480,
          -110,
          0
        ],
        [
          -12483,
          0,
          1792,
          840,
          -160,
          0
        ],
        [
          -12779,
          0,
          2560,
          1200,
          -235,
          0
        ],
        [
          -16384,
          0,
          1280,
          600,
          -150,
          0
        ],
        [
          -15018,
          0,
          1536,
          720,
          -165,
          0
        ],
        [
          -13107,
          0,
          2560,
          1200,
          -240,
          0
        ],
        [
          -12253,
          0,
          3072,
          1920,
          -360,
          0
        ],
        [
          3822,
          0,
          512,
          240,
          13,
          0
        ],
        [
          6826,
          0,
          512,
          240,
          24,
          0
        ],
        [
          13653,
          0,
          512,
          240,
          50,
          0
        ],
        [
          12925,
          0,
          768,
          360,
          71,
          0
        ],
        [
          14745,
          0,
          512,
          240,
          53,
          0
        ],
        [
          17749,
          0,
          512,
          240,
          64,
          0
        ],
        [
          16384,
          0,
          768,
          360,
          90,
          0
        ],
        [
          13653,
          0,
          1280,
          600,
          125,
          0
        ],
        [
          19114,
          0,
          768,
          360,
          104,
          0
        ],
        [
          14882,
          0,
          1024,
          480,
          108,
          0
        ],
        [
          12483,
          0,
          1792,
          840,
          160,
          0
        ],
        [
          12561,
          0,
          2560,
          1200,
          230,
          0
        ],
        [
          16165,
          0,
          1280,
          600,
          147,
          0
        ],
        [
          14836,
          0,
          1536,
          720,
          162,
          0
        ],
        [
          13107,
          0,
          2560,
          1200,
          240,
          0
        ],
        [
          12561,
          0,
          3072,
          1800,
          345,
          0
        ]
      ]
    }
  ],
  "menu_cases": [
    {
      "name": "fresh-513",
      "observations": [
        {
          "frame": 1880,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "0000",
          "global_record": "0000",
          "text": "Normal"
        }
      ]
    },
    {
      "name": "toggle-513",
      "observations": [
        {
          "frame": 1880,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af",
          "text": "Normal"
        },
        {
          "frame": 2000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2200,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af",
          "text": "Normal"
        },
        {
          "frame": 2400,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        }
      ]
    },
    {
      "name": "slots-513",
      "observations": [
        {
          "frame": 1000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 1,
          "slot": 3,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1600,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 1800,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "reboot-513",
      "observations": [
        {
          "frame": 1200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "locked-513",
      "observations": [
        {
          "frame": 1880,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        }
      ]
    },
    {
      "name": "native-513",
      "observations": [
        {
          "frame": 1600,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 2800,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 3000,
          "mode": 1,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "51ae"
        },
        {
          "frame": 3200,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "native-reboot-513",
      "observations": [
        {
          "frame": 1600,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-0000-513",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "0000",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "0000",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-50ae-513",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "50ae",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "50ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-40bf-513",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "40bf",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "40bf",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-52ad-513",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "52ad",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "52ad",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "first-game-513",
      "observations": [
        {
          "frame": 1200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 3300,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 7759,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "first-game-locked-513",
      "observations": [
        {
          "frame": 1880,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        }
      ]
    },
    {
      "name": "restart-513",
      "observations": [
        {
          "frame": 3100,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 3900,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 4300,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 4600,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 4900,
          "mode": 0,
          "slot": 3,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "50af",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "fresh-1281",
      "observations": [
        {
          "frame": 1880,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "0000",
          "global_record": "0000",
          "text": "Normal"
        }
      ]
    },
    {
      "name": "toggle-1281",
      "observations": [
        {
          "frame": 1880,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af",
          "text": "Normal"
        },
        {
          "frame": 2000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2200,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af",
          "text": "Normal"
        },
        {
          "frame": 2400,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        }
      ]
    },
    {
      "name": "slots-1281",
      "observations": [
        {
          "frame": 1000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 1,
          "slot": 3,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1600,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 1800,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "reboot-1281",
      "observations": [
        {
          "frame": 1200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "locked-1281",
      "observations": [
        {
          "frame": 1880,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        }
      ]
    },
    {
      "name": "native-1281",
      "observations": [
        {
          "frame": 1600,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 2800,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 3000,
          "mode": 1,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "51ae"
        },
        {
          "frame": 3200,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "native-reboot-1281",
      "observations": [
        {
          "frame": 1600,
          "mode": 0,
          "slot": 3,
          "view": 0,
          "gp": 1,
          "forced": 0,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-0000-1281",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "0000",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "0000",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-50ae-1281",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "50ae",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "50ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-40bf-1281",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "40bf",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "40bf",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "corrupt-52ad-1281",
      "observations": [
        {
          "frame": 1000,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "52ad",
          "global_record": "50af"
        },
        {
          "frame": 1200,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 1400,
          "mode": 0,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "52ad",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "first-game-1281",
      "observations": [
        {
          "frame": 1200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 3300,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 7402,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        }
      ]
    },
    {
      "name": "first-game-locked-1281",
      "observations": [
        {
          "frame": 1880,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2000,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        },
        {
          "frame": 2200,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af",
          "text": "Low"
        }
      ]
    },
    {
      "name": "restart-1281",
      "observations": [
        {
          "frame": 3100,
          "mode": 1,
          "slot": 2,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 3900,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 4300,
          "mode": 1,
          "slot": 1,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "51ae",
          "global_record": "50af"
        },
        {
          "frame": 4600,
          "mode": 0,
          "slot": 2,
          "view": 1,
          "gp": 0,
          "forced": 2,
          "record": "50af",
          "global_record": "50af"
        },
        {
          "frame": 4900,
          "mode": 0,
          "slot": 3,
          "view": 1,
          "gp": 1,
          "forced": 1,
          "record": "50af",
          "global_record": "50af"
        }
      ]
    }
  ],
  "native_coop_input": [
    {
      "mode": 0,
      "observation_end": 50001,
      "original_15501_prefix_retained": true,
      "targeted_passes": 99,
      "human_targeted_passes": 19,
      "human_passes_above_six_eighths": 7,
      "maximum_human_lift": 3248,
      "private_probe_preserves_original_native_path": true
    },
    {
      "mode": 1,
      "observation_end": 50001,
      "original_15501_prefix_retained": true,
      "targeted_passes": 83,
      "human_targeted_passes": 30,
      "human_passes_above_six_eighths": 12,
      "maximum_human_lift": 1742,
      "private_probe_preserves_original_native_path": true
    }
  ]
}