{
"prime": "0x800000000000011000000000000000000000000000000000000000000000001",
"compiler_version": "2.6.3",
"bytecode": [
"0xa0680017fff8000",
"0x7",
"0x482680017ffa8000",
"0x100000000000000000000000000000000",
"0x400280007ff97fff",
"0x10780017fff7fff",
"0x8c",
"0x4825800180007ffa",
"0x0",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0x10de",
"0x482480017fff8000",
"0x10dd",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff8",
"0x154a",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x57",
"0x4824800180007ff8",
"0x154a",
"0x400080007ff87fff",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x291781f498337b9b5360c03c3e696a418cc6db03ae24a3e9fb2f5d1ac9ffa25",
"0x482480017ff68000",
"0x1",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ffb7fff",
"0x400280017ffb7ffb",
"0x400280027ffb7ffc",
"0x400280037ffb7ffd",
"0x480280057ffb8000",
"0x20680017fff7fff",
"0x37",
"0x480280067ffb8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x7",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480080007ff67ffc",
"0x480080017ff57ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400080027ff47ffd",
"0x10780017fff7fff",
"0x17",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480080007ff77ffd",
"0x480080017ff67ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400080027ff57ffe",
"0x40780017fff7fff",
"0x1",
"0x400080007fff7ff7",
"0x482480017ff48000",
"0x3",
"0x48127ff77fff8000",
"0x48127ff77fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482480017ff28000",
"0x3",
"0x48127ff57fff8000",
"0x48127ff57fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0x8",
"0x48127ffd7fff8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x8",
"0x480280067ffb8000",
"0x480280077ffb8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127ff37fff8000",
"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",
"0x60",
"0x4825800180007ffa",
"0x0",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0x103e",
"0x482480017fff8000",
"0x103d",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff8",
"0xd70",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x2b",
"0x4824800180007ff8",
"0xd70",
"0x400080007ff87fff",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x188785fdfb4bad774dcd1494dcb98e579055cfa6ffb12961ee5fea428371d0e",
"0x482480017ff68000",
"0x1",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ffb7fff",
"0x400280017ffb7ffb",
"0x400280027ffb7ffc",
"0x400280037ffb7ffd",
"0x480280057ffb8000",
"0x20680017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480280067ffb8000",
"0x400080007ffe7fff",
"0x48127ffb7fff8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x7",
"0x480680017fff8000",
"0x0",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x48127ffd7fff8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x8",
"0x480680017fff8000",
"0x1",
"0x480280067ffb8000",
"0x480280077ffb8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127ff37fff8000",
"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",
"0x8c",
"0x4825800180007ffa",
"0x0",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xfca",
"0x482480017fff8000",
"0xfc9",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff8",
"0x154a",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x57",
"0x4824800180007ff8",
"0x154a",
"0x400080007ff87fff",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x482480017ff68000",
"0x1",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ffb7fff",
"0x400280017ffb7ffb",
"0x400280027ffb7ffc",
"0x400280037ffb7ffd",
"0x480280057ffb8000",
"0x20680017fff7fff",
"0x37",
"0x480280067ffb8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x7",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480080007ff67ffc",
"0x480080017ff57ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400080027ff47ffd",
"0x10780017fff7fff",
"0x17",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480080007ff77ffd",
"0x480080017ff67ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400080027ff57ffe",
"0x40780017fff7fff",
"0x1",
"0x400080007fff7ff7",
"0x482480017ff48000",
"0x3",
"0x48127ff77fff8000",
"0x48127ff77fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482480017ff28000",
"0x3",
"0x48127ff57fff8000",
"0x48127ff57fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0x8",
"0x48127ffd7fff8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x8",
"0x480280067ffb8000",
"0x480280077ffb8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127ff37fff8000",
"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",
"0x97",
"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",
"0x6c",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffe",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480080007ff67ffc",
"0x480080017ff57ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400080027ff47ffd",
"0x10780017fff7fff",
"0x5a",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffd",
"0x480080007ff77ffd",
"0x480080017ff67ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400080027ff57ffe",
"0x482480017ff58000",
"0x3",
"0x48307ff680007ff7",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127fef7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xefd",
"0x482480017fff8000",
"0xefc",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fed",
"0x7580",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x20",
"0x4824800180007fed",
"0x7580",
"0x400080007ff87fff",
"0x482480017ff88000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127fef7fff8000",
"0x1104800180018000",
"0x815",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127fe87fff8000",
"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",
"0xce",
"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",
"0xa3",
"0xa0680017fff8000",
"0x16",
"0x480080007ff98003",
"0x480080017ff88003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff47ffd",
"0x20680017fff7ffe",
"0xe",
"0x402780017fff7fff",
"0x1",
"0x400080007ff97ffe",
"0x40780017fff7fff",
"0x5",
"0x482480017ff48000",
"0x1",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x10780017fff7fff",
"0x6",
"0x482480017ff48000",
"0x3",
"0x48127ffe7fff8000",
"0x48127ffc7fff8000",
"0x480680017fff8000",
"0x100000000",
"0x48307fff80017ffe",
"0xa0680017fff7fff",
"0x7",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff97fff",
"0x10780017fff7fff",
"0x23",
"0x400080007ffa7fff",
"0x482480017ffa8000",
"0x1",
"0x4824800180007ffb",
"0x100000000",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x7",
"0x40780017fff7fff",
"0x3",
"0x48127ffb7fff8000",
"0x10780017fff7fff",
"0xf",
"0x480680017fff8000",
"0x0",
"0x48307fff80017ff8",
"0xa0680017fff7fff",
"0x7",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ffa7fff",
"0x10780017fff7fff",
"0x7",
"0x400080007ffb7fff",
"0x482480017ffb8000",
"0x1",
"0x10780017fff7fff",
"0x5b",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0x6",
"0x40780017fff7fff",
"0x5",
"0x482480017ff48000",
"0x1",
"0x48307fe980007fea",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127fe27fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xe17",
"0x482480017fff8000",
"0xe16",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fe0",
"0x7ea4",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x20",
"0x4824800180007fe0",
"0x7ea4",
"0x400080007ff87fff",
"0x482480017ff88000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127fe27fff8000",
"0x1104800180018000",
"0x7c6",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127fdb7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x11",
"0x48127fe97fff8000",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202331",
"0x400080007ffe7fff",
"0x48127ffd7fff8000",
"0x48127fe47fff8000",
"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",
"0x97",
"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",
"0x6c",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffe",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480080007ff67ffc",
"0x480080017ff57ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400080027ff47ffd",
"0x10780017fff7fff",
"0x5a",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffd",
"0x480080007ff77ffd",
"0x480080017ff67ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400080027ff57ffe",
"0x482480017ff58000",
"0x3",
"0x48307ff680007ff7",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127fef7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xd70",
"0x482480017fff8000",
"0xd6f",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fed",
"0xaa8c",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x20",
"0x4824800180007fed",
"0xaa8c",
"0x400080007ff87fff",
"0x482480017ff88000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127fef7fff8000",
"0x1104800180018000",
"0x7b6",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127fe87fff8000",
"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",
"0x54",
"0x4825800180007ffa",
"0x0",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xcf2",
"0x482480017fff8000",
"0xcf1",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff8",
"0xa2b2",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x1f",
"0x4824800180007ff8",
"0xa2b2",
"0x400080007ff87fff",
"0x482480017ff88000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x1104800180018000",
"0x82f",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127ff37fff8000",
"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",
"0xfffffffffffffffffffffffffffffa88",
"0x400280007ff97fff",
"0x10780017fff7fff",
"0x18c",
"0x4825800180007ffa",
"0x578",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482680017ffc8000",
"0x1",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x0",
"0x480a7ffc7fff8000",
"0x10780017fff7fff",
"0x8",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x6c",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x51",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x482480017ff88000",
"0x1",
"0x48307ff980007ffa",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ff88000",
"0x1",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff57fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x2a",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x11",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x40780017fff7fff",
"0x5",
"0x482480017ff38000",
"0x1",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x0",
"0x48127fed7fff8000",
"0x48127ff47fff8000",
"0x10780017fff7fff",
"0x24",
"0x482480017ff38000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x7",
"0x48127ff37fff8000",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x10780017fff7fff",
"0x13",
"0x40780017fff7fff",
"0x8",
"0x482480017feb8000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0xf",
"0x48127feb7fff8000",
"0x48127fec7fff8000",
"0x48127fec7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffd",
"0xed",
"0x48307ffb80007ffc",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ffa8000",
"0x1",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff77fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x6c",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff38003",
"0x480080017ff28003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027fee7ffd",
"0x20680017fff7ffe",
"0x51",
"0x402780017fff7fff",
"0x1",
"0x400080007ff37ffe",
"0x482480017ff38000",
"0x1",
"0x48307ff980007ffa",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ff88000",
"0x1",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff57fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x2a",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x11",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x40780017fff7fff",
"0x5",
"0x482480017ff38000",
"0x1",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x0",
"0x48127fed7fff8000",
"0x48127ff47fff8000",
"0x10780017fff7fff",
"0x24",
"0x482480017ff38000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x7",
"0x48127ff37fff8000",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x10780017fff7fff",
"0x13",
"0x40780017fff7fff",
"0x8",
"0x482480017fe68000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0xf",
"0x48127fe67fff8000",
"0x48127fec7fff8000",
"0x48127fec7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffd",
"0x53",
"0x48307ffb80007ffc",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ff77fff8000",
"0x48127fc67fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xb72",
"0x482480017fff8000",
"0xb71",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fc4",
"0xf30c",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff27fff",
"0x10780017fff7fff",
"0x23",
"0x4824800180007fc4",
"0xf30c",
"0x400080007ff37fff",
"0x482480017ff38000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127fda7fff8000",
"0x48127fda7fff8000",
"0x48127ff27fff8000",
"0x48127ff27fff8000",
"0x1104800180018000",
"0x76e",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff08000",
"0x1",
"0x48127fbf7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202332",
"0x400080007ffe7fff",
"0x48127ff87fff8000",
"0x48127fc77fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202331",
"0x400080007ffe7fff",
"0x48127ff87fff8000",
"0x48127fe17fff8000",
"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",
"0xfffffffffffffffffffffffffffff768",
"0x400280007ff97fff",
"0x10780017fff7fff",
"0x1b0",
"0x4825800180007ffa",
"0x898",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482680017ffc8000",
"0x1",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x0",
"0x480280007ffc8000",
"0x10780017fff7fff",
"0x8",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x188",
"0x48307ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ffb8000",
"0x1",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff87fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x6c",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff38003",
"0x480080017ff28003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027fee7ffd",
"0x20680017fff7ffe",
"0x51",
"0x402780017fff7fff",
"0x1",
"0x400080007ff37ffe",
"0x482480017ff38000",
"0x1",
"0x48307ff980007ffa",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ff88000",
"0x1",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff57fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x2a",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x11",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x40780017fff7fff",
"0x5",
"0x482480017ff38000",
"0x1",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x0",
"0x48127fed7fff8000",
"0x48127ff47fff8000",
"0x10780017fff7fff",
"0x24",
"0x482480017ff38000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x7",
"0x48127ff37fff8000",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x10780017fff7fff",
"0x13",
"0x40780017fff7fff",
"0x8",
"0x482480017fe68000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0xf",
"0x48127fe67fff8000",
"0x48127fec7fff8000",
"0x48127fec7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffd",
"0xee",
"0x48307ffb80007ffc",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ffa8000",
"0x1",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff77fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x6c",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff38003",
"0x480080017ff28003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027fee7ffd",
"0x20680017fff7ffe",
"0x51",
"0x402780017fff7fff",
"0x1",
"0x400080007ff37ffe",
"0x482480017ff38000",
"0x1",
"0x48307ff980007ffa",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ff88000",
"0x1",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff57fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x2a",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x11",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x40780017fff7fff",
"0x5",
"0x482480017ff38000",
"0x1",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x0",
"0x48127fed7fff8000",
"0x48127ff47fff8000",
"0x10780017fff7fff",
"0x24",
"0x482480017ff38000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x7",
"0x48127ff37fff8000",
"0x48127ff47fff8000",
"0x48127ff47fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x10780017fff7fff",
"0x13",
"0x40780017fff7fff",
"0x8",
"0x482480017fe68000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0xf",
"0x48127fe67fff8000",
"0x48127fec7fff8000",
"0x48127fec7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffd",
"0x54",
"0x48307ffb80007ffc",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ff77fff8000",
"0x48127fc17fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0x9bd",
"0x482480017fff8000",
"0x9bc",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fbf",
"0xc3be",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff27fff",
"0x10780017fff7fff",
"0x24",
"0x4824800180007fbf",
"0xc3be",
"0x400080007ff37fff",
"0x482480017ff38000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127fc17fff8000",
"0x48127fd97fff8000",
"0x48127fd97fff8000",
"0x48127ff17fff8000",
"0x48127ff17fff8000",
"0x1104800180018000",
"0x6c7",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff08000",
"0x1",
"0x48127fba7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202333",
"0x400080007ffe7fff",
"0x48127ff87fff8000",
"0x48127fc27fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202332",
"0x400080007ffe7fff",
"0x48127ff87fff8000",
"0x48127fdc7fff8000",
"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",
"0x124",
"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",
"0xfc",
"0x48307ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ffb8000",
"0x1",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x0",
"0x480080007ff88000",
"0x10780017fff7fff",
"0x8",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0xd9",
"0x48307ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ffb8000",
"0x1",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff87fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0xb3",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x12",
"0x4824800180007ffe",
"0x100000000",
"0x4844800180008002",
"0x8000000000000110000000000000000",
"0x4830800080017ffe",
"0x480080007feb7fff",
"0x482480017ffe8000",
"0xefffffffffffffde00000000ffffffff",
"0x480080017fe97fff",
"0x400080027fe87ffb",
"0x402480017fff7ffb",
"0xffffffffffffffffffffffffffffffff",
"0x20680017fff7fff",
"0x9e",
"0x402780017fff7fff",
"0x1",
"0x400080007fee7ffe",
"0x482480017ffe8000",
"0xffffffffffffffffffffffff00000000",
"0x400080017fed7fff",
"0x482480017fed8000",
"0x2",
"0x48307ff880007ff9",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ff78000",
"0x1",
"0x48127ff77fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff47fff8000",
"0x10780017fff7fff",
"0x8",
"0x48127ff77fff8000",
"0x48127ff77fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x70",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x12",
"0x4824800180007ffe",
"0x100000000",
"0x4844800180008002",
"0x8000000000000110000000000000000",
"0x4830800080017ffe",
"0x480080007ff57fff",
"0x482480017ffe8000",
"0xefffffffffffffde00000000ffffffff",
"0x480080017ff37fff",
"0x400080027ff27ffb",
"0x402480017fff7ffb",
"0xffffffffffffffffffffffffffffffff",
"0x20680017fff7fff",
"0x5b",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x482480017ffe8000",
"0xffffffffffffffffffffffff00000000",
"0x400080017ff77fff",
"0x482480017ff78000",
"0x2",
"0x48307ff880007ff9",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127fde7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0x8a0",
"0x482480017fff8000",
"0x89f",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fdc",
"0xb87e",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x23",
"0x4824800180007fdc",
"0xb87e",
"0x400080007ff87fff",
"0x482480017ff88000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127fde7fff8000",
"0x48127fe27fff8000",
"0x48127fe77fff8000",
"0x48127fef7fff8000",
"0x1104800180018000",
"0x674",
"0x20680017fff7ffd",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127fd77fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x482480017ff28000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x8",
"0x48127ff27fff8000",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202334",
"0x400080007ffe7fff",
"0x48127ffd7fff8000",
"0x48127fda7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x482480017fe88000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x8",
"0x48127fe87fff8000",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202333",
"0x400080007ffe7fff",
"0x48127ffd7fff8000",
"0x48127fe37fff8000",
"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",
"0xfffffffffffffffffffffffffffff4a2",
"0x400280007ff97fff",
"0x10780017fff7fff",
"0x127",
"0x4825800180007ffa",
"0xb5e",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482680017ffc8000",
"0x1",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x0",
"0x480280007ffc8000",
"0x10780017fff7fff",
"0x8",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0xfc",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffe",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480080007ff67ffc",
"0x480080017ff57ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400080027ff47ffd",
"0x10780017fff7fff",
"0xea",
"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",
"0xba",
"0xa0680017fff8000",
"0x16",
"0x480080007ff98003",
"0x480080017ff88003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff47ffd",
"0x20680017fff7ffe",
"0xe",
"0x402780017fff7fff",
"0x1",
"0x400080007ff97ffe",
"0x40780017fff7fff",
"0x5",
"0x482480017ff48000",
"0x1",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x10780017fff7fff",
"0x6",
"0x482480017ff48000",
"0x3",
"0x48127ffe7fff8000",
"0x48127ffc7fff8000",
"0x480680017fff8000",
"0x100000000",
"0x48307fff80017ffe",
"0xa0680017fff7fff",
"0x7",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff97fff",
"0x10780017fff7fff",
"0x23",
"0x400080007ffa7fff",
"0x482480017ffa8000",
"0x1",
"0x4824800180007ffb",
"0x100000000",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x7",
"0x40780017fff7fff",
"0x3",
"0x48127ffb7fff8000",
"0x10780017fff7fff",
"0xf",
"0x480680017fff8000",
"0x0",
"0x48307fff80017ff8",
"0xa0680017fff7fff",
"0x7",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ffa7fff",
"0x10780017fff7fff",
"0x7",
"0x400080007ffb7fff",
"0x482480017ffb8000",
"0x1",
"0x10780017fff7fff",
"0x72",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0x6",
"0x40780017fff7fff",
"0x5",
"0x482480017ff48000",
"0x1",
"0x48127fe97fff8000",
"0x48127fe97fff8000",
"0x1104800180018000",
"0x620",
"0x20680017fff7ffd",
"0x53",
"0x48307ffb80007ffc",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ff77fff8000",
"0x48127fb97fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0x753",
"0x482480017fff8000",
"0x752",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007fb7",
"0xb0f4",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff27fff",
"0x10780017fff7fff",
"0x23",
"0x4824800180007fb7",
"0xb0f4",
"0x400080007ff37fff",
"0x48127fff7fff8000",
"0x480a7ffb7fff8000",
"0x48127fba7fff8000",
"0x48127fc47fff8000",
"0x48127ff37fff8000",
"0x48127ff37fff8000",
"0x1104800180018000",
"0x67c",
"0x482480017fd28000",
"0x1",
"0x20680017fff7ffc",
"0xc",
"0x40780017fff7fff",
"0x1",
"0x48127ffe7fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127fff7fff8000",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ff97fff8000",
"0x48127ff97fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff08000",
"0x1",
"0x48127fb27fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202333",
"0x400080007ffe7fff",
"0x48127ff87fff8000",
"0x48127fba7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x11",
"0x48127fe97fff8000",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202332",
"0x400080007ffe7fff",
"0x48127ffd7fff8000",
"0x48127fd97fff8000",
"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",
"0x480680017fff8000",
"0x476574457865637574696f6e496e666f",
"0x400280007ffc7fff",
"0x400380017ffc7ffb",
"0x480280037ffc8000",
"0x20680017fff7fff",
"0x87",
"0x480280047ffc8000",
"0x480280027ffc8000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480080007ffc8000",
"0x480080017ffb8000",
"0x480080027ffa8000",
"0x480080037ff98000",
"0x480080047ff88000",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280057ffc7fff",
"0x400280067ffc7ff7",
"0x400280077ffc7ff8",
"0x400280087ffc7ff9",
"0x4802800a7ffc8000",
"0x20680017fff7fff",
"0x63",
"0x4802800b7ffc8000",
"0x480280097ffc8000",
"0x482680017ffc8000",
"0xc",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ffa7ffc",
"0x480280017ffa7ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ffa7ffd",
"0x10780017fff7fff",
"0x43",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ffa7ffd",
"0x480280017ffa7ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ffa7ffe",
"0x40780017fff7fff",
"0x2",
"0x48307ff180007ff6",
"0x482680017ffa8000",
"0x3",
"0x20680017fff7ffe",
"0x24",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x291781f498337b9b5360c03c3e696a418cc6db03ae24a3e9fb2f5d1ac9ffa25",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080007ff37fff",
"0x400080017ff37ff2",
"0x400080027ff37ffd",
"0x400080037ff37ffe",
"0x400180047ff37ffd",
"0x480080067ff38000",
"0x20680017fff7fff",
"0xd",
"0x48127ffb7fff8000",
"0x480080057ff18000",
"0x482480017ff08000",
"0x7",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127ffb7fff8000",
"0x480080057ff18000",
"0x482480017ff08000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480080077fee8000",
"0x480080087fed8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f6e6c79206f776e6572",
"0x400080007ffe7fff",
"0x48127ffb7fff8000",
"0x48127ff07fff8000",
"0x48127ff07fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ffa8000",
"0x3",
"0x48127ff57fff8000",
"0x48127ff57fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0xb",
"0x480a7ffa7fff8000",
"0x480280097ffc8000",
"0x482680017ffc8000",
"0xd",
"0x4802800b7ffc8000",
"0x4802800c7ffc8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1b",
"0x480a7ffa7fff8000",
"0x480280027ffc8000",
"0x482680017ffc8000",
"0x6",
"0x480680017fff8000",
"0x1",
"0x480280047ffc8000",
"0x480280057ffc8000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x476574457865637574696f6e496e666f",
"0x400280007ffc7fff",
"0x400380017ffc7ffb",
"0x480280037ffc8000",
"0x20680017fff7fff",
"0x87",
"0x480280047ffc8000",
"0x480280027ffc8000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480080007ffc8000",
"0x480080017ffb8000",
"0x480080027ffa8000",
"0x480080037ff98000",
"0x480080047ff88000",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280057ffc7fff",
"0x400280067ffc7ff7",
"0x400280077ffc7ff8",
"0x400280087ffc7ff9",
"0x4802800a7ffc8000",
"0x20680017fff7fff",
"0x63",
"0x4802800b7ffc8000",
"0x480280097ffc8000",
"0x482680017ffc8000",
"0xc",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ffa7ffc",
"0x480280017ffa7ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ffa7ffd",
"0x10780017fff7fff",
"0x43",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ffa7ffd",
"0x480280017ffa7ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ffa7ffe",
"0x40780017fff7fff",
"0x2",
"0x48307ff180007ff6",
"0x482680017ffa8000",
"0x3",
"0x20680017fff7ffe",
"0x24",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x188785fdfb4bad774dcd1494dcb98e579055cfa6ffb12961ee5fea428371d0e",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080007ff37fff",
"0x400080017ff37ff2",
"0x400080027ff37ffd",
"0x400080037ff37ffe",
"0x400180047ff37ffd",
"0x480080067ff38000",
"0x20680017fff7fff",
"0xd",
"0x48127ffb7fff8000",
"0x480080057ff18000",
"0x482480017ff08000",
"0x7",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127ffb7fff8000",
"0x480080057ff18000",
"0x482480017ff08000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480080077fee8000",
"0x480080087fed8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f6e6c79206f776e6572",
"0x400080007ffe7fff",
"0x48127ffb7fff8000",
"0x48127ff07fff8000",
"0x48127ff07fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ffa8000",
"0x3",
"0x48127ff57fff8000",
"0x48127ff57fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0xb",
"0x480a7ffa7fff8000",
"0x480280097ffc8000",
"0x482680017ffc8000",
"0xd",
"0x4802800b7ffc8000",
"0x4802800c7ffc8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1b",
"0x480a7ffa7fff8000",
"0x480280027ffc8000",
"0x482680017ffc8000",
"0x6",
"0x480680017fff8000",
"0x1",
"0x480280047ffc8000",
"0x480280057ffc8000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x476574457865637574696f6e496e666f",
"0x400280007ffc7fff",
"0x400380017ffc7ffb",
"0x480280037ffc8000",
"0x20680017fff7fff",
"0xe6",
"0x480280047ffc8000",
"0x480280027ffc8000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480080007ffc8000",
"0x480080017ffb8000",
"0x480080027ffa8000",
"0x480080037ff98000",
"0x480080047ff88000",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280057ffc7fff",
"0x400280067ffc7ff7",
"0x400280077ffc7ff8",
"0x400280087ffc7ff9",
"0x4802800a7ffc8000",
"0x20680017fff7fff",
"0xc2",
"0x4802800b7ffc8000",
"0x480280097ffc8000",
"0x482680017ffc8000",
"0xc",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ffa7ffc",
"0x480280017ffa7ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ffa7ffd",
"0x10780017fff7fff",
"0xa0",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ffa7ffd",
"0x480280017ffa7ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ffa7ffe",
"0x48307ff380007ff8",
"0x482680017ffa8000",
"0x3",
"0x20680017fff7ffe",
"0x83",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080007ff57fff",
"0x400080017ff57ff4",
"0x400080027ff57ffd",
"0x400080037ff57ffe",
"0x400180047ff57ffd",
"0x480080067ff58000",
"0x20680017fff7fff",
"0x6a",
"0x480080057ff48000",
"0x482480017ff38000",
"0x7",
"0x20780017fff7ffd",
"0x34",
"0x40780017fff7fff",
"0x1",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x5",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x48127fe57fff8000",
"0x48127ff97fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x48127ff77fff8000",
"0x1104800180018000",
"0x50d",
"0x480680017fff8000",
"0x456d69744576656e74",
"0x400080007fec7fff",
"0x400080017fec7feb",
"0x400080027fec7ffb",
"0x400080037fec7ffc",
"0x400080047fec7ffd",
"0x400080057fec7ffe",
"0x480080077fec8000",
"0x20680017fff7fff",
"0xd",
"0x48127fe57fff8000",
"0x480080067fea8000",
"0x482480017fe98000",
"0x8",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127fe57fff8000",
"0x480080067fea8000",
"0x482480017fe98000",
"0xa",
"0x480680017fff8000",
"0x1",
"0x480080087fe78000",
"0x480080097fe68000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x7",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x48127fe67fff8000",
"0x480a7ffd7fff8000",
"0x48127ff97fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x48127ff77fff8000",
"0x1104800180018000",
"0x4dc",
"0x480680017fff8000",
"0x456d69744576656e74",
"0x400080007fec7fff",
"0x400080017fec7feb",
"0x400080027fec7ffb",
"0x400080037fec7ffc",
"0x400080047fec7ffd",
"0x400080057fec7ffe",
"0x480080077fec8000",
"0x20680017fff7fff",
"0xd",
"0x48127fe57fff8000",
"0x480080067fea8000",
"0x482480017fe98000",
"0x8",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127fe57fff8000",
"0x480080067fea8000",
"0x482480017fe98000",
"0xa",
"0x480680017fff8000",
"0x1",
"0x480080087fe78000",
"0x480080097fe68000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x16",
"0x48127fe57fff8000",
"0x480080057fdd8000",
"0x482480017fdc8000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480080077fda8000",
"0x480080087fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x18",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f6e6c79206f776e6572",
"0x400080007ffe7fff",
"0x48127fe57fff8000",
"0x48127fdc7fff8000",
"0x48127fdc7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x14",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ffa8000",
"0x3",
"0x48127fe17fff8000",
"0x48127fe17fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0x1f",
"0x480a7ffa7fff8000",
"0x480280097ffc8000",
"0x482680017ffc8000",
"0xd",
"0x4802800b7ffc8000",
"0x4802800c7ffc8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2f",
"0x480a7ffa7fff8000",
"0x480280027ffc8000",
"0x482680017ffc8000",
"0x6",
"0x480680017fff8000",
"0x1",
"0x480280047ffc8000",
"0x480280057ffc8000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x476574457865637574696f6e496e666f",
"0x400280007ffd7fff",
"0x400380017ffd7ffc",
"0x480280037ffd8000",
"0x20680017fff7fff",
"0xb3",
"0x480280047ffd8000",
"0x480280027ffd8000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480080007ffc8000",
"0x480080017ffb8000",
"0x480080027ffa8000",
"0x480080037ff98000",
"0x480080047ff88000",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280057ffd7fff",
"0x400280067ffd7ff7",
"0x400280077ffd7ff8",
"0x400280087ffd7ff9",
"0x4802800a7ffd8000",
"0x20680017fff7fff",
"0x8f",
"0x4802800b7ffd8000",
"0x480280097ffd8000",
"0x482680017ffd8000",
"0xc",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ffb7ffc",
"0x480280017ffb7ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ffb7ffd",
"0x10780017fff7fff",
"0x6d",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ffb7ffd",
"0x480280017ffb7ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ffb7ffe",
"0x48307ff380007ff8",
"0x482680017ffb8000",
"0x3",
"0x20680017fff7ffe",
"0x50",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080007ff47fff",
"0x400080017ff47ff3",
"0x400080027ff47ffc",
"0x400080037ff47ffd",
"0x400080047ff47ffe",
"0x480080067ff48000",
"0x20680017fff7fff",
"0x35",
"0x40780017fff7fff",
"0x1",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x5",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x48127fe67fff8000",
"0x48127ff97fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x48127ff77fff8000",
"0x1104800180018000",
"0x41a",
"0x480080057fe18000",
"0x480680017fff8000",
"0x456d69744576656e74",
"0x400080077fdf7fff",
"0x400080087fdf7ffe",
"0x400080097fdf7ffa",
"0x4000800a7fdf7ffb",
"0x4000800b7fdf7ffc",
"0x4000800c7fdf7ffd",
"0x4800800e7fdf8000",
"0x20680017fff7fff",
"0xd",
"0x48127fe57fff8000",
"0x4800800d7fdd8000",
"0x482480017fdc8000",
"0xf",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127fe57fff8000",
"0x4800800d7fdd8000",
"0x482480017fdc8000",
"0x11",
"0x480680017fff8000",
"0x1",
"0x4800800f7fda8000",
"0x480080107fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x15",
"0x48127fe57fff8000",
"0x480080057fdd8000",
"0x482480017fdc8000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480080077fda8000",
"0x480080087fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x18",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f6e6c79206f776e6572",
"0x400080007ffe7fff",
"0x48127fe57fff8000",
"0x48127fdc7fff8000",
"0x48127fdc7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x14",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ffb8000",
"0x3",
"0x48127fe17fff8000",
"0x48127fe17fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0x1f",
"0x480a7ffb7fff8000",
"0x480280097ffd8000",
"0x482680017ffd8000",
"0xd",
"0x4802800b7ffd8000",
"0x4802800c7ffd8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2f",
"0x480a7ffb7fff8000",
"0x480280027ffd8000",
"0x482680017ffd8000",
"0x6",
"0x480680017fff8000",
"0x1",
"0x480280047ffd8000",
"0x480280057ffd8000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x476574457865637574696f6e496e666f",
"0x400280007ff97fff",
"0x400380017ff97ff8",
"0x480280037ff98000",
"0x20680017fff7fff",
"0xff",
"0x480280047ff98000",
"0x480280027ff98000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480080007ffc8000",
"0x480080017ffb8000",
"0x480080027ffa8000",
"0x480080037ff98000",
"0x480080047ff88000",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280057ff97fff",
"0x400280067ff97ff7",
"0x400280077ff97ff8",
"0x400280087ff97ff9",
"0x4802800a7ff98000",
"0x20680017fff7fff",
"0xdb",
"0x4802800b7ff98000",
"0x480280097ff98000",
"0x482680017ff98000",
"0xc",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ff77ffc",
"0x480280017ff77ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ff77ffd",
"0x10780017fff7fff",
"0xb9",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ff77ffd",
"0x480280017ff77ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ff77ffe",
"0x48307ff380007ff8",
"0x482680017ff78000",
"0x3",
"0x20680017fff7ffe",
"0x9c",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x291781f498337b9b5360c03c3e696a418cc6db03ae24a3e9fb2f5d1ac9ffa25",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400080007ff57fff",
"0x400080017ff57ff4",
"0x400080027ff57ffd",
"0x400080037ff57ffe",
"0x480080057ff58000",
"0x20680017fff7fff",
"0x7f",
"0x480080067ff48000",
"0x480080047ff38000",
"0x482480017ff28000",
"0x7",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480080007ff47ffc",
"0x480080017ff37ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400080027ff27ffd",
"0x10780017fff7fff",
"0x5d",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480080007ff57ffd",
"0x480080017ff47ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400080027ff37ffe",
"0x40780017fff7fff",
"0x1",
"0x400180007fff7ffa",
"0x400180017fff7ffb",
"0x400180027fff7ffc",
"0x400180037fff7ffd",
"0x480680017fff8000",
"0xbef29f825020c5aac1121de2686d2010bd562ce4612350d4668e7812b998d7",
"0x48127ffe7fff8000",
"0x482480017ffd8000",
"0x4",
"0x482480017fef8000",
"0x3",
"0x480680017fff8000",
"0x43616c6c436f6e7472616374",
"0x400080007ff47fff",
"0x400080017ff47ff3",
"0x400080027ff47ff2",
"0x400080037ff47ffb",
"0x400080047ff47ffc",
"0x400080057ff47ffd",
"0x480080077ff48000",
"0x20680017fff7fff",
"0x32",
"0x40780017fff7fff",
"0x1",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x3",
"0x480a7ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x48127ff97fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x48127ff77fff8000",
"0x1104800180018000",
"0x32b",
"0x480080067fe18000",
"0x480680017fff8000",
"0x456d69744576656e74",
"0x4000800a7fdf7fff",
"0x4000800b7fdf7ffe",
"0x4000800c7fdf7ffa",
"0x4000800d7fdf7ffb",
"0x4000800e7fdf7ffc",
"0x4000800f7fdf7ffd",
"0x480080117fdf8000",
"0x20680017fff7fff",
"0xd",
"0x48127fe87fff8000",
"0x480080107fdd8000",
"0x482480017fdc8000",
"0x12",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127fe87fff8000",
"0x480080107fdd8000",
"0x482480017fdc8000",
"0x14",
"0x480680017fff8000",
"0x1",
"0x480080127fda8000",
"0x480080137fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x15",
"0x48127fe87fff8000",
"0x480080067fdd8000",
"0x482480017fdc8000",
"0xa",
"0x480680017fff8000",
"0x1",
"0x480080087fda8000",
"0x480080097fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x14",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482480017fdc8000",
"0x3",
"0x48127fe17fff8000",
"0x48127fe17fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0x1f",
"0x48127fdc7fff8000",
"0x480080047fd48000",
"0x482480017fd38000",
"0x8",
"0x480080067fd28000",
"0x480080077fd18000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x26",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f6e6c79206f776e6572",
"0x400080007ffe7fff",
"0x48127fd77fff8000",
"0x48127fce7fff8000",
"0x48127fce7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x22",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ff78000",
"0x3",
"0x48127fd37fff8000",
"0x48127fd37fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0x2d",
"0x480a7ff77fff8000",
"0x480280097ff98000",
"0x482680017ff98000",
"0xd",
"0x4802800b7ff98000",
"0x4802800c7ff98000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x3d",
"0x480a7ff77fff8000",
"0x480280027ff98000",
"0x482680017ff98000",
"0x6",
"0x480680017fff8000",
"0x1",
"0x480280047ff98000",
"0x480280057ff98000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x188785fdfb4bad774dcd1494dcb98e579055cfa6ffb12961ee5fea428371d0e",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ff87fff",
"0x400380017ff87ff7",
"0x400280027ff87ffd",
"0x400280037ff87ffe",
"0x480280057ff88000",
"0x20680017fff7fff",
"0xb3",
"0x480280067ff88000",
"0x48317fff80007ff9",
"0x480280047ff88000",
"0x482680017ff88000",
"0x7",
"0x20680017fff7ffd",
"0x9c",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x291781f498337b9b5360c03c3e696a418cc6db03ae24a3e9fb2f5d1ac9ffa25",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400080007ffc7fff",
"0x400080017ffc7ffb",
"0x400080027ffc7ffd",
"0x400080037ffc7ffe",
"0x480080057ffc8000",
"0x20680017fff7fff",
"0x7f",
"0x480080067ffb8000",
"0x480080047ffa8000",
"0x482480017ff98000",
"0x7",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ff67ffc",
"0x480280017ff67ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ff67ffd",
"0x10780017fff7fff",
"0x5d",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ff67ffd",
"0x480280017ff67ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ff67ffe",
"0x40780017fff7fff",
"0x1",
"0x400180007fff7ffa",
"0x400180017fff7ffb",
"0x400180027fff7ffc",
"0x400180037fff7ffd",
"0x480680017fff8000",
"0xbef29f825020c5aac1121de2686d2010bd562ce4612350d4668e7812b998d7",
"0x48127ffe7fff8000",
"0x482480017ffd8000",
"0x4",
"0x482680017ff68000",
"0x3",
"0x480680017fff8000",
"0x43616c6c436f6e7472616374",
"0x400080007ff47fff",
"0x400080017ff47ff3",
"0x400080027ff47ff2",
"0x400080037ff47ffb",
"0x400080047ff47ffc",
"0x400080057ff47ffd",
"0x480080077ff48000",
"0x20680017fff7fff",
"0x32",
"0x40780017fff7fff",
"0x1",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x3",
"0x480a7ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x48127ff97fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x48127ff77fff8000",
"0x1104800180018000",
"0x242",
"0x480080067fe18000",
"0x480680017fff8000",
"0x456d69744576656e74",
"0x4000800a7fdf7fff",
"0x4000800b7fdf7ffe",
"0x4000800c7fdf7ffa",
"0x4000800d7fdf7ffb",
"0x4000800e7fdf7ffc",
"0x4000800f7fdf7ffd",
"0x480080117fdf8000",
"0x20680017fff7fff",
"0xd",
"0x48127fe87fff8000",
"0x480080107fdd8000",
"0x482480017fdc8000",
"0x12",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127fe87fff8000",
"0x480080107fdd8000",
"0x482480017fdc8000",
"0x14",
"0x480680017fff8000",
"0x1",
"0x480080127fda8000",
"0x480080137fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x15",
"0x48127fe87fff8000",
"0x480080067fdd8000",
"0x482480017fdc8000",
"0xa",
"0x480680017fff8000",
"0x1",
"0x480080087fda8000",
"0x480080097fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x14",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ff68000",
"0x3",
"0x48127fe17fff8000",
"0x48127fe17fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0x1f",
"0x480a7ff67fff8000",
"0x480080047fdb8000",
"0x482480017fda8000",
"0x8",
"0x480080067fd98000",
"0x480080077fd88000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x26",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e76616c69642073656e646572",
"0x400080007ffe7fff",
"0x480a7ff67fff8000",
"0x48127fd57fff8000",
"0x48127fd57fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2c",
"0x480a7ff67fff8000",
"0x480280047ff88000",
"0x482680017ff88000",
"0x8",
"0x480680017fff8000",
"0x1",
"0x480280067ff88000",
"0x480280077ff88000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x188785fdfb4bad774dcd1494dcb98e579055cfa6ffb12961ee5fea428371d0e",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ff97fff",
"0x400380017ff97ff8",
"0x400280027ff97ffd",
"0x400280037ff97ffe",
"0x480280057ff98000",
"0x20680017fff7fff",
"0xb3",
"0x480280067ff98000",
"0x48317fff80007ffa",
"0x480280047ff98000",
"0x482680017ff98000",
"0x7",
"0x20680017fff7ffd",
"0x9c",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x291781f498337b9b5360c03c3e696a418cc6db03ae24a3e9fb2f5d1ac9ffa25",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400080007ffc7fff",
"0x400080017ffc7ffb",
"0x400080027ffc7ffd",
"0x400080037ffc7ffe",
"0x480080057ffc8000",
"0x20680017fff7fff",
"0x7f",
"0x480080067ffb8000",
"0x480080047ffa8000",
"0x482480017ff98000",
"0x7",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffc",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ff77ffc",
"0x480280017ff77ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ff77ffd",
"0x10780017fff7fff",
"0x5d",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffb",
"0x480280007ff77ffd",
"0x480280017ff77ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ff77ffe",
"0x40780017fff7fff",
"0x1",
"0x400180007fff7ffb",
"0x400180017fff7ffc",
"0x400180027fff7ffd",
"0x480680017fff8000",
"0x336fe7758e4c2f63420365322ec9f2489ecb6d49eea3a6dc16f0fcd7470164f",
"0x48127ffe7fff8000",
"0x482480017ffd8000",
"0x3",
"0x482680017ff78000",
"0x3",
"0x480680017fff8000",
"0x43616c6c436f6e7472616374",
"0x400080007ff47fff",
"0x400080017ff47ff3",
"0x400080027ff47ff2",
"0x400080037ff47ffb",
"0x400080047ff47ffc",
"0x400080057ff47ffd",
"0x480080077ff48000",
"0x20680017fff7fff",
"0x33",
"0x40780017fff7fff",
"0x1",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480a7ffb7fff8000",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x48127ff97fff8000",
"0x48127ff87fff8000",
"0x48127ff87fff8000",
"0x48127ff77fff8000",
"0x1104800180018000",
"0x179",
"0x480080067fe18000",
"0x480680017fff8000",
"0x456d69744576656e74",
"0x4000800a7fdf7fff",
"0x4000800b7fdf7ffe",
"0x4000800c7fdf7ffa",
"0x4000800d7fdf7ffb",
"0x4000800e7fdf7ffc",
"0x4000800f7fdf7ffd",
"0x480080117fdf8000",
"0x20680017fff7fff",
"0xd",
"0x48127fe87fff8000",
"0x480080107fdd8000",
"0x482480017fdc8000",
"0x12",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127fe87fff8000",
"0x480080107fdd8000",
"0x482480017fdc8000",
"0x14",
"0x480680017fff8000",
"0x1",
"0x480080127fda8000",
"0x480080137fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x15",
"0x48127fe87fff8000",
"0x480080067fdd8000",
"0x482480017fdc8000",
"0xa",
"0x480680017fff8000",
"0x1",
"0x480080087fda8000",
"0x480080097fd98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x14",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4e6f6e20436f6e747261637441646472657373",
"0x400080007ffe7fff",
"0x482680017ff78000",
"0x3",
"0x48127fe17fff8000",
"0x48127fe17fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0x1f",
"0x480a7ff77fff8000",
"0x480080047fdb8000",
"0x482480017fda8000",
"0x8",
"0x480080067fd98000",
"0x480080077fd88000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x26",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e76616c69642073656e646572",
"0x400080007ffe7fff",
"0x480a7ff77fff8000",
"0x48127fd57fff8000",
"0x48127fd57fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2c",
"0x480a7ff77fff8000",
"0x480280047ff98000",
"0x482680017ff98000",
"0x8",
"0x480680017fff8000",
"0x1",
"0x480280067ff98000",
"0x480280077ff98000",
"0x208b7fff7fff7ffe",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482680017ffc8000",
"0x1",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x0",
"0x480280007ffc8000",
"0x10780017fff7fff",
"0x8",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x6b",
"0x20680017fff7fff",
"0x48",
"0x48307ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482480017ffb8000",
"0x1",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x0",
"0x480080007ff88000",
"0x10780017fff7fff",
"0x8",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x27",
"0xa0680017fff8004",
"0xe",
"0x4824800180047ffe",
"0x800000000000000000000000000000000000000000000000000000000000000",
"0x484480017ffe8000",
"0x110000000000000000",
"0x48307ffe7fff8002",
"0x480280007ffb7ffc",
"0x480280017ffb7ffc",
"0x402480017ffb7ffd",
"0xffffffffffffffeeffffffffffffffff",
"0x400280027ffb7ffd",
"0x10780017fff7fff",
"0x13",
"0x484480017fff8001",
"0x8000000000000000000000000000000",
"0x48307fff80007ffd",
"0x480280007ffb7ffd",
"0x480280017ffb7ffd",
"0x402480017ffc7ffe",
"0xf8000000000000000000000000000000",
"0x400280027ffb7ffe",
"0x482680017ffb8000",
"0x3",
"0x48127ff67fff8000",
"0x48127ff67fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ff67fff8000",
"0x10780017fff7fff",
"0x21",
"0x40780017fff7fff",
"0x4",
"0x482680017ffb8000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0xa",
"0x480a7ffb7fff8000",
"0x48127ff17fff8000",
"0x48127ff17fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x9",
"0x4824800180007ff6",
"0x1",
"0x20680017fff7fff",
"0x11",
"0x480a7ffb7fff8000",
"0x48127ff17fff8000",
"0x48127ff17fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x5",
"0x480a7ffb7fff8000",
"0x48127fec7fff8000",
"0x48127fec7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0xf",
"0x480a7ffb7fff8000",
"0x48127fec7fff8000",
"0x48127fec7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x291781f498337b9b5360c03c3e696a418cc6db03ae24a3e9fb2f5d1ac9ffa25",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400280007ff97fff",
"0x400380017ff97ff8",
"0x400280027ff97ffd",
"0x400280037ff97ffe",
"0x400380047ff97ffa",
"0x480280067ff98000",
"0x20680017fff7fff",
"0x71",
"0x480280057ff98000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x188785fdfb4bad774dcd1494dcb98e579055cfa6ffb12961ee5fea428371d0e",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400280077ff97fff",
"0x400280087ff97ffc",
"0x400280097ff97ffd",
"0x4002800a7ff97ffe",
"0x4003800b7ff97ffb",
"0x4802800d7ff98000",
"0x20680017fff7fff",
"0x58",
"0x4802800c7ff98000",
"0x482680017ff98000",
"0xe",
"0x20780017fff7ffc",
"0x1f",
"0x40780017fff7fff",
"0x5",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080007ff77fff",
"0x400080017ff77ff6",
"0x400080027ff77ffd",
"0x400080037ff77ffe",
"0x400180047ff77ffd",
"0x480080067ff78000",
"0x20680017fff7fff",
"0x7",
"0x480080057ff68000",
"0x482480017ff58000",
"0x7",
"0x10780017fff7fff",
"0x25",
"0x480080057ff68000",
"0x482480017ff58000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480080077ff38000",
"0x480080087ff28000",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x476574457865637574696f6e496e666f",
"0x400080007ffe7fff",
"0x400080017ffe7ffd",
"0x480080037ffe8000",
"0x20680017fff7fff",
"0x25",
"0x480080047ffd8000",
"0x480080027ffc8000",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x2016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0",
"0x480080027ffc8000",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080057ff77fff",
"0x400080067ff77ffb",
"0x400080077ff77ffc",
"0x400080087ff77ffd",
"0x400080097ff77ffe",
"0x4800800b7ff78000",
"0x20680017fff7fff",
"0xc",
"0x4800800a7ff68000",
"0x482480017ff58000",
"0xc",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x4800800a7ff68000",
"0x482480017ff58000",
"0xe",
"0x480680017fff8000",
"0x1",
"0x4800800c7ff38000",
"0x4800800d7ff28000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x7",
"0x480080027ff68000",
"0x482480017ff58000",
"0x6",
"0x480680017fff8000",
"0x1",
"0x480080047ff38000",
"0x480080057ff28000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0xb",
"0x4802800c7ff98000",
"0x482680017ff98000",
"0x10",
"0x480680017fff8000",
"0x1",
"0x4802800e7ff98000",
"0x4802800f7ff98000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x10",
"0x480280057ff98000",
"0x482680017ff98000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480280077ff98000",
"0x480280087ff98000",
"0x208b7fff7fff7ffe",
"0x10b7ff57fff7fff",
"0x10780017fff7fff",
"0x2b",
"0x10780017fff7fff",
"0x1b",
"0x10780017fff7fff",
"0xe",
"0x480680017fff8000",
"0x1390fd803c110ac71730ece1decfc34eb1d0088e295d4f1b125dda1e0c5b9ff",
"0x400280007ffb7fff",
"0x400380007ffd7ff8",
"0x400380017ffd7ff9",
"0x480a7ffa7fff8000",
"0x482680017ffb8000",
"0x1",
"0x480a7ffc7fff8000",
"0x482680017ffd8000",
"0x2",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x3d03bafe74705fd7453d155586dd125e87391c72348ba3b5f113a70fe691992",
"0x400280007ffb7fff",
"0x400380007ffd7ff9",
"0x480a7ffa7fff8000",
"0x482680017ffb8000",
"0x1",
"0x480a7ffc7fff8000",
"0x482680017ffd8000",
"0x1",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0xe1eadb452a63ae1892154f372496b89e12ce9e7ce6fa424ec2378abd0b7fa",
"0x400280007ffb7fff",
"0x400380007ffd7ff6",
"0x400380017ffd7ff7",
"0x400380027ffd7ff8",
"0x400380037ffd7ff9",
"0x480a7ffa7fff8000",
"0x482680017ffb8000",
"0x1",
"0x480a7ffc7fff8000",
"0x482680017ffd8000",
"0x4",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x2131c306e23484c1f2954b008e62e8d097071880f3b8ef7001e9c19ee96a34d",
"0x400280007ffb7fff",
"0x400380007ffd7ff7",
"0x400380017ffd7ff8",
"0x400380027ffd7ff9",
"0x480a7ffa7fff8000",
"0x482680017ffb8000",
"0x1",
"0x480a7ffc7fff8000",
"0x482680017ffd8000",
"0x3",
"0x208b7fff7fff7ffe"
],
"bytecode_segment_lengths": [
160,
116,
160,
171,
226,
171,
104,
416,
452,
312,
315,
151,
151,
246,
195,
271,
201,
201,
138,
135,
57
],
"hints": [
[
0,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
17,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
36,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x154a"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -7
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
60,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -5
}
}
}
}
]
],
[
67,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
71,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
81,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
89,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
102,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
130,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
145,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
160,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
177,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
196,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xd70"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -7
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
220,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -5
}
}
}
}
]
],
[
223,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
246,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
261,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
276,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
293,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
312,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x154a"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -7
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
336,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -5
}
}
}
}
]
],
[
343,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
347,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
357,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
365,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
378,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
406,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
421,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
436,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
469,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
473,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
483,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
498,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
517,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x7580"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -18
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
538,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
556,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
578,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
592,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
607,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
640,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
642,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
679,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": 0
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
703,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": 0
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
728,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
747,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x7ea4"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -31
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
768,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
786,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
804,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
818,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
833,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
866,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
870,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
880,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
895,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
914,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xaa8c"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -18
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
935,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
953,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
975,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
989,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1004,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1021,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1040,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xa2b2"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -7
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1060,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1078,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1093,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1108,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x578"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1142,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1144,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1189,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1191,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1282,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1284,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1329,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1331,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1405,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1424,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xf30c"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -59
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1448,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1466,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1481,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1495,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1509,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1524,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x898"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1579,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1581,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1626,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1628,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1719,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1721,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1766,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1768,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
1842,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1861,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xc3be"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -64
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1886,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1904,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1919,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1933,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1947,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1961,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
1976,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2052,
[
{
"TestLessThan": {
"lhs": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -1
},
"b": {
"Immediate": "0x0"
}
}
},
"rhs": {
"Immediate": "0x100000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2056,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"scalar": {
"Immediate": "0x8000000000000110000000000000000"
},
"max_x": {
"Immediate": "0xfffffffffffffffffffffffffffffffe"
},
"x": {
"register": "AP",
"offset": 0
},
"y": {
"register": "AP",
"offset": 1
}
}
}
]
],
[
2098,
[
{
"TestLessThan": {
"lhs": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -1
},
"b": {
"Immediate": "0x0"
}
}
},
"rhs": {
"Immediate": "0x100000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2102,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"scalar": {
"Immediate": "0x8000000000000110000000000000000"
},
"max_x": {
"Immediate": "0xfffffffffffffffffffffffffffffffe"
},
"x": {
"register": "AP",
"offset": 0
},
"y": {
"register": "AP",
"offset": 1
}
}
}
]
],
[
2127,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2146,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xb87e"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -35
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2170,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2188,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2210,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2231,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2245,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2259,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2273,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2288,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xb5e"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2321,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
2325,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
2335,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2366,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2368,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
2405,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": 0
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
2429,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": 0
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
2460,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2479,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0xb0f4"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -72
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2503,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2521,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2536,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2553,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2574,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2588,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2607,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -4
}
}
}
}
]
],
[
2627,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "FP",
"offset": -4
},
"b": {
"Immediate": "0x5"
}
}
}
}
}
]
],
[
2634,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
2638,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
2648,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2674,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -13
}
}
}
}
]
],
[
2699,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2713,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2758,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -4
}
}
}
}
]
],
[
2778,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "FP",
"offset": -4
},
"b": {
"Immediate": "0x5"
}
}
}
}
}
]
],
[
2785,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
2789,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
2799,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2825,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -13
}
}
}
}
]
],
[
2850,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2864,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2909,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -4
}
}
}
}
]
],
[
2929,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "FP",
"offset": -4
},
"b": {
"Immediate": "0x5"
}
}
}
}
}
]
],
[
2936,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
2940,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
2950,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2974,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -11
}
}
}
}
]
],
[
2982,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
2984,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3009,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -20
}
}
}
}
]
],
[
3032,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3034,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3058,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -20
}
}
}
}
]
],
[
3094,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3110,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3155,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -3
}
}
}
}
]
],
[
3175,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "FP",
"offset": -3
},
"b": {
"Immediate": "0x5"
}
}
}
}
}
]
],
[
3182,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
3186,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
3196,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3222,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -12
}
}
}
}
]
],
[
3225,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3227,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3253,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -33
},
"b": {
"Immediate": "0x7"
}
}
}
}
}
]
],
[
3289,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3305,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3350,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -7
}
}
}
}
]
],
[
3370,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "FP",
"offset": -7
},
"b": {
"Immediate": "0x5"
}
}
}
}
}
]
],
[
3377,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
3381,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
3391,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3414,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -11
}
}
}
}
]
],
[
3421,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
3425,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
3435,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3443,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3464,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -12
}
}
}
}
]
],
[
3467,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3469,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3492,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -33
},
"b": {
"Immediate": "0xa"
}
}
}
}
}
]
],
[
3528,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3560,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3576,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3627,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -8
}
}
}
}
]
],
[
3647,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -4
}
}
}
}
]
],
[
3654,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
3658,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
3668,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3676,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3697,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -12
}
}
}
}
]
],
[
3700,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3702,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3725,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -33
},
"b": {
"Immediate": "0xa"
}
}
}
}
}
]
],
[
3761,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3793,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3828,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -7
}
}
}
}
]
],
[
3848,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -4
}
}
}
}
]
],
[
3855,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
3859,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
3869,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3877,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3897,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -12
}
}
}
}
]
],
[
3900,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3902,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3926,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -33
},
"b": {
"Immediate": "0xa"
}
}
}
}
}
]
],
[
3962,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
3994,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
4063,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
4067,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": 3
}
},
"scalar": {
"Immediate": "0x110000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -2
},
"y": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
4077,
[
{
"LinearSplit": {
"value": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"scalar": {
"Immediate": "0x8000000000000000000000000000000"
},
"max_x": {
"Immediate": "0xffffffffffffffffffffffffffffffff"
},
"x": {
"register": "AP",
"offset": -1
},
"y": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
4168,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -7
}
}
}
}
]
],
[
4183,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "FP",
"offset": -7
},
"b": {
"Immediate": "0x7"
}
}
}
}
}
]
],
[
4204,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -9
}
}
}
}
]
],
[
4224,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -2
}
}
}
}
]
],
[
4241,
[
{
"SystemCall": {
"system": {
"BinOp": {
"op": "Add",
"a": {
"register": "AP",
"offset": -9
},
"b": {
"Immediate": "0x5"
}
}
}
}
}
]
]
],
"pythonic_hints": [
[
0,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
17,
[
"memory[ap + 0] = segments.add()"
]
],
[
36,
[
"memory[ap + 0] = 5450 <= memory[ap + -7]"
]
],
[
60,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -5])"
]
],
[
67,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
71,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
81,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
89,
[
"memory[ap + 0] = segments.add()"
]
],
[
102,
[
"memory[ap + 0] = segments.add()"
]
],
[
130,
[
"memory[ap + 0] = segments.add()"
]
],
[
145,
[
"memory[ap + 0] = segments.add()"
]
],
[
160,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
177,
[
"memory[ap + 0] = segments.add()"
]
],
[
196,
[
"memory[ap + 0] = 3440 <= memory[ap + -7]"
]
],
[
220,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -5])"
]
],
[
223,
[
"memory[ap + 0] = segments.add()"
]
],
[
246,
[
"memory[ap + 0] = segments.add()"
]
],
[
261,
[
"memory[ap + 0] = segments.add()"
]
],
[
276,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
293,
[
"memory[ap + 0] = segments.add()"
]
],
[
312,
[
"memory[ap + 0] = 5450 <= memory[ap + -7]"
]
],
[
336,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -5])"
]
],
[
343,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
347,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
357,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
365,
[
"memory[ap + 0] = segments.add()"
]
],
[
378,
[
"memory[ap + 0] = segments.add()"
]
],
[
406,
[
"memory[ap + 0] = segments.add()"
]
],
[
421,
[
"memory[ap + 0] = segments.add()"
]
],
[
436,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
469,
[
"memory[ap + 4] = memory[ap + -1] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
473,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
483,
[
"\n(value, scalar) = (memory[ap + -2], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
498,
[
"memory[ap + 0] = segments.add()"
]
],
[
517,
[
"memory[ap + 0] = 30080 <= memory[ap + -18]"
]
],
[
538,
[
"memory[ap + 0] = segments.add()"
]
],
[
556,
[
"memory[ap + 0] = segments.add()"
]
],
[
578,
[
"memory[ap + 0] = segments.add()"
]
],
[
592,
[
"memory[ap + 0] = segments.add()"
]
],
[
607,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
640,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
642,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
679,
[
"memory[ap + -1] = memory[ap + 0] < 340282366920938463463374607431768211456"
]
],
[
703,
[
"memory[ap + -1] = memory[ap + 0] < 340282366920938463463374607431768211456"
]
],
[
728,
[
"memory[ap + 0] = segments.add()"
]
],
[
747,
[
"memory[ap + 0] = 32420 <= memory[ap + -31]"
]
],
[
768,
[
"memory[ap + 0] = segments.add()"
]
],
[
786,
[
"memory[ap + 0] = segments.add()"
]
],
[
804,
[
"memory[ap + 0] = segments.add()"
]
],
[
818,
[
"memory[ap + 0] = segments.add()"
]
],
[
833,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
866,
[
"memory[ap + 4] = memory[ap + -1] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
870,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
880,
[
"\n(value, scalar) = (memory[ap + -2], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
895,
[
"memory[ap + 0] = segments.add()"
]
],
[
914,
[
"memory[ap + 0] = 43660 <= memory[ap + -18]"
]
],
[
935,
[
"memory[ap + 0] = segments.add()"
]
],
[
953,
[
"memory[ap + 0] = segments.add()"
]
],
[
975,
[
"memory[ap + 0] = segments.add()"
]
],
[
989,
[
"memory[ap + 0] = segments.add()"
]
],
[
1004,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
1021,
[
"memory[ap + 0] = segments.add()"
]
],
[
1040,
[
"memory[ap + 0] = 41650 <= memory[ap + -7]"
]
],
[
1060,
[
"memory[ap + 0] = segments.add()"
]
],
[
1078,
[
"memory[ap + 0] = segments.add()"
]
],
[
1093,
[
"memory[ap + 0] = segments.add()"
]
],
[
1108,
[
"memory[ap + 0] = 1400 <= memory[fp + -6]"
]
],
[
1142,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1144,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1189,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1191,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1282,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1284,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1329,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1331,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1405,
[
"memory[ap + 0] = segments.add()"
]
],
[
1424,
[
"memory[ap + 0] = 62220 <= memory[ap + -59]"
]
],
[
1448,
[
"memory[ap + 0] = segments.add()"
]
],
[
1466,
[
"memory[ap + 0] = segments.add()"
]
],
[
1481,
[
"memory[ap + 0] = segments.add()"
]
],
[
1495,
[
"memory[ap + 0] = segments.add()"
]
],
[
1509,
[
"memory[ap + 0] = segments.add()"
]
],
[
1524,
[
"memory[ap + 0] = 2200 <= memory[fp + -6]"
]
],
[
1579,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1581,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1626,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1628,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1719,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1721,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1766,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
1768,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
1842,
[
"memory[ap + 0] = segments.add()"
]
],
[
1861,
[
"memory[ap + 0] = 50110 <= memory[ap + -64]"
]
],
[
1886,
[
"memory[ap + 0] = segments.add()"
]
],
[
1904,
[
"memory[ap + 0] = segments.add()"
]
],
[
1919,
[
"memory[ap + 0] = segments.add()"
]
],
[
1933,
[
"memory[ap + 0] = segments.add()"
]
],
[
1947,
[
"memory[ap + 0] = segments.add()"
]
],
[
1961,
[
"memory[ap + 0] = segments.add()"
]
],
[
1976,
[
"memory[ap + 0] = 0 <= memory[fp + -6]"
]
],
[
2052,
[
"memory[ap + 0] = (memory[ap + -1] + 0) % PRIME < 4294967296"
]
],
[
2056,
[
"\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"
]
],
[
2098,
[
"memory[ap + 0] = (memory[ap + -1] + 0) % PRIME < 4294967296"
]
],
[
2102,
[
"\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"
]
],
[
2127,
[
"memory[ap + 0] = segments.add()"
]
],
[
2146,
[
"memory[ap + 0] = 47230 <= memory[ap + -35]"
]
],
[
2170,
[
"memory[ap + 0] = segments.add()"
]
],
[
2188,
[
"memory[ap + 0] = segments.add()"
]
],
[
2210,
[
"memory[ap + 0] = segments.add()"
]
],
[
2231,
[
"memory[ap + 0] = segments.add()"
]
],
[
2245,
[
"memory[ap + 0] = segments.add()"
]
],
[
2259,
[
"memory[ap + 0] = segments.add()"
]
],
[
2273,
[
"memory[ap + 0] = segments.add()"
]
],
[
2288,
[
"memory[ap + 0] = 2910 <= memory[fp + -6]"
]
],
[
2321,
[
"memory[ap + 4] = memory[ap + -1] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
2325,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
2335,
[
"\n(value, scalar) = (memory[ap + -2], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
2366,
[
"memory[ap + 0] = memory[ap + -1] < 340282366920938463463374607431768211456"
]
],
[
2368,
[
"(memory[ap + 3], memory[ap + 4]) = divmod(memory[ap + -2], 340282366920938463463374607431768211456)"
]
],
[
2405,
[
"memory[ap + -1] = memory[ap + 0] < 340282366920938463463374607431768211456"
]
],
[
2429,
[
"memory[ap + -1] = memory[ap + 0] < 340282366920938463463374607431768211456"
]
],
[
2460,
[
"memory[ap + 0] = segments.add()"
]
],
[
2479,
[
"memory[ap + 0] = 45300 <= memory[ap + -72]"
]
],
[
2503,
[
"memory[ap + 0] = segments.add()"
]
],
[
2521,
[
"memory[ap + 0] = segments.add()"
]
],
[
2536,
[
"memory[ap + 0] = segments.add()"
]
],
[
2553,
[
"memory[ap + 0] = segments.add()"
]
],
[
2574,
[
"memory[ap + 0] = segments.add()"
]
],
[
2588,
[
"memory[ap + 0] = segments.add()"
]
],
[
2607,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -4])"
]
],
[
2627,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -4] + 5)"
]
],
[
2634,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
2638,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
2648,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
2674,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -13])"
]
],
[
2699,
[
"memory[ap + 0] = segments.add()"
]
],
[
2713,
[
"memory[ap + 0] = segments.add()"
]
],
[
2758,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -4])"
]
],
[
2778,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -4] + 5)"
]
],
[
2785,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
2789,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
2799,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
2825,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -13])"
]
],
[
2850,
[
"memory[ap + 0] = segments.add()"
]
],
[
2864,
[
"memory[ap + 0] = segments.add()"
]
],
[
2909,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -4])"
]
],
[
2929,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -4] + 5)"
]
],
[
2936,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
2940,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
2950,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
2974,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -11])"
]
],
[
2982,
[
"memory[ap + 0] = segments.add()"
]
],
[
2984,
[
"memory[ap + 0] = segments.add()"
]
],
[
3009,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -20])"
]
],
[
3032,
[
"memory[ap + 0] = segments.add()"
]
],
[
3034,
[
"memory[ap + 0] = segments.add()"
]
],
[
3058,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -20])"
]
],
[
3094,
[
"memory[ap + 0] = segments.add()"
]
],
[
3110,
[
"memory[ap + 0] = segments.add()"
]
],
[
3155,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -3])"
]
],
[
3175,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -3] + 5)"
]
],
[
3182,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
3186,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
3196,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
3222,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -12])"
]
],
[
3225,
[
"memory[ap + 0] = segments.add()"
]
],
[
3227,
[
"memory[ap + 0] = segments.add()"
]
],
[
3253,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -33] + 7)"
]
],
[
3289,
[
"memory[ap + 0] = segments.add()"
]
],
[
3305,
[
"memory[ap + 0] = segments.add()"
]
],
[
3350,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -7])"
]
],
[
3370,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -7] + 5)"
]
],
[
3377,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
3381,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
3391,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
3414,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -11])"
]
],
[
3421,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
3425,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
3435,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
3443,
[
"memory[ap + 0] = segments.add()"
]
],
[
3464,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -12])"
]
],
[
3467,
[
"memory[ap + 0] = segments.add()"
]
],
[
3469,
[
"memory[ap + 0] = segments.add()"
]
],
[
3492,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -33] + 10)"
]
],
[
3528,
[
"memory[ap + 0] = segments.add()"
]
],
[
3560,
[
"memory[ap + 0] = segments.add()"
]
],
[
3576,
[
"memory[ap + 0] = segments.add()"
]
],
[
3627,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -8])"
]
],
[
3647,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -4])"
]
],
[
3654,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
3658,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
3668,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
3676,
[
"memory[ap + 0] = segments.add()"
]
],
[
3697,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -12])"
]
],
[
3700,
[
"memory[ap + 0] = segments.add()"
]
],
[
3702,
[
"memory[ap + 0] = segments.add()"
]
],
[
3725,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -33] + 10)"
]
],
[
3761,
[
"memory[ap + 0] = segments.add()"
]
],
[
3793,
[
"memory[ap + 0] = segments.add()"
]
],
[
3828,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -7])"
]
],
[
3848,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -4])"
]
],
[
3855,
[
"memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
3859,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
3869,
[
"\n(value, scalar) = (memory[ap + -4], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
3877,
[
"memory[ap + 0] = segments.add()"
]
],
[
3897,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -12])"
]
],
[
3900,
[
"memory[ap + 0] = segments.add()"
]
],
[
3902,
[
"memory[ap + 0] = segments.add()"
]
],
[
3926,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -33] + 10)"
]
],
[
3962,
[
"memory[ap + 0] = segments.add()"
]
],
[
3994,
[
"memory[ap + 0] = segments.add()"
]
],
[
4063,
[
"memory[ap + 4] = memory[ap + -1] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
]
],
[
4067,
[
"\n(value, scalar) = (memory[ap + 3], 313594649253062377472)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -2] = x\nmemory[ap + -1] = y\n"
]
],
[
4077,
[
"\n(value, scalar) = (memory[ap + -2], 10633823966279326983230456482242756608)\nx = min(value // scalar, 340282366920938463463374607431768211455)\ny = value - x * scalar\nmemory[ap + -1] = x\nmemory[ap + 0] = y\n"
]
],
[
4168,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -7])"
]
],
[
4183,
[
"syscall_handler.syscall(syscall_ptr=memory[fp + -7] + 7)"
]
],
[
4204,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -9])"
]
],
[
4224,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -2])"
]
],
[
4241,
[
"syscall_handler.syscall(syscall_ptr=memory[ap + -9] + 5)"
]
]
],
"entry_points_by_type": {
"EXTERNAL": [
{
"selector": "0x52580a92c73f4428f1a260c5d768ef462b25955307de00f99957df119865d",
"offset": 1004,
"builtins": [
"range_check"
]
},
{
"selector": "0x83129ed6817c2d2c3418f863f3f51b525ced477b76e963c0482f6bf9c6882",
"offset": 1108,
"builtins": [
"range_check"
]
},
{
"selector": "0x3c082318598bd898fc547007383e80d27b1b1b10b591158d1330633aba3d31",
"offset": 436,
"builtins": [
"range_check"
]
},
{
"selector": "0x2a3bb1eaa05b77c4b0eeee0116a3177c6d62319dd7149ae148185d9e09de74a",
"offset": 833,
"builtins": [
"range_check"
]
},
{
"selector": "0x38868c238a6182143202b328cb9b3806a429685f5928a08a82930c52f7db79f",
"offset": 0,
"builtins": [
"range_check"
]
},
{
"selector": "0x3935fadc071090d4e5003fee4977b56d781b8d0a598fe3e856302bfc6f7dd53",
"offset": 160,
"builtins": [
"range_check"
]
},
{
"selector": "0x39d7a0ca906a0e5342b09b0618c7f215b214afe0d3961f82f80eda52efccdf2",
"offset": 607,
"builtins": [
"range_check"
]
},
{
"selector": "0x3ee0bfaf5b124501fef19bbd1312e71f6966d186c42eeb91d1bff729b91d1d4",
"offset": 276,
"builtins": [
"range_check"
]
}
],
"L1_HANDLER": [
{
"selector": "0x36c76e67f1d589956059cbd9e734d42182d1f8a57d5876390bb0fcfe1090bb4",
"offset": 1976,
"builtins": [
"range_check"
]
},
{
"selector": "0x3fa70707d0e831418fb142ca8fb7483611b84e89c0c42bf1fc2a7a5c40890ad",
"offset": 1524,
"builtins": [
"range_check"
]
}
],
"CONSTRUCTOR": [
{
"selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194",
"offset": 2288,
"builtins": [
"range_check"
]
}
]
}
}