Analysis Run

019b477e-d3bb-727c-afba-5770ab48e544

complete

Chain ID

1

Address

0x6caf132c5c7ee5fcbda4d24238f27f14d2f40b5b

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
28205	artifact.fetch	complete	1 / 3	4 months ago
28206	tool.cast_disasm	complete	1 / 3	4 months ago
71111	analysis.bundle	complete	1 / 3	2 weeks ago
71112	capability.graph	complete	1 / 3	2 weeks ago
71113	detector.run	complete	1 / 3	2 weeks ago
71114	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

102

Total opcodes

4132

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0126
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x8a71bb2d
00000018: GT
00000019: PUSH2 0x00a8
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xdef18101
00000023: GT
00000024: PUSH2 0x006d
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xdef18101
0000002e: EQ
0000002f: PUSH2 0x02f0
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xe52a7874
00000039: EQ
0000003a: PUSH2 0x0340
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xecfc7ecc
00000044: EQ
00000045: PUSH2 0x0354
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf2fde38b
0000004f: EQ
00000050: PUSH2 0x035c
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf3f43703
0000005a: EQ
0000005b: PUSH2 0x037b
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xfa4e28f6
00000065: EQ
00000066: PUSH2 0x03a6
00000069: JUMPI
0000006a: PUSH0
0000006b: DUP1
0000006c: REVERT
0000006d: JUMPDEST
0000006e: DUP1
0000006f: PUSH4 0x8a71bb2d
00000074: EQ
00000075: PUSH2 0x025e
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0x8da5cb5b
0000007f: EQ
00000080: PUSH2 0x0281
00000083: JUMPI
00000084: DUP1
00000085: PUSH4 0x95d89b41
0000008a: EQ
0000008b: PUSH2 0x029f
0000008e: JUMPI
0000008f: DUP1
00000090: PUSH4 0x9c3962f0
00000095: EQ
00000096: PUSH2 0x02c9
00000099: JUMPI
0000009a: DUP1
0000009b: PUSH4 0xc7857fb5
000000a0: EQ
000000a1: PUSH2 0x02d1
000000a4: JUMPI
000000a5: PUSH0
000000a6: DUP1
000000a7: REVERT
000000a8: JUMPDEST
000000a9: DUP1
000000aa: PUSH4 0x3ccfd60b
000000af: GT
000000b0: PUSH2 0x00ee
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x3ccfd60b
000000ba: EQ
000000bb: PUSH2 0x01cc
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x41e42f30
000000c5: EQ
000000c6: PUSH2 0x01e0
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x42c47217
000000d0: EQ
000000d1: PUSH2 0x01ff
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x4c00de82
000000db: EQ
000000dc: PUSH2 0x0213
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x6b6c0774
000000e6: EQ
000000e7: PUSH2 0x024a
000000ea: JUMPI
000000eb: PUSH0
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: DUP1
000000f0: PUSH4 0x06fdde03
000000f5: EQ
000000f6: PUSH2 0x012a
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x0dca550e
00000100: EQ
00000101: PUSH2 0x016f
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x37271cc7
0000010b: EQ
0000010c: PUSH2 0x0190
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x37a908fc
00000116: EQ
00000117: PUSH2 0x01a4
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x38739dad
00000121: EQ
00000122: PUSH2 0x01b8
00000125: JUMPI
00000126: JUMPDEST
00000127: PUSH0
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: CALLVALUE
0000012c: DUP1
0000012d: ISZERO
0000012e: PUSH2 0x0135
00000131: JUMPI
00000132: PUSH0
00000133: DUP1
00000134: REVERT
00000135: JUMPDEST
00000136: POP
00000137: PUSH1 0x40
00000139: DUP1
0000013a: MLOAD
0000013b: DUP1
0000013c: DUP3
0000013d: ADD
0000013e: SWAP1
0000013f: SWAP2
00000140: MSTORE
00000141: PUSH1 0x0b
00000143: DUP2
00000144: MSTORE
00000145: PUSH11 0x29b1b932b2b739b0bb32b9
00000151: PUSH1 0xa9
00000153: SHL
00000154: PUSH1 0x20
00000156: DUP3
00000157: ADD
00000158: MSTORE
00000159: JUMPDEST
0000015a: PUSH1 0x40
0000015c: MLOAD
0000015d: PUSH2 0x0166
00000160: SWAP2
00000161: SWAP1
00000162: PUSH2 0x0d9d
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: DUP1
0000016b: SWAP2
0000016c: SUB
0000016d: SWAP1
0000016e: RETURN
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017a
00000176: JUMPI
00000177: PUSH0
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x018e
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x0dea
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x03d0
0000018d: JUMP
0000018e: JUMPDEST
0000018f: STOP
00000190: JUMPDEST
00000191: CALLVALUE
00000192: DUP1
00000193: ISZERO
00000194: PUSH2 0x019b
00000197: JUMPI
00000198: PUSH0
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: POP
0000019d: PUSH2 0x018e
000001a0: PUSH2 0x0480
000001a3: JUMP
000001a4: JUMPDEST
000001a5: CALLVALUE
000001a6: DUP1
000001a7: ISZERO
000001a8: PUSH2 0x01af
000001ab: JUMPI
000001ac: PUSH0
000001ad: DUP1
000001ae: REVERT
000001af: JUMPDEST
000001b0: POP
000001b1: PUSH2 0x0159
000001b4: PUSH2 0x0527
000001b7: JUMP
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: DUP1
000001bb: ISZERO
000001bc: PUSH2 0x01c3
000001bf: JUMPI
000001c0: PUSH0
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: POP
000001c5: PUSH2 0x0159
000001c8: PUSH2 0x0569
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d7
000001d3: JUMPI
000001d4: PUSH0
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: POP
000001d9: PUSH2 0x018e
000001dc: PUSH2 0x0585
000001df: JUMP
000001e0: JUMPDEST
000001e1: CALLVALUE
000001e2: DUP1
000001e3: ISZERO
000001e4: PUSH2 0x01eb
000001e7: JUMPI
000001e8: PUSH0
000001e9: DUP1
000001ea: REVERT
000001eb: JUMPDEST
000001ec: POP
000001ed: PUSH2 0x018e
000001f0: PUSH2 0x01fa
000001f3: CALLDATASIZE
000001f4: PUSH1 0x04
000001f6: PUSH2 0x0e14
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH2 0x05a4
000001fe: JUMP
000001ff: JUMPDEST
00000200: CALLVALUE
00000201: DUP1
00000202: ISZERO
00000203: PUSH2 0x020a
00000206: JUMPI
00000207: PUSH0
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: POP
0000020c: PUSH2 0x018e
0000020f: PUSH2 0x0618
00000212: JUMP
00000213: JUMPDEST
00000214: CALLVALUE
00000215: DUP1
00000216: ISZERO
00000217: PUSH2 0x021e
0000021a: JUMPI
0000021b: PUSH0
0000021c: DUP1
0000021d: REVERT
0000021e: JUMPDEST
0000021f: POP
00000220: PUSH1 0x07
00000222: SLOAD
00000223: PUSH2 0x0232
00000226: SWAP1
00000227: PUSH1 0x01
00000229: PUSH1 0x01
0000022b: PUSH1 0xa0
0000022d: SHL
0000022e: SUB
0000022f: AND
00000230: DUP2
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH1 0x40
00000235: MLOAD
00000236: PUSH1 0x01
00000238: PUSH1 0x01
0000023a: PUSH1 0xa0
0000023c: SHL
0000023d: SUB
0000023e: SWAP1
0000023f: SWAP2
00000240: AND
00000241: DUP2
00000242: MSTORE
00000243: PUSH1 0x20
00000245: ADD
00000246: PUSH2 0x0166
00000249: JUMP
0000024a: JUMPDEST
0000024b: CALLVALUE
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x0255
00000251: JUMPI
00000252: PUSH0
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x0159
0000025a: PUSH2 0x06f0
0000025d: JUMP
0000025e: JUMPDEST
0000025f: CALLVALUE
00000260: DUP1
00000261: ISZERO
00000262: PUSH2 0x0269
00000265: JUMPI
00000266: PUSH0
00000267: DUP1
00000268: REVERT
00000269: JUMPDEST
0000026a: POP
0000026b: PUSH2 0x0273
0000026e: PUSH1 0x08
00000270: SLOAD
00000271: DUP2
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x40
00000276: MLOAD
00000277: SWAP1
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: PUSH2 0x0166
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028c
00000288: JUMPI
00000289: PUSH0
0000028a: DUP1
0000028b: REVERT
0000028c: JUMPDEST
0000028d: POP
0000028e: PUSH0
0000028f: SLOAD
00000290: PUSH2 0x0232
00000293: SWAP1
00000294: PUSH1 0x01
00000296: PUSH1 0x01
00000298: PUSH1 0xa0
0000029a: SHL
0000029b: SUB
0000029c: AND
0000029d: DUP2
0000029e: JUMP
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02aa
000002a6: JUMPI
000002a7: PUSH0
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: POP
000002ac: PUSH1 0x40
000002ae: DUP1
000002af: MLOAD
000002b0: DUP1
000002b1: DUP3
000002b2: ADD
000002b3: SWAP1
000002b4: SWAP2
000002b5: MSTORE
000002b6: PUSH1 0x02
000002b8: DUP2
000002b9: MSTORE
000002ba: PUSH2 0x5353
000002bd: PUSH1 0xf0
000002bf: SHL
000002c0: PUSH1 0x20
000002c2: DUP3
000002c3: ADD
000002c4: MSTORE
000002c5: PUSH2 0x0159
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH2 0x018e
000002cd: PUSH2 0x070f
000002d0: JUMP
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02dc
000002d8: JUMPI
000002d9: PUSH0
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x018e
000002e1: PUSH2 0x02eb
000002e4: CALLDATASIZE
000002e5: PUSH1 0x04
000002e7: PUSH2 0x0e34
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x0889
000002ef: JUMP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: DUP1
000002f3: ISZERO
000002f4: PUSH2 0x02fb
000002f7: JUMPI
000002f8: PUSH0
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH1 0x04
000002ff: SLOAD
00000300: PUSH1 0x05
00000302: SLOAD
00000303: PUSH1 0x06
00000305: SLOAD
00000306: PUSH2 0x031a
00000309: SWAP3
0000030a: PUSH1 0xff
0000030c: AND
0000030d: SWAP2
0000030e: SWAP1
0000030f: PUSH1 0x01
00000311: PUSH1 0x01
00000313: PUSH1 0xa0
00000315: SHL
00000316: SUB
00000317: AND
00000318: DUP4
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH1 0x40
0000031d: DUP1
0000031e: MLOAD
0000031f: SWAP4
00000320: ISZERO
00000321: ISZERO
00000322: DUP5
00000323: MSTORE
00000324: PUSH1 0x20
00000326: DUP5
00000327: ADD
00000328: SWAP3
00000329: SWAP1
0000032a: SWAP3
0000032b: MSTORE
0000032c: PUSH1 0x01
0000032e: PUSH1 0x01
00000330: PUSH1 0xa0
00000332: SHL
00000333: SUB
00000334: AND
00000335: SWAP1
00000336: DUP3
00000337: ADD
00000338: MSTORE
00000339: PUSH1 0x60
0000033b: ADD
0000033c: PUSH2 0x0166
0000033f: JUMP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034b
00000347: JUMPI
00000348: PUSH0
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x018e
00000350: PUSH2 0x0922
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH2 0x018e
00000358: PUSH2 0x0ab1
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0367
00000363: JUMPI
00000364: PUSH0
00000365: DUP1
00000366: REVERT
00000367: JUMPDEST
00000368: POP
00000369: PUSH2 0x018e
0000036c: PUSH2 0x0376
0000036f: CALLDATASIZE
00000370: PUSH1 0x04
00000372: PUSH2 0x0e14
00000375: JUMP
00000376: JUMPDEST
00000377: PUSH2 0x0b85
0000037a: JUMP
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0386
00000382: JUMPI
00000383: PUSH0
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: POP
00000388: PUSH2 0x0273
0000038b: PUSH2 0x0395
0000038e: CALLDATASIZE
0000038f: PUSH1 0x04
00000391: PUSH2 0x0e14
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH1 0x09
00000398: PUSH1 0x20
0000039a: MSTORE
0000039b: PUSH0
0000039c: SWAP1
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x40
000003a1: SWAP1
000003a2: KECCAK256
000003a3: SLOAD
000003a4: DUP2
000003a5: JUMP
000003a6: JUMPDEST
000003a7: CALLVALUE
000003a8: DUP1
000003a9: ISZERO
000003aa: PUSH2 0x03b1
000003ad: JUMPI
000003ae: PUSH0
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH1 0x01
000003b5: SLOAD
000003b6: PUSH1 0x02
000003b8: SLOAD
000003b9: PUSH1 0x03
000003bb: SLOAD
000003bc: PUSH2 0x031a
000003bf: SWAP3
000003c0: PUSH1 0xff
000003c2: AND
000003c3: SWAP2
000003c4: SWAP1
000003c5: PUSH1 0x01
000003c7: PUSH1 0x01
000003c9: PUSH1 0xa0
000003cb: SHL
000003cc: SUB
000003cd: AND
000003ce: DUP4
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH0
000003d2: SLOAD
000003d3: PUSH1 0x01
000003d5: PUSH1 0x01
000003d7: PUSH1 0xa0
000003d9: SHL
000003da: SUB
000003db: AND
000003dc: CALLER
000003dd: EQ
000003de: PUSH2 0x03fa
000003e1: JUMPI
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: PUSH4 0x30cd7471
000003ea: PUSH1 0xe0
000003ec: SHL
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x04
000003f1: ADD
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: DUP1
000003f6: SWAP2
000003f7: SUB
000003f8: SWAP1
000003f9: REVERT
000003fa: JUMPDEST
000003fb: PUSH1 0x40
000003fd: DUP1
000003fe: MLOAD
000003ff: PUSH1 0x60
00000401: DUP2
00000402: ADD
00000403: DUP3
00000404: MSTORE
00000405: PUSH1 0x01
00000407: DUP1
00000408: DUP3
00000409: MSTORE
0000040a: PUSH1 0x20
0000040c: DUP3
0000040d: ADD
0000040e: DUP6
0000040f: SWAP1
00000410: MSTORE
00000411: PUSH1 0x01
00000413: PUSH1 0x01
00000415: PUSH1 0xa0
00000417: SHL
00000418: SUB
00000419: DUP5
0000041a: AND
0000041b: SWAP2
0000041c: DUP4
0000041d: ADD
0000041e: DUP3
0000041f: SWAP1
00000420: MSTORE
00000421: DUP1
00000422: SLOAD
00000423: PUSH1 0xff
00000425: NOT
00000426: AND
00000427: DUP2
00000428: OR
00000429: SWAP1
0000042a: SSTORE
0000042b: PUSH1 0x02
0000042d: DUP5
0000042e: SWAP1
0000042f: SSTORE
00000430: PUSH1 0x03
00000432: DUP1
00000433: SLOAD
00000434: PUSH1 0x01
00000436: PUSH1 0x01
00000438: PUSH1 0xa0
0000043a: SHL
0000043b: SUB
0000043c: NOT
0000043d: AND
0000043e: DUP3
0000043f: OR
00000440: SWAP1
00000441: SSTORE
00000442: SWAP1
00000443: MLOAD
00000444: CALLER
00000445: SWAP1
00000446: PUSH32 0x812dc3f3c55b5006c05a0b308b2cb2eee57e2b53135f8b53ff5728c329b480a0
00000467: SWAP1
00000468: PUSH2 0x0474
0000046b: SWAP1
0000046c: DUP7
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: ADD
00000472: SWAP1
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: MLOAD
00000478: DUP1
00000479: SWAP2
0000047a: SUB
0000047b: SWAP1
0000047c: LOG3
0000047d: POP
0000047e: POP
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH1 0x06
00000483: SLOAD
00000484: PUSH1 0x01
00000486: PUSH1 0x01
00000488: PUSH1 0xa0
0000048a: SHL
0000048b: SUB
0000048c: AND
0000048d: CALLER
0000048e: EQ
0000048f: PUSH2 0x04ab
00000492: JUMPI
00000493: PUSH1 0x40
00000495: MLOAD
00000496: PUSH4 0x173f0e6f
0000049b: PUSH1 0xe2
0000049d: SHL
0000049e: DUP2
0000049f: MSTORE
000004a0: PUSH1 0x04
000004a2: ADD
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: DUP1
000004a7: SWAP2
000004a8: SUB
000004a9: SWAP1
000004aa: REVERT
000004ab: JUMPDEST
000004ac: PUSH1 0x05
000004ae: DUP1
000004af: SLOAD
000004b0: PUSH1 0x40
000004b2: DUP1
000004b3: MLOAD
000004b4: PUSH1 0x60
000004b6: DUP2
000004b7: ADD
000004b8: DUP3
000004b9: MSTORE
000004ba: PUSH0
000004bb: DUP1
000004bc: DUP3
000004bd: MSTORE
000004be: PUSH1 0x20
000004c0: DUP3
000004c1: ADD
000004c2: DUP2
000004c3: SWAP1
000004c4: MSTORE
000004c5: SWAP2
000004c6: ADD
000004c7: DUP2
000004c8: SWAP1
000004c9: MSTORE
000004ca: PUSH1 0x04
000004cc: DUP1
000004cd: SLOAD
000004ce: PUSH1 0xff
000004d0: NOT
000004d1: AND
000004d2: SWAP1
000004d3: SSTORE
000004d4: SWAP1
000004d5: SWAP2
000004d6: SSTORE
000004d7: PUSH1 0x06
000004d9: DUP1
000004da: SLOAD
000004db: PUSH1 0x01
000004dd: PUSH1 0x01
000004df: PUSH1 0xa0
000004e1: SHL
000004e2: SUB
000004e3: NOT
000004e4: AND
000004e5: SWAP1
000004e6: SSTORE
000004e7: PUSH2 0x04ef
000004ea: DUP2
000004eb: PUSH2 0x0ca1
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH1 0x40
000004f2: MLOAD
000004f3: DUP2
000004f4: DUP2
000004f5: MSTORE
000004f6: CALLER
000004f7: SWAP1
000004f8: PUSH32 0x5e9c7ae3229b2cda5065d7058fcc05765c695c29ce05313fbe96cb2ca639231a
00000519: SWAP1
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: PUSH1 0x40
0000051f: MLOAD
00000520: DUP1
00000521: SWAP2
00000522: SUB
00000523: SWAP1
00000524: LOG2
00000525: POP
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x60
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: DUP1
0000052e: PUSH2 0x25a0
00000531: ADD
00000532: PUSH1 0x40
00000534: MSTORE
00000535: DUP1
00000536: PUSH2 0x257b
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: PUSH2 0x1080
00000541: PUSH2 0x257b
00000544: SWAP2
00000545: CODECOPY
00000546: PUSH1 0x40
00000548: MLOAD
00000549: PUSH1 0x20
0000054b: ADD
0000054c: PUSH2 0x0555
0000054f: SWAP2
00000550: SWAP1
00000551: PUSH2 0x0e4b
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x40
00000558: MLOAD
00000559: PUSH1 0x20
0000055b: DUP2
0000055c: DUP4
0000055d: SUB
0000055e: SUB
0000055f: DUP2
00000560: MSTORE
00000561: SWAP1
00000562: PUSH1 0x40
00000564: MSTORE
00000565: SWAP1
00000566: POP
00000567: SWAP1
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH1 0x40
0000056c: MLOAD
0000056d: DUP1
0000056e: PUSH1 0x60
00000570: ADD
00000571: PUSH1 0x40
00000573: MSTORE
00000574: DUP1
00000575: PUSH1 0x3e
00000577: DUP2
00000578: MSTORE
00000579: PUSH1 0x20
0000057b: ADD
0000057c: PUSH2 0x1042
0000057f: PUSH1 0x3e
00000581: SWAP2
00000582: CODECOPY
00000583: DUP2
00000584: JUMP
00000585: JUMPDEST
00000586: CALLER
00000587: PUSH0
00000588: SWAP1
00000589: DUP2
0000058a: MSTORE
0000058b: PUSH1 0x09
0000058d: PUSH1 0x20
0000058f: MSTORE
00000590: PUSH1 0x40
00000592: DUP2
00000593: KECCAK256
00000594: DUP1
00000595: SLOAD
00000596: SWAP2
00000597: SWAP1
00000598: SSTORE
00000599: PUSH2 0x05a1
0000059c: DUP2
0000059d: PUSH2 0x0ca1
000005a0: JUMP
000005a1: JUMPDEST
000005a2: POP
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH1 0x07
000005a7: SLOAD
000005a8: PUSH1 0x01
000005aa: PUSH1 0x01
000005ac: PUSH1 0xa0
000005ae: SHL
000005af: SUB
000005b0: AND
000005b1: CALLER
000005b2: EQ
000005b3: PUSH2 0x05cf
000005b6: JUMPI
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: PUSH4 0x1229bf37
000005bf: PUSH1 0xe1
000005c1: SHL
000005c2: DUP2
000005c3: MSTORE
000005c4: PUSH1 0x04
000005c6: ADD
000005c7: PUSH1 0x40
000005c9: MLOAD
000005ca: DUP1
000005cb: SWAP2
000005cc: SUB
000005cd: SWAP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: PUSH1 0x01
000005d2: PUSH1 0x01
000005d4: PUSH1 0xa0
000005d6: SHL
000005d7: SUB
000005d8: DUP2
000005d9: AND
000005da: PUSH2 0x05f6
000005dd: JUMPI
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: PUSH4 0xe99d5ac5
000005e6: PUSH1 0xe0
000005e8: SHL
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x04
000005ed: ADD
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: DUP1
000005f2: SWAP2
000005f3: SUB
000005f4: SWAP1
000005f5: REVERT
000005f6: JUMPDEST
000005f7: PUSH1 0x07
000005f9: DUP1
000005fa: SLOAD
000005fb: PUSH1 0x01
000005fd: PUSH1 0x01
000005ff: PUSH1 0xa0
00000601: SHL
00000602: SUB
00000603: NOT
00000604: AND
00000605: PUSH1 0x01
00000607: PUSH1 0x01
00000609: PUSH1 0xa0
0000060b: SHL
0000060c: SUB
0000060d: SWAP3
0000060e: SWAP1
0000060f: SWAP3
00000610: AND
00000611: SWAP2
00000612: SWAP1
00000613: SWAP2
00000614: OR
00000615: SWAP1
00000616: SSTORE
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH0
0000061a: SLOAD
0000061b: PUSH1 0x01
0000061d: PUSH1 0x01
0000061f: PUSH1 0xa0
00000621: SHL
00000622: SUB
00000623: AND
00000624: CALLER
00000625: EQ
00000626: PUSH2 0x0642
00000629: JUMPI
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: PUSH4 0x30cd7471
00000632: PUSH1 0xe0
00000634: SHL
00000635: DUP2
00000636: MSTORE
00000637: PUSH1 0x04
00000639: ADD
0000063a: PUSH1 0x40
0000063c: MLOAD
0000063d: DUP1
0000063e: SWAP2
0000063f: SUB
00000640: SWAP1
00000641: REVERT
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: DUP1
00000646: MLOAD
00000647: PUSH1 0x60
00000649: DUP1
0000064a: DUP3
0000064b: ADD
0000064c: DUP4
0000064d: MSTORE
0000064e: PUSH1 0x01
00000650: DUP1
00000651: SLOAD
00000652: PUSH1 0xff
00000654: DUP2
00000655: AND
00000656: ISZERO
00000657: ISZERO
00000658: DUP5
00000659: MSTORE
0000065a: PUSH1 0x02
0000065c: DUP1
0000065d: SLOAD
0000065e: PUSH1 0x20
00000660: DUP1
00000661: DUP8
00000662: ADD
00000663: SWAP2
00000664: DUP3
00000665: MSTORE
00000666: PUSH1 0x03
00000668: DUP1
00000669: SLOAD
0000066a: PUSH1 0x01
0000066c: PUSH1 0x01
0000066e: PUSH1 0xa0
00000670: SHL
00000671: SUB
00000672: DUP1
00000673: DUP3
00000674: AND
00000675: DUP11
00000676: DUP13
00000677: ADD
00000678: SWAP1
00000679: DUP2
0000067a: MSTORE
0000067b: DUP12
0000067c: MLOAD
0000067d: SWAP10
0000067e: DUP11
0000067f: ADD
00000680: DUP13
00000681: MSTORE
00000682: PUSH0
00000683: DUP1
00000684: DUP12
00000685: MSTORE
00000686: SWAP5
00000687: DUP11
00000688: ADD
00000689: DUP6
0000068a: SWAP1
0000068b: MSTORE
0000068c: SWAP9
0000068d: DUP12
0000068e: ADD
0000068f: DUP5
00000690: SWAP1
00000691: MSTORE
00000692: PUSH1 0xff
00000694: NOT
00000695: SWAP1
00000696: SWAP7
00000697: AND
00000698: SWAP1
00000699: SWAP7
0000069a: SSTORE
0000069b: SWAP3
0000069c: SSTORE
0000069d: PUSH1 0x01
0000069f: PUSH1 0x01
000006a1: PUSH1 0xa0
000006a3: SHL
000006a4: SUB
000006a5: NOT
000006a6: SWAP1
000006a7: SWAP4
000006a8: AND
000006a9: SWAP1
000006aa: SSTORE
000006ab: SWAP2
000006ac: MLOAD
000006ad: SWAP1
000006ae: MLOAD
000006af: SWAP4
000006b0: MLOAD
000006b1: SWAP3
000006b2: SWAP4
000006b3: SWAP2
000006b4: AND
000006b5: SWAP2
000006b6: CALLER
000006b7: SWAP2
000006b8: PUSH32 0xf1f48fe426adbd884772d4c165015a460df54458ff7e238dff36fe3c5d341ccf
000006d9: SWAP2
000006da: PUSH2 0x06e5
000006dd: SWAP2
000006de: DUP2
000006df: MSTORE
000006e0: PUSH1 0x20
000006e2: ADD
000006e3: SWAP1
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH1 0x40
000006e8: MLOAD
000006e9: DUP1
000006ea: SWAP2
000006eb: SUB
000006ec: SWAP1
000006ed: LOG3
000006ee: POP
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH1 0x40
000006f3: MLOAD
000006f4: DUP1
000006f5: PUSH2 0x25a0
000006f8: ADD
000006f9: PUSH1 0x40
000006fb: MSTORE
000006fc: DUP1
000006fd: PUSH2 0x257b
00000700: DUP2
00000701: MSTORE
00000702: PUSH1 0x20
00000704: ADD
00000705: PUSH2 0x1080
00000708: PUSH2 0x257b
0000070b: SWAP2
0000070c: CODECOPY
0000070d: DUP2
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x01
00000712: SLOAD
00000713: PUSH1 0xff
00000715: AND
00000716: PUSH2 0x0732
00000719: JUMPI
0000071a: PUSH1 0x40
0000071c: MLOAD
0000071d: PUSH4 0x1d99ddbf
00000722: PUSH1 0xe0
00000724: SHL
00000725: DUP2
00000726: MSTORE
00000727: PUSH1 0x04
00000729: ADD
0000072a: PUSH1 0x40
0000072c: MLOAD
0000072d: DUP1
0000072e: SWAP2
0000072f: SUB
00000730: SWAP1
00000731: REVERT
00000732: JUMPDEST
00000733: PUSH1 0x03
00000735: SLOAD
00000736: PUSH1 0x01
00000738: PUSH1 0x01
0000073a: PUSH1 0xa0
0000073c: SHL
0000073d: SUB
0000073e: AND
0000073f: ISZERO
00000740: DUP1
00000741: ISZERO
00000742: SWAP1
00000743: PUSH2 0x0757
00000746: JUMPI
00000747: POP
00000748: PUSH1 0x03
0000074a: SLOAD
0000074b: PUSH1 0x01
0000074d: PUSH1 0x01
0000074f: PUSH1 0xa0
00000751: SHL
00000752: SUB
00000753: AND
00000754: CALLER
00000755: EQ
00000756: ISZERO
00000757: JUMPDEST
00000758: ISZERO
00000759: PUSH2 0x0775
0000075c: JUMPI
0000075d: PUSH1 0x40
0000075f: MLOAD
00000760: PUSH4 0xd6da33db
00000765: PUSH1 0xe0
00000767: SHL
00000768: DUP2
00000769: MSTORE
0000076a: PUSH1 0x04
0000076c: ADD
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: DUP1
00000771: SWAP2
00000772: SUB
00000773: SWAP1
00000774: REVERT
00000775: JUMPDEST
00000776: PUSH1 0x02
00000778: SLOAD
00000779: CALLVALUE
0000077a: EQ
0000077b: PUSH2 0x0797
0000077e: JUMPI
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: PUSH4 0x356680b7
00000787: PUSH1 0xe0
00000789: SHL
0000078a: DUP2
0000078b: MSTORE
0000078c: PUSH1 0x04
0000078e: ADD
0000078f: PUSH1 0x40
00000791: MLOAD
00000792: DUP1
00000793: SWAP2
00000794: SUB
00000795: SWAP1
00000796: REVERT
00000797: JUMPDEST
00000798: PUSH1 0x40
0000079a: DUP1
0000079b: MLOAD
0000079c: PUSH1 0x60
0000079e: DUP2
0000079f: ADD
000007a0: DUP3
000007a1: MSTORE
000007a2: PUSH0
000007a3: DUP1
000007a4: DUP3
000007a5: MSTORE
000007a6: PUSH1 0x20
000007a8: DUP3
000007a9: ADD
000007aa: DUP2
000007ab: SWAP1
000007ac: MSTORE
000007ad: SWAP2
000007ae: ADD
000007af: DUP2
000007b0: SWAP1
000007b1: MSTORE
000007b2: PUSH1 0x01
000007b4: DUP1
000007b5: SLOAD
000007b6: PUSH1 0xff
000007b8: NOT
000007b9: AND
000007ba: SWAP1
000007bb: SSTORE
000007bc: PUSH1 0x02
000007be: DUP2
000007bf: SWAP1
000007c0: SSTORE
000007c1: PUSH1 0x03
000007c3: DUP1
000007c4: SLOAD
000007c5: PUSH1 0x01
000007c7: PUSH1 0x01
000007c9: PUSH1 0xa0
000007cb: SHL
000007cc: SUB
000007cd: NOT
000007ce: AND
000007cf: SWAP1
000007d0: SSTORE
000007d1: PUSH2 0x07d9
000007d4: CALLVALUE
000007d5: PUSH2 0x0d0b
000007d8: JUMP
000007d9: JUMPDEST
000007da: SWAP1
000007db: POP
000007dc: PUSH2 0x07e5
000007df: DUP2
000007e0: CALLVALUE
000007e1: PUSH2 0x0fe5
000007e4: JUMP
000007e5: JUMPDEST
000007e6: PUSH0
000007e7: DUP1
000007e8: SLOAD
000007e9: PUSH1 0x01
000007eb: PUSH1 0x01
000007ed: PUSH1 0xa0
000007ef: SHL
000007f0: SUB
000007f1: AND
000007f2: DUP2
000007f3: MSTORE
000007f4: PUSH1 0x09
000007f6: PUSH1 0x20
000007f8: MSTORE
000007f9: PUSH1 0x40
000007fb: DUP2
000007fc: KECCAK256
000007fd: DUP1
000007fe: SLOAD
000007ff: SWAP1
00000800: SWAP2
00000801: SWAP1
00000802: PUSH2 0x080c
00000805: SWAP1
00000806: DUP5
00000807: SWAP1
00000808: PUSH2 0x0ff8
0000080b: JUMP
0000080c: JUMPDEST
0000080d: SWAP1
0000080e: SWAP2
0000080f: SSTORE
00000810: POP
00000811: POP
00000812: PUSH1 0x07
00000814: SLOAD
00000815: PUSH1 0x01
00000817: PUSH1 0x01
00000819: PUSH1 0xa0
0000081b: SHL
0000081c: SUB
0000081d: AND
0000081e: PUSH0
0000081f: SWAP1
00000820: DUP2
00000821: MSTORE
00000822: PUSH1 0x09
00000824: PUSH1 0x20
00000826: MSTORE
00000827: PUSH1 0x40
00000829: DUP2
0000082a: KECCAK256
0000082b: DUP1
0000082c: SLOAD
0000082d: DUP4
0000082e: SWAP3
0000082f: SWAP1
00000830: PUSH2 0x083a
00000833: SWAP1
00000834: DUP5
00000835: SWAP1
00000836: PUSH2 0x0ff8
00000839: JUMP
0000083a: JUMPDEST
0000083b: SWAP1
0000083c: SWAP2
0000083d: SSTORE
0000083e: POP
0000083f: POP
00000840: PUSH0
00000841: SLOAD
00000842: PUSH1 0x40
00000844: MLOAD
00000845: CALLVALUE
00000846: DUP2
00000847: MSTORE
00000848: CALLER
00000849: SWAP2
0000084a: PUSH1 0x01
0000084c: PUSH1 0x01
0000084e: PUSH1 0xa0
00000850: SHL
00000851: SUB
00000852: AND
00000853: SWAP1
00000854: PUSH32 0xdb87be53c711a1eb193f5fffddcfd85425990853a8423fa2bfd4a8620c218ed4
00000875: SWAP1
00000876: PUSH1 0x20
00000878: ADD
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: DUP1
0000087d: SWAP2
0000087e: SUB
0000087f: SWAP1
00000880: LOG3
00000881: PUSH2 0x05a1
00000884: CALLER
00000885: PUSH2 0x0d2c
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH0
0000088b: SLOAD
0000088c: PUSH1 0x01
0000088e: PUSH1 0x01
00000890: PUSH1 0xa0
00000892: SHL
00000893: SUB
00000894: AND
00000895: CALLER
00000896: EQ
00000897: PUSH2 0x08b3
0000089a: JUMPI
0000089b: PUSH1 0x40
0000089d: MLOAD
0000089e: PUSH4 0x30cd7471
000008a3: PUSH1 0xe0
000008a5: SHL
000008a6: DUP2
000008a7: MSTORE
000008a8: PUSH1 0x04
000008aa: ADD
000008ab: PUSH1 0x40
000008ad: MLOAD
000008ae: DUP1
000008af: SWAP2
000008b0: SUB
000008b1: SWAP1
000008b2: REVERT
000008b3: JUMPDEST
000008b4: PUSH1 0x40
000008b6: DUP1
000008b7: MLOAD
000008b8: PUSH1 0x60
000008ba: DUP2
000008bb: ADD
000008bc: DUP3
000008bd: MSTORE
000008be: PUSH1 0x01
000008c0: DUP1
000008c1: DUP3
000008c2: MSTORE
000008c3: PUSH1 0x20
000008c5: DUP3
000008c6: ADD
000008c7: DUP5
000008c8: SWAP1
000008c9: MSTORE
000008ca: PUSH0
000008cb: SWAP2
000008cc: DUP4
000008cd: ADD
000008ce: DUP3
000008cf: SWAP1
000008d0: MSTORE
000008d1: DUP1
000008d2: SLOAD
000008d3: PUSH1 0xff
000008d5: NOT
000008d6: AND
000008d7: DUP2
000008d8: OR
000008d9: SWAP1
000008da: SSTORE
000008db: PUSH1 0x02
000008dd: DUP4
000008de: SWAP1
000008df: SSTORE
000008e0: PUSH1 0x03
000008e2: DUP1
000008e3: SLOAD
000008e4: PUSH1 0x01
000008e6: PUSH1 0x01
000008e8: PUSH1 0xa0
000008ea: SHL
000008eb: SUB
000008ec: NOT
000008ed: AND
000008ee: SWAP1
000008ef: SSTORE
000008f0: SWAP1
000008f1: MLOAD
000008f2: CALLER
000008f3: SWAP1
000008f4: PUSH32 0x812dc3f3c55b5006c05a0b308b2cb2eee57e2b53135f8b53ff5728c329b480a0
00000915: SWAP1
00000916: PUSH2 0x06e5
00000919: SWAP1
0000091a: DUP6
0000091b: DUP2
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: ADD
00000920: SWAP1
00000921: JUMP
00000922: JUMPDEST
00000923: PUSH0
00000924: SLOAD
00000925: PUSH1 0x01
00000927: PUSH1 0x01
00000929: PUSH1 0xa0
0000092b: SHL
0000092c: SUB
0000092d: AND
0000092e: CALLER
0000092f: EQ
00000930: PUSH2 0x094c
00000933: JUMPI
00000934: PUSH1 0x40
00000936: MLOAD
00000937: PUSH4 0x30cd7471
0000093c: PUSH1 0xe0
0000093e: SHL
0000093f: DUP2
00000940: MSTORE
00000941: PUSH1 0x04
00000943: ADD
00000944: PUSH1 0x40
00000946: MLOAD
00000947: DUP1
00000948: SWAP2
00000949: SUB
0000094a: SWAP1
0000094b: REVERT
0000094c: JUMPDEST
0000094d: PUSH1 0x04
0000094f: SLOAD
00000950: PUSH1 0xff
00000952: AND
00000953: PUSH2 0x096f
00000956: JUMPI
00000957: PUSH1 0x40
00000959: MLOAD
0000095a: PUSH4 0x13650ef1
0000095f: PUSH1 0xe1
00000961: SHL
00000962: DUP2
00000963: MSTORE
00000964: PUSH1 0x04
00000966: ADD
00000967: PUSH1 0x40
00000969: MLOAD
0000096a: DUP1
0000096b: SWAP2
0000096c: SUB
0000096d: SWAP1
0000096e: REVERT
0000096f: JUMPDEST
00000970: PUSH1 0x05
00000972: DUP1
00000973: SLOAD
00000974: PUSH1 0x06
00000976: DUP1
00000977: SLOAD
00000978: PUSH1 0x40
0000097a: DUP1
0000097b: MLOAD
0000097c: PUSH1 0x60
0000097e: DUP1
0000097f: DUP3
00000980: ADD
00000981: DUP4
00000982: MSTORE
00000983: PUSH0
00000984: DUP1
00000985: DUP4
00000986: MSTORE
00000987: PUSH1 0x20
00000989: DUP1
0000098a: DUP5
0000098b: ADD
0000098c: DUP3
0000098d: SWAP1
0000098e: MSTORE
0000098f: SWAP3
00000990: DUP5
00000991: ADD
00000992: DUP2
00000993: SWAP1
00000994: MSTORE
00000995: PUSH1 0x01
00000997: DUP1
00000998: SLOAD
00000999: PUSH1 0xff
0000099b: NOT
0000099c: SWAP1
0000099d: DUP2
0000099e: AND
0000099f: SWAP1
000009a0: SWAP2
000009a1: SSTORE
000009a2: PUSH1 0x02
000009a4: DUP3
000009a5: SWAP1
000009a6: SSTORE
000009a7: PUSH1 0x03
000009a9: DUP1
000009aa: SLOAD
000009ab: PUSH1 0x01
000009ad: PUSH1 0x01
000009af: PUSH1 0xa0
000009b1: SHL
000009b2: SUB
000009b3: NOT
000009b4: SWAP1
000009b5: DUP2
000009b6: AND
000009b7: SWAP1
000009b8: SWAP2
000009b9: SSTORE
000009ba: DUP6
000009bb: MLOAD
000009bc: SWAP4
000009bd: DUP5
000009be: ADD
000009bf: DUP7
000009c0: MSTORE
000009c1: DUP3
000009c2: DUP5
000009c3: MSTORE
000009c4: SWAP4
000009c5: DUP4
000009c6: ADD
000009c7: DUP3
000009c8: SWAP1
000009c9: MSTORE
000009ca: SWAP2
000009cb: SWAP1
000009cc: SWAP4
000009cd: ADD
000009ce: DUP4
000009cf: SWAP1
000009d0: MSTORE
000009d1: PUSH1 0x04
000009d3: DUP1
000009d4: SLOAD
000009d5: SWAP1
000009d6: SWAP2
000009d7: AND
000009d8: SWAP1
000009d9: SSTORE
000009da: SWAP5
000009db: DUP2
000009dc: SWAP1
000009dd: SSTORE
000009de: SWAP4
000009df: DUP2
000009e0: AND
000009e1: SWAP1
000009e2: SWAP2
000009e3: SSTORE
000009e4: SWAP1
000009e5: SWAP2
000009e6: PUSH1 0x01
000009e8: PUSH1 0x01
000009ea: PUSH1 0xa0
000009ec: SHL
000009ed: SUB
000009ee: SWAP1
000009ef: SWAP2
000009f0: AND
000009f1: SWAP1
000009f2: PUSH2 0x09fa
000009f5: DUP4
000009f6: PUSH2 0x0d0b
000009f9: JUMP
000009fa: JUMPDEST
000009fb: SWAP1
000009fc: POP
000009fd: PUSH2 0x0a06
00000a00: DUP2
00000a01: DUP5
00000a02: PUSH2 0x0fe5
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH0
00000a08: DUP1
00000a09: SLOAD
00000a0a: PUSH1 0x01
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: SHL
00000a11: SUB
00000a12: AND
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x09
00000a17: PUSH1 0x20
00000a19: MSTORE
00000a1a: PUSH1 0x40
00000a1c: DUP2
00000a1d: KECCAK256
00000a1e: DUP1
00000a1f: SLOAD
00000a20: SWAP1
00000a21: SWAP2
00000a22: SWAP1
00000a23: PUSH2 0x0a2d
00000a26: SWAP1
00000a27: DUP5
00000a28: SWAP1
00000a29: PUSH2 0x0ff8
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: SWAP1
00000a2f: SWAP2
00000a30: SSTORE
00000a31: POP
00000a32: POP
00000a33: PUSH1 0x07
00000a35: SLOAD
00000a36: PUSH1 0x01
00000a38: PUSH1 0x01
00000a3a: PUSH1 0xa0
00000a3c: SHL
00000a3d: SUB
00000a3e: AND
00000a3f: PUSH0
00000a40: SWAP1
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x09
00000a45: PUSH1 0x20
00000a47: MSTORE
00000a48: PUSH1 0x40
00000a4a: DUP2
00000a4b: KECCAK256
00000a4c: DUP1
00000a4d: SLOAD
00000a4e: DUP4
00000a4f: SWAP3
00000a50: SWAP1
00000a51: PUSH2 0x0a5b
00000a54: SWAP1
00000a55: DUP5
00000a56: SWAP1
00000a57: PUSH2 0x0ff8
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: SWAP1
00000a5d: SWAP2
00000a5e: SSTORE
00000a5f: POP
00000a60: POP
00000a61: PUSH0
00000a62: SLOAD
00000a63: PUSH1 0x40
00000a65: MLOAD
00000a66: DUP5
00000a67: DUP2
00000a68: MSTORE
00000a69: PUSH1 0x01
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0xa0
00000a6f: SHL
00000a70: SUB
00000a71: DUP5
00000a72: DUP2
00000a73: AND
00000a74: SWAP3
00000a75: AND
00000a76: SWAP1
00000a77: PUSH32 0xd32f7ef8c20232133e4dbd098b49d6b86ab580eee8a90a815925e90058474963
00000a98: SWAP1
00000a99: PUSH1 0x20
00000a9b: ADD
00000a9c: PUSH1 0x40
00000a9e: MLOAD
00000a9f: DUP1
00000aa0: SWAP2
00000aa1: SUB
00000aa2: SWAP1
00000aa3: LOG3
00000aa4: PUSH2 0x0aac
00000aa7: DUP3
00000aa8: PUSH2 0x0d2c
00000aab: JUMP
00000aac: JUMPDEST
00000aad: POP
00000aae: POP
00000aaf: POP
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH1 0x05
00000ab4: SLOAD
00000ab5: CALLVALUE
00000ab6: GT
00000ab7: PUSH2 0x0ad3
00000aba: JUMPI
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: PUSH4 0x356680b7
00000ac3: PUSH1 0xe0
00000ac5: SHL
00000ac6: DUP2
00000ac7: MSTORE
00000ac8: PUSH1 0x04
00000aca: ADD
00000acb: PUSH1 0x40
00000acd: MLOAD
00000ace: DUP1
00000acf: SWAP2
00000ad0: SUB
00000ad1: SWAP1
00000ad2: REVERT
00000ad3: JUMPDEST
00000ad4: PUSH1 0x05
00000ad6: SLOAD
00000ad7: ISZERO
00000ad8: PUSH2 0x0b0d
00000adb: JUMPI
00000adc: PUSH1 0x05
00000ade: SLOAD
00000adf: PUSH1 0x06
00000ae1: SLOAD
00000ae2: PUSH1 0x01
00000ae4: PUSH1 0x01
00000ae6: PUSH1 0xa0
00000ae8: SHL
00000ae9: SUB
00000aea: AND
00000aeb: PUSH0
00000aec: SWAP1
00000aed: DUP2
00000aee: MSTORE
00000aef: PUSH1 0x09
00000af1: PUSH1 0x20
00000af3: MSTORE
00000af4: PUSH1 0x40
00000af6: DUP2
00000af7: KECCAK256
00000af8: DUP1
00000af9: SLOAD
00000afa: SWAP1
00000afb: SWAP2
00000afc: SWAP1
00000afd: PUSH2 0x0b07
00000b00: SWAP1
00000b01: DUP5
00000b02: SWAP1
00000b03: PUSH2 0x0ff8
00000b06: JUMP
00000b07: JUMPDEST
00000b08: SWAP1
00000b09: SWAP2
00000b0a: SSTORE
00000b0b: POP
00000b0c: POP
00000b0d: JUMPDEST
00000b0e: PUSH1 0x40
00000b10: DUP1
00000b11: MLOAD
00000b12: PUSH1 0x60
00000b14: DUP2
00000b15: ADD
00000b16: DUP3
00000b17: MSTORE
00000b18: PUSH1 0x01
00000b1a: DUP1
00000b1b: DUP3
00000b1c: MSTORE
00000b1d: CALLVALUE
00000b1e: PUSH1 0x20
00000b20: DUP1
00000b21: DUP5
00000b22: ADD
00000b23: DUP3
00000b24: SWAP1
00000b25: MSTORE
00000b26: CALLER
00000b27: SWAP4
00000b28: DUP6
00000b29: ADD
00000b2a: DUP5
00000b2b: SWAP1
00000b2c: MSTORE
00000b2d: PUSH1 0x04
00000b2f: DUP1
00000b30: SLOAD
00000b31: PUSH1 0xff
00000b33: NOT
00000b34: AND
00000b35: SWAP1
00000b36: SWAP4
00000b37: OR
00000b38: SWAP1
00000b39: SWAP3
00000b3a: SSTORE
00000b3b: PUSH1 0x05
00000b3d: DUP2
00000b3e: SWAP1
00000b3f: SSTORE
00000b40: PUSH1 0x06
00000b42: DUP1
00000b43: SLOAD
00000b44: PUSH1 0x01
00000b46: PUSH1 0x01
00000b48: PUSH1 0xa0
00000b4a: SHL
00000b4b: SUB
00000b4c: NOT
00000b4d: AND
00000b4e: DUP5
00000b4f: OR
00000b50: SWAP1
00000b51: SSTORE
00000b52: SWAP3
00000b53: MLOAD
00000b54: SWAP3
00000b55: DUP4
00000b56: MSTORE
00000b57: SWAP1
00000b58: SWAP2
00000b59: PUSH32 0x5445de3f4fe13efb115ec05c57e09cc0e277801d0cd2ae780457ebcd8688c391
00000b7a: SWAP2
00000b7b: ADD
00000b7c: PUSH1 0x40
00000b7e: MLOAD
00000b7f: DUP1
00000b80: SWAP2
00000b81: SUB
00000b82: SWAP1
00000b83: LOG2
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH0
00000b87: SLOAD
00000b88: PUSH1 0x01
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0xa0
00000b8e: SHL
00000b8f: SUB
00000b90: AND
00000b91: CALLER
00000b92: EQ
00000b93: PUSH2 0x0baf
00000b96: JUMPI
00000b97: PUSH1 0x40
00000b99: MLOAD
00000b9a: PUSH4 0x30cd7471
00000b9f: PUSH1 0xe0
00000ba1: SHL
00000ba2: DUP2
00000ba3: MSTORE
00000ba4: PUSH1 0x04
00000ba6: ADD
00000ba7: PUSH1 0x40
00000ba9: MLOAD
00000baa: DUP1
00000bab: SWAP2
00000bac: SUB
00000bad: SWAP1
00000bae: REVERT
00000baf: JUMPDEST
00000bb0: PUSH1 0x01
00000bb2: PUSH1 0x01
00000bb4: PUSH1 0xa0
00000bb6: SHL
00000bb7: SUB
00000bb8: DUP2
00000bb9: AND
00000bba: PUSH2 0x0bd6
00000bbd: JUMPI
00000bbe: PUSH1 0x40
00000bc0: MLOAD
00000bc1: PUSH4 0xe99d5ac5
00000bc6: PUSH1 0xe0
00000bc8: SHL
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x04
00000bcd: ADD
00000bce: PUSH1 0x40
00000bd0: MLOAD
00000bd1: DUP1
00000bd2: SWAP2
00000bd3: SUB
00000bd4: SWAP1
00000bd5: REVERT
00000bd6: JUMPDEST
00000bd7: PUSH2 0x0bdf
00000bda: DUP2
00000bdb: PUSH2 0x0d2c
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x06
00000be2: SLOAD
00000be3: PUSH1 0x01
00000be5: PUSH1 0x01
00000be7: PUSH1 0xa0
00000be9: SHL
00000bea: SUB
00000beb: DUP1
00000bec: DUP4
00000bed: AND
00000bee: SWAP2
00000bef: AND
00000bf0: SUB
00000bf1: PUSH2 0x0c5c
00000bf4: JUMPI
00000bf5: PUSH1 0x05
00000bf7: DUP1
00000bf8: SLOAD
00000bf9: PUSH1 0x40
00000bfb: DUP1
00000bfc: MLOAD
00000bfd: PUSH1 0x60
00000bff: DUP2
00000c00: ADD
00000c01: DUP3
00000c02: MSTORE
00000c03: PUSH0
00000c04: DUP1
00000c05: DUP3
00000c06: MSTORE
00000c07: PUSH1 0x20
00000c09: DUP1
00000c0a: DUP4
00000c0b: ADD
00000c0c: DUP3
00000c0d: SWAP1
00000c0e: MSTORE
00000c0f: SWAP2
00000c10: DUP4
00000c11: ADD
00000c12: DUP2
00000c13: SWAP1
00000c14: MSTORE
00000c15: PUSH1 0x04
00000c17: DUP1
00000c18: SLOAD
00000c19: PUSH1 0xff
00000c1b: NOT
00000c1c: AND
00000c1d: SWAP1
00000c1e: SSTORE
00000c1f: SWAP4
00000c20: DUP5
00000c21: SWAP1
00000c22: SSTORE
00000c23: PUSH1 0x06
00000c25: DUP1
00000c26: SLOAD
00000c27: PUSH1 0x01
00000c29: PUSH1 0x01
00000c2b: PUSH1 0xa0
00000c2d: SHL
00000c2e: SUB
00000c2f: NOT
00000c30: AND
00000c31: SWAP1
00000c32: SSTORE
00000c33: PUSH1 0x01
00000c35: PUSH1 0x01
00000c37: PUSH1 0xa0
00000c39: SHL
00000c3a: SUB
00000c3b: DUP6
00000c3c: AND
00000c3d: DUP5
00000c3e: MSTORE
00000c3f: PUSH1 0x09
00000c41: SWAP1
00000c42: MSTORE
00000c43: DUP3
00000c44: KECCAK256
00000c45: DUP1
00000c46: SLOAD
00000c47: SWAP2
00000c48: SWAP3
00000c49: DUP4
00000c4a: SWAP3
00000c4b: PUSH2 0x0c55
00000c4e: SWAP1
00000c4f: DUP5
00000c50: SWAP1
00000c51: PUSH2 0x0ff8
00000c54: JUMP
00000c55: JUMPDEST
00000c56: SWAP1
00000c57: SWAP2
00000c58: SSTORE
00000c59: POP
00000c5a: POP
00000c5b: POP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x01
00000c5f: SLOAD
00000c60: PUSH1 0xff
00000c62: AND
00000c63: ISZERO
00000c64: PUSH2 0x05a1
00000c67: JUMPI
00000c68: PUSH1 0x40
00000c6a: DUP1
00000c6b: MLOAD
00000c6c: PUSH1 0x60
00000c6e: DUP2
00000c6f: ADD
00000c70: DUP3
00000c71: MSTORE
00000c72: PUSH0
00000c73: DUP1
00000c74: DUP3
00000c75: MSTORE
00000c76: PUSH1 0x20
00000c78: DUP3
00000c79: ADD
00000c7a: DUP2
00000c7b: SWAP1
00000c7c: MSTORE
00000c7d: SWAP2
00000c7e: ADD
00000c7f: DUP2
00000c80: SWAP1
00000c81: MSTORE
00000c82: PUSH1 0x01
00000c84: DUP1
00000c85: SLOAD
00000c86: PUSH1 0xff
00000c88: NOT
00000c89: AND
00000c8a: SWAP1
00000c8b: SSTORE
00000c8c: PUSH1 0x02
00000c8e: SSTORE
00000c8f: PUSH1 0x03
00000c91: DUP1
00000c92: SLOAD
00000c93: PUSH1 0x01
00000c95: PUSH1 0x01
00000c97: PUSH1 0xa0
00000c99: SHL
00000c9a: SUB
00000c9b: NOT
00000c9c: AND
00000c9d: SWAP1
00000c9e: SSTORE
00000c9f: POP
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: PUSH0
00000ca6: SWAP1
00000ca7: CALLER
00000ca8: SWAP1
00000ca9: DUP4
00000caa: SWAP1
00000cab: DUP4
00000cac: DUP2
00000cad: DUP2
00000cae: DUP2
00000caf: DUP6
00000cb0: DUP8
00000cb1: GAS
00000cb2: CALL
00000cb3: SWAP3
00000cb4: POP
00000cb5: POP
00000cb6: POP
00000cb7: RETURNDATASIZE
00000cb8: DUP1
00000cb9: PUSH0
00000cba: DUP2
00000cbb: EQ
00000cbc: PUSH2 0x0ce0
00000cbf: JUMPI
00000cc0: PUSH1 0x40
00000cc2: MLOAD
00000cc3: SWAP2
00000cc4: POP
00000cc5: PUSH1 0x1f
00000cc7: NOT
00000cc8: PUSH1 0x3f
00000cca: RETURNDATASIZE
00000ccb: ADD
00000ccc: AND
00000ccd: DUP3
00000cce: ADD
00000ccf: PUSH1 0x40
00000cd1: MSTORE
00000cd2: RETURNDATASIZE
00000cd3: DUP3
00000cd4: MSTORE
00000cd5: RETURNDATASIZE
00000cd6: PUSH0
00000cd7: PUSH1 0x20
00000cd9: DUP5
00000cda: ADD
00000cdb: RETURNDATACOPY
00000cdc: PUSH2 0x0ce5
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH1 0x60
00000ce3: SWAP2
00000ce4: POP
00000ce5: JUMPDEST
00000ce6: POP
00000ce7: POP
00000ce8: SWAP1
00000ce9: POP
00000cea: DUP1
00000ceb: PUSH2 0x0d07
00000cee: JUMPI
00000cef: PUSH1 0x40
00000cf1: MLOAD
00000cf2: PUSH4 0x42bb5709
00000cf7: PUSH1 0xe0
00000cf9: SHL
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x04
00000cfe: ADD
00000cff: PUSH1 0x40
00000d01: MLOAD
00000d02: DUP1
00000d03: SWAP2
00000d04: SUB
00000d05: SWAP1
00000d06: REVERT
00000d07: JUMPDEST
00000d08: POP
00000d09: POP
00000d0a: JUMP
00000d0b: JUMPDEST
00000d0c: PUSH0
00000d0d: PUSH1 0x64
00000d0f: PUSH1 0x08
00000d11: SLOAD
00000d12: DUP4
00000d13: PUSH2 0x0d1c
00000d16: SWAP2
00000d17: SWAP1
00000d18: PUSH2 0x100b
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: PUSH2 0x0d26
00000d20: SWAP2
00000d21: SWAP1
00000d22: PUSH2 0x1022
00000d25: JUMP
00000d26: JUMPDEST
00000d27: SWAP3
00000d28: SWAP2
00000d29: POP
00000d2a: POP
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: PUSH0
00000d2e: DUP1
00000d2f: SLOAD
00000d30: PUSH1 0x01
00000d32: PUSH1 0x01
00000d34: PUSH1 0xa0
00000d36: SHL
00000d37: SUB
00000d38: DUP4
00000d39: DUP2
00000d3a: AND
00000d3b: PUSH1 0x01
00000d3d: PUSH1 0x01
00000d3f: PUSH1 0xa0
00000d41: SHL
00000d42: SUB
00000d43: NOT
00000d44: DUP4
00000d45: AND
00000d46: DUP2
00000d47: OR
00000d48: DUP5
00000d49: SSTORE
00000d4a: PUSH1 0x40
00000d4c: MLOAD
00000d4d: SWAP2
00000d4e: SWAP1
00000d4f: SWAP3
00000d50: AND
00000d51: SWAP3
00000d52: DUP4
00000d53: SWAP2
00000d54: PUSH32 0xb0594827696749bdc48b310d4a5cfee5e9a89491f1c6bea2b928c2c33db414de
00000d75: SWAP2
00000d76: SWAP1
00000d77: LOG3
00000d78: POP
00000d79: POP
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH0
00000d7d: JUMPDEST
00000d7e: DUP4
00000d7f: DUP2
00000d80: LT
00000d81: ISZERO
00000d82: PUSH2 0x0d95
00000d85: JUMPI
00000d86: DUP2
00000d87: DUP2
00000d88: ADD
00000d89: MLOAD
00000d8a: DUP4
00000d8b: DUP3
00000d8c: ADD
00000d8d: MSTORE
00000d8e: PUSH1 0x20
00000d90: ADD
00000d91: PUSH2 0x0d7d
00000d94: JUMP
00000d95: JUMPDEST
00000d96: POP
00000d97: POP
00000d98: PUSH0
00000d99: SWAP2
00000d9a: ADD
00000d9b: MSTORE
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: PUSH1 0x20
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH0
00000da3: DUP3
00000da4: MLOAD
00000da5: DUP1
00000da6: PUSH1 0x20
00000da8: DUP5
00000da9: ADD
00000daa: MSTORE
00000dab: PUSH2 0x0dbb
00000dae: DUP2
00000daf: PUSH1 0x40
00000db1: DUP6
00000db2: ADD
00000db3: PUSH1 0x20
00000db5: DUP8
00000db6: ADD
00000db7: PUSH2 0x0d7b
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x1f
00000dbe: ADD
00000dbf: PUSH1 0x1f
00000dc1: NOT
00000dc2: AND
00000dc3: SWAP2
00000dc4: SWAP1
00000dc5: SWAP2
00000dc6: ADD
00000dc7: PUSH1 0x40
00000dc9: ADD
00000dca: SWAP3
00000dcb: SWAP2
00000dcc: POP
00000dcd: POP
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: DUP1
00000dd1: CALLDATALOAD
00000dd2: PUSH1 0x01
00000dd4: PUSH1 0x01
00000dd6: PUSH1 0xa0
00000dd8: SHL
00000dd9: SUB
00000dda: DUP2
00000ddb: AND
00000ddc: DUP2
00000ddd: EQ
00000dde: PUSH2 0x0de5
00000de1: JUMPI
00000de2: PUSH0
00000de3: DUP1
00000de4: REVERT
00000de5: JUMPDEST
00000de6: SWAP2
00000de7: SWAP1
00000de8: POP
00000de9: JUMP
00000dea: JUMPDEST
00000deb: PUSH0
00000dec: DUP1
00000ded: PUSH1 0x40
00000def: DUP4
00000df0: DUP6
00000df1: SUB
00000df2: SLT
00000df3: ISZERO
00000df4: PUSH2 0x0dfb
00000df7: JUMPI
00000df8: PUSH0
00000df9: DUP1
00000dfa: REVERT
00000dfb: JUMPDEST
00000dfc: DUP3
00000dfd: CALLDATALOAD
00000dfe: SWAP2
00000dff: POP
00000e00: PUSH2 0x0e0b
00000e03: PUSH1 0x20
00000e05: DUP5
00000e06: ADD
00000e07: PUSH2 0x0dcf
00000e0a: JUMP
00000e0b: JUMPDEST
00000e0c: SWAP1
00000e0d: POP
00000e0e: SWAP3
00000e0f: POP
00000e10: SWAP3
00000e11: SWAP1
00000e12: POP
00000e13: JUMP
00000e14: JUMPDEST
00000e15: PUSH0
00000e16: PUSH1 0x20
00000e18: DUP3
00000e19: DUP5
00000e1a: SUB
00000e1b: SLT
00000e1c: ISZERO
00000e1d: PUSH2 0x0e24
00000e20: JUMPI
00000e21: PUSH0
00000e22: DUP1
00000e23: REVERT
00000e24: JUMPDEST
00000e25: PUSH2 0x0e2d
00000e28: DUP3
00000e29: PUSH2 0x0dcf
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: SWAP4
00000e2f: SWAP3
00000e30: POP
00000e31: POP
00000e32: POP
00000e33: JUMP
00000e34: JUMPDEST
00000e35: PUSH0
00000e36: PUSH1 0x20
00000e38: DUP3
00000e39: DUP5
00000e3a: SUB
00000e3b: SLT
00000e3c: ISZERO
00000e3d: PUSH2 0x0e44
00000e40: JUMPI
00000e41: PUSH0
00000e42: DUP1
00000e43: REVERT
00000e44: JUMPDEST
00000e45: POP
00000e46: CALLDATALOAD
00000e47: SWAP2
00000e48: SWAP1
00000e49: POP
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH32 0x3c21444f43545950452068746d6c3e3c68746d6c3e3c686561643e3c7469746c
00000e6d: DUP2
00000e6e: MSTORE
00000e6f: PUSH2 0x329f
00000e72: PUSH1 0xf1
00000e74: SHL
00000e75: PUSH1 0x20
00000e77: DUP3
00000e78: ADD
00000e79: MSTORE
00000e7a: PUSH11 0x29b1b932b2b739b0bb32b9
00000e86: PUSH1 0xa9
00000e88: SHL
00000e89: PUSH1 0x22
00000e8b: DUP3
00000e8c: ADD
00000e8d: MSTORE
00000e8e: PUSH32 0x3c2f7469746c653e3c6d657461206e616d653d2276696577706f72742220636f
00000eaf: PUSH1 0x2d
00000eb1: DUP3
00000eb2: ADD
00000eb3: MSTORE
00000eb4: PUSH32 0x6e74656e743d2277696474683d6465766963652d77696474682c20696e697469
00000ed5: PUSH1 0x4d
00000ed7: DUP3
00000ed8: ADD
00000ed9: MSTORE
00000eda: PUSH32 0x616c2d7363616c653d3122202f3e3c7374796c653e68746d6c2c626f64797b62
00000efb: PUSH1 0x6d
00000efd: DUP3
00000efe: ADD
00000eff: MSTORE
00000f00: PUSH32 0x61636b67726f756e643a233936393639363b6d617267696e3a303b7061646469
00000f21: PUSH1 0x8d
00000f23: DUP3
00000f24: ADD
00000f25: MSTORE
00000f26: PUSH32 0x6e673a303b6f766572666c6f773a68696464656e3b7d3c2f7374796c653e3c2f
00000f47: PUSH1 0xad
00000f49: DUP3
00000f4a: ADD
00000f4b: MSTORE
00000f4c: PUSH32 0x686561643e3c626f64793e3c73637269707420747970653d22746578742f6a61
00000f6d: PUSH1 0xcd
00000f6f: DUP3
00000f70: ADD
00000f71: MSTORE
00000f72: PUSH10 0x3b30b9b1b934b83a111f
00000f7d: PUSH1 0xb1
00000f7f: SHL
00000f80: PUSH1 0xed
00000f82: DUP3
00000f83: ADD
00000f84: MSTORE
00000f85: PUSH0
00000f86: DUP3
00000f87: MLOAD
00000f88: PUSH2 0x0f98
00000f8b: DUP2
00000f8c: PUSH1 0xf7
00000f8e: DUP6
00000f8f: ADD
00000f90: PUSH1 0x20
00000f92: DUP8
00000f93: ADD
00000f94: PUSH2 0x0d7b
00000f97: JUMP
00000f98: JUMPDEST
00000f99: DUP3
00000f9a: ADD
00000f9b: PUSH2 0x0fc6
00000f9e: PUSH1 0xf7
00000fa0: DUP3
00000fa1: ADD
00000fa2: PUSH32 0x3c2f7363726970743e3c2f626f64793e3c2f68746d6c3e000000000000000000
00000fc3: SWAP1
00000fc4: MSTORE
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: PUSH2 0x010e
00000fca: ADD
00000fcb: SWAP4
00000fcc: SWAP3
00000fcd: POP
00000fce: POP
00000fcf: POP
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: PUSH4 0x4e487b71
00000fd7: PUSH1 0xe0
00000fd9: SHL
00000fda: PUSH0
00000fdb: MSTORE
00000fdc: PUSH1 0x11
00000fde: PUSH1 0x04
00000fe0: MSTORE
00000fe1: PUSH1 0x24
00000fe3: PUSH0
00000fe4: REVERT
00000fe5: JUMPDEST
00000fe6: DUP2
00000fe7: DUP2
00000fe8: SUB
00000fe9: DUP2
00000fea: DUP2
00000feb: GT
00000fec: ISZERO
00000fed: PUSH2 0x0d26
00000ff0: JUMPI
00000ff1: PUSH2 0x0d26
00000ff4: PUSH2 0x0fd1
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: DUP1
00000ffa: DUP3
00000ffb: ADD
00000ffc: DUP1
00000ffd: DUP3
00000ffe: GT
00000fff: ISZERO
00001000: PUSH2 0x0d26
00001003: JUMPI
00001004: PUSH2 0x0d26
00001007: PUSH2 0x0fd1
0000100a: JUMP
0000100b: JUMPDEST
0000100c: DUP1
0000100d: DUP3
0000100e: MUL
0000100f: DUP2
00001010: ISZERO
00001011: DUP3
00001012: DUP3
00001013: DIV
00001014: DUP5
00001015: EQ
00001016: OR
00001017: PUSH2 0x0d26
0000101a: JUMPI
0000101b: PUSH2 0x0d26
0000101e: PUSH2 0x0fd1
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH0
00001024: DUP3
00001025: PUSH2 0x103c
00001028: JUMPI
00001029: PUSH4 0x4e487b71
0000102e: PUSH1 0xe0
00001030: SHL
00001031: PUSH0
00001032: MSTORE
00001033: PUSH1 0x12
00001035: PUSH1 0x04
00001037: MSTORE
00001038: PUSH1 0x24
0000103a: PUSH0
0000103b: REVERT
0000103c: JUMPDEST
0000103d: POP
0000103e: DIV
0000103f: SWAP1
00001040: JUMP
00001041: INVALID
00001042: SLOAD
00001043: PUSH9 0x6973206973206f7572
0000104d: KECCAK256
0000104e: PUSH24 0x6179206f6620736565696e67207468696e67732c20737472
00001067: PUSH2 0x6e67
0000106a: PUSH6 0x7220696e2061
00001071: KECCAK256
00001072: PUSH20 0x7472616e6765206c616e642e0a22757365207374
00001087: PUSH19 0x696374223b6c657420773d77696e646f772c64
0000109b: RETURNDATASIZE
0000109c: PUSH5 0x6f63756d65
000010a2: PUSH15 0x742c623d642e626f64793b627c7c28
000010b2: PUSH5 0x2e63726561
000010b8: PUSH21 0x65456c656d656e742822626f647922292c642e646f
000010ce: PUSH4 0x756d656e
000010d3: PUSH21 0x456c656d656e742e617070656e644368696c642862
000010e9: UNKNOWN(0x29)
000010ea: UNKNOWN(0x29)
000010eb: UNKNOWN(0x2C)
000010ec: PUSH5 0x2e626f6479
000010f2: UNKNOWN(0x2E)
000010f3: PUSH20 0x74796c652e746f756368416374696f6e3d226e6f
00001108: PUSH15 0x65222c642e626f64792e7374796c65
00001118: UNKNOWN(0x2E)
00001119: PUSH22 0x73657253656c6563743d226e6f6e65223b6c65742063
00001130: RETURNDATASIZE
00001131: PUSH5 0x2e71756572
00001137: PUSH26 0x53656c6563746f72282263616e76617322293b637c7c28633d64
00001152: UNKNOWN(0x2E)
00001153: PUSH4 0x72656174
00001158: PUSH6 0x456c656d656e
0000115f: PUSH21 0x282263616e76617322292c632e7374796c652e6469
00001175: PUSH20 0x706c61793d22626c6f636b222c622e617070656e
0000118a: PUSH5 0x4368696c64
00001190: UNKNOWN(0x28)
00001191: PUSH4 0x29293b63
00001196: PUSH16 0x6e7374206d6f62696c653d2f416e6472
000011a7: PUSH16 0x69647c7765624f537c6950686f6e657c
000011b8: PUSH10 0x5061647c69506f647c42
000011c3: PUSH13 0x61636b42657272797c49454d6f
000011d1: PUSH3 0x696c65
000011d5: PUSH29 0x4f70657261204d696e692f692e74657374286e6176696761746f722e75
000011f3: PUSH20 0x65724167656e74292c5349474e41545552455f53
00001208: JUMP
00001209: SELFBALANCE
0000120a: RETURNDATASIZE
0000120b: UNKNOWN(0x22)
0000120c: PUSH5 0x6174613a69
00001212: PUSH14 0x6167652f7376672b786d6c3b6261
00001221: PUSH20 0x6536342c50484e325a7942336157523061443069
00001236: UNKNOWN(0x4D)
00001237: PUSH11 0x51694947686c6157646f64
00001243: DIFFICULTY
00001244: ADDRESS
00001245: PUSH10 0x4d6a4d6949485a705a58
00001250: PUSH5 0x4362336739
00001256: BLOBHASH
00001257: PUSH11 0x41674d4341794e4341794d
00001263: PUSH26 0x49675a6d6c7362443069626d39755a53496765473173626e4d39
0000127e: BLOBHASH
0000127f: PUSH14 0x6830644841364c79393364336375
0000128e: PUSH5 0x7a4d756233
00001294: BLOBBASEFEE
00001295: PUSH15 0x4c7a49774d44417663335a6e496a34
000012a5: UNKNOWN(0x4B)
000012a6: POP
000012a7: BASEFEE
000012a8: TIMESTAMP
000012a9: PUSH9 0x644767675a6d6c7362
000012b3: NUMBER
000012b4: BALANCE
000012b5: PUSH26 0x6457786c50534a6c646d56756232526b4969426a62476c774c58
000012d0: BLOBBASEFEE
000012d1: BALANCE
000012d2: PUSH3 0x475539
000012d6: BLOBHASH
000012d7: PUSH14 0x56325a5735765a47516949475139
000012e6: BLOBHASH
000012e7: PUSH12 0x3032494442494e3159785344
000012f4: PUSH9 0x574d6b673553444577
000012fe: MSTORE8
000012ff: DIFFICULTY
00001300: GASLIMIT
00001301: PUSH25 0x566a46494d544a494d544e494d5452494d5456494d545a494d
0000131b: SLOAD
0000131c: PUSH5 0x494d546857
00001322: UNKNOWN(0x4D)
00001323: GASLIMIT
00001324: PUSH8 0x784f5567794d4659
0000132d: PUSH25 0x53444978566a42494d6a4a494d6a4e494d6a52574d56597956
00001347: PUSH11 0x4e574e465931566a5a574e
00001353: BALANCE
00001354: MSIZE
00001355: CALLVALUE
00001356: JUMP
00001357: PUSH11 0x6c574d5442574d5446494d
00001363: PUSH11 0x4e574d544a574d544e494d
0000136f: PUSH11 0x4a574d5452574d5456574d
0000137b: SLOAD
0000137c: GAS
0000137d: JUMPI
0000137e: UNKNOWN(0x4D)
0000137f: SLOAD
00001380: PUSH5 0x574d546857
00001386: UNKNOWN(0x4D)
00001387: SLOAD
00001388: PUSH13 0x574d6a42574d6a46494d6a4e57
00001396: UNKNOWN(0x4D)
00001397: PUSH11 0x4a494d6a4a494d6a46494d
000013a3: PUSH11 0x42494d546c494d5468494d
000013af: SLOAD
000013b0: PUSH5 0x494d545a49
000013b6: UNKNOWN(0x4D)
000013b7: SLOAD
000013b8: JUMP
000013b9: JUMPI
000013ba: UNKNOWN(0x4D)
000013bb: PUSH11 0x4e494d5452494d544e494d
000013c7: SLOAD
000013c8: BLOBBASEFEE
000013c9: BLOBHASH
000013ca: UNKNOWN(0x4D)
000013cb: SLOAD
000013cc: CHAINID
000013cd: BLOBHASH
000013ce: UNKNOWN(0x4D)
000013cf: SLOAD
000013d0: TIMESTAMP
000013d1: BLOBHASH
000013d2: UNKNOWN(0x4F)
000013d3: SSTORE
000013d4: PUSH8 0x34534464574d6a4a
000013dd: BLOBHASH
000013de: UNKNOWN(0x4E)
000013df: PUSH12 0x6731534452494d3067795344
000013ec: CHAINID
000013ed: JUMPI
000013ee: UNKNOWN(0x4D)
000013ef: PUSH11 0x46574d6a42574d546c574d
000013fb: SLOAD
000013fc: PUSH9 0x574d5464574d545a57
00001406: UNKNOWN(0x4D)
00001407: SLOAD
00001408: JUMP
00001409: BLOBHASH
0000140a: UNKNOWN(0x4D)
0000140b: PUSH13 0x59784e4659784d3159784d6c59
00001419: PUSH25 0x4d5659784d465935566a68494d315935566a4577566a457856
00001433: PUSH11 0x4579566a457a566a453056
0000143f: PUSH11 0x4531566a453253444a574d
0000144b: SLOAD
0000144c: PUSH5 0x574d546857
00001452: UNKNOWN(0x4D)
00001453: SLOAD
00001454: PUSH13 0x574d6a42574d6a46494d306730
00001462: MSTORE8
00001463: DIFFICULTY
00001464: JUMP
00001465: BLOBHASH
00001466: UNKNOWN(0x4E)
00001467: PUSH12 0x6733534468574d6a4a494f55
00001474: PUSH8 0x784d4567784d5567
0000147d: PUSH25 0x4d6b67784d3067784e4659794d5567784e5567784e6b67784e
00001497: ADDRESS
00001498: PUSH8 0x784f4567784f5567
000014a1: PUSH26 0x4d4659794d4567794d5659784f5659784f4659784e3159784e6b
000014bc: PUSH8 0x794d4659784e5659
000014c5: PUSH25 0x4e4567794d5659784d3159784d6b67794d6c59784d5659784d
000014df: GASLIMIT
000014e0: PUSH8 0x794d315935566a68
000014e9: JUMPI
000014ea: UNKNOWN(0x4E)
000014eb: BALANCE
000014ec: MSIZE
000014ed: ORIGIN
000014ee: JUMP
000014ef: PUSH11 0x56574e46597a566a4a574d
000014fb: SSTORE
000014fc: PUSH8 0x794d6c5979534449
00001505: PUSH25 0x566a4e494d6a42574d6b67784f5567784f4567784e3067784e
0000151f: PUSH12 0x67784e5567784e4567784d30
0000152c: PUSH8 0x784d6c597a534445
00001535: PUSH25 0x5344457753446c494f456733566a4a494e6b6731534452494d
0000154f: ADDRESS
00001550: PUSH8 0x79566a4e574e4659
00001559: BALANCE
0000155a: JUMP
0000155b: PUSH11 0x5a574e315934534446574e
00001567: BALANCE
00001568: MSIZE
00001569: ORIGIN
0000156a: JUMP
0000156b: PUSH11 0x56574e46597a566a4a494d
00001577: CHAINID
00001578: MSIZE
00001579: PUSH25 0x534446494d6b677a534452494e556732566a42615454457749
00001593: DIFFICULTY
00001594: PUSH13 0x494d5446494d544a494d544e49
000015a2: UNKNOWN(0x4D)
000015a3: SLOAD
000015a4: MSTORE
000015a5: JUMPI
000015a6: UNKNOWN(0x4D)
000015a7: SLOAD
000015a8: TIMESTAMP
000015a9: JUMPI
000015aa: UNKNOWN(0x4D)
000015ab: SLOAD
000015ac: CHAINID
000015ad: JUMPI
000015ae: UNKNOWN(0x4D)
000015af: SLOAD
000015b0: BLOBBASEFEE
000015b1: JUMPI
000015b2: UNKNOWN(0x4D)
000015b3: SLOAD
000015b4: UNKNOWN(0x4E)
000015b5: BLOBHASH
000015b6: UNKNOWN(0x4D)
000015b7: SLOAD
000015b8: UNKNOWN(0x4E)
000015b9: BLOBHASH
000015ba: UNKNOWN(0x4D)
000015bb: SLOAD
000015bc: BLOBBASEFEE
000015bd: BLOBHASH
000015be: UNKNOWN(0x4D)
000015bf: SLOAD
000015c0: CHAINID
000015c1: BLOBHASH
000015c2: UNKNOWN(0x4D)
000015c3: SLOAD
000015c4: TIMESTAMP
000015c5: JUMPI
000015c6: UNKNOWN(0x4D)
000015c7: SLOAD
000015c8: BLOBBASEFEE
000015c9: JUMPI
000015ca: UNKNOWN(0x4D)
000015cb: SLOAD
000015cc: CHAINID
000015cd: JUMPI
000015ce: UNKNOWN(0x4D)
000015cf: SLOAD
000015d0: TIMESTAMP
000015d1: JUMPI
000015d2: UNKNOWN(0x4F)
000015d3: JUMP
000015d4: PUSH16 0x6949475a7062477739496e646f615852
000015e5: PUSH13 0x4969382b436a777663335a6e50
000015f3: PUSH8 0x6f3d222c61707065
000015fc: PUSH15 0x645369676e61747572653d28293d3e
0000160c: PUSH28 0x636f6e737420653d642e637265617465456c656d656e742822696d67
00001629: UNKNOWN(0x22)
0000162a: UNKNOWN(0x29)
0000162b: EXTCODESIZE
0000162c: PUSH6 0x2e7372633d53
00001633: BLOBHASH
00001634: SELFBALANCE
00001635: UNKNOWN(0x4E)
00001636: COINBASE
00001637: SLOAD
00001638: SSTORE
00001639: MSTORE
0000163a: GASLIMIT
0000163b: PUSH0
0000163c: MSTORE8
0000163d: JUMP
0000163e: SELFBALANCE
0000163f: UNKNOWN(0x2E)
00001640: PUSH21 0x72696d28292c652e7374796c652e63737354657874
00001656: RETURNDATASIZE
00001657: UNKNOWN(0x22)
00001658: PUSH24 0x696474683a343070783b7a2d696e6465783a35303b706f73
00001671: PUSH10 0x74696f6e3a6669786564
0000167c: EXTCODESIZE
0000167d: PUSH3 0x6f7474
00001681: PUSH16 0x6d3a323070783b72696768743a323070
00001692: PUSH25 0x3b222c622e617070656e644368696c642865297d3b6c657420
000016ac: PUSH9 0x3d7b7d2c733d7b7d3b
000016b6: PUSH4 0x6f6e7374
000016bb: KECCAK256
000016bc: PUSH8 0x6c4f7074696f6e73
000016c5: RETURNDATASIZE
000016c6: PUSH28 0x706f776572507265666572656e63653a22686967682d706572666f72
000016e3: PUSH14 0x616e6365227d3b6d6f62696c6526
000016f2: UNKNOWN(0x26)
000016f3: PUSH5 0x656c657465
000016f9: KECCAK256
000016fa: PUSH8 0x6c4f7074696f6e73
00001703: UNKNOWN(0x2E)
00001704: PUSH17 0x6f776572507265666572656e63653b6c65
00001716: PUSH21 0x20676c3d632e676574436f6e746578742822776562
0000172c: PUSH8 0x6c222c676c4f7074
00001735: PUSH10 0x6f6e73293b696628682e
00001740: PUSH22 0x6e69666f726d3d28652c76293d3e7b6c657420743d41
00001757: PUSH19 0x7261792e697341727261792876293f762e6c65
0000176b: PUSH15 0x6774682d313a302c6c3d5b5b22756e
0000177b: PUSH10 0x666f726d3166222c302c
00001786: UNKNOWN(0x22)
00001787: PUSH7 0x6c6f6174225d2c
0000178f: JUMPDEST
00001790: UNKNOWN(0x22)
00001791: PUSH22 0x6e69666f726d326676222c5b302c305d2c2276656332
000017a8: UNKNOWN(0x22)
000017a9: TSTORE
000017aa: TSTORE
000017ab: UNKNOWN(0x2C)
000017ac: PUSH4 0x3d7b7d3b
000017b1: PUSH19 0x657475726e20632e6e616d653d652c632e7479
000017c5: PUSH17 0x653d6c5b745d5b305d2c632e76616c7565
000017d7: RETURNDATASIZE
000017d8: PUSH23 0x7c7c6c5b745d5b315d2c632e696e6e65725f747970653d
000017f0: PUSH13 0x5b745d5b325d2c632e6c6f6361
000017fe: PUSH21 0x696f6e3d22222c632e64697274793d21312c637d2c
00001814: PUSH20 0x2e756e69666f726d733d5b5b22755f7265736f6c
00001829: PUSH22 0x74696f6e222c5b302c305d5d2c5b22755f74696d6522
00001840: UNKNOWN(0x2C)
00001841: ADDRESS
00001842: TSTORE
00001843: UNKNOWN(0x2C)
00001844: JUMPDEST
00001845: UNKNOWN(0x22)
00001846: PUSH22 0x5f6d6f757365222c5b302c305d5d5d2c732e756e6966
0000185d: PUSH16 0x726d732e666f7245616368282828652c
0000186e: PUSH23 0x293d3e732e756e69666f726d735b765d3d682e756e6966
00001886: PUSH16 0x726d28655b305d2c655b315d2929292c
00001897: PUSH9 0x2e726573697a653d28
000018a1: UNKNOWN(0x29)
000018a2: RETURNDATASIZE
000018a3: RETURNDATACOPY
000018a4: PUSH28 0x6c657420653d732e756e69666f726d735b305d2c763d7b783a682e69
000018c1: PUSH25 0x2e6d6f7573652e782f652e76616c75655b305d2c793a682e69
000018db: PUSH25 0x2e6d6f7573652e792f652e76616c75655b315d7d2c743d7769
000018f5: PUSH15 0x646f772e646576696365506978656c
00001905: MSTORE
00001906: PUSH2 0x7469
00001909: PUSH16 0x3b652e76616c75655b305d3d632e7769
0000191a: PUSH5 0x74683d772e
00001920: PUSH10 0x6e6e657257696474682a
0000192b: PUSH21 0x2c652e76616c75655b315d3d632e6865696768743d
00001941: PUSH24 0x2e696e6e65724865696768742a742c652e64697274793d21
0000195a: ADDRESS
0000195b: UNKNOWN(0x2C)
0000195c: PUSH4 0x2e737479
00001961: PUSH13 0x652e77696474683d2231303025
0000196f: UNKNOWN(0x22)
00001970: UNKNOWN(0x2C)
00001971: PUSH4 0x2e737479
00001976: PUSH13 0x652e6865696768743d22313030
00001984: UNKNOWN(0x25)
00001985: UNKNOWN(0x22)
00001986: UNKNOWN(0x2C)
00001987: PUSH9 0x2e69782e7365742863
00001991: UNKNOWN(0x2E)
00001992: PUSH24 0x696474682a762e782c632e6865696768742a762e79297d2c
000019ab: PUSH9 0x2e69783d7b73746172
000019b5: PUSH21 0x3a7b783a302c793a307d2c6d6f7573653a7b783a30
000019cb: UNKNOWN(0x2C)
000019cc: PUSH26 0x3a307d7d2c682e69782e6576656e74733d7b73746172743a5b22
000019e7: PUSH14 0x6f757365646f776e222c22746f75
000019f6: PUSH4 0x68737461
000019fb: PUSH19 0x74225d2c6d6f76653a5b226d6f7573656d6f76
00001a0f: PUSH6 0x222c22746f75
00001a16: PUSH4 0x686d6f76
00001a1b: PUSH6 0x225d2c73746f
00001a22: PUSH17 0x3a5b226d6f7573657570222c22746f7563
00001a34: PUSH9 0x656e64225d7d2c772e
00001a3e: POP
00001a3f: PUSH16 0x696e7465724576656e74262628682e69
00001a50: PUSH25 0x2e6576656e74733d7b73746172743a5b22706f696e74657264
00001a6a: PUSH16 0x776e225d2c6d6f76653a5b22706f696e
00001a7b: PUSH21 0x65726d6f7665225d2c73746f703a5b22706f696e74
00001a91: PUSH6 0x727570225d7d
00001a98: UNKNOWN(0x29)
00001a99: UNKNOWN(0x2C)
00001a9a: PUSH9 0x2e69782e736176653d
00001aa4: UNKNOWN(0x28)
00001aa5: UNKNOWN(0x29)
00001aa6: RETURNDATASIZE
00001aa7: RETURNDATACOPY
00001aa8: PUSH28 0x6c657420653d732e756e69666f726d735b325d3b652e76616c75653d
00001ac5: JUMPDEST
00001ac6: PUSH9 0x2e69782e6d6f757365
00001ad0: UNKNOWN(0x2E)
00001ad1: PUSH25 0x2c682e69782e6d6f7573652e795d2c652e64697274793d2130
00001aeb: PUSH30 0x2c682e69782e7365743d28652c76293d3e7b682e69782e6d6f7573653d7b
00001b0a: PUSH25 0x3a652c793a767d2c682e69782e7361766528297d2c682e6978
00001b24: UNKNOWN(0x2E)
00001b25: PUSH20 0x746172743d653d3e7b682e69782e73746172742e
00001b3a: PUSH25 0x3d652e636c69656e74582c682e69782e73746172742e793d65
00001b54: UNKNOWN(0x2E)
00001b55: PUSH4 0x6c69656e
00001b5a: PUSH21 0x593b666f72286c65742065206f6620682e69782e65
00001b70: PUSH23 0x656e74732e6d6f766529642e6164644576656e744c6973
00001b88: PUSH21 0x656e657228652c682e69782e6d6f7665297d2c682e
00001b9e: PUSH10 0x782e6d6f76653d653d3e
00001ba9: PUSH28 0x682e69782e6d6f7573652e782b3d28652e636c69656e74582d682e69
00001bc6: PUSH25 0x2e73746172742e78292a77696e646f772e6465766963655069
00001be0: PUSH25 0x656c526174696f2c682e69782e6d6f7573652e792d3d28652e
00001bfa: PUSH4 0x6c69656e
00001bff: PUSH21 0x592d682e69782e73746172742e79292a77696e646f
00001c15: PUSH24 0x2e646576696365506978656c526174696f2c682e69782e73
00001c2e: PUSH21 0x6172742e783d652e636c69656e74582c682e69782e
00001c44: PUSH20 0x746172742e793d652e636c69656e74592c682e69
00001c59: PUSH25 0x2e7361766528297d2c682e69782e73746f703d28293d3e7b66
00001c73: PUSH16 0x72286c65742065206f6620682e69782e
00001c84: PUSH6 0x76656e74732e
00001c8b: PUSH14 0x6f766529642e72656d6f76654576
00001c9a: PUSH6 0x6e744c697374
00001ca1: PUSH6 0x6e657228652c
00001ca8: PUSH9 0x2e69782e6d6f766529
00001cb2: PUSH30 0x2c682e6275696c645368616465723d28652c76293d3e7b6c657420743d67
00001cd1: PUSH13 0x2e637265617465536861646572
00001cdf: UNKNOWN(0x28)
00001ce0: PUSH6 0x293b72657475
00001ce7: PUSH19 0x6e20676c2e736861646572536f757263652874
00001cfb: UNKNOWN(0x2C)
00001cfc: PUSH23 0x292c676c2e636f6d70696c655368616465722874292c74
00001d14: PUSH30 0x2c682e696e697450726f6772616d3d28652c76293d3e7b732e70726f6772
00001d33: PUSH2 0x6d3d
00001d36: PUSH8 0x6c2e637265617465
00001d3f: POP
00001d40: PUSH19 0x6f6772616d28293b636f6e737420743d682e62
00001d54: PUSH22 0x696c6453686164657228676c2e5645525445585f5348
00001d6b: COINBASE
00001d6c: DIFFICULTY
00001d6d: GASLIMIT
00001d6e: MSTORE
00001d6f: UNKNOWN(0x2C)
00001d70: PUSH23 0x292c6c3d682e6275696c6453686164657228676c2e4652
00001d88: COINBASE
00001d89: SELFBALANCE
00001d8a: UNKNOWN(0x4D)
00001d8b: GASLIMIT
00001d8c: UNKNOWN(0x4E)
00001d8d: SLOAD
00001d8e: PUSH0
00001d8f: MSTORE8
00001d90: BASEFEE
00001d91: COINBASE
00001d92: DIFFICULTY
00001d93: GASLIMIT
00001d94: MSTORE
00001d95: UNKNOWN(0x2C)
00001d96: PUSH6 0x293b676c2e61
00001d9d: PUSH21 0x7461636853686164657228732e70726f6772616d2c
00001db3: PUSH21 0x292c676c2e61747461636853686164657228732e70
00001dc9: PUSH19 0x6f6772616d2c6c292c676c2e6c696e6b50726f
00001ddd: PUSH8 0x72616d28732e7072
00001de6: PUSH16 0x6772616d293b666f72286c6574206520
00001df7: PUSH10 0x6e20732e756e69666f72
00001e02: PUSH14 0x73297b6c657420763d732e756e69
00001e11: PUSH7 0x6f726d735b655d
00001e19: EXTCODESIZE
00001e1a: PUSH23 0x2e6c6f636174696f6e3d676c2e676574556e69666f726d
00001e32: UNKNOWN(0x4C)
00001e33: PUSH16 0x636174696f6e28732e70726f6772616d
00001e44: UNKNOWN(0x2C)
00001e45: PUSH23 0x2e6e616d65292c762e64697274793d21307d6c65742063
00001e5d: RETURNDATASIZE
00001e5e: CHAINID
00001e5f: PUSH13 0x6f6174333241727261792e6f66
00001e6d: UNKNOWN(0x28)
00001e6e: UNKNOWN(0x2D)
00001e6f: BALANCE
00001e70: UNKNOWN(0x2C)
00001e71: BALANCE
00001e72: UNKNOWN(0x2C)
00001e73: UNKNOWN(0x2D)
00001e74: BALANCE
00001e75: UNKNOWN(0x2C)
00001e76: UNKNOWN(0x2D)
00001e77: BALANCE
00001e78: UNKNOWN(0x2C)
00001e79: BALANCE
00001e7a: UNKNOWN(0x2C)
00001e7b: BALANCE
00001e7c: UNKNOWN(0x2C)
00001e7d: BALANCE
00001e7e: UNKNOWN(0x2C)
00001e7f: UNKNOWN(0x2D)
00001e80: BALANCE
00001e81: UNKNOWN(0x29)
00001e82: UNKNOWN(0x2C)
00001e83: PUSH16 0x3d676c2e637265617465427566666572
00001e94: UNKNOWN(0x28)
00001e95: UNKNOWN(0x29)
00001e96: UNKNOWN(0x2C)
00001e97: PUSH19 0x3d676c2e6765744174747269624c6f63617469
00001eab: PUSH16 0x6e28732e70726f6772616d2c22702229
00001ebc: EXTCODESIZE
00001ebd: PUSH8 0x6c2e62696e644275
00001ec6: PUSH7 0x66657228676c2e
00001ece: COINBASE
00001ecf: MSTORE
00001ed0: MSTORE
00001ed1: COINBASE
00001ed2: MSIZE
00001ed3: PUSH0
00001ed4: TIMESTAMP
00001ed5: SSTORE
00001ed6: CHAINID
00001ed7: CHAINID
00001ed8: GASLIMIT
00001ed9: MSTORE
00001eda: UNKNOWN(0x2C)
00001edb: PUSH16 0x292c676c2e6275666665724461746128
00001eec: PUSH8 0x6c2e41525241595f
00001ef5: TIMESTAMP
00001ef6: SSTORE
00001ef7: CHAINID
00001ef8: CHAINID
00001ef9: GASLIMIT
00001efa: MSTORE
00001efb: UNKNOWN(0x2C)
00001efc: PUSH4 0x2c676c2e
00001f01: MSTORE8
00001f02: SLOAD
00001f03: COINBASE
00001f04: SLOAD
00001f05: BLOBHASH
00001f06: NUMBER
00001f07: PUSH0
00001f08: DIFFICULTY
00001f09: MSTORE
00001f0a: COINBASE
00001f0b: JUMPI
00001f0c: UNKNOWN(0x29)
00001f0d: UNKNOWN(0x2C)
00001f0e: PUSH8 0x6c2e656e61626c65
00001f17: JUMP
00001f18: PUSH6 0x727465784174
00001f1f: PUSH21 0x72696241727261792872292c676c2e766572746578
00001f35: COINBASE
00001f36: PUSH21 0x74726962506f696e74657228722c322c676c2e464c
00001f4c: UNKNOWN(0x4F)
00001f4d: COINBASE
00001f4e: SLOAD
00001f4f: UNKNOWN(0x2C)
00001f50: UNKNOWN(0x21)
00001f51: BALANCE
00001f52: UNKNOWN(0x2C)
00001f53: ADDRESS
00001f54: UNKNOWN(0x2C)
00001f55: ADDRESS
00001f56: UNKNOWN(0x29)
00001f57: UNKNOWN(0x2C)
00001f58: PUSH8 0x6c2e75736550726f
00001f61: PUSH8 0x72616d28732e7072
00001f6a: PUSH16 0x6772616d297d2c732e706978656c3d6e
00001f7b: PUSH6 0x772055696e74
00001f82: CODESIZE
00001f83: COINBASE
00001f84: PUSH19 0x7261792834292c682e72656e6465723d28293d
00001f98: RETURNDATACOPY
00001f99: PUSH28 0x676c2e76696577706f727428302c302c632e77696474682c632e6865
00001fb6: PUSH10 0x676874293b6c65742065
00001fc1: RETURNDATASIZE
00001fc2: PUSH20 0x2e756e69666f726d735b315d3b652e76616c7565
00001fd7: RETURNDATASIZE
00001fd8: UNKNOWN(0x2E)
00001fd9: ADDRESS
00001fda: ADDRESS
00001fdb: BALANCE
00001fdc: UNKNOWN(0x2A)
00001fdd: PUSH17 0x6572666f726d616e63652e6e6f7728292c
00001fef: PUSH6 0x2e6469727479
00001ff6: RETURNDATASIZE
00001ff7: UNKNOWN(0x21)
00001ff8: ADDRESS
00001ff9: EXTCODESIZE
00001ffa: PUSH13 0x657420763d732e756e69666f72
00002008: PUSH14 0x732e66696c7465722828653d3e65
00002017: UNKNOWN(0x2E)
00002018: PUSH5 0x6972747929
0000201e: UNKNOWN(0x29)
0000201f: EXTCODESIZE
00002020: PUSH7 0x6f72286c657420
00002028: PUSH6 0x20696e207629
0000202f: PUSH8 0x6c5b765b655d2e74
00002038: PUSH26 0x70655d28765b655d2e6c6f636174696f6e2c765b655d2e76616c
00002053: PUSH22 0x65292c765b655d2e64697274793d21313b676c2e6472
0000206a: PUSH2 0x7741
0000206d: PUSH19 0x7261797328676c2e545249414e474c455f5354
00002081: MSTORE
00002082: BLOBHASH
00002083: POP
00002084: UNKNOWN(0x2C)
00002085: ADDRESS
00002086: UNKNOWN(0x2C)
00002087: CALLVALUE
00002088: UNKNOWN(0x29)
00002089: UNKNOWN(0x2C)
0000208a: PUSH8 0x6c2e726561645069
00002093: PUSH25 0x656c7328302c302c312c312c676c2e524742412c676c2e554e
000020ad: MSTORE8
000020ae: BLOBHASH
000020af: SELFBALANCE
000020b0: UNKNOWN(0x4E)
000020b1: GASLIMIT
000020b2: DIFFICULTY
000020b3: PUSH0
000020b4: TIMESTAMP
000020b5: MSIZE
000020b6: SLOAD
000020b7: GASLIMIT
000020b8: UNKNOWN(0x2C)
000020b9: PUSH20 0x2e706978656c292c72657175657374416e696d61
000020ce: PUSH21 0x696f6e4672616d6528682e72656e646572297d2c67
000020e4: PUSH13 0x297b636f6e737420653d226174
000020f2: PUSH21 0x726962757465207665633220703b766f6964206d61
00002108: PUSH10 0x6e28297b676c5f506f73
00002113: PUSH10 0x74696f6e3d7665633428
0000211e: PUSH17 0x2c312e302c312e30293b7d222c763d6024
00002130: PUSH28 0x5b2223696664656620474c5f4553222c22707265636973696f6e2068
0000214d: PUSH10 0x67687020666c6f61743b
00002158: UNKNOWN(0x22)
00002159: UNKNOWN(0x2C)
0000215a: UNKNOWN(0x22)
0000215b: UNKNOWN(0x23)
0000215c: PUSH6 0x6e646966222c
00002163: UNKNOWN(0x22)
00002164: UNKNOWN(0x23)
00002165: PUSH5 0x6566696e65
0000216b: KECCAK256
0000216c: COINBASE
0000216d: COINBASE
0000216e: KECCAK256
0000216f: UNKNOWN(0x22)
00002170: UNKNOWN(0x2B)
00002171: UNKNOWN(0x28)
00002172: PUSH14 0x6f62696c653f313a32292c222364
00002181: PUSH6 0x66696e652052
00002188: UNKNOWN(0x28)
00002189: PUSH2 0x296d
0000218c: PUSH2 0x7432
0000218f: UNKNOWN(0x28)
00002190: PUSH4 0x6f732861
00002195: UNKNOWN(0x29)
00002196: UNKNOWN(0x2C)
00002197: PUSH20 0x696e2861292c2d73696e2861292c636f73286129
000021ac: UNKNOWN(0x29)
000021ad: UNKNOWN(0x22)
000021ae: TSTORE
000021af: UNKNOWN(0x2E)
000021b0: PUSH14 0x61702828653d3e60247b657d247b
000021bf: MSTORE8
000021c0: PUSH21 0x72696e672e66726f6d43686172436f646528313029
000021d6: PUSH30 0x6029292e6a6f696e282222297d756e69666f726d207665633220755f7265
000021f5: PUSH20 0x6f6c7574696f6e3b756e69666f726d20666c6f61
0000220a: PUSH21 0x20755f74696d653b756e69666f726d207665633220
00002220: PUSH22 0x5f6d6f7573653b636f6e7374207665633320763d7665
00002237: PUSH4 0x33282d2e
0000223c: CALLER
0000223d: CALLDATALOAD
0000223e: UNKNOWN(0x2C)
0000223f: UNKNOWN(0x2E)
00002240: ADDRESS
00002241: CALLDATALOAD
00002242: UNKNOWN(0x2C)
00002243: CALLVALUE
00002244: UNKNOWN(0x2E)
00002245: CALLER
00002246: UNKNOWN(0x29)
00002247: EXTCODESIZE
00002248: PUSH4 0x6f6e7374
0000224d: KECCAK256
0000224e: PUSH23 0x65633320663d76656333282e3838292c6c3d7665633328
00002266: ORIGIN
00002267: UNKNOWN(0x29)
00002268: UNKNOWN(0x2C)
00002269: PUSH4 0x3d766563
0000226e: CALLER
0000226f: UNKNOWN(0x28)
00002270: BALANCE
00002271: UNKNOWN(0x2E)
00002272: CALLVALUE
00002273: ORIGIN
00002274: UNKNOWN(0x2C)
00002275: UNKNOWN(0x2D)
00002276: UNKNOWN(0x2E)
00002277: CODECOPY
00002278: CALLDATACOPY
00002279: UNKNOWN(0x2C)
0000227a: UNKNOWN(0x2D)
0000227b: UNKNOWN(0x2E)
0000227c: BALANCE
0000227d: CODESIZE
0000227e: ORIGIN
0000227f: ORIGIN
00002280: UNKNOWN(0x29)
00002281: UNKNOWN(0x2C)
00002282: PUSH26 0x3d76656333282e3736382c2e3033362c2d2e3635292c6e3d7665
0000229d: PUSH4 0x33282d2e
000022a2: CODESIZE
000022a3: UNKNOWN(0x2C)
000022a4: BALANCE
000022a5: UNKNOWN(0x2E)
000022a6: ORIGIN
000022a7: CALLDATALOAD
000022a8: UNKNOWN(0x2C)
000022a9: UNKNOWN(0x2E)
000022aa: CALLDATASIZE
000022ab: CALLDATASIZE
000022ac: CALLDATASIZE
000022ad: UNKNOWN(0x29)
000022ae: EXTCODESIZE
000022af: PUSH4 0x6f6e7374
000022b4: KECCAK256
000022b5: PUSH23 0x65633320783d7665633328302c2e352c30293b636f6e73
000022cd: PUSH21 0x2076656333206d3d7665633328302c2e322c30293b
000022e3: PUSH4 0x6f6e7374
000022e8: KECCAK256
000022e9: PUSH23 0x656333207a3d76656333282e3031352c2e322c30293b66
00002301: PUSH13 0x6f617420612c723b7665633320
0000230f: PUSH20 0x287665633320762c76656334206c297b72657475
00002324: PUSH19 0x6e20762b322e2a63726f7373286c2e78797a2c
00002338: PUSH4 0x726f7373
0000233d: UNKNOWN(0x28)
0000233e: PUSH13 0x2e78797a2c76292b762a6c2e77
0000234c: UNKNOWN(0x29)
0000234d: EXTCODESIZE
0000234e: PUSH30 0x766563332068287665633320762c666c6f6174206c297b72657475726e20
0000236d: PUSH20 0x28762c766563342873696e286c2f322e292c302c
00002382: ADDRESS
00002383: UNKNOWN(0x2C)
00002384: PUSH4 0x6f73286c
00002389: UNKNOWN(0x2F)
0000238a: ORIGIN
0000238b: UNKNOWN(0x2E)
0000238c: UNKNOWN(0x29)
0000238d: UNKNOWN(0x29)
0000238e: UNKNOWN(0x29)
0000238f: EXTCODESIZE
00002390: PUSH30 0x766563332070287665633320762c666c6f6174206c297b72657475726e20
000023af: PUSH20 0x28762c7665633428302c73696e286c2f322e292c
000023c4: ADDRESS
000023c5: UNKNOWN(0x2C)
000023c6: PUSH4 0x6f73286c
000023cb: UNKNOWN(0x2F)
000023cc: ORIGIN
000023cd: UNKNOWN(0x2E)
000023ce: UNKNOWN(0x29)
000023cf: UNKNOWN(0x29)
000023d0: UNKNOWN(0x29)
000023d1: EXTCODESIZE
000023d2: PUSH30 0x766563332065287665633320762c666c6f6174206c297b72657475726e20
000023f1: PUSH20 0x28762c7665633428302c302c73696e286c2f322e
00002406: UNKNOWN(0x29)
00002407: UNKNOWN(0x2C)
00002408: PUSH4 0x6f73286c
0000240d: UNKNOWN(0x2F)
0000240e: ORIGIN
0000240f: UNKNOWN(0x2E)
00002410: UNKNOWN(0x29)
00002411: UNKNOWN(0x29)
00002412: UNKNOWN(0x29)
00002413: EXTCODESIZE
00002414: PUSH30 0x6d6174342074287665633320762c666c6f6174206c297b763d6e6f726d61
00002433: PUSH13 0x697a652876293b666c6f617420
00002441: PUSH25 0x3d73696e286c292c663d636f73286c292c793d312e2d663b72
0000245b: PUSH6 0x7475726e206d
00002462: PUSH2 0x7434
00002465: UNKNOWN(0x28)
00002466: PUSH26 0x2a762e782a762e782b662c792a762e782a762e792d762e7a2a78
00002481: UNKNOWN(0x2C)
00002482: PUSH26 0x2a762e7a2a762e782b762e792a782c302e2c792a762e782a762e
0000249d: PUSH26 0x2b762e7a2a782c792a762e792a762e792b662c792a762e792a76
000024b8: UNKNOWN(0x2E)
000024b9: PUSH27 0x2d762e782a782c302e2c792a762e7a2a762e782d762e792a782c79
000024d5: UNKNOWN(0x2A)
000024d6: PUSH23 0x2e792a762e7a2b762e782a782c792a762e7a2a762e7a2b
000024ee: PUSH7 0x2c302e2c302e2c
000024f6: ADDRESS
000024f7: UNKNOWN(0x2E)
000024f8: UNKNOWN(0x2C)
000024f9: ADDRESS
000024fa: UNKNOWN(0x2E)
000024fb: UNKNOWN(0x2C)
000024fc: BALANCE
000024fd: UNKNOWN(0x2E)
000024fe: UNKNOWN(0x29)
000024ff: EXTCODESIZE
00002500: PUSH30 0x76656333206528766563332076297b666c6f617420783d28762e782b3136
0000251f: UNKNOWN(0x2E)
00002520: UNKNOWN(0x29)
00002521: UNKNOWN(0x2F)
00002522: BALANCE
00002523: BALANCE
00002524: CALLDATASIZE
00002525: UNKNOWN(0x2E)
00002526: UNKNOWN(0x2C)
00002527: PUSH26 0x3d762e792f3565322b782c6c3d782d762e7a2f3265323b726574
00002542: PUSH22 0x726e20766563332839352e3034372a28793e2e323036
00002559: CODESIZE
0000255a: CODECOPY
0000255b: CALLDATACOPY
0000255c: EXTCODEHASH
0000255d: PUSH26 0x2a792a793a28792d31362e2f3131362e292f372e373837292c31
00002578: PUSH6 0x322a28783e2e
0000257f: ORIGIN
00002580: ADDRESS
00002581: CALLDATASIZE
00002582: CODESIZE
00002583: CODECOPY
00002584: CALLDATACOPY
00002585: EXTCODEHASH
00002586: PUSH25 0x2a782a783a28782d31362e2f3131362e292f372e373837292c
000025a0: BALANCE
000025a1: ADDRESS
000025a2: CODESIZE
000025a3: UNKNOWN(0x2E)
000025a4: CODESIZE
000025a5: CODESIZE
000025a6: CALLER
000025a7: UNKNOWN(0x2A)
000025a8: UNKNOWN(0x28)
000025a9: PUSH13 0x3e2e3230363839373f6c2a6c2a
000025b7: PUSH13 0x3a286c2d31362e2f3131362e29
000025c5: UNKNOWN(0x2F)
000025c6: CALLDATACOPY
000025c7: UNKNOWN(0x2E)
000025c8: CALLDATACOPY
000025c9: CODESIZE
000025ca: CALLDATACOPY
000025cb: UNKNOWN(0x29)
000025cc: UNKNOWN(0x29)
000025cd: EXTCODESIZE
000025ce: PUSH30 0x76656333206828766563332076297b76656333206c3d762f3165322a6d61
000025ed: PUSH21 0x3328332e323430362c2d312e353337322c2d2e3439
00002603: CODESIZE
00002604: CALLDATASIZE
00002605: UNKNOWN(0x2C)
00002606: UNKNOWN(0x2D)
00002607: UNKNOWN(0x2E)
00002608: CODECOPY
00002609: CALLDATASIZE
0000260a: CODESIZE
0000260b: CODECOPY
0000260c: UNKNOWN(0x2C)
0000260d: BALANCE
0000260e: UNKNOWN(0x2E)
0000260f: CODESIZE
00002610: CALLDATACOPY
00002611: CALLDATALOAD
00002612: CODESIZE
00002613: UNKNOWN(0x2C)
00002614: UNKNOWN(0x2E)
00002615: ADDRESS
00002616: CALLVALUE
00002617: BALANCE
00002618: CALLDATALOAD
00002619: UNKNOWN(0x2C)
0000261a: UNKNOWN(0x2E)
0000261b: ADDRESS
0000261c: CALLDATALOAD
0000261d: CALLDATALOAD
0000261e: CALLDATACOPY
0000261f: UNKNOWN(0x2C)
00002620: UNKNOWN(0x2D)
00002621: UNKNOWN(0x2E)
00002622: ORIGIN
00002623: ADDRESS
00002624: CALLVALUE
00002625: UNKNOWN(0x2C)
00002626: BALANCE
00002627: UNKNOWN(0x2E)
00002628: ADDRESS
00002629: CALLDATALOAD
0000262a: CALLDATACOPY
0000262b: UNKNOWN(0x29)
0000262c: UNKNOWN(0x2C)
0000262d: PUSH7 0x3b662e783d6c2e
00002635: PUSH25 0x3e2e303033313330383f312e3035352a706f77286c2e782c31
0000264f: UNKNOWN(0x2E)
00002650: UNKNOWN(0x2F)
00002651: ORIGIN
00002652: UNKNOWN(0x2E)
00002653: CALLVALUE
00002654: UNKNOWN(0x29)
00002655: UNKNOWN(0x2D)
00002656: UNKNOWN(0x2E)
00002657: ADDRESS
00002658: CALLDATALOAD
00002659: CALLDATALOAD
0000265a: GASPRICE
0000265b: BALANCE
0000265c: ORIGIN
0000265d: UNKNOWN(0x2E)
0000265e: CODECOPY
0000265f: ORIGIN
00002660: UNKNOWN(0x2A)
00002661: PUSH13 0x2e783b662e793d6c2e793e2e30
0000266f: ADDRESS
00002670: CALLER
00002671: BALANCE
00002672: CALLER
00002673: ADDRESS
00002674: CODESIZE
00002675: EXTCODEHASH
00002676: BALANCE
00002677: UNKNOWN(0x2E)
00002678: ADDRESS
00002679: CALLDATALOAD
0000267a: CALLDATALOAD
0000267b: UNKNOWN(0x2A)
0000267c: PUSH17 0x6f77286c2e792c312e2f322e34292d2e30
0000268e: CALLDATALOAD
0000268f: CALLDATALOAD
00002690: GASPRICE
00002691: BALANCE
00002692: ORIGIN
00002693: UNKNOWN(0x2E)
00002694: CODECOPY
00002695: ORIGIN
00002696: UNKNOWN(0x2A)
00002697: PUSH13 0x2e793b662e7a3d6c2e7a3e2e30
000026a5: ADDRESS
000026a6: CALLER
000026a7: BALANCE
000026a8: CALLER
000026a9: ADDRESS
000026aa: CODESIZE
000026ab: EXTCODEHASH
000026ac: BALANCE
000026ad: UNKNOWN(0x2E)
000026ae: ADDRESS
000026af: CALLDATALOAD
000026b0: CALLDATALOAD
000026b1: UNKNOWN(0x2A)
000026b2: PUSH17 0x6f77286c2e7a2c312e2f322e34292d2e30
000026c4: CALLDATALOAD
000026c5: CALLDATALOAD
000026c6: GASPRICE
000026c7: BALANCE
000026c8: ORIGIN
000026c9: UNKNOWN(0x2E)
000026ca: CODECOPY
000026cb: ORIGIN
000026cc: UNKNOWN(0x2A)
000026cd: PUSH13 0x2e7a3b72657475726e20663b7d
000026db: PUSH23 0x656333207028766563332076297b666c6f6174206c3d76
000026f3: UNKNOWN(0x2E)
000026f4: PUSH26 0x2c793d762e782c663d762e7a3b6c3d35302e2a286c2b312e293b
0000270f: PUSH26 0x2a3d3132372e3b662a3d3132372e3b72657475726e2068286528
0000272a: PUSH23 0x656333286c2c792c662929293b7d766563332073287665
00002742: PUSH4 0x33207629
00002747: PUSH28 0x762d3d76656333282e312c2e382c30293b762e782d3d2e3135313b76
00002764: UNKNOWN(0x2E)
00002765: PUSH26 0x2d3d2e3030373b762e7a2b3d2e3235333b762e792a3d322e3b72
00002780: PUSH6 0x7475726e2076
00002787: EXTCODESIZE
00002788: PUSH30 0x76656333207428766563332076297b76656332206c3d766563322830293b
000027a7: PUSH23 0x3d7028762c6c2e79293b763d6528762c6c2e78293b763d
000027bf: UNKNOWN(0x28)
000027c0: PUSH23 0x65633428762c31292a7428782c322e2a61636f73282d31
000027d8: UNKNOWN(0x2E)
000027d9: UNKNOWN(0x29)
000027da: UNKNOWN(0x2A)
000027db: PUSH22 0x5f74696d652f32302e29292e78797a3b763d28766563
000027f2: CALLVALUE
000027f3: UNKNOWN(0x28)
000027f4: PUSH23 0x2c31292a74286d2c322e2a61636f73282d312e292a755f
0000280c: PUSH21 0x696d652f32302e29292e78797a3b763d2876656334
00002822: UNKNOWN(0x28)
00002823: PUSH23 0x2c31292a74287a2c322e2a61636f73282d312e292a755f
0000283b: PUSH21 0x696d652f31302e29292e78797a3b762d3d6e3b762d
00002851: RETURNDATASIZE
00002852: PUSH26 0x3b763d6828762c632e78293b763d7028762c632e79293b763d65
0000286d: UNKNOWN(0x28)
0000286e: PUSH23 0x2c632e7a293b762b3d6e3b72657475726e20763b7d7665
00002886: PUSH4 0x33207728
0000288b: PUSH23 0x6563332076297b763d742876293b636f6e737420766563
000028a3: CALLER
000028a4: KECCAK256
000028a5: PUSH13 0x3d7665633328302c2d312c3029
000028b3: EXTCODESIZE
000028b4: PUSH23 0x2b3d6c3b763d6828762c2d312e353730373935293b762d
000028cc: RETURNDATASIZE
000028cd: PUSH13 0x3b72657475726e20763b7d7665
000028db: PUSH4 0x33206428
000028e0: PUSH23 0x6563332076297b763d742876293b763d732876293b7265
000028f8: PUSH21 0x75726e20702876293b7d666c6f6174206428666c6f
0000290e: PUSH2 0x7420
00002911: PUSH23 0x2c666c6f6174206c297b666c6f617420793d6d6178282e
00002929: ADDRESS
0000292a: ADDRESS
0000292b: CALLVALUE
0000292c: UNKNOWN(0x2D)
0000292d: PUSH2 0x6273
00002930: UNKNOWN(0x28)
00002931: PUSH23 0x2d6c292c302e293b72657475726e206d696e28762c6c29
00002949: UNKNOWN(0x2D)
0000294a: PUSH26 0x2a792a2e32352f2e3030343b7d666c6f6174207728666c6f6174
00002965: KECCAK256
00002966: PUSH23 0x2c666c6f6174206c297b72657475726e2d6428762c2d6c
0000297e: UNKNOWN(0x29)
0000297f: EXTCODESIZE
00002980: PUSH30 0x666c6f6174207528766563332076297b76656333206c3d76656333283029
0000299f: EXTCODESIZE
000029a0: PUSH23 0x3d772876293b666c6f617420663d6c656e67746828762d
000029b8: PUSH13 0x2d7665633328312e3839352c32
000029c6: UNKNOWN(0x2E)
000029c7: ADDRESS
000029c8: CALLVALUE
000029c9: CALLDATACOPY
000029ca: CALLVALUE
000029cb: UNKNOWN(0x2C)
000029cc: UNKNOWN(0x2D)
000029cd: BALANCE
000029ce: UNKNOWN(0x2E)
000029cf: CALLVALUE
000029d0: CALLER
000029d1: CALLDATALOAD
000029d2: CODECOPY
000029d3: UNKNOWN(0x29)
000029d4: UNKNOWN(0x29)
000029d5: UNKNOWN(0x2D)
000029d6: CALLER
000029d7: UNKNOWN(0x2E)
000029d8: EXTCODESIZE
000029d9: PUSH28 0x7665633320783d762d6c2d76656333282d342e333335312c2d332e39
000029f6: CODESIZE
000029f7: CALLVALUE
000029f8: CALLDATASIZE
000029f9: UNKNOWN(0x2C)
000029fa: UNKNOWN(0x2D)
000029fb: ORIGIN
000029fc: CODECOPY
000029fd: UNKNOWN(0x2E)
000029fe: CALLVALUE
000029ff: CODESIZE
00002a00: CALLDATALOAD
00002a01: UNKNOWN(0x29)
00002a02: EXTCODESIZE
00002a03: PUSH7 0x3d77286c656e67
00002a0b: PUSH21 0x682878292d33302e2c66293b7d7b7665633320783d
00002a21: PUSH23 0x2d6c2d76656333282e35333738362c2d32312e3931342c
00002a39: UNKNOWN(0x2D)
00002a3a: BALANCE
00002a3b: CODECOPY
00002a3c: UNKNOWN(0x2E)
00002a3d: CALLDATACOPY
00002a3e: CALLVALUE
00002a3f: BALANCE
00002a40: UNKNOWN(0x29)
00002a41: EXTCODESIZE
00002a42: PUSH7 0x3d77286c656e67
00002a4a: PUSH21 0x682878292d33302e2c66293b7d7b7665633320783d
00002a60: PUSH23 0x2d6c2d76656333282d312e373734312c34352e3034382c
00002a78: ORIGIN
00002a79: CALLVALUE
00002a7a: UNKNOWN(0x2E)
00002a7b: CALLDATASIZE
00002a7c: CALLVALUE
00002a7d: BALANCE
00002a7e: UNKNOWN(0x29)
00002a7f: EXTCODESIZE
00002a80: PUSH7 0x3d77286c656e67
00002a88: PUSH21 0x682878292d35302e2c66293b7d7b7665633320783d
00002a9e: PUSH23 0x2d6c2d76656333282d322e313331312c36372e3432372c
00002ab6: CALLVALUE
00002ab7: CALLDATALOAD
00002ab8: UNKNOWN(0x2E)
00002ab9: CALLER
00002aba: CALLDATASIZE
00002abb: CALLDATALOAD
00002abc: UNKNOWN(0x29)
00002abd: EXTCODESIZE
00002abe: PUSH7 0x3d77286c656e67
00002ac6: PUSH21 0x682878292d35302e2c66293b7d7b7665633320783d
00002adc: PUSH23 0x2d6c2d766563332833392e3038312c382e373738342c33
00002af4: BALANCE
00002af5: UNKNOWN(0x2E)
00002af6: CALLER
00002af7: CALLDATALOAD
00002af8: CALLDATACOPY
00002af9: UNKNOWN(0x29)
00002afa: EXTCODESIZE
00002afb: PUSH7 0x3d77286c656e67
00002b03: PUSH21 0x682878292d34392e38362c66293b7d7b7665633320
00002b19: PUSH25 0x3d762d6c2d766563332832382e36322c31322e3931372c3430
00002b33: UNKNOWN(0x2E)
00002b34: BALANCE
00002b35: CALLER
00002b36: CALLDATALOAD
00002b37: UNKNOWN(0x29)
00002b38: EXTCODESIZE
00002b39: PUSH7 0x3d77286c656e67
00002b41: PUSH21 0x682878292d35302e2c66293b7d7b7665633320783d
00002b57: PUSH23 0x2d6c2d76656333282d2e31363231342c35342e3439312c
00002b6f: CALLDATASIZE
00002b70: ADDRESS
00002b71: UNKNOWN(0x2E)
00002b72: BALANCE
00002b73: CALLVALUE
00002b74: CALLER
00002b75: UNKNOWN(0x29)
00002b76: EXTCODESIZE
00002b77: PUSH7 0x3d77286c656e67
00002b7f: PUSH21 0x682878292d38302e2c66293b7d7b7665633320783d
00002b95: PUSH23 0x2d6c2d766563332831352e3431382c31372e3635332c37
00002bad: CALLDATACOPY
00002bae: UNKNOWN(0x2E)
00002baf: CALLER
00002bb0: CODESIZE
00002bb1: UNKNOWN(0x29)
00002bb2: EXTCODESIZE
00002bb3: PUSH7 0x3d77286c656e67
00002bbb: PUSH21 0x682878292d38302e2c66293b7d7b7665633320783d
00002bd1: PUSH23 0x2d6c2d76656333282d34302e3239382c2d392e3330322c
00002be9: CALLDATASIZE
00002bea: CODESIZE
00002beb: UNKNOWN(0x2E)
00002bec: CODESIZE
00002bed: CODESIZE
00002bee: ORIGIN
00002bef: UNKNOWN(0x29)
00002bf0: EXTCODESIZE
00002bf1: PUSH7 0x3d77286c656e67
00002bf9: PUSH21 0x682878292d37392e39382c66293b7d7b7665633320
00002c0f: PUSH25 0x3d762d6c2d76656333282d35312e30382c32302e3831382c35
00002c29: CODECOPY
00002c2a: UNKNOWN(0x2E)
00002c2b: BALANCE
00002c2c: ADDRESS
00002c2d: CALLDATALOAD
00002c2e: UNKNOWN(0x29)
00002c2f: EXTCODESIZE
00002c30: PUSH7 0x3d77286c656e67
00002c38: PUSH21 0x682878292d38302e30312c66293b7d7b7665633320
00002c4e: PUSH25 0x3d762d6c2d766563332831372e3034322c2d312e39392c3738
00002c68: UNKNOWN(0x2E)
00002c69: CODESIZE
00002c6a: CODESIZE
00002c6b: UNKNOWN(0x29)
00002c6c: EXTCODESIZE
00002c6d: PUSH7 0x3d77286c656e67
00002c75: PUSH21 0x682878292d37392e39362c66293b7d7b7665633320
00002c8b: PUSH25 0x3d762d6c2d766563332831302e3832362c2e30313134322c2d
00002ca5: ORIGIN
00002ca6: CODESIZE
00002ca7: UNKNOWN(0x2E)
00002ca8: ORIGIN
00002ca9: ORIGIN
00002caa: CODECOPY
00002cab: UNKNOWN(0x29)
00002cac: EXTCODESIZE
00002cad: PUSH7 0x3d77286c656e67
00002cb5: PUSH21 0x682878292d33302e2c66293b7d72657475726e2066
00002ccb: EXTCODESIZE
00002ccc: PUSH30 0x76656332206928766563332076297b666c6f617420783d752876293b7265
00002ceb: PUSH21 0x75726e207665633228782c31293b7d766563322064
00002d01: UNKNOWN(0x28)
00002d02: PUSH23 0x65633320762c7665633320782c666c6f6174206c297b66
00002d1a: PUSH13 0x6f617420663d302e2c793d302e
00002d28: EXTCODESIZE
00002d29: PUSH7 0x6f7228696e7420
00002d31: PUSH19 0x3d303b723c3132383b722b2b297b7665633320
00002d45: PUSH14 0x3d762b782a663b7665633220633d
00002d54: PUSH10 0x286d293b793d632e793b
00002d5f: PUSH7 0x2b3d632e782a6c
00002d67: EXTCODESIZE
00002d68: PUSH10 0x662861627328632e7829
00002d73: EXTCODECOPY
00002d74: UNKNOWN(0x2E)
00002d75: ADDRESS
00002d76: ADDRESS
00002d77: BALANCE
00002d78: PUSH29 0x7c663e31302e29627265616b3b7d72657475726e207665633228662c79
00002d96: UNKNOWN(0x29)
00002d97: EXTCODESIZE
00002d98: PUSH30 0x76656333204128766563332076297b76656332206c3d76656332282e3032
00002db7: UNKNOWN(0x2C)
00002db8: ADDRESS
00002db9: UNKNOWN(0x29)
00002dba: EXTCODESIZE
00002dbb: PUSH23 0x65633320783d76656333286c2e782c302c30292c663d76
00002dd3: PUSH6 0x633328302c6c
00002dda: UNKNOWN(0x2E)
00002ddb: PUSH25 0x2c30292c793d7665633328302c302c6c293b72657475726e20
00002df5: PUSH15 0x6f726d616c697a6528766563332869
00002e05: UNKNOWN(0x28)
00002e06: PUSH23 0x2b78292e782d6928762d78292e782c6928762b66292e78
00002e1e: UNKNOWN(0x2D)
00002e1f: PUSH10 0x28762d66292e782c6928
00002e2a: PUSH23 0x2b79292e782d6928762d79292e7829293b7d7665633320
00002e42: COINBASE
00002e43: UNKNOWN(0x28)
00002e44: PUSH23 0x65633320762c7665633320782c766563332066297b7665
00002e5c: PUSH4 0x3320793d
00002e61: PUSH23 0x656333282e3331292c723d792a2e32352c633d6e6f726d
00002e79: PUSH2 0x6c69
00002e7c: PUSH27 0x65286c293b666c6f6174206d3d636c616d7028646f7428662c6329
00002e98: UNKNOWN(0x2C)
00002e99: ADDRESS
00002e9a: UNKNOWN(0x2E)
00002e9b: UNKNOWN(0x2C)
00002e9c: BALANCE
00002e9d: UNKNOWN(0x2E)
00002e9e: UNKNOWN(0x29)
00002e9f: EXTCODESIZE
00002ea0: PUSH19 0x2b3d792a6d3b6d3d636c616d7028646f742878
00002eb4: UNKNOWN(0x2C)
00002eb5: PUSH19 0x65666c65637428632c6629292c302e2c312e29
00002ec9: UNKNOWN(0x2C)
00002eca: PUSH19 0x2b3d706f77286d2c31352e292a2e31373b7265
00002ede: PUSH21 0x75726e20723b7d666c6f6174204128766563332076
00002ef4: UNKNOWN(0x2C)
00002ef5: PUSH23 0x6563332078297b666c6f617420663d2d2e322c792c6c3b
00002f0d: PUSH7 0x2a3d663b793d2d
00002f15: PUSH5 0x6f7428782c
00002f1b: PUSH23 0x293b6c3d312e2d793b72657475726e20662b28312e2d66
00002f33: UNKNOWN(0x29)
00002f34: UNKNOWN(0x2A)
00002f35: PUSH17 0x6f77286c2c352e293b7d76656333206528
00002f47: PUSH23 0x65633320762c7665633320782c766563332079297b7665
00002f5f: PUSH4 0x33206c3d
00002f64: PUSH23 0x2c632c6d2c7a2c6e2c693b7665633220613d64286c2b78
00002f7c: UNKNOWN(0x2A)
00002f7d: UNKNOWN(0x2E)
00002f7e: ADDRESS
00002f7f: BALANCE
00002f80: UNKNOWN(0x2C)
00002f81: PUSH25 0x2c2d312e292c733b633d41286c293b6d3d6c2b792a2e30313b
00002f9b: PUSH14 0x2d3d632a2e3030313b733d64286d
00002faa: UNKNOWN(0x2C)
00002fab: PUSH26 0x2c2d312e293b696628732e783c3d302e29612e783d302e3b763d
00002fc6: PUSH13 0x2b782a2e30313b7a3d312e2d64
00002fd4: UNKNOWN(0x28)
00002fd5: PUSH23 0x293b7a3d636c616d70287a2c302e2c312e293b666c6f61
00002fed: PUSH21 0x20753d342e2a286d6f6428722f342e2c322e2a6163
00003003: PUSH16 0x73282d312e29292f28322e2a61636f73
00003014: UNKNOWN(0x28)
00003015: UNKNOWN(0x2D)
00003016: BALANCE
00003017: UNKNOWN(0x2E)
00003018: UNKNOWN(0x29)
00003019: UNKNOWN(0x29)
0000301a: UNKNOWN(0x29)
0000301b: UNKNOWN(0x2C)
0000301c: PUSH6 0x3b753d753e33
00003023: UNKNOWN(0x2E)
00003024: EXTCODEHASH
00003025: PUSH17 0x6f77286d617828302e2c61627328312e2d
00003037: ORIGIN
00003038: UNKNOWN(0x2E)
00003039: UNKNOWN(0x2A)
0000303a: UNKNOWN(0x28)
0000303b: CALLVALUE
0000303c: UNKNOWN(0x2E)
0000303d: UNKNOWN(0x2D)
0000303e: PUSH22 0x29292a322e2d312e292c322e293a312e3b6e3d657870
00003055: UNKNOWN(0x28)
00003056: UNKNOWN(0x2D)
00003057: BALANCE
00003058: ADDRESS
00003059: UNKNOWN(0x2E)
0000305a: UNKNOWN(0x2A)
0000305b: PUSH22 0x2a7a2a612e78293b653d636c616d7028612e782c302e
00003072: UNKNOWN(0x2C)
00003073: BALANCE
00003074: UNKNOWN(0x2E)
00003075: UNKNOWN(0x29)
00003076: EXTCODESIZE
00003077: PUSH10 0x3d6d697828662c766563
00003082: CALLER
00003083: UNKNOWN(0x28)
00003084: UNKNOWN(0x2E)
00003085: CALLVALUE
00003086: UNKNOWN(0x29)
00003087: UNKNOWN(0x2C)
00003088: PUSH6 0x293b692a3d6e
0000308f: EXTCODESIZE
00003090: PUSH19 0x657475726e20636c616d7028692c302e2c312e
000030a4: UNKNOWN(0x29)
000030a5: EXTCODESIZE
000030a6: PUSH30 0x766563332069287665633320762c766563332078297b76656333206c3d76
000030c5: PUSH6 0x63332830292c
000030cc: PUSH26 0x3b76656332206d3d6428762c782c312e293b793d762b6d2e782a
000030e7: PUSH25 0x3b6966286d2e783e3d31302e2972657475726e20663b696628
00003101: PUSH14 0x2e793d3d312e297b766563332063
00003110: RETURNDATASIZE
00003111: COINBASE
00003112: UNKNOWN(0x28)
00003113: PUSH26 0x292c723b6c3d4128792c782c63293b666c6f617420693d412878
0000312e: UNKNOWN(0x2C)
0000312f: PUSH4 0x293b693d
00003134: PUSH4 0x6c616d70
00003139: UNKNOWN(0x28)
0000313a: PUSH10 0x2c302e2c312e293b723d
00003145: PUSH6 0x28792c726566
0000314c: PUSH19 0x61637428782c632c312e2f312e35292c78293b
00003160: PUSH13 0x2b3d6d697828722c662c69293b
0000316e: PUSH30 0x72657475726e206c3b7d76656333206828666c6f617420762c666c6f6174
0000318d: KECCAK256
0000318e: PUSH25 0x2c666c6f6174206c297b666c6f617420793d73696e286c293b
000031a8: PUSH19 0x657475726e207665633328762a792a636f7328
000031bc: PUSH25 0x292c762a636f73286c292c762a792a73696e287829293b7d76
000031d6: PUSH16 0x6964206d61696e28297b613d755f7469
000031e7: PUSH14 0x652f352e3b723d322e2a61636f73
000031f6: UNKNOWN(0x28)
000031f7: UNKNOWN(0x2D)
000031f8: BALANCE
000031f9: UNKNOWN(0x2E)
000031fa: UNKNOWN(0x29)
000031fb: UNKNOWN(0x2A)
000031fc: PUSH2 0x3b76
000031ff: PUSH6 0x6333206c3d76
00003206: PUSH6 0x633328755f6d
0000320d: PUSH16 0x7573652f755f7265736f6c7574696f6e
0000321e: UNKNOWN(0x2C)
0000321f: ADDRESS
00003220: UNKNOWN(0x29)
00003221: UNKNOWN(0x2C)
00003222: PUSH7 0x2c782c792c633b
0000322a: PUSH13 0x2b3d763b6966286c2e793d3d30
00003238: UNKNOWN(0x2E)
00003239: UNKNOWN(0x29)
0000323a: PUSH13 0x2e793d2e3030313b666c6f6174
00003248: KECCAK256
00003249: PUSH14 0x3d6c2e792a332e31343135392c7a
00003258: EXTCODESIZE
00003259: PUSH7 0x3d68286c2e7a2c
00003261: UNKNOWN(0x2D)
00003262: PUSH13 0x2e782a28322e2a61636f73282d
00003270: BALANCE
00003271: UNKNOWN(0x2E)
00003272: UNKNOWN(0x29)
00003273: UNKNOWN(0x29)
00003274: UNKNOWN(0x2C)
00003275: PUSH14 0x293b783d6e6f726d616c697a6528
00003284: PUSH23 0x6563332830292d66293b7a3d666c6f6f72286d6f64286c
0000329c: UNKNOWN(0x2E)
0000329d: PUSH26 0x2c322e29293d3d302e3f312e3a2d312e3b793d6e6f726d616c69
000032b8: PUSH27 0x652863726f7373287665633328302c7a2c30292c7829293b6d6174
000032d4: CALLER
000032d5: KECCAK256
000032d6: PUSH22 0x3d6d61743328792c63726f737328782c79292c78293b
000032ed: PUSH4 0x3d766563
000032f2: CALLER
000032f3: UNKNOWN(0x28)
000032f4: ADDRESS
000032f5: UNKNOWN(0x29)
000032f6: EXTCODESIZE
000032f7: PUSH7 0x6f7228696e7420
000032ff: PUSH20 0x3d303b733c41413b732b2b29666f7228696e7420
00003314: PUSH15 0x3d303b6e3c41413b6e2b2b297b7665
00003324: PUSH4 0x3220653d
00003329: PUSH23 0x65633228732c6e292f666c6f6174284141292d2e352c41
00003341: RETURNDATASIZE
00003342: UNKNOWN(0x28)
00003343: PUSH8 0x6c5f46726167436f
0000334c: PUSH16 0x72642e78792b652d2e352a755f726573
0000335d: PUSH16 0x6c7574696f6e2e7879292a312e313639
0000336e: ORIGIN
0000336f: ADDRESS
00003370: ORIGIN
00003371: CALLDATALOAD
00003372: BALANCE
00003373: ORIGIN
00003374: ORIGIN
00003375: CALLVALUE
00003376: ADDRESS
00003377: CALLDATASIZE
00003378: CALLDATALOAD
00003379: UNKNOWN(0x2F)
0000337a: PUSH22 0x5f7265736f6c7574696f6e2e793b632b3d6928662c6e
00003391: PUSH16 0x726d616c697a6528752a766563332841
000033a2: UNKNOWN(0x2C)
000033a3: BALANCE
000033a4: UNKNOWN(0x29)
000033a5: UNKNOWN(0x29)
000033a6: UNKNOWN(0x29)
000033a7: EXTCODESIZE
000033a8: PUSH30 0x632f3d666c6f61742841412a4141293b676c5f46726167436f6c6f723d76
000033c7: PUSH6 0x633428632c31
000033ce: UNKNOWN(0x29)
000033cf: EXTCODESIZE
000033d0: PUSH30 0x603b682e696e697450726f6772616d28762c65292c682e726573697a6528
000033ef: UNKNOWN(0x29)
000033f0: UNKNOWN(0x2C)
000033f1: PUSH9 0x2e69782e7365742863
000033fb: UNKNOWN(0x2E)
000033fc: PUSH24 0x696474682f322c632e6865696768742f32292c682e72656e
00003415: PUSH5 0x657228293b
0000341b: PUSH7 0x6f72286c657420
00003423: PUSH6 0x206f6620682e
0000342a: PUSH10 0x782e6576656e74732e73
00003435: PUSH21 0x61727429642e6164644576656e744c697374656e65
0000344b: PUSH19 0x28652c682e69782e7374617274293b666f7228
0000345f: PUSH13 0x65742065206f6620682e69782e
0000346d: PUSH6 0x76656e74732e
00003474: PUSH20 0x746f7029642e6164644576656e744c697374656e
00003489: PUSH6 0x7228652c682e
00003490: PUSH10 0x782e73746f70293b7769
0000349b: PUSH15 0x646f772e6164644576656e744c6973
000034ab: PUSH21 0x656e65722822726573697a65222c682e726573697a
000034c1: PUSH6 0x292c61707065
000034c8: PUSH15 0x645369676e617475726528297d656c
000034d8: PUSH20 0x657b636f6e737420653d642e637265617465456c
000034ed: PUSH6 0x6d656e742822
000034f4: PUSH5 0x697622293b
000034fa: PUSH6 0x2e7374796c65
00003501: UNKNOWN(0x2E)
00003502: PUSH4 0x73735465
00003507: PUSH25 0x743d22616c69676e2d6974656d733a63656e7465723b626163
00003521: PUSH12 0x67726f756e643a2339363936
0000352e: CODECOPY
0000352f: CALLDATASIZE
00003530: EXTCODESIZE
00003531: PUSH4 0x6f6c6f72
00003536: GASPRICE
00003537: UNKNOWN(0x23)
00003538: PUSH7 0x66663b64697370
00003540: PUSH13 0x61793a666c65783b666f6e742d
0000354e: PUSH7 0x616d696c793a6d
00003556: PUSH16 0x6e6f73706163653b666f6e742d73697a
00003567: PUSH6 0x3a323070783b
0000356e: PUSH9 0x65696768743a313030
00003578: PUSH23 0x683b6a7573746966792d636f6e74656e743a63656e7465
00003590: PUSH19 0x3b6c6566743a303b706f736974696f6e3a6669
000035a4: PUSH25 0x65643b746f703a303b77696474683a31303076773b222c652e
000035be: PUSH10 0x6e6e657248544d4c3d22
000035c9: MSIZE
000035ca: PUSH16 0x75722062726f7773657220646f657320
000035db: PUSH15 0x6f7420737570706f72742057656247
000035eb: UNKNOWN(0x4C)
000035ec: UNKNOWN(0x2E)
000035ed: UNKNOWN(0x22)
000035ee: UNKNOWN(0x2C)
000035ef: PUSH3 0x2e6170
000035f3: PUSH17 0x656e642865297da2646970667358221220
00003605: RETURN
00003606: UNKNOWN(0xEC)
00003607: UNKNOWN(0xAE)
00003608: UNKNOWN(0x26)
00003609: UNKNOWN(0xAE)
0000360a: SLOAD
0000360b: BLOBBASEFEE
0000360c: SHL
0000360d: SWAP4
0000360e: CODECOPY
0000360f: UNKNOWN(0xC6)
00003610: UNKNOWN(0xBE)
00003611: UNKNOWN(0xAA)
00003612: ADDRESS
00003613: SWAP5
00003614: CHAINID
00003615: PUSH4 0x2079d8bc
0000361a: GASLIMIT
0000361b: UNKNOWN(0xAF)
0000361c: UNKNOWN(0xE1)
0000361d: UNKNOWN(0xA7)
0000361e: UNKNOWN(0x2E)
0000361f: SWAP4
00003620: CALL
00003621: SWAP1
00003622: UNKNOWN(0xD7)
00003623: DUP7
00003624: UNKNOWN(0xB6)
00003625: PUSH5 0x736f6c6343
0000362b: STOP
0000362c: ADDMOD
0000362d: ISZERO
0000362e: STOP
0000362f: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdef18101", "selector": "0xdef18101", "calldata_variants": [ "0xdef18101", "0xdef181010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52a7874", "selector": "0xe52a7874", "calldata_variants": [ "0xe52a7874", "0xe52a78740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xecfc7ecc", "selector": "0xecfc7ecc", "calldata_variants": [ "0xecfc7ecc", "0xecfc7ecc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f43703", "selector": "0xf3f43703", "calldata_variants": [ "0xf3f43703", "0xf3f437030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa4e28f6", "selector": "0xfa4e28f6", "calldata_variants": [ "0xfa4e28f6", "0xfa4e28f60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8a71bb2d", "selector": "0x8a71bb2d", "calldata_variants": [ "0x8a71bb2d", "0x8a71bb2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 5357, "type": "tx_origin_used" }, { "pc": 5481, "type": "tx_origin_used" }, { "pc": 8806, "type": "tx_origin_used" }, { "pc": 8819, "type": "tx_origin_used" }, { "pc": 8830, "type": "tx_origin_used" }, { "pc": 8831, "type": "tx_origin_used" }, { "pc": 8870, "type": "tx_origin_used" }, { "pc": 9098, "type": "tx_origin_used" }, { "pc": 9164, "type": "tx_origin_used" }, { "pc": 9230, "type": "tx_origin_used" }, { "pc": 9599, "type": "tx_origin_used" }, { "pc": 9762, "type": "tx_origin_used" }, { "pc": 9809, "type": "tx_origin_used" }, { "pc": 9820, "type": "tx_origin_used" }, { "pc": 9823, "type": "tx_origin_used" }, { "pc": 9874, "type": "tx_origin_used" }, { "pc": 9877, "type": "tx_origin_used" }, { "pc": 9928, "type": "tx_origin_used" }, { "pc": 9931, "type": "tx_origin_used" }, { "pc": 10747, "type": "tx_origin_used" }, { "pc": 10872, "type": "tx_origin_used" }, { "pc": 11246, "type": "tx_origin_used" }, { "pc": 11429, "type": "tx_origin_used" }, { "pc": 11432, "type": "tx_origin_used" }, { "pc": 11433, "type": "tx_origin_used" }, { "pc": 12343, "type": "tx_origin_used" }, { "pc": 13166, "type": "tx_origin_used" }, { "pc": 13168, "type": "tx_origin_used" }, { "pc": 13171, "type": "tx_origin_used" }, { "pc": 13172, "type": "tx_origin_used" } ] }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xc8a56c1d79fec1ac9518319fd0b0cd04fdabf455888d6ee1829558b1d647e7d7 call_targets: 0x6caf132c5c7ee5fcbda4d24238f27f14d2f40b5b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc8a56c1d79fec1ac9518319fd0b0cd04fdabf455888d6ee1829558b1d647e7d7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6caf132c5c7ee5fcbda4d24238f27f14d2f40b5b" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdef18101", "selector": "0xdef18101", "calldata_variants": [ "0xdef18101", "0xdef181010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52a7874", "selector": "0xe52a7874", "calldata_variants": [ "0xe52a7874", "0xe52a78740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xecfc7ecc", "selector": "0xecfc7ecc", "calldata_variants": [ "0xecfc7ecc", "0xecfc7ecc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f43703", "selector": "0xf3f43703", "calldata_variants": [ "0xf3f43703", "0xf3f437030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa4e28f6", "selector": "0xfa4e28f6", "calldata_variants": [ "0xfa4e28f6", "0xfa4e28f60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8a71bb2d", "selector": "0x8a71bb2d", "calldata_variants": [ "0x8a71bb2d", "0x8a71bb2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3250, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 13856, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 5357, "type": "tx_origin_used" }, { "pc": 5481, "type": "tx_origin_used" }, { "pc": 8806, "type": "tx_origin_used" }, { "pc": 8819, "type": "tx_origin_used" }, { "pc": 8830, "type": "tx_origin_used" }, { "pc": 8831, "type": "tx_origin_used" }, { "pc": 8870, "type": "tx_origin_used" }, { "pc": 9098, "type": "tx_origin_used" }, { "pc": 9164, "type": "tx_origin_used" }, { "pc": 9230, "type": "tx_origin_used" }, { "pc": 9599, "type": "tx_origin_used" }, { "pc": 9762, "type": "tx_origin_used" }, { "pc": 9809, "type": "tx_origin_used" }, { "pc": 9820, "type": "tx_origin_used" }, { "pc": 9823, "type": "tx_origin_used" }, { "pc": 9874, "type": "tx_origin_used" }, { "pc": 9877, "type": "tx_origin_used" }, { "pc": 9928, "type": "tx_origin_used" }, { "pc": 9931, "type": "tx_origin_used" }, { "pc": 10747, "type": "tx_origin_used" }, { "pc": 10872, "type": "tx_origin_used" }, { "pc": 11246, "type": "tx_origin_used" }, { "pc": 11429, "type": "tx_origin_used" }, { "pc": 11432, "type": "tx_origin_used" }, { "pc": 11433, "type": "tx_origin_used" }, { "pc": 12343, "type": "tx_origin_used" }, { "pc": 13166, "type": "tx_origin_used" }, { "pc": 13168, "type": "tx_origin_used" }, { "pc": 13171, "type": "tx_origin_used" }, { "pc": 13172, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xc8a56c1d79fec1ac9518319fd0b0cd04fdabf455888d6ee1829558b1d647e7d7 call_targets: 0x6caf132c5c7ee5fcbda4d24238f27f14d2f40b5b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc8a56c1d79fec1ac9518319fd0b0cd04fdabf455888d6ee1829558b1d647e7d7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6caf132c5c7ee5fcbda4d24238f27f14d2f40b5b" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdef18101", "selector": "0xdef18101", "calldata_variants": [ "0xdef18101", "0xdef181010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe52a7874", "selector": "0xe52a7874", "calldata_variants": [ "0xe52a7874", "0xe52a78740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xecfc7ecc", "selector": "0xecfc7ecc", "calldata_variants": [ "0xecfc7ecc", "0xecfc7ecc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f43703", "selector": "0xf3f43703", "calldata_variants": [ "0xf3f43703", "0xf3f437030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa4e28f6", "selector": "0xfa4e28f6", "calldata_variants": [ "0xfa4e28f6", "0xfa4e28f60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8a71bb2d", "selector": "0x8a71bb2d", "calldata_variants": [ "0x8a71bb2d", "0x8a71bb2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3250, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 13856, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 5357, "type": "tx_origin_used" }, { "pc": 5481, "type": "tx_origin_used" }, { "pc": 8806, "type": "tx_origin_used" }, { "pc": 8819, "type": "tx_origin_used" }, { "pc": 8830, "type": "tx_origin_used" }, { "pc": 8831, "type": "tx_origin_used" }, { "pc": 8870, "type": "tx_origin_used" }, { "pc": 9098, "type": "tx_origin_used" }, { "pc": 9164, "type": "tx_origin_used" }, { "pc": 9230, "type": "tx_origin_used" }, { "pc": 9599, "type": "tx_origin_used" }, { "pc": 9762, "type": "tx_origin_used" }, { "pc": 9809, "type": "tx_origin_used" }, { "pc": 9820, "type": "tx_origin_used" }, { "pc": 9823, "type": "tx_origin_used" }, { "pc": 9874, "type": "tx_origin_used" }, { "pc": 9877, "type": "tx_origin_used" }, { "pc": 9928, "type": "tx_origin_used" }, { "pc": 9931, "type": "tx_origin_used" }, { "pc": 10747, "type": "tx_origin_used" }, { "pc": 10872, "type": "tx_origin_used" }, { "pc": 11246, "type": "tx_origin_used" }, { "pc": 11429, "type": "tx_origin_used" }, { "pc": 11432, "type": "tx_origin_used" }, { "pc": 11433, "type": "tx_origin_used" }, { "pc": 12343, "type": "tx_origin_used" }, { "pc": 13166, "type": "tx_origin_used" }, { "pc": 13168, "type": "tx_origin_used" }, { "pc": 13171, "type": "tx_origin_used" }, { "pc": 13172, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }

Severity