{ "prime": "0x800000000000011000000000000000000000000000000000000000000000001", "compiler_version": "2.0.0", "bytecode": [ "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0xfffffffffffffffffffffffffffefe08", "0x400280007ff97fff", "0x10780017fff7fff", "0x79", "0x4825800180007ffa", "0x101f8", "0x400280007ff97fff", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0xf9", "0x482680017ff98000", "0x1", "0x20680017fff7ffd", "0x60", "0x48307ffb80007ffc", "0x4824800180007fff", "0x0", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x6", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x4", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x1", "0x48307ffe80007fff", "0x20680017fff7fff", "0x3d", "0x1104800180018000", "0x354", "0x482480017fff8000", "0x353", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fe1", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff37fff", "0x10780017fff7fff", "0x20", "0x4824800180007fe1", "0x0", "0x400080007ff47fff", "0x482480017ff48000", "0x1", "0x48127ffe7fff8000", "0x480a7ffb7fff8000", "0x48127ff07fff8000", "0x1104800180018000", "0xfe", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", "0x1", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017ff18000", "0x1", "0x48127fdc7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0x15a", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff47fff8000", "0x48127fdf7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f2073686f727420666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ffd7fff8000", "0x48127fe87fff8000", "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", "0xffffffffffffffffffffffffffffe3b8", "0x400280007ff97fff", "0x10780017fff7fff", "0x64", "0x4825800180007ffa", "0x1c48", "0x400280007ff97fff", "0x48297ffc80007ffd", "0x482680017ff98000", "0x1", "0x4824800180007ffe", "0x0", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x6", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x4", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x1", "0x48307ffe80007fff", "0x20680017fff7fff", "0x3c", "0x1104800180018000", "0x2cd", "0x482480017fff8000", "0x2cc", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff47fff", "0x10780017fff7fff", "0x1f", "0x4824800180007ff4", "0x0", "0x400080007ff57fff", "0x48127fff7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0xfe", "0x482480017fd48000", "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", "0x482480017ff28000", "0x1", "0x48127fef7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0xd4", "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", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480a7ffc7fff8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x20680017fff7ffc", "0x15", "0x480080007ffd8000", "0x4824800180007fff", "0x0", "0x20680017fff7fff", "0x6", "0x480680017fff8000", "0x1", "0x10780017fff7fff", "0x4", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x480680017fff8000", "0x0", "0x48307ffb80007ffc", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x4", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x20780017fff7ffd", "0x1d", "0x40780017fff7fff", "0x96", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x1104800180018000", "0x92", "0x20680017fff7ffd", "0x7", "0x480a7ffa7fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x10780017fff7fff", "0x35", "0x40780017fff7fff", "0x3", "0x480a7ffa7fff8000", "0x48127ff77fff8000", "0x48127ff77fff8000", "0x480680017fff8000", "0x1", "0x48127ff77fff8000", "0x48127ff77fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0xc1", "0x20680017fff7ffd", "0x56", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffc7fff8000", "0x1104800180018000", "0x73", "0x20680017fff7ffd", "0x43", "0x48127fb17fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x1104800180018000", "0xb1", "0x20680017fff7ffd", "0x32", "0x48127ffa7fff8000", "0x48127ffe7fff8000", "0x480680017fff8000", "0x1", "0x1104800180018000", "0xd6", "0x20680017fff7ffd", "0x20", "0x48127fe57fff8000", "0x48127fe57fff8000", "0x48127ffd7fff8000", "0x1104800180018000", "0xf9", "0x20680017fff7ffd", "0xf", "0x48127fe47fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x3", "0x48127fe17fff8000", "0x48127ff77fff8000", "0x48127ff77fff8000", "0x480680017fff8000", "0x1", "0x48127ff77fff8000", "0x48127ff77fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1b", "0x48127fe17fff8000", "0x48127fc97fff8000", "0x48127fc97fff8000", "0x480680017fff8000", "0x1", "0x48127fdf7fff8000", "0x48127fdf7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x31", "0x48127fc97fff8000", "0x48127fc97fff8000", "0x48127fc97fff8000", "0x480680017fff8000", "0x1", "0x48127fc97fff8000", "0x48127fc97fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x65", "0x48127f4c7fff8000", "0x48127f957fff8000", "0x48127f957fff8000", "0x480680017fff8000", "0x1", "0x48127f957fff8000", "0x48127f957fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0xae", "0x48127f4c7fff8000", "0x48127f4c7fff8000", "0x48127f4c7fff8000", "0x480680017fff8000", "0x1", "0x48127f4c7fff8000", "0x48127f4c7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x1104800180018000", "0xb0", "0x20680017fff7ffd", "0xb", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0xce", "0x40780017fff7fff", "0x1", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x1104800180018000", "0xc5", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x456d69744576656e74", "0x400280007ffb7fff", "0x400380017ffb7ffa", "0x400280027ffb7ffb", "0x400280037ffb7ffc", "0x400280047ffb7ffd", "0x400280057ffb7ffe", "0x480280077ffb8000", "0x20680017fff7fff", "0xd", "0x480280067ffb8000", "0x482680017ffb8000", "0x8", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x10780017fff7fff", "0x9", "0x480280067ffb8000", "0x482680017ffb8000", "0xa", "0x480680017fff8000", "0x1", "0x480280087ffb8000", "0x480280097ffb8000", "0x1104800180018000", "0xc6", "0x20680017fff7ffd", "0xb", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85", "0x1104800180018000", "0xb9", "0x20680017fff7ffc", "0x1a", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x1104800180018000", "0xee", "0x20680017fff7ffd", "0xb", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x8", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x480680017fff8000", "0x1", "0x48127ff27fff8000", "0x48127ff27fff8000", "0x208b7fff7fff7ffe", "0x482a7ffd7ffc8001", "0xa0680017fff7fff", "0x7", "0x4824800180007fff", "0x100000000000000000000000000000000", "0x400280007ffb7fff", "0x10780017fff7fff", "0xc", "0x400280007ffb7fff", "0x40780017fff7fff", "0x1", "0x482680017ffb8000", "0x1", "0x480680017fff8000", "0x0", "0x48127ffc7fff8000", "0x10780017fff7fff", "0x7", "0x482680017ffb8000", "0x1", "0x480680017fff8000", "0x1", "0x48127ffd7fff8000", "0x480680017fff8000", "0x753132385f616464204f766572666c6f77", "0x1104800180018000", "0xc3", "0x20680017fff7ffd", "0x9", "0x48127ff67fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x48127ff67fff8000", "0x480680017fff8000", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85", "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", "0x3b", "0x20680017fff7ffd", "0xb", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x20780017fff7ff8", "0x13", "0x480680017fff8000", "0x477e157efde59c5531277ede78acb3e03ef69508c6c35fde3495aa0671d227", "0x400280007ffb7fff", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x482680017ffb8000", "0x1", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x83", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x10780017fff7fff", "0x12", "0x40780017fff7fff", "0xf", "0x480680017fff8000", "0x1d3bd105efd11cb4e1d188c3f2b302935b4db511160389bd8b0a936ce967708", "0x400280007ffb7fff", "0x480a7ffa7fff8000", "0x482680017ffb8000", "0x1", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x7b", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x20780017fff7ffb", "0x9", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x1", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x53746f7261676552656164", "0x400280007ffb7fff", "0x400380017ffb7ffa", "0x400380027ffb7ffc", "0x400380037ffb7ffd", "0x480280057ffb8000", "0x20680017fff7fff", "0x28", "0x480a7ff97fff8000", "0x480280067ffb8000", "0x1104800180018000", "0x60", "0x480280047ffb8000", "0x482680017ffb8000", "0x7", "0x20680017fff7ffc", "0xf", "0x40780017fff7fff", "0x2", "0x48127ff97fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x48127ff57fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x53746f7261676541636365737355313238202d206e6f6e2075313238", "0x400080007ffe7fff", "0x48127ff97fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x48127ff97fff8000", "0x482480017ff88000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x11", "0x480a7ff97fff8000", "0x480280047ffb8000", "0x482680017ffb8000", "0x8", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x1", "0x480280067ffb8000", "0x480280077ffb8000", "0x208b7fff7fff7ffe", "0x20780017fff7ffb", "0x8", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x1", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x20780017fff7ffb", "0xa", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480a7ffc7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x400180007fff7ffd", "0x480680017fff8000", "0x1", "0x48127ffe7fff8000", "0x482480017ffd8000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ff97fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x33", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x16", "0x480280007ffc8003", "0x480280017ffc8003", "0x4844800180017ffe", "0x100000000000000000000000000000000", "0x483180017ffd7ffd", "0x482480017fff7ffd", "0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001", "0x20680017fff7ffc", "0x6", "0x402480017fff7ffd", "0xffffffffffffffffffffffffffffffff", "0x10780017fff7fff", "0x4", "0x402480017ffe7ffd", "0xf7ffffffffffffef0000000000000000", "0x400280027ffc7ffd", "0x20680017fff7ffe", "0xe", "0x402780017fff7fff", "0x1", "0x400380007ffc7ffd", "0x40780017fff7fff", "0x5", "0x482680017ffc8000", "0x1", "0x480680017fff8000", "0x0", "0x480a7ffd7fff8000", "0x10780017fff7fff", "0x8", "0x482680017ffc8000", "0x3", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x5", "0x48127ffe7fff8000", "0x48127ffe7fff8000", "0x208b7fff7fff7ffe", "0x400380007ffd7ffb", "0x480a7ffc7fff8000", "0x482680017ffd8000", "0x1", "0x208b7fff7fff7ffe" ], "hints": [ [ 0, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x101f8" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 41, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -30 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 62, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 80, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 98, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 112, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 126, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 141, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x1c48" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 176, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 196, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 214, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 232, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 246, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 472, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 474, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 496, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -5 } } } } ] ], [ 583, [ { "TestLessThan": { "lhs": { "Deref": { "register": "AP", "offset": 0 } }, "rhs": { "Immediate": "0x100000000000000000000000000000000" }, "dst": { "register": "AP", "offset": -1 } } } ] ], [ 635, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -4 } } } } ] ], [ 735, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -5 } } } } ] ], [ 760, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 812, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 836, [ { "TestLessThan": { "lhs": { "Deref": { "register": "FP", "offset": -3 } }, "rhs": { "Immediate": "0x100000000000000000000000000000000" }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 838, [ { "DivMod": { "lhs": { "Deref": { "register": "FP", "offset": -3 } }, "rhs": { "Immediate": "0x100000000000000000000000000000000" }, "quotient": { "register": "AP", "offset": 3 }, "remainder": { "register": "AP", "offset": 4 } } } ] ] ], "entry_points_by_type": { "EXTERNAL": [ { "selector": "0x966af5d72d3975f70858b044c77785d3710638bbcebbd33cc7001a91025588", "offset": 0, "builtins": [ "range_check" ] } ], "L1_HANDLER": [], "CONSTRUCTOR": [ { "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194", "offset": 141, "builtins": [ "range_check" ] } ] } }