Skip to content

Instantly share code, notes, and snippets.

@erikside
Created June 2, 2024 06:22
Show Gist options
  • Select an option

  • Save erikside/e2743bb24335acd6f5e91b580fafedcf to your computer and use it in GitHub Desktop.

Select an option

Save erikside/e2743bb24335acd6f5e91b580fafedcf to your computer and use it in GitHub Desktop.
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.8.25+commit.b61c2a91.js&optimize=false&runs=200&gist=

starknet_multiple_contracts

This example showcases how to write multiple Starknet contracts within a single Scarb package.

# Code generated by scarb DO NOT EDIT.
version = 1
[[package]]
name = "starknet_multiple_contracts"
version = "0.1.0"
[package]
name = "starknet_multiple_contracts"
version = "0.1.0"
# See more keys and their definitions at https://docs.swmansion.com/scarb/docs/reference/manifest.html
[dependencies]
starknet = "2.6.0"
[[target.starknet-contract]]
casm = true
{
"prime": "0x800000000000011000000000000000000000000000000000000000000000001",
"compiler_version": "2.6.3",
"bytecode": [
"0xa0680017fff8000",
"0x7",
"0x482680017ffa8000",
"0x100000000000000000000000000000000",
"0x400280007ff97fff",
"0x10780017fff7fff",
"0x8d",
"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",
"0x26b",
"0x482480017fff8000",
"0x26a",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff8",
"0x1612",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x58",
"0x4824800180007ff8",
"0x1612",
"0x400080007ff87fff",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85",
"0x482480017ff68000",
"0x1",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ffb7fff",
"0x400280017ffb7ffb",
"0x400280027ffb7ffc",
"0x400280037ffb7ffd",
"0x480280057ffb8000",
"0x20680017fff7fff",
"0x38",
"0x480280067ffb8000",
"0x480280047ffb8000",
"0x482680017ffb8000",
"0x7",
"0xa0680017fff8000",
"0x16",
"0x480080007ff98003",
"0x480080017ff88003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ff9",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff47ffd",
"0x20680017fff7ffe",
"0x12",
"0x402780017fff7fff",
"0x1",
"0x400080007ff97ffc",
"0x40780017fff7fff",
"0x1",
"0x400080007fff7ffb",
"0x482480017ff88000",
"0x1",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x53746f726555313238202d206e6f6e2075313238",
"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",
"0x99",
"0x4825800180007ffa",
"0x0",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482680017ffc8000",
"0x1",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x0",
"0x480a7ffc7fff8000",
"0x10780017fff7fff",
"0x8",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x6e",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x55",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x482480017ff88000",
"0x1",
"0x48307ff980007ffa",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127ff27fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0x19b",
"0x482480017fff8000",
"0x19a",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff0",
"0x45ec",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x20",
"0x4824800180007ff0",
"0x45ec",
"0x400080007ff87fff",
"0x482480017ff88000",
"0x1",
"0x48127ffe7fff8000",
"0x480a7ffb7fff8000",
"0x48127ff37fff8000",
"0x1104800180018000",
"0xff",
"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",
"0x48127feb7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x482480017ff38000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x7",
"0x48127ff37fff8000",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202331",
"0x400080007ffe7fff",
"0x48127ffd7fff8000",
"0x48127fee7fff8000",
"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",
"0xa2",
"0x4825800180007ffa",
"0x0",
"0x400280007ff97fff",
"0x482680017ff98000",
"0x1",
"0x48297ffc80007ffd",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0xa",
"0x482680017ffc8000",
"0x1",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x0",
"0x480a7ffc7fff8000",
"0x10780017fff7fff",
"0x8",
"0x480a7ffc7fff8000",
"0x480a7ffd7fff8000",
"0x480680017fff8000",
"0x1",
"0x480680017fff8000",
"0x0",
"0x20680017fff7ffe",
"0x77",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x16",
"0x480080007ff88003",
"0x480080017ff78003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ffb",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400080027ff37ffd",
"0x20680017fff7ffe",
"0x5e",
"0x402780017fff7fff",
"0x1",
"0x400080007ff87ffe",
"0x482480017ff88000",
"0x1",
"0x48307ff980007ffa",
"0x20680017fff7fff",
"0x4",
"0x10780017fff7fff",
"0x10",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x400080007ffe7fff",
"0x48127ffc7fff8000",
"0x48127ff27fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x1104800180018000",
"0xee",
"0x482480017fff8000",
"0xed",
"0x480080007fff8000",
"0xa0680017fff8000",
"0x9",
"0x4824800180007ff0",
"0x1202",
"0x482480017fff8000",
"0x100000000000000000000000000000000",
"0x400080007ff77fff",
"0x10780017fff7fff",
"0x29",
"0x4824800180007ff0",
"0x1202",
"0x400080007ff87fff",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85",
"0x482480017ff68000",
"0x1",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400280007ffb7fff",
"0x400280017ffb7ffb",
"0x400280027ffb7ffc",
"0x400280037ffb7ffd",
"0x400280047ffb7ff2",
"0x480280067ffb8000",
"0x20680017fff7fff",
"0xd",
"0x40780017fff7fff",
"0x1",
"0x48127ffc7fff8000",
"0x480280057ffb8000",
"0x482680017ffb8000",
"0x7",
"0x480680017fff8000",
"0x0",
"0x48127ffb7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe",
"0x48127ffd7fff8000",
"0x480280057ffb8000",
"0x482680017ffb8000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480280077ffb8000",
"0x480280087ffb8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482480017ff58000",
"0x1",
"0x48127feb7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x482480017ff38000",
"0x3",
"0x10780017fff7fff",
"0x5",
"0x40780017fff7fff",
"0x7",
"0x48127ff37fff8000",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4661696c656420746f20646573657269616c697a6520706172616d202331",
"0x400080007ffe7fff",
"0x48127ffd7fff8000",
"0x48127fee7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x4f7574206f6620676173",
"0x400080007ffe7fff",
"0x482680017ff98000",
"0x1",
"0x480a7ffa7fff8000",
"0x480a7ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85",
"0x480680017fff8000",
"0x53746f7261676552656164",
"0x400280007ffc7fff",
"0x400380017ffc7ffb",
"0x400280027ffc7ffd",
"0x400280037ffc7ffe",
"0x480280057ffc8000",
"0x20680017fff7fff",
"0x6b",
"0x480280067ffc8000",
"0x480280047ffc8000",
"0x482680017ffc8000",
"0x7",
"0xa0680017fff8000",
"0x16",
"0x480280007ffa8003",
"0x480280017ffa8003",
"0x4844800180017ffe",
"0x100000000000000000000000000000000",
"0x483080017ffd7ff9",
"0x482480017fff7ffd",
"0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001",
"0x20680017fff7ffc",
"0x6",
"0x402480017fff7ffd",
"0xffffffffffffffffffffffffffffffff",
"0x10780017fff7fff",
"0x4",
"0x402480017ffe7ffd",
"0xf7ffffffffffffef0000000000000000",
"0x400280027ffa7ffd",
"0x20680017fff7ffe",
"0x45",
"0x402780017fff7fff",
"0x1",
"0x400280007ffa7ffc",
"0x40780017fff7fff",
"0x5",
"0x48287ffd7ff78001",
"0xa0680017fff7fff",
"0x7",
"0x4824800180007fff",
"0x100000000000000000000000000000000",
"0x400280017ffa7fff",
"0x10780017fff7fff",
"0x27",
"0x400280017ffa7fff",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85",
"0x482680017ffa8000",
"0x2",
"0x480680017fff8000",
"0x53746f726167655772697465",
"0x400080007ff37fff",
"0x400080017ff37ff2",
"0x400080027ff37ffc",
"0x400080037ff37ffd",
"0x400080047ff37ffb",
"0x480080067ff38000",
"0x20680017fff7fff",
"0xd",
"0x48127ffd7fff8000",
"0x480080057ff18000",
"0x482480017ff08000",
"0x7",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x480680017fff8000",
"0x0",
"0x208b7fff7fff7ffe",
"0x48127ffd7fff8000",
"0x480080057ff18000",
"0x482480017ff08000",
"0x9",
"0x480680017fff8000",
"0x1",
"0x480080077fee8000",
"0x480080087fed8000",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x2",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x753132385f616464204f766572666c6f77",
"0x400080007ffe7fff",
"0x482680017ffa8000",
"0x2",
"0x48127ff07fff8000",
"0x48127ff07fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x482480017ff98000",
"0x1",
"0x208b7fff7fff7ffe",
"0x40780017fff7fff",
"0x1",
"0x480680017fff8000",
"0x53746f726555313238202d206e6f6e2075313238",
"0x400080007ffe7fff",
"0x482680017ffa8000",
"0x3",
"0x48127ff57fff8000",
"0x48127ff57fff8000",
"0x48127ffb7fff8000",
"0x482480017ffa8000",
"0x1",
"0x10780017fff7fff",
"0xa",
"0x40780017fff7fff",
"0xb",
"0x480a7ffa7fff8000",
"0x480280047ffc8000",
"0x482680017ffc8000",
"0x8",
"0x480280067ffc8000",
"0x480280077ffc8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x48127ffb7fff8000",
"0x480680017fff8000",
"0x1",
"0x48127ffa7fff8000",
"0x48127ffa7fff8000",
"0x208b7fff7fff7ffe"
],
"bytecode_segment_lengths": [
161,
173,
182,
134
],
"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": "0x1612"
},
"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": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
69,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
90,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
103,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
131,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
146,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
161,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
195,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
197,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
225,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
244,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x45ec"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -15
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
265,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
283,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
305,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
319,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
334,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x0"
},
"rhs": {
"Deref": {
"register": "FP",
"offset": -6
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
368,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -1
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
370,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -2
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
398,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
417,
[
{
"TestLessThanOrEqual": {
"lhs": {
"Immediate": "0x1202"
},
"rhs": {
"Deref": {
"register": "AP",
"offset": -15
}
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
442,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -5
}
}
}
}
]
],
[
445,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
465,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
487,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
501,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
526,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "FP",
"offset": -4
}
}
}
}
]
],
[
533,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -3
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
535,
[
{
"DivMod": {
"lhs": {
"Deref": {
"register": "AP",
"offset": -4
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"quotient": {
"register": "AP",
"offset": 3
},
"remainder": {
"register": "AP",
"offset": 4
}
}
}
]
],
[
559,
[
{
"TestLessThan": {
"lhs": {
"Deref": {
"register": "AP",
"offset": 0
}
},
"rhs": {
"Immediate": "0x100000000000000000000000000000000"
},
"dst": {
"register": "AP",
"offset": -1
}
}
}
]
],
[
580,
[
{
"SystemCall": {
"system": {
"Deref": {
"register": "AP",
"offset": -13
}
}
}
}
]
],
[
605,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
],
[
620,
[
{
"AllocSegment": {
"dst": {
"register": "AP",
"offset": 0
}
}
}
]
]
],
"entry_points_by_type": {
"EXTERNAL": [
{
"selector": "0x17c00f03de8b5bd58d2016b59d251c13056b989171c5852949903bc043bc27",
"offset": 0,
"builtins": [
"range_check"
]
},
{
"selector": "0x9be09a9a955d79baeb70c3b225ab5090fb9bc543cf23547b9f095c38a27574",
"offset": 161,
"builtins": [
"range_check"
]
}
],
"L1_HANDLER": [],
"CONSTRUCTOR": [
{
"selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194",
"offset": 334,
"builtins": [
"range_check"
]
}
]
}
}
{
"sierra_program": [
"0x1",
"0x5",
"0x0",
"0x2",
"0x6",
"0x3",
"0xb0",
"0x50",
"0x1d",
"0x52616e6765436865636b",
"0x800000000000000100000000000000000000000000000000",
"0x436f6e7374",
"0x800000000000000000000000000000000000000000000002",
"0x1",
"0x1b",
"0x2",
"0x753132385f616464204f766572666c6f77",
"0x4661696c656420746f20646573657269616c697a6520706172616d202331",
"0x537472756374",
"0x800000000000000f00000000000000000000000000000001",
"0x0",
"0x27ebb150b0fa08089bc3f1c40eb21570b8b09dcb86858b2d937417c10fcac47",
"0x800000000000000f00000000000000000000000000000002",
"0x1f6c22a1cc226593dc1810e5576306a251ea69dde775a18b195e7c8e57671dd",
"0x3",
"0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3",
"0x800000000000000f00000000000000000000000000000003",
"0x4",
"0x5",
"0x16a4c8d7c05909052238a862d8cc3e7975bf05a07b3a69c6b28951083a6d672",
"0x4172726179",
"0x800000000000000300000000000000000000000000000001",
"0x800000000000000300000000000000000000000000000003",
"0x7",
"0x8",
"0x456e756d",
"0x2b5304ec2156b7cbfd6b954031ce4861ea5434b7705b9f8782957e34ed469e0",
"0x6",
"0x9",
"0x426f78",
"0x800000000000000700000000000000000000000000000001",
"0x800000000000000700000000000000000000000000000003",
"0x29d7d57c04a880978e7b3689f6218e507f3be17588744b58dc17762447ad0e7",
"0xb",
"0x4f7574206f6620676173",
"0x53746f726555313238202d206e6f6e2075313238",
"0x536e617073686f74",
"0x800000000000000700000000000000000000000000000002",
"0x1baeba72e79e9db2587cf44fedb2f3700b2075a5e8e39a562584862c4b71f62",
"0xf",
"0x10",
"0x75313238",
"0x800000000000000700000000000000000000000000000000",
"0x14",
"0x753332",
"0x53746f7261676541646472657373",
"0x53746f726167654261736541646472657373",
"0x4275696c74696e436f737473",
"0x53797374656d",
"0x9931c641b913035ae674b400b61a51476d506bbe8bba2ff8a6272790aba9e6",
"0x11",
"0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473",
"0x66656c74323532",
"0x4761734275696c74696e",
"0x42",
"0x7265766f6b655f61705f747261636b696e67",
"0x77697468647261775f676173",
"0x6272616e63685f616c69676e",
"0x7374727563745f6465636f6e737472756374",
"0x73746f72655f74656d70",
"0x61727261795f736e617073686f745f706f705f66726f6e74",
"0x64726f70",
"0x61727261795f6e6577",
"0x636f6e73745f61735f696d6d656469617465",
"0x1a",
"0x61727261795f617070656e64",
"0x7374727563745f636f6e737472756374",
"0x656e756d5f696e6974",
"0x19",
"0x1c",
"0x18",
"0x6765745f6275696c74696e5f636f737473",
"0x17",
"0x77697468647261775f6761735f616c6c",
"0x73746f726167655f626173655f616464726573735f636f6e7374",
"0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85",
"0x73746f726167655f616464726573735f66726f6d5f62617365",
"0x13",
"0x15",
"0x73746f726167655f726561645f73797363616c6c",
"0x75313238735f66726f6d5f66656c74323532",
"0x753132385f746f5f66656c74323532",
"0x736e617073686f745f74616b65",
"0x12",
"0xe",
"0x6a756d70",
"0xd",
"0x656e61626c655f61705f747261636b696e67",
"0xc",
"0x656e756d5f6d61746368",
"0x756e626f78",
"0x72656e616d65",
"0x64697361626c655f61705f747261636b696e67",
"0x66756e6374696f6e5f63616c6c",
"0xa",
"0x73746f726167655f77726974655f73797363616c6c",
"0x753132385f6f766572666c6f77696e675f616464",
"0x1c1",
"0xffffffffffffffff",
"0x5b",
"0x4e",
"0x16",
"0x41",
"0x1e",
"0x1f",
"0x20",
"0x21",
"0x35",
"0x22",
"0x23",
"0x24",
"0x25",
"0x26",
"0x27",
"0x28",
"0x29",
"0x2a",
"0x2b",
"0x2c",
"0x2d",
"0x2e",
"0x2f",
"0x30",
"0x31",
"0x32",
"0x33",
"0x46",
"0x34",
"0x36",
"0x37",
"0x38",
"0x39",
"0x3a",
"0x3b",
"0x3c",
"0x3d",
"0x3e",
"0x3f",
"0x40",
"0xdc",
"0x75",
"0x7a",
"0xcb",
"0xc5",
"0x94",
"0xb7",
"0xb0",
"0xcf",
"0x43",
"0x44",
"0x45",
"0x47",
"0x48",
"0x49",
"0x15e",
"0xf6",
"0xfb",
"0x14d",
"0x147",
"0x115",
"0x139",
"0x130",
"0x151",
"0x4a",
"0x4b",
"0x4c",
"0x1b2",
"0x1a4",
"0x195",
"0x18b",
"0x1b9",
"0x69",
"0xea",
"0x16c",
"0xf74",
"0x120a110c0b0a10050f0c0e0a0d0c0b0a090706050403080706050403020100",
"0x1f1e051d051c0c181b1a051905110c180a06051716150c0b0a14051305110c",
"0x280c270a1a05202625070605040324070605040314052305220c211b060520",
"0x5330c181b02322c312c302c2f2c2e0c072d0504032c2b2a05110c270a2905",
"0x5053e0c05053d2a05053c0c3b0c3a0c393802372c363507060504031e0534",
"0x54419050544060505430605053d42050541060505402305053f2905053f06",
"0x7054c0c4b4a05053d0c494605053d4805053d4705053d0507460507451e05",
"0x5441a05053f1a0505540c530c520c515005053d2d05053d4f0505410c4e4d",
"0x3f580505410c571a05053d560505415505053f0c0746050745340505442a05",
"0x55b05075a050745140505445a05053d2905053d0c075a0507450c592a0505",
"0x5055b1010055f5505053d13050544100505440c5e0605055d0605055c5a05",
"0x6005053d0c07600507451d0505440c620c61070505411405053f1d05053f60",
"0x1413076407050c07050c0c64050c0c0c63050505410507600507451305053f",
"0x71a05140c130564051305130c1a0564051005100c0c64050c070c191d0765",
"0x50c1a0c0c64056005190c0c64051e051d0c0c64050c070c230550601e0764",
"0x50c5a0c56056405585a07230c580564055805600c580564050c1e0c5a0564",
"0x5290c130564051305130c340564052a05560c2a056405562907580c290564",
"0x50c070c340714131305340564053405340c0705640507052a0c1405640514",
"0x7551413102d0c5505640555054f0c550564050c550c0c640523051d0c0c64",
"0x4a0c480564054a05670c4a0564050c500c0c64050c070c675007662d4f0764",
"0x420c4f0564054f05130c480564054805460c460564054605480c460564050c",
"0xc470564054705600c0c64050c070c6a690010684706421064074846072d13",
"0xc706f6e106d6c6b076407474f07060c0605640506052a0c42056405420529",
"0xc73056405727107230c720564056c05470c710564050c1a0c0c64050c07",
"0xc7705640576056b0c7605640575056a0c0c64057405690c75740764057305",
"0x605640506052a0c420564054205290c6b0564056b05130c7805640577056c",
"0x70056e0c0c64056f056e0c0c64050c070c7806426b1305780564057805340c",
"0x57a7907230c7a0564057a05600c7a0564050c6f0c790564050c1a0c0c6405",
"0x7b05700c7e05640506052a0c7d0564054205290c7c0564056e05130c7b0564",
"0x564050005290c7c0564054f05130c0c64050c070c0c80050c710c7f056405",
"0x64057f8107580c810564050c5a0c7f0564056a05700c7e05640569052a0c7d",
"0x57e052a0c7d0564057d05290c7c0564057c05130c820564056d05560c6d05",
"0xc830564050c1a0c0c64050c070c827e7d7c1305820564058205340c7e0564",
"0xc860564050c5a0c85056405848307230c840564058405600c840564050c72",
"0x564056705290c500564055005130c880564058705560c8705640585860758",
"0x730c0c64050c070c880767501305880564058805340c0705640507052a0c67",
"0x8907230c8a0564058a05600c8a0564050c720c890564050c1a0c0c64051005",
"0x130c380564056805560c680564058b8c07580c8c0564050c5a0c8b0564058a",
"0x5380564053805340c0705640507052a0c190564051905290c1d0564051d05",
"0xc64050c070c191d078d1413076407050c07050c0c64050c0c0c3807191d13",
"0x601e0764071a05140c130564051305130c0c64050c740c1a0564051005100c",
"0x64055a05770c580564051e05760c5a0564056005750c0c64050c070c23058e",
"0x760c2a0564052905790c290564050c780c0c64050c070c0c8f050c710c5605",
"0xc64050c070c5505903405640756057a0c560564052a05770c580564052305",
"0x64072d1307060c2d0564052d05600c2d0564054f057c0c4f05640534057b0c",
"0x6420764075805140c500564055005130c0c64050c070c46484a1091675007",
"0x6e0c0c64050605190c0c640542051d0c0c64050c7d0c0c64050c070c470592",
"0x7230c690564056905600c690564050c1e0c000564050c1a0c0c64056705",
"0x130c6e0564056c05560c6c0564056a6b07580c6b0564050c5a0c6a05640569",
"0x56e0564056e05340c0705640507052a0c140564051405290c500564055005",
"0x6f0564050c550c0c640547051d0c0c64050c7d0c0c64050c070c6e07145013",
"0x7e0c0c64050c070c7372079371700764076f1450102d0c6f0564056f054f0c",
"0x2a0c710564057105290c700564057005130c7505640574057f0c740564050c",
"0x820c797877761364056775077170146d0c670564056705810c070564050705",
"0xc7c0564050c1a0c0c64057a05830c0c64050c070c7b05947a0564077905",
"0xc810564057f056b0c7f0564057e056a0c0c64057d05690c7e7d0764057c05",
"0x7805640578052a0c770564057705290c760564057605130c6d05640581056c",
"0x5130c820564057b05560c0c64050c070c6d78777613056d0564056d05340c",
"0x1305820564058205340c7805640578052a0c770564057705290c7605640576",
"0x840564050c720c830564050c1a0c0c640567056e0c0c64050c070c82787776",
"0x6405858607580c860564050c5a0c85056405848307230c840564058405600c",
"0x507052a0c730564057305290c720564057205130c880564058705560c8705",
"0xc0c640548056e0c0c64050c070c880773721305880564058805340c070564",
"0x50c070c0c95050c710c890564054a05130c0c640558051d0c0c640546056e",
"0xc0c64050c7d0c890564051305130c0c640558051d0c0c64055505840c0c64",
"0xc8c0564058b8a07230c8b0564058b05600c8b0564050c850c8a0564050c1a",
"0x890564058905130c960564053805560c380564058c6807580c680564050c5a",
"0xc960714891305960564059605340c0705640507052a0c140564051405290c",
"0x59805600c980564050c720c970564050c1a0c0c64051005730c0c64050c07",
"0x5560c9a056405809907580c990564050c5a0c80056405989707230c980564",
"0x340c0705640507052a0c190564051905290c1d0564051d05130c9b0564059a",
"0x1d079c1413076407050c07050c0c64050c0c0c9b07191d13059b0564059b05",
"0x140c130564051305130c0c64050c740c1a0564051005100c0c64050c070c19",
"0x564051e05760c5a0564056005750c0c64050c070c23059d601e0764071a05",
"0x5790c290564050c780c0c64050c070c0c9e050c710c560564055a05770c58",
"0x59f3405640756057a0c560564052a05770c580564052305760c2a05640529",
"0x2d0564052d05600c2d0564054f057c0c4f05640534057b0c0c64050c070c55",
"0x140c500564055005130c0c64050c070c46484a10a067500764072d1307060c",
"0x190c0c640542051d0c0c64050c7d0c0c64050c070c4705a106420764075805",
"0x56905600c690564050c1e0c000564050c1a0c0c640567056e0c0c64050605",
"0x5560c6c0564056a6b07580c6b0564050c5a0c6a056405690007230c690564",
"0x340c0705640507052a0c140564051405290c500564055005130c6e0564056c",
"0xc640547051d0c0c64050c7d0c0c64050c070c6e07145013056e0564056e05",
"0xc737207a271700764076f1450102d0c6f0564056f054f0c6f0564050c550c",
"0xc4a0c760564057405670c750564056705470c740564050c500c0c64050c07",
"0x14860c700564057005130c760564057605460c770564057705480c77056405",
"0x5000c7d0564050c1a0c0c64050c070c7c7b7a10a379780764077576770771",
"0x6c0c6d05640581056b0c810564057f056a0c0c64057e05690c7f7e0764057d",
"0xc7905640579052a0c780564057805290c700564057005130c820564056d05",
"0x7c8307580c830564050c5a0c0c64050c070c82797870130582056405820534",
"0x52a0c7a0564057a05290c700564057005130c850564058405560c84056405",
"0x640567056e0c0c64050c070c857b7a701305850564058505340c7b0564057b",
"0x56405878607230c870564058705600c870564050c720c860564050c1a0c0c",
"0x64057205130c8b0564058a05560c8a056405888907580c890564050c5a0c88",
"0x7737213058b0564058b05340c0705640507052a0c730564057305290c7205",
"0x5130c0c640558051d0c0c640546056e0c0c640548056e0c0c64050c070c8b",
"0xc640558051d0c0c64055505840c0c64050c070c0ca4050c710c8c0564054a",
"0x5600c380564050c850c680564050c1a0c0c64050c7d0c8c0564051305130c",
"0xc98056405969707580c970564050c5a0c96056405386807230c3805640538",
"0x705640507052a0c140564051405290c8c0564058c05130c80056405980556",
"0x50c1a0c0c64051005730c0c64050c070c8007148c1305800564058005340c",
"0x50c5a0c9b0564059a9907230c9a0564059a05600c9a0564050c720c990564",
"0x5290c1d0564051d05130ca7056405a605560ca60564059ba507580ca50564",
"0x50c500ca707191d1305a7056405a705340c0705640507052a0c1905640519",
"0x51d05460c190564051905480c190564050c4a0c1d0564051405670c140564",
"0x6005600c0c64050c070c585a2310a8601e1a1064071d19070513420c1d0564",
"0xa92956076407600c07060c1e0564051e052a0c1a0564051a05290c60056405",
"0xc64050c070c675007aa2d4f07640713295610870c0c64050c070c55342a10",
"0xc420564050c4a0c460564054a05670c480564052d05470c4a0564050c500c",
"0x4846421e1a14860c4f0564054f05130c460564054605460c42056405420548",
"0x564056b1007880c6b0564050c780c0c64050c070c6a690010ab4706076407",
"0x640547052a0c060564050605290c4f0564054f05130c6e0564056c05890c6c",
"0x5a0c0c640510058b0c0c64050c070c6e47064f13056e0564056e058a0c4705",
"0xc4f0564054f05130c7105640570058c0c700564056a6f07580c6f0564050c",
"0x70c7169004f13057105640571058a0c6905640569052a0c00056405000529",
"0x564050c680c720564050c1a0c0c640510058b0c0c640567056e0c0c64050c",
"0x5747507580c750564050c5a0c74056405737207230c730564057305600c73",
"0x1e052a0c1a0564051a05290c500564055005130c7705640576058c0c760564",
"0xc640534056e0c0c64050c070c771e1a5013057705640577058a0c1e056405",
"0xc6f0c780564050c1a0c0c640513056e0c0c640510058b0c0c640555056e0c",
"0x290c7b0564052a05130c7a056405797807230c790564057905600c79056405",
"0xc070c0cac050c710c7e0564057a05700c7d0564051e052a0c7c0564051a05",
"0x64052305290c7b0564050c05130c0c640513056e0c0c640510058b0c0c6405",
"0x57e7f07580c7f0564050c5a0c7e0564055805700c7d0564055a052a0c7c05",
"0x7d052a0c7c0564057c05290c7b0564057b05130c6d05640581058c0c810564",
"0x50c4648470c132a48470c13136d7d7c7b13056d0564056d058a0c7d056405",
"0x7050c4648470c132a48470c13ad1007050c4648470c132a48470c130c1007",
"0xaf131007050c6048470c13551348470c14ae10"
],
"sierra_program_debug_info": {
"type_names": [],
"libfunc_names": [],
"user_func_names": []
},
"contract_class_version": "0.1.0",
"entry_points_by_type": {
"EXTERNAL": [
{
"selector": "0x17c00f03de8b5bd58d2016b59d251c13056b989171c5852949903bc043bc27",
"function_idx": 0
},
{
"selector": "0x9be09a9a955d79baeb70c3b225ab5090fb9bc543cf23547b9f095c38a27574",
"function_idx": 1
}
],
"L1_HANDLER": [],
"CONSTRUCTOR": [
{
"selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194",
"function_idx": 2
}
]
},
"abi": [
{
"type": "impl",
"name": "Balance",
"interface_name": "balance::balance::IBalance"
},
{
"type": "interface",
"name": "balance::balance::IBalance",
"items": [
{
"type": "function",
"name": "get",
"inputs": [],
"outputs": [
{
"type": "core::integer::u128"
}
],
"state_mutability": "view"
},
{
"type": "function",
"name": "increase",
"inputs": [
{
"name": "a",
"type": "core::integer::u128"
}
],
"outputs": [],
"state_mutability": "external"
}
]
},
{
"type": "constructor",
"name": "constructor",
"inputs": [
{
"name": "value_",
"type": "core::integer::u128"
}
]
},
{
"type": "event",
"name": "balance::balance::Balance::Event",
"kind": "enum",
"variants": []
}
]
}
{
"prime": "0x800000000000011000000000000000000000000000000000000000000000001",
"compiler_version": "2.6.3",
"bytecode": [],
"bytecode_segment_lengths": 0,
"hints": [],
"entry_points_by_type": {
"EXTERNAL": [],
"L1_HANDLER": [],
"CONSTRUCTOR": []
}
}
{
"sierra_program": [
"0x1",
"0x5",
"0x0",
"0x2",
"0x6",
"0x3",
"0x1",
"0xff",
"0x0",
"0x4",
"0x0"
],
"sierra_program_debug_info": {
"type_names": [],
"libfunc_names": [],
"user_func_names": []
},
"contract_class_version": "0.1.0",
"entry_points_by_type": {
"EXTERNAL": [],
"L1_HANDLER": [],
"CONSTRUCTOR": []
},
"abi": [
{
"type": "event",
"name": "forty_two::forty_two::FortyTwo::Event",
"kind": "enum",
"variants": []
}
]
}
#[starknet::interface]
trait IBalance<T> {
// Returns the current balance.
fn get(self: @T) -> u128;
// Increases the balance by the given amount.
fn increase(ref self: T, a: u128);
}
#[starknet::contract]
mod Balance {
use traits::Into;
#[storage]
struct Storage {
value: u128,
}
#[constructor]
fn constructor(ref self: ContractState, value_: u128) {
self.value.write(value_);
}
#[abi(embed_v0)]
impl Balance of super::IBalance<ContractState> {
fn get(self: @ContractState) -> u128 {
self.value.read()
}
fn increase(ref self: ContractState, a: u128) {
self.value.write( self.value.read() + a );
}
}
}
#[starknet::contract]
mod FortyTwo {
#[storage]
struct Storage {}
#[abi(embed_v0)]
fn answer(ref self: ContractState) -> felt252 {
42
}
}
mod balance;
mod forty_two;
{"version":1,"contracts":[{"id":"06v39nj1lbfhe","package_name":"starknet_multiple_contracts","contract_name":"Balance","module_path":"starknet_multiple_contracts::balance::Balance","artifacts":{"sierra":"starknet_multiple_contracts_Balance.contract_class.json","casm":"starknet_multiple_contracts_Balance.compiled_contract_class.json"}},{"id":"1usmjogeudm18","package_name":"starknet_multiple_contracts","contract_name":"FortyTwo","module_path":"starknet_multiple_contracts::forty_two::FortyTwo","artifacts":{"sierra":"starknet_multiple_contracts_FortyTwo.contract_class.json","casm":"starknet_multiple_contracts_FortyTwo.compiled_contract_class.json"}}]}
{"prime":"0x800000000000011000000000000000000000000000000000000000000000001","compiler_version":"2.6.3","bytecode":["0xa0680017fff8000","0x7","0x482680017ffa8000","0x100000000000000000000000000000000","0x400280007ff97fff","0x10780017fff7fff","0x8d","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","0x26b","0x482480017fff8000","0x26a","0x480080007fff8000","0xa0680017fff8000","0x9","0x4824800180007ff8","0x1612","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff77fff","0x10780017fff7fff","0x58","0x4824800180007ff8","0x1612","0x400080007ff87fff","0x480680017fff8000","0x0","0x480680017fff8000","0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85","0x482480017ff68000","0x1","0x480680017fff8000","0x53746f7261676552656164","0x400280007ffb7fff","0x400280017ffb7ffb","0x400280027ffb7ffc","0x400280037ffb7ffd","0x480280057ffb8000","0x20680017fff7fff","0x38","0x480280067ffb8000","0x480280047ffb8000","0x482680017ffb8000","0x7","0xa0680017fff8000","0x16","0x480080007ff98003","0x480080017ff88003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ff9","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff47ffd","0x20680017fff7ffe","0x12","0x402780017fff7fff","0x1","0x400080007ff97ffc","0x40780017fff7fff","0x1","0x400080007fff7ffb","0x482480017ff88000","0x1","0x48127ffb7fff8000","0x48127ffb7fff8000","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x482480017ffa8000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x53746f726555313238202d206e6f6e2075313238","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","0x99","0x4825800180007ffa","0x0","0x400280007ff97fff","0x482680017ff98000","0x1","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xa","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480a7ffc7fff8000","0x10780017fff7fff","0x8","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x6e","0x480080007fff8000","0xa0680017fff8000","0x16","0x480080007ff88003","0x480080017ff78003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffb","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff37ffd","0x20680017fff7ffe","0x55","0x402780017fff7fff","0x1","0x400080007ff87ffe","0x482480017ff88000","0x1","0x48307ff980007ffa","0x20680017fff7fff","0x4","0x10780017fff7fff","0x10","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ff27fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0x19b","0x482480017fff8000","0x19a","0x480080007fff8000","0xa0680017fff8000","0x9","0x4824800180007ff0","0x45ec","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff77fff","0x10780017fff7fff","0x20","0x4824800180007ff0","0x45ec","0x400080007ff87fff","0x482480017ff88000","0x1","0x48127ffe7fff8000","0x480a7ffb7fff8000","0x48127ff37fff8000","0x1104800180018000","0xff","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","0x48127feb7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff38000","0x3","0x10780017fff7fff","0x5","0x40780017fff7fff","0x7","0x48127ff37fff8000","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ffd7fff8000","0x48127fee7fff8000","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","0xa2","0x4825800180007ffa","0x0","0x400280007ff97fff","0x482680017ff98000","0x1","0x48297ffc80007ffd","0x20680017fff7fff","0x4","0x10780017fff7fff","0xa","0x482680017ffc8000","0x1","0x480a7ffd7fff8000","0x480680017fff8000","0x0","0x480a7ffc7fff8000","0x10780017fff7fff","0x8","0x480a7ffc7fff8000","0x480a7ffd7fff8000","0x480680017fff8000","0x1","0x480680017fff8000","0x0","0x20680017fff7ffe","0x77","0x480080007fff8000","0xa0680017fff8000","0x16","0x480080007ff88003","0x480080017ff78003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ffb","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400080027ff37ffd","0x20680017fff7ffe","0x5e","0x402780017fff7fff","0x1","0x400080007ff87ffe","0x482480017ff88000","0x1","0x48307ff980007ffa","0x20680017fff7fff","0x4","0x10780017fff7fff","0x10","0x40780017fff7fff","0x1","0x480680017fff8000","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x400080007ffe7fff","0x48127ffc7fff8000","0x48127ff27fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x1104800180018000","0xee","0x482480017fff8000","0xed","0x480080007fff8000","0xa0680017fff8000","0x9","0x4824800180007ff0","0x1202","0x482480017fff8000","0x100000000000000000000000000000000","0x400080007ff77fff","0x10780017fff7fff","0x29","0x4824800180007ff0","0x1202","0x400080007ff87fff","0x480680017fff8000","0x0","0x480680017fff8000","0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85","0x482480017ff68000","0x1","0x480680017fff8000","0x53746f726167655772697465","0x400280007ffb7fff","0x400280017ffb7ffb","0x400280027ffb7ffc","0x400280037ffb7ffd","0x400280047ffb7ff2","0x480280067ffb8000","0x20680017fff7fff","0xd","0x40780017fff7fff","0x1","0x48127ffc7fff8000","0x480280057ffb8000","0x482680017ffb8000","0x7","0x480680017fff8000","0x0","0x48127ffb7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe","0x48127ffd7fff8000","0x480280057ffb8000","0x482680017ffb8000","0x9","0x480680017fff8000","0x1","0x480280077ffb8000","0x480280087ffb8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482480017ff58000","0x1","0x48127feb7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x482480017ff38000","0x3","0x10780017fff7fff","0x5","0x40780017fff7fff","0x7","0x48127ff37fff8000","0x40780017fff7fff","0x1","0x480680017fff8000","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x400080007ffe7fff","0x48127ffd7fff8000","0x48127fee7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x4f7574206f6620676173","0x400080007ffe7fff","0x482680017ff98000","0x1","0x480a7ffa7fff8000","0x480a7ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x480680017fff8000","0x0","0x480680017fff8000","0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85","0x480680017fff8000","0x53746f7261676552656164","0x400280007ffc7fff","0x400380017ffc7ffb","0x400280027ffc7ffd","0x400280037ffc7ffe","0x480280057ffc8000","0x20680017fff7fff","0x6b","0x480280067ffc8000","0x480280047ffc8000","0x482680017ffc8000","0x7","0xa0680017fff8000","0x16","0x480280007ffa8003","0x480280017ffa8003","0x4844800180017ffe","0x100000000000000000000000000000000","0x483080017ffd7ff9","0x482480017fff7ffd","0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001","0x20680017fff7ffc","0x6","0x402480017fff7ffd","0xffffffffffffffffffffffffffffffff","0x10780017fff7fff","0x4","0x402480017ffe7ffd","0xf7ffffffffffffef0000000000000000","0x400280027ffa7ffd","0x20680017fff7ffe","0x45","0x402780017fff7fff","0x1","0x400280007ffa7ffc","0x40780017fff7fff","0x5","0x48287ffd7ff78001","0xa0680017fff7fff","0x7","0x4824800180007fff","0x100000000000000000000000000000000","0x400280017ffa7fff","0x10780017fff7fff","0x27","0x400280017ffa7fff","0x480680017fff8000","0x0","0x480680017fff8000","0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85","0x482680017ffa8000","0x2","0x480680017fff8000","0x53746f726167655772697465","0x400080007ff37fff","0x400080017ff37ff2","0x400080027ff37ffc","0x400080037ff37ffd","0x400080047ff37ffb","0x480080067ff38000","0x20680017fff7fff","0xd","0x48127ffd7fff8000","0x480080057ff18000","0x482480017ff08000","0x7","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x480680017fff8000","0x0","0x208b7fff7fff7ffe","0x48127ffd7fff8000","0x480080057ff18000","0x482480017ff08000","0x9","0x480680017fff8000","0x1","0x480080077fee8000","0x480080087fed8000","0x208b7fff7fff7ffe","0x40780017fff7fff","0x2","0x40780017fff7fff","0x1","0x480680017fff8000","0x753132385f616464204f766572666c6f77","0x400080007ffe7fff","0x482680017ffa8000","0x2","0x48127ff07fff8000","0x48127ff07fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x482480017ff98000","0x1","0x208b7fff7fff7ffe","0x40780017fff7fff","0x1","0x480680017fff8000","0x53746f726555313238202d206e6f6e2075313238","0x400080007ffe7fff","0x482680017ffa8000","0x3","0x48127ff57fff8000","0x48127ff57fff8000","0x48127ffb7fff8000","0x482480017ffa8000","0x1","0x10780017fff7fff","0xa","0x40780017fff7fff","0xb","0x480a7ffa7fff8000","0x480280047ffc8000","0x482680017ffc8000","0x8","0x480280067ffc8000","0x480280077ffc8000","0x48127ffb7fff8000","0x48127ffb7fff8000","0x48127ffb7fff8000","0x480680017fff8000","0x1","0x48127ffa7fff8000","0x48127ffa7fff8000","0x208b7fff7fff7ffe"],"bytecode_segment_lengths":[161,173,182,134],"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":"0x1612"},"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":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[69,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-4}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[90,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[103,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[131,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[146,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[161,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[195,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-1}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[197,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[225,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[244,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x45ec"},"rhs":{"Deref":{"register":"AP","offset":-15}},"dst":{"register":"AP","offset":0}}}]],[265,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[283,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[305,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[319,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[334,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x0"},"rhs":{"Deref":{"register":"FP","offset":-6}},"dst":{"register":"AP","offset":0}}}]],[368,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-1}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[370,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-2}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[398,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[417,[{"TestLessThanOrEqual":{"lhs":{"Immediate":"0x1202"},"rhs":{"Deref":{"register":"AP","offset":-15}},"dst":{"register":"AP","offset":0}}}]],[442,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-5}}}}]],[445,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[465,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[487,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[501,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[526,[{"SystemCall":{"system":{"Deref":{"register":"FP","offset":-4}}}}]],[533,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":-3}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":0}}}]],[535,[{"DivMod":{"lhs":{"Deref":{"register":"AP","offset":-4}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"quotient":{"register":"AP","offset":3},"remainder":{"register":"AP","offset":4}}}]],[559,[{"TestLessThan":{"lhs":{"Deref":{"register":"AP","offset":0}},"rhs":{"Immediate":"0x100000000000000000000000000000000"},"dst":{"register":"AP","offset":-1}}}]],[580,[{"SystemCall":{"system":{"Deref":{"register":"AP","offset":-13}}}}]],[605,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]],[620,[{"AllocSegment":{"dst":{"register":"AP","offset":0}}}]]],"entry_points_by_type":{"EXTERNAL":[{"selector":"0x17c00f03de8b5bd58d2016b59d251c13056b989171c5852949903bc043bc27","offset":0,"builtins":["range_check"]},{"selector":"0x9be09a9a955d79baeb70c3b225ab5090fb9bc543cf23547b9f095c38a27574","offset":161,"builtins":["range_check"]}],"L1_HANDLER":[],"CONSTRUCTOR":[{"selector":"0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194","offset":334,"builtins":["range_check"]}]}}
{"sierra_program":["0x1","0x5","0x0","0x2","0x6","0x3","0xb0","0x50","0x1d","0x52616e6765436865636b","0x800000000000000100000000000000000000000000000000","0x436f6e7374","0x800000000000000000000000000000000000000000000002","0x1","0x1b","0x2","0x753132385f616464204f766572666c6f77","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x537472756374","0x800000000000000f00000000000000000000000000000001","0x0","0x6f1579ced6c62aefa8dab7b544bc81f0df199a09860f19264f73ac267f1d17","0x800000000000000f00000000000000000000000000000002","0x2e11e54eac8ee424ba3559c594d0c3ac2885ae35f92c9c7a50df60309af7bec","0x3","0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3","0x800000000000000f00000000000000000000000000000003","0x4","0x5","0x16a4c8d7c05909052238a862d8cc3e7975bf05a07b3a69c6b28951083a6d672","0x4172726179","0x800000000000000300000000000000000000000000000001","0x800000000000000300000000000000000000000000000003","0x7","0x8","0x456e756d","0xc61de79f23ae39c538dd62383b07c1c702af49a1c5aa7c550305add888f234","0x6","0x9","0x426f78","0x800000000000000700000000000000000000000000000001","0x800000000000000700000000000000000000000000000003","0x29d7d57c04a880978e7b3689f6218e507f3be17588744b58dc17762447ad0e7","0xb","0x4f7574206f6620676173","0x53746f726555313238202d206e6f6e2075313238","0x536e617073686f74","0x800000000000000700000000000000000000000000000002","0x1baeba72e79e9db2587cf44fedb2f3700b2075a5e8e39a562584862c4b71f62","0xf","0x10","0x75313238","0x800000000000000700000000000000000000000000000000","0x14","0x753332","0x53746f7261676541646472657373","0x53746f726167654261736541646472657373","0x4275696c74696e436f737473","0x53797374656d","0x9931c641b913035ae674b400b61a51476d506bbe8bba2ff8a6272790aba9e6","0x11","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x66656c74323532","0x4761734275696c74696e","0x42","0x7265766f6b655f61705f747261636b696e67","0x77697468647261775f676173","0x6272616e63685f616c69676e","0x7374727563745f6465636f6e737472756374","0x73746f72655f74656d70","0x61727261795f736e617073686f745f706f705f66726f6e74","0x64726f70","0x61727261795f6e6577","0x636f6e73745f61735f696d6d656469617465","0x1a","0x61727261795f617070656e64","0x7374727563745f636f6e737472756374","0x656e756d5f696e6974","0x19","0x1c","0x18","0x6765745f6275696c74696e5f636f737473","0x17","0x77697468647261775f6761735f616c6c","0x73746f726167655f626173655f616464726573735f636f6e7374","0x1afeeaff0ed5cee7d05a21078399c2f56226b0cd5657062500cef4c4e736f85","0x73746f726167655f616464726573735f66726f6d5f62617365","0x13","0x15","0x73746f726167655f726561645f73797363616c6c","0x75313238735f66726f6d5f66656c74323532","0x753132385f746f5f66656c74323532","0x736e617073686f745f74616b65","0x12","0xe","0x6a756d70","0xd","0x656e61626c655f61705f747261636b696e67","0xc","0x656e756d5f6d61746368","0x756e626f78","0x72656e616d65","0x64697361626c655f61705f747261636b696e67","0x66756e6374696f6e5f63616c6c","0xa","0x73746f726167655f77726974655f73797363616c6c","0x753132385f6f766572666c6f77696e675f616464","0x1c1","0xffffffffffffffff","0x5b","0x4e","0x16","0x41","0x1e","0x1f","0x20","0x21","0x35","0x22","0x23","0x24","0x25","0x26","0x27","0x28","0x29","0x2a","0x2b","0x2c","0x2d","0x2e","0x2f","0x30","0x31","0x32","0x33","0x46","0x34","0x36","0x37","0x38","0x39","0x3a","0x3b","0x3c","0x3d","0x3e","0x3f","0x40","0xdc","0x75","0x7a","0xcb","0xc5","0x94","0xb7","0xb0","0xcf","0x43","0x44","0x45","0x47","0x48","0x49","0x15e","0xf6","0xfb","0x14d","0x147","0x115","0x139","0x130","0x151","0x4a","0x4b","0x4c","0x1b2","0x1a4","0x195","0x18b","0x1b9","0x69","0xea","0x16c","0xf74","0x120a110c0b0a10050f0c0e0a0d0c0b0a090706050403080706050403020100","0x1f1e051d051c0c181b1a051905110c180a06051716150c0b0a14051305110c","0x280c270a1a05202625070605040324070605040314052305220c211b060520","0x5330c181b02322c312c302c2f2c2e0c072d0504032c2b2a05110c270a2905","0x5053e0c05053d2a05053c0c3b0c3a0c393802372c363507060504031e0534","0x54419050544060505430605053d42050541060505402305053f2905053f06","0x7054c0c4b4a05053d0c494605053d4805053d4705053d0507460507451e05","0x5441a05053f1a0505540c530c520c515005053d2d05053d4f0505410c4e4d","0x3f580505410c571a05053d560505415505053f0c0746050745340505442a05","0x55b05075a050745140505445a05053d2905053d0c075a0507450c592a0505","0x5055b1010055f5505053d13050544100505440c5e0605055d0605055c5a05","0x6005053d0c07600507451d0505440c620c61070505411405053f1d05053f60","0x1413076407050c07050c0c64050c0c0c63050505410507600507451305053f","0x71a05140c130564051305130c1a0564051005100c0c64050c070c191d0765","0x50c1a0c0c64056005190c0c64051e051d0c0c64050c070c230550601e0764","0x50c5a0c56056405585a07230c580564055805600c580564050c1e0c5a0564","0x5290c130564051305130c340564052a05560c2a056405562907580c290564","0x50c070c340714131305340564053405340c0705640507052a0c1405640514","0x7551413102d0c5505640555054f0c550564050c550c0c640523051d0c0c64","0x4a0c480564054a05670c4a0564050c500c0c64050c070c675007662d4f0764","0x420c4f0564054f05130c480564054805460c460564054605480c460564050c","0xc470564054705600c0c64050c070c6a690010684706421064074846072d13","0xc706f6e106d6c6b076407474f07060c0605640506052a0c42056405420529","0xc73056405727107230c720564056c05470c710564050c1a0c0c64050c07","0xc7705640576056b0c7605640575056a0c0c64057405690c75740764057305","0x605640506052a0c420564054205290c6b0564056b05130c7805640577056c","0x70056e0c0c64056f056e0c0c64050c070c7806426b1305780564057805340c","0x57a7907230c7a0564057a05600c7a0564050c6f0c790564050c1a0c0c6405","0x7b05700c7e05640506052a0c7d0564054205290c7c0564056e05130c7b0564","0x564050005290c7c0564054f05130c0c64050c070c0c80050c710c7f056405","0x64057f8107580c810564050c5a0c7f0564056a05700c7e05640569052a0c7d","0x57e052a0c7d0564057d05290c7c0564057c05130c820564056d05560c6d05","0xc830564050c1a0c0c64050c070c827e7d7c1305820564058205340c7e0564","0xc860564050c5a0c85056405848307230c840564058405600c840564050c72","0x564056705290c500564055005130c880564058705560c8705640585860758","0x730c0c64050c070c880767501305880564058805340c0705640507052a0c67","0x8907230c8a0564058a05600c8a0564050c720c890564050c1a0c0c64051005","0x130c380564056805560c680564058b8c07580c8c0564050c5a0c8b0564058a","0x5380564053805340c0705640507052a0c190564051905290c1d0564051d05","0xc64050c070c191d078d1413076407050c07050c0c64050c0c0c3807191d13","0x601e0764071a05140c130564051305130c0c64050c740c1a0564051005100c","0x64055a05770c580564051e05760c5a0564056005750c0c64050c070c23058e","0x760c2a0564052905790c290564050c780c0c64050c070c0c8f050c710c5605","0xc64050c070c5505903405640756057a0c560564052a05770c580564052305","0x64072d1307060c2d0564052d05600c2d0564054f057c0c4f05640534057b0c","0x6420764075805140c500564055005130c0c64050c070c46484a1091675007","0x6e0c0c64050605190c0c640542051d0c0c64050c7d0c0c64050c070c470592","0x7230c690564056905600c690564050c1e0c000564050c1a0c0c64056705","0x130c6e0564056c05560c6c0564056a6b07580c6b0564050c5a0c6a05640569","0x56e0564056e05340c0705640507052a0c140564051405290c500564055005","0x6f0564050c550c0c640547051d0c0c64050c7d0c0c64050c070c6e07145013","0x7e0c0c64050c070c7372079371700764076f1450102d0c6f0564056f054f0c","0x2a0c710564057105290c700564057005130c7505640574057f0c740564050c","0x820c797877761364056775077170146d0c670564056705810c070564050705","0xc7c0564050c1a0c0c64057a05830c0c64050c070c7b05947a0564077905","0xc810564057f056b0c7f0564057e056a0c0c64057d05690c7e7d0764057c05","0x7805640578052a0c770564057705290c760564057605130c6d05640581056c","0x5130c820564057b05560c0c64050c070c6d78777613056d0564056d05340c","0x1305820564058205340c7805640578052a0c770564057705290c7605640576","0x840564050c720c830564050c1a0c0c640567056e0c0c64050c070c82787776","0x6405858607580c860564050c5a0c85056405848307230c840564058405600c","0x507052a0c730564057305290c720564057205130c880564058705560c8705","0xc0c640548056e0c0c64050c070c880773721305880564058805340c070564","0x50c070c0c95050c710c890564054a05130c0c640558051d0c0c640546056e","0xc0c64050c7d0c890564051305130c0c640558051d0c0c64055505840c0c64","0xc8c0564058b8a07230c8b0564058b05600c8b0564050c850c8a0564050c1a","0x890564058905130c960564053805560c380564058c6807580c680564050c5a","0xc960714891305960564059605340c0705640507052a0c140564051405290c","0x59805600c980564050c720c970564050c1a0c0c64051005730c0c64050c07","0x5560c9a056405809907580c990564050c5a0c80056405989707230c980564","0x340c0705640507052a0c190564051905290c1d0564051d05130c9b0564059a","0x1d079c1413076407050c07050c0c64050c0c0c9b07191d13059b0564059b05","0x140c130564051305130c0c64050c740c1a0564051005100c0c64050c070c19","0x564051e05760c5a0564056005750c0c64050c070c23059d601e0764071a05","0x5790c290564050c780c0c64050c070c0c9e050c710c560564055a05770c58","0x59f3405640756057a0c560564052a05770c580564052305760c2a05640529","0x2d0564052d05600c2d0564054f057c0c4f05640534057b0c0c64050c070c55","0x140c500564055005130c0c64050c070c46484a10a067500764072d1307060c","0x190c0c640542051d0c0c64050c7d0c0c64050c070c4705a106420764075805","0x56905600c690564050c1e0c000564050c1a0c0c640567056e0c0c64050605","0x5560c6c0564056a6b07580c6b0564050c5a0c6a056405690007230c690564","0x340c0705640507052a0c140564051405290c500564055005130c6e0564056c","0xc640547051d0c0c64050c7d0c0c64050c070c6e07145013056e0564056e05","0xc737207a271700764076f1450102d0c6f0564056f054f0c6f0564050c550c","0xc4a0c760564057405670c750564056705470c740564050c500c0c64050c07","0x14860c700564057005130c760564057605460c770564057705480c77056405","0x5000c7d0564050c1a0c0c64050c070c7c7b7a10a379780764077576770771","0x6c0c6d05640581056b0c810564057f056a0c0c64057e05690c7f7e0764057d","0xc7905640579052a0c780564057805290c700564057005130c820564056d05","0x7c8307580c830564050c5a0c0c64050c070c82797870130582056405820534","0x52a0c7a0564057a05290c700564057005130c850564058405560c84056405","0x640567056e0c0c64050c070c857b7a701305850564058505340c7b0564057b","0x56405878607230c870564058705600c870564050c720c860564050c1a0c0c","0x64057205130c8b0564058a05560c8a056405888907580c890564050c5a0c88","0x7737213058b0564058b05340c0705640507052a0c730564057305290c7205","0x5130c0c640558051d0c0c640546056e0c0c640548056e0c0c64050c070c8b","0xc640558051d0c0c64055505840c0c64050c070c0ca4050c710c8c0564054a","0x5600c380564050c850c680564050c1a0c0c64050c7d0c8c0564051305130c","0xc98056405969707580c970564050c5a0c96056405386807230c3805640538","0x705640507052a0c140564051405290c8c0564058c05130c80056405980556","0x50c1a0c0c64051005730c0c64050c070c8007148c1305800564058005340c","0x50c5a0c9b0564059a9907230c9a0564059a05600c9a0564050c720c990564","0x5290c1d0564051d05130ca7056405a605560ca60564059ba507580ca50564","0x50c500ca707191d1305a7056405a705340c0705640507052a0c1905640519","0x51d05460c190564051905480c190564050c4a0c1d0564051405670c140564","0x6005600c0c64050c070c585a2310a8601e1a1064071d19070513420c1d0564","0xa92956076407600c07060c1e0564051e052a0c1a0564051a05290c60056405","0xc64050c070c675007aa2d4f07640713295610870c0c64050c070c55342a10","0xc420564050c4a0c460564054a05670c480564052d05470c4a0564050c500c","0x4846421e1a14860c4f0564054f05130c460564054605460c42056405420548","0x564056b1007880c6b0564050c780c0c64050c070c6a690010ab4706076407","0x640547052a0c060564050605290c4f0564054f05130c6e0564056c05890c6c","0x5a0c0c640510058b0c0c64050c070c6e47064f13056e0564056e058a0c4705","0xc4f0564054f05130c7105640570058c0c700564056a6f07580c6f0564050c","0x70c7169004f13057105640571058a0c6905640569052a0c00056405000529","0x564050c680c720564050c1a0c0c640510058b0c0c640567056e0c0c64050c","0x5747507580c750564050c5a0c74056405737207230c730564057305600c73","0x1e052a0c1a0564051a05290c500564055005130c7705640576058c0c760564","0xc640534056e0c0c64050c070c771e1a5013057705640577058a0c1e056405","0xc6f0c780564050c1a0c0c640513056e0c0c640510058b0c0c640555056e0c","0x290c7b0564052a05130c7a056405797807230c790564057905600c79056405","0xc070c0cac050c710c7e0564057a05700c7d0564051e052a0c7c0564051a05","0x64052305290c7b0564050c05130c0c640513056e0c0c640510058b0c0c6405","0x57e7f07580c7f0564050c5a0c7e0564055805700c7d0564055a052a0c7c05","0x7d052a0c7c0564057c05290c7b0564057b05130c6d05640581058c0c810564","0x50c4648470c132a48470c13136d7d7c7b13056d0564056d058a0c7d056405","0x7050c4648470c132a48470c13ad1007050c4648470c132a48470c130c1007","0xaf131007050c6048470c13551348470c14ae10"],"sierra_program_debug_info":{"type_names":[[0,"RangeCheck"],[1,"Const<felt252, 39878429859757942499084499860145094553463>"],[2,"Const<felt252, 485748461484230571791265682659113160264223489397539653310998840191492913>"],[3,"starknet_multiple_contracts::balance::Balance::__member_module_value::ContractMemberState"],[4,"starknet_multiple_contracts::balance::Balance::ContractState"],[5,"Unit"],[6,"Tuple<starknet_multiple_contracts::balance::Balance::ContractState, Unit>"],[7,"core::panics::Panic"],[8,"Array<felt252>"],[9,"Tuple<core::panics::Panic, Array<felt252>>"],[10,"core::panics::PanicResult::<(starknet_multiple_contracts::balance::Balance::ContractState, ())>"],[11,"Box<felt252>"],[12,"core::option::Option::<core::box::Box::<@core::felt252>>"],[13,"Const<felt252, 375233589013918064796019>"],[14,"Const<felt252, 476442828812030857794232422692155113556837216824>"],[15,"Snapshot<Array<felt252>>"],[16,"core::array::Span::<core::felt252>"],[17,"Tuple<core::array::Span::<core::felt252>>"],[18,"u128"],[19,"Const<u32, 0>"],[20,"u32"],[21,"StorageAddress"],[22,"StorageBaseAddress"],[23,"BuiltinCosts"],[24,"System"],[25,"core::panics::PanicResult::<(core::array::Span::<core::felt252>,)>"],[26,"Const<felt252, 7733229381460288120802334208475838166080759535023995805565484692595>"],[27,"felt252"],[28,"GasBuiltin"]],"libfunc_names":[[0,"revoke_ap_tracking"],[1,"withdraw_gas"],[2,"branch_align"],[3,"struct_deconstruct<core::array::Span::<core::felt252>>"],[4,"store_temp<RangeCheck>"],[5,"array_snapshot_pop_front<felt252>"],[6,"drop<Snapshot<Array<felt252>>>"],[7,"drop<Box<felt252>>"],[8,"array_new<felt252>"],[9,"const_as_immediate<Const<felt252, 7733229381460288120802334208475838166080759535023995805565484692595>>"],[10,"store_temp<felt252>"],[11,"array_append<felt252>"],[12,"struct_construct<core::panics::Panic>"],[13,"struct_construct<Tuple<core::panics::Panic, Array<felt252>>>"],[14,"enum_init<core::panics::PanicResult::<(core::array::Span::<core::felt252>,)>, 1>"],[15,"store_temp<GasBuiltin>"],[16,"store_temp<System>"],[17,"store_temp<core::panics::PanicResult::<(core::array::Span::<core::felt252>,)>>"],[18,"get_builtin_costs"],[19,"store_temp<BuiltinCosts>"],[20,"withdraw_gas_all"],[21,"storage_base_address_const<763158443913282032384596498131031794477249071826004797576159089783775391621>"],[22,"storage_address_from_base"],[23,"const_as_immediate<Const<u32, 0>>"],[24,"store_temp<u32>"],[25,"store_temp<StorageAddress>"],[26,"storage_read_syscall"],[27,"u128s_from_felt252"],[28,"u128_to_felt252"],[29,"snapshot_take<Array<felt252>>"],[30,"drop<Array<felt252>>"],[31,"struct_construct<core::array::Span::<core::felt252>>"],[32,"struct_construct<Tuple<core::array::Span::<core::felt252>>>"],[33,"enum_init<core::panics::PanicResult::<(core::array::Span::<core::felt252>,)>, 0>"],[34,"drop<u128>"],[35,"const_as_immediate<Const<felt252, 476442828812030857794232422692155113556837216824>>"],[36,"store_temp<Array<felt252>>"],[37,"jump"],[38,"const_as_immediate<Const<felt252, 375233589013918064796019>>"],[39,"drop<core::array::Span::<core::felt252>>"],[40,"enable_ap_tracking"],[41,"enum_init<core::option::Option::<core::box::Box::<@core::felt252>>, 0>"],[42,"store_temp<Snapshot<Array<felt252>>>"],[43,"store_temp<core::option::Option::<core::box::Box::<@core::felt252>>>"],[44,"struct_construct<Unit>"],[45,"enum_init<core::option::Option::<core::box::Box::<@core::felt252>>, 1>"],[46,"enum_match<core::option::Option::<core::box::Box::<@core::felt252>>>"],[47,"unbox<felt252>"],[48,"rename<felt252>"],[49,"disable_ap_tracking"],[50,"struct_construct<starknet_multiple_contracts::balance::Balance::__member_module_value::ContractMemberState>"],[51,"struct_construct<starknet_multiple_contracts::balance::Balance::ContractState>"],[52,"store_temp<u128>"],[53,"function_call<user@starknet_multiple_contracts::balance::Balance::Balance::increase>"],[54,"enum_match<core::panics::PanicResult::<(starknet_multiple_contracts::balance::Balance::ContractState, ())>>"],[55,"drop<Tuple<starknet_multiple_contracts::balance::Balance::ContractState, Unit>>"],[56,"drop<Unit>"],[57,"const_as_immediate<Const<felt252, 485748461484230571791265682659113160264223489397539653310998840191492913>>"],[58,"storage_write_syscall"],[59,"u128_overflowing_add"],[60,"struct_construct<Tuple<starknet_multiple_contracts::balance::Balance::ContractState, Unit>>"],[61,"enum_init<core::panics::PanicResult::<(starknet_multiple_contracts::balance::Balance::ContractState, ())>, 0>"],[62,"store_temp<core::panics::PanicResult::<(starknet_multiple_contracts::balance::Balance::ContractState, ())>>"],[63,"drop<starknet_multiple_contracts::balance::Balance::ContractState>"],[64,"enum_init<core::panics::PanicResult::<(starknet_multiple_contracts::balance::Balance::ContractState, ())>, 1>"],[65,"const_as_immediate<Const<felt252, 39878429859757942499084499860145094553463>>"]],"user_func_names":[[0,"starknet_multiple_contracts::balance::Balance::__wrapper__Balance__get"],[1,"starknet_multiple_contracts::balance::Balance::__wrapper__Balance__increase"],[2,"starknet_multiple_contracts::balance::Balance::__wrapper__constructor"],[3,"starknet_multiple_contracts::balance::Balance::Balance::increase"]]},"contract_class_version":"0.1.0","entry_points_by_type":{"EXTERNAL":[{"selector":"0x17c00f03de8b5bd58d2016b59d251c13056b989171c5852949903bc043bc27","function_idx":0},{"selector":"0x9be09a9a955d79baeb70c3b225ab5090fb9bc543cf23547b9f095c38a27574","function_idx":1}],"L1_HANDLER":[],"CONSTRUCTOR":[{"selector":"0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194","function_idx":2}]},"abi":[{"type":"impl","name":"Balance","interface_name":"starknet_multiple_contracts::balance::IBalance"},{"type":"interface","name":"starknet_multiple_contracts::balance::IBalance","items":[{"type":"function","name":"get","inputs":[],"outputs":[{"type":"core::integer::u128"}],"state_mutability":"view"},{"type":"function","name":"increase","inputs":[{"name":"a","type":"core::integer::u128"}],"outputs":[],"state_mutability":"external"}]},{"type":"constructor","name":"constructor","inputs":[{"name":"value_","type":"core::integer::u128"}]},{"type":"event","name":"starknet_multiple_contracts::balance::Balance::Event","kind":"enum","variants":[]}]}
{"prime":"0x800000000000011000000000000000000000000000000000000000000000001","compiler_version":"2.6.3","bytecode":[],"bytecode_segment_lengths":0,"hints":[],"entry_points_by_type":{"EXTERNAL":[],"L1_HANDLER":[],"CONSTRUCTOR":[]}}
{"sierra_program":["0x1","0x5","0x0","0x2","0x6","0x3","0x1","0xff","0x0","0x4","0x0"],"sierra_program_debug_info":{"type_names":[],"libfunc_names":[],"user_func_names":[]},"contract_class_version":"0.1.0","entry_points_by_type":{"EXTERNAL":[],"L1_HANDLER":[],"CONSTRUCTOR":[]},"abi":[{"type":"event","name":"starknet_multiple_contracts::forty_two::FortyTwo::Event","kind":"enum","variants":[]}]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment