{ "prime": "0x800000000000011000000000000000000000000000000000000000000000001", "compiler_version": "1.1.0", "bytecode": [ "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0xffffffffffffffffffffffffffff9f48", "0x400280007ff97fff", "0x10780017fff7fff", "0x8e", "0x4825800180007ffa", "0x60b8", "0x400280007ff97fff", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x1a0", "0x482680017ff98000", "0x1", "0x20680017fff7ffd", "0x75", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x1104800180018000", "0x198", "0x20680017fff7ffe", "0x61", "0x48307ffc80007ffd", "0x4824800180007fff", "0x0", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x6", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x4", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x1", "0x48307ffe80007fff", "0x20680017fff7fff", "0x3e", "0x1104800180018000", "0x26e", "0x482480017fff8000", "0x26d", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fd4", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007fe37fff", "0x10780017fff7fff", "0x21", "0x4824800180007fd4", "0x0", "0x400080007fe47fff", "0x48127fff7fff8000", "0x480a7ffb7fff8000", "0x48127fe17fff8000", "0x48127ff17fff8000", "0x1104800180018000", "0x194", "0x482480017fa98000", "0x1", "0x20680017fff7ffc", "0xc", "0x40780017fff7fff", "0x1", "0x48127ffe7fff8000", "0x48127ff87fff8000", "0x48127ff87fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127fff7fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x480680017fff8000", "0x1", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017fe18000", "0x1", "0x48127fcf7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0x193", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127fe47fff8000", "0x48127fd27fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f2073686f727420666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127fed7fff8000", "0x48127fdb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f2073686f727420666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ffd7fff8000", "0x48127feb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0xffffffffffffffffffffffffffffe548", "0x400280007ff97fff", "0x10780017fff7fff", "0x69", "0x4825800180007ffa", "0x1ab8", "0x400280007ff97fff", "0x48297ffc80007ffd", "0x482680017ff98000", "0x1", "0x4824800180007ffe", "0x0", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x6", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x4", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x1", "0x48307ffe80007fff", "0x20680017fff7fff", "0x41", "0x1104800180018000", "0x1d8", "0x482480017fff8000", "0x1d7", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff47fff", "0x10780017fff7fff", "0x24", "0x4824800180007ff4", "0x0", "0x400080007ff57fff", "0x48127fff7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0x129", "0x482480017fde8000", "0x1", "0x20680017fff7ffc", "0x11", "0x40780017fff7fff", "0x1", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x48127ffd7fff8000", "0x1104800180018000", "0x14f", "0x48127ff77fff8000", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127fff7fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x480680017fff8000", "0x1", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017ff28000", "0x1", "0x48127fef7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0xfa", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff57fff8000", "0x48127ff27fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0xffffffffffffffffffffffffffffdb7a", "0x400280007ff97fff", "0x10780017fff7fff", "0x79", "0x4825800180007ffa", "0x2486", "0x400280007ff97fff", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x81", "0x482680017ff98000", "0x1", "0x20680017fff7ffd", "0x60", "0x48307ffb80007ffc", "0x4824800180007fff", "0x0", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x6", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x4", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x1", "0x48307ffe80007fff", "0x20680017fff7fff", "0x3d", "0x1104800180018000", "0x155", "0x482480017fff8000", "0x154", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fe4", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff37fff", "0x10780017fff7fff", "0x20", "0x4824800180007fe4", "0x0", "0x400080007ff47fff", "0x48127fff7fff8000", "0x480a7ffb7fff8000", "0x48127ff17fff8000", "0x1104800180018000", "0xdb", "0x482480017fd28000", "0x1", "0x20680017fff7ffc", "0xc", "0x40780017fff7fff", "0x1", "0x48127ffe7fff8000", "0x48127ff87fff8000", "0x48127ff87fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127fff7fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x480680017fff8000", "0x1", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017ff18000", "0x1", "0x48127fdf7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0x7b", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff47fff8000", "0x48127fe27fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f2073686f727420666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ffd7fff8000", "0x48127feb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480a7ffc7fff8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x20680017fff7ffc", "0x9", "0x480080007ffd8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0x27", "0x20680017fff7ffd", "0x1a", "0x48287ffc7fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x48287ffd7ffd8000", "0x1104800180018000", "0x6c", "0x20680017fff7ffd", "0xb", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x19", "0x48127fe27fff8000", "0x48127fe27fff8000", "0x480680017fff8000", "0x1", "0x48127fe27fff8000", "0x48127fe27fff8000", "0x208b7fff7fff7ffe", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x206f38f7e4f15e87567361213c28f235cccdaa1d7fd34c9db1dfe9489c6a091", "0x480680017fff8000", "0x53746f7261676552656164", "0x400280007ffd7fff", "0x400380017ffd7ffc", "0x400280027ffd7ffd", "0x400280037ffd7ffe", "0x480280057ffd8000", "0x20680017fff7fff", "0xc", "0x480280047ffd8000", "0x482680017ffd8000", "0x7", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480280067ffd8000", "0x10780017fff7fff", "0x9", "0x480280047ffd8000", "0x482680017ffd8000", "0x8", "0x480680017fff8000", "0x1", "0x480280067ffd8000", "0x480280077ffd8000", "0x1104800180018000", "0x63", "0x20680017fff7ffd", "0xa", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x400380007ffd7ffb", "0x480a7ffc7fff8000", "0x482680017ffd8000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x14", "0x20680017fff7ffd", "0xb", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x206f38f7e4f15e87567361213c28f235cccdaa1d7fd34c9db1dfe9489c6a091", "0x480680017fff8000", "0x53746f726167655772697465", "0x400280007ffc7fff", "0x400380017ffc7ffb", "0x400280027ffc7ffd", "0x400280037ffc7ffe", "0x400380047ffc7ffd", "0x480280067ffc8000", "0x20680017fff7fff", "0xd", "0x480280057ffc8000", "0x482680017ffc8000", "0x7", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x9", "0x480280057ffc8000", "0x482680017ffc8000", "0x9", "0x480680017fff8000", "0x1", "0x480280077ffc8000", "0x480280087ffc8000", "0x1104800180018000", "0x21", "0x20680017fff7ffd", "0xb", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x20780017fff7ffb", "0x8", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x1", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x20780017fff7ffb", "0x9", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x1", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe" ], "hints": [ [ 0, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x60b8" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 47, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -43 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 69, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 87, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 105, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 119, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 133, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 147, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 162, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x1ab8" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 197, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 217, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 240, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 258, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 272, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 287, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x2486" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 328, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -27 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 349, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 367, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 385, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 399, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 413, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 518, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -3 } } } } ] ], [ 596, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -4 } } } } ] ] ], "entry_points_by_type": { "EXTERNAL": [ { "selector": "0x362398bec32bc0ebb411203221a35a0301193a96f317ebe5e40be9f60d15320", "offset": 0, "builtins": [ "range_check" ] }, { "selector": "0x39e11d48192e4333233c7eb19d10ad67c362bb28580c604d67884c85da39695", "offset": 162, "builtins": [ "range_check" ] } ], "L1_HANDLER": [], "CONSTRUCTOR": [ { "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194", "offset": 287, "builtins": [ "range_check" ] } ] } }