@hyperlane-xyz/starknet-core/dist/artifacts/token_MockParadexDex.compiled_contract_class.js

Core cairo contracts for Hyperlane

export const token_MockParadexDex = {"prime":"0x800000000000011000000000000000000000000000000000000000000000001","compiler_version":"2.10.1","bytecode":["0xa0680017fff8000","0x7","0x482680017ffa8000","0x100000000000000000000000000000000","0x400280007ff97fff","0x10780017fff7fff","0xae","0x4825800180007ffa","0x0","0x400280007ff97fff","0x482680017ff98000","0x1","0x482480017ffe8000","0x13ba","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480280007ffc8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x7f","0x48127ffb7fff8000","0xa0680017fff8004","0xe","0x4824800180047ffd","0x800000000000000000000000000000000000000000000000000000000000000","0x484480017ffe8000","0x110000000000000000","0x48307ffe7fff8002","0x480080007ff37ffc","0x480080017ff27ffc","0x402480017ffb7ffd","0xffffffffffffffeeffffffffffffffff","0x400080027ff17ffd","0x10780017fff7fff","0x6a","0x484480017fff8001","0x8000000000000000000000000000000","0x48307fff80007ffc","0x480080007ff47ffd","0x480080017ff37ffd","0x402480017ffc7ffe","0xf8000000000000000000000000000000","0x400080027ff27ffe","0x482480017ff28000","0x3","0x48127ff97fff8000","0x48307ff480007ff5","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ffb7fff8000","0x482480017ffb8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x6d3","0x482480017fff8000","0x6d2","0x48127ffb7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x2a94","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff57fff","0x10780017fff7fff","0x2d","0x4824800180007ffd","0x2a94","0x400080007ff67fff","0x48127fff7fff8000","0x480680017fff8000","0x0","0x480680017fff8000","0x2a3b7a8da5470b0f98f44cb6491489a2812bb4231fbb8df63eb6dbb8b61fbdd","0x482480017ff38000","0x1","0x480680017fff8000","0x53746f726167655772697465","0x400280007ffb7fff","0x400280017ffb7ffb","0x400280027ffb7ffc","0x400280037ffb7ffd","0x400280047ffb7fea","0x480280067ffb8000","0x20680017fff7fff","0xe","0x480280057ffb8000","0x40780017fff7fff","0x1","0x48127ffb7fff8000","0x48127ffd7fff8000","0x482680017ffb8000","0x7","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x480280057ffb8000","0x48127ffc7fff8000","0x482480017ffe8000","0x64","0x482680017ffb8000","0x9","0x480680017fff8000","0x1","0x480280077ffb8000","0x480280087ffb8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017ff38000","0x1","0x48127ff87fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff18000","0x3","0x482480017ff88000","0x42e","0x10780017fff7fff","0x5","0x48127ff87fff8000","0x482480017ffa8000","0x94c","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0xa0680017fff8000","0x7","0x482680017ffa8000","0x100000000000000000000000000000000","0x400280007ff97fff","0x10780017fff7fff","0x107","0x4825800180007ffa","0x0","0x400280007ff97fff","0x482680017ff98000","0x1","0x482480017ffe8000","0x924","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480280007ffc8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0xd8","0x48127ffb7fff8000","0xa0680017fff8004","0xe","0x4824800180047ffd","0x800000000000000000000000000000000000000000000000000000000000000","0x484480017ffe8000","0x110000000000000000","0x48307ffe7fff8002","0x480080007ff37ffc","0x480080017ff27ffc","0x402480017ffb7ffd","0xffffffffffffffeeffffffffffffffff","0x400080027ff17ffd","0x10780017fff7fff","0xc3","0x484480017fff8001","0x8000000000000000000000000000000","0x48307fff80007ffc","0x480080007ff47ffd","0x480080017ff37ffd","0x402480017ffc7ffe","0xf8000000000000000000000000000000","0x400080027ff27ffe","0x482480017ff28000","0x3","0x48127ff97fff8000","0x48307ff480007ff5","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff28000","0x1","0x48127ff27fff8000","0x480680017fff8000","0x0","0x480080007fef8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff27fff8000","0x48127ff27fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x90","0x48127ffb7fff8000","0xa0680017fff8004","0xe","0x4824800180047ffd","0x800000000000000000000000000000000000000000000000000000000000000","0x484480017ffe8000","0x110000000000000000","0x48307ffe7fff8002","0x480080007ff37ffc","0x480080017ff27ffc","0x402480017ffb7ffd","0xffffffffffffffeeffffffffffffffff","0x400080027ff17ffd","0x10780017fff7fff","0x7b","0x484480017fff8001","0x8000000000000000000000000000000","0x48307fff80007ffc","0x480080007ff47ffd","0x480080017ff37ffd","0x402480017ffc7ffe","0xf8000000000000000000000000000000","0x400080027ff27ffe","0x482480017ff28000","0x3","0x48127ff97fff8000","0x48307ff480007ff5","0x20680017fff7fff","0x4","0x10780017fff7fff","0x5c","0x482480017ff38000","0x1","0x48127ff37fff8000","0x48127ffc7fff8000","0x480080007ff08000","0x48307ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ff67fff8000","0x482480017ffa8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x5d5","0x482480017fff8000","0x5d4","0x48127ffa7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x1d100","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff07fff","0x10780017fff7fff","0x25","0x4824800180007ffd","0x1d100","0x400080007ff17fff","0x482480017ff18000","0x1","0x48127ffe7fff8000","0x480a7ffb7fff8000","0x48127fd97fff8000","0x48127fe67fff8000","0x48127ff27fff8000","0x1104800180018000","0x1d6","0x20680017fff7ffd","0xe","0x40780017fff7fff","0x1","0x400080007fff7ffe","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x482480017ffa8000","0x1","0x208b7fff7fff7ffe","0x48127ffa7fff8000","0x482480017ffa8000","0xc8","0x48127ffa7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017fee8000","0x1","0x48127ff87fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202333","0x400080007ffe7fff","0x48127ffb7fff8000","0x482480017ffb8000","0x686","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff18000","0x3","0x482480017ff88000","0x686","0x10780017fff7fff","0x5","0x48127ff87fff8000","0x482480017ffa8000","0xba4","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202332","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff18000","0x3","0x482480017ff88000","0xec4","0x10780017fff7fff","0x5","0x48127ff87fff8000","0x482480017ffa8000","0x13e2","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0xa0680017fff8000","0x7","0x482680017ffa8000","0x100000000000000000000000000000000","0x400280007ff97fff","0x10780017fff7fff","0xed","0x4825800180007ffa","0x0","0x400280007ff97fff","0x482680017ff98000","0x1","0x482480017ffe8000","0xb7c","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480280007ffc8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0xbe","0x48127ffb7fff8000","0xa0680017fff8004","0xe","0x4824800180047ffd","0x800000000000000000000000000000000000000000000000000000000000000","0x484480017ffe8000","0x110000000000000000","0x48307ffe7fff8002","0x480080007ff37ffc","0x480080017ff27ffc","0x402480017ffb7ffd","0xffffffffffffffeeffffffffffffffff","0x400080027ff17ffd","0x10780017fff7fff","0xa9","0x484480017fff8001","0x8000000000000000000000000000000","0x48307fff80007ffc","0x480080007ff47ffd","0x480080017ff37ffd","0x402480017ffc7ffe","0xf8000000000000000000000000000000","0x400080027ff27ffe","0x482480017ff28000","0x3","0x48127ff97fff8000","0x48307ff480007ff5","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff28000","0x1","0x48127ff27fff8000","0x480680017fff8000","0x0","0x480080007fef8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff27fff8000","0x48127ff27fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x76","0x48127ffb7fff8000","0xa0680017fff8004","0xe","0x4824800180047ffd","0x800000000000000000000000000000000000000000000000000000000000000","0x484480017ffe8000","0x110000000000000000","0x48307ffe7fff8002","0x480080007ff37ffc","0x480080017ff27ffc","0x402480017ffb7ffd","0xffffffffffffffeeffffffffffffffff","0x400080027ff17ffd","0x10780017fff7fff","0x61","0x484480017fff8001","0x8000000000000000000000000000000","0x48307fff80007ffc","0x480080007ff47ffd","0x480080017ff37ffd","0x402480017ffc7ffe","0xf8000000000000000000000000000000","0x400080027ff27ffe","0x482480017ff28000","0x3","0x48127ff97fff8000","0x48307ff480007ff5","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ffb7fff8000","0x482480017ffb8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x4c3","0x482480017fff8000","0x4c2","0x48127ffb7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x78e6","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff57fff","0x10780017fff7fff","0x24","0x4824800180007ffd","0x78e6","0x400080007ff67fff","0x482480017ff68000","0x1","0x48127ffe7fff8000","0x480a7ffb7fff8000","0x48127fde7fff8000","0x48127feb7fff8000","0x1104800180018000","0x25b","0x20680017fff7ffd","0xe","0x40780017fff7fff","0x1","0x400080007fff7ffe","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x482480017ffa8000","0x1","0x208b7fff7fff7ffe","0x48127ffa7fff8000","0x482480017ffa8000","0xc8","0x48127ffa7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017ff38000","0x1","0x48127ff87fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff18000","0x3","0x482480017ff88000","0x42e","0x10780017fff7fff","0x5","0x48127ff87fff8000","0x482480017ffa8000","0x94c","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202332","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff18000","0x3","0x482480017ff88000","0xc6c","0x10780017fff7fff","0x5","0x48127ff87fff8000","0x482480017ffa8000","0x118a","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0xa0680017fff8000","0x7","0x482680017ffa8000","0x100000000000000000000000000000000","0x400280007ff97fff","0x10780017fff7fff","0x4a","0x4825800180007ffa","0x0","0x400280007ff97fff","0x482680017ff98000","0x1","0x482480017ffe8000","0x1bf8","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ffb7fff8000","0x482480017ffb8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x423","0x482480017fff8000","0x422","0x48127ffb7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x0","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff57fff","0x10780017fff7fff","0x11","0x4824800180007ffd","0x0","0x400080007ff67fff","0x40780017fff7fff","0x1","0x482480017ff58000","0x1","0x482480017ffd8000","0x190","0x480a7ffb7fff8000","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017ff38000","0x1","0x48127ff87fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x480680017fff8000","0x476574457865637574696f6e496e666f","0x400280007ffa7fff","0x400380017ffa7ff9","0x480280037ffa8000","0x20680017fff7fff","0x184","0x480280027ffa8000","0x480280047ffa8000","0x48127ffe7fff8000","0x480680017fff8000","0x0","0x480680017fff8000","0x2a3b7a8da5470b0f98f44cb6491489a2812bb4231fbb8df63eb6dbb8b61fbdd","0x480080007ffc8000","0x480080017ffb8000","0x480080027ffa8000","0x480080037ff98000","0x480080047ff88000","0x480680017fff8000","0x53746f7261676552656164","0x400280057ffa7fff","0x400280067ffa7ff7","0x400280077ffa7ff8","0x400280087ffa7ff9","0x4802800a7ffa8000","0x20680017fff7fff","0x15d","0x480280097ffa8000","0x4802800b7ffa8000","0x482680017ffa8000","0xc","0x48127ffd7fff8000","0xa0680017fff8004","0xe","0x4824800180047ffc","0x800000000000000000000000000000000000000000000000000000000000000","0x484480017ffe8000","0x110000000000000000","0x48307ffe7fff8002","0x480280007ff87ffc","0x480280017ff87ffc","0x402480017ffb7ffd","0xffffffffffffffeeffffffffffffffff","0x400280027ff87ffd","0x10780017fff7fff","0x139","0x484480017fff8001","0x8000000000000000000000000000000","0x48307fff80007ffb","0x480280007ff87ffd","0x480280017ff87ffd","0x402480017ffc7ffe","0xf8000000000000000000000000000000","0x400280027ff87ffe","0x48307ff880007ff2","0x482680017ff88000","0x3","0x48127ff87fff8000","0x20680017fff7ffd","0x13","0x40780017fff7fff","0x9f","0x40780017fff7fff","0x1","0x480680017fff8000","0x43616c6c6572206e6f742068797065726c616e65","0x400080007ffe7fff","0x48127f5d7fff8000","0x482480017f5d8000","0x16724","0x48127f537fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x48127fff7fff8000","0x480680017fff8000","0x476574457865637574696f6e496e666f","0x400080007ff47fff","0x400080017ff47ffe","0x480080037ff48000","0x20680017fff7fff","0x105","0x480080027ff38000","0x480080047ff28000","0x48127ffe7fff8000","0x480080007ffe8000","0x480080017ffd8000","0x480080027ffc8000","0x480080037ffb8000","0x480080047ffa8000","0x480680017fff8000","0x476574457865637574696f6e496e666f","0x400080057fea7fff","0x400080067fea7ff9","0x480080087fea8000","0x20680017fff7fff","0xe9","0x480080077fe98000","0x480080097fe88000","0x48127fef7fff8000","0x48127ffd7fff8000","0x482480017fe58000","0xa","0x480a7ffc7fff8000","0x48127ff57fff8000","0x480080037ffa8000","0x1104800180018000","0x198","0x20680017fff7ffd","0xd1","0x48127ffb7fff8000","0xa0680017fff8000","0x16","0x480080007ff88003","0x480080017ff78003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483180017ffd7ffd","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff37ffd","0x20680017fff7ffe","0x10","0x402780017fff7fff","0x1","0x400180007ff87ffd","0x40780017fff7fff","0x5","0x482480017ff38000","0x1","0x482480017ff88000","0x316","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x10780017fff7fff","0x7","0x482480017ff38000","0x3","0x48127ff87fff8000","0x48127ffd7fff8000","0x48127ffb7fff8000","0x48307fff80017ff4","0xa0680017fff7fff","0x7","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff97fff","0x10780017fff7fff","0x8d","0x400080007ffa7fff","0x482480017ffa8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x48127ffa7fff8000","0x48307ff980007fee","0x20680017fff7fff","0x4","0x10780017fff7fff","0x9","0x40780017fff7fff","0x3","0x48127ff87fff8000","0x482480017ff88000","0x154","0x10780017fff7fff","0xf","0x48127ffc7fff8000","0x48307ff680017feb","0xa0680017fff7fff","0x7","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff77fff","0x10780017fff7fff","0x6a","0x400080007ff87fff","0x482480017ff88000","0x1","0x48127ffc7fff8000","0x480680017fff8000","0x476574457865637574696f6e496e666f","0x400080007fe47fff","0x400080017fe47ffe","0x480080037fe48000","0x20680017fff7fff","0x52","0x480080027fe38000","0x480080047fe28000","0x48127ffe7fff8000","0x480080007ffe8000","0x480080017ffd8000","0x480080027ffc8000","0x480080037ffb8000","0x480080047ffa8000","0x480680017fff8000","0x476574457865637574696f6e496e666f","0x400080057fda7fff","0x400080067fda7ff9","0x480080087fda8000","0x20680017fff7fff","0x36","0x480080077fd98000","0x480080097fd88000","0x48127ffe7fff8000","0x482480017fd68000","0xa","0x480a7ffc7fff8000","0x48127ff67fff8000","0x480080037ffb8000","0x48127fe57fff8000","0x48127fe57fff8000","0x1104800180018000","0x1d0","0x20680017fff7ffd","0x1d","0x48127ffb7fff8000","0x48127ffb7fff8000","0x480a7ffc7fff8000","0x480a7ffb7fff8000","0x48127fc77fff8000","0x48127fc77fff8000","0x1104800180018000","0x21a","0x20680017fff7ffd","0xb","0x48127fb47fff8000","0x48127ffa7fff8000","0x48127ffa7fff8000","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480a7ffd7fff8000","0x208b7fff7fff7ffe","0x48127fb47fff8000","0x48127ffa7fff8000","0x48127ffa7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1d","0x48127fb47fff8000","0x482480017fdd8000","0x35f2","0x48127fdd7fff8000","0x480680017fff8000","0x1","0x48127fdd7fff8000","0x48127fdd7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x3d","0x480080077f9c8000","0x48127fb47fff8000","0x482480017ffe8000","0x6e1e","0x482480017f998000","0xb","0x480680017fff8000","0x1","0x480080097f978000","0x4800800a7f968000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x47","0x480080027f9c8000","0x48127fb47fff8000","0x482480017ffe8000","0x99de","0x482480017f998000","0x6","0x480680017fff8000","0x1","0x480080047f978000","0x480080057f968000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x47","0x482480017fb08000","0x1","0x482480017fb48000","0xc0ee","0x10780017fff7fff","0x8","0x40780017fff7fff","0x4f","0x482480017faa8000","0x1","0x482480017faa8000","0xc594","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e73756666696369656e7420616c6c6f77616e6365","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x48127f997fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x61","0x48127f997fff8000","0x482480017f998000","0xd020","0x48127f997fff8000","0x480680017fff8000","0x1","0x48127f997fff8000","0x48127f997fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x93","0x480080077f568000","0x48127f5d7fff8000","0x482480017ffe8000","0x112d8","0x482480017f538000","0xb","0x480680017fff8000","0x1","0x480080097f518000","0x4800800a7f508000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x9d","0x480080027f568000","0x48127f5d7fff8000","0x482480017ffe8000","0x13e98","0x482480017f538000","0x6","0x480680017fff8000","0x1","0x480080047f518000","0x480080057f508000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x9c","0x40780017fff7fff","0x1","0x480680017fff8000","0x4e6f6e20436f6e747261637441646472657373","0x400080007ffe7fff","0x482680017ff88000","0x3","0x482480017f5a8000","0x165b2","0x48127f587fff8000","0x48127ffb7fff8000","0x482480017ffa8000","0x1","0x10780017fff7fff","0xc","0x40780017fff7fff","0xa7","0x480280097ffa8000","0x480a7ff87fff8000","0x482480017ffe8000","0x16c56","0x482680017ffa8000","0xd","0x4802800b7ffa8000","0x4802800c7ffa8000","0x48127ffb7fff8000","0x48127ffb7fff8000","0x48127ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0xb8","0x480280027ffa8000","0x480a7ff87fff8000","0x482480017ffe8000","0x19b54","0x482680017ffa8000","0x6","0x480680017fff8000","0x1","0x480280047ffa8000","0x480280057ffa8000","0x208b7fff7fff7ffe","0x480680017fff8000","0x476574457865637574696f6e496e666f","0x400280007ffb7fff","0x400380017ffb7ffa","0x480280037ffb8000","0x20680017fff7fff","0x5e","0x480280027ffb8000","0x480280047ffb8000","0x480a7ff97fff8000","0x48127ffd7fff8000","0x482680017ffb8000","0x5","0x480a7ffd7fff8000","0x480080037ffb8000","0x1104800180018000","0x197","0x20680017fff7ffd","0x47","0x480680017fff8000","0x8000000000000110000000000000000","0x48127ffa7fff8000","0x48307ffd80017ffe","0xa0680017fff7fff","0x7","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff57fff","0x10780017fff7fff","0x28","0x400080007ff67fff","0x482480017ff68000","0x1","0x48127ffc7fff8000","0x4824800180007ff9","0x8000000000000110000000000000000","0x20680017fff7fff","0x4","0x10780017fff7fff","0x8","0x40780017fff7fff","0x3","0x482480017ffb8000","0x1d6","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x20680017fff7ff6","0x11","0x40780017fff7fff","0x2","0x482480017ffd8000","0x118","0x484480017ff48000","0x100000000000000000000000000000000","0x48127ff87fff8000","0x48127ffd7fff8000","0x48127fee7fff8000","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x48307fed7ffa8000","0x208b7fff7fff7ffe","0x48127ffc7fff8000","0x48127ffe7fff8000","0x10780017fff7fff","0x8","0x40780017fff7fff","0x3","0x482480017ff28000","0x1","0x482480017ff88000","0x1d6","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7074696f6e3a3a756e77726170206661696c65642e","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x48127fee7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0xc","0x48127fee7fff8000","0x482480017fee8000","0x672","0x48127fee7fff8000","0x480680017fff8000","0x1","0x48127fee7fff8000","0x48127fee7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x3d","0x480280027ffb8000","0x480a7ff97fff8000","0x482480017ffe8000","0x486c","0x482680017ffb8000","0x6","0x480680017fff8000","0x1","0x480280047ffb8000","0x480280057ffb8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x400180007fff7ffc","0x400180017fff7ffd","0x480680017fff8000","0x1e888a1026b19c8c0b57c72d63ed1737106aa10034105b980ba117bd0c29fe1","0x48127ffe7fff8000","0x482480017ffd8000","0x2","0x480680017fff8000","0x43616c6c436f6e7472616374","0x400280007ffa7fff","0x400380017ffa7ff9","0x400380027ffa7ffb","0x400280037ffa7ffc","0x400280047ffa7ffd","0x400280057ffa7ffe","0x480280077ffa8000","0x20680017fff7fff","0x8c","0x480280067ffa8000","0x480280087ffa8000","0x480280097ffa8000","0x482680017ffa8000","0xa","0x48127ffc7fff8000","0x48307ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ffa8000","0x1","0x48127ffa7fff8000","0x480680017fff8000","0x0","0x48127ff77fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ffa7fff8000","0x48127ffa7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x5c","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480280007ff88003","0x480280017ff88003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400280027ff87ffd","0x20680017fff7ffe","0x3e","0x402780017fff7fff","0x1","0x400280007ff87ffd","0x482680017ff88000","0x1","0x48127ffd7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0x2c","0x480080007ff68000","0x48127ffd7fff8000","0xa0680017fff8000","0x16","0x480080007ffa8003","0x480080017ff98003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff57ffd","0x20680017fff7ffe","0x11","0x402780017fff7fff","0x1","0x400080007ffa7ffd","0x40780017fff7fff","0x9","0x482480017ff18000","0x1","0x482480017ff48000","0x60e","0x48127fe47fff8000","0x480680017fff8000","0x0","0x48127fea7fff8000","0x48127fef7fff8000","0x208b7fff7fff7ffe","0x482480017ff58000","0x3","0x48127ff87fff8000","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff57fff8000","0x482480017ff58000","0x532","0x10780017fff7fff","0xf","0x40780017fff7fff","0x6","0x482680017ff88000","0x3","0x482480017ff28000","0x32a","0x10780017fff7fff","0x7","0x40780017fff7fff","0xe","0x480a7ff87fff8000","0x482480017fec8000","0x924","0x40780017fff7fff","0x1","0x480680017fff8000","0x52657475726e6564206461746120746f6f2073686f7274","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x48127fe47fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1c","0x480280067ffa8000","0x480a7ff87fff8000","0x482480017ffe8000","0xfa0","0x482680017ffa8000","0xa","0x480680017fff8000","0x1","0x480280087ffa8000","0x480280097ffa8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x400180007fff7ffa","0x400180017fff7ffb","0x400180027fff7ffc","0x400180037fff7ffd","0x480680017fff8000","0x3704ffe8fba161be0e994951751a5033b1462b918ff785c0a636be718dfdb68","0x48127ffe7fff8000","0x482480017ffd8000","0x4","0x480680017fff8000","0x43616c6c436f6e7472616374","0x400280007ff87fff","0x400380017ff87ff7","0x400380027ff87ff9","0x400280037ff87ffc","0x400280047ff87ffd","0x400280057ff87ffe","0x480280077ff88000","0x20680017fff7fff","0x34","0x480280067ff88000","0x480280087ff88000","0x480280097ff88000","0x482680017ff88000","0xa","0x48127ffc7fff8000","0x48307ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0x19","0x480080007ffb8000","0x48127ffd7fff8000","0x20680017fff7ffe","0x7","0x48127fff7fff8000","0x480680017fff8000","0x1","0x10780017fff7fff","0x6","0x482480017fff8000","0x64","0x480680017fff8000","0x0","0x480680017fff8000","0x1","0x48127ffd7fff8000","0x48127ff77fff8000","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x48307ffa80007ffb","0x208b7fff7fff7ffe","0x40780017fff7fff","0x3","0x40780017fff7fff","0x1","0x480680017fff8000","0x52657475726e6564206461746120746f6f2073686f7274","0x400080007ffe7fff","0x482480017ff98000","0xaa","0x48127ff77fff8000","0x480680017fff8000","0x1","0x48127ffb7fff8000","0x482480017ffa8000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0xa","0x480280067ff88000","0x482480017fff8000","0x44c","0x482680017ff88000","0xa","0x480680017fff8000","0x1","0x480280087ff88000","0x480280097ff88000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x40780017fff7fff","0x1","0x480680017fff8000","0x0","0x480a7ffa7fff8000","0x480a7ffb7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x3add8839758e3959a364fcb0c4dc68ea541281e6c1c480f05bfade5f2443545","0x400080007ff87fff","0x400080007ff97ffb","0x400080017ff97ffc","0x400080027ff97ffd","0x400080037ff97ffe","0x480a7ff87fff8000","0x48127ff77fff8000","0x482480017ff68000","0x1","0x48127ff67fff8000","0x482480017ff58000","0x4","0x480680017fff8000","0x456d69744576656e74","0x400280007ff97fff","0x400280017ff97ffa","0x400280027ff97ffb","0x400280037ff97ffc","0x400280047ff97ffd","0x400280057ff97ffe","0x480280077ff98000","0x20680017fff7fff","0xd","0x480280067ff98000","0x48127fff7fff8000","0x482680017ff98000","0x8","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x480280067ff98000","0x48127fff7fff8000","0x482680017ff98000","0xa","0x480680017fff8000","0x1","0x480280087ff98000","0x480280097ff98000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x400180007fff7ffd","0x480680017fff8000","0x35a73cd311a05d46deda634c5ee045db92f811b4e74bca4437fcb5302b7af33","0x48127ffe7fff8000","0x482480017ffd8000","0x1","0x480680017fff8000","0x43616c6c436f6e7472616374","0x400280007ffb7fff","0x400380017ffb7ffa","0x400380027ffb7ffc","0x400280037ffb7ffc","0x400280047ffb7ffd","0x400280057ffb7ffe","0x480280077ffb8000","0x20680017fff7fff","0x8c","0x480280067ffb8000","0x480280087ffb8000","0x480280097ffb8000","0x482680017ffb8000","0xa","0x48127ffc7fff8000","0x48307ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ffa8000","0x1","0x48127ffa7fff8000","0x480680017fff8000","0x0","0x48127ff77fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ffa7fff8000","0x48127ffa7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x5c","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480280007ff98003","0x480280017ff98003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400280027ff97ffd","0x20680017fff7ffe","0x3e","0x402780017fff7fff","0x1","0x400280007ff97ffd","0x482680017ff98000","0x1","0x48127ffd7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0x2c","0x480080007ff68000","0x48127ffd7fff8000","0xa0680017fff8000","0x16","0x480080007ffa8003","0x480080017ff98003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff57ffd","0x20680017fff7ffe","0x11","0x402780017fff7fff","0x1","0x400080007ffa7ffd","0x40780017fff7fff","0x9","0x482480017ff18000","0x1","0x482480017ff48000","0x60e","0x48127fe47fff8000","0x480680017fff8000","0x0","0x48127fea7fff8000","0x48127fef7fff8000","0x208b7fff7fff7ffe","0x482480017ff58000","0x3","0x48127ff87fff8000","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff57fff8000","0x482480017ff58000","0x532","0x10780017fff7fff","0xf","0x40780017fff7fff","0x6","0x482680017ff98000","0x3","0x482480017ff28000","0x32a","0x10780017fff7fff","0x7","0x40780017fff7fff","0xe","0x480a7ff97fff8000","0x482480017fec8000","0x924","0x40780017fff7fff","0x1","0x480680017fff8000","0x52657475726e6564206461746120746f6f2073686f7274","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x48127fe47fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1c","0x480280067ffb8000","0x480a7ff97fff8000","0x482480017ffe8000","0xfa0","0x482680017ffb8000","0xa","0x480680017fff8000","0x1","0x480280087ffb8000","0x480280097ffb8000","0x208b7fff7fff7ffe"],"bytecode_segment_lengths":[195,284,258,95,406,112,171,84,55,170],"hints":[[0,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[38,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x800000000000000000000000000000000000000000000000000000000000000"},"dst":{"register":"AP","offset":4}}}]],[42,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":3}},"scalar":{"Immediate":"0x110000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-2},"y":{"register":"AP","offset":-1}}}]],[52,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-3}},"scalar":{"Immediate":"0x8000000000000000000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-1},"y":{"register":"AP","offset":0}}}]],[68,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[89,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x2a94"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[115,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-5}}}}]],[119,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[141,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[165,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[179,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[195,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[233,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x800000000000000000000000000000000000000000000000000000000000000"},"dst":{"register":"AP","offset":4}}}]],[237,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":3}},"scalar":{"Immediate":"0x110000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-2},"y":{"register":"AP","offset":-1}}}]],[247,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-3}},"scalar":{"Immediate":"0x8000000000000000000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-1},"y":{"register":"AP","offset":0}}}]],[282,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x800000000000000000000000000000000000000000000000000000000000000"},"dst":{"register":"AP","offset":4}}}]],[286,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":3}},"scalar":{"Immediate":"0x110000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-2},"y":{"register":"AP","offset":-1}}}]],[296,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-3}},"scalar":{"Immediate":"0x8000000000000000000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-1},"y":{"register":"AP","offset":0}}}]],[322,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[343,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x1d100"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[366,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[387,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[402,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[426,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[449,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[463,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[479,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[517,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x800000000000000000000000000000000000000000000000000000000000000"},"dst":{"register":"AP","offset":4}}}]],[521,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":3}},"scalar":{"Immediate":"0x110000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-2},"y":{"register":"AP","offset":-1}}}]],[531,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-3}},"scalar":{"Immediate":"0x8000000000000000000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-1},"y":{"register":"AP","offset":0}}}]],[566,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x800000000000000000000000000000000000000000000000000000000000000"},"dst":{"register":"AP","offset":4}}}]],[570,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":3}},"scalar":{"Immediate":"0x110000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-2},"y":{"register":"AP","offset":-1}}}]],[580,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-3}},"scalar":{"Immediate":"0x8000000000000000000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-1},"y":{"register":"AP","offset":0}}}]],[596,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[617,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x78e6"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[639,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[660,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[684,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[707,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[721,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[737,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[756,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[777,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[789,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[801,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[816,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[836,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-6}}}}]],[857,[{"SystemCall":{"system":{"BinOp":{"op":"Add","a":{"register":"FP","offset":-6},"b":{"Immediate":"0x5"}}}}}]],[865,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x800000000000000000000000000000000000000000000000000000000000000"},"dst":{"register":"AP","offset":4}}}]],[869,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":3}},"scalar":{"Immediate":"0x110000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-2},"y":{"register":"AP","offset":-1}}}]],[879,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-4}},"scalar":{"Immediate":"0x8000000000000000000000000000000"},"max_x":{"Immediate":"0xffffffffffffffffffffffffffffffff"},"x":{"register":"AP","offset":-1},"y":{"register":"AP","offset":0}}}]],[895,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[915,[{"SystemCall":{"system":{"Deref":{"register":"AP","offset":-12}}}}]],[930,[{"SystemCall":{"system":{"BinOp":{"op":"Add","a":{"register":"AP","offset":-22},"b":{"Immediate":"0x5"}}}}}]],[947,[{"TestLessThan":{"lhs":{"Deref":{"register":"FP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[949,[{"DivMod":{"lhs":{"Deref":{"register":"FP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[987,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":0}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":-1}}}]],[1014,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":0}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":-1}}}]],[1029,[{"SystemCall":{"system":{"Deref":{"register":"AP","offset":-28}}}}]],[1044,[{"SystemCall":{"system":{"BinOp":{"op":"Add","a":{"register":"AP","offset":-38},"b":{"Immediate":"0x5"}}}}}]],[1139,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1192,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1242,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-5}}}}]],[1261,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":0}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":-1}}}]],[1312,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1350,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1367,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-6}}}}]],[1401,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1403,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1434,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1436,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1494,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1521,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1540,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-8}}}}]],[1579,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1605,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1607,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1637,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-7}}}}]],[1660,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1676,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-5}}}}]],[1710,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1712,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1743,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1745,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1803,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]]],"pythonic_hints":[[0,["memory[ap + 0] = 0 <= memory[fp + -6]"]],[38,["memory[ap + 4] = memory[ap + -2] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"]],[42,["\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"]],[52,["\n(value, scalar) = (memory[ap + -3], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"]],[68,["memory[ap + 0] = segments.add()"]],[89,["memory[ap + 0] = 10900 <= memory[ap + -2]"]],[115,["syscall_handler.syscall(syscall_ptr=memory[fp + -5])"]],[119,["memory[ap + 0] = segments.add()"]],[141,["memory[ap + 0] = segments.add()"]],[165,["memory[ap + 0] = segments.add()"]],[179,["memory[ap + 0] = segments.add()"]],[195,["memory[ap + 0] = 0 <= memory[fp + -6]"]],[233,["memory[ap + 4] = memory[ap + -2] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"]],[237,["\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"]],[247,["\n(value, scalar) = (memory[ap + -3], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"]],[282,["memory[ap + 4] = memory[ap + -2] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"]],[286,["\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"]],[296,["\n(value, scalar) = (memory[ap + -3], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"]],[322,["memory[ap + 0] = segments.add()"]],[343,["memory[ap + 0] = 119040 <= memory[ap + -2]"]],[366,["memory[ap + 0] = segments.add()"]],[387,["memory[ap + 0] = segments.add()"]],[402,["memory[ap + 0] = segments.add()"]],[426,["memory[ap + 0] = segments.add()"]],[449,["memory[ap + 0] = segments.add()"]],[463,["memory[ap + 0] = segments.add()"]],[479,["memory[ap + 0] = 0 <= memory[fp + -6]"]],[517,["memory[ap + 4] = memory[ap + -2] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"]],[521,["\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"]],[531,["\n(value, scalar) = (memory[ap + -3], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"]],[566,["memory[ap + 4] = memory[ap + -2] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"]],[570,["\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"]],[580,["\n(value, scalar) = (memory[ap + -3], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"]],[596,["memory[ap + 0] = segments.add()"]],[617,["memory[ap + 0] = 30950 <= memory[ap + -2]"]],[639,["memory[ap + 0] = segments.add()"]],[660,["memory[ap + 0] = segments.add()"]],[684,["memory[ap + 0] = segments.add()"]],[707,["memory[ap + 0] = segments.add()"]],[721,["memory[ap + 0] = segments.add()"]],[737,["memory[ap + 0] = 0 <= memory[fp + -6]"]],[756,["memory[ap + 0] = segments.add()"]],[777,["memory[ap + 0] = 0 <= memory[ap + -2]"]],[789,["memory[ap + 0] = segments.add()"]],[801,["memory[ap + 0] = segments.add()"]],[816,["memory[ap + 0] = segments.add()"]],[836,["syscall_handler.syscall(syscall_ptr=memory[fp + -6])"]],[857,["syscall_handler.syscall(syscall_ptr=memory[fp + -6] + 5)"]],[865,["memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"]],[869,["\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"]],[879,["\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"]],[895,["memory[ap + 0] = segments.add()"]],[915,["syscall_handler.syscall(syscall_ptr=memory[ap + -12])"]],[930,["syscall_handler.syscall(syscall_ptr=memory[ap + -22] + 5)"]],[947,["memory[ap + 0] = memory[fp + -3] < 340282366920938463463374607431768211456"]],[949,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[fp + -3], 340282366920938463463374607431768211456)"]],[987,["memory[ap + -1] = memory[ap + 0] < 340282366920938463463374607431768211456"]],[1014,["memory[ap + -1] = memory[ap + 0] < 340282366920938463463374607431768211456"]],[1029,["sy