export const ExampleContract8Code: { __type: 'ExampleContract8Code', protocol: string, code: object[] } = { __type: 'ExampleContract8Code', protocol: 'PsDELPH1Kxsxt8f9eWbxQeRxkjfbxoqM52jvs5Y5fBxWWh4ifpo', code: JSON.parse(`[{"prim":"parameter","args":[{"prim":"or","args":[{"prim":"pair","annots":["%make"],"args":[{"prim":"nat","annots":["%id"]},{"prim":"pair","args":[{"prim":"address","annots":["%p1"]},{"prim":"pair","args":[{"prim":"mutez","annots":["%fee"]},{"prim":"option","annots":["%otherFee"],"args":[{"prim":"mutez"}]}]}]}]},{"prim":"or","args":[{"prim":"nat","annots":["%join"]},{"prim":"or","args":[{"prim":"pair","annots":["%register2"],"args":[{"prim":"nat","annots":["%id"]},{"prim":"address","annots":["%p2"]}]},{"prim":"or","args":[{"prim":"pair","annots":["%accept"],"args":[{"prim":"nat","annots":["%id"]},{"prim":"or","annots":["%result"],"args":[{"prim":"unit","annots":["%result1"]},{"prim":"or","args":[{"prim":"unit","annots":["%result2"]},{"prim":"unit","annots":["%ok"]}]}]}]},{"prim":"or","args":[{"prim":"nat","annots":["%cancel"]},{"prim":"or","args":[{"prim":"address","annots":["%setAuth"]},{"prim":"or","args":[{"prim":"unit","annots":["%confirmAuth"]},{"prim":"or","args":[{"prim":"address","annots":["%setCollector"]},{"prim":"unit","annots":["%free"]}]}]}]}]}]}]}]}]}]},{"prim":"storage","args":[{"prim":"pair","args":[{"prim":"big_map","annots":["%entries"],"args":[{"prim":"nat"},{"prim":"or","annots":["%progress"],"args":[{"prim":"unit","annots":["%waiting01"]},{"prim":"or","args":[{"prim":"unit","annots":["%waiting02"]},{"prim":"or","args":[{"prim":"address","annots":["%p1"]},{"prim":"or","args":[{"prim":"address","annots":["%p2"]},{"prim":"or","args":[{"prim":"pair","annots":["%finished"],"args":[{"prim":"address","annots":["%bob"]},{"prim":"or","annots":["%result"],"args":[{"prim":"unit","annots":["%result1"]},{"prim":"or","args":[{"prim":"unit","annots":["%result2"]},{"prim":"unit","annots":["%ok"]}]}]}]},{"prim":"option","annots":["%cancelled"],"args":[{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"address","annots":["%alice"]},{"prim":"pair","args":[{"prim":"address","annots":["%caleb"]},{"prim":"pair","args":[{"prim":"address","annots":["%dodge"]},{"prim":"pair","args":[{"prim":"nat","annots":["%count"]},{"prim":"bool","annots":["%free"]}]}]}]}]}]}]},{"prim":"code","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"XTZ_RECEIVED"}]}]]}]`) };