{
  "method": "Bounded executions of every exported entry on the Cartesian product of values for stock, reserved, and requested; checked against min(max(stock - reserved, 0), max(requested, 0)). Not a proof of equivalence.",
  "values": [
    -1,
    0,
    1,
    6,
    10
  ],
  "entries": [
    "cart_units",
    "checkout_units",
    "support_units"
  ],
  "sourceHashes": {
    "before": "e681fc45472d6868de402b73dd4a11f9ae9023918f9d64a30cd372ec4b5780cd",
    "after": "9bee4470dd0045827761388050761ff63d9c276bae13b772c70ef24ec21cd772"
  },
  "runs": [
    {
      "inputs": {
        "stock": -1,
        "reserved": -1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": -1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": -1,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": -1,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": -1,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 0,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 0,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 0,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 0,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 0,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 1,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 1,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 1,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 6,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 6,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 6,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 6,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 6,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 10,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 10,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 10,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 10,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": -1,
        "reserved": 10,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": -1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": -1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": -1,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": -1,
        "requested": 6
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": -1,
        "requested": 10
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 0,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 0,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 0,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 0,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 0,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 1,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 1,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 1,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 6,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 6,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 6,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 6,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 6,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 10,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 10,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 10,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 10,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 0,
        "reserved": 10,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": -1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": -1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": -1,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": -1,
        "requested": 6
      },
      "before": {
        "cart_units": 2,
        "checkout_units": 2,
        "support_units": 2
      },
      "after": {
        "cart_units": 2,
        "checkout_units": 2,
        "support_units": 2
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": -1,
        "requested": 10
      },
      "before": {
        "cart_units": 2,
        "checkout_units": 2,
        "support_units": 2
      },
      "after": {
        "cart_units": 2,
        "checkout_units": 2,
        "support_units": 2
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 0,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 0,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 0,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 0,
        "requested": 6
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 0,
        "requested": 10
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 1,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 1,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 1,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 6,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 6,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 6,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 6,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 6,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 10,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 10,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 10,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 10,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 1,
        "reserved": 10,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": -1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": -1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": -1,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": -1,
        "requested": 6
      },
      "before": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      },
      "after": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": -1,
        "requested": 10
      },
      "before": {
        "cart_units": 7,
        "checkout_units": 7,
        "support_units": 7
      },
      "after": {
        "cart_units": 7,
        "checkout_units": 7,
        "support_units": 7
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 0,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 0,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 0,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 0,
        "requested": 6
      },
      "before": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      },
      "after": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 0,
        "requested": 10
      },
      "before": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      },
      "after": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 1,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 1,
        "requested": 6
      },
      "before": {
        "cart_units": 5,
        "checkout_units": 5,
        "support_units": 5
      },
      "after": {
        "cart_units": 5,
        "checkout_units": 5,
        "support_units": 5
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 1,
        "requested": 10
      },
      "before": {
        "cart_units": 5,
        "checkout_units": 5,
        "support_units": 5
      },
      "after": {
        "cart_units": 5,
        "checkout_units": 5,
        "support_units": 5
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 6,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 6,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 6,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 6,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 6,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 10,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 10,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 10,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 10,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 6,
        "reserved": 10,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": -1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": -1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": -1,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": -1,
        "requested": 6
      },
      "before": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      },
      "after": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": -1,
        "requested": 10
      },
      "before": {
        "cart_units": 10,
        "checkout_units": 10,
        "support_units": 10
      },
      "after": {
        "cart_units": 10,
        "checkout_units": 10,
        "support_units": 10
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 0,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 0,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 0,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 0,
        "requested": 6
      },
      "before": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      },
      "after": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 0,
        "requested": 10
      },
      "before": {
        "cart_units": 10,
        "checkout_units": 10,
        "support_units": 10
      },
      "after": {
        "cart_units": 10,
        "checkout_units": 10,
        "support_units": 10
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 1,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 1,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 1,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 1,
        "requested": 6
      },
      "before": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      },
      "after": {
        "cart_units": 6,
        "checkout_units": 6,
        "support_units": 6
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 1,
        "requested": 10
      },
      "before": {
        "cart_units": 9,
        "checkout_units": 9,
        "support_units": 9
      },
      "after": {
        "cart_units": 9,
        "checkout_units": 9,
        "support_units": 9
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 6,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 6,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 6,
        "requested": 1
      },
      "before": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      },
      "after": {
        "cart_units": 1,
        "checkout_units": 1,
        "support_units": 1
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 6,
        "requested": 6
      },
      "before": {
        "cart_units": 4,
        "checkout_units": 4,
        "support_units": 4
      },
      "after": {
        "cart_units": 4,
        "checkout_units": 4,
        "support_units": 4
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 6,
        "requested": 10
      },
      "before": {
        "cart_units": 4,
        "checkout_units": 4,
        "support_units": 4
      },
      "after": {
        "cart_units": 4,
        "checkout_units": 4,
        "support_units": 4
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 10,
        "requested": -1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 10,
        "requested": 0
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 10,
        "requested": 1
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 10,
        "requested": 6
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    },
    {
      "inputs": {
        "stock": 10,
        "reserved": 10,
        "requested": 10
      },
      "before": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      },
      "after": {
        "cart_units": 0,
        "checkout_units": 0,
        "support_units": 0
      }
    }
  ]
}