Analysis Run

019b477e-aa21-7017-8520-e3a01492e5d2
complete
Chain ID
1
Address
0xa1f3d57d51a1bd3c49d87cc7ed3ddf5b3725ab73
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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
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
20769	artifact.fetch	complete	1 / 3	3 months ago
20770	tool.cast_disasm	complete	1 / 3	3 months ago
64406	analysis.bundle	complete	1 / 3	2 weeks ago
64407	capability.graph	complete	1 / 3	2 weeks ago
64408	detector.run	complete	1 / 3	2 weeks ago
64409	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
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)
12
EXT*/BALANCE
12
Total opcodes
3995
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0214
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x0226401d
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0225
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x062b01ce
0000002b: EQ
0000002c: PUSH2 0x0247
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x0a09284a
00000036: EQ
00000037: PUSH2 0x026b
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x13f4e977
00000041: EQ
00000042: PUSH2 0x028d
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x1865c57d
0000004c: EQ
0000004d: PUSH2 0x02af
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x1aae3460
00000057: EQ
00000058: PUSH2 0x02e3
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x1c9afcc8
00000062: EQ
00000063: PUSH2 0x0311
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x32013ac3
0000006d: EQ
0000006e: PUSH2 0x0335
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x38af3eed
00000078: EQ
00000079: PUSH2 0x0359
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x391623b4
00000083: EQ
00000084: PUSH2 0x0385
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x4042b66f
0000008e: EQ
0000008f: PUSH2 0x03a9
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x4551dd59
00000099: EQ
0000009a: PUSH2 0x03cb
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x4bb278f3
000000a4: EQ
000000a5: PUSH2 0x03ef
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x50c67734
000000af: EQ
000000b0: PUSH2 0x0401
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x518ab2a8
000000ba: EQ
000000bb: PUSH2 0x041f
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x590e1ae3
000000c5: EQ
000000c6: PUSH2 0x0441
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x5da89ac0
000000d0: EQ
000000d1: PUSH2 0x0453
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x5ed7ca5b
000000db: EQ
000000dc: PUSH2 0x0475
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x6203f09f
000000e6: EQ
000000e7: PUSH2 0x0487
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x6e50eb3f
000000f1: EQ
000000f2: PUSH2 0x04a9
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x78b99c24
000000fc: EQ
000000fd: PUSH2 0x04be
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x797d9437
00000107: EQ
00000108: PUSH2 0x04ea
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x7c2e08a3
00000112: EQ
00000113: PUSH2 0x050c
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0x7e99d454
0000011d: EQ
0000011e: PUSH2 0x0530
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0x87612102
00000128: EQ
00000129: PUSH2 0x054e
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0x8d51faec
00000133: EQ
00000134: PUSH2 0x0558
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0x8da5cb5b
0000013e: EQ
0000013f: PUSH2 0x056d
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0x9075becf
00000149: EQ
0000014a: PUSH2 0x0599
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0x97b150ca
00000154: EQ
00000155: PUSH2 0x05c5
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0x9d3c663f
0000015f: EQ
00000160: PUSH2 0x05f3
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0xa2077958
0000016a: EQ
0000016b: PUSH2 0x0623
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0xa6f2ae3a
00000175: EQ
00000176: PUSH2 0x0645
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0xa709b6e4
00000180: EQ
00000181: PUSH2 0x064f
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0xaf468682
0000018b: EQ
0000018c: PUSH2 0x0664
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0xb3f05b97
00000196: EQ
00000197: PUSH2 0x0686
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0xb9b8af0b
000001a1: EQ
000001a2: PUSH2 0x06aa
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0xcb16e6d0
000001ac: EQ
000001ad: PUSH2 0x06ce
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0xcb3e64fd
000001b7: EQ
000001b8: PUSH2 0x06fe
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0xd5d09021
000001c2: EQ
000001c3: PUSH2 0x0710
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0xd7e64c00
000001cd: EQ
000001ce: PUSH2 0x0734
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0xde5f9866
000001d8: EQ
000001d9: PUSH2 0x0756
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0xeb08aa3b
000001e3: EQ
000001e4: PUSH2 0x0778
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0xf2fde38b
000001ee: EQ
000001ef: PUSH2 0x07a4
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0xf3283fba
000001f9: EQ
000001fa: PUSH2 0x07c2
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0xf8f8c095
00000204: EQ
00000205: PUSH2 0x07e0
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0xfc0c546a
0000020f: EQ
00000210: PUSH2 0x07f6
00000213: JUMPI
00000214: JUMPDEST
00000215: PUSH2 0x0223
00000218: JUMPDEST
00000219: PUSH2 0x0220
0000021c: PUSH2 0x0822
0000021f: JUMP
00000220: JUMPDEST
00000221: JUMPDEST
00000222: JUMP
00000223: JUMPDEST
00000224: STOP
00000225: JUMPDEST
00000226: CALLVALUE
00000227: ISZERO
00000228: PUSH2 0x022d
0000022b: JUMPI
0000022c: INVALID
0000022d: JUMPDEST
0000022e: PUSH2 0x0235
00000231: PUSH2 0x083c
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: DUP1
00000239: MLOAD
0000023a: SWAP2
0000023b: DUP3
0000023c: MSTORE
0000023d: MLOAD
0000023e: SWAP1
0000023f: DUP2
00000240: SWAP1
00000241: SUB
00000242: PUSH1 0x20
00000244: ADD
00000245: SWAP1
00000246: RETURN
00000247: JUMPDEST
00000248: CALLVALUE
00000249: ISZERO
0000024a: PUSH2 0x024f
0000024d: JUMPI
0000024e: INVALID
0000024f: JUMPDEST
00000250: PUSH2 0x0257
00000253: PUSH2 0x0842
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: DUP1
0000025b: MLOAD
0000025c: SWAP2
0000025d: ISZERO
0000025e: ISZERO
0000025f: DUP3
00000260: MSTORE
00000261: MLOAD
00000262: SWAP1
00000263: DUP2
00000264: SWAP1
00000265: SUB
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP1
0000026a: RETURN
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: ISZERO
0000026e: PUSH2 0x0273
00000271: JUMPI
00000272: INVALID
00000273: JUMPDEST
00000274: PUSH2 0x0235
00000277: PUSH2 0x08e4
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH1 0x40
0000027e: DUP1
0000027f: MLOAD
00000280: SWAP2
00000281: DUP3
00000282: MSTORE
00000283: MLOAD
00000284: SWAP1
00000285: DUP2
00000286: SWAP1
00000287: SUB
00000288: PUSH1 0x20
0000028a: ADD
0000028b: SWAP1
0000028c: RETURN
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: ISZERO
00000290: PUSH2 0x0295
00000293: JUMPI
00000294: INVALID
00000295: JUMPDEST
00000296: PUSH2 0x0235
00000299: PUSH2 0x08ea
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x40
000002a0: DUP1
000002a1: MLOAD
000002a2: SWAP2
000002a3: DUP3
000002a4: MSTORE
000002a5: MLOAD
000002a6: SWAP1
000002a7: DUP2
000002a8: SWAP1
000002a9: SUB
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: SWAP1
000002ae: RETURN
000002af: JUMPDEST
000002b0: CALLVALUE
000002b1: ISZERO
000002b2: PUSH2 0x02b7
000002b5: JUMPI
000002b6: INVALID
000002b7: JUMPDEST
000002b8: PUSH2 0x02bf
000002bb: PUSH2 0x08f0
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: DUP1
000002c4: DUP3
000002c5: PUSH1 0x07
000002c7: DUP2
000002c8: GT
000002c9: ISZERO
000002ca: PUSH2 0x02cf
000002cd: JUMPI
000002ce: INVALID
000002cf: JUMPDEST
000002d0: PUSH1 0xff
000002d2: AND
000002d3: DUP2
000002d4: MSTORE
000002d5: PUSH1 0x20
000002d7: ADD
000002d8: SWAP2
000002d9: POP
000002da: POP
000002db: PUSH1 0x40
000002dd: MLOAD
000002de: DUP1
000002df: SWAP2
000002e0: SUB
000002e1: SWAP1
000002e2: RETURN
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: ISZERO
000002e6: PUSH2 0x02eb
000002e9: JUMPI
000002ea: INVALID
000002eb: JUMPDEST
000002ec: PUSH2 0x0235
000002ef: PUSH1 0x01
000002f1: PUSH1 0xa0
000002f3: PUSH1 0x02
000002f5: EXP
000002f6: SUB
000002f7: PUSH1 0x04
000002f9: CALLDATALOAD
000002fa: AND
000002fb: PUSH2 0x09ac
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH1 0x40
00000302: DUP1
00000303: MLOAD
00000304: SWAP2
00000305: DUP3
00000306: MSTORE
00000307: MLOAD
00000308: SWAP1
00000309: DUP2
0000030a: SWAP1
0000030b: SUB
0000030c: PUSH1 0x20
0000030e: ADD
0000030f: SWAP1
00000310: RETURN
00000311: JUMPDEST
00000312: CALLVALUE
00000313: ISZERO
00000314: PUSH2 0x0319
00000317: JUMPI
00000318: INVALID
00000319: JUMPDEST
0000031a: PUSH2 0x0257
0000031d: PUSH2 0x09be
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH1 0x40
00000324: DUP1
00000325: MLOAD
00000326: SWAP2
00000327: ISZERO
00000328: ISZERO
00000329: DUP3
0000032a: MSTORE
0000032b: MLOAD
0000032c: SWAP1
0000032d: DUP2
0000032e: SWAP1
0000032f: SUB
00000330: PUSH1 0x20
00000332: ADD
00000333: SWAP1
00000334: RETURN
00000335: JUMPDEST
00000336: CALLVALUE
00000337: ISZERO
00000338: PUSH2 0x033d
0000033b: JUMPI
0000033c: INVALID
0000033d: JUMPDEST
0000033e: PUSH2 0x0223
00000341: PUSH1 0x01
00000343: PUSH1 0xa0
00000345: PUSH1 0x02
00000347: EXP
00000348: SUB
00000349: PUSH1 0x04
0000034b: CALLDATALOAD
0000034c: AND
0000034d: PUSH1 0x24
0000034f: CALLDATALOAD
00000350: PUSH1 0x44
00000352: CALLDATALOAD
00000353: PUSH2 0x09f0
00000356: JUMP
00000357: JUMPDEST
00000358: STOP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: ISZERO
0000035c: PUSH2 0x0361
0000035f: JUMPI
00000360: INVALID
00000361: JUMPDEST
00000362: PUSH2 0x0369
00000365: PUSH2 0x0b96
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: DUP1
0000036d: MLOAD
0000036e: PUSH1 0x01
00000370: PUSH1 0xa0
00000372: PUSH1 0x02
00000374: EXP
00000375: SUB
00000376: SWAP1
00000377: SWAP3
00000378: AND
00000379: DUP3
0000037a: MSTORE
0000037b: MLOAD
0000037c: SWAP1
0000037d: DUP2
0000037e: SWAP1
0000037f: SUB
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP1
00000384: RETURN
00000385: JUMPDEST
00000386: CALLVALUE
00000387: ISZERO
00000388: PUSH2 0x038d
0000038b: JUMPI
0000038c: INVALID
0000038d: JUMPDEST
0000038e: PUSH2 0x0257
00000391: PUSH2 0x0ba5
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH1 0x40
00000398: DUP1
00000399: MLOAD
0000039a: SWAP2
0000039b: ISZERO
0000039c: ISZERO
0000039d: DUP3
0000039e: MSTORE
0000039f: MLOAD
000003a0: SWAP1
000003a1: DUP2
000003a2: SWAP1
000003a3: SUB
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP1
000003a8: RETURN
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: ISZERO
000003ac: PUSH2 0x03b1
000003af: JUMPI
000003b0: INVALID
000003b1: JUMPDEST
000003b2: PUSH2 0x0235
000003b5: PUSH2 0x0bd7
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH1 0x40
000003bc: DUP1
000003bd: MLOAD
000003be: SWAP2
000003bf: DUP3
000003c0: MSTORE
000003c1: MLOAD
000003c2: SWAP1
000003c3: DUP2
000003c4: SWAP1
000003c5: SUB
000003c6: PUSH1 0x20
000003c8: ADD
000003c9: SWAP1
000003ca: RETURN
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: ISZERO
000003ce: PUSH2 0x03d3
000003d1: JUMPI
000003d2: INVALID
000003d3: JUMPDEST
000003d4: PUSH2 0x0257
000003d7: PUSH2 0x0bdd
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH1 0x40
000003de: DUP1
000003df: MLOAD
000003e0: SWAP2
000003e1: ISZERO
000003e2: ISZERO
000003e3: DUP3
000003e4: MSTORE
000003e5: MLOAD
000003e6: SWAP1
000003e7: DUP2
000003e8: SWAP1
000003e9: SUB
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: SWAP1
000003ee: RETURN
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: ISZERO
000003f2: PUSH2 0x03f7
000003f5: JUMPI
000003f6: INVALID
000003f7: JUMPDEST
000003f8: PUSH2 0x0223
000003fb: PUSH2 0x0be3
000003fe: JUMP
000003ff: JUMPDEST
00000400: STOP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: ISZERO
00000404: PUSH2 0x0409
00000407: JUMPI
00000408: INVALID
00000409: JUMPDEST
0000040a: PUSH2 0x0223
0000040d: PUSH1 0x01
0000040f: PUSH1 0xa0
00000411: PUSH1 0x02
00000413: EXP
00000414: SUB
00000415: PUSH1 0x04
00000417: CALLDATALOAD
00000418: AND
00000419: PUSH2 0x0cca
0000041c: JUMP
0000041d: JUMPDEST
0000041e: STOP
0000041f: JUMPDEST
00000420: CALLVALUE
00000421: ISZERO
00000422: PUSH2 0x0427
00000425: JUMPI
00000426: INVALID
00000427: JUMPDEST
00000428: PUSH2 0x0235
0000042b: PUSH2 0x0d93
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x40
00000432: DUP1
00000433: MLOAD
00000434: SWAP2
00000435: DUP3
00000436: MSTORE
00000437: MLOAD
00000438: SWAP1
00000439: DUP2
0000043a: SWAP1
0000043b: SUB
0000043c: PUSH1 0x20
0000043e: ADD
0000043f: SWAP1
00000440: RETURN
00000441: JUMPDEST
00000442: CALLVALUE
00000443: ISZERO
00000444: PUSH2 0x0449
00000447: JUMPI
00000448: INVALID
00000449: JUMPDEST
0000044a: PUSH2 0x0223
0000044d: PUSH2 0x0d99
00000450: JUMP
00000451: JUMPDEST
00000452: STOP
00000453: JUMPDEST
00000454: CALLVALUE
00000455: ISZERO
00000456: PUSH2 0x045b
00000459: JUMPI
0000045a: INVALID
0000045b: JUMPDEST
0000045c: PUSH2 0x0235
0000045f: PUSH2 0x0e8f
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: DUP1
00000467: MLOAD
00000468: SWAP2
00000469: DUP3
0000046a: MSTORE
0000046b: MLOAD
0000046c: SWAP1
0000046d: DUP2
0000046e: SWAP1
0000046f: SUB
00000470: PUSH1 0x20
00000472: ADD
00000473: SWAP1
00000474: RETURN
00000475: JUMPDEST
00000476: CALLVALUE
00000477: ISZERO
00000478: PUSH2 0x047d
0000047b: JUMPI
0000047c: INVALID
0000047d: JUMPDEST
0000047e: PUSH2 0x0223
00000481: PUSH2 0x0e95
00000484: JUMP
00000485: JUMPDEST
00000486: STOP
00000487: JUMPDEST
00000488: CALLVALUE
00000489: ISZERO
0000048a: PUSH2 0x048f
0000048d: JUMPI
0000048e: INVALID
0000048f: JUMPDEST
00000490: PUSH2 0x0235
00000493: PUSH2 0x0ed9
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH1 0x40
0000049a: DUP1
0000049b: MLOAD
0000049c: SWAP2
0000049d: DUP3
0000049e: MSTORE
0000049f: MLOAD
000004a0: SWAP1
000004a1: DUP2
000004a2: SWAP1
000004a3: SUB
000004a4: PUSH1 0x20
000004a6: ADD
000004a7: SWAP1
000004a8: RETURN
000004a9: JUMPDEST
000004aa: CALLVALUE
000004ab: ISZERO
000004ac: PUSH2 0x04b1
000004af: JUMPI
000004b0: INVALID
000004b1: JUMPDEST
000004b2: PUSH2 0x0223
000004b5: PUSH1 0x04
000004b7: CALLDATALOAD
000004b8: PUSH2 0x0edf
000004bb: JUMP
000004bc: JUMPDEST
000004bd: STOP
000004be: JUMPDEST
000004bf: CALLVALUE
000004c0: ISZERO
000004c1: PUSH2 0x04c6
000004c4: JUMPI
000004c5: INVALID
000004c6: JUMPDEST
000004c7: PUSH2 0x0369
000004ca: PUSH2 0x0f46
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH1 0x40
000004d1: DUP1
000004d2: MLOAD
000004d3: PUSH1 0x01
000004d5: PUSH1 0xa0
000004d7: PUSH1 0x02
000004d9: EXP
000004da: SUB
000004db: SWAP1
000004dc: SWAP3
000004dd: AND
000004de: DUP3
000004df: MSTORE
000004e0: MLOAD
000004e1: SWAP1
000004e2: DUP2
000004e3: SWAP1
000004e4: SUB
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP1
000004e9: RETURN
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: ISZERO
000004ed: PUSH2 0x04f2
000004f0: JUMPI
000004f1: INVALID
000004f2: JUMPDEST
000004f3: PUSH2 0x0235
000004f6: PUSH2 0x0f55
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x40
000004fd: DUP1
000004fe: MLOAD
000004ff: SWAP2
00000500: DUP3
00000501: MSTORE
00000502: MLOAD
00000503: SWAP1
00000504: DUP2
00000505: SWAP1
00000506: SUB
00000507: PUSH1 0x20
00000509: ADD
0000050a: SWAP1
0000050b: RETURN
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: ISZERO
0000050f: PUSH2 0x0514
00000512: JUMPI
00000513: INVALID
00000514: JUMPDEST
00000515: PUSH2 0x0257
00000518: PUSH2 0x0f5b
0000051b: JUMP
0000051c: JUMPDEST
0000051d: PUSH1 0x40
0000051f: DUP1
00000520: MLOAD
00000521: SWAP2
00000522: ISZERO
00000523: ISZERO
00000524: DUP3
00000525: MSTORE
00000526: MLOAD
00000527: SWAP1
00000528: DUP2
00000529: SWAP1
0000052a: SUB
0000052b: PUSH1 0x20
0000052d: ADD
0000052e: SWAP1
0000052f: RETURN
00000530: JUMPDEST
00000531: CALLVALUE
00000532: ISZERO
00000533: PUSH2 0x0538
00000536: JUMPI
00000537: INVALID
00000538: JUMPDEST
00000539: PUSH2 0x0223
0000053c: PUSH1 0x01
0000053e: PUSH1 0xa0
00000540: PUSH1 0x02
00000542: EXP
00000543: SUB
00000544: PUSH1 0x04
00000546: CALLDATALOAD
00000547: AND
00000548: PUSH2 0x0f67
0000054b: JUMP
0000054c: JUMPDEST
0000054d: STOP
0000054e: JUMPDEST
0000054f: PUSH2 0x0223
00000552: PUSH2 0x0fb0
00000555: JUMP
00000556: JUMPDEST
00000557: STOP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: ISZERO
0000055b: PUSH2 0x0560
0000055e: JUMPI
0000055f: INVALID
00000560: JUMPDEST
00000561: PUSH2 0x0223
00000564: PUSH1 0x04
00000566: CALLDATALOAD
00000567: PUSH2 0x0ffa
0000056a: JUMP
0000056b: JUMPDEST
0000056c: STOP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: ISZERO
00000570: PUSH2 0x0575
00000573: JUMPI
00000574: INVALID
00000575: JUMPDEST
00000576: PUSH2 0x0369
00000579: PUSH2 0x1020
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH1 0x40
00000580: DUP1
00000581: MLOAD
00000582: PUSH1 0x01
00000584: PUSH1 0xa0
00000586: PUSH1 0x02
00000588: EXP
00000589: SUB
0000058a: SWAP1
0000058b: SWAP3
0000058c: AND
0000058d: DUP3
0000058e: MSTORE
0000058f: MLOAD
00000590: SWAP1
00000591: DUP2
00000592: SWAP1
00000593: SUB
00000594: PUSH1 0x20
00000596: ADD
00000597: SWAP1
00000598: RETURN
00000599: JUMPDEST
0000059a: CALLVALUE
0000059b: ISZERO
0000059c: PUSH2 0x05a1
0000059f: JUMPI
000005a0: INVALID
000005a1: JUMPDEST
000005a2: PUSH2 0x0369
000005a5: PUSH2 0x102f
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH1 0x40
000005ac: DUP1
000005ad: MLOAD
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: PUSH1 0x02
000005b4: EXP
000005b5: SUB
000005b6: SWAP1
000005b7: SWAP3
000005b8: AND
000005b9: DUP3
000005ba: MSTORE
000005bb: MLOAD
000005bc: SWAP1
000005bd: DUP2
000005be: SWAP1
000005bf: SUB
000005c0: PUSH1 0x20
000005c2: ADD
000005c3: SWAP1
000005c4: RETURN
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: ISZERO
000005c8: PUSH2 0x05cd
000005cb: JUMPI
000005cc: INVALID
000005cd: JUMPDEST
000005ce: PUSH2 0x0235
000005d1: PUSH1 0x01
000005d3: PUSH1 0xa0
000005d5: PUSH1 0x02
000005d7: EXP
000005d8: SUB
000005d9: PUSH1 0x04
000005db: CALLDATALOAD
000005dc: AND
000005dd: PUSH2 0x103e
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH1 0x40
000005e4: DUP1
000005e5: MLOAD
000005e6: SWAP2
000005e7: DUP3
000005e8: MSTORE
000005e9: MLOAD
000005ea: SWAP1
000005eb: DUP2
000005ec: SWAP1
000005ed: SUB
000005ee: PUSH1 0x20
000005f0: ADD
000005f1: SWAP1
000005f2: RETURN
000005f3: JUMPDEST
000005f4: CALLVALUE
000005f5: ISZERO
000005f6: PUSH2 0x05fb
000005f9: JUMPI
000005fa: INVALID
000005fb: JUMPDEST
000005fc: PUSH2 0x0257
000005ff: PUSH1 0x04
00000601: CALLDATALOAD
00000602: PUSH1 0x24
00000604: CALLDATALOAD
00000605: PUSH1 0x44
00000607: CALLDATALOAD
00000608: PUSH1 0x64
0000060a: CALLDATALOAD
0000060b: PUSH2 0x1050
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x40
00000612: DUP1
00000613: MLOAD
00000614: SWAP2
00000615: ISZERO
00000616: ISZERO
00000617: DUP3
00000618: MSTORE
00000619: MLOAD
0000061a: SWAP1
0000061b: DUP2
0000061c: SWAP1
0000061d: SUB
0000061e: PUSH1 0x20
00000620: ADD
00000621: SWAP1
00000622: RETURN
00000623: JUMPDEST
00000624: CALLVALUE
00000625: ISZERO
00000626: PUSH2 0x062b
00000629: JUMPI
0000062a: INVALID
0000062b: JUMPDEST
0000062c: PUSH2 0x0235
0000062f: PUSH2 0x1076
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH1 0x40
00000636: DUP1
00000637: MLOAD
00000638: SWAP2
00000639: DUP3
0000063a: MSTORE
0000063b: MLOAD
0000063c: SWAP1
0000063d: DUP2
0000063e: SWAP1
0000063f: SUB
00000640: PUSH1 0x20
00000642: ADD
00000643: SWAP1
00000644: RETURN
00000645: JUMPDEST
00000646: PUSH2 0x0223
00000649: PUSH2 0x0822
0000064c: JUMP
0000064d: JUMPDEST
0000064e: STOP
0000064f: JUMPDEST
00000650: CALLVALUE
00000651: ISZERO
00000652: PUSH2 0x0657
00000655: JUMPI
00000656: INVALID
00000657: JUMPDEST
00000658: PUSH2 0x0223
0000065b: PUSH1 0x04
0000065d: CALLDATALOAD
0000065e: PUSH2 0x107c
00000661: JUMP
00000662: JUMPDEST
00000663: STOP
00000664: JUMPDEST
00000665: CALLVALUE
00000666: ISZERO
00000667: PUSH2 0x066c
0000066a: JUMPI
0000066b: INVALID
0000066c: JUMPDEST
0000066d: PUSH2 0x0235
00000670: PUSH2 0x10a1
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH1 0x40
00000677: DUP1
00000678: MLOAD
00000679: SWAP2
0000067a: DUP3
0000067b: MSTORE
0000067c: MLOAD
0000067d: SWAP1
0000067e: DUP2
0000067f: SWAP1
00000680: SUB
00000681: PUSH1 0x20
00000683: ADD
00000684: SWAP1
00000685: RETURN
00000686: JUMPDEST
00000687: CALLVALUE
00000688: ISZERO
00000689: PUSH2 0x068e
0000068c: JUMPI
0000068d: INVALID
0000068e: JUMPDEST
0000068f: PUSH2 0x0257
00000692: PUSH2 0x10a7
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH1 0x40
00000699: DUP1
0000069a: MLOAD
0000069b: SWAP2
0000069c: ISZERO
0000069d: ISZERO
0000069e: DUP3
0000069f: MSTORE
000006a0: MLOAD
000006a1: SWAP1
000006a2: DUP2
000006a3: SWAP1
000006a4: SUB
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: SWAP1
000006a9: RETURN
000006aa: JUMPDEST
000006ab: CALLVALUE
000006ac: ISZERO
000006ad: PUSH2 0x06b2
000006b0: JUMPI
000006b1: INVALID
000006b2: JUMPDEST
000006b3: PUSH2 0x0257
000006b6: PUSH2 0x10b0
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH1 0x40
000006bd: DUP1
000006be: MLOAD
000006bf: SWAP2
000006c0: ISZERO
000006c1: ISZERO
000006c2: DUP3
000006c3: MSTORE
000006c4: MLOAD
000006c5: SWAP1
000006c6: DUP2
000006c7: SWAP1
000006c8: SUB
000006c9: PUSH1 0x20
000006cb: ADD
000006cc: SWAP1
000006cd: RETURN
000006ce: JUMPDEST
000006cf: CALLVALUE
000006d0: ISZERO
000006d1: PUSH2 0x06d6
000006d4: JUMPI
000006d5: INVALID
000006d6: JUMPDEST
000006d7: PUSH2 0x0257
000006da: PUSH1 0x01
000006dc: PUSH1 0xa0
000006de: PUSH1 0x02
000006e0: EXP
000006e1: SUB
000006e2: PUSH1 0x04
000006e4: CALLDATALOAD
000006e5: AND
000006e6: PUSH2 0x10c0
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x40
000006ed: DUP1
000006ee: MLOAD
000006ef: SWAP2
000006f0: ISZERO
000006f1: ISZERO
000006f2: DUP3
000006f3: MSTORE
000006f4: MLOAD
000006f5: SWAP1
000006f6: DUP2
000006f7: SWAP1
000006f8: SUB
000006f9: PUSH1 0x20
000006fb: ADD
000006fc: SWAP1
000006fd: RETURN
000006fe: JUMPDEST
000006ff: CALLVALUE
00000700: ISZERO
00000701: PUSH2 0x0706
00000704: JUMPI
00000705: INVALID
00000706: JUMPDEST
00000707: PUSH2 0x0223
0000070a: PUSH2 0x10d5
0000070d: JUMP
0000070e: JUMPDEST
0000070f: STOP
00000710: JUMPDEST
00000711: CALLVALUE
00000712: ISZERO
00000713: PUSH2 0x0718
00000716: JUMPI
00000717: INVALID
00000718: JUMPDEST
00000719: PUSH2 0x0257
0000071c: PUSH2 0x112d
0000071f: JUMP
00000720: JUMPDEST
00000721: PUSH1 0x40
00000723: DUP1
00000724: MLOAD
00000725: SWAP2
00000726: ISZERO
00000727: ISZERO
00000728: DUP3
00000729: MSTORE
0000072a: MLOAD
0000072b: SWAP1
0000072c: DUP2
0000072d: SWAP1
0000072e: SUB
0000072f: PUSH1 0x20
00000731: ADD
00000732: SWAP1
00000733: RETURN
00000734: JUMPDEST
00000735: CALLVALUE
00000736: ISZERO
00000737: PUSH2 0x073c
0000073a: JUMPI
0000073b: INVALID
0000073c: JUMPDEST
0000073d: PUSH2 0x0235
00000740: PUSH2 0x113e
00000743: JUMP
00000744: JUMPDEST
00000745: PUSH1 0x40
00000747: DUP1
00000748: MLOAD
00000749: SWAP2
0000074a: DUP3
0000074b: MSTORE
0000074c: MLOAD
0000074d: SWAP1
0000074e: DUP2
0000074f: SWAP1
00000750: SUB
00000751: PUSH1 0x20
00000753: ADD
00000754: SWAP1
00000755: RETURN
00000756: JUMPDEST
00000757: CALLVALUE
00000758: ISZERO
00000759: PUSH2 0x075e
0000075c: JUMPI
0000075d: INVALID
0000075e: JUMPDEST
0000075f: PUSH2 0x0235
00000762: PUSH2 0x1144
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH1 0x40
00000769: DUP1
0000076a: MLOAD
0000076b: SWAP2
0000076c: DUP3
0000076d: MSTORE
0000076e: MLOAD
0000076f: SWAP1
00000770: DUP2
00000771: SWAP1
00000772: SUB
00000773: PUSH1 0x20
00000775: ADD
00000776: SWAP1
00000777: RETURN
00000778: JUMPDEST
00000779: CALLVALUE
0000077a: ISZERO
0000077b: PUSH2 0x0780
0000077e: JUMPI
0000077f: INVALID
00000780: JUMPDEST
00000781: PUSH2 0x0369
00000784: PUSH2 0x11d8
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH1 0x40
0000078b: DUP1
0000078c: MLOAD
0000078d: PUSH1 0x01
0000078f: PUSH1 0xa0
00000791: PUSH1 0x02
00000793: EXP
00000794: SUB
00000795: SWAP1
00000796: SWAP3
00000797: AND
00000798: DUP3
00000799: MSTORE
0000079a: MLOAD
0000079b: SWAP1
0000079c: DUP2
0000079d: SWAP1
0000079e: SUB
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: SWAP1
000007a3: RETURN
000007a4: JUMPDEST
000007a5: CALLVALUE
000007a6: ISZERO
000007a7: PUSH2 0x07ac
000007aa: JUMPI
000007ab: INVALID
000007ac: JUMPDEST
000007ad: PUSH2 0x0223
000007b0: PUSH1 0x01
000007b2: PUSH1 0xa0
000007b4: PUSH1 0x02
000007b6: EXP
000007b7: SUB
000007b8: PUSH1 0x04
000007ba: CALLDATALOAD
000007bb: AND
000007bc: PUSH2 0x11e7
000007bf: JUMP
000007c0: JUMPDEST
000007c1: STOP
000007c2: JUMPDEST
000007c3: CALLVALUE
000007c4: ISZERO
000007c5: PUSH2 0x07ca
000007c8: JUMPI
000007c9: INVALID
000007ca: JUMPDEST
000007cb: PUSH2 0x0223
000007ce: PUSH1 0x01
000007d0: PUSH1 0xa0
000007d2: PUSH1 0x02
000007d4: EXP
000007d5: SUB
000007d6: PUSH1 0x04
000007d8: CALLDATALOAD
000007d9: AND
000007da: PUSH2 0x1240
000007dd: JUMP
000007de: JUMPDEST
000007df: STOP
000007e0: JUMPDEST
000007e1: PUSH2 0x0223
000007e4: PUSH1 0x01
000007e6: PUSH1 0xa0
000007e8: PUSH1 0x02
000007ea: EXP
000007eb: SUB
000007ec: PUSH1 0x04
000007ee: CALLDATALOAD
000007ef: AND
000007f0: PUSH2 0x129b
000007f3: JUMP
000007f4: JUMPDEST
000007f5: STOP
000007f6: JUMPDEST
000007f7: CALLVALUE
000007f8: ISZERO
000007f9: PUSH2 0x07fe
000007fc: JUMPI
000007fd: INVALID
000007fe: JUMPDEST
000007ff: PUSH2 0x0369
00000802: PUSH2 0x12ca
00000805: JUMP
00000806: JUMPDEST
00000807: PUSH1 0x40
00000809: DUP1
0000080a: MLOAD
0000080b: PUSH1 0x01
0000080d: PUSH1 0xa0
0000080f: PUSH1 0x02
00000811: EXP
00000812: SUB
00000813: SWAP1
00000814: SWAP3
00000815: AND
00000816: DUP3
00000817: MSTORE
00000818: MLOAD
00000819: SWAP1
0000081a: DUP2
0000081b: SWAP1
0000081c: SUB
0000081d: PUSH1 0x20
0000081f: ADD
00000820: SWAP1
00000821: RETURN
00000822: JUMPDEST
00000823: CALLVALUE
00000824: ISZERO
00000825: ISZERO
00000826: PUSH2 0x082f
00000829: JUMPI
0000082a: PUSH1 0x00
0000082c: PUSH1 0x00
0000082e: REVERT
0000082f: JUMPDEST
00000830: PUSH2 0x0220
00000833: CALLER
00000834: CALLVALUE
00000835: PUSH2 0x12d9
00000838: JUMP
00000839: JUMPDEST
0000083a: JUMPDEST
0000083b: JUMP
0000083c: JUMPDEST
0000083d: PUSH1 0x12
0000083f: SLOAD
00000840: DUP2
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x03
00000845: SLOAD
00000846: PUSH1 0x00
00000848: SWAP1
00000849: PUSH1 0x01
0000084b: PUSH1 0xa0
0000084d: PUSH1 0x02
0000084f: EXP
00000850: SUB
00000851: AND
00000852: ISZERO
00000853: ISZERO
00000854: PUSH2 0x085f
00000857: JUMPI
00000858: POP
00000859: PUSH1 0x00
0000085b: PUSH2 0x08e0
0000085e: JUMP
0000085f: JUMPDEST
00000860: PUSH1 0x03
00000862: SLOAD
00000863: PUSH1 0x40
00000865: DUP1
00000866: MLOAD
00000867: PUSH1 0x00
00000869: PUSH1 0x20
0000086b: SWAP2
0000086c: DUP3
0000086d: ADD
0000086e: DUP2
0000086f: SWAP1
00000870: MSTORE
00000871: DUP3
00000872: MLOAD
00000873: PUSH32 0x82771c8e00000000000000000000000000000000000000000000000000000000
00000894: DUP2
00000895: MSTORE
00000896: SWAP3
00000897: MLOAD
00000898: PUSH1 0x01
0000089a: PUSH1 0xa0
0000089c: PUSH1 0x02
0000089e: EXP
0000089f: SUB
000008a0: SWAP1
000008a1: SWAP5
000008a2: AND
000008a3: SWAP4
000008a4: PUSH4 0x82771c8e
000008a9: SWAP4
000008aa: PUSH1 0x04
000008ac: DUP1
000008ad: DUP3
000008ae: ADD
000008af: SWAP5
000008b0: SWAP4
000008b1: SWAP2
000008b2: DUP4
000008b3: SWAP1
000008b4: SUB
000008b5: ADD
000008b6: SWAP1
000008b7: DUP3
000008b8: SWAP1
000008b9: DUP8
000008ba: DUP1
000008bb: EXTCODESIZE
000008bc: ISZERO
000008bd: ISZERO
000008be: PUSH2 0x08c3
000008c1: JUMPI
000008c2: INVALID
000008c3: JUMPDEST
000008c4: PUSH2 0x02c6
000008c7: GAS
000008c8: SUB
000008c9: CALL
000008ca: ISZERO
000008cb: ISZERO
000008cc: PUSH2 0x08d1
000008cf: JUMPI
000008d0: INVALID
000008d1: JUMPDEST
000008d2: POP
000008d3: POP
000008d4: PUSH1 0x40
000008d6: MLOAD
000008d7: MLOAD
000008d8: SWAP2
000008d9: POP
000008da: PUSH2 0x08e0
000008dd: SWAP1
000008de: POP
000008df: JUMP
000008e0: JUMPDEST
000008e1: JUMPDEST
000008e2: SWAP1
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH1 0x07
000008e7: SLOAD
000008e8: DUP2
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x05
000008ed: SLOAD
000008ee: DUP2
000008ef: JUMP
000008f0: JUMPDEST
000008f1: PUSH1 0x0d
000008f3: SLOAD
000008f4: PUSH1 0x00
000008f6: SWAP1
000008f7: PUSH1 0xff
000008f9: AND
000008fa: ISZERO
000008fb: PUSH2 0x0906
000008fe: JUMPI
000008ff: POP
00000900: PUSH1 0x06
00000902: PUSH2 0x08e0
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH2 0x090e
0000090a: PUSH2 0x0842
0000090d: JUMP
0000090e: JUMPDEST
0000090f: ISZERO
00000910: ISZERO
00000911: PUSH2 0x091c
00000914: JUMPI
00000915: POP
00000916: PUSH1 0x01
00000918: PUSH2 0x08e0
0000091b: JUMP
0000091c: JUMPDEST
0000091d: PUSH1 0x06
0000091f: SLOAD
00000920: TIMESTAMP
00000921: LT
00000922: ISZERO
00000923: PUSH2 0x092e
00000926: JUMPI
00000927: POP
00000928: PUSH1 0x02
0000092a: PUSH2 0x08e0
0000092d: JUMP
0000092e: JUMPDEST
0000092f: PUSH1 0x07
00000931: SLOAD
00000932: TIMESTAMP
00000933: GT
00000934: ISZERO
00000935: DUP1
00000936: ISZERO
00000937: PUSH2 0x0945
0000093a: JUMPI
0000093b: POP
0000093c: PUSH2 0x0943
0000093f: PUSH2 0x112d
00000942: JUMP
00000943: JUMPDEST
00000944: ISZERO
00000945: JUMPDEST
00000946: ISZERO
00000947: PUSH2 0x0952
0000094a: JUMPI
0000094b: POP
0000094c: PUSH1 0x03
0000094e: PUSH2 0x08e0
00000951: JUMP
00000952: JUMPDEST
00000953: PUSH2 0x095a
00000956: PUSH2 0x0f5b
00000959: JUMP
0000095a: JUMPDEST
0000095b: ISZERO
0000095c: PUSH2 0x0967
0000095f: JUMPI
00000960: POP
00000961: PUSH1 0x04
00000963: PUSH2 0x08e0
00000966: JUMP
00000967: JUMPDEST
00000968: PUSH2 0x096f
0000096b: PUSH2 0x0f5b
0000096e: JUMP
0000096f: JUMPDEST
00000970: ISZERO
00000971: DUP1
00000972: ISZERO
00000973: PUSH2 0x097e
00000976: JUMPI
00000977: POP
00000978: PUSH1 0x00
0000097a: PUSH1 0x09
0000097c: SLOAD
0000097d: GT
0000097e: JUMPDEST
0000097f: DUP1
00000980: ISZERO
00000981: PUSH2 0x098e
00000984: JUMPI
00000985: POP
00000986: PUSH1 0x09
00000988: SLOAD
00000989: PUSH1 0x0b
0000098b: SLOAD
0000098c: LT
0000098d: ISZERO
0000098e: JUMPDEST
0000098f: ISZERO
00000990: PUSH2 0x099b
00000993: JUMPI
00000994: POP
00000995: PUSH1 0x07
00000997: PUSH2 0x08e0
0000099a: JUMP
0000099b: JUMPDEST
0000099c: POP
0000099d: PUSH1 0x05
0000099f: PUSH2 0x08e0
000009a2: JUMP
000009a3: JUMPDEST
000009a4: JUMPDEST
000009a5: JUMPDEST
000009a6: JUMPDEST
000009a7: JUMPDEST
000009a8: JUMPDEST
000009a9: JUMPDEST
000009aa: SWAP1
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x0f
000009af: PUSH1 0x20
000009b1: MSTORE
000009b2: PUSH1 0x00
000009b4: SWAP1
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x40
000009b9: SWAP1
000009ba: KECCAK256
000009bb: SLOAD
000009bc: DUP2
000009bd: JUMP
000009be: JUMPDEST
000009bf: PUSH1 0x00
000009c1: PUSH1 0x02
000009c3: JUMPDEST
000009c4: PUSH2 0x09cb
000009c7: PUSH2 0x08f0
000009ca: JUMP
000009cb: JUMPDEST
000009cc: PUSH1 0x07
000009ce: DUP2
000009cf: GT
000009d0: ISZERO
000009d1: PUSH2 0x09d6
000009d4: JUMPI
000009d5: INVALID
000009d6: JUMPDEST
000009d7: GT
000009d8: ISZERO
000009d9: PUSH2 0x09e4
000009dc: JUMPI
000009dd: POP
000009de: PUSH1 0x01
000009e0: PUSH2 0x08e0
000009e3: JUMP
000009e4: JUMPDEST
000009e5: POP
000009e6: PUSH1 0x00
000009e8: PUSH2 0x08e0
000009eb: JUMP
000009ec: JUMPDEST
000009ed: JUMPDEST
000009ee: SWAP1
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH1 0x00
000009f3: DUP1
000009f4: SLOAD
000009f5: DUP2
000009f6: SWAP1
000009f7: CALLER
000009f8: PUSH1 0x01
000009fa: PUSH1 0xa0
000009fc: PUSH1 0x02
000009fe: EXP
000009ff: SUB
00000a00: SWAP1
00000a01: DUP2
00000a02: AND
00000a03: SWAP2
00000a04: AND
00000a05: EQ
00000a06: PUSH2 0x0a0f
00000a09: JUMPI
00000a0a: PUSH1 0x00
00000a0c: PUSH1 0x00
00000a0e: REVERT
00000a0f: JUMPDEST
00000a10: PUSH1 0x02
00000a12: SLOAD
00000a13: PUSH1 0x40
00000a15: DUP1
00000a16: MLOAD
00000a17: PUSH1 0x00
00000a19: PUSH1 0x20
00000a1b: SWAP2
00000a1c: DUP3
00000a1d: ADD
00000a1e: DUP2
00000a1f: SWAP1
00000a20: MSTORE
00000a21: DUP3
00000a22: MLOAD
00000a23: PUSH32 0x313ce56700000000000000000000000000000000000000000000000000000000
00000a44: DUP2
00000a45: MSTORE
00000a46: SWAP3
00000a47: MLOAD
00000a48: PUSH1 0x01
00000a4a: PUSH1 0xa0
00000a4c: PUSH1 0x02
00000a4e: EXP
00000a4f: SUB
00000a50: SWAP1
00000a51: SWAP5
00000a52: AND
00000a53: SWAP4
00000a54: PUSH4 0x313ce567
00000a59: SWAP4
00000a5a: PUSH1 0x04
00000a5c: DUP1
00000a5d: DUP3
00000a5e: ADD
00000a5f: SWAP5
00000a60: SWAP4
00000a61: SWAP2
00000a62: DUP4
00000a63: SWAP1
00000a64: SUB
00000a65: ADD
00000a66: SWAP1
00000a67: DUP3
00000a68: SWAP1
00000a69: DUP8
00000a6a: DUP1
00000a6b: EXTCODESIZE
00000a6c: ISZERO
00000a6d: ISZERO
00000a6e: PUSH2 0x0a73
00000a71: JUMPI
00000a72: INVALID
00000a73: JUMPDEST
00000a74: PUSH2 0x02c6
00000a77: GAS
00000a78: SUB
00000a79: CALL
00000a7a: ISZERO
00000a7b: ISZERO
00000a7c: PUSH2 0x0a81
00000a7f: JUMPI
00000a80: INVALID
00000a81: JUMPDEST
00000a82: POP
00000a83: POP
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: MLOAD
00000a88: PUSH1 0x09
00000a8a: SLOAD
00000a8b: PUSH1 0x0a
00000a8d: SWAP2
00000a8e: SWAP1
00000a8f: SWAP2
00000a90: EXP
00000a91: DUP7
00000a92: MUL
00000a93: SWAP4
00000a94: POP
00000a95: DUP5
00000a96: DUP7
00000a97: MUL
00000a98: SWAP3
00000a99: POP
00000a9a: PUSH2 0x0aaa
00000a9d: SWAP2
00000a9e: POP
00000a9f: DUP3
00000aa0: PUSH4 0xffffffff
00000aa5: PUSH2 0x16f8
00000aa8: AND
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: PUSH1 0x09
00000aad: SSTORE
00000aae: PUSH1 0x08
00000ab0: SLOAD
00000ab1: PUSH2 0x0ac0
00000ab4: SWAP1
00000ab5: DUP4
00000ab6: PUSH4 0xffffffff
00000abb: PUSH2 0x16f8
00000abe: AND
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: PUSH1 0x08
00000ac3: SSTORE
00000ac4: PUSH1 0x01
00000ac6: PUSH1 0xa0
00000ac8: PUSH1 0x02
00000aca: EXP
00000acb: SUB
00000acc: DUP6
00000acd: AND
00000ace: PUSH1 0x00
00000ad0: SWAP1
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x0f
00000ad5: PUSH1 0x20
00000ad7: MSTORE
00000ad8: PUSH1 0x40
00000ada: SWAP1
00000adb: KECCAK256
00000adc: SLOAD
00000add: PUSH2 0x0aec
00000ae0: SWAP1
00000ae1: DUP3
00000ae2: PUSH4 0xffffffff
00000ae7: PUSH2 0x16f8
00000aea: AND
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: PUSH1 0x01
00000aef: PUSH1 0xa0
00000af1: PUSH1 0x02
00000af3: EXP
00000af4: SUB
00000af5: DUP7
00000af6: AND
00000af7: PUSH1 0x00
00000af9: SWAP1
00000afa: DUP2
00000afb: MSTORE
00000afc: PUSH1 0x0f
00000afe: PUSH1 0x20
00000b00: SWAP1
00000b01: DUP2
00000b02: MSTORE
00000b03: PUSH1 0x40
00000b05: DUP1
00000b06: DUP4
00000b07: KECCAK256
00000b08: SWAP4
00000b09: SWAP1
00000b0a: SWAP4
00000b0b: SSTORE
00000b0c: PUSH1 0x10
00000b0e: SWAP1
00000b0f: MSTORE
00000b10: KECCAK256
00000b11: SLOAD
00000b12: PUSH2 0x0b21
00000b15: SWAP1
00000b16: DUP4
00000b17: PUSH4 0xffffffff
00000b1c: PUSH2 0x16f8
00000b1f: AND
00000b20: JUMP
00000b21: JUMPDEST
00000b22: PUSH1 0x01
00000b24: PUSH1 0xa0
00000b26: PUSH1 0x02
00000b28: EXP
00000b29: SUB
00000b2a: DUP7
00000b2b: AND
00000b2c: PUSH1 0x00
00000b2e: SWAP1
00000b2f: DUP2
00000b30: MSTORE
00000b31: PUSH1 0x10
00000b33: PUSH1 0x20
00000b35: MSTORE
00000b36: PUSH1 0x40
00000b38: SWAP1
00000b39: KECCAK256
00000b3a: SSTORE
00000b3b: PUSH2 0x0b44
00000b3e: DUP6
00000b3f: DUP4
00000b40: PUSH2 0x1712
00000b43: JUMP
00000b44: JUMPDEST
00000b45: PUSH1 0x40
00000b47: DUP1
00000b48: MLOAD
00000b49: PUSH1 0x01
00000b4b: PUSH1 0xa0
00000b4d: PUSH1 0x02
00000b4f: EXP
00000b50: SUB
00000b51: DUP8
00000b52: AND
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x20
00000b57: DUP2
00000b58: ADD
00000b59: DUP4
00000b5a: SWAP1
00000b5b: MSTORE
00000b5c: DUP1
00000b5d: DUP3
00000b5e: ADD
00000b5f: DUP5
00000b60: SWAP1
00000b61: MSTORE
00000b62: SWAP1
00000b63: MLOAD
00000b64: PUSH32 0x9e9d071824fd57d062ca63fd8b786d8da48a6807eebbcb2d83f9e8d21398e28c
00000b85: SWAP2
00000b86: DUP2
00000b87: SWAP1
00000b88: SUB
00000b89: PUSH1 0x60
00000b8b: ADD
00000b8c: SWAP1
00000b8d: LOG1
00000b8e: JUMPDEST
00000b8f: JUMPDEST
00000b90: POP
00000b91: POP
00000b92: POP
00000b93: POP
00000b94: POP
00000b95: JUMP
00000b96: JUMPDEST
00000b97: PUSH1 0x14
00000b99: SLOAD
00000b9a: PUSH1 0x01
00000b9c: PUSH1 0xa0
00000b9e: PUSH1 0x02
00000ba0: EXP
00000ba1: SUB
00000ba2: AND
00000ba3: DUP2
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: PUSH1 0x00
00000ba8: PUSH1 0x02
00000baa: JUMPDEST
00000bab: PUSH2 0x0bb2
00000bae: PUSH2 0x08f0
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x07
00000bb5: DUP2
00000bb6: GT
00000bb7: ISZERO
00000bb8: PUSH2 0x0bbd
00000bbb: JUMPI
00000bbc: INVALID
00000bbd: JUMPDEST
00000bbe: EQ
00000bbf: ISZERO
00000bc0: PUSH2 0x09e4
00000bc3: JUMPI
00000bc4: POP
00000bc5: PUSH1 0x01
00000bc7: PUSH2 0x08e0
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: POP
00000bcd: PUSH1 0x00
00000bcf: PUSH2 0x08e0
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: JUMPDEST
00000bd5: SWAP1
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: PUSH1 0x09
00000bda: SLOAD
00000bdb: DUP2
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: PUSH1 0x01
00000be0: JUMPDEST
00000be1: SWAP1
00000be2: JUMP
00000be3: JUMPDEST
00000be4: PUSH1 0x04
00000be6: DUP1
00000be7: JUMPDEST
00000be8: PUSH2 0x0bef
00000beb: PUSH2 0x08f0
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH1 0x07
00000bf2: DUP2
00000bf3: GT
00000bf4: ISZERO
00000bf5: PUSH2 0x0bfa
00000bf8: JUMPI
00000bf9: INVALID
00000bfa: JUMPDEST
00000bfb: EQ
00000bfc: PUSH2 0x0c05
00000bff: JUMPI
00000c00: PUSH1 0x00
00000c02: PUSH1 0x00
00000c04: REVERT
00000c05: JUMPDEST
00000c06: PUSH1 0x00
00000c08: SLOAD
00000c09: CALLER
00000c0a: PUSH1 0x01
00000c0c: PUSH1 0xa0
00000c0e: PUSH1 0x02
00000c10: EXP
00000c11: SUB
00000c12: SWAP1
00000c13: DUP2
00000c14: AND
00000c15: SWAP2
00000c16: AND
00000c17: EQ
00000c18: PUSH2 0x0c21
00000c1b: JUMPI
00000c1c: PUSH1 0x00
00000c1e: PUSH1 0x00
00000c20: REVERT
00000c21: JUMPDEST
00000c22: PUSH1 0x00
00000c24: SLOAD
00000c25: PUSH1 0xa0
00000c27: PUSH1 0x02
00000c29: EXP
00000c2a: SWAP1
00000c2b: DIV
00000c2c: PUSH1 0xff
00000c2e: AND
00000c2f: ISZERO
00000c30: PUSH2 0x0c39
00000c33: JUMPI
00000c34: PUSH1 0x00
00000c36: PUSH1 0x00
00000c38: REVERT
00000c39: JUMPDEST
00000c3a: PUSH1 0x0d
00000c3c: SLOAD
00000c3d: PUSH1 0xff
00000c3f: AND
00000c40: ISZERO
00000c41: PUSH2 0x0c4a
00000c44: JUMPI
00000c45: PUSH1 0x00
00000c47: PUSH1 0x00
00000c49: REVERT
00000c4a: JUMPDEST
00000c4b: PUSH1 0x02
00000c4d: SLOAD
00000c4e: PUSH1 0x40
00000c50: DUP1
00000c51: MLOAD
00000c52: PUSH32 0x5f412d4f00000000000000000000000000000000000000000000000000000000
00000c73: DUP2
00000c74: MSTORE
00000c75: SWAP1
00000c76: MLOAD
00000c77: PUSH1 0x01
00000c79: PUSH1 0xa0
00000c7b: PUSH1 0x02
00000c7d: EXP
00000c7e: SUB
00000c7f: SWAP1
00000c80: SWAP3
00000c81: AND
00000c82: SWAP2
00000c83: PUSH4 0x5f412d4f
00000c88: SWAP2
00000c89: PUSH1 0x04
00000c8b: DUP1
00000c8c: DUP3
00000c8d: ADD
00000c8e: SWAP3
00000c8f: PUSH1 0x00
00000c91: SWAP3
00000c92: SWAP1
00000c93: SWAP2
00000c94: SWAP1
00000c95: DUP3
00000c96: SWAP1
00000c97: SUB
00000c98: ADD
00000c99: DUP2
00000c9a: DUP4
00000c9b: DUP8
00000c9c: DUP1
00000c9d: EXTCODESIZE
00000c9e: ISZERO
00000c9f: ISZERO
00000ca0: PUSH2 0x0ca5
00000ca3: JUMPI
00000ca4: INVALID
00000ca5: JUMPDEST
00000ca6: PUSH2 0x02c6
00000ca9: GAS
00000caa: SUB
00000cab: CALL
00000cac: ISZERO
00000cad: ISZERO
00000cae: PUSH2 0x0cb3
00000cb1: JUMPI
00000cb2: INVALID
00000cb3: JUMPDEST
00000cb4: POP
00000cb5: POP
00000cb6: PUSH1 0x0d
00000cb8: DUP1
00000cb9: SLOAD
00000cba: PUSH1 0xff
00000cbc: NOT
00000cbd: AND
00000cbe: PUSH1 0x01
00000cc0: OR
00000cc1: SWAP1
00000cc2: SSTORE
00000cc3: POP
00000cc4: JUMPDEST
00000cc5: JUMPDEST
00000cc6: JUMPDEST
00000cc7: JUMPDEST
00000cc8: POP
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: PUSH1 0x00
00000ccd: SLOAD
00000cce: CALLER
00000ccf: PUSH1 0x01
00000cd1: PUSH1 0xa0
00000cd3: PUSH1 0x02
00000cd5: EXP
00000cd6: SUB
00000cd7: SWAP1
00000cd8: DUP2
00000cd9: AND
00000cda: SWAP2
00000cdb: AND
00000cdc: EQ
00000cdd: PUSH2 0x0ce6
00000ce0: JUMPI
00000ce1: PUSH1 0x00
00000ce3: PUSH1 0x00
00000ce5: REVERT
00000ce6: JUMPDEST
00000ce7: PUSH1 0x03
00000ce9: DUP1
00000cea: SLOAD
00000ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d00: NOT
00000d01: AND
00000d02: PUSH1 0x01
00000d04: PUSH1 0xa0
00000d06: PUSH1 0x02
00000d08: EXP
00000d09: SUB
00000d0a: DUP4
00000d0b: DUP2
00000d0c: AND
00000d0d: SWAP2
00000d0e: SWAP1
00000d0f: SWAP2
00000d10: OR
00000d11: SWAP2
00000d12: DUP3
00000d13: SWAP1
00000d14: SSTORE
00000d15: PUSH1 0x40
00000d17: DUP1
00000d18: MLOAD
00000d19: PUSH1 0x00
00000d1b: PUSH1 0x20
00000d1d: SWAP2
00000d1e: DUP3
00000d1f: ADD
00000d20: DUP2
00000d21: SWAP1
00000d22: MSTORE
00000d23: DUP3
00000d24: MLOAD
00000d25: PUSH32 0x04bbc25500000000000000000000000000000000000000000000000000000000
00000d46: DUP2
00000d47: MSTORE
00000d48: SWAP3
00000d49: MLOAD
00000d4a: SWAP5
00000d4b: SWAP1
00000d4c: SWAP4
00000d4d: AND
00000d4e: SWAP4
00000d4f: PUSH4 0x04bbc255
00000d54: SWAP4
00000d55: PUSH1 0x04
00000d57: DUP1
00000d58: DUP6
00000d59: ADD
00000d5a: SWAP5
00000d5b: DUP4
00000d5c: SWAP1
00000d5d: SUB
00000d5e: ADD
00000d5f: SWAP1
00000d60: DUP3
00000d61: SWAP1
00000d62: DUP8
00000d63: DUP1
00000d64: EXTCODESIZE
00000d65: ISZERO
00000d66: ISZERO
00000d67: PUSH2 0x0d6c
00000d6a: JUMPI
00000d6b: INVALID
00000d6c: JUMPDEST
00000d6d: PUSH2 0x02c6
00000d70: GAS
00000d71: SUB
00000d72: CALL
00000d73: ISZERO
00000d74: ISZERO
00000d75: PUSH2 0x0d7a
00000d78: JUMPI
00000d79: INVALID
00000d7a: JUMPDEST
00000d7b: POP
00000d7c: POP
00000d7d: PUSH1 0x40
00000d7f: MLOAD
00000d80: MLOAD
00000d81: ISZERO
00000d82: ISZERO
00000d83: SWAP1
00000d84: POP
00000d85: PUSH2 0x0cc4
00000d88: JUMPI
00000d89: PUSH1 0x00
00000d8b: PUSH1 0x00
00000d8d: REVERT
00000d8e: JUMPDEST
00000d8f: JUMPDEST
00000d90: JUMPDEST
00000d91: POP
00000d92: JUMP
00000d93: JUMPDEST
00000d94: PUSH1 0x08
00000d96: SLOAD
00000d97: DUP2
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: PUSH1 0x00
00000d9c: PUSH1 0x07
00000d9e: DUP1
00000d9f: JUMPDEST
00000da0: PUSH2 0x0da7
00000da3: PUSH2 0x08f0
00000da6: JUMP
00000da7: JUMPDEST
00000da8: PUSH1 0x07
00000daa: DUP2
00000dab: GT
00000dac: ISZERO
00000dad: PUSH2 0x0db2
00000db0: JUMPI
00000db1: INVALID
00000db2: JUMPDEST
00000db3: EQ
00000db4: PUSH2 0x0dbd
00000db7: JUMPI
00000db8: PUSH1 0x00
00000dba: PUSH1 0x00
00000dbc: REVERT
00000dbd: JUMPDEST
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0xa0
00000dc2: PUSH1 0x02
00000dc4: EXP
00000dc5: SUB
00000dc6: CALLER
00000dc7: AND
00000dc8: PUSH1 0x00
00000dca: SWAP1
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x0f
00000dcf: PUSH1 0x20
00000dd1: MSTORE
00000dd2: PUSH1 0x40
00000dd4: SWAP1
00000dd5: KECCAK256
00000dd6: SLOAD
00000dd7: SWAP2
00000dd8: POP
00000dd9: DUP2
00000dda: ISZERO
00000ddb: ISZERO
00000ddc: PUSH2 0x0de5
00000ddf: JUMPI
00000de0: PUSH1 0x00
00000de2: PUSH1 0x00
00000de4: REVERT
00000de5: JUMPDEST
00000de6: PUSH1 0x01
00000de8: PUSH1 0xa0
00000dea: PUSH1 0x02
00000dec: EXP
00000ded: SUB
00000dee: CALLER
00000def: AND
00000df0: PUSH1 0x00
00000df2: SWAP1
00000df3: DUP2
00000df4: MSTORE
00000df5: PUSH1 0x0f
00000df7: PUSH1 0x20
00000df9: MSTORE
00000dfa: PUSH1 0x40
00000dfc: DUP2
00000dfd: KECCAK256
00000dfe: SSTORE
00000dff: PUSH1 0x0c
00000e01: SLOAD
00000e02: PUSH2 0x0e11
00000e05: SWAP1
00000e06: DUP4
00000e07: PUSH4 0xffffffff
00000e0c: PUSH2 0x16f8
00000e0f: AND
00000e10: JUMP
00000e11: JUMPDEST
00000e12: PUSH1 0x0c
00000e14: SSTORE
00000e15: PUSH1 0x40
00000e17: DUP1
00000e18: MLOAD
00000e19: PUSH1 0x01
00000e1b: PUSH1 0xa0
00000e1d: PUSH1 0x02
00000e1f: EXP
00000e20: SUB
00000e21: CALLER
00000e22: AND
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: DUP2
00000e28: ADD
00000e29: DUP5
00000e2a: SWAP1
00000e2b: MSTORE
00000e2c: DUP2
00000e2d: MLOAD
00000e2e: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d
00000e4f: SWAP3
00000e50: SWAP2
00000e51: DUP2
00000e52: SWAP1
00000e53: SUB
00000e54: SWAP1
00000e55: SWAP2
00000e56: ADD
00000e57: SWAP1
00000e58: LOG1
00000e59: PUSH1 0x40
00000e5b: MLOAD
00000e5c: PUSH1 0x01
00000e5e: PUSH1 0xa0
00000e60: PUSH1 0x02
00000e62: EXP
00000e63: SUB
00000e64: CALLER
00000e65: AND
00000e66: SWAP1
00000e67: DUP4
00000e68: ISZERO
00000e69: PUSH2 0x08fc
00000e6c: MUL
00000e6d: SWAP1
00000e6e: DUP5
00000e6f: SWAP1
00000e70: PUSH1 0x00
00000e72: DUP2
00000e73: DUP2
00000e74: DUP2
00000e75: DUP6
00000e76: DUP9
00000e77: DUP9
00000e78: CALL
00000e79: SWAP4
00000e7a: POP
00000e7b: POP
00000e7c: POP
00000e7d: POP
00000e7e: ISZERO
00000e7f: ISZERO
00000e80: PUSH2 0x0e89
00000e83: JUMPI
00000e84: PUSH1 0x00
00000e86: PUSH1 0x00
00000e88: REVERT
00000e89: JUMPDEST
00000e8a: JUMPDEST
00000e8b: JUMPDEST
00000e8c: POP
00000e8d: POP
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH1 0x0c
00000e92: SLOAD
00000e93: DUP2
00000e94: JUMP
00000e95: JUMPDEST
00000e96: PUSH1 0x00
00000e98: SLOAD
00000e99: CALLER
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0xa0
00000e9e: PUSH1 0x02
00000ea0: EXP
00000ea1: SUB
00000ea2: SWAP1
00000ea3: DUP2
00000ea4: AND
00000ea5: SWAP2
00000ea6: AND
00000ea7: EQ
00000ea8: PUSH2 0x0eb1
00000eab: JUMPI
00000eac: PUSH1 0x00
00000eae: PUSH1 0x00
00000eb0: REVERT
00000eb1: JUMPDEST
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: SLOAD
00000eb6: PUSH21 0xff0000000000000000000000000000000000000000
00000ecc: NOT
00000ecd: AND
00000ece: PUSH1 0xa0
00000ed0: PUSH1 0x02
00000ed2: EXP
00000ed3: OR
00000ed4: SWAP1
00000ed5: SSTORE
00000ed6: JUMPDEST
00000ed7: JUMPDEST
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: PUSH1 0x01
00000edc: SLOAD
00000edd: DUP2
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x00
00000ee2: SLOAD
00000ee3: CALLER
00000ee4: PUSH1 0x01
00000ee6: PUSH1 0xa0
00000ee8: PUSH1 0x02
00000eea: EXP
00000eeb: SUB
00000eec: SWAP1
00000eed: DUP2
00000eee: AND
00000eef: SWAP2
00000ef0: AND
00000ef1: EQ
00000ef2: PUSH2 0x0efb
00000ef5: JUMPI
00000ef6: PUSH1 0x00
00000ef8: PUSH1 0x00
00000efa: REVERT
00000efb: JUMPDEST
00000efc: DUP1
00000efd: TIMESTAMP
00000efe: GT
00000eff: ISZERO
00000f00: PUSH2 0x0f09
00000f03: JUMPI
00000f04: PUSH1 0x00
00000f06: PUSH1 0x00
00000f08: REVERT
00000f09: JUMPDEST
00000f0a: PUSH1 0x07
00000f0c: DUP2
00000f0d: SWAP1
00000f0e: SSTORE
00000f0f: PUSH1 0x40
00000f11: DUP1
00000f12: MLOAD
00000f13: DUP3
00000f14: DUP2
00000f15: MSTORE
00000f16: SWAP1
00000f17: MLOAD
00000f18: PUSH32 0xd34bb772c4ae9baa99db852f622773b31c7827e8ee818449fef20d30980bd310
00000f39: SWAP2
00000f3a: DUP2
00000f3b: SWAP1
00000f3c: SUB
00000f3d: PUSH1 0x20
00000f3f: ADD
00000f40: SWAP1
00000f41: LOG1
00000f42: JUMPDEST
00000f43: JUMPDEST
00000f44: POP
00000f45: JUMP
00000f46: JUMPDEST
00000f47: PUSH1 0x03
00000f49: SLOAD
00000f4a: PUSH1 0x01
00000f4c: PUSH1 0xa0
00000f4e: PUSH1 0x02
00000f50: EXP
00000f51: SUB
00000f52: AND
00000f53: DUP2
00000f54: JUMP
00000f55: JUMPDEST
00000f56: PUSH1 0x0b
00000f58: SLOAD
00000f59: DUP2
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x05
00000f5e: SLOAD
00000f5f: PUSH1 0x09
00000f61: SLOAD
00000f62: LT
00000f63: ISZERO
00000f64: JUMPDEST
00000f65: SWAP1
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH1 0x00
00000f6a: SLOAD
00000f6b: CALLER
00000f6c: PUSH1 0x01
00000f6e: PUSH1 0xa0
00000f70: PUSH1 0x02
00000f72: EXP
00000f73: SUB
00000f74: SWAP1
00000f75: DUP2
00000f76: AND
00000f77: SWAP2
00000f78: AND
00000f79: EQ
00000f7a: PUSH2 0x0f83
00000f7d: JUMPI
00000f7e: PUSH1 0x00
00000f80: PUSH1 0x00
00000f82: REVERT
00000f83: JUMPDEST
00000f84: PUSH1 0x13
00000f86: DUP1
00000f87: SLOAD
00000f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9d: NOT
00000f9e: AND
00000f9f: PUSH1 0x01
00000fa1: PUSH1 0xa0
00000fa3: PUSH1 0x02
00000fa5: EXP
00000fa6: SUB
00000fa7: DUP4
00000fa8: AND
00000fa9: OR
00000faa: SWAP1
00000fab: SSTORE
00000fac: JUMPDEST
00000fad: JUMPDEST
00000fae: POP
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x05
00000fb3: DUP1
00000fb4: JUMPDEST
00000fb5: PUSH2 0x0fbc
00000fb8: PUSH2 0x08f0
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: PUSH1 0x07
00000fbf: DUP2
00000fc0: GT
00000fc1: ISZERO
00000fc2: PUSH2 0x0fc7
00000fc5: JUMPI
00000fc6: INVALID
00000fc7: JUMPDEST
00000fc8: EQ
00000fc9: PUSH2 0x0fd2
00000fcc: JUMPI
00000fcd: PUSH1 0x00
00000fcf: PUSH1 0x00
00000fd1: REVERT
00000fd2: JUMPDEST
00000fd3: CALLVALUE
00000fd4: ISZERO
00000fd5: ISZERO
00000fd6: PUSH2 0x0fdf
00000fd9: JUMPI
00000fda: PUSH1 0x00
00000fdc: PUSH1 0x00
00000fde: REVERT
00000fdf: JUMPDEST
00000fe0: PUSH1 0x0b
00000fe2: SLOAD
00000fe3: PUSH2 0x0ff2
00000fe6: SWAP1
00000fe7: CALLVALUE
00000fe8: PUSH4 0xffffffff
00000fed: PUSH2 0x16f8
00000ff0: AND
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x0b
00000ff5: SSTORE
00000ff6: JUMPDEST
00000ff7: JUMPDEST
00000ff8: POP
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH1 0x00
00000ffd: SLOAD
00000ffe: CALLER
00000fff: PUSH1 0x01
00001001: PUSH1 0xa0
00001003: PUSH1 0x02
00001005: EXP
00001006: SUB
00001007: SWAP1
00001008: DUP2
00001009: AND
0000100a: SWAP2
0000100b: AND
0000100c: EQ
0000100d: PUSH2 0x1016
00001010: JUMPI
00001011: PUSH1 0x00
00001013: PUSH1 0x00
00001015: REVERT
00001016: JUMPDEST
00001017: PUSH1 0x12
00001019: DUP2
0000101a: SWAP1
0000101b: SSTORE
0000101c: JUMPDEST
0000101d: JUMPDEST
0000101e: POP
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH1 0x00
00001023: SLOAD
00001024: PUSH1 0x01
00001026: PUSH1 0xa0
00001028: PUSH1 0x02
0000102a: EXP
0000102b: SUB
0000102c: AND
0000102d: DUP2
0000102e: JUMP
0000102f: JUMPDEST
00001030: PUSH1 0x04
00001032: SLOAD
00001033: PUSH1 0x01
00001035: PUSH1 0xa0
00001037: PUSH1 0x02
00001039: EXP
0000103a: SUB
0000103b: AND
0000103c: DUP2
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH1 0x10
00001041: PUSH1 0x20
00001043: MSTORE
00001044: PUSH1 0x00
00001046: SWAP1
00001047: DUP2
00001048: MSTORE
00001049: PUSH1 0x40
0000104b: SWAP1
0000104c: KECCAK256
0000104d: SLOAD
0000104e: DUP2
0000104f: JUMP
00001050: JUMPDEST
00001051: PUSH1 0x00
00001053: PUSH2 0x105a
00001056: PUSH2 0x1144
00001059: JUMP
0000105a: JUMPDEST
0000105b: DUP5
0000105c: GT
0000105d: ISZERO
0000105e: PUSH2 0x1069
00001061: JUMPI
00001062: POP
00001063: PUSH1 0x01
00001065: PUSH2 0x106d
00001068: JUMP
00001069: JUMPDEST
0000106a: POP
0000106b: PUSH1 0x00
0000106d: JUMPDEST
0000106e: JUMPDEST
0000106f: SWAP5
00001070: SWAP4
00001071: POP
00001072: POP
00001073: POP
00001074: POP
00001075: JUMP
00001076: JUMPDEST
00001077: PUSH1 0x0e
00001079: SLOAD
0000107a: DUP2
0000107b: JUMP
0000107c: JUMPDEST
0000107d: PUSH1 0x13
0000107f: SLOAD
00001080: CALLER
00001081: PUSH1 0x01
00001083: PUSH1 0xa0
00001085: PUSH1 0x02
00001087: EXP
00001088: SUB
00001089: SWAP1
0000108a: DUP2
0000108b: AND
0000108c: SWAP2
0000108d: AND
0000108e: EQ
0000108f: PUSH2 0x1098
00001092: JUMPI
00001093: PUSH1 0x00
00001095: PUSH1 0x00
00001097: REVERT
00001098: JUMPDEST
00001099: PUSH1 0x0e
0000109b: DUP2
0000109c: SWAP1
0000109d: SSTORE
0000109e: JUMPDEST
0000109f: POP
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH1 0x06
000010a4: SLOAD
000010a5: DUP2
000010a6: JUMP
000010a7: JUMPDEST
000010a8: PUSH1 0x0d
000010aa: SLOAD
000010ab: PUSH1 0xff
000010ad: AND
000010ae: DUP2
000010af: JUMP
000010b0: JUMPDEST
000010b1: PUSH1 0x00
000010b3: SLOAD
000010b4: PUSH1 0xa0
000010b6: PUSH1 0x02
000010b8: EXP
000010b9: SWAP1
000010ba: DIV
000010bb: PUSH1 0xff
000010bd: AND
000010be: DUP2
000010bf: JUMP
000010c0: JUMPDEST
000010c1: PUSH1 0x11
000010c3: PUSH1 0x20
000010c5: MSTORE
000010c6: PUSH1 0x00
000010c8: SWAP1
000010c9: DUP2
000010ca: MSTORE
000010cb: PUSH1 0x40
000010cd: SWAP1
000010ce: KECCAK256
000010cf: SLOAD
000010d0: PUSH1 0xff
000010d2: AND
000010d3: DUP2
000010d4: JUMP
000010d5: JUMPDEST
000010d6: PUSH1 0x00
000010d8: SLOAD
000010d9: CALLER
000010da: PUSH1 0x01
000010dc: PUSH1 0xa0
000010de: PUSH1 0x02
000010e0: EXP
000010e1: SUB
000010e2: SWAP1
000010e3: DUP2
000010e4: AND
000010e5: SWAP2
000010e6: AND
000010e7: EQ
000010e8: PUSH2 0x10f1
000010eb: JUMPI
000010ec: PUSH1 0x00
000010ee: PUSH1 0x00
000010f0: REVERT
000010f1: JUMPDEST
000010f2: PUSH1 0x00
000010f4: SLOAD
000010f5: PUSH1 0xa0
000010f7: PUSH1 0x02
000010f9: EXP
000010fa: SWAP1
000010fb: DIV
000010fc: PUSH1 0xff
000010fe: AND
000010ff: ISZERO
00001100: ISZERO
00001101: PUSH2 0x110a
00001104: JUMPI
00001105: PUSH1 0x00
00001107: PUSH1 0x00
00001109: REVERT
0000110a: JUMPDEST
0000110b: PUSH1 0x00
0000110d: DUP1
0000110e: SLOAD
0000110f: PUSH21 0xff0000000000000000000000000000000000000000
00001125: NOT
00001126: AND
00001127: SWAP1
00001128: SSTORE
00001129: JUMPDEST
0000112a: JUMPDEST
0000112b: JUMPDEST
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH1 0x00
00001130: PUSH2 0x1137
00001133: PUSH2 0x1144
00001136: JUMP
00001137: JUMPDEST
00001138: ISZERO
00001139: SWAP1
0000113a: POP
0000113b: JUMPDEST
0000113c: SWAP1
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH1 0x0a
00001141: SLOAD
00001142: DUP2
00001143: JUMP
00001144: JUMPDEST
00001145: PUSH1 0x02
00001147: SLOAD
00001148: PUSH1 0x00
0000114a: DUP1
0000114b: SLOAD
0000114c: PUSH1 0x40
0000114e: DUP1
0000114f: MLOAD
00001150: PUSH1 0x20
00001152: SWAP1
00001153: DUP2
00001154: ADD
00001155: DUP5
00001156: SWAP1
00001157: MSTORE
00001158: DUP2
00001159: MLOAD
0000115a: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
0000117b: DUP2
0000117c: MSTORE
0000117d: PUSH1 0x01
0000117f: PUSH1 0xa0
00001181: PUSH1 0x02
00001183: EXP
00001184: SUB
00001185: SWAP4
00001186: DUP5
00001187: AND
00001188: PUSH1 0x04
0000118a: DUP3
0000118b: ADD
0000118c: MSTORE
0000118d: ADDRESS
0000118e: DUP5
0000118f: AND
00001190: PUSH1 0x24
00001192: DUP3
00001193: ADD
00001194: MSTORE
00001195: SWAP2
00001196: MLOAD
00001197: SWAP4
00001198: SWAP5
00001199: SWAP3
0000119a: SWAP1
0000119b: SWAP3
0000119c: AND
0000119d: SWAP3
0000119e: PUSH4 0xdd62ed3e
000011a3: SWAP3
000011a4: PUSH1 0x44
000011a6: DUP1
000011a7: DUP5
000011a8: ADD
000011a9: SWAP4
000011aa: SWAP2
000011ab: SWAP3
000011ac: SWAP2
000011ad: DUP3
000011ae: SWAP1
000011af: SUB
000011b0: ADD
000011b1: DUP2
000011b2: DUP8
000011b3: DUP8
000011b4: DUP1
000011b5: EXTCODESIZE
000011b6: ISZERO
000011b7: ISZERO
000011b8: PUSH2 0x11bd
000011bb: JUMPI
000011bc: INVALID
000011bd: JUMPDEST
000011be: PUSH2 0x02c6
000011c1: GAS
000011c2: SUB
000011c3: CALL
000011c4: ISZERO
000011c5: ISZERO
000011c6: PUSH2 0x11cb
000011c9: JUMPI
000011ca: INVALID
000011cb: JUMPDEST
000011cc: POP
000011cd: POP
000011ce: PUSH1 0x40
000011d0: MLOAD
000011d1: MLOAD
000011d2: SWAP2
000011d3: POP
000011d4: POP
000011d5: JUMPDEST
000011d6: SWAP1
000011d7: JUMP
000011d8: JUMPDEST
000011d9: PUSH1 0x13
000011db: SLOAD
000011dc: PUSH1 0x01
000011de: PUSH1 0xa0
000011e0: PUSH1 0x02
000011e2: EXP
000011e3: SUB
000011e4: AND
000011e5: DUP2
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH1 0x00
000011ea: SLOAD
000011eb: CALLER
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: PUSH1 0x02
000011f2: EXP
000011f3: SUB
000011f4: SWAP1
000011f5: DUP2
000011f6: AND
000011f7: SWAP2
000011f8: AND
000011f9: EQ
000011fa: PUSH2 0x1203
000011fd: JUMPI
000011fe: PUSH1 0x00
00001200: PUSH1 0x00
00001202: REVERT
00001203: JUMPDEST
00001204: PUSH1 0x01
00001206: PUSH1 0xa0
00001208: PUSH1 0x02
0000120a: EXP
0000120b: SUB
0000120c: DUP2
0000120d: AND
0000120e: ISZERO
0000120f: PUSH2 0x0cc4
00001212: JUMPI
00001213: PUSH1 0x00
00001215: DUP1
00001216: SLOAD
00001217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122c: NOT
0000122d: AND
0000122e: PUSH1 0x01
00001230: PUSH1 0xa0
00001232: PUSH1 0x02
00001234: EXP
00001235: SUB
00001236: DUP4
00001237: AND
00001238: OR
00001239: SWAP1
0000123a: SSTORE
0000123b: JUMPDEST
0000123c: JUMPDEST
0000123d: JUMPDEST
0000123e: POP
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH1 0x00
00001243: SLOAD
00001244: CALLER
00001245: PUSH1 0x01
00001247: PUSH1 0xa0
00001249: PUSH1 0x02
0000124b: EXP
0000124c: SUB
0000124d: SWAP1
0000124e: DUP2
0000124f: AND
00001250: SWAP2
00001251: AND
00001252: EQ
00001253: PUSH2 0x125c
00001256: JUMPI
00001257: PUSH1 0x00
00001259: PUSH1 0x00
0000125b: REVERT
0000125c: JUMPDEST
0000125d: PUSH1 0x01
0000125f: SLOAD
00001260: PUSH1 0x0a
00001262: SLOAD
00001263: GT
00001264: ISZERO
00001265: PUSH2 0x126e
00001268: JUMPI
00001269: PUSH1 0x00
0000126b: PUSH1 0x00
0000126d: REVERT
0000126e: JUMPDEST
0000126f: PUSH1 0x04
00001271: DUP1
00001272: SLOAD
00001273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001288: NOT
00001289: AND
0000128a: PUSH1 0x01
0000128c: PUSH1 0xa0
0000128e: PUSH1 0x02
00001290: EXP
00001291: SUB
00001292: DUP4
00001293: AND
00001294: OR
00001295: SWAP1
00001296: SSTORE
00001297: JUMPDEST
00001298: JUMPDEST
00001299: POP
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH1 0x02
0000129e: JUMPDEST
0000129f: PUSH2 0x12a6
000012a2: PUSH2 0x08f0
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x07
000012a9: DUP2
000012aa: GT
000012ab: ISZERO
000012ac: PUSH2 0x12b1
000012af: JUMPI
000012b0: INVALID
000012b1: JUMPDEST
000012b2: EQ
000012b3: PUSH2 0x12bc
000012b6: JUMPI
000012b7: PUSH1 0x00
000012b9: PUSH1 0x00
000012bb: REVERT
000012bc: JUMPDEST
000012bd: PUSH2 0x0cc4
000012c0: DUP2
000012c1: CALLVALUE
000012c2: PUSH2 0x12d9
000012c5: JUMP
000012c6: JUMPDEST
000012c7: JUMPDEST
000012c8: POP
000012c9: JUMP
000012ca: JUMPDEST
000012cb: PUSH1 0x02
000012cd: SLOAD
000012ce: PUSH1 0x01
000012d0: PUSH1 0xa0
000012d2: PUSH1 0x02
000012d4: EXP
000012d5: SUB
000012d6: AND
000012d7: DUP2
000012d8: JUMP
000012d9: JUMPDEST
000012da: PUSH1 0x00
000012dc: DUP1
000012dd: SLOAD
000012de: DUP2
000012df: SWAP1
000012e0: PUSH1 0xa0
000012e2: PUSH1 0x02
000012e4: EXP
000012e5: SWAP1
000012e6: DIV
000012e7: PUSH1 0xff
000012e9: AND
000012ea: ISZERO
000012eb: PUSH2 0x12f4
000012ee: JUMPI
000012ef: PUSH1 0x00
000012f1: PUSH1 0x00
000012f3: REVERT
000012f4: JUMPDEST
000012f5: POP
000012f6: PUSH1 0x00
000012f8: SWAP1
000012f9: POP
000012fa: DUP1
000012fb: PUSH1 0x02
000012fd: JUMPDEST
000012fe: PUSH2 0x1305
00001301: PUSH2 0x08f0
00001304: JUMP
00001305: JUMPDEST
00001306: PUSH1 0x07
00001308: DUP2
00001309: GT
0000130a: ISZERO
0000130b: PUSH2 0x1310
0000130e: JUMPI
0000130f: INVALID
00001310: JUMPDEST
00001311: EQ
00001312: ISZERO
00001313: PUSH2 0x1406
00001316: JUMPI
00001317: PUSH1 0x03
00001319: SLOAD
0000131a: PUSH1 0x02
0000131c: SLOAD
0000131d: PUSH1 0x40
0000131f: DUP1
00001320: MLOAD
00001321: PUSH1 0x00
00001323: PUSH1 0x20
00001325: SWAP2
00001326: DUP3
00001327: ADD
00001328: DUP2
00001329: SWAP1
0000132a: MSTORE
0000132b: DUP3
0000132c: MLOAD
0000132d: PUSH32 0x313ce56700000000000000000000000000000000000000000000000000000000
0000134e: DUP2
0000134f: MSTORE
00001350: SWAP3
00001351: MLOAD
00001352: PUSH1 0x01
00001354: PUSH1 0xa0
00001356: PUSH1 0x02
00001358: EXP
00001359: SUB
0000135a: SWAP6
0000135b: DUP7
0000135c: AND
0000135d: SWAP6
0000135e: PUSH4 0x6f3a6bff
00001363: SWAP6
00001364: DUP11
00001365: SWAP6
00001366: SWAP2
00001367: AND
00001368: SWAP4
00001369: PUSH4 0x313ce567
0000136e: SWAP4
0000136f: PUSH1 0x04
00001371: DUP1
00001372: DUP5
00001373: ADD
00001374: SWAP5
00001375: SWAP3
00001376: SWAP4
00001377: DUP4
00001378: SWAP1
00001379: SUB
0000137a: ADD
0000137b: SWAP1
0000137c: DUP3
0000137d: SWAP1
0000137e: DUP8
0000137f: DUP1
00001380: EXTCODESIZE
00001381: ISZERO
00001382: ISZERO
00001383: PUSH2 0x1388
00001386: JUMPI
00001387: INVALID
00001388: JUMPDEST
00001389: PUSH2 0x02c6
0000138c: GAS
0000138d: SUB
0000138e: CALL
0000138f: ISZERO
00001390: ISZERO
00001391: PUSH2 0x1396
00001394: JUMPI
00001395: INVALID
00001396: JUMPDEST
00001397: POP
00001398: POP
00001399: POP
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: DUP1
0000139e: MLOAD
0000139f: SWAP1
000013a0: POP
000013a1: PUSH1 0x00
000013a3: PUSH1 0x40
000013a5: MLOAD
000013a6: PUSH1 0x20
000013a8: ADD
000013a9: MSTORE
000013aa: PUSH1 0x40
000013ac: MLOAD
000013ad: DUP4
000013ae: PUSH4 0xffffffff
000013b3: AND
000013b4: PUSH1 0xe0
000013b6: PUSH1 0x02
000013b8: EXP
000013b9: MUL
000013ba: DUP2
000013bb: MSTORE
000013bc: PUSH1 0x04
000013be: ADD
000013bf: DUP1
000013c0: DUP4
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x20
000013c5: ADD
000013c6: DUP3
000013c7: DUP2
000013c8: MSTORE
000013c9: PUSH1 0x20
000013cb: ADD
000013cc: SWAP3
000013cd: POP
000013ce: POP
000013cf: POP
000013d0: PUSH1 0x20
000013d2: PUSH1 0x40
000013d4: MLOAD
000013d5: DUP1
000013d6: DUP4
000013d7: SUB
000013d8: DUP2
000013d9: PUSH1 0x00
000013db: DUP8
000013dc: DUP1
000013dd: EXTCODESIZE
000013de: ISZERO
000013df: ISZERO
000013e0: PUSH2 0x13e5
000013e3: JUMPI
000013e4: INVALID
000013e5: JUMPDEST
000013e6: PUSH2 0x02c6
000013e9: GAS
000013ea: SUB
000013eb: CALL
000013ec: ISZERO
000013ed: ISZERO
000013ee: PUSH2 0x13f3
000013f1: JUMPI
000013f2: INVALID
000013f3: JUMPDEST
000013f4: POP
000013f5: POP
000013f6: PUSH1 0x40
000013f8: MLOAD
000013f9: MLOAD
000013fa: SWAP3
000013fb: POP
000013fc: PUSH1 0x01
000013fe: SWAP2
000013ff: POP
00001400: PUSH2 0x1550
00001403: SWAP1
00001404: POP
00001405: JUMP
00001406: JUMPDEST
00001407: PUSH1 0x03
00001409: JUMPDEST
0000140a: PUSH2 0x1411
0000140d: PUSH2 0x08f0
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH1 0x07
00001414: DUP2
00001415: GT
00001416: ISZERO
00001417: PUSH2 0x141c
0000141a: JUMPI
0000141b: INVALID
0000141c: JUMPDEST
0000141d: EQ
0000141e: ISZERO
0000141f: PUSH2 0x154a
00001422: JUMPI
00001423: PUSH1 0x03
00001425: PUSH1 0x00
00001427: SWAP1
00001428: SLOAD
00001429: SWAP1
0000142a: PUSH2 0x0100
0000142d: EXP
0000142e: SWAP1
0000142f: DIV
00001430: PUSH1 0x01
00001432: PUSH1 0xa0
00001434: PUSH1 0x02
00001436: EXP
00001437: SUB
00001438: AND
00001439: PUSH1 0x01
0000143b: PUSH1 0xa0
0000143d: PUSH1 0x02
0000143f: EXP
00001440: SUB
00001441: AND
00001442: PUSH4 0x18a4155e
00001447: DUP5
00001448: PUSH1 0x09
0000144a: SLOAD
0000144b: PUSH1 0x08
0000144d: SLOAD
0000144e: CALLER
0000144f: PUSH1 0x02
00001451: PUSH1 0x00
00001453: SWAP1
00001454: SLOAD
00001455: SWAP1
00001456: PUSH2 0x0100
00001459: EXP
0000145a: SWAP1
0000145b: DIV
0000145c: PUSH1 0x01
0000145e: PUSH1 0xa0
00001460: PUSH1 0x02
00001462: EXP
00001463: SUB
00001464: AND
00001465: PUSH1 0x01
00001467: PUSH1 0xa0
00001469: PUSH1 0x02
0000146b: EXP
0000146c: SUB
0000146d: AND
0000146e: PUSH4 0x313ce567
00001473: PUSH1 0x00
00001475: PUSH1 0x40
00001477: MLOAD
00001478: PUSH1 0x20
0000147a: ADD
0000147b: MSTORE
0000147c: PUSH1 0x40
0000147e: MLOAD
0000147f: DUP2
00001480: PUSH4 0xffffffff
00001485: AND
00001486: PUSH1 0xe0
00001488: PUSH1 0x02
0000148a: EXP
0000148b: MUL
0000148c: DUP2
0000148d: MSTORE
0000148e: PUSH1 0x04
00001490: ADD
00001491: DUP1
00001492: SWAP1
00001493: POP
00001494: PUSH1 0x20
00001496: PUSH1 0x40
00001498: MLOAD
00001499: DUP1
0000149a: DUP4
0000149b: SUB
0000149c: DUP2
0000149d: PUSH1 0x00
0000149f: DUP8
000014a0: DUP1
000014a1: EXTCODESIZE
000014a2: ISZERO
000014a3: ISZERO
000014a4: PUSH2 0x14a9
000014a7: JUMPI
000014a8: INVALID
000014a9: JUMPDEST
000014aa: PUSH2 0x02c6
000014ad: GAS
000014ae: SUB
000014af: CALL
000014b0: ISZERO
000014b1: ISZERO
000014b2: PUSH2 0x14b7
000014b5: JUMPI
000014b6: INVALID
000014b7: JUMPDEST
000014b8: POP
000014b9: POP
000014ba: POP
000014bb: PUSH1 0x40
000014bd: MLOAD
000014be: DUP1
000014bf: MLOAD
000014c0: SWAP1
000014c1: POP
000014c2: PUSH1 0x00
000014c4: PUSH1 0x40
000014c6: MLOAD
000014c7: PUSH1 0x20
000014c9: ADD
000014ca: MSTORE
000014cb: PUSH1 0x40
000014cd: MLOAD
000014ce: DUP7
000014cf: PUSH4 0xffffffff
000014d4: AND
000014d5: PUSH1 0xe0
000014d7: PUSH1 0x02
000014d9: EXP
000014da: MUL
000014db: DUP2
000014dc: MSTORE
000014dd: PUSH1 0x04
000014df: ADD
000014e0: DUP1
000014e1: DUP7
000014e2: DUP2
000014e3: MSTORE
000014e4: PUSH1 0x20
000014e6: ADD
000014e7: DUP6
000014e8: DUP2
000014e9: MSTORE
000014ea: PUSH1 0x20
000014ec: ADD
000014ed: DUP5
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: DUP4
000014f4: PUSH1 0x01
000014f6: PUSH1 0xa0
000014f8: PUSH1 0x02
000014fa: EXP
000014fb: SUB
000014fc: AND
000014fd: PUSH1 0x01
000014ff: PUSH1 0xa0
00001501: PUSH1 0x02
00001503: EXP
00001504: SUB
00001505: AND
00001506: DUP2
00001507: MSTORE
00001508: PUSH1 0x20
0000150a: ADD
0000150b: DUP3
0000150c: DUP2
0000150d: MSTORE
0000150e: PUSH1 0x20
00001510: ADD
00001511: SWAP6
00001512: POP
00001513: POP
00001514: POP
00001515: POP
00001516: POP
00001517: POP
00001518: PUSH1 0x20
0000151a: PUSH1 0x40
0000151c: MLOAD
0000151d: DUP1
0000151e: DUP4
0000151f: SUB
00001520: DUP2
00001521: PUSH1 0x00
00001523: DUP8
00001524: DUP1
00001525: EXTCODESIZE
00001526: ISZERO
00001527: ISZERO
00001528: PUSH2 0x152d
0000152b: JUMPI
0000152c: INVALID
0000152d: JUMPDEST
0000152e: PUSH2 0x02c6
00001531: GAS
00001532: SUB
00001533: CALL
00001534: ISZERO
00001535: ISZERO
00001536: PUSH2 0x153b
00001539: JUMPI
0000153a: INVALID
0000153b: JUMPDEST
0000153c: POP
0000153d: POP
0000153e: PUSH1 0x40
00001540: MLOAD
00001541: MLOAD
00001542: SWAP3
00001543: POP
00001544: PUSH2 0x1550
00001547: SWAP1
00001548: POP
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH1 0x00
0000154d: PUSH1 0x00
0000154f: REVERT
00001550: JUMPDEST
00001551: JUMPDEST
00001552: DUP2
00001553: ISZERO
00001554: ISZERO
00001555: PUSH2 0x155e
00001558: JUMPI
00001559: PUSH1 0x00
0000155b: PUSH1 0x00
0000155d: REVERT
0000155e: JUMPDEST
0000155f: PUSH1 0x01
00001561: PUSH1 0xa0
00001563: PUSH1 0x02
00001565: EXP
00001566: SUB
00001567: DUP5
00001568: AND
00001569: PUSH1 0x00
0000156b: SWAP1
0000156c: DUP2
0000156d: MSTORE
0000156e: PUSH1 0x0f
00001570: PUSH1 0x20
00001572: MSTORE
00001573: PUSH1 0x40
00001575: SWAP1
00001576: KECCAK256
00001577: SLOAD
00001578: ISZERO
00001579: ISZERO
0000157a: PUSH2 0x1587
0000157d: JUMPI
0000157e: PUSH1 0x0a
00001580: DUP1
00001581: SLOAD
00001582: PUSH1 0x01
00001584: ADD
00001585: SWAP1
00001586: SSTORE
00001587: JUMPDEST
00001588: PUSH1 0x01
0000158a: PUSH1 0xa0
0000158c: PUSH1 0x02
0000158e: EXP
0000158f: SUB
00001590: DUP5
00001591: AND
00001592: PUSH1 0x00
00001594: SWAP1
00001595: DUP2
00001596: MSTORE
00001597: PUSH1 0x0f
00001599: PUSH1 0x20
0000159b: MSTORE
0000159c: PUSH1 0x40
0000159e: SWAP1
0000159f: KECCAK256
000015a0: SLOAD
000015a1: PUSH2 0x15b0
000015a4: SWAP1
000015a5: DUP5
000015a6: PUSH4 0xffffffff
000015ab: PUSH2 0x16f8
000015ae: AND
000015af: JUMP
000015b0: JUMPDEST
000015b1: PUSH1 0x01
000015b3: PUSH1 0xa0
000015b5: PUSH1 0x02
000015b7: EXP
000015b8: SUB
000015b9: DUP6
000015ba: AND
000015bb: PUSH1 0x00
000015bd: SWAP1
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x0f
000015c2: PUSH1 0x20
000015c4: SWAP1
000015c5: DUP2
000015c6: MSTORE
000015c7: PUSH1 0x40
000015c9: DUP1
000015ca: DUP4
000015cb: KECCAK256
000015cc: SWAP4
000015cd: SWAP1
000015ce: SWAP4
000015cf: SSTORE
000015d0: PUSH1 0x10
000015d2: SWAP1
000015d3: MSTORE
000015d4: KECCAK256
000015d5: SLOAD
000015d6: PUSH2 0x15e5
000015d9: SWAP1
000015da: DUP4
000015db: PUSH4 0xffffffff
000015e0: PUSH2 0x16f8
000015e3: AND
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH1 0x01
000015e8: PUSH1 0xa0
000015ea: PUSH1 0x02
000015ec: EXP
000015ed: SUB
000015ee: DUP6
000015ef: AND
000015f0: PUSH1 0x00
000015f2: SWAP1
000015f3: DUP2
000015f4: MSTORE
000015f5: PUSH1 0x10
000015f7: PUSH1 0x20
000015f9: MSTORE
000015fa: PUSH1 0x40
000015fc: SWAP1
000015fd: KECCAK256
000015fe: SSTORE
000015ff: PUSH1 0x09
00001601: SLOAD
00001602: PUSH2 0x1611
00001605: SWAP1
00001606: DUP5
00001607: PUSH4 0xffffffff
0000160c: PUSH2 0x16f8
0000160f: AND
00001610: JUMP
00001611: JUMPDEST
00001612: PUSH1 0x09
00001614: SSTORE
00001615: PUSH1 0x01
00001617: DUP2
00001618: ISZERO
00001619: ISZERO
0000161a: EQ
0000161b: DUP1
0000161c: ISZERO
0000161d: PUSH2 0x1629
00001620: JUMPI
00001621: POP
00001622: PUSH1 0x0e
00001624: SLOAD
00001625: PUSH1 0x09
00001627: SLOAD
00001628: GT
00001629: JUMPDEST
0000162a: ISZERO
0000162b: PUSH2 0x1634
0000162e: JUMPI
0000162f: PUSH1 0x00
00001631: PUSH1 0x00
00001633: REVERT
00001634: JUMPDEST
00001635: PUSH1 0x08
00001637: SLOAD
00001638: PUSH2 0x1647
0000163b: SWAP1
0000163c: DUP4
0000163d: PUSH4 0xffffffff
00001642: PUSH2 0x16f8
00001645: AND
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH1 0x08
0000164a: DUP2
0000164b: SWAP1
0000164c: SSTORE
0000164d: POP
0000164e: PUSH2 0x165d
00001651: DUP4
00001652: DUP4
00001653: PUSH1 0x09
00001655: SLOAD
00001656: PUSH1 0x08
00001658: SLOAD
00001659: PUSH2 0x1050
0000165c: JUMP
0000165d: JUMPDEST
0000165e: ISZERO
0000165f: PUSH2 0x1668
00001662: JUMPI
00001663: PUSH1 0x00
00001665: PUSH1 0x00
00001667: REVERT
00001668: JUMPDEST
00001669: PUSH2 0x1672
0000166c: DUP5
0000166d: DUP4
0000166e: PUSH2 0x1712
00001671: JUMP
00001672: JUMPDEST
00001673: PUSH1 0x04
00001675: SLOAD
00001676: PUSH1 0x40
00001678: MLOAD
00001679: PUSH1 0x01
0000167b: PUSH1 0xa0
0000167d: PUSH1 0x02
0000167f: EXP
00001680: SUB
00001681: SWAP1
00001682: SWAP2
00001683: AND
00001684: SWAP1
00001685: DUP5
00001686: ISZERO
00001687: PUSH2 0x08fc
0000168a: MUL
0000168b: SWAP1
0000168c: DUP6
0000168d: SWAP1
0000168e: PUSH1 0x00
00001690: DUP2
00001691: DUP2
00001692: DUP2
00001693: DUP6
00001694: DUP9
00001695: DUP9
00001696: CALL
00001697: SWAP4
00001698: POP
00001699: POP
0000169a: POP
0000169b: POP
0000169c: ISZERO
0000169d: ISZERO
0000169e: PUSH2 0x16a7
000016a1: JUMPI
000016a2: PUSH1 0x00
000016a4: PUSH1 0x00
000016a6: REVERT
000016a7: JUMPDEST
000016a8: PUSH1 0x40
000016aa: DUP1
000016ab: MLOAD
000016ac: PUSH1 0x01
000016ae: PUSH1 0xa0
000016b0: PUSH1 0x02
000016b2: EXP
000016b3: SUB
000016b4: DUP7
000016b5: AND
000016b6: DUP2
000016b7: MSTORE
000016b8: PUSH1 0x20
000016ba: DUP2
000016bb: ADD
000016bc: DUP6
000016bd: SWAP1
000016be: MSTORE
000016bf: DUP1
000016c0: DUP3
000016c1: ADD
000016c2: DUP5
000016c3: SWAP1
000016c4: MSTORE
000016c5: SWAP1
000016c6: MLOAD
000016c7: PUSH32 0x9e9d071824fd57d062ca63fd8b786d8da48a6807eebbcb2d83f9e8d21398e28c
000016e8: SWAP2
000016e9: DUP2
000016ea: SWAP1
000016eb: SUB
000016ec: PUSH1 0x60
000016ee: ADD
000016ef: SWAP1
000016f0: LOG1
000016f1: JUMPDEST
000016f2: JUMPDEST
000016f3: POP
000016f4: POP
000016f5: POP
000016f6: POP
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH1 0x00
000016fb: DUP3
000016fc: DUP3
000016fd: ADD
000016fe: DUP4
000016ff: DUP2
00001700: LT
00001701: ISZERO
00001702: PUSH2 0x1707
00001705: JUMPI
00001706: INVALID
00001707: JUMPDEST
00001708: DUP1
00001709: SWAP2
0000170a: POP
0000170b: JUMPDEST
0000170c: POP
0000170d: SWAP3
0000170e: SWAP2
0000170f: POP
00001710: POP
00001711: JUMP
00001712: JUMPDEST
00001713: PUSH1 0x02
00001715: SLOAD
00001716: PUSH1 0x14
00001718: SLOAD
00001719: PUSH1 0x40
0000171b: DUP1
0000171c: MLOAD
0000171d: PUSH1 0x00
0000171f: PUSH1 0x20
00001721: SWAP2
00001722: DUP3
00001723: ADD
00001724: DUP2
00001725: SWAP1
00001726: MSTORE
00001727: DUP3
00001728: MLOAD
00001729: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
0000174a: DUP2
0000174b: MSTORE
0000174c: PUSH1 0x01
0000174e: PUSH1 0xa0
00001750: PUSH1 0x02
00001752: EXP
00001753: SUB
00001754: SWAP5
00001755: DUP6
00001756: AND
00001757: PUSH1 0x04
00001759: DUP3
0000175a: ADD
0000175b: MSTORE
0000175c: DUP8
0000175d: DUP6
0000175e: AND
0000175f: PUSH1 0x24
00001761: DUP3
00001762: ADD
00001763: MSTORE
00001764: PUSH1 0x44
00001766: DUP2
00001767: ADD
00001768: DUP8
00001769: SWAP1
0000176a: MSTORE
0000176b: SWAP3
0000176c: MLOAD
0000176d: SWAP4
0000176e: SWAP1
0000176f: SWAP5
00001770: AND
00001771: SWAP4
00001772: PUSH4 0x23b872dd
00001777: SWAP4
00001778: PUSH1 0x64
0000177a: DUP1
0000177b: DUP6
0000177c: ADD
0000177d: SWAP5
0000177e: SWAP2
0000177f: SWAP3
00001780: SWAP2
00001781: DUP4
00001782: SWAP1
00001783: SUB
00001784: ADD
00001785: SWAP1
00001786: DUP3
00001787: SWAP1
00001788: DUP8
00001789: DUP1
0000178a: EXTCODESIZE
0000178b: ISZERO
0000178c: ISZERO
0000178d: PUSH2 0x1792
00001790: JUMPI
00001791: INVALID
00001792: JUMPDEST
00001793: PUSH2 0x02c6
00001796: GAS
00001797: SUB
00001798: CALL
00001799: ISZERO
0000179a: ISZERO
0000179b: PUSH2 0x17a0
0000179e: JUMPI
0000179f: INVALID
000017a0: JUMPDEST
000017a1: POP
000017a2: POP
000017a3: PUSH1 0x40
000017a5: MLOAD
000017a6: MLOAD
000017a7: ISZERO
000017a8: ISZERO
000017a9: SWAP1
000017aa: POP
000017ab: PUSH2 0x0e89
000017ae: JUMPI
000017af: PUSH1 0x00
000017b1: PUSH1 0x00
000017b3: REVERT
000017b4: JUMPDEST
000017b5: JUMPDEST
000017b6: POP
000017b7: POP
000017b8: JUMP
000017b9: STOP
000017ba: LOG1
000017bb: PUSH6 0x627a7a723058
000017c2: KECCAK256
000017c3: EXTCODEHASH
000017c4: DUP5
000017c5: UNKNOWN(0xC5)
000017c6: EXTCODESIZE
000017c7: PUSH0
000017c8: UNKNOWN(0xCB)
000017c9: UNKNOWN(0x24)
000017ca: LOG0
000017cb: SIGNEXTEND
000017cc: LOG4
000017cd: UNKNOWN(0xBF)
000017ce: UNKNOWN(0x25)
000017cf: PUSH17 0xf27e85d9639ad12ab7222635da52153a51
000017e1: PUSH3 0x450029
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x584aa02870449eec2b7801c255a9f074b016774ffd02798d5c0856604382bcca call_targets: 0xa1f3d57d51a1bd3c49d87cc7ed3ddf5b3725ab73 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x584aa02870449eec2b7801c255a9f074b016774ffd02798d5c0856604382bcca", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1f3d57d51a1bd3c49d87cc7ed3ddf5b3725ab73" ], "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": "0x0226401d", "selector": "0x0226401d", "calldata_variants": [ "0x0226401d", "0x0226401d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x062b01ce", "selector": "0x062b01ce", "calldata_variants": [ "0x062b01ce", "0x062b01ce0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a09284a", "selector": "0x0a09284a", "calldata_variants": [ "0x0a09284a", "0x0a09284a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13f4e977", "selector": "0x13f4e977", "calldata_variants": [ "0x13f4e977", "0x13f4e9770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1865c57d", "selector": "0x1865c57d", "calldata_variants": [ "0x1865c57d", "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1aae3460", "selector": "0x1aae3460", "calldata_variants": [ "0x1aae3460", "0x1aae34600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c9afcc8", "selector": "0x1c9afcc8", "calldata_variants": [ "0x1c9afcc8", "0x1c9afcc80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32013ac3", "selector": "0x32013ac3", "calldata_variants": [ "0x32013ac3", "0x32013ac30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2249, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2681, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3243, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 12, "guards_detected": [], "untrusted_call_count": 12 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x584aa02870449eec2b7801c255a9f074b016774ffd02798d5c0856604382bcca call_targets: 0xa1f3d57d51a1bd3c49d87cc7ed3ddf5b3725ab73 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x584aa02870449eec2b7801c255a9f074b016774ffd02798d5c0856604382bcca", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1f3d57d51a1bd3c49d87cc7ed3ddf5b3725ab73" ], "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": "0x0226401d", "selector": "0x0226401d", "calldata_variants": [ "0x0226401d", "0x0226401d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x062b01ce", "selector": "0x062b01ce", "calldata_variants": [ "0x062b01ce", "0x062b01ce0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a09284a", "selector": "0x0a09284a", "calldata_variants": [ "0x0a09284a", "0x0a09284a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13f4e977", "selector": "0x13f4e977", "calldata_variants": [ "0x13f4e977", "0x13f4e9770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1865c57d", "selector": "0x1865c57d", "calldata_variants": [ "0x1865c57d", "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1aae3460", "selector": "0x1aae3460", "calldata_variants": [ "0x1aae3460", "0x1aae34600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c9afcc8", "selector": "0x1c9afcc8", "calldata_variants": [ "0x1c9afcc8", "0x1c9afcc80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32013ac3", "selector": "0x32013ac3", "calldata_variants": [ "0x32013ac3", "0x32013ac30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2249, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2681, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3243, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 12, "guards_detected": [] }
Severity