{ "prime": "0x800000000000011000000000000000000000000000000000000000000000001", "compiler_version": "2.6.0", "bytecode": [ "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0xee", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", "0x482680017ff98000", "0x1", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480280007ffc8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0xc6", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480080007ff88000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0xa3", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480080007ff88000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x80", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480080007ff88000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x5d", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127fe87fff8000", "0x48127fe67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x4cc", "0x482480017fff8000", "0x4cb", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fe4", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007fe37fff", "0x10780017fff7fff", "0x2d", "0x4824800180007fe4", "0x0", "0x400080007fe47fff", "0x482480017fe48000", "0x1", "0x20680017fff7ff2", "0x6", "0x48127fff7fff8000", "0x48127ffd7fff8000", "0x10780017fff7fff", "0xc", "0x48127fff7fff8000", "0x48127ffd7fff8000", "0x480680017fff8000", "0x989680", "0x1104800180018000", "0x427", "0x20680017fff7ffd", "0x12", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x56414c4944", "0x400080007ffe7fff", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017fe18000", "0x1", "0x48127fdf7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202334", "0x400080007ffe7fff", "0x48127fe97fff8000", "0x48127fe77fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202333", "0x400080007ffe7fff", "0x48127fee7fff8000", "0x48127fec7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202332", "0x400080007ffe7fff", "0x48127ff37fff8000", "0x48127ff17fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x400080007ffe7fff", "0x48127ff87fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0x7c", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", "0x482680017ff98000", "0x1", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480280007ffc8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x54", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff77fff8000", "0x48127ff57fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x409", "0x482480017fff8000", "0x408", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff3", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff27fff", "0x10780017fff7fff", "0x24", "0x4824800180007ff3", "0x0", "0x400080007ff37fff", "0x482480017ff38000", "0x1", "0x48127ffe7fff8000", "0x480680017fff8000", "0x989680", "0x1104800180018000", "0x36b", "0x20680017fff7ffd", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x56414c4944", "0x400080007ffe7fff", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017ff08000", "0x1", "0x48127fee7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x400080007ffe7fff", "0x48127ff87fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0x10b", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", "0x482680017ff98000", "0x1", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480280007ffc8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0xe0", "0xa0680017fff8004", "0xe", "0x4824800180047ffe", "0x800000000000000000000000000000000000000000000000000000000000000", "0x484480017ffe8000", "0x110000000000000000", "0x48307ffe7fff8002", "0x480080007ff67ffc", "0x480080017ff57ffc", "0x402480017ffb7ffd", "0xffffffffffffffeeffffffffffffffff", "0x400080027ff47ffd", "0x10780017fff7fff", "0xce", "0x484480017fff8001", "0x8000000000000000000000000000000", "0x48307fff80007ffd", "0x480080007ff77ffd", "0x480080017ff67ffd", "0x402480017ffc7ffe", "0xf8000000000000000000000000000000", "0x400080027ff57ffe", "0x482480017ff58000", "0x3", "0x48307ff680007ff7", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ff58000", "0x1", "0x48127ff57fff8000", "0x480680017fff8000", "0x0", "0x480080007ff28000", "0x10780017fff7fff", "0x8", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0xa1", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ff87fff8000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x20", "0x40780017fff7fff", "0x1", "0x48127ff47fff8000", "0x48127fe77fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x480080007ff88000", "0x1104800180018000", "0x2e5", "0x20680017fff7ffa", "0xb", "0x48127ff87fff8000", "0x48127ff87fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x10780017fff7fff", "0x14", "0x48127ff87fff8000", "0x48127ff87fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127ff57fff8000", "0x48127fe87fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x20680017fff7ffd", "0x54", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x30d", "0x482480017fff8000", "0x30c", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x50a", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff17fff", "0x10780017fff7fff", "0x24", "0x4824800180007ff4", "0x50a", "0x400080007ff27fff", "0x482480017ff28000", "0x1", "0x48127ffe7fff8000", "0x480680017fff8000", "0x989680", "0x1104800180018000", "0x26f", "0x20680017fff7ffd", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x56414c4944", "0x400080007ffe7fff", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017fef8000", "0x1", "0x48127fef7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202333", "0x400080007ffe7fff", "0x48127ff77fff8000", "0x48127ff77fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202332", "0x400080007ffe7fff", "0x48127ff87fff8000", "0x48127feb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x482480017ff48000", "0x3", "0x10780017fff7fff", "0x5", "0x40780017fff7fff", "0x6", "0x48127ff47fff8000", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x400080007ffe7fff", "0x48127ffd7fff8000", "0x48127fef7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x2", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0x138", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", "0x482680017ff98000", "0x1", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480280007ffc8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x10d", "0x40137fff7fff8001", "0xa0680017fff8004", "0xe", "0x4825800180048001", "0x800000000000000000000000000000000000000000000000000000000000000", "0x484480017ffe8000", "0x110000000000000000", "0x48307ffe7fff8002", "0x480080007ff67ffc", "0x480080017ff57ffc", "0x402480017ffb7ffd", "0xffffffffffffffeeffffffffffffffff", "0x400080027ff47ffd", "0x10780017fff7fff", "0xfa", "0x484480017fff8001", "0x8000000000000000000000000000000", "0x48317fff80008001", "0x480080007ff77ffd", "0x480080017ff67ffd", "0x402480017ffc7ffe", "0xf8000000000000000000000000000000", "0x400080027ff57ffe", "0x482480017ff58000", "0x3", "0x48307ff680007ff7", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ff58000", "0x1", "0x48127ff57fff8000", "0x480680017fff8000", "0x0", "0x480080007ff28000", "0x10780017fff7fff", "0x8", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0xcd", "0x40137fff7fff8000", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ff87fff8000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x20", "0x40780017fff7fff", "0x1", "0x48127ff47fff8000", "0x48127fe77fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x480080007ff88000", "0x1104800180018000", "0x1c2", "0x20680017fff7ffa", "0xb", "0x48127ff87fff8000", "0x48127ff87fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x10780017fff7fff", "0x14", "0x48127ff87fff8000", "0x48127ff87fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127ff57fff8000", "0x48127fe87fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x20680017fff7ffd", "0x7f", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x1ea", "0x482480017fff8000", "0x1e9", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x54d8", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff17fff", "0x10780017fff7fff", "0x4f", "0x4824800180007ff4", "0x54d8", "0x400080007ff27fff", "0x482480017ff28000", "0x1", "0x480680017fff8000", "0x476574457865637574696f6e496e666f", "0x400280007ffb7fff", "0x400280017ffb7ffd", "0x480280037ffb8000", "0x20680017fff7fff", "0x3a", "0x480280047ffb8000", "0x480080027fff8000", "0x480280027ffb8000", "0x482680017ffb8000", "0x5", "0x20680017fff7ffd", "0x25", "0x480680017fff8000", "0x43616c6c436f6e7472616374", "0x400080007ffe7fff", "0x400080017ffe7ffd", "0x400180027ffe8001", "0x400180037ffe8000", "0x400080047ffe7fef", "0x400080057ffe7ff0", "0x480080077ffe8000", "0x20680017fff7fff", "0xb", "0x48127ff77fff8000", "0x480080067ffc8000", "0x482480017ffb8000", "0xa", "0x480680017fff8000", "0x0", "0x480080087ff98000", "0x480080097ff88000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x526573756c743a3a756e77726170206661696c65642e", "0x400080007ffe7fff", "0x48127ff57fff8000", "0x480080067ffa8000", "0x482480017ff98000", "0xa", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x494e56414c49445f43414c4c4552", "0x400080007ffe7fff", "0x48127ff77fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x48127ffd7fff8000", "0x480280027ffb8000", "0x482680017ffb8000", "0x6", "0x480680017fff8000", "0x1", "0x480280047ffb8000", "0x480280057ffb8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017fef8000", "0x1", "0x48127fef7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202333", "0x400080007ffe7fff", "0x48127ff77fff8000", "0x48127ff77fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202332", "0x400080007ffe7fff", "0x48127ff87fff8000", "0x48127feb7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x482480017ff48000", "0x3", "0x10780017fff7fff", "0x5", "0x40780017fff7fff", "0x6", "0x48127ff47fff8000", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x400080007ffe7fff", "0x48127ffd7fff8000", "0x48127fef7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0xa4", "0x4825800180007ffa", "0x0", "0x400280007ff97fff", "0x482680017ff98000", "0x1", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ffc8000", "0x1", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x480280007ffc8000", "0x10780017fff7fff", "0x8", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x7c", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480080007ff88000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x59", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff27fff8000", "0x48127ff07fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0xf7", "0x482480017fff8000", "0xf6", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fee", "0x134c", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007fed7fff", "0x10780017fff7fff", "0x29", "0x4824800180007fee", "0x134c", "0x400080007fee7fff", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x38077b29e57bba3aa860b08652a77bd1076d0f70e38f019ba9920b820cf78f6", "0x482480017fec8000", "0x1", "0x480680017fff8000", "0x53746f726167655772697465", "0x400280007ffb7fff", "0x400280017ffb7ffb", "0x400280027ffb7ffc", "0x400280037ffb7ffd", "0x400280047ffb7ff4", "0x480280067ffb8000", "0x20680017fff7fff", "0xd", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x480280057ffb8000", "0x482680017ffb8000", "0x7", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x208b7fff7fff7ffe", "0x48127ffd7fff8000", "0x480280057ffb8000", "0x482680017ffb8000", "0x9", "0x480680017fff8000", "0x1", "0x480280077ffb8000", "0x480280087ffb8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482480017feb8000", "0x1", "0x48127fe97fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202332", "0x400080007ffe7fff", "0x48127ff37fff8000", "0x48127ff17fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4661696c656420746f20646573657269616c697a6520706172616d202331", "0x400080007ffe7fff", "0x48127ff87fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ffc8000", "0xfffffffffffffffffffffffffffffbd2", "0x400280007ffb7fff", "0x10780017fff7fff", "0x19", "0x4825800180007ffc", "0x42e", "0x400280007ffb7fff", "0x482680017ffb8000", "0x1", "0x20780017fff7ffd", "0xb", "0x48127fff7fff8000", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x0", "0x208b7fff7fff7ffe", "0x48127fff7fff8000", "0x48127ffd7fff8000", "0x4825800180007ffd", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe6", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7574206f6620676173", "0x400080007ffe7fff", "0x482680017ffb8000", "0x1", "0x480a7ffc7fff8000", "0x480680017fff8000", "0x1", "0x48127ffb7fff8000", "0x482480017ffa8000", "0x1", "0x208b7fff7fff7ffe", "0xa0680017fff8000", "0x7", "0x482680017ff88000", "0xfffffffffffffffffffffffffffff6be", "0x400280007ff77fff", "0x10780017fff7fff", "0x43", "0x4825800180007ff8", "0x942", "0x400280007ff77fff", "0x482680017ff78000", "0x1", "0x20780017fff7ffd", "0xd", "0x48127fff7fff8000", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480680017fff8000", "0x0", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x208b7fff7fff7ffe", "0x48297ff980007ffa", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482680017ff98000", "0x1", "0x480a7ffa7fff8000", "0x480680017fff8000", "0x0", "0x480280007ff98000", "0x10780017fff7fff", "0x8", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0xf", "0x400280007ffc7fff", "0x48127ffa7fff8000", "0x48127ff87fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x480a7ffb7fff8000", "0x482680017ffc8000", "0x1", "0x4825800180007ffd", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc9", "0x208b7fff7fff7ffe", "0x48127ffa7fff8000", "0x48127ff87fff8000", "0x480680017fff8000", "0x0", "0x48127ff97fff8000", "0x48127ff97fff8000", "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": [ 258, 144, 287, 334, 184, 44, 92 ], "hints": [ [ 0, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 101, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 120, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -27 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 150, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 172, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 187, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 201, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 215, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 229, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 243, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 258, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 296, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 315, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -12 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 336, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 358, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 373, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 387, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 402, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 435, [ { "TestLessThan": { "lhs": { "Deref": { "register": "AP", "offset": -1 } }, "rhs": { "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" }, "dst": { "register": "AP", "offset": 4 } } } ] ], [ 439, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": 3 } }, "scalar": { "Immediate": "0x110000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -2 }, "y": { "register": "AP", "offset": -1 } } } ] ], [ 449, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": -2 } }, "scalar": { "Immediate": "0x8000000000000000000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -1 }, "y": { "register": "AP", "offset": 0 } } } ] ], [ 501, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 548, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 567, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x50a" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 588, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 610, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 625, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 639, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 660, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 674, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 691, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 725, [ { "TestLessThan": { "lhs": { "Deref": { "register": "FP", "offset": 1 } }, "rhs": { "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" }, "dst": { "register": "AP", "offset": 4 } } } ] ], [ 729, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": 3 } }, "scalar": { "Immediate": "0x110000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -2 }, "y": { "register": "AP", "offset": -1 } } } ] ], [ 739, [ { "LinearSplit": { "value": { "Deref": { "register": "FP", "offset": 1 } }, "scalar": { "Immediate": "0x8000000000000000000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -1 }, "y": { "register": "AP", "offset": 0 } } } ] ], [ 792, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 839, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 858, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x54d8" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 876, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -5 } } } } ] ], [ 894, [ { "SystemCall": { "system": { "Deref": { "register": "AP", "offset": -2 } } } } ] ], [ 906, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 921, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 944, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 959, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 973, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 994, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1008, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1023, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1082, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1101, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x134c" }, "rhs": { "Deref": { "register": "AP", "offset": -17 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1126, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -5 } } } } ] ], [ 1129, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1149, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1164, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1178, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1192, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1207, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x42e" }, "rhs": { "Deref": { "register": "FP", "offset": -4 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1237, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1251, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x942" }, "rhs": { "Deref": { "register": "FP", "offset": -8 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1323, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ] ], "entry_points_by_type": { "EXTERNAL": [ { "selector": "0x15d40a3d6ca2ac30f4031e42be28da9b056fef9bb7357ac5e85627ee876e5ad", "offset": 689, "builtins": [ "range_check" ] }, { "selector": "0x162da33a4585851fe8d3af3c2a9c60b557814e221e0d4f30ff0b2189d9c7775", "offset": 402, "builtins": [ "range_check" ] }, { "selector": "0x289da278a8dc833409cabfdad1581e8e7d40e42dcaed693fa4008dcdb4963b3", "offset": 258, "builtins": [ "range_check" ] }, { "selector": "0x36fcbf06cd96843058359e1a75928beacfac10727dab22a3972f0af8aa92895", "offset": 0, "builtins": [ "range_check" ] } ], "L1_HANDLER": [], "CONSTRUCTOR": [ { "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194", "offset": 1023, "builtins": [ "range_check" ] } ] } }