hdp_input.json

{
  "params": [],
  "compiled_class": {
    "prime": "0x800000000000011000000000000000000000000000000000000000000000001",
    "compiler_version": "2.9.2",
    "bytecode": [
      "0xa0680017fff8000",
      "0x7",
      "0x482680017ffa8000",
      "0x100000000000000000000000000000000",
      "0x400280007ff97fff",
      "0x10780017fff7fff",
      "0xa7",
      "0x4825800180007ffa",
      "0x0",
      "0x400280007ff97fff",
      "0x482680017ff98000",
      "0x1",
      "0x48297ffc80007ffd",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0x8d",
      "0x482680017ffc8000",
      "0x1",
      "0x480a7ffd7fff8000",
      "0x480280007ffc8000",
      "0x48307ffd80007ffe",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0x80",
      "0x482480017ffc8000",
      "0x1",
      "0x48127ffc7fff8000",
      "0x480080007ffa8000",
      "0x48307ffd80007ffe",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0x18",
      "0x482480017ffc8000",
      "0x1",
      "0x48127ffc7fff8000",
      "0x480080007ffa8000",
      "0x48307ffd80007ffe",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0xb",
      "0x482480017ffc8000",
      "0x1",
      "0x48127ffc7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ffb7fff8000",
      "0x480080007ff88000",
      "0x10780017fff7fff",
      "0x10",
      "0x48127ffc7fff8000",
      "0x48127ffc7fff8000",
      "0x10780017fff7fff",
      "0x6",
      "0x40780017fff7fff",
      "0x4",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x20680017fff7ffd",
      "0x53",
      "0x48307ffb80007ffc",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0x10",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
      "0x400080007ffe7fff",
      "0x48127fea7fff8000",
      "0x48127fe87fff8000",
      "0x480a7ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x1104800180018000",
      "0x31f",
      "0x482480017fff8000",
      "0x31e",
      "0x480080007fff8000",
      "0xa0680017fff8000",
      "0x9",
      "0x4824800180007fe6",
      "0xcc1a",
      "0x482480017fff8000",
      "0x100000000000000000000000000000000",
      "0x400080007fe57fff",
      "0x10780017fff7fff",
      "0x23",
      "0x4824800180007fe6",
      "0xcc1a",
      "0x400080007fe67fff",
      "0x482480017fe68000",
      "0x1",
      "0x48127ffe7fff8000",
      "0x480a7ffb7fff8000",
      "0x48127fe77fff8000",
      "0x48127fea7fff8000",
      "0x48127ff27fff8000",
      "0x48127ff27fff8000",
      "0x1104800180018000",
      "0x4a",
      "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",
      "0x482480017fe38000",
      "0x1",
      "0x48127fe17fff8000",
      "0x480a7ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x10780017fff7fff",
      "0x8",
      "0x40780017fff7fff",
      "0xd",
      "0x10780017fff7fff",
      "0x4",
      "0x40780017fff7fff",
      "0x11",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4661696c656420746f20646573657269616c697a6520706172616d202331",
      "0x400080007ffe7fff",
      "0x48127feb7fff8000",
      "0x48127fe97fff8000",
      "0x480a7ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7574206f6620676173",
      "0x400080007ffe7fff",
      "0x482680017ff98000",
      "0x1",
      "0x480a7ffa7fff8000",
      "0x480a7ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x8",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x2",
      "0x400080007ffe7fff",
      "0x480680017fff8000",
      "0x3",
      "0x400080017ffd7fff",
      "0x480680017fff8000",
      "0x4",
      "0x400080027ffc7fff",
      "0x480680017fff8000",
      "0x5",
      "0x400080037ffb7fff",
      "0x480680017fff8000",
      "0x6",
      "0x400080047ffa7fff",
      "0x40780017fff7fff",
      "0x1",
      "0x400780017fff8005",
      "0x1",
      "0x40137ff97fff8006",
      "0x402580017ff98007",
      "0x5",
      "0x400180007fff8005",
      "0x4829800680008007",
      "0x400080017ffe7fff",
      "0x480a7ff77fff8000",
      "0x480a7ff87fff8000",
      "0x480a80067fff8000",
      "0x480a80077fff8000",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x2",
      "0x1104800180018000",
      "0xd1",
      "0x20680017fff7ffd",
      "0xc7",
      "0x480680017fff8000",
      "0x6465627567",
      "0xa0680017fff8004",
      "0xe",
      "0x4824800180047ffe",
      "0x800000000000000000000000000000000000000000000000000000000000000",
      "0x484480017ffe8000",
      "0x110000000000000000",
      "0x48307ffe7fff8002",
      "0x480080007ff67ffc",
      "0x480080017ff57ffc",
      "0x402480017ffb7ffd",
      "0xffffffffffffffeeffffffffffffffff",
      "0x400080027ff47ffd",
      "0x10780017fff7fff",
      "0xa3",
      "0x484480017fff8001",
      "0x8000000000000000000000000000000",
      "0x48307fff80007ffd",
      "0x480080007ff77ffd",
      "0x480080017ff67ffd",
      "0x402480017ffc7ffe",
      "0xf8000000000000000000000000000000",
      "0x400080027ff57ffe",
      "0x480680017fff8000",
      "0x1",
      "0x482480017ff48000",
      "0x3",
      "0x480680017fff8000",
      "0x43616c6c436f6e7472616374",
      "0x400280007ff97fff",
      "0x400280017ff97ff3",
      "0x400280027ff97ff7",
      "0x400280037ff97ffd",
      "0x400280047ff97ff5",
      "0x400280057ff97ff6",
      "0x480280077ff98000",
      "0x20680017fff7fff",
      "0x84",
      "0x48127ffd7fff8000",
      "0x480280067ff98000",
      "0x482680017ff98000",
      "0xa",
      "0x480a80057fff8000",
      "0x480a80067fff8000",
      "0x480a80077fff8000",
      "0x1104800180018000",
      "0xd2",
      "0x40137ffa7fff8000",
      "0x20680017fff7ffb",
      "0x70",
      "0x40780017fff7fff",
      "0x1",
      "0x40137ffb7fff8001",
      "0x40137ffc7fff8002",
      "0x40137ffd7fff8003",
      "0x40137ffe7fff8004",
      "0x400180007fff8001",
      "0x4829800280008003",
      "0x400080017ffe7fff",
      "0x48127ff67fff8000",
      "0x48127ff67fff8000",
      "0x480a80027fff8000",
      "0x480a80037fff8000",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x2",
      "0x1104800180018000",
      "0x8a",
      "0x20680017fff7ffd",
      "0x54",
      "0x400180007fff8004",
      "0x480680017fff8000",
      "0x6465627567",
      "0x48127ffd7fff8000",
      "0x482480017ffd8000",
      "0x1",
      "0xa0680017fff8004",
      "0xe",
      "0x4824800180047ffc",
      "0x800000000000000000000000000000000000000000000000000000000000000",
      "0x484480017ffe8000",
      "0x110000000000000000",
      "0x48307ffe7fff8002",
      "0x480080007ff47ffc",
      "0x480080017ff37ffc",
      "0x402480017ffb7ffd",
      "0xffffffffffffffeeffffffffffffffff",
      "0x400080027ff27ffd",
      "0x10780017fff7fff",
      "0x2c",
      "0x484480017fff8001",
      "0x8000000000000000000000000000000",
      "0x48307fff80007ffb",
      "0x480080007ff57ffd",
      "0x480080017ff47ffd",
      "0x402480017ffc7ffe",
      "0xf8000000000000000000000000000000",
      "0x400080027ff37ffe",
      "0x480680017fff8000",
      "0x1",
      "0x482480017ff28000",
      "0x3",
      "0x480680017fff8000",
      "0x43616c6c436f6e7472616374",
      "0x4002800080007fff",
      "0x4002800180007ff1",
      "0x4002800280007ff5",
      "0x4002800380007ffd",
      "0x4002800480007ff6",
      "0x4002800580007ff7",
      "0x4802800780008000",
      "0x20680017fff7fff",
      "0xd",
      "0x48127ffd7fff8000",
      "0x4802800680008000",
      "0x4826800180008000",
      "0xa",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x208b7fff7fff7ffe",
      "0x48127ffd7fff8000",
      "0x4802800680008000",
      "0x4826800180008000",
      "0xa",
      "0x4802800880008000",
      "0x4802800980008000",
      "0x10780017fff7fff",
      "0xe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7074696f6e3a3a756e77726170206661696c65642e",
      "0x400080007ffe7fff",
      "0x482480017ff08000",
      "0x3",
      "0x48127ff07fff8000",
      "0x480a80007fff8000",
      "0x48127ffb7fff8000",
      "0x482480017ffa8000",
      "0x1",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x208b7fff7fff7ffe",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x480a80007fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x208b7fff7fff7ffe",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x480a80007fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x208b7fff7fff7ffe",
      "0x48127ffd7fff8000",
      "0x480280067ff98000",
      "0x482680017ff98000",
      "0xa",
      "0x480280087ff98000",
      "0x480280097ff98000",
      "0x10780017fff7fff",
      "0xe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7074696f6e3a3a756e77726170206661696c65642e",
      "0x400080007ffe7fff",
      "0x482480017ff28000",
      "0x3",
      "0x48127ff27fff8000",
      "0x480a7ff97fff8000",
      "0x48127ffb7fff8000",
      "0x482480017ffa8000",
      "0x1",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x208b7fff7fff7ffe",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x480a7ff97fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x208b7fff7fff7ffe",
      "0xa0680017fff8000",
      "0x7",
      "0x482680017ff98000",
      "0xfffffffffffffffffffffffffffff97a",
      "0x400280007ff87fff",
      "0x10780017fff7fff",
      "0x20",
      "0x4825800180007ff9",
      "0x686",
      "0x400280007ff87fff",
      "0x482680017ff88000",
      "0x1",
      "0x48297ffa80007ffb",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0xf",
      "0x480280007ffa8000",
      "0x400280007ffd7fff",
      "0x48127ffd7fff8000",
      "0x48127ffb7fff8000",
      "0x482680017ffa8000",
      "0x1",
      "0x480a7ffb7fff8000",
      "0x480a7ffc7fff8000",
      "0x482680017ffd8000",
      "0x1",
      "0x1104800180018000",
      "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe6",
      "0x208b7fff7fff7ffe",
      "0x48127ffe7fff8000",
      "0x48127ffc7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480a7ffc7fff8000",
      "0x480a7ffd7fff8000",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7574206f6620676173",
      "0x400080007ffe7fff",
      "0x482680017ff88000",
      "0x1",
      "0x480a7ff97fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x48127ffb7fff8000",
      "0x482480017ffa8000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x40780017fff7fff",
      "0x1",
      "0x400180007fff7ffb",
      "0x48297ffc80007ffd",
      "0x400080017ffe7fff",
      "0x480a7ff87fff8000",
      "0x480a7ff97fff8000",
      "0x480a7ffc7fff8000",
      "0x480a7ffd7fff8000",
      "0x48127ffa7fff8000",
      "0x482480017ff98000",
      "0x2",
      "0x1104800180018000",
      "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc0",
      "0x20680017fff7ffd",
      "0x7d",
      "0x480680017fff8000",
      "0x6172626974726172795f74797065",
      "0xa0680017fff8004",
      "0xe",
      "0x4824800180047ffe",
      "0x800000000000000000000000000000000000000000000000000000000000000",
      "0x484480017ffe8000",
      "0x110000000000000000",
      "0x48307ffe7fff8002",
      "0x480080007ff67ffc",
      "0x480080017ff57ffc",
      "0x402480017ffb7ffd",
      "0xffffffffffffffeeffffffffffffffff",
      "0x400080027ff47ffd",
      "0x10780017fff7fff",
      "0x5a",
      "0x484480017fff8001",
      "0x8000000000000000000000000000000",
      "0x48307fff80007ffd",
      "0x480080007ff77ffd",
      "0x480080017ff67ffd",
      "0x402480017ffc7ffe",
      "0xf8000000000000000000000000000000",
      "0x400080027ff57ffe",
      "0x480680017fff8000",
      "0x0",
      "0x482480017ff48000",
      "0x3",
      "0x480680017fff8000",
      "0x43616c6c436f6e7472616374",
      "0x400280007ffa7fff",
      "0x400280017ffa7ff3",
      "0x400280027ffa7ff7",
      "0x400280037ffa7ffd",
      "0x400280047ffa7ff5",
      "0x400280057ffa7ff6",
      "0x480280077ffa8000",
      "0x20680017fff7fff",
      "0x36",
      "0x48127ffd7fff8000",
      "0x480280067ffa8000",
      "0x480280087ffa8000",
      "0x480280097ffa8000",
      "0x402780017ffa8000",
      "0xa",
      "0x1104800180018000",
      "0x5a",
      "0x20680017fff7ff8",
      "0x20",
      "0x20680017fff7ffb",
      "0xc",
      "0x48127ff67fff8000",
      "0x48127ff67fff8000",
      "0x480a80007fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7074696f6e3a3a756e77726170206661696c65642e",
      "0x400080007ffe7fff",
      "0x48127ff47fff8000",
      "0x48127ff47fff8000",
      "0x480a80007fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff87fff8000",
      "0x482480017ff78000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x48127ff67fff8000",
      "0x48127ff67fff8000",
      "0x480a80007fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x208b7fff7fff7ffe",
      "0x48127ffd7fff8000",
      "0x480280067ffa8000",
      "0x482680017ffa8000",
      "0xa",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480280087ffa8000",
      "0x480280097ffa8000",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7074696f6e3a3a756e77726170206661696c65642e",
      "0x400080007ffe7fff",
      "0x482480017ff28000",
      "0x3",
      "0x48127ff27fff8000",
      "0x480a7ffa7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff87fff8000",
      "0x482480017ff78000",
      "0x1",
      "0x208b7fff7fff7ffe",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x480a7ffa7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x48297ffc80007ffd",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0x89",
      "0x400380007ffc8000",
      "0x482680017ffc8000",
      "0x1",
      "0x480a7ffd7fff8000",
      "0x48307ffe80007fff",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0xa",
      "0x482480017ffd8000",
      "0x1",
      "0x48127ffd7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ffa7fff8000",
      "0x10780017fff7fff",
      "0x8",
      "0x48127ffd7fff8000",
      "0x48127ffd7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x20680017fff7ffe",
      "0x5b",
      "0x40780017fff7fff",
      "0x1",
      "0x480a7ffa7fff8000",
      "0x480a7ffb7fff8000",
      "0x48127ff97fff8000",
      "0x48127ff97fff8000",
      "0x48127ffb7fff8000",
      "0x48127ffa7fff8000",
      "0x480080007ff88000",
      "0x1104800180018000",
      "0x76",
      "0x20680017fff7ffa",
      "0x3d",
      "0x20680017fff7ffd",
      "0x35",
      "0x48307ffb80007ffc",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0xa",
      "0x482480017ffa8000",
      "0x1",
      "0x48127ffa7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480080007ff78000",
      "0x10780017fff7fff",
      "0x8",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x20680017fff7ffe",
      "0xf",
      "0x48127ff37fff8000",
      "0x48127ff37fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff97fff8000",
      "0x48127ff97fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480a80007fff8000",
      "0x48127ff27fff8000",
      "0x48127ff27fff8000",
      "0x48127ff67fff8000",
      "0x208b7fff7fff7ffe",
      "0x48127ff37fff8000",
      "0x48127ff37fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff97fff8000",
      "0x48127ff97fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x208b7fff7fff7ffe",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x48127ff97fff8000",
      "0x48127ff97fff8000",
      "0x10780017fff7fff",
      "0x17",
      "0x48127ff87fff8000",
      "0x48127ff87fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff67fff8000",
      "0x48127ff67fff8000",
      "0x208b7fff7fff7ffe",
      "0x480a7ffa7fff8000",
      "0x480a7ffb7fff8000",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x48127ffc7fff8000",
      "0x48127ffc7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ffb7fff8000",
      "0x48127ffb7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x208b7fff7fff7ffe",
      "0x480a7ffa7fff8000",
      "0x480a7ffb7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480a7ffc7fff8000",
      "0x480a7ffd7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x208b7fff7fff7ffe",
      "0xa0680017fff8000",
      "0x7",
      "0x482680017ff88000",
      "0xfffffffffffffffffffffffffffff6be",
      "0x400280007ff77fff",
      "0x10780017fff7fff",
      "0x43",
      "0x4825800180007ff8",
      "0x942",
      "0x400280007ff77fff",
      "0x482680017ff78000",
      "0x1",
      "0x20780017fff7ffd",
      "0xd",
      "0x48127fff7fff8000",
      "0x48127ffd7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480a7ff97fff8000",
      "0x480a7ffa7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480a7ffb7fff8000",
      "0x480a7ffc7fff8000",
      "0x208b7fff7fff7ffe",
      "0x48297ff980007ffa",
      "0x20680017fff7fff",
      "0x4",
      "0x10780017fff7fff",
      "0xa",
      "0x482680017ff98000",
      "0x1",
      "0x480a7ffa7fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x480280007ff98000",
      "0x10780017fff7fff",
      "0x8",
      "0x480a7ff97fff8000",
      "0x480a7ffa7fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x20680017fff7ffe",
      "0xf",
      "0x400280007ffc7fff",
      "0x48127ffa7fff8000",
      "0x48127ff87fff8000",
      "0x48127ffa7fff8000",
      "0x48127ffa7fff8000",
      "0x480a7ffb7fff8000",
      "0x482680017ffc8000",
      "0x1",
      "0x4825800180007ffd",
      "0x1",
      "0x1104800180018000",
      "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc9",
      "0x208b7fff7fff7ffe",
      "0x48127ffa7fff8000",
      "0x48127ff87fff8000",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff97fff8000",
      "0x48127ff97fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x208b7fff7fff7ffe",
      "0x40780017fff7fff",
      "0x1",
      "0x480680017fff8000",
      "0x4f7574206f6620676173",
      "0x400080007ffe7fff",
      "0x482680017ff78000",
      "0x1",
      "0x480a7ff87fff8000",
      "0x480680017fff8000",
      "0x1",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x480680017fff8000",
      "0x0",
      "0x48127ff87fff8000",
      "0x482480017ff78000",
      "0x1",
      "0x208b7fff7fff7ffe"
    ],
    "bytecode_segment_lengths": [
      187,
      245,
      51,
      153,
      159,
      92
    ],
    "hints": [
      [
        0,
        [
          {
            "TestLessThanOrEqual": {
              "lhs": {
                "Immediate": "0x0"
              },
              "rhs": {
                "Deref": {
                  "register": "FP",
                  "offset": -6
                }
              },
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        74,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        93,
        [
          {
            "TestLessThanOrEqual": {
              "lhs": {
                "Immediate": "0xcc1a"
              },
              "rhs": {
                "Deref": {
                  "register": "AP",
                  "offset": -25
                }
              },
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        117,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        135,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        158,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        172,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        189,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        206,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        229,
        [
          {
            "TestLessThan": {
              "lhs": {
                "Deref": {
                  "register": "AP",
                  "offset": -1
                }
              },
              "rhs": {
                "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
              },
              "dst": {
                "register": "AP",
                "offset": 4
              }
            }
          }
        ]
      ],
      [
        233,
        [
          {
            "LinearSplit": {
              "value": {
                "Deref": {
                  "register": "AP",
                  "offset": 3
                }
              },
              "scalar": {
                "Immediate": "0x110000000000000000"
              },
              "max_x": {
                "Immediate": "0xffffffffffffffffffffffffffffffff"
              },
              "x": {
                "register": "AP",
                "offset": -2
              },
              "y": {
                "register": "AP",
                "offset": -1
              }
            }
          }
        ]
      ],
      [
        243,
        [
          {
            "LinearSplit": {
              "value": {
                "Deref": {
                  "register": "AP",
                  "offset": -2
                }
              },
              "scalar": {
                "Immediate": "0x8000000000000000000000000000000"
              },
              "max_x": {
                "Immediate": "0xffffffffffffffffffffffffffffffff"
              },
              "x": {
                "register": "AP",
                "offset": -1
              },
              "y": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        263,
        [
          {
            "SystemCall": {
              "system": {
                "Deref": {
                  "register": "FP",
                  "offset": -7
                }
              }
            }
          }
        ]
      ],
      [
        278,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        304,
        [
          {
            "TestLessThan": {
              "lhs": {
                "Deref": {
                  "register": "AP",
                  "offset": -3
                }
              },
              "rhs": {
                "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
              },
              "dst": {
                "register": "AP",
                "offset": 4
              }
            }
          }
        ]
      ],
      [
        308,
        [
          {
            "LinearSplit": {
              "value": {
                "Deref": {
                  "register": "AP",
                  "offset": 3
                }
              },
              "scalar": {
                "Immediate": "0x110000000000000000"
              },
              "max_x": {
                "Immediate": "0xffffffffffffffffffffffffffffffff"
              },
              "x": {
                "register": "AP",
                "offset": -2
              },
              "y": {
                "register": "AP",
                "offset": -1
              }
            }
          }
        ]
      ],
      [
        318,
        [
          {
            "LinearSplit": {
              "value": {
                "Deref": {
                  "register": "AP",
                  "offset": -4
                }
              },
              "scalar": {
                "Immediate": "0x8000000000000000000000000000000"
              },
              "max_x": {
                "Immediate": "0xffffffffffffffffffffffffffffffff"
              },
              "x": {
                "register": "AP",
                "offset": -1
              },
              "y": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        338,
        [
          {
            "SystemCall": {
              "system": {
                "Deref": {
                  "register": "FP",
                  "offset": 0
                }
              }
            }
          }
        ]
      ],
      [
        360,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        404,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        432,
        [
          {
            "TestLessThanOrEqual": {
              "lhs": {
                "Immediate": "0x686"
              },
              "rhs": {
                "Deref": {
                  "register": "FP",
                  "offset": -7
                }
              },
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        469,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        485,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        503,
        [
          {
            "TestLessThan": {
              "lhs": {
                "Deref": {
                  "register": "AP",
                  "offset": -1
                }
              },
              "rhs": {
                "Immediate": "0x800000000000000000000000000000000000000000000000000000000000000"
              },
              "dst": {
                "register": "AP",
                "offset": 4
              }
            }
          }
        ]
      ],
      [
        507,
        [
          {
            "LinearSplit": {
              "value": {
                "Deref": {
                  "register": "AP",
                  "offset": 3
                }
              },
              "scalar": {
                "Immediate": "0x110000000000000000"
              },
              "max_x": {
                "Immediate": "0xffffffffffffffffffffffffffffffff"
              },
              "x": {
                "register": "AP",
                "offset": -2
              },
              "y": {
                "register": "AP",
                "offset": -1
              }
            }
          }
        ]
      ],
      [
        517,
        [
          {
            "LinearSplit": {
              "value": {
                "Deref": {
                  "register": "AP",
                  "offset": -2
                }
              },
              "scalar": {
                "Immediate": "0x8000000000000000000000000000000"
              },
              "max_x": {
                "Immediate": "0xffffffffffffffffffffffffffffffff"
              },
              "x": {
                "register": "AP",
                "offset": -1
              },
              "y": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        537,
        [
          {
            "SystemCall": {
              "system": {
                "Deref": {
                  "register": "FP",
                  "offset": -6
                }
              }
            }
          }
        ]
      ],
      [
        562,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        605,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        668,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        795,
        [
          {
            "TestLessThanOrEqual": {
              "lhs": {
                "Immediate": "0x942"
              },
              "rhs": {
                "Deref": {
                  "register": "FP",
                  "offset": -8
                }
              },
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ],
      [
        867,
        [
          {
            "AllocSegment": {
              "dst": {
                "register": "AP",
                "offset": 0
              }
            }
          }
        ]
      ]
    ],
    "pythonic_hints": [
      [
        0,
        [
          "memory[ap + 0] = 0 <= memory[fp + -6]"
        ]
      ],
      [
        74,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        93,
        [
          "memory[ap + 0] = 52250 <= memory[ap + -25]"
        ]
      ],
      [
        117,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        135,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        158,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        172,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        189,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        206,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        229,
        [
          "memory[ap + 4] = memory[ap + -1] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
        ]
      ],
      [
        233,
        [
          "\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"
        ]
      ],
      [
        243,
        [
          "\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"
        ]
      ],
      [
        263,
        [
          "syscall_handler.syscall(syscall_ptr=memory[fp + -7])"
        ]
      ],
      [
        278,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        304,
        [
          "memory[ap + 4] = memory[ap + -3] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
        ]
      ],
      [
        308,
        [
          "\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"
        ]
      ],
      [
        318,
        [
          "\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"
        ]
      ],
      [
        338,
        [
          "syscall_handler.syscall(syscall_ptr=memory[fp + 0])"
        ]
      ],
      [
        360,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        404,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        432,
        [
          "memory[ap + 0] = 1670 <= memory[fp + -7]"
        ]
      ],
      [
        469,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        485,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        503,
        [
          "memory[ap + 4] = memory[ap + -1] < 3618502788666131106986593281521497120414687020801267626233049500247285301248"
        ]
      ],
      [
        507,
        [
          "\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"
        ]
      ],
      [
        517,
        [
          "\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"
        ]
      ],
      [
        537,
        [
          "syscall_handler.syscall(syscall_ptr=memory[fp + -6])"
        ]
      ],
      [
        562,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        605,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        668,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ],
      [
        795,
        [
          "memory[ap + 0] = 2370 <= memory[fp + -8]"
        ]
      ],
      [
        867,
        [
          "memory[ap + 0] = segments.add()"
        ]
      ]
    ],
    "entry_points_by_type": {
      "EXTERNAL": [
        {
          "selector": "0xe2054f8a912367e38a22ce773328ff8aabf8082c4120bad9ef085e1dbf29a7",
          "offset": 0,
          "builtins": [
            "range_check"
          ]
        }
      ],
      "L1_HANDLER": [],
      "CONSTRUCTOR": []
    }
  }
}