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

Core cairo contracts for Hyperlane

export const token_hook = {"prime":"0x800000000000011000000000000000000000000000000000000000000000001","compiler_version":"2.10.1","bytecode":["0xa0680017fff8000","0x7","0x482680017ffa8000","0x100000000000000000000000000000000","0x400280007ff97fff","0x10780017fff7fff","0xc5","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","0x74f","0x482480017fff8000","0x74e","0x48127ffb7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x2bc","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff57fff","0x10780017fff7fff","0x8c","0x4824800180007ffd","0x2bc","0x400080007ff67fff","0x40780017fff7fff","0x1","0x480680017fff8000","0x15","0x482480017ff48000","0x1","0x48127ffc7fff8000","0x1137ffd7fff7fff","0x10780017fff7fff","0x6f","0x10780017fff7fff","0x64","0x10780017fff7fff","0x59","0x10780017fff7fff","0x4e","0x10780017fff7fff","0x43","0x10780017fff7fff","0x38","0x10780017fff7fff","0x2d","0x10780017fff7fff","0x22","0x10780017fff7fff","0x17","0x10780017fff7fff","0xc","0x480680017fff8000","0x0","0x400080007ffb7fff","0x482480017ffe8000","0x64","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x5b","0x480680017fff8000","0x1","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x52","0x480680017fff8000","0x2","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x49","0x480680017fff8000","0x3","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x40","0x480680017fff8000","0x4","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x37","0x480680017fff8000","0x5","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x2e","0x480680017fff8000","0x6","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x25","0x480680017fff8000","0x7","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x1c","0x480680017fff8000","0x8","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0x13","0x480680017fff8000","0x9","0x400080007ffb7fff","0x48127ffe7fff8000","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x10780017fff7fff","0xa","0x480680017fff8000","0xa","0x400080007ffb7fff","0x482480017ffe8000","0x64","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x48127ffa7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x0","0x48127ffa7fff8000","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","0xa0680017fff8000","0x7","0x482680017ffa8000","0xfffffffffffffffffffffffffffffc4a","0x400280007ff97fff","0x10780017fff7fff","0x6f","0x4825800180007ffa","0x3b6","0x400280007ff97fff","0x482680017ff98000","0x1","0x48127ffe7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x1104800180018000","0x249","0x20680017fff7ff9","0x5a","0x48127ff87fff8000","0x20680017fff7ffb","0x48","0x48127fff7fff8000","0x48307ff880007ff9","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ff27fff8000","0x482480017ffb8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x66c","0x482480017fff8000","0x66b","0x48127ffb7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x0","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007fec7fff","0x10780017fff7fff","0x15","0x4824800180007ffd","0x0","0x400080007fed7fff","0x40780017fff7fff","0x1","0x480680017fff8000","0x1","0x400080007ffe7fff","0x482480017feb8000","0x1","0x482480017ffc8000","0xc8","0x480a7ffb7fff8000","0x480680017fff8000","0x0","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017fea8000","0x1","0x48127ff87fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ff47fff8000","0x482480017ffc8000","0x5be","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x48127ff77fff8000","0x482480017ff78000","0x7b2","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0xa0680017fff8000","0x7","0x482680017ffa8000","0xffffffffffffffffffffffffffff9020","0x400280007ff97fff","0x10780017fff7fff","0x116","0x4825800180007ffa","0x6fe0","0x400280007ff97fff","0x482680017ff98000","0x1","0x48127ffe7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x1104800180018000","0x1c5","0x20680017fff7ff9","0x101","0x48127ff87fff8000","0x20680017fff7ffb","0xef","0x48127ff67fff8000","0x48127ffe7fff8000","0x48127ff77fff8000","0x48127ff77fff8000","0x1104800180018000","0x26b","0x20680017fff7ff1","0xde","0x48127ff07fff8000","0x20680017fff7ff3","0xcc","0x48127fff7fff8000","0x48307ff080007ff1","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017fee8000","0x1","0x48127fee7fff8000","0x480680017fff8000","0x0","0x48127feb7fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127fee7fff8000","0x48127fee7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0xa3","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480080007fe48003","0x480080017fe38003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027fdf7ffd","0x20680017fff7ffe","0x87","0x402780017fff7fff","0x1","0x400080007fe47ffd","0x482480017fe48000","0x1","0x48127ffd7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x65","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480080007ff58003","0x480080017ff48003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff07ffd","0x20680017fff7ffe","0x49","0x402780017fff7fff","0x1","0x400080007ff57ffd","0x482480017ff58000","0x1","0x48127ffd7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ffb7fff8000","0x482480017ffb8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x577","0x482480017fff8000","0x576","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","0x482480017ff08000","0x3","0x482480017ff88000","0x82","0x10780017fff7fff","0x5","0x48127ff87fff8000","0x482480017ffa8000","0x6cc","0x10780017fff7fff","0xb","0x482480017fdf8000","0x3","0x482480017ff88000","0x708","0x10780017fff7fff","0x5","0x48127fe77fff8000","0x482480017ffa8000","0xd52","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202333","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202332","0x400080007ffe7fff","0x48127fec7fff8000","0x482480017ffc8000","0x1202","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x48127fef7fff8000","0x482480017fef8000","0x13f6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ff47fff8000","0x482480017ffc8000","0x71e8","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x48127ff77fff8000","0x482480017ff78000","0x73dc","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0xa0680017fff8000","0x7","0x482680017ffa8000","0xffffffffffffffffffffffffffff9c64","0x400280007ff97fff","0x10780017fff7fff","0x94","0x4825800180007ffa","0x639c","0x400280007ff97fff","0x482680017ff98000","0x1","0x48127ffe7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x1104800180018000","0x9a","0x20680017fff7ff9","0x7f","0x48127ff87fff8000","0x20680017fff7ffb","0x6d","0x48127ff67fff8000","0x48127ffe7fff8000","0x48127ff77fff8000","0x48127ff77fff8000","0x1104800180018000","0x140","0x20680017fff7ff1","0x5c","0x48127ff07fff8000","0x20680017fff7ff3","0x4a","0x48127fff7fff8000","0x48307ff080007ff1","0x20680017fff7fff","0x4","0x10780017fff7fff","0x11","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127fea7fff8000","0x482480017ffb8000","0x492","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x4b2","0x482480017fff8000","0x4b1","0x48127ffb7fff8000","0x480080007ffe8000","0xa0680017fff8000","0x9","0x4824800180007ffd","0x0","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007fe47fff","0x10780017fff7fff","0x17","0x4824800180007ffd","0x0","0x400080007fe57fff","0x40780017fff7fff","0x1","0x480680017fff8000","0x0","0x400080007ffe7fff","0x480680017fff8000","0x0","0x400080017ffd7fff","0x482480017fe28000","0x1","0x48127ffb7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x0","0x48127ff97fff8000","0x482480017ff88000","0x2","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017fe28000","0x1","0x48127ff87fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202332","0x400080007ffe7fff","0x48127fec7fff8000","0x482480017ffc8000","0x5be","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x48127fef7fff8000","0x482480017fef8000","0x7b2","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ff47fff8000","0x482480017ffc8000","0x65a4","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x48127ff77fff8000","0x482480017ff78000","0x6798","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x482680017ffa8000","0x21b6","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x480a7ffb7fff8000","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480a7ffc7fff8000","0x10780017fff7fff","0x9","0x480a7ffb7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x88","0x400180007fff8000","0x48127ffb7fff8000","0xa0680017fff8000","0x12","0x4825800180008000","0x100000000","0x4844800180008002","0x8000000000000110000000000000000","0x4830800080017ffe","0x480280007ffa7fff","0x482480017ffe8000","0xefffffffffffffde00000000ffffffff","0x480280017ffa7fff","0x400280027ffa7ffb","0x402480017fff7ffb","0xffffffffffffffffffffffffffffffff","0x20680017fff7fff","0x70","0x402780017fff7fff","0x1","0x400380007ffa8000","0x4826800180008000","0xffffffffffffffffffffffff00000000","0x400280017ffa7fff","0x482680017ffa8000","0x2","0x48127ffc7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x28","0x40780017fff7fff","0x1","0x48127ff77fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ffb7fff8000","0x48127ffa7fff8000","0x480080007ff88000","0x1104800180018000","0x367","0x20680017fff7ffa","0xb","0x48127ff87fff8000","0x48127ff87fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x48127ff97fff8000","0x10780017fff7fff","0x1d","0x48127ff87fff8000","0x482480017ff88000","0x384","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x48127ff77fff8000","0x48127ff77fff8000","0x208b7fff7fff7ffe","0x48127ff87fff8000","0x482480017ffa8000","0xad2","0x48127ffa7fff8000","0x48127ffa7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x20680017fff7ffd","0xe","0x48127ff97fff8000","0x48127ff97fff8000","0x480680017fff8000","0x0","0x48127ff87fff8000","0x48127ff87fff8000","0x480680017fff8000","0x0","0x480a80007fff8000","0x48127ff77fff8000","0x48127ff77fff8000","0x208b7fff7fff7ffe","0x48127ff97fff8000","0x48127ff97fff8000","0x480680017fff8000","0x0","0x48127ff87fff8000","0x48127ff87fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x482680017ffa8000","0x3","0x482480017ff78000","0xf3c","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x480a7ffa7fff8000","0x482480017ff28000","0x1464","0x480680017fff8000","0x0","0x48127ff17fff8000","0x48127ff17fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x40780017fff7fff","0x8","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x480a7ffb7fff8000","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480a7ffc7fff8000","0x10780017fff7fff","0x9","0x480a7ffb7fff8000","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x2d1","0x400180007fff8004","0x48127ffb7fff8000","0xa0680017fff8000","0x12","0x4825800180008004","0x100","0x4844800180008002","0x8000000000000110000000000000000","0x4830800080017ffe","0x480280007ffa7fff","0x482480017ffe8000","0xefffffffffffffde00000000000000ff","0x480280017ffa7fff","0x400280027ffa7ffb","0x402480017fff7ffb","0xffffffffffffffffffffffffffffffff","0x20680017fff7fff","0x2b9","0x402780017fff7fff","0x1","0x400380007ffa8004","0x4826800180048000","0xffffffffffffffffffffffffffffff00","0x400280017ffa7fff","0x482680017ffa8000","0x2","0x48127ffc7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x277","0x400180007fff8003","0x48127ffb7fff8000","0xa0680017fff8000","0x12","0x4825800180008003","0x100000000","0x4844800180008002","0x8000000000000110000000000000000","0x4830800080017ffe","0x480080007ff37fff","0x482480017ffe8000","0xefffffffffffffde00000000ffffffff","0x480080017ff17fff","0x400080027ff07ffb","0x402480017fff7ffb","0xffffffffffffffffffffffffffffffff","0x20680017fff7fff","0x25f","0x402780017fff7fff","0x1","0x400180007ff68003","0x4826800180038000","0xffffffffffffffffffffffff00000000","0x400080017ff57fff","0x482480017ff58000","0x2","0x48127ffc7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x21d","0x400180007fff8000","0x48127ffb7fff8000","0xa0680017fff8000","0x12","0x4825800180008000","0x100000000","0x4844800180008002","0x8000000000000110000000000000000","0x4830800080017ffe","0x480080007ff37fff","0x482480017ffe8000","0xefffffffffffffde00000000ffffffff","0x480080017ff17fff","0x400080027ff07ffb","0x402480017fff7ffb","0xffffffffffffffffffffffffffffffff","0x20680017fff7fff","0x205","0x402780017fff7fff","0x1","0x400180007ff68000","0x4826800180008000","0xffffffffffffffffffffffff00000000","0x400080017ff57fff","0x482480017ff58000","0x2","0x48127ffc7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x1bf","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480080007ff58003","0x480080017ff48003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff07ffd","0x20680017fff7ffe","0x1a3","0x402780017fff7fff","0x1","0x400080007ff57ffd","0x482480017ff58000","0x1","0x48127ffd7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x17d","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480080007ff58003","0x480080017ff48003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff07ffd","0x20680017fff7ffe","0x161","0x402780017fff7fff","0x1","0x400080007ff57ffd","0x482480017ff58000","0x1","0x48127ffd7fff8000","0x40137ff07fff8006","0x40137ffb7fff8007","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x120","0x400180007fff8005","0x48127ffb7fff8000","0xa0680017fff8000","0x12","0x4825800180008005","0x100000000","0x4844800180008002","0x8000000000000110000000000000000","0x4830800080017ffe","0x480080007ff37fff","0x482480017ffe8000","0xefffffffffffffde00000000ffffffff","0x480080017ff17fff","0x400080027ff07ffb","0x402480017fff7ffb","0xffffffffffffffffffffffffffffffff","0x20680017fff7fff","0x108","0x402780017fff7fff","0x1","0x400180007ff68005","0x4826800180058000","0xffffffffffffffffffffffff00000000","0x400080017ff57fff","0x482480017ff58000","0x2","0x48127ffc7fff8000","0x48307ff780007ff8","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff58000","0x1","0x48127ff57fff8000","0x480680017fff8000","0x0","0x48127ff27fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff57fff8000","0x48127ff57fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0xc2","0x400180007fff8001","0x48127ffb7fff8000","0xa0680017fff8000","0x16","0x480080007ff68003","0x480080017ff58003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483180017ffd8001","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff17ffd","0x20680017fff7ffe","0xa6","0x402780017fff7fff","0x1","0x400180007ff68001","0x482480017ff68000","0x1","0x48127ffd7fff8000","0x48307ff880007ff9","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482480017ff68000","0x1","0x48127ff67fff8000","0x480680017fff8000","0x0","0x48127ff37fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x48127ff67fff8000","0x48127ff67fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x80","0x400180007fff8002","0x48127ffb7fff8000","0xa0680017fff8000","0x16","0x480080007ff68003","0x480080017ff58003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483180017ffd8002","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff17ffd","0x20680017fff7ffe","0x64","0x402780017fff7fff","0x1","0x400180007ff68002","0x482480017ff68000","0x1","0x48127ffd7fff8000","0x48127ff87fff8000","0x48127ff87fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdb6","0x20680017fff7ff9","0x38","0x48127ff87fff8000","0x20680017fff7ffb","0x16","0x48127ff67fff8000","0x48127ffe7fff8000","0x480680017fff8000","0x0","0x48127ff67fff8000","0x48127ff67fff8000","0x480680017fff8000","0x0","0x480a80047fff8000","0x480a80037fff8000","0x480a80007fff8000","0x480a80067fff8000","0x480a80077fff8000","0x480a80057fff8000","0x480a80017fff8000","0x480a80027fff8000","0x48127fee7fff8000","0x48127fee7fff8000","0x48127fee7fff8000","0x208b7fff7fff7ffe","0x48127ff67fff8000","0x48127ffe7fff8000","0x480680017fff8000","0x0","0x48127ff67fff8000","0x48127ff67fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x48127ff77fff8000","0x482480017ff78000","0xc8","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x48127fef7fff8000","0x48127fef7fff8000","0x208b7fff7fff7ffe","0x482480017ff18000","0x3","0x482480017ff88000","0x19aa","0x10780017fff7fff","0x7","0x40780017fff7fff","0x7","0x48127ff17fff8000","0x482480017ff38000","0x1f40","0x48127ff37fff8000","0x48127ff37fff8000","0x10780017fff7fff","0xf","0x482480017ff18000","0x3","0x482480017ff88000","0x2026","0x10780017fff7fff","0x7","0x40780017fff7fff","0x7","0x48127ff17fff8000","0x482480017ff38000","0x25bc","0x48127ff37fff8000","0x48127ff37fff8000","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x48127ffb7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x482480017ff08000","0x3","0x482480017ff78000","0x2940","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff07fff8000","0x482480017ff28000","0x2e68","0x480680017fff8000","0x0","0x48127ff17fff8000","0x48127ff17fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x482480017ff08000","0x3","0x482480017ff88000","0x2db4","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff07fff8000","0x482480017ff28000","0x334a","0x48127ff27fff8000","0x48127ff27fff8000","0x10780017fff7fff","0xf","0x482480017ff08000","0x3","0x482480017ff88000","0x343a","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff07fff8000","0x482480017ff28000","0x39d0","0x48127ff27fff8000","0x48127ff27fff8000","0x48127ffc7fff8000","0x48127ffc7fff8000","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x48127ffb7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x482480017ff08000","0x3","0x482480017ff78000","0x3d5e","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff07fff8000","0x482480017ff28000","0x4286","0x480680017fff8000","0x0","0x48127ff17fff8000","0x48127ff17fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x482480017ff08000","0x3","0x482480017ff78000","0x4484","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127ff07fff8000","0x482480017ff28000","0x49ac","0x480680017fff8000","0x0","0x48127ff17fff8000","0x48127ff17fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x482680017ffa8000","0x3","0x482480017ff78000","0x4baa","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x480a7ffa7fff8000","0x482480017ff28000","0x50d2","0x480680017fff8000","0x0","0x48127ff17fff8000","0x48127ff17fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0xa0680017fff8000","0x7","0x482680017ff88000","0xfffffffffffffffffffffffffffff3bc","0x400280007ff77fff","0x10780017fff7fff","0x6b","0x4825800180007ff8","0xc44","0x400280007ff77fff","0x482680017ff78000","0x1","0x48127ffe7fff8000","0x20780017fff7ffd","0xe","0x48127ffe7fff8000","0x482480017ffe8000","0xca8","0x480680017fff8000","0x0","0x480a7ff97fff8000","0x480a7ffa7fff8000","0x480680017fff8000","0x0","0x480a7ffb7fff8000","0x480a7ffc7fff8000","0x208b7fff7fff7ffe","0x48127fff7fff8000","0x48297ff980007ffa","0x20680017fff7fff","0x4","0x10780017fff7fff","0xb","0x48127ffe7fff8000","0x482680017ff98000","0x1","0x480a7ffa7fff8000","0x480680017fff8000","0x0","0x480a7ff97fff8000","0x10780017fff7fff","0x9","0x48127ffe7fff8000","0x480a7ff97fff8000","0x480a7ffa7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x2f","0x480080007fff8000","0x48127ffa7fff8000","0xa0680017fff8000","0x16","0x480080007ff48003","0x480080017ff38003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffa","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027fef7ffd","0x20680017fff7ffe","0x13","0x402780017fff7fff","0x1","0x400080007ff47ffd","0x400280007ffc7ffd","0x482480017ff48000","0x1","0x48127ffd7fff8000","0x48127ff77fff8000","0x48127ff77fff8000","0x480a7ffb7fff8000","0x482680017ffc8000","0x1","0x4825800180007ffd","0x1","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffaa","0x208b7fff7fff7ffe","0x482480017fef8000","0x3","0x482480017ff88000","0x276","0x10780017fff7fff","0x7","0x40780017fff7fff","0x8","0x48127fef7fff8000","0x482480017ff28000","0x80c","0x480680017fff8000","0x0","0x48127ff17fff8000","0x48127ff17fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff78000","0x1","0x480a7ff87fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x48127ff87fff8000","0x482480017ff78000","0x1","0x208b7fff7fff7ffe"],"bytecode_segment_lengths":[218,132,299,169,177,778,132],"hints":[[0,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[19,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[40,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x2bc"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[52,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[187,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[202,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[218,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x3b6"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[246,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[267,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[279,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[295,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[310,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[334,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[350,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x6fe0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[409,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[411,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[460,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[462,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[491,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[512,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[524,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[536,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[571,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[585,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[609,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[633,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[649,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x639c"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[688,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[709,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"AP","offset":-2}},"dst":{"register":"AP","offset":0}}}]],[721,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[739,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[754,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[778,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[802,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[845,[{"TestLessThan":{"lhs":{"BinOp":{"op":"Add","a":{"register":"FP","offset":0},"b":{"Immediate":"0x0"}}},"rhs":{"Immediate":"0x100000000"},"dst":{"register":"AP","offset":0}}}]],[849,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-1}},"scalar":{"Immediate":"0x8000000000000110000000000000000"},"max_x":{"Immediate":"0xfffffffffffffffffffffffffffffffe"},"x":{"register":"AP","offset":0},"y":{"register":"AP","offset":1}}}]],[893,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[1022,[{"TestLessThan":{"lhs":{"BinOp":{"op":"Add","a":{"register":"FP","offset":4},"b":{"Immediate":"0x0"}}},"rhs":{"Immediate":"0x100"},"dst":{"register":"AP","offset":0}}}]],[1026,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-1}},"scalar":{"Immediate":"0x8000000000000110000000000000000"},"max_x":{"Immediate":"0xfffffffffffffffffffffffffffffffe"},"x":{"register":"AP","offset":0},"y":{"register":"AP","offset":1}}}]],[1072,[{"TestLessThan":{"lhs":{"BinOp":{"op":"Add","a":{"register":"FP","offset":3},"b":{"Immediate":"0x0"}}},"rhs":{"Immediate":"0x100000000"},"dst":{"register":"AP","offset":0}}}]],[1076,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-1}},"scalar":{"Immediate":"0x8000000000000110000000000000000"},"max_x":{"Immediate":"0xfffffffffffffffffffffffffffffffe"},"x":{"register":"AP","offset":0},"y":{"register":"AP","offset":1}}}]],[1122,[{"TestLessThan":{"lhs":{"BinOp":{"op":"Add","a":{"register":"FP","offset":0},"b":{"Immediate":"0x0"}}},"rhs":{"Immediate":"0x100000000"},"dst":{"register":"AP","offset":0}}}]],[1126,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-1}},"scalar":{"Immediate":"0x8000000000000110000000000000000"},"max_x":{"Immediate":"0xfffffffffffffffffffffffffffffffe"},"x":{"register":"AP","offset":0},"y":{"register":"AP","offset":1}}}]],[1172,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1174,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1223,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1225,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1276,[{"TestLessThan":{"lhs":{"BinOp":{"op":"Add","a":{"register":"FP","offset":5},"b":{"Immediate":"0x0"}}},"rhs":{"Immediate":"0x100000000"},"dst":{"register":"AP","offset":0}}}]],[1280,[{"LinearSplit":{"value":{"Deref":{"register":"AP","offset":-1}},"scalar":{"Immediate":"0x8000000000000110000000000000000"},"max_x":{"Immediate":"0xfffffffffffffffffffffffffffffffe"},"x":{"register":"AP","offset":0},"y":{"register":"AP","offset":1}}}]],[1326,[{"TestLessThan":{"lhs":{"Deref":{"register":"FP","offset":1}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1328,[{"DivMod":{"lhs":{"Deref":{"register":"FP","offset":1}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1377,[{"TestLessThan":{"lhs":{"Deref":{"register":"FP","offset":2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1379,[{"DivMod":{"lhs":{"Deref":{"register":"FP","offset":2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1773,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0xc44"},"rhs":{"Deref":{"register":"FP","offset":-8}},"dst":{"register":"AP","offset":0}}}]],[1826,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[1828,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[1885,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]]],"pythonic_hints":[[0,["memory[ap + 0] = 0 <= memory[fp + -6]"]],[19,["memory[ap + 0] = segments.add()"]],[40,["memory[ap + 0] = 700 <= memory[ap + -2]"]],[52,["memory[ap + 0] = segments.add()"]],[187,["memory[ap + 0] = segments.add()"]],[202,["memory[ap + 0] = segments.add()"]],[218,["memory[ap + 0] = 950 <= memory[fp + -6]"]],[246,["memory[ap + 0] = segments.add()"]],[267,["memory[ap + 0] = 0 <= memory[ap + -2]"]],[279,["memory[ap + 0] = segments.add()"]],[295,["memory[ap + 0] = segments.add()"]],[310,["memory[ap + 0] = segments.add()"]],[334,["memory[ap + 0] = segments.add()"]],[350,["memory[ap + 0] = 28640 <= memory[fp + -6]"]],[409,["memory[ap + 0] = memory[ap + -2] < 340282366920938463463374607431768211456"]],[411,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -3], 340282366920938463463374607431768211456)"]],[460,["memory[ap + 0] = memory[ap + -2] < 340282366920938463463374607431768211456"]],[462,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -3], 340282366920938463463374607431768211456)"]],[491,["memory[ap + 0] = segments.add()"]],[512,["memory[ap + 0] = 0 <= memory[ap + -2]"]],[524,["memory[ap + 0] = segments.add()"]],[536,["memory[ap + 0] = segments.add()"]],[571,["memory[ap + 0] = segments.add()"]],[585,["memory[ap + 0] = segments.add()"]],[609,["memory[ap + 0] = segments.add()"]],[633,["memory[ap + 0] = segments.add()"]],[649,["memory[ap + 0] = 25500 <= memory[fp + -6]"]],[688,["memory[ap + 0] = segments.add()"]],[709,["memory[ap + 0] = 0 <= memory[ap + -2]"]],[721,["memory[ap + 0] = segments.add()"]],[739,["memory[ap + 0] = segments.add()"]],[754,["memory[ap + 0] = segments.add()"]],[778,["memory[ap + 0] = segments.add()"]],[802,["memory[ap + 0] = segments.add()"]],[845,["memory[ap + 0] = (memory[fp + 0] + 0) % PRIME < 4294967296"]],[849,["\n(value, scalar) = (memory[ap + -1], 10633823966279327296825105735305134080)\nx = min(value // scalar, 340282366920938463463374607431768211454)\ny = value - x * scalar\nmemory[ap + 0] = x\nmemory[ap + 1] = y\n"]],[893,["memory[ap + 0] = segments.add()"]],[1022,["memory[ap + 0] = (memory[fp + 4] + 0) % PRIME < 256"]],[1026,["\n(value, scalar) = (memory[ap + -1], 10633823966279327296825105735305134080)\nx = min(value // scalar, 340282366920938463463374607431768211454)\ny = value - x * scalar\nmemory[ap + 0] = x\nmemory[ap + 1] = y\n"]],[1072,["memory[ap + 0] = (memory[fp + 3] + 0) % PRIME < 4294967296"]],[1076,["\n(value, scalar) = (memory[ap + -1], 10633823966279327296825105735305134080)\nx = min(value // scalar, 340282366920938463463374607431768211454)\ny = value - x * scalar\nmemory[ap + 0] = x\nmemory[ap + 1] = y\n"]],[1122,["memory[ap + 0] = (memory[fp + 0] + 0) % PRIME < 4294967296"]],[1126,["\n(value, scalar) = (memory[ap + -1], 10633823966279327296825105735305134080)\nx = min(value // scalar, 340282366920938463463374607431768211454)\ny = value - x * scalar\nmemory[ap + 0] = x\nmemory[ap + 1] = y\n"]],[1172,["memory[ap + 0] = memory[ap + -2] < 340282366920938463463374607431768211456"]],[1174,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -3], 340282366920938463463374607431768211456)"]],[1223,["memory[ap + 0] = memory[ap + -2] < 340282366920938463463374607431768211456"]],[1225,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -3], 340282366920938463463374607431768211456)"]],[1276,["memory[ap + 0] = (memory[fp + 5] + 0) % PRIME < 4294967296"]],[1280,["\n(value, scalar) = (memory[ap + -1], 10633823966279327296825105735305134080)\nx = min(value // scalar, 340282366920938463463374607431768211454)\ny = value - x * scalar\nmemory[ap + 0] = x\nmemory[ap + 1] = y\n"]],[1326,["memory[ap + 0] = memory[fp + 1] < 340282366920938463463374607431768211456"]],[1328,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[fp + 1], 340282366920938463463374607431768211456)"]],[1377,["memory[ap + 0] = memory[fp + 2] < 340282366920938463463374607431768211456"]],[1379,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[fp + 2], 340282366920938463463374607431768211456)"]],[1773,["memory[ap + 0] = 3140 <= memory[fp + -8]"]],[1826,["memory[ap + 0] = memory[ap + -2] < 340282366920938463463374607431768211456"]],[1828,["(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -3], 340282366920938463463374607431768211456)"]],[1885,["memory[ap + 0] = segments.add()"]]],"entry_points_by_type":{"EXTERNAL":[{"selector":"0x19f4427e3a877bb0dcb0cc4599a14d64a79d74c3a952b2bed3228b2bd1a6e2a","offset":0,"builtins":["range_check"]},{"selector":"0x2362d30370bc988403e5d552c180d4fd3457dfcd9343a2f01541ff4a34eba0e","offset":218,"builtins":["range_check"]},{"selector":"0x2fedc7c2dd415a359b9a4bde987af7ddb0cd5d0de420a9f12c89973659bf5cf","offset":350,"builtins":["range_check"]},{"selector":"0x31d8225e997b2b933b12d97dc4787c57c41e2339ea3ddc38d599f7cb82b4652","offset":649,"builtins":["range_check"]}],"L1_HANDLER":[],"CONSTRUCTOR":[]}};