{ "prime": "0x800000000000011000000000000000000000000000000000000000000000001", "compiler_version": "2.6.0", "bytecode": [ "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0x8f", "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", "0x67", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0xa", "0x482480017ffb8000", "0x1", "0x48127ffb7fff8000", "0x480680017fff8000", "0x0", "0x480080007ff88000", "0x10780017fff7fff", "0x8", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x480680017fff8000", "0x1", "0x480680017fff8000", "0x0", "0x20680017fff7ffe", "0x44", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff27fff8000", "0x48127ff07fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x4b8", "0x482480017fff8000", "0x4b7", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fee", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007fed7fff", "0x10780017fff7fff", "0x14", "0x4824800180007fee", "0x0", "0x400080007fee7fff", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x56414c4944", "0x400080007ffe7fff", "0x482480017fec8000", "0x1", "0x48127ffc7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "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", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0x6c", "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", "0x44", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff77fff8000", "0x48127ff57fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x42a", "0x482480017fff8000", "0x429", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff3", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff27fff", "0x10780017fff7fff", "0x14", "0x4824800180007ff3", "0x0", "0x400080007ff37fff", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x56414c4944", "0x400080007ffe7fff", "0x482480017ff18000", "0x1", "0x48127ffc7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "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", "0xfb", "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", "0xd0", "0xa0680017fff8004", "0xe", "0x4824800180047ffe", "0x800000000000000000000000000000000000000000000000000000000000000", "0x484480017ffe8000", "0x110000000000000000", "0x48307ffe7fff8002", "0x480080007ff67ffc", "0x480080017ff57ffc", "0x402480017ffb7ffd", "0xffffffffffffffeeffffffffffffffff", "0x400080027ff47ffd", "0x10780017fff7fff", "0xbe", "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", "0x91", "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", "0x316", "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", "0x44", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x33e", "0x482480017fff8000", "0x33d", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff17fff", "0x10780017fff7fff", "0x14", "0x4824800180007ff4", "0x0", "0x400080007ff27fff", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x56414c4944", "0x400080007ffe7fff", "0x482480017ff08000", "0x1", "0x48127ffc7fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "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", "0x132", "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", "0x107", "0x40137fff7fff8001", "0xa0680017fff8004", "0xe", "0x4825800180048001", "0x800000000000000000000000000000000000000000000000000000000000000", "0x484480017ffe8000", "0x110000000000000000", "0x48307ffe7fff8002", "0x480080007ff67ffc", "0x480080017ff57ffc", "0x402480017ffb7ffd", "0xffffffffffffffeeffffffffffffffff", "0x400080027ff47ffd", "0x10780017fff7fff", "0xf4", "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", "0xc7", "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", "0x203", "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", "0x79", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0x22b", "0x482480017fff8000", "0x22a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x53ac", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff17fff", "0x10780017fff7fff", "0x49", "0x4824800180007ff4", "0x53ac", "0x400080007ff27fff", "0x482480017ff28000", "0x1", "0x480680017fff8000", "0x476574457865637574696f6e496e666f", "0x400280007ffb7fff", "0x400280017ffb7ffd", "0x480280037ffb8000", "0x20680017fff7fff", "0x34", "0x480280047ffb8000", "0x480080027fff8000", "0x480280027ffb8000", "0x482680017ffb8000", "0x5", "0x20680017fff7ffd", "0x1f", "0x480680017fff8000", "0x43616c6c436f6e7472616374", "0x400080007ffe7fff", "0x400080017ffe7ffd", "0x400180027ffe8001", "0x400180037ffe8000", "0x400080047ffe7fef", "0x400080057ffe7ff0", "0x480080077ffe8000", "0x20680017fff7fff", "0xb", "0x48127ff77fff8000", "0x480080067ffc8000", "0x482480017ffb8000", "0xa", "0x480680017fff8000", "0x0", "0x480080087ff98000", "0x480080097ff88000", "0x208b7fff7fff7ffe", "0x48127ff77fff8000", "0x480080067ffc8000", "0x482480017ffb8000", "0xa", "0x480680017fff8000", "0x1", "0x480080087ff98000", "0x480080097ff88000", "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", "0x40780017fff7fff", "0x2", "0xa0680017fff8000", "0x7", "0x482680017ffa8000", "0x100000000000000000000000000000000", "0x400280007ff97fff", "0x10780017fff7fff", "0x115", "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", "0xea", "0x40137fff7fff8000", "0xa0680017fff8004", "0xe", "0x4825800180048000", "0x800000000000000000000000000000000000000000000000000000000000000", "0x484480017ffe8000", "0x110000000000000000", "0x48307ffe7fff8002", "0x480080007ff67ffc", "0x480080017ff57ffc", "0x402480017ffb7ffd", "0xffffffffffffffeeffffffffffffffff", "0x400080027ff47ffd", "0x10780017fff7fff", "0xd7", "0x484480017fff8001", "0x8000000000000000000000000000000", "0x48317fff80008000", "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", "0xaa", "0x40137fff7fff8001", "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", "0xbb", "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", "0x5c", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", "0x400080007ffe7fff", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", "0xe3", "0x482480017fff8000", "0xe2", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", "0x2aa8", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff17fff", "0x10780017fff7fff", "0x2c", "0x4824800180007ff4", "0x2aa8", "0x400080007ff27fff", "0x480680017fff8000", "0x0", "0x482480017ff18000", "0x1", "0x480680017fff8000", "0x4465706c6f79", "0x400280007ffb7fff", "0x400280017ffb7ffc", "0x400380027ffb8000", "0x400380037ffb8001", "0x400280047ffb7ff4", "0x400280057ffb7ff5", "0x400280067ffb7ffd", "0x480280087ffb8000", "0x20680017fff7fff", "0x10", "0x40780017fff7fff", "0x1", "0x480280097ffb8000", "0x400080007ffe7fff", "0x48127ffb7fff8000", "0x480280077ffb8000", "0x482680017ffb8000", "0xc", "0x480680017fff8000", "0x0", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", "0x48127ffd7fff8000", "0x480280077ffb8000", "0x482680017ffb8000", "0xb", "0x480680017fff8000", "0x1", "0x480280097ffb8000", "0x4802800a7ffb8000", "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", "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": [ 163, 128, 271, 328, 299, 92 ], "hints": [ [ 0, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 59, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 78, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -17 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 90, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 105, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 120, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 134, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 148, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 163, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 201, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 220, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -12 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 232, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 247, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 262, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 276, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 291, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 324, [ { "TestLessThan": { "lhs": { "Deref": { "register": "AP", "offset": -1 } }, "rhs": { "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" }, "dst": { "register": "AP", "offset": 4 } } } ] ], [ 328, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": 3 } }, "scalar": { "Immediate": "0x110000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -2 }, "y": { "register": "AP", "offset": -1 } } } ] ], [ 338, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": -2 } }, "scalar": { "Immediate": "0x8000000000000000000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -1 }, "y": { "register": "AP", "offset": 0 } } } ] ], [ 390, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 437, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 456, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 468, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 483, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 498, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 512, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 533, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 547, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 564, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 598, [ { "TestLessThan": { "lhs": { "Deref": { "register": "FP", "offset": 1 } }, "rhs": { "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" }, "dst": { "register": "AP", "offset": 4 } } } ] ], [ 602, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": 3 } }, "scalar": { "Immediate": "0x110000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -2 }, "y": { "register": "AP", "offset": -1 } } } ] ], [ 612, [ { "LinearSplit": { "value": { "Deref": { "register": "FP", "offset": 1 } }, "scalar": { "Immediate": "0x8000000000000000000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -1 }, "y": { "register": "AP", "offset": 0 } } } ] ], [ 665, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 712, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 731, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x53ac" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 749, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -5 } } } } ] ], [ 767, [ { "SystemCall": { "system": { "Deref": { "register": "AP", "offset": -2 } } } } ] ], [ 788, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 811, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 826, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 840, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 861, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 875, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 892, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x0" }, "rhs": { "Deref": { "register": "FP", "offset": -6 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 926, [ { "TestLessThan": { "lhs": { "Deref": { "register": "FP", "offset": 0 } }, "rhs": { "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000" }, "dst": { "register": "AP", "offset": 4 } } } ] ], [ 930, [ { "LinearSplit": { "value": { "Deref": { "register": "AP", "offset": 3 } }, "scalar": { "Immediate": "0x110000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -2 }, "y": { "register": "AP", "offset": -1 } } } ] ], [ 940, [ { "LinearSplit": { "value": { "Deref": { "register": "FP", "offset": 0 } }, "scalar": { "Immediate": "0x8000000000000000000000000000000" }, "max_x": { "Immediate": "0xffffffffffffffffffffffffffffffff" }, "x": { "register": "AP", "offset": -1 }, "y": { "register": "AP", "offset": 0 } } } ] ], [ 993, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1040, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1059, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x2aa8" }, "rhs": { "Deref": { "register": "AP", "offset": -11 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1084, [ { "SystemCall": { "system": { "Deref": { "register": "FP", "offset": -5 } } } } ] ], [ 1087, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1110, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1125, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1139, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1160, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1174, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1189, [ { "TestLessThanOrEqual": { "lhs": { "Immediate": "0x942" }, "rhs": { "Deref": { "register": "FP", "offset": -8 } }, "dst": { "register": "AP", "offset": 0 } } } ] ], [ 1261, [ { "AllocSegment": { "dst": { "register": "AP", "offset": 0 } } } ] ] ], "entry_points_by_type": { "EXTERNAL": [ { "selector": "0x15d40a3d6ca2ac30f4031e42be28da9b056fef9bb7357ac5e85627ee876e5ad", "offset": 562, "builtins": [ "range_check" ] }, { "selector": "0x162da33a4585851fe8d3af3c2a9c60b557814e221e0d4f30ff0b2189d9c7775", "offset": 291, "builtins": [ "range_check" ] }, { "selector": "0x2730079d734ee55315f4f141eaed376bddd8c2133523d223a344c5604e0f7f8", "offset": 890, "builtins": [ "range_check" ] }, { "selector": "0x289da278a8dc833409cabfdad1581e8e7d40e42dcaed693fa4008dcdb4963b3", "offset": 163, "builtins": [ "range_check" ] }, { "selector": "0x36fcbf06cd96843058359e1a75928beacfac10727dab22a3972f0af8aa92895", "offset": 0, "builtins": [ "range_check" ] } ], "L1_HANDLER": [], "CONSTRUCTOR": [] } }