{
  "sierra_program": [
    "0x1",
    "0x1",
    "0x0",
    "0x1",
    "0x1",
    "0x0",
    "0xca",
    "0x36",
    "0x18",
    "0x52616e6765436865636b",
    "0x0",
    "0x4761734275696c74696e",
    "0x66656c74323532",
    "0x4172726179",
    "0x1",
    "0x2",
    "0x536e617073686f74",
    "0x3",
    "0x537472756374",
    "0x1baeba72e79e9db2587cf44fedb2f3700b2075a5e8e39a562584862c4b71f62",
    "0x4",
    "0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3",
    "0x456e756d",
    "0x11c6d8087e00642489f92d2821ad6ebd6532ad1a3b6d12833da6d6810391511",
    "0x6",
    "0x753332",
    "0x3288d594b9a45d15bb2fcb7903f06cdb06b27f0ba88186ec4cfaa98307cb972",
    "0x4275696c74696e436f737473",
    "0x53797374656d",
    "0xd3a26a7712a33547a4a74e7594a446ca400cb36a0c2c307b92eff9ce82ff8",
    "0xc",
    "0x5",
    "0x19b3b4955bdcfa379bfc5a4949111c4efdd79128f8676f4d0895419b22e2ad7",
    "0xe",
    "0x2f528e3c691e195fca674982b69c0dc4284f206c3ea4d680220e99b59315a92",
    "0x10",
    "0x426f78",
    "0x29d7d57c04a880978e7b3689f6218e507f3be17588744b58dc17762447ad0e7",
    "0x12",
    "0x53746f726167654261736541646472657373",
    "0x53746f7261676541646472657373",
    "0x90d0203c41ad646d024845257a6eceb2f8b59b29ce7420dd518053d2edeedc",
    "0x101dc0399934cc08fa0d6f6f2daead4e4a38cabeea1c743e1fc28d2d6e58e99",
    "0x5d",
    "0x7265766f6b655f61705f747261636b696e67",
    "0x656e61626c655f61705f747261636b696e67",
    "0x77697468647261775f676173",
    "0x6272616e63685f616c69676e",
    "0x73746f72655f74656d70",
    "0x66756e6374696f6e5f63616c6c",
    "0x656e756d5f6d61746368",
    "0x7",
    "0x7374727563745f6465636f6e737472756374",
    "0x61727261795f6c656e",
    "0x7533325f636f6e7374",
    "0x8",
    "0x7533325f6571",
    "0x7374727563745f636f6e737472756374",
    "0x656e756d5f696e6974",
    "0x9",
    "0x6a756d70",
    "0x626f6f6c5f6e6f745f696d706c",
    "0x64726f70",
    "0x6765745f6275696c74696e5f636f737473",
    "0xa",
    "0x77697468647261775f6761735f616c6c",
    "0x64697361626c655f61705f747261636b696e67",
    "0xb",
    "0xd",
    "0x61727261795f6e6577",
    "0x736e617073686f745f74616b65",
    "0xf",
    "0x66656c743235325f636f6e7374",
    "0x4f7574206f6620676173",
    "0x61727261795f617070656e64",
    "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
    "0x496e70757420746f6f2073686f727420666f7220617267756d656e7473",
    "0x11",
    "0x647570",
    "0x61727261795f736e617073686f745f706f705f66726f6e74",
    "0x13",
    "0x756e626f78",
    "0x72656e616d65",
    "0x66656c743235325f616464",
    "0x73746f726167655f626173655f616464726573735f636f6e7374",
    "0x206f38f7e4f15e87567361213c28f235cccdaa1d7fd34c9db1dfe9489c6a091",
    "0x73746f726167655f616464726573735f66726f6d5f62617365",
    "0x15",
    "0x73746f726167655f726561645f73797363616c6c",
    "0x16",
    "0x73746f726167655f77726974655f73797363616c6c",
    "0x17",
    "0x21c",
    "0xffffffffffffffff",
    "0x7d",
    "0x6f",
    "0x60",
    "0x14",
    "0x1b",
    "0x19",
    "0x1a",
    "0x4e",
    "0x1c",
    "0x1d",
    "0x1e",
    "0x1f",
    "0x40",
    "0x20",
    "0x21",
    "0x25",
    "0x26",
    "0x27",
    "0x28",
    "0x22",
    "0x23",
    "0x24",
    "0x29",
    "0x39",
    "0x2a",
    "0x2b",
    "0x2c",
    "0x2d",
    "0x2e",
    "0x2f",
    "0x30",
    "0x31",
    "0x32",
    "0x33",
    "0x34",
    "0x35",
    "0x36",
    "0x37",
    "0x38",
    "0x3a",
    "0x3b",
    "0x3c",
    "0x3d",
    "0x3e",
    "0x3f",
    "0x41",
    "0x44",
    "0x42",
    "0x43",
    "0x45",
    "0x46",
    "0x47",
    "0x48",
    "0x49",
    "0x4a",
    "0x4b",
    "0x4c",
    "0x4d",
    "0x4f",
    "0x50",
    "0x51",
    "0x52",
    "0x53",
    "0x54",
    "0x55",
    "0x56",
    "0x57",
    "0x58",
    "0x59",
    "0x5a",
    "0x5b",
    "0x5c",
    "0x5e",
    "0x5f",
    "0x61",
    "0x62",
    "0x63",
    "0x64",
    "0xe1",
    "0x99",
    "0x9d",
    "0xd1",
    "0xc6",
    "0xbf",
    "0x155",
    "0x147",
    "0x101",
    "0x105",
    "0x136",
    "0x129",
    "0x122",
    "0x169",
    "0x16e",
    "0x179",
    "0x19d",
    "0x197",
    "0x1b5",
    "0x1ba",
    "0x1c5",
    "0x1df",
    "0x1f2",
    "0x1f7",
    "0x202",
    "0x20e",
    "0x218",
    "0x8a",
    "0xee",
    "0x162",
    "0x180",
    "0x1a5",
    "0x1a9",
    "0x1cb",
    "0x1d1",
    "0x1e5",
    "0x208",
    "0x212",
    "0x129c",
    "0x7060f02090e0d02060a0c060b02070a090606080706060502040203020100",
    "0xa090616061502090e10060d02070a02140213100610061202090e02111006",
    "0x706061c09061b061a02090e07060d02070a090619061802090e17060d0207",
    "0x22423090610062202090e090607062102090e0220021f10061e061d02090e",
    "0x2e0706062d1706062c2b06062a020606280909062917060628022702260225",
    "0x607330607320234330606280207330607321006063102302f060628020706",
    "0x606283b06062806060628023a0239380606280237100606363306062a0235",
    "0x63117060631090606360906063e0706063d160606363c06062a0c09062907",
    "0x2907060642410706400706063606073f0607323f06062802073f0607321906",
    "0x70606461b06062c4506062a10090629440706401706063643070640170906",
    "0x32480606280c060628020748060732070606472f0906292b09062909060628",
    "0x2b0607322b06062802072b0607320706064a070606494806062a0607480607",
    "0x6062806073c0607323c06062802073c0607321606063133090629024b0607",
    "0x64a0607510607325106062802075106073202504f060628024e4d07064c10",
    "0x607320252060745060732450606280207450607321b060631380906295106",
    "0x62a5106062a1606062c3b0906295306064a06075306073253060628020753",
    "0x9022b100756170c0755070602070702025506020602025506020202545306",
    "0x2b020c0655060c061002332f075506380617023806550609060c0202550602",
    "0x3c0755063f0617023f0655062f060c020255060209021606573b0655073306",
    "0x61e0633021e0655063c062f020255060209024506581b06550719062b0219",
    "0x20902025302550759480716024806550648063b0259065506023802480655",
    "0x5a06021b025306550651063f02510655064f0619024f065506023c02025506",
    "0x2530655065b063f025b0655060006450200065506023c0202550602090202",
    "0x55060209025e065d5a0655075c0648025c0655065c063f025c06550653061e",
    "0x55075f170c0953025f0655065f0651025f065506024f020255065a06590202",
    "0x7065c026506550661065b0202550602000202550602090264630762616007",
    "0x69095506686766650c5e02680655061b065a02670655063b065a0266065506",
    "0x6c0660020255060209026e066d6c0655076b065f0260065506600610026b6a",
    "0x6710669020255067006640271700755066f0663026f065506026102025506",
    "0x69065b0275065506600610027406550673066b027306550672066a02720655",
    "0x5506020902787776750c067806550674066502770655066a065c0276065506",
    "0x55066a065c027b06550669065b027a06550660061002790655066e06660202",
    "0x667020255060200020255060209026d7c7b7a0c066d065506790665027c06",
    "0x55067e065a027e0655060268027d0655060261020255063b0667020255061b",
    "0x64065b028106550663061002800655067f0666027f0655067e7d076c027e06",
    "0x5506020902836282810c0683065506800665026206550607065c0282065506",
    "0x65c020255063b0667020255061b0667020255065e06590202550602000202",
    "0x26f028706550602610202550686065902868507550684066e028406550607",
    "0x10028a06550689066602890655068887076c028806550688065a0288065506",
    "0x68e0655068a0665028d06550685065c028c06550617065b028b0655060c06",
    "0x255063c067002025506450659020255060200020255060209028e8d8c8b0c",
    "0x6c025d0655065d065a025d0655060271028f0655060261020255063b066702",
    "0x9306550617065b02920655060c0610029106550690066602900655065d8f07",
    "0x20002025506020902959493920c0695065506910665029406550607065c02",
    "0x97065506027102960655060261020255062f06700202550616065902025506",
    "0x55060c0610029906550698066602980655069796076c029706550697065a02",
    "0x9c9b9a0c069d065506990665029c06550607065c029b06550617065b029a06",
    "0x602680223065506026102025506090670020255060200020255060209029d",
    "0x61002580655069f0666029f0655069e23076c029e0655069e065a029e0655",
    "0xc06a306550658066502a206550607065c02a10655062b065b02a006550610",
    "0x22b1007a4170c0755070602070702025506020602025506020202a3a2a1a0",
    "0x63b0238065506023802330655062f0633022f06550609062f020255060209",
    "0x3c0202550602090202a502550738330716020c0655060c0610023306550633",
    "0x602090202a606021b023c06550616063f02160655063b0619023b06550602",
    "0x55063c061e023c0655063f063f023f0655061906450219065506023c020255",
    "0x60200020255060209021e06a7450655071b0648021b0655061b063f021b06",
    "0x748170c095302480655064806510248065506024f02025506450659020255",
    "0x25e06550607065c025a0655064f065b02025506020902535107a84f590755",
    "0x9026006a95f0655075c06730259065506590610025c5b000955065e5a0772",
    "0x6670269640755066106750263065506026102610655065f06740202550602",
    "0x26b6a075506666507770266065506630676026506550669065a0202550664",
    "0x26c065506680669020255066706640268670755066a0663020255066b0659",
    "0x7106550600065b0270065506590610026f0655066e066b026e0655066c066a",
    "0x66602025506020902737271700c06730655066f066502720655065b065c02",
    "0x6502770655065b065c027606550600065b0275065506590610027406550660",
    "0x6550602680279065506026102025506020902787776750c06780655067406",
    "0x6510610027c0655067b0666027b0655067a79076c027a0655067a065a027a",
    "0x7d6d0c067f0655067c0665027e06550607065c027d06550653065b026d0655",
    "0x6e028206550607065c020255061e0659020255060200020255060209027f7e",
    "0x65a0283065506026f02620655060261020255068106590281800755068206",
    "0x2840655060c0610028606550685066602850655068362076c028306550683",
    "0x902898887840c0689065506860665028806550680065c028706550617065b",
    "0x8b0655060268028a0655060261020255060906700202550602000202550602",
    "0x5506100610028d0655068c0666028c0655068b8a076c028b0655068b065a02",
    "0x5d8f8e0c06900655068d0665025d06550607065c028f0655062b065b028e06",
    "0x60209022b1007aa170c075507060207070202550602060202550602020290",
    "0x33062b020c0655060c061002332f075506380617023806550609060c020255",
    "0x3802190655063c0633023c0655062f062f020255060209021606ab3b065507",
    "0x3c0202550602090202ac0255073f190716021906550619063b023f06550602",
    "0x602090202ad06021b021e06550645063f02450655061b0619021b06550602",
    "0x55061e061e021e06550659063f02590655064806450248065506023c020255",
    "0x510659020255060209025306ae510655074f0648024f0655064f063f024f06",
    "0x7af5c5b07550700170c095302000655060006510200065506024f02025506",
    "0x26406550607065c02630655065c065b020255060200020255060209025e5a",
    "0x61065f025b0655065b06100261605f095506696463097802690655063b065a",
    "0x65066302650655060261020255066a0660020255060209026b06b06a065507",
    "0x66b026c06550668066a026806550667066902025506660664026766075506",
    "0x65027106550660065c02700655065f065b026f0655065b0610026e0655066c",
    "0x65b061002730655066b0666020255060209027271706f0c06720655066e06",
    "0x75740c0677065506730665027606550660065c02750655065f065b02740655",
    "0x26802780655060261020255063b0667020255060200020255060209027776",
    "0x10027b0655067a0666027a0655067978076c027906550679065a0279065506",
    "0x67e0655067b0665027d06550607065c026d0655065e065b027c0655065a06",
    "0x255063b066702025506530659020255060200020255060209027e7d6d7c0c",
    "0x8206550602610202550680065902807f07550681066e028106550607065c02",
    "0x6550683066602830655066282076c026206550662065a0262065506026f02",
    "0x550685066502870655067f065c028406550617065b02860655060c06100285",
    "0x2f06700202550616065902025506020002025506020902888784860c068806",
    "0x68a89076c028a0655068a065a028a06550602710289065506026102025506",
    "0x7065c028e06550617065b028d0655060c0610028c0655068b0666028b0655",
    "0x20255060200020255060209025d8f8e8d0c065d0655068c0665028f065506",
    "0x76c029106550691065a029106550602680290065506026102025506090670",
    "0x2950655062b065b0294065506100610029306550692066602920655069190",
    "0x79020606550602062f02979695940c0697065506930665029606550607065c",
    "0x6550607067b021706550609067a020255060209020c06b109070755070606",
    "0x66d022f065506023c0202550602090202b206021b022b06550617067c0210",
    "0xc0238065506100669022b06550633067c02100655060c067b02330655062f",
    "0x3c0655063b067e020255060209021606b33b0655072b067d02380655063806",
    "0x6550638060c023f06550619068002190655063c067f023c0655063c065a02",
    "0x5506023c0202550616065902025506020902451b0706450655063f0681021b",
    "0x24f5907064f065506480681025906550638060c02480655061e0682021e06",
    "0x71006730210170c0955062f2b0772022f06550606065c022b06550602065b",
    "0x5a0216065506073b0762023b065506330674020255060209023806b4330655",
    "0x1e06550617065c02450655060c065b023c0655060916076202160655061606",
    "0x4f06b5590655071b065f021b3f19095506481e45098302480655063c065a02",
    "0x68602530655065106850251065506023c0202550659066002025506020902",
    "0x9065a065506000684025c0655063f065c025b06550619065b020006550653",
    "0x55063f065c025f06550619065b025e0655064f0687020255060209025a5c5b",
    "0x667020255060906670202550602090261605f0906610655065e0684026006",
    "0x684026906550617065c02640655060c065b02630655063806870202550607",
    "0x5506060688020706550602065c0206065506023c026a696409066a06550663",
    "0x63b020c0655060238020906550607068a0207065506028902090707060906",
    "0x38332f09b62b1017095507090c06020c8c020906550609068b020c0655060c",
    "0x23c06550610065c021606550617065b023b0655062b068d02025506020902",
    "0x2f065b023f06550638068f0202550602090202b706021b02190655063b068e",
    "0x690024506550619065d02190655063f068e023c06550633065c0216065506",
    "0x2590655061e0674020255060209024806b81e0655071b0673021b06550645",
    "0x655063c065c025306550616065b02510655064f0692024f065506590691",
    "0x16065b025c065506480694020255060209025b005309065b06550651069302",
    "0x550602067f025f5e5a09065f0655065c0693025e0655063c065c025a065506",
    "0x60c06880217065506090676020c065506023c02090655060706076c020706",
    "0x2f06550607065a022b06550606065c021006550602065b0210170706100655",
    "0x60020255060209023806b93306550717065f02170c090955062f2b10098302",
    "0x65b023c06550616068602160655063b0685023b065506023c020255063306",
    "0x55060209021b3f1909061b0655063c0684023f0655060c065c021906550609",
    "0x550645068402480655060c065c021e06550609065b02450655063806870202",
    "0x3b02170655060238020c06550609068a020906550602890259481e09065906",
    "0x332f09ba2b10075507070c1706021795020c0655060c068b02170655061706",
    "0x23c06550610065b02160655063b0696023b065506023c0202550602090238",
    "0x3806980202550602090202bb06021b023f06550616069702190655062b065c",
    "0x699023f0655061b0697021906550633065c023c0655062f065b021b065506",
    "0x20255060209025906bc4806550745065f02450655061e069a021e0655063f",
    "0x655063c065b025306550651068602510655064f0685024f06550648069b",
    "0x590687020255060209025c5b0009065c065506530684025b06550619065c02",
    "0x5e0906600655065a0684025f06550619065c025e0655063c065b025a065506",
    "0x906920209065506060691020255060209020706bd0606550702069c02605f",
    "0x93021006550607069402025506020902170606170655060c0693020c065506",
    "0x6060685020255060209020706be0606550702069d022b06062b0655061006",
    "0x68702025506020902170606170655060c0684020c06550609068602090655",
    "0x90706023f3b06020c173b06020c162b06062b065506100684021006550607",
    "0xc0090706023f3b06020c173b06020cbf090706023f3b06020c173b06020c02",
    "0x3b0607c302103b073b06c2090706023c3b060907073b060cc1022b17071706",
    "0x3b0609c60706023c3b0609073b0609c50602100907090707c40602453b0609",
    "0xc9023c065306c80245065106c70706023c3b060907"
  ],
  "sierra_program_debug_info": {
    "type_names": [],
    "libfunc_names": [],
    "user_func_names": []
  },
  "contract_class_version": "0.1.0",
  "entry_points_by_type": {
    "EXTERNAL": [
      {
        "selector": "0x362398bec32bc0ebb411203221a35a0301193a96f317ebe5e40be9f60d15320",
        "function_idx": 0
      },
      {
        "selector": "0x39e11d48192e4333233c7eb19d10ad67c362bb28580c604d67884c85da39695",
        "function_idx": 1
      }
    ],
    "L1_HANDLER": [],
    "CONSTRUCTOR": [
      {
        "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194",
        "function_idx": 2
      }
    ]
  },
  "abi": [
    {
      "type": "function",
      "name": "constructor",
      "inputs": [
        {
          "name": "initial_balance",
          "type": "core::felt252"
        }
      ],
      "outputs": [],
      "state_mutability": "external"
    },
    {
      "type": "function",
      "name": "increase_balance",
      "inputs": [
        {
          "name": "amount1",
          "type": "core::felt252"
        },
        {
          "name": "amount2",
          "type": "core::felt252"
        }
      ],
      "outputs": [],
      "state_mutability": "external"
    },
    {
      "type": "function",
      "name": "get_balance",
      "inputs": [],
      "outputs": [
        {
          "type": "core::felt252"
        }
      ],
      "state_mutability": "view"
    }
  ]
}