TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019ba8a5-59ca-72cc-a3d7-fbb0ba3016bf

complete
Chain ID
1
Address
0x471a8de3eec36775d230070f9704cc86bf0f360d
Block Number
—
Created
Sat, Jan 10, 2026 4:02 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 DELEGATECALL target 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
32481 artifact.fetch complete 1 / 3 3 months ago
32482 proxy.resolve complete 1 / 3 3 months ago
32483 tool.cast_disasm complete 1 / 3 3 months ago
32484 analysis.bundle complete 1 / 3 3 months ago
32485 capability.graph complete 1 / 3 3 months ago
32486 detector.run complete 1 / 3 3 months ago
32487 validation.fork complete 1 / 3 3 months ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no not_proxy
Implementation:
—
Verified Source: no
Proxy evidence 
{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
10
EXT*/BALANCE
7
Total opcodes
7121
Flags
delegatecall_present create_opcodes_present heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x001a
0000000d: JUMPI
0000000e: JUMPDEST
0000000f: CALLDATASIZE
00000010: ISZERO
00000011: PUSH2 0x0018
00000014: JUMPI
00000015: PUSH0
00000016: DUP1
00000017: REVERT
00000018: JUMPDEST
00000019: STOP
0000001a: JUMPDEST
0000001b: PUSH0
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x01ffc9a7
00000026: EQ
00000027: PUSH2 0x0299
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x1be1c18f
00000031: EQ
00000032: PUSH2 0x0294
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x248a9ca3
0000003c: EQ
0000003d: PUSH2 0x028f
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x250bf93a
00000047: EQ
00000048: PUSH2 0x028a
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x2f2ff15d
00000052: EQ
00000053: PUSH2 0x0285
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x3271ba8d
0000005d: EQ
0000005e: PUSH2 0x0280
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x33b5b0b5
00000068: EQ
00000069: PUSH2 0x027b
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x36568abe
00000073: EQ
00000074: PUSH2 0x0276
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x3f4ba83a
0000007e: EQ
0000007f: PUSH2 0x0271
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x41d5e516
00000089: EQ
0000008a: PUSH2 0x026c
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x46f0975a
00000094: EQ
00000095: PUSH2 0x0267
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x4f1ef286
0000009f: EQ
000000a0: PUSH2 0x0262
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x52d1902d
000000aa: EQ
000000ab: PUSH2 0x025d
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x551512de
000000b5: EQ
000000b6: PUSH2 0x0258
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x5c975abb
000000c0: EQ
000000c1: PUSH2 0x0253
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x60f525ed
000000cb: EQ
000000cc: PUSH2 0x024e
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x8129fc1c
000000d6: EQ
000000d7: PUSH2 0x0249
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x8456cb59
000000e1: EQ
000000e2: PUSH2 0x0244
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x84b0196e
000000ec: EQ
000000ed: PUSH2 0x023f
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x9010d07c
000000f7: EQ
000000f8: PUSH2 0x023a
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x91d14854
00000102: EQ
00000103: PUSH2 0x0235
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x92cda791
0000010d: EQ
0000010e: PUSH2 0x0230
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x963bf6bd
00000118: EQ
00000119: PUSH2 0x022b
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x98a1b397
00000123: EQ
00000124: PUSH2 0x0226
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xa217fddf
0000012e: EQ
0000012f: PUSH2 0x0221
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xa3246ad3
00000139: EQ
0000013a: PUSH2 0x021c
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xa5de3619
00000144: EQ
00000145: PUSH2 0x0217
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xad3cb1cc
0000014f: EQ
00000150: PUSH2 0x0212
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0xaf2371e3
0000015a: EQ
0000015b: PUSH2 0x020d
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0xaffe39c1
00000165: EQ
00000166: PUSH2 0x0208
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xb0f479a1
00000170: EQ
00000171: PUSH2 0x0203
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0xc0d78655
0000017b: EQ
0000017c: PUSH2 0x01fe
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0xc21fdc8f
00000186: EQ
00000187: PUSH2 0x01f9
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xca15c873
00000191: EQ
00000192: PUSH2 0x01f4
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xd391014b
0000019c: EQ
0000019d: PUSH2 0x01ef
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0xd547741f
000001a7: EQ
000001a8: PUSH2 0x01ea
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0xd70e1ede
000001b2: EQ
000001b3: PUSH2 0x01e5
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0xe673df8a
000001bd: EQ
000001be: PUSH2 0x01e0
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0xf2fde38b
000001c8: EQ
000001c9: PUSH2 0x01db
000001cc: JUMPI
000001cd: PUSH4 0xffa1ad74
000001d2: SUB
000001d3: PUSH2 0x000e
000001d6: JUMPI
000001d7: PUSH2 0x15c9
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH2 0x1570
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH2 0x14cb
000001e4: JUMP
000001e5: JUMPDEST
000001e6: PUSH2 0x1491
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH2 0x145e
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH2 0x1437
000001f3: JUMP
000001f4: JUMPDEST
000001f5: PUSH2 0x1401
000001f8: JUMP
000001f9: JUMPDEST
000001fa: PUSH2 0x135c
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x12f8
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH2 0x12c4
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH2 0x121f
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH2 0x11e5
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH2 0x119e
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH2 0x10f9
0000021b: JUMP
0000021c: JUMPDEST
0000021d: PUSH2 0x1089
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH2 0x106f
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH2 0x1035
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH2 0x1001
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH2 0x0fa2
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH2 0x0f47
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH2 0x0ef6
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH2 0x0e26
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH2 0x0d0e
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x0bae
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH2 0x0b4a
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH2 0x0b1c
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH2 0x0adb
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH2 0x0a84
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x091e
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH2 0x07cb
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x06d6
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH2 0x061e
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x05da
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH2 0x059f
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH2 0x0516
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH2 0x04d4
00000289: JUMP
0000028a: JUMPDEST
0000028b: PUSH2 0x046f
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH2 0x0408
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x0365
00000298: JUMP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: PUSH2 0x0309
0000029e: JUMPI
0000029f: PUSH1 0x20
000002a1: CALLDATASIZE
000002a2: PUSH1 0x03
000002a4: NOT
000002a5: ADD
000002a6: SLT
000002a7: PUSH2 0x0309
000002aa: JUMPI
000002ab: PUSH1 0x04
000002ad: CALLDATALOAD
000002ae: PUSH4 0xffffffff
000002b3: PUSH1 0xe0
000002b5: SHL
000002b6: DUP2
000002b7: AND
000002b8: DUP1
000002b9: SWAP2
000002ba: SUB
000002bb: PUSH2 0x0309
000002be: JUMPI
000002bf: PUSH4 0x5a05180f
000002c4: PUSH1 0xe0
000002c6: SHL
000002c7: DUP2
000002c8: EQ
000002c9: SWAP1
000002ca: DUP2
000002cb: ISZERO
000002cc: PUSH2 0x02de
000002cf: JUMPI
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH1 0x40
000002d4: MLOAD
000002d5: SWAP1
000002d6: ISZERO
000002d7: ISZERO
000002d8: DUP2
000002d9: MSTORE
000002da: PUSH1 0x20
000002dc: SWAP1
000002dd: RETURN
000002de: JUMPDEST
000002df: PUSH4 0x7965db0b
000002e4: PUSH1 0xe0
000002e6: SHL
000002e7: DUP2
000002e8: EQ
000002e9: SWAP2
000002ea: POP
000002eb: DUP2
000002ec: ISZERO
000002ed: PUSH2 0x02f8
000002f0: JUMPI
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH0
000002f4: PUSH2 0x02d0
000002f7: JUMP
000002f8: JUMPDEST
000002f9: PUSH4 0x01ffc9a7
000002fe: PUSH1 0xe0
00000300: SHL
00000301: EQ
00000302: SWAP1
00000303: POP
00000304: PUSH0
00000305: PUSH2 0x02f1
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH0
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: PUSH1 0x04
00000310: CALLDATALOAD
00000311: SWAP1
00000312: PUSH1 0x01
00000314: PUSH1 0x01
00000316: PUSH1 0xa0
00000318: SHL
00000319: SUB
0000031a: DUP3
0000031b: AND
0000031c: DUP3
0000031d: SUB
0000031e: PUSH2 0x0309
00000321: JUMPI
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH1 0x24
00000326: CALLDATALOAD
00000327: SWAP1
00000328: PUSH1 0x01
0000032a: PUSH1 0x01
0000032c: PUSH1 0xa0
0000032e: SHL
0000032f: SUB
00000330: DUP3
00000331: AND
00000332: DUP3
00000333: SUB
00000334: PUSH2 0x0309
00000337: JUMPI
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH1 0x64
0000033c: CALLDATALOAD
0000033d: SWAP1
0000033e: PUSH1 0x01
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: SHL
00000345: SUB
00000346: DUP3
00000347: AND
00000348: DUP3
00000349: SUB
0000034a: PUSH2 0x0309
0000034d: JUMPI
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH1 0xa4
00000352: CALLDATALOAD
00000353: SWAP1
00000354: PUSH1 0x01
00000356: PUSH1 0x01
00000358: PUSH1 0xa0
0000035a: SHL
0000035b: SUB
0000035c: DUP3
0000035d: AND
0000035e: DUP3
0000035f: SUB
00000360: PUSH2 0x0309
00000363: JUMPI
00000364: JUMP
00000365: JUMPDEST
00000366: CALLVALUE
00000367: PUSH2 0x0309
0000036a: JUMPI
0000036b: PUSH1 0x60
0000036d: CALLDATASIZE
0000036e: PUSH1 0x03
00000370: NOT
00000371: ADD
00000372: SLT
00000373: PUSH2 0x0309
00000376: JUMPI
00000377: PUSH2 0x037e
0000037a: PUSH2 0x030d
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH1 0x24
00000381: CALLDATALOAD
00000382: DUP1
00000383: ISZERO
00000384: ISZERO
00000385: DUP2
00000386: SUB
00000387: PUSH2 0x0309
0000038a: JUMPI
0000038b: PUSH1 0x44
0000038d: CALLDATALOAD
0000038e: SWAP1
0000038f: PUSH2 0x0396
00000392: PUSH2 0x19ad
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x01
00000399: PUSH1 0x01
0000039b: PUSH1 0xa0
0000039d: SHL
0000039e: SUB
0000039f: DUP4
000003a0: AND
000003a1: ISZERO
000003a2: PUSH2 0x03f9
000003a5: JUMPI
000003a6: ISZERO
000003a7: PUSH2 0x03e5
000003aa: JUMPI
000003ab: PUSH2 0x03c8
000003ae: PUSH2 0x0018
000003b1: SWAP3
000003b2: PUSH2 0x03b9
000003b5: PUSH2 0x08bb
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH1 0x01
000003bc: DUP2
000003bd: MSTORE
000003be: SWAP3
000003bf: PUSH1 0x20
000003c1: DUP5
000003c2: ADD
000003c3: MSTORE
000003c4: PUSH2 0x15e4
000003c7: JUMP
000003c8: JUMPDEST
000003c9: SWAP1
000003ca: PUSH1 0x20
000003cc: PUSH1 0x01
000003ce: SWAP2
000003cf: DUP1
000003d0: MLOAD
000003d1: ISZERO
000003d2: ISZERO
000003d3: PUSH1 0xff
000003d5: DUP1
000003d6: NOT
000003d7: DUP7
000003d8: SLOAD
000003d9: AND
000003da: SWAP2
000003db: AND
000003dc: OR
000003dd: DUP5
000003de: SSTORE
000003df: ADD
000003e0: MLOAD
000003e1: SWAP2
000003e2: ADD
000003e3: SSTORE
000003e4: JUMP
000003e5: JUMPDEST
000003e6: POP
000003e7: PUSH1 0x01
000003e9: PUSH2 0x03f2
000003ec: PUSH0
000003ed: SWAP3
000003ee: PUSH2 0x15e4
000003f1: JUMP
000003f2: JUMPDEST
000003f3: DUP3
000003f4: DUP2
000003f5: SSTORE
000003f6: ADD
000003f7: SSTORE
000003f8: STOP
000003f9: JUMPDEST
000003fa: PUSH4 0xc4c4d4e1
000003ff: PUSH1 0xe0
00000401: SHL
00000402: PUSH0
00000403: MSTORE
00000404: PUSH1 0x04
00000406: PUSH0
00000407: REVERT
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: PUSH2 0x0309
0000040d: JUMPI
0000040e: PUSH1 0x20
00000410: CALLDATASIZE
00000411: PUSH1 0x03
00000413: NOT
00000414: ADD
00000415: SLT
00000416: PUSH2 0x0309
00000419: JUMPI
0000041a: PUSH1 0x04
0000041c: CALLDATALOAD
0000041d: PUSH0
0000041e: MSTORE
0000041f: PUSH0
00000420: MLOAD
00000421: PUSH1 0x20
00000423: PUSH2 0x2e9f
00000426: PUSH0
00000427: CODECOPY
00000428: PUSH0
00000429: MLOAD
0000042a: SWAP1
0000042b: PUSH0
0000042c: MSTORE
0000042d: PUSH1 0x20
0000042f: MSTORE
00000430: PUSH1 0x20
00000432: PUSH1 0x01
00000434: PUSH1 0x40
00000436: PUSH0
00000437: KECCAK256
00000438: ADD
00000439: SLOAD
0000043a: PUSH1 0x40
0000043c: MLOAD
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: RETURN
00000441: JUMPDEST
00000442: SWAP2
00000443: DUP2
00000444: PUSH1 0x1f
00000446: DUP5
00000447: ADD
00000448: SLT
00000449: ISZERO
0000044a: PUSH2 0x0309
0000044d: JUMPI
0000044e: DUP3
0000044f: CALLDATALOAD
00000450: SWAP2
00000451: PUSH8 0xffffffffffffffff
0000045a: DUP4
0000045b: GT
0000045c: PUSH2 0x0309
0000045f: JUMPI
00000460: PUSH1 0x20
00000462: DUP4
00000463: DUP2
00000464: DUP7
00000465: ADD
00000466: SWAP6
00000467: ADD
00000468: ADD
00000469: GT
0000046a: PUSH2 0x0309
0000046d: JUMPI
0000046e: JUMP
0000046f: JUMPDEST
00000470: CALLVALUE
00000471: PUSH2 0x0309
00000474: JUMPI
00000475: PUSH2 0x0100
00000478: CALLDATASIZE
00000479: PUSH1 0x03
0000047b: NOT
0000047c: ADD
0000047d: SLT
0000047e: PUSH2 0x0309
00000481: JUMPI
00000482: PUSH1 0x04
00000484: CALLDATALOAD
00000485: PUSH2 0x048c
00000488: PUSH2 0x0323
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x44
0000048f: CALLDATALOAD
00000490: SWAP2
00000491: PUSH2 0x0498
00000494: PUSH2 0x0339
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH1 0x84
0000049b: CALLDATALOAD
0000049c: PUSH2 0x04a3
0000049f: PUSH2 0x034f
000004a2: JUMP
000004a3: JUMPDEST
000004a4: SWAP1
000004a5: PUSH1 0xc4
000004a7: CALLDATALOAD
000004a8: SWAP3
000004a9: PUSH1 0xe4
000004ab: CALLDATALOAD
000004ac: SWAP7
000004ad: PUSH8 0xffffffffffffffff
000004b6: DUP9
000004b7: GT
000004b8: PUSH2 0x0309
000004bb: JUMPI
000004bc: PUSH2 0x04cc
000004bf: PUSH2 0x0018
000004c2: SWAP9
000004c3: CALLDATASIZE
000004c4: SWAP1
000004c5: PUSH1 0x04
000004c7: ADD
000004c8: PUSH2 0x0441
000004cb: JUMP
000004cc: JUMPDEST
000004cd: SWAP8
000004ce: SWAP1
000004cf: SWAP7
000004d0: PUSH2 0x1b36
000004d3: JUMP
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: PUSH2 0x0309
000004d9: JUMPI
000004da: PUSH1 0x40
000004dc: CALLDATASIZE
000004dd: PUSH1 0x03
000004df: NOT
000004e0: ADD
000004e1: SLT
000004e2: PUSH2 0x0309
000004e5: JUMPI
000004e6: PUSH1 0x04
000004e8: CALLDATALOAD
000004e9: PUSH2 0x04f0
000004ec: PUSH2 0x0323
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH2 0x04f8
000004f4: PUSH2 0x19ad
000004f7: JUMP
000004f8: JUMPDEST
000004f9: DUP2
000004fa: ISZERO
000004fb: PUSH2 0x0507
000004fe: JUMPI
000004ff: PUSH2 0x0018
00000502: SWAP2
00000503: PUSH2 0x1f1e
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH4 0x078ea367
0000050d: PUSH1 0xe2
0000050f: SHL
00000510: PUSH0
00000511: MSTORE
00000512: PUSH1 0x04
00000514: PUSH0
00000515: REVERT
00000516: JUMPDEST
00000517: CALLVALUE
00000518: PUSH2 0x0309
0000051b: JUMPI
0000051c: PUSH2 0x0120
0000051f: CALLDATASIZE
00000520: PUSH1 0x03
00000522: NOT
00000523: ADD
00000524: SLT
00000525: PUSH2 0x0309
00000528: JUMPI
00000529: PUSH1 0x04
0000052b: CALLDATALOAD
0000052c: PUSH2 0x0533
0000052f: PUSH2 0x0323
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x44
00000536: CALLDATALOAD
00000537: SWAP2
00000538: PUSH2 0x053f
0000053b: PUSH2 0x0339
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH1 0x84
00000542: CALLDATALOAD
00000543: SWAP1
00000544: PUSH2 0x054b
00000547: PUSH2 0x034f
0000054a: JUMP
0000054b: JUMPDEST
0000054c: PUSH1 0xc4
0000054e: CALLDATALOAD
0000054f: SWAP1
00000550: PUSH1 0xe4
00000552: CALLDATALOAD
00000553: PUSH8 0xffffffffffffffff
0000055c: DUP2
0000055d: GT
0000055e: PUSH2 0x0309
00000561: JUMPI
00000562: PUSH2 0x056f
00000565: SWAP1
00000566: CALLDATASIZE
00000567: SWAP1
00000568: PUSH1 0x04
0000056a: ADD
0000056b: PUSH2 0x0441
0000056e: JUMP
0000056f: JUMPDEST
00000570: SWAP5
00000571: SWAP1
00000572: SWAP4
00000573: PUSH2 0x0104
00000576: CALLDATALOAD
00000577: SWAP9
00000578: PUSH8 0xffffffffffffffff
00000581: DUP11
00000582: GT
00000583: PUSH2 0x0309
00000586: JUMPI
00000587: PUSH2 0x0597
0000058a: PUSH2 0x0018
0000058d: SWAP11
0000058e: CALLDATASIZE
0000058f: SWAP1
00000590: PUSH1 0x04
00000592: ADD
00000593: PUSH2 0x0441
00000596: JUMP
00000597: JUMPDEST
00000598: SWAP10
00000599: SWAP1
0000059a: SWAP9
0000059b: PUSH2 0x1639
0000059e: JUMP
0000059f: JUMPDEST
000005a0: CALLVALUE
000005a1: PUSH2 0x0309
000005a4: JUMPI
000005a5: PUSH1 0x20
000005a7: CALLDATASIZE
000005a8: PUSH1 0x03
000005aa: NOT
000005ab: ADD
000005ac: SLT
000005ad: PUSH2 0x0309
000005b0: JUMPI
000005b1: PUSH1 0x40
000005b3: PUSH2 0x05c2
000005b6: PUSH2 0x05bd
000005b9: PUSH2 0x030d
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x15e4
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x01
000005c5: PUSH1 0xff
000005c7: DUP3
000005c8: SLOAD
000005c9: AND
000005ca: SWAP2
000005cb: ADD
000005cc: SLOAD
000005cd: DUP3
000005ce: MLOAD
000005cf: SWAP2
000005d0: ISZERO
000005d1: ISZERO
000005d2: DUP3
000005d3: MSTORE
000005d4: PUSH1 0x20
000005d6: DUP3
000005d7: ADD
000005d8: MSTORE
000005d9: RETURN
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: PUSH2 0x0309
000005df: JUMPI
000005e0: PUSH1 0x40
000005e2: CALLDATASIZE
000005e3: PUSH1 0x03
000005e5: NOT
000005e6: ADD
000005e7: SLT
000005e8: PUSH2 0x0309
000005eb: JUMPI
000005ec: PUSH1 0x04
000005ee: CALLDATALOAD
000005ef: PUSH2 0x05f6
000005f2: PUSH2 0x0323
000005f5: JUMP
000005f6: JUMPDEST
000005f7: CALLER
000005f8: PUSH1 0x01
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: SHL
000005ff: SUB
00000600: DUP3
00000601: AND
00000602: SUB
00000603: PUSH2 0x060f
00000606: JUMPI
00000607: PUSH2 0x0018
0000060a: SWAP2
0000060b: PUSH2 0x2056
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH4 0x334bd919
00000615: PUSH1 0xe1
00000617: SHL
00000618: PUSH0
00000619: MSTORE
0000061a: PUSH1 0x04
0000061c: PUSH0
0000061d: REVERT
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: PUSH2 0x0309
00000623: JUMPI
00000624: PUSH0
00000625: CALLDATASIZE
00000626: PUSH1 0x03
00000628: NOT
00000629: ADD
0000062a: SLT
0000062b: PUSH2 0x0309
0000062e: JUMPI
0000062f: PUSH2 0x0636
00000632: PUSH2 0x19ad
00000635: JUMP
00000636: JUMPDEST
00000637: PUSH0
00000638: MLOAD
00000639: PUSH1 0x20
0000063b: PUSH2 0x2ebf
0000063e: PUSH0
0000063f: CODECOPY
00000640: PUSH0
00000641: MLOAD
00000642: SWAP1
00000643: PUSH0
00000644: MSTORE
00000645: SLOAD
00000646: PUSH1 0xff
00000648: DUP2
00000649: AND
0000064a: ISZERO
0000064b: PUSH2 0x068d
0000064e: JUMPI
0000064f: PUSH1 0xff
00000651: NOT
00000652: AND
00000653: PUSH0
00000654: MLOAD
00000655: PUSH1 0x20
00000657: PUSH2 0x2ebf
0000065a: PUSH0
0000065b: CODECOPY
0000065c: PUSH0
0000065d: MLOAD
0000065e: SWAP1
0000065f: PUSH0
00000660: MSTORE
00000661: SSTORE
00000662: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000683: PUSH1 0x20
00000685: PUSH1 0x40
00000687: MLOAD
00000688: CALLER
00000689: DUP2
0000068a: MSTORE
0000068b: LOG1
0000068c: STOP
0000068d: JUMPDEST
0000068e: PUSH4 0x8dfc202b
00000693: PUSH1 0xe0
00000695: SHL
00000696: PUSH0
00000697: MSTORE
00000698: PUSH1 0x04
0000069a: PUSH0
0000069b: REVERT
0000069c: JUMPDEST
0000069d: PUSH1 0x60
0000069f: SWAP1
000006a0: PUSH1 0x03
000006a2: NOT
000006a3: ADD
000006a4: SLT
000006a5: PUSH2 0x0309
000006a8: JUMPI
000006a9: PUSH1 0x04
000006ab: CALLDATALOAD
000006ac: PUSH1 0x01
000006ae: PUSH1 0x01
000006b0: PUSH1 0xa0
000006b2: SHL
000006b3: SUB
000006b4: DUP2
000006b5: AND
000006b6: DUP2
000006b7: SUB
000006b8: PUSH2 0x0309
000006bb: JUMPI
000006bc: SWAP1
000006bd: PUSH1 0x24
000006bf: CALLDATALOAD
000006c0: SWAP1
000006c1: PUSH1 0x44
000006c3: CALLDATALOAD
000006c4: PUSH1 0x01
000006c6: PUSH1 0x01
000006c8: PUSH1 0xa0
000006ca: SHL
000006cb: SUB
000006cc: DUP2
000006cd: AND
000006ce: DUP2
000006cf: SUB
000006d0: PUSH2 0x0309
000006d3: JUMPI
000006d4: SWAP1
000006d5: JUMP
000006d6: JUMPDEST
000006d7: CALLVALUE
000006d8: PUSH2 0x0309
000006db: JUMPI
000006dc: PUSH2 0x06e4
000006df: CALLDATASIZE
000006e0: PUSH2 0x069c
000006e3: JUMP
000006e4: JUMPDEST
000006e5: SWAP2
000006e6: PUSH2 0x06ed
000006e9: PUSH2 0x1a09
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x01
000006f0: PUSH1 0x01
000006f2: PUSH1 0xa0
000006f4: SHL
000006f5: SUB
000006f6: DUP4
000006f7: AND
000006f8: SWAP2
000006f9: DUP3
000006fa: ISZERO
000006fb: PUSH2 0x03f9
000006fe: JUMPI
000006ff: PUSH0
00000700: MLOAD
00000701: PUSH1 0x20
00000703: PUSH2 0x2e3f
00000706: PUSH0
00000707: CODECOPY
00000708: PUSH0
00000709: MLOAD
0000070a: SWAP1
0000070b: PUSH0
0000070c: MSTORE
0000070d: SLOAD
0000070e: PUSH1 0x01
00000710: PUSH1 0x01
00000712: PUSH1 0xa0
00000714: SHL
00000715: SUB
00000716: AND
00000717: DUP1
00000718: DUP5
00000719: SUB
0000071a: PUSH2 0x0772
0000071d: JUMPI
0000071e: POP
0000071f: PUSH32 0x64336c2c468e7484a74b9f0ef79fe767455ab9373c75d9578d2415770f9f516c
00000740: SWAP4
00000741: PUSH2 0x074a
00000744: SWAP2
00000745: DUP4
00000746: PUSH2 0x20e1
00000749: JUMP
0000074a: JUMPDEST
0000074b: PUSH1 0x40
0000074d: DUP1
0000074e: MLOAD
0000074f: CALLER
00000750: DUP2
00000751: MSTORE
00000752: PUSH1 0x01
00000754: PUSH1 0x01
00000756: PUSH1 0xa0
00000758: SHL
00000759: SUB
0000075a: SWAP1
0000075b: SWAP4
0000075c: AND
0000075d: PUSH1 0x20
0000075f: DUP5
00000760: ADD
00000761: MSTORE
00000762: DUP3
00000763: ADD
00000764: MSTORE
00000765: PUSH1 0x60
00000767: DUP2
00000768: ADD
00000769: SWAP2
0000076a: SWAP1
0000076b: SWAP2
0000076c: MSTORE
0000076d: PUSH1 0x80
0000076f: SWAP1
00000770: LOG1
00000771: STOP
00000772: JUMPDEST
00000773: DUP4
00000774: SWAP1
00000775: PUSH4 0xf37d38f3
0000077a: PUSH1 0xe0
0000077c: SHL
0000077d: PUSH0
0000077e: MSTORE
0000077f: PUSH1 0x04
00000781: MSTORE
00000782: PUSH1 0x24
00000784: MSTORE
00000785: PUSH1 0x44
00000787: PUSH0
00000788: REVERT
00000789: JUMPDEST
0000078a: PUSH1 0x20
0000078c: PUSH1 0x40
0000078e: DUP2
0000078f: DUP4
00000790: ADD
00000791: SWAP3
00000792: DUP3
00000793: DUP2
00000794: MSTORE
00000795: DUP5
00000796: MLOAD
00000797: DUP1
00000798: SWAP5
00000799: MSTORE
0000079a: ADD
0000079b: SWAP3
0000079c: ADD
0000079d: SWAP1
0000079e: PUSH0
0000079f: JUMPDEST
000007a0: DUP2
000007a1: DUP2
000007a2: LT
000007a3: PUSH2 0x07ac
000007a6: JUMPI
000007a7: POP
000007a8: POP
000007a9: POP
000007aa: SWAP1
000007ab: JUMP
000007ac: JUMPDEST
000007ad: DUP3
000007ae: MLOAD
000007af: PUSH1 0x01
000007b1: PUSH1 0x01
000007b3: PUSH1 0xa0
000007b5: SHL
000007b6: SUB
000007b7: AND
000007b8: DUP5
000007b9: MSTORE
000007ba: PUSH1 0x20
000007bc: SWAP4
000007bd: DUP5
000007be: ADD
000007bf: SWAP4
000007c0: SWAP1
000007c1: SWAP3
000007c2: ADD
000007c3: SWAP2
000007c4: PUSH1 0x01
000007c6: ADD
000007c7: PUSH2 0x079f
000007ca: JUMP
000007cb: JUMPDEST
000007cc: CALLVALUE
000007cd: PUSH2 0x0309
000007d0: JUMPI
000007d1: PUSH0
000007d2: CALLDATASIZE
000007d3: PUSH1 0x03
000007d5: NOT
000007d6: ADD
000007d7: SLT
000007d8: PUSH2 0x0309
000007db: JUMPI
000007dc: PUSH0
000007dd: MLOAD
000007de: PUSH1 0x20
000007e0: PUSH2 0x2ddf
000007e3: PUSH0
000007e4: CODECOPY
000007e5: PUSH0
000007e6: MLOAD
000007e7: SWAP1
000007e8: PUSH0
000007e9: MSTORE
000007ea: PUSH1 0x20
000007ec: SWAP1
000007ed: DUP2
000007ee: MSTORE
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: PUSH32 0x51d2c77e75fa4d7ea979836bebb592139941dd73acf569f643c01539efd328d4
00000813: DUP1
00000814: SLOAD
00000815: DUP1
00000816: DUP4
00000817: MSTORE
00000818: PUSH0
00000819: SWAP2
0000081a: DUP3
0000081b: MSTORE
0000081c: SWAP2
0000081d: SWAP3
0000081e: DUP4
0000081f: ADD
00000820: SWAP2
00000821: PUSH32 0x68eb615873fbf2561ad9afc320d9b58d650ce4993675bd67cd3a26ad6e522c25
00000842: SWAP2
00000843: JUMPDEST
00000844: DUP2
00000845: DUP2
00000846: LT
00000847: PUSH2 0x086a
0000084a: JUMPI
0000084b: PUSH2 0x0866
0000084e: DUP6
0000084f: PUSH2 0x085a
00000852: DUP2
00000853: DUP8
00000854: SUB
00000855: DUP3
00000856: PUSH2 0x0894
00000859: JUMP
0000085a: JUMPDEST
0000085b: PUSH1 0x40
0000085d: MLOAD
0000085e: SWAP2
0000085f: DUP3
00000860: SWAP2
00000861: DUP3
00000862: PUSH2 0x0789
00000865: JUMP
00000866: JUMPDEST
00000867: SUB
00000868: SWAP1
00000869: RETURN
0000086a: JUMPDEST
0000086b: DUP3
0000086c: SLOAD
0000086d: DUP5
0000086e: MSTORE
0000086f: PUSH1 0x20
00000871: SWAP1
00000872: SWAP4
00000873: ADD
00000874: SWAP3
00000875: PUSH1 0x01
00000877: SWAP3
00000878: DUP4
00000879: ADD
0000087a: SWAP3
0000087b: ADD
0000087c: PUSH2 0x0843
0000087f: JUMP
00000880: JUMPDEST
00000881: PUSH4 0x4e487b71
00000886: PUSH1 0xe0
00000888: SHL
00000889: PUSH0
0000088a: MSTORE
0000088b: PUSH1 0x41
0000088d: PUSH1 0x04
0000088f: MSTORE
00000890: PUSH1 0x24
00000892: PUSH0
00000893: REVERT
00000894: JUMPDEST
00000895: SWAP1
00000896: PUSH1 0x1f
00000898: DUP1
00000899: NOT
0000089a: SWAP2
0000089b: ADD
0000089c: AND
0000089d: DUP2
0000089e: ADD
0000089f: SWAP1
000008a0: DUP2
000008a1: LT
000008a2: PUSH8 0xffffffffffffffff
000008ab: DUP3
000008ac: GT
000008ad: OR
000008ae: PUSH2 0x08b6
000008b1: JUMPI
000008b2: PUSH1 0x40
000008b4: MSTORE
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH2 0x0880
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: SWAP1
000008c0: PUSH2 0x08ca
000008c3: PUSH1 0x40
000008c5: DUP4
000008c6: PUSH2 0x0894
000008c9: JUMP
000008ca: JUMPDEST
000008cb: JUMP
000008cc: JUMPDEST
000008cd: PUSH8 0xffffffffffffffff
000008d6: DUP2
000008d7: GT
000008d8: PUSH2 0x08b6
000008db: JUMPI
000008dc: PUSH1 0x1f
000008de: ADD
000008df: PUSH1 0x1f
000008e1: NOT
000008e2: AND
000008e3: PUSH1 0x20
000008e5: ADD
000008e6: SWAP1
000008e7: JUMP
000008e8: JUMPDEST
000008e9: SWAP3
000008ea: SWAP2
000008eb: SWAP3
000008ec: PUSH2 0x08f4
000008ef: DUP3
000008f0: PUSH2 0x08cc
000008f3: JUMP
000008f4: JUMPDEST
000008f5: SWAP2
000008f6: PUSH2 0x0902
000008f9: PUSH1 0x40
000008fb: MLOAD
000008fc: SWAP4
000008fd: DUP5
000008fe: PUSH2 0x0894
00000901: JUMP
00000902: JUMPDEST
00000903: DUP3
00000904: SWAP5
00000905: DUP2
00000906: DUP5
00000907: MSTORE
00000908: DUP2
00000909: DUP4
0000090a: ADD
0000090b: GT
0000090c: PUSH2 0x0309
0000090f: JUMPI
00000910: DUP3
00000911: DUP2
00000912: PUSH1 0x20
00000914: SWAP4
00000915: DUP5
00000916: PUSH0
00000917: SWAP7
00000918: ADD
00000919: CALLDATACOPY
0000091a: ADD
0000091b: ADD
0000091c: MSTORE
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH1 0x40
00000921: CALLDATASIZE
00000922: PUSH1 0x03
00000924: NOT
00000925: ADD
00000926: SLT
00000927: PUSH2 0x0309
0000092a: JUMPI
0000092b: PUSH2 0x0932
0000092e: PUSH2 0x030d
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH1 0x24
00000935: CALLDATALOAD
00000936: PUSH8 0xffffffffffffffff
0000093f: DUP2
00000940: GT
00000941: PUSH2 0x0309
00000944: JUMPI
00000945: CALLDATASIZE
00000946: PUSH1 0x23
00000948: DUP3
00000949: ADD
0000094a: SLT
0000094b: ISZERO
0000094c: PUSH2 0x0309
0000094f: JUMPI
00000950: PUSH2 0x0963
00000953: SWAP1
00000954: CALLDATASIZE
00000955: SWAP1
00000956: PUSH1 0x24
00000958: DUP2
00000959: PUSH1 0x04
0000095b: ADD
0000095c: CALLDATALOAD
0000095d: SWAP2
0000095e: ADD
0000095f: PUSH2 0x08e8
00000962: JUMP
00000963: JUMPDEST
00000964: SWAP1
00000965: PUSH1 0x01
00000967: PUSH1 0x01
00000969: PUSH1 0xa0
0000096b: SHL
0000096c: SUB
0000096d: PUSH32 0x000000000000000000000000471a8de3eec36775d230070f9704cc86bf0f360d
0000098e: AND
0000098f: ADDRESS
00000990: DUP2
00000991: EQ
00000992: SWAP1
00000993: DUP2
00000994: ISZERO
00000995: PUSH2 0x0a62
00000998: JUMPI
00000999: JUMPDEST
0000099a: POP
0000099b: PUSH2 0x0a53
0000099e: JUMPI
0000099f: PUSH2 0x09a6
000009a2: PUSH2 0x1a78
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x40
000009a9: MLOAD
000009aa: PUSH4 0x52d1902d
000009af: PUSH1 0xe0
000009b1: SHL
000009b2: DUP2
000009b3: MSTORE
000009b4: SWAP2
000009b5: PUSH1 0x20
000009b7: DUP4
000009b8: PUSH1 0x04
000009ba: DUP2
000009bb: PUSH1 0x01
000009bd: PUSH1 0x01
000009bf: PUSH1 0xa0
000009c1: SHL
000009c2: SUB
000009c3: DUP7
000009c4: AND
000009c5: GAS
000009c6: STATICCALL
000009c7: PUSH0
000009c8: SWAP4
000009c9: DUP2
000009ca: PUSH2 0x0a22
000009cd: JUMPI
000009ce: JUMPDEST
000009cf: POP
000009d0: PUSH2 0x09ef
000009d3: JUMPI
000009d4: PUSH4 0x4c9c8ce3
000009d9: PUSH1 0xe0
000009db: SHL
000009dc: PUSH0
000009dd: MSTORE
000009de: PUSH1 0x01
000009e0: PUSH1 0x01
000009e2: PUSH1 0xa0
000009e4: SHL
000009e5: SUB
000009e6: DUP3
000009e7: AND
000009e8: PUSH1 0x04
000009ea: MSTORE
000009eb: PUSH1 0x24
000009ed: PUSH0
000009ee: REVERT
000009ef: JUMPDEST
000009f0: SWAP1
000009f1: PUSH0
000009f2: MLOAD
000009f3: PUSH1 0x20
000009f5: PUSH2 0x2e5f
000009f8: PUSH0
000009f9: CODECOPY
000009fa: PUSH0
000009fb: MLOAD
000009fc: SWAP1
000009fd: PUSH0
000009fe: MSTORE
000009ff: DUP4
00000a00: SUB
00000a01: PUSH2 0x0a0e
00000a04: JUMPI
00000a05: PUSH2 0x0018
00000a08: SWAP3
00000a09: POP
00000a0a: PUSH2 0x27b5
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH4 0x2a875269
00000a14: PUSH1 0xe2
00000a16: SHL
00000a17: PUSH0
00000a18: MSTORE
00000a19: PUSH1 0x04
00000a1b: DUP4
00000a1c: SWAP1
00000a1d: MSTORE
00000a1e: PUSH1 0x24
00000a20: PUSH0
00000a21: REVERT
00000a22: JUMPDEST
00000a23: PUSH2 0x0a45
00000a26: SWAP2
00000a27: SWAP5
00000a28: POP
00000a29: PUSH1 0x20
00000a2b: RETURNDATASIZE
00000a2c: PUSH1 0x20
00000a2e: GT
00000a2f: PUSH2 0x0a4c
00000a32: JUMPI
00000a33: JUMPDEST
00000a34: PUSH2 0x0a3d
00000a37: DUP2
00000a38: DUP4
00000a39: PUSH2 0x0894
00000a3c: JUMP
00000a3d: JUMPDEST
00000a3e: DUP2
00000a3f: ADD
00000a40: SWAP1
00000a41: PUSH2 0x2098
00000a44: JUMP
00000a45: JUMPDEST
00000a46: SWAP3
00000a47: PUSH0
00000a48: PUSH2 0x09ce
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: POP
00000a4e: RETURNDATASIZE
00000a4f: PUSH2 0x0a33
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH4 0x703e46dd
00000a59: PUSH1 0xe1
00000a5b: SHL
00000a5c: PUSH0
00000a5d: MSTORE
00000a5e: PUSH1 0x04
00000a60: PUSH0
00000a61: REVERT
00000a62: JUMPDEST
00000a63: PUSH0
00000a64: MLOAD
00000a65: PUSH1 0x20
00000a67: PUSH2 0x2e5f
00000a6a: PUSH0
00000a6b: CODECOPY
00000a6c: PUSH0
00000a6d: MLOAD
00000a6e: SWAP1
00000a6f: PUSH0
00000a70: MSTORE
00000a71: SLOAD
00000a72: PUSH1 0x01
00000a74: PUSH1 0x01
00000a76: PUSH1 0xa0
00000a78: SHL
00000a79: SUB
00000a7a: AND
00000a7b: EQ
00000a7c: ISZERO
00000a7d: SWAP1
00000a7e: POP
00000a7f: PUSH0
00000a80: PUSH2 0x0999
00000a83: JUMP
00000a84: JUMPDEST
00000a85: CALLVALUE
00000a86: PUSH2 0x0309
00000a89: JUMPI
00000a8a: PUSH0
00000a8b: CALLDATASIZE
00000a8c: PUSH1 0x03
00000a8e: NOT
00000a8f: ADD
00000a90: SLT
00000a91: PUSH2 0x0309
00000a94: JUMPI
00000a95: PUSH32 0x000000000000000000000000471a8de3eec36775d230070f9704cc86bf0f360d
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0x01
00000aba: PUSH1 0xa0
00000abc: SHL
00000abd: SUB
00000abe: AND
00000abf: ADDRESS
00000ac0: SUB
00000ac1: PUSH2 0x0a53
00000ac4: JUMPI
00000ac5: PUSH1 0x20
00000ac7: PUSH1 0x40
00000ac9: MLOAD
00000aca: PUSH0
00000acb: MLOAD
00000acc: PUSH1 0x20
00000ace: PUSH2 0x2e5f
00000ad1: PUSH0
00000ad2: CODECOPY
00000ad3: PUSH0
00000ad4: MLOAD
00000ad5: SWAP1
00000ad6: PUSH0
00000ad7: MSTORE
00000ad8: DUP2
00000ad9: MSTORE
00000ada: RETURN
00000adb: JUMPDEST
00000adc: CALLVALUE
00000add: PUSH2 0x0309
00000ae0: JUMPI
00000ae1: PUSH2 0x0ae9
00000ae4: CALLDATASIZE
00000ae5: PUSH2 0x069c
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: SWAP1
00000aeb: PUSH2 0x0af2
00000aee: PUSH2 0x19ad
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH1 0x01
00000af5: PUSH1 0x01
00000af7: PUSH1 0xa0
00000af9: SHL
00000afa: SUB
00000afb: DUP3
00000afc: AND
00000afd: ISZERO
00000afe: PUSH2 0x03f9
00000b01: JUMPI
00000b02: PUSH2 0x0018
00000b05: SWAP3
00000b06: DUP2
00000b07: PUSH2 0x20e1
00000b0a: JUMPI
00000b0b: SWAP1
00000b0c: POP
00000b0d: PUSH2 0x0b16
00000b10: ADDRESS
00000b11: DUP3
00000b12: PUSH2 0x21ee
00000b15: JUMP
00000b16: JUMPDEST
00000b17: SWAP1
00000b18: PUSH2 0x20e1
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: CALLVALUE
00000b1e: PUSH2 0x0309
00000b21: JUMPI
00000b22: PUSH0
00000b23: CALLDATASIZE
00000b24: PUSH1 0x03
00000b26: NOT
00000b27: ADD
00000b28: SLT
00000b29: PUSH2 0x0309
00000b2c: JUMPI
00000b2d: PUSH1 0x20
00000b2f: PUSH1 0xff
00000b31: PUSH0
00000b32: MLOAD
00000b33: PUSH1 0x20
00000b35: PUSH2 0x2ebf
00000b38: PUSH0
00000b39: CODECOPY
00000b3a: PUSH0
00000b3b: MLOAD
00000b3c: SWAP1
00000b3d: PUSH0
00000b3e: MSTORE
00000b3f: SLOAD
00000b40: AND
00000b41: PUSH1 0x40
00000b43: MLOAD
00000b44: SWAP1
00000b45: ISZERO
00000b46: ISZERO
00000b47: DUP2
00000b48: MSTORE
00000b49: RETURN
00000b4a: JUMPDEST
00000b4b: CALLVALUE
00000b4c: PUSH2 0x0309
00000b4f: JUMPI
00000b50: PUSH1 0x20
00000b52: CALLDATASIZE
00000b53: PUSH1 0x03
00000b55: NOT
00000b56: ADD
00000b57: SLT
00000b58: PUSH2 0x0309
00000b5b: JUMPI
00000b5c: PUSH2 0x0b63
00000b5f: PUSH2 0x030d
00000b62: JUMP
00000b63: JUMPDEST
00000b64: PUSH2 0x0b6b
00000b67: PUSH2 0x19ad
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: PUSH1 0x01
00000b6e: PUSH1 0x01
00000b70: PUSH1 0xa0
00000b72: SHL
00000b73: SUB
00000b74: AND
00000b75: DUP1
00000b76: ISZERO
00000b77: PUSH2 0x03f9
00000b7a: JUMPI
00000b7b: PUSH12 0xffffffffffffffffffffffff
00000b88: PUSH1 0xa0
00000b8a: SHL
00000b8b: PUSH0
00000b8c: MLOAD
00000b8d: PUSH1 0x20
00000b8f: PUSH2 0x2e3f
00000b92: PUSH0
00000b93: CODECOPY
00000b94: PUSH0
00000b95: MLOAD
00000b96: SWAP1
00000b97: PUSH0
00000b98: MSTORE
00000b99: SLOAD
00000b9a: AND
00000b9b: OR
00000b9c: PUSH0
00000b9d: MLOAD
00000b9e: PUSH1 0x20
00000ba0: PUSH2 0x2e3f
00000ba3: PUSH0
00000ba4: CODECOPY
00000ba5: PUSH0
00000ba6: MLOAD
00000ba7: SWAP1
00000ba8: PUSH0
00000ba9: MSTORE
00000baa: SSTORE
00000bab: PUSH0
00000bac: DUP1
00000bad: RETURN
00000bae: JUMPDEST
00000baf: CALLVALUE
00000bb0: PUSH2 0x0309
00000bb3: JUMPI
00000bb4: PUSH0
00000bb5: CALLDATASIZE
00000bb6: PUSH1 0x03
00000bb8: NOT
00000bb9: ADD
00000bba: SLT
00000bbb: PUSH2 0x0309
00000bbe: JUMPI
00000bbf: PUSH0
00000bc0: MLOAD
00000bc1: PUSH1 0x20
00000bc3: PUSH2 0x2eff
00000bc6: PUSH0
00000bc7: CODECOPY
00000bc8: PUSH0
00000bc9: MLOAD
00000bca: SWAP1
00000bcb: PUSH0
00000bcc: MSTORE
00000bcd: SLOAD
00000bce: PUSH8 0xffffffffffffffff
00000bd7: PUSH2 0x0bf0
00000bda: PUSH1 0xff
00000bdc: PUSH1 0x40
00000bde: DUP5
00000bdf: SWAP1
00000be0: SHR
00000be1: AND
00000be2: ISZERO
00000be3: SWAP3
00000be4: PUSH8 0xffffffffffffffff
00000bed: AND
00000bee: SWAP1
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: AND
00000bf2: DUP1
00000bf3: ISZERO
00000bf4: SWAP1
00000bf5: DUP2
00000bf6: PUSH2 0x0d06
00000bf9: JUMPI
00000bfa: JUMPDEST
00000bfb: PUSH1 0x01
00000bfd: EQ
00000bfe: SWAP1
00000bff: DUP2
00000c00: PUSH2 0x0cfc
00000c03: JUMPI
00000c04: JUMPDEST
00000c05: ISZERO
00000c06: SWAP1
00000c07: DUP2
00000c08: PUSH2 0x0cf3
00000c0b: JUMPI
00000c0c: JUMPDEST
00000c0d: POP
00000c0e: PUSH2 0x0ce4
00000c11: JUMPI
00000c12: DUP1
00000c13: PUSH2 0x0c43
00000c16: PUSH1 0x01
00000c18: PUSH8 0xffffffffffffffff
00000c21: NOT
00000c22: PUSH0
00000c23: MLOAD
00000c24: PUSH1 0x20
00000c26: PUSH2 0x2eff
00000c29: PUSH0
00000c2a: CODECOPY
00000c2b: PUSH0
00000c2c: MLOAD
00000c2d: SWAP1
00000c2e: PUSH0
00000c2f: MSTORE
00000c30: SLOAD
00000c31: AND
00000c32: OR
00000c33: PUSH0
00000c34: MLOAD
00000c35: PUSH1 0x20
00000c37: PUSH2 0x2eff
00000c3a: PUSH0
00000c3b: CODECOPY
00000c3c: PUSH0
00000c3d: MLOAD
00000c3e: SWAP1
00000c3f: PUSH0
00000c40: MSTORE
00000c41: SSTORE
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH2 0x0caf
00000c47: JUMPI
00000c48: JUMPDEST
00000c49: PUSH2 0x0c50
00000c4c: PUSH2 0x174b
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH2 0x0c56
00000c54: JUMPI
00000c55: STOP
00000c56: JUMPDEST
00000c57: PUSH2 0x0c80
00000c5a: PUSH1 0xff
00000c5c: PUSH1 0x40
00000c5e: SHL
00000c5f: NOT
00000c60: PUSH0
00000c61: MLOAD
00000c62: PUSH1 0x20
00000c64: PUSH2 0x2eff
00000c67: PUSH0
00000c68: CODECOPY
00000c69: PUSH0
00000c6a: MLOAD
00000c6b: SWAP1
00000c6c: PUSH0
00000c6d: MSTORE
00000c6e: SLOAD
00000c6f: AND
00000c70: PUSH0
00000c71: MLOAD
00000c72: PUSH1 0x20
00000c74: PUSH2 0x2eff
00000c77: PUSH0
00000c78: CODECOPY
00000c79: PUSH0
00000c7a: MLOAD
00000c7b: SWAP1
00000c7c: PUSH0
00000c7d: MSTORE
00000c7e: SSTORE
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0x40
00000c83: MLOAD
00000c84: PUSH1 0x01
00000c86: DUP2
00000c87: MSTORE
00000c88: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
00000ca9: SWAP1
00000caa: PUSH1 0x20
00000cac: SWAP1
00000cad: LOG1
00000cae: STOP
00000caf: JUMPDEST
00000cb0: PUSH2 0x0cdf
00000cb3: PUSH1 0x01
00000cb5: PUSH1 0x40
00000cb7: SHL
00000cb8: PUSH1 0xff
00000cba: PUSH1 0x40
00000cbc: SHL
00000cbd: NOT
00000cbe: PUSH0
00000cbf: MLOAD
00000cc0: PUSH1 0x20
00000cc2: PUSH2 0x2eff
00000cc5: PUSH0
00000cc6: CODECOPY
00000cc7: PUSH0
00000cc8: MLOAD
00000cc9: SWAP1
00000cca: PUSH0
00000ccb: MSTORE
00000ccc: SLOAD
00000ccd: AND
00000cce: OR
00000ccf: PUSH0
00000cd0: MLOAD
00000cd1: PUSH1 0x20
00000cd3: PUSH2 0x2eff
00000cd6: PUSH0
00000cd7: CODECOPY
00000cd8: PUSH0
00000cd9: MLOAD
00000cda: SWAP1
00000cdb: PUSH0
00000cdc: MSTORE
00000cdd: SSTORE
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: PUSH2 0x0c48
00000ce3: JUMP
00000ce4: JUMPDEST
00000ce5: PUSH4 0xf92ee8a9
00000cea: PUSH1 0xe0
00000cec: SHL
00000ced: PUSH0
00000cee: MSTORE
00000cef: PUSH1 0x04
00000cf1: PUSH0
00000cf2: REVERT
00000cf3: JUMPDEST
00000cf4: SWAP1
00000cf5: POP
00000cf6: ISZERO
00000cf7: PUSH0
00000cf8: PUSH2 0x0c0c
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: ADDRESS
00000cfe: EXTCODESIZE
00000cff: ISZERO
00000d00: SWAP2
00000d01: POP
00000d02: PUSH2 0x0c04
00000d05: JUMP
00000d06: JUMPDEST
00000d07: DUP3
00000d08: SWAP2
00000d09: POP
00000d0a: PUSH2 0x0bfa
00000d0d: JUMP
00000d0e: JUMPDEST
00000d0f: CALLVALUE
00000d10: PUSH2 0x0309
00000d13: JUMPI
00000d14: PUSH0
00000d15: CALLDATASIZE
00000d16: PUSH1 0x03
00000d18: NOT
00000d19: ADD
00000d1a: SLT
00000d1b: PUSH2 0x0309
00000d1e: JUMPI
00000d1f: PUSH2 0x0d26
00000d22: PUSH2 0x1a09
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH2 0x0d2e
00000d2a: PUSH2 0x2408
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: PUSH1 0x01
00000d31: PUSH1 0xff
00000d33: NOT
00000d34: PUSH0
00000d35: MLOAD
00000d36: PUSH1 0x20
00000d38: PUSH2 0x2ebf
00000d3b: PUSH0
00000d3c: CODECOPY
00000d3d: PUSH0
00000d3e: MLOAD
00000d3f: SWAP1
00000d40: PUSH0
00000d41: MSTORE
00000d42: SLOAD
00000d43: AND
00000d44: OR
00000d45: PUSH0
00000d46: MLOAD
00000d47: PUSH1 0x20
00000d49: PUSH2 0x2ebf
00000d4c: PUSH0
00000d4d: CODECOPY
00000d4e: PUSH0
00000d4f: MLOAD
00000d50: SWAP1
00000d51: PUSH0
00000d52: MSTORE
00000d53: SSTORE
00000d54: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000d75: PUSH1 0x20
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: CALLER
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: LOG1
00000d7e: STOP
00000d7f: JUMPDEST
00000d80: DUP1
00000d81: MLOAD
00000d82: DUP1
00000d83: DUP4
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: SWAP3
00000d88: SWAP2
00000d89: DUP2
00000d8a: SWAP1
00000d8b: DUP5
00000d8c: ADD
00000d8d: DUP5
00000d8e: DUP5
00000d8f: ADD
00000d90: MCOPY
00000d91: PUSH0
00000d92: DUP3
00000d93: DUP3
00000d94: ADD
00000d95: DUP5
00000d96: ADD
00000d97: MSTORE
00000d98: PUSH1 0x1f
00000d9a: ADD
00000d9b: PUSH1 0x1f
00000d9d: NOT
00000d9e: AND
00000d9f: ADD
00000da0: ADD
00000da1: SWAP1
00000da2: JUMP
00000da3: JUMPDEST
00000da4: SWAP3
00000da5: SWAP4
00000da6: SWAP2
00000da7: PUSH2 0x0dc5
00000daa: PUSH2 0x0dd3
00000dad: SWAP3
00000dae: PUSH1 0x0f
00000db0: PUSH1 0xf8
00000db2: SHL
00000db3: DUP7
00000db4: MSTORE
00000db5: PUSH1 0xe0
00000db7: PUSH1 0x20
00000db9: DUP8
00000dba: ADD
00000dbb: MSTORE
00000dbc: PUSH1 0xe0
00000dbe: DUP7
00000dbf: ADD
00000dc0: SWAP1
00000dc1: PUSH2 0x0d7f
00000dc4: JUMP
00000dc5: JUMPDEST
00000dc6: SWAP1
00000dc7: DUP5
00000dc8: DUP3
00000dc9: SUB
00000dca: PUSH1 0x40
00000dcc: DUP7
00000dcd: ADD
00000dce: MSTORE
00000dcf: PUSH2 0x0d7f
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: SWAP3
00000dd5: PUSH1 0x60
00000dd7: DUP4
00000dd8: ADD
00000dd9: MSTORE
00000dda: PUSH1 0x01
00000ddc: DUP1
00000ddd: PUSH1 0xa0
00000ddf: SHL
00000de0: SUB
00000de1: AND
00000de2: PUSH1 0x80
00000de4: DUP3
00000de5: ADD
00000de6: MSTORE
00000de7: PUSH0
00000de8: PUSH1 0xa0
00000dea: DUP3
00000deb: ADD
00000dec: MSTORE
00000ded: PUSH1 0xc0
00000def: DUP2
00000df0: DUP4
00000df1: SUB
00000df2: SWAP2
00000df3: ADD
00000df4: MSTORE
00000df5: PUSH1 0x20
00000df7: DUP1
00000df8: DUP4
00000df9: MLOAD
00000dfa: SWAP3
00000dfb: DUP4
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: ADD
00000dff: SWAP3
00000e00: ADD
00000e01: SWAP1
00000e02: PUSH0
00000e03: JUMPDEST
00000e04: DUP2
00000e05: DUP2
00000e06: LT
00000e07: PUSH2 0x0e10
00000e0a: JUMPI
00000e0b: POP
00000e0c: POP
00000e0d: POP
00000e0e: SWAP1
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: DUP3
00000e12: MLOAD
00000e13: DUP5
00000e14: MSTORE
00000e15: PUSH1 0x20
00000e17: SWAP4
00000e18: DUP5
00000e19: ADD
00000e1a: SWAP4
00000e1b: SWAP1
00000e1c: SWAP3
00000e1d: ADD
00000e1e: SWAP2
00000e1f: PUSH1 0x01
00000e21: ADD
00000e22: PUSH2 0x0e03
00000e25: JUMP
00000e26: JUMPDEST
00000e27: CALLVALUE
00000e28: PUSH2 0x0309
00000e2b: JUMPI
00000e2c: PUSH0
00000e2d: CALLDATASIZE
00000e2e: PUSH1 0x03
00000e30: NOT
00000e31: ADD
00000e32: SLT
00000e33: PUSH2 0x0309
00000e36: JUMPI
00000e37: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00000e58: SLOAD
00000e59: ISZERO
00000e5a: DUP1
00000e5b: PUSH2 0x0ecd
00000e5e: JUMPI
00000e5f: JUMPDEST
00000e60: ISZERO
00000e61: PUSH2 0x0e90
00000e64: JUMPI
00000e65: PUSH2 0x0e6c
00000e68: PUSH2 0x228e
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH2 0x0e74
00000e70: PUSH2 0x235b
00000e73: JUMP
00000e74: JUMPDEST
00000e75: SWAP1
00000e76: PUSH2 0x0866
00000e79: PUSH2 0x0e80
00000e7c: PUSH2 0x1992
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x40
00000e83: MLOAD
00000e84: SWAP4
00000e85: DUP5
00000e86: SWAP4
00000e87: ADDRESS
00000e88: SWAP2
00000e89: CHAINID
00000e8a: SWAP2
00000e8b: DUP7
00000e8c: PUSH2 0x0da3
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x40
00000e93: MLOAD
00000e94: PUSH3 0x461bcd
00000e98: PUSH1 0xe5
00000e9a: SHL
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: PUSH1 0x20
00000e9f: PUSH1 0x04
00000ea1: DUP3
00000ea2: ADD
00000ea3: MSTORE
00000ea4: PUSH1 0x15
00000ea6: PUSH1 0x24
00000ea8: DUP3
00000ea9: ADD
00000eaa: MSTORE
00000eab: PUSH21 0x1152540dcc4c8e88155b9a5b9a5d1a585b1a5e9959
00000ec1: PUSH1 0x5a
00000ec3: SHL
00000ec4: PUSH1 0x44
00000ec6: DUP3
00000ec7: ADD
00000ec8: MSTORE
00000ec9: PUSH1 0x64
00000ecb: SWAP1
00000ecc: REVERT
00000ecd: JUMPDEST
00000ece: POP
00000ecf: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d101
00000ef0: SLOAD
00000ef1: ISZERO
00000ef2: PUSH2 0x0e5f
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: CALLVALUE
00000ef8: PUSH2 0x0309
00000efb: JUMPI
00000efc: PUSH1 0x40
00000efe: CALLDATASIZE
00000eff: PUSH1 0x03
00000f01: NOT
00000f02: ADD
00000f03: SLT
00000f04: PUSH2 0x0309
00000f07: JUMPI
00000f08: PUSH1 0x20
00000f0a: PUSH2 0x0f2e
00000f0d: PUSH1 0x04
00000f0f: CALLDATALOAD
00000f10: PUSH1 0x24
00000f12: CALLDATALOAD
00000f13: SWAP1
00000f14: PUSH0
00000f15: MSTORE
00000f16: PUSH0
00000f17: MLOAD
00000f18: PUSH1 0x20
00000f1a: PUSH2 0x2ddf
00000f1d: PUSH0
00000f1e: CODECOPY
00000f1f: PUSH0
00000f20: MLOAD
00000f21: SWAP1
00000f22: PUSH0
00000f23: MSTORE
00000f24: DUP4
00000f25: MSTORE
00000f26: PUSH1 0x40
00000f28: PUSH0
00000f29: KECCAK256
00000f2a: PUSH2 0x2a3e
00000f2d: JUMP
00000f2e: JUMPDEST
00000f2f: SWAP1
00000f30: SLOAD
00000f31: PUSH1 0x40
00000f33: MLOAD
00000f34: PUSH1 0x03
00000f36: SWAP3
00000f37: SWAP1
00000f38: SWAP3
00000f39: SHL
00000f3a: SHR
00000f3b: PUSH1 0x01
00000f3d: PUSH1 0x01
00000f3f: PUSH1 0xa0
00000f41: SHL
00000f42: SUB
00000f43: AND
00000f44: DUP2
00000f45: MSTORE
00000f46: RETURN
00000f47: JUMPDEST
00000f48: CALLVALUE
00000f49: PUSH2 0x0309
00000f4c: JUMPI
00000f4d: PUSH1 0x40
00000f4f: CALLDATASIZE
00000f50: PUSH1 0x03
00000f52: NOT
00000f53: ADD
00000f54: SLT
00000f55: PUSH2 0x0309
00000f58: JUMPI
00000f59: PUSH1 0x20
00000f5b: PUSH1 0xff
00000f5d: PUSH2 0x0f96
00000f60: PUSH1 0x04
00000f62: CALLDATALOAD
00000f63: PUSH2 0x0f6a
00000f66: PUSH2 0x0323
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: SWAP1
00000f6c: PUSH0
00000f6d: MSTORE
00000f6e: PUSH0
00000f6f: MLOAD
00000f70: PUSH1 0x20
00000f72: PUSH2 0x2e9f
00000f75: PUSH0
00000f76: CODECOPY
00000f77: PUSH0
00000f78: MLOAD
00000f79: SWAP1
00000f7a: PUSH0
00000f7b: MSTORE
00000f7c: DUP5
00000f7d: MSTORE
00000f7e: PUSH1 0x40
00000f80: PUSH0
00000f81: KECCAK256
00000f82: SWAP1
00000f83: PUSH1 0x01
00000f85: DUP1
00000f86: PUSH1 0xa0
00000f88: SHL
00000f89: SUB
00000f8a: AND
00000f8b: PUSH0
00000f8c: MSTORE
00000f8d: PUSH1 0x20
00000f8f: MSTORE
00000f90: PUSH1 0x40
00000f92: PUSH0
00000f93: KECCAK256
00000f94: SWAP1
00000f95: JUMP
00000f96: JUMPDEST
00000f97: SLOAD
00000f98: AND
00000f99: PUSH1 0x40
00000f9b: MLOAD
00000f9c: SWAP1
00000f9d: ISZERO
00000f9e: ISZERO
00000f9f: DUP2
00000fa0: MSTORE
00000fa1: RETURN
00000fa2: JUMPDEST
00000fa3: CALLVALUE
00000fa4: PUSH2 0x0309
00000fa7: JUMPI
00000fa8: PUSH1 0x20
00000faa: CALLDATASIZE
00000fab: PUSH1 0x03
00000fad: NOT
00000fae: ADD
00000faf: SLT
00000fb0: PUSH2 0x0309
00000fb3: JUMPI
00000fb4: PUSH1 0x20
00000fb6: PUSH2 0x0ff7
00000fb9: PUSH1 0x04
00000fbb: CALLDATALOAD
00000fbc: PUSH1 0xff
00000fbe: PUSH1 0x01
00000fc0: SWAP2
00000fc1: DUP1
00000fc2: PUSH1 0x08
00000fc4: SHR
00000fc5: PUSH0
00000fc6: MSTORE
00000fc7: PUSH32 0x2c355a1029f7297de90b706beea350b0073a5f8d06c07726a159113e4caa7d69
00000fe8: PUSH1 0x20
00000fea: MSTORE
00000feb: AND
00000fec: SHL
00000fed: PUSH1 0x40
00000fef: PUSH0
00000ff0: KECCAK256
00000ff1: SLOAD
00000ff2: AND
00000ff3: ISZERO
00000ff4: ISZERO
00000ff5: SWAP1
00000ff6: JUMP
00000ff7: JUMPDEST
00000ff8: PUSH1 0x40
00000ffa: MLOAD
00000ffb: SWAP1
00000ffc: ISZERO
00000ffd: ISZERO
00000ffe: DUP2
00000fff: MSTORE
00001000: RETURN
00001001: JUMPDEST
00001002: CALLVALUE
00001003: PUSH2 0x0309
00001006: JUMPI
00001007: PUSH0
00001008: CALLDATASIZE
00001009: PUSH1 0x03
0000100b: NOT
0000100c: ADD
0000100d: SLT
0000100e: PUSH2 0x0309
00001011: JUMPI
00001012: PUSH0
00001013: MLOAD
00001014: PUSH1 0x20
00001016: PUSH2 0x2e3f
00001019: PUSH0
0000101a: CODECOPY
0000101b: PUSH0
0000101c: MLOAD
0000101d: SWAP1
0000101e: PUSH0
0000101f: MSTORE
00001020: SLOAD
00001021: PUSH1 0x40
00001023: MLOAD
00001024: PUSH1 0x01
00001026: PUSH1 0x01
00001028: PUSH1 0xa0
0000102a: SHL
0000102b: SUB
0000102c: SWAP1
0000102d: SWAP2
0000102e: AND
0000102f: DUP2
00001030: MSTORE
00001031: PUSH1 0x20
00001033: SWAP1
00001034: RETURN
00001035: JUMPDEST
00001036: CALLVALUE
00001037: PUSH2 0x0309
0000103a: JUMPI
0000103b: PUSH0
0000103c: CALLDATASIZE
0000103d: PUSH1 0x03
0000103f: NOT
00001040: ADD
00001041: SLT
00001042: PUSH2 0x0309
00001045: JUMPI
00001046: PUSH1 0x20
00001048: PUSH1 0x40
0000104a: MLOAD
0000104b: PUSH32 0x523a704056dcd17bcf83bed8b68c59416dac1119be77755efe3bde0a64e46e0c
0000106c: DUP2
0000106d: MSTORE
0000106e: RETURN
0000106f: JUMPDEST
00001070: CALLVALUE
00001071: PUSH2 0x0309
00001074: JUMPI
00001075: PUSH0
00001076: CALLDATASIZE
00001077: PUSH1 0x03
00001079: NOT
0000107a: ADD
0000107b: SLT
0000107c: PUSH2 0x0309
0000107f: JUMPI
00001080: PUSH1 0x20
00001082: PUSH1 0x40
00001084: MLOAD
00001085: PUSH0
00001086: DUP2
00001087: MSTORE
00001088: RETURN
00001089: JUMPDEST
0000108a: CALLVALUE
0000108b: PUSH2 0x0309
0000108e: JUMPI
0000108f: PUSH1 0x20
00001091: CALLDATASIZE
00001092: PUSH1 0x03
00001094: NOT
00001095: ADD
00001096: SLT
00001097: PUSH2 0x0309
0000109a: JUMPI
0000109b: PUSH1 0x04
0000109d: CALLDATALOAD
0000109e: PUSH0
0000109f: MSTORE
000010a0: PUSH0
000010a1: MLOAD
000010a2: PUSH1 0x20
000010a4: PUSH2 0x2ddf
000010a7: PUSH0
000010a8: CODECOPY
000010a9: PUSH0
000010aa: MLOAD
000010ab: SWAP1
000010ac: PUSH0
000010ad: MSTORE
000010ae: PUSH1 0x20
000010b0: MSTORE
000010b1: PUSH1 0x40
000010b3: PUSH0
000010b4: KECCAK256
000010b5: PUSH1 0x40
000010b7: MLOAD
000010b8: SWAP1
000010b9: DUP2
000010ba: PUSH1 0x20
000010bc: DUP3
000010bd: SLOAD
000010be: SWAP2
000010bf: DUP3
000010c0: DUP2
000010c1: MSTORE
000010c2: ADD
000010c3: SWAP2
000010c4: PUSH0
000010c5: MSTORE
000010c6: PUSH1 0x20
000010c8: PUSH0
000010c9: KECCAK256
000010ca: SWAP1
000010cb: PUSH0
000010cc: JUMPDEST
000010cd: DUP2
000010ce: DUP2
000010cf: LT
000010d0: PUSH2 0x10e3
000010d3: JUMPI
000010d4: PUSH2 0x0866
000010d7: DUP6
000010d8: PUSH2 0x085a
000010db: DUP2
000010dc: DUP8
000010dd: SUB
000010de: DUP3
000010df: PUSH2 0x0894
000010e2: JUMP
000010e3: JUMPDEST
000010e4: DUP3
000010e5: SLOAD
000010e6: DUP5
000010e7: MSTORE
000010e8: PUSH1 0x20
000010ea: SWAP1
000010eb: SWAP4
000010ec: ADD
000010ed: SWAP3
000010ee: PUSH1 0x01
000010f0: SWAP3
000010f1: DUP4
000010f2: ADD
000010f3: SWAP3
000010f4: ADD
000010f5: PUSH2 0x10cc
000010f8: JUMP
000010f9: JUMPDEST
000010fa: CALLVALUE
000010fb: PUSH2 0x0309
000010fe: JUMPI
000010ff: PUSH0
00001100: CALLDATASIZE
00001101: PUSH1 0x03
00001103: NOT
00001104: ADD
00001105: SLT
00001106: PUSH2 0x0309
00001109: JUMPI
0000110a: PUSH0
0000110b: MLOAD
0000110c: PUSH1 0x20
0000110e: PUSH2 0x2ddf
00001111: PUSH0
00001112: CODECOPY
00001113: PUSH0
00001114: MLOAD
00001115: SWAP1
00001116: PUSH0
00001117: MSTORE
00001118: PUSH1 0x20
0000111a: SWAP1
0000111b: DUP2
0000111c: MSTORE
0000111d: PUSH1 0x40
0000111f: MLOAD
00001120: PUSH32 0x7373abf07576b601f64b36d74d862c7ba4181047674cccb39b488c1eee141e07
00001141: DUP1
00001142: SLOAD
00001143: DUP1
00001144: DUP4
00001145: MSTORE
00001146: PUSH0
00001147: SWAP2
00001148: DUP3
00001149: MSTORE
0000114a: SWAP2
0000114b: SWAP3
0000114c: DUP4
0000114d: ADD
0000114e: SWAP2
0000114f: PUSH32 0x45560313361b5a38ee0e8c7f279a68bf043f9cb947ebdcce8948183ec1f0e38c
00001170: SWAP2
00001171: JUMPDEST
00001172: DUP2
00001173: DUP2
00001174: LT
00001175: PUSH2 0x1188
00001178: JUMPI
00001179: PUSH2 0x0866
0000117c: DUP6
0000117d: PUSH2 0x085a
00001180: DUP2
00001181: DUP8
00001182: SUB
00001183: DUP3
00001184: PUSH2 0x0894
00001187: JUMP
00001188: JUMPDEST
00001189: DUP3
0000118a: SLOAD
0000118b: DUP5
0000118c: MSTORE
0000118d: PUSH1 0x20
0000118f: SWAP1
00001190: SWAP4
00001191: ADD
00001192: SWAP3
00001193: PUSH1 0x01
00001195: SWAP3
00001196: DUP4
00001197: ADD
00001198: SWAP3
00001199: ADD
0000119a: PUSH2 0x1171
0000119d: JUMP
0000119e: JUMPDEST
0000119f: CALLVALUE
000011a0: PUSH2 0x0309
000011a3: JUMPI
000011a4: PUSH0
000011a5: CALLDATASIZE
000011a6: PUSH1 0x03
000011a8: NOT
000011a9: ADD
000011aa: SLT
000011ab: PUSH2 0x0309
000011ae: JUMPI
000011af: PUSH2 0x0866
000011b2: PUSH1 0x40
000011b4: MLOAD
000011b5: PUSH2 0x11bf
000011b8: PUSH1 0x40
000011ba: DUP3
000011bb: PUSH2 0x0894
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0x05
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH5 0x0352e302e3
000011ca: PUSH1 0xdc
000011cc: SHL
000011cd: PUSH1 0x20
000011cf: DUP3
000011d0: ADD
000011d1: MSTORE
000011d2: PUSH1 0x40
000011d4: MLOAD
000011d5: SWAP2
000011d6: DUP3
000011d7: SWAP2
000011d8: PUSH1 0x20
000011da: DUP4
000011db: MSTORE
000011dc: PUSH1 0x20
000011de: DUP4
000011df: ADD
000011e0: SWAP1
000011e1: PUSH2 0x0d7f
000011e4: JUMP
000011e5: JUMPDEST
000011e6: CALLVALUE
000011e7: PUSH2 0x0309
000011ea: JUMPI
000011eb: PUSH0
000011ec: CALLDATASIZE
000011ed: PUSH1 0x03
000011ef: NOT
000011f0: ADD
000011f1: SLT
000011f2: PUSH2 0x0309
000011f5: JUMPI
000011f6: PUSH1 0x20
000011f8: PUSH1 0x40
000011fa: MLOAD
000011fb: PUSH32 0x2aeb38be3df14d720aeb10a2de6df09b0fb3cd5c5ec256283a22d4593110ca40
0000121c: DUP2
0000121d: MSTORE
0000121e: RETURN
0000121f: JUMPDEST
00001220: CALLVALUE
00001221: PUSH2 0x0309
00001224: JUMPI
00001225: PUSH0
00001226: CALLDATASIZE
00001227: PUSH1 0x03
00001229: NOT
0000122a: ADD
0000122b: SLT
0000122c: PUSH2 0x0309
0000122f: JUMPI
00001230: PUSH0
00001231: MLOAD
00001232: PUSH1 0x20
00001234: PUSH2 0x2ddf
00001237: PUSH0
00001238: CODECOPY
00001239: PUSH0
0000123a: MLOAD
0000123b: SWAP1
0000123c: PUSH0
0000123d: MSTORE
0000123e: PUSH1 0x20
00001240: SWAP1
00001241: DUP2
00001242: MSTORE
00001243: PUSH1 0x40
00001245: MLOAD
00001246: PUSH32 0x615f0f9e84155bea8cc509fe18befeb1baf65611e38a6ba60964480fb29dfd44
00001267: DUP1
00001268: SLOAD
00001269: DUP1
0000126a: DUP4
0000126b: MSTORE
0000126c: PUSH0
0000126d: SWAP2
0000126e: DUP3
0000126f: MSTORE
00001270: SWAP2
00001271: SWAP3
00001272: DUP4
00001273: ADD
00001274: SWAP2
00001275: PUSH32 0x61b317071ea1c4632f65e4f7c9a9966863ed08380131d3333b8c89cf660c50ca
00001296: SWAP2
00001297: JUMPDEST
00001298: DUP2
00001299: DUP2
0000129a: LT
0000129b: PUSH2 0x12ae
0000129e: JUMPI
0000129f: PUSH2 0x0866
000012a2: DUP6
000012a3: PUSH2 0x085a
000012a6: DUP2
000012a7: DUP8
000012a8: SUB
000012a9: DUP3
000012aa: PUSH2 0x0894
000012ad: JUMP
000012ae: JUMPDEST
000012af: DUP3
000012b0: SLOAD
000012b1: DUP5
000012b2: MSTORE
000012b3: PUSH1 0x20
000012b5: SWAP1
000012b6: SWAP4
000012b7: ADD
000012b8: SWAP3
000012b9: PUSH1 0x01
000012bb: SWAP3
000012bc: DUP4
000012bd: ADD
000012be: SWAP3
000012bf: ADD
000012c0: PUSH2 0x1297
000012c3: JUMP
000012c4: JUMPDEST
000012c5: CALLVALUE
000012c6: PUSH2 0x0309
000012c9: JUMPI
000012ca: PUSH0
000012cb: CALLDATASIZE
000012cc: PUSH1 0x03
000012ce: NOT
000012cf: ADD
000012d0: SLT
000012d1: PUSH2 0x0309
000012d4: JUMPI
000012d5: PUSH0
000012d6: MLOAD
000012d7: PUSH1 0x20
000012d9: PUSH2 0x2dbf
000012dc: PUSH0
000012dd: CODECOPY
000012de: PUSH0
000012df: MLOAD
000012e0: SWAP1
000012e1: PUSH0
000012e2: MSTORE
000012e3: SLOAD
000012e4: PUSH1 0x40
000012e6: MLOAD
000012e7: PUSH1 0x01
000012e9: PUSH1 0x01
000012eb: PUSH1 0xa0
000012ed: SHL
000012ee: SUB
000012ef: SWAP1
000012f0: SWAP2
000012f1: AND
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x20
000012f6: SWAP1
000012f7: RETURN
000012f8: JUMPDEST
000012f9: CALLVALUE
000012fa: PUSH2 0x0309
000012fd: JUMPI
000012fe: PUSH1 0x20
00001300: CALLDATASIZE
00001301: PUSH1 0x03
00001303: NOT
00001304: ADD
00001305: SLT
00001306: PUSH2 0x0309
00001309: JUMPI
0000130a: PUSH2 0x1311
0000130d: PUSH2 0x030d
00001310: JUMP
00001311: JUMPDEST
00001312: PUSH2 0x1319
00001315: PUSH2 0x19ad
00001318: JUMP
00001319: JUMPDEST
0000131a: PUSH1 0x01
0000131c: PUSH1 0x01
0000131e: PUSH1 0xa0
00001320: SHL
00001321: SUB
00001322: AND
00001323: DUP1
00001324: ISZERO
00001325: PUSH2 0x03f9
00001328: JUMPI
00001329: PUSH12 0xffffffffffffffffffffffff
00001336: PUSH1 0xa0
00001338: SHL
00001339: PUSH0
0000133a: MLOAD
0000133b: PUSH1 0x20
0000133d: PUSH2 0x2dbf
00001340: PUSH0
00001341: CODECOPY
00001342: PUSH0
00001343: MLOAD
00001344: SWAP1
00001345: PUSH0
00001346: MSTORE
00001347: SLOAD
00001348: AND
00001349: OR
0000134a: PUSH0
0000134b: MLOAD
0000134c: PUSH1 0x20
0000134e: PUSH2 0x2dbf
00001351: PUSH0
00001352: CODECOPY
00001353: PUSH0
00001354: MLOAD
00001355: SWAP1
00001356: PUSH0
00001357: MSTORE
00001358: SSTORE
00001359: PUSH0
0000135a: DUP1
0000135b: RETURN
0000135c: JUMPDEST
0000135d: CALLVALUE
0000135e: PUSH2 0x0309
00001361: JUMPI
00001362: PUSH0
00001363: CALLDATASIZE
00001364: PUSH1 0x03
00001366: NOT
00001367: ADD
00001368: SLT
00001369: PUSH2 0x0309
0000136c: JUMPI
0000136d: PUSH0
0000136e: MLOAD
0000136f: PUSH1 0x20
00001371: PUSH2 0x2ddf
00001374: PUSH0
00001375: CODECOPY
00001376: PUSH0
00001377: MLOAD
00001378: SWAP1
00001379: PUSH0
0000137a: MSTORE
0000137b: PUSH1 0x20
0000137d: SWAP1
0000137e: DUP2
0000137f: MSTORE
00001380: PUSH1 0x40
00001382: MLOAD
00001383: PUSH32 0xcce5cadda4dca873250efd56882ba972f6be8519e5afa32ce3bf6829be0c7450
000013a4: DUP1
000013a5: SLOAD
000013a6: DUP1
000013a7: DUP4
000013a8: MSTORE
000013a9: PUSH0
000013aa: SWAP2
000013ab: DUP3
000013ac: MSTORE
000013ad: SWAP2
000013ae: SWAP3
000013af: DUP4
000013b0: ADD
000013b1: SWAP2
000013b2: PUSH32 0x6235272e13bbfead3f9c15da48c9b51dac727bff8adcf3c32351386f89222b06
000013d3: SWAP2
000013d4: JUMPDEST
000013d5: DUP2
000013d6: DUP2
000013d7: LT
000013d8: PUSH2 0x13eb
000013db: JUMPI
000013dc: PUSH2 0x0866
000013df: DUP6
000013e0: PUSH2 0x085a
000013e3: DUP2
000013e4: DUP8
000013e5: SUB
000013e6: DUP3
000013e7: PUSH2 0x0894
000013ea: JUMP
000013eb: JUMPDEST
000013ec: DUP3
000013ed: SLOAD
000013ee: DUP5
000013ef: MSTORE
000013f0: PUSH1 0x20
000013f2: SWAP1
000013f3: SWAP4
000013f4: ADD
000013f5: SWAP3
000013f6: PUSH1 0x01
000013f8: SWAP3
000013f9: DUP4
000013fa: ADD
000013fb: SWAP3
000013fc: ADD
000013fd: PUSH2 0x13d4
00001400: JUMP
00001401: JUMPDEST
00001402: CALLVALUE
00001403: PUSH2 0x0309
00001406: JUMPI
00001407: PUSH1 0x20
00001409: CALLDATASIZE
0000140a: PUSH1 0x03
0000140c: NOT
0000140d: ADD
0000140e: SLT
0000140f: PUSH2 0x0309
00001412: JUMPI
00001413: PUSH1 0x04
00001415: CALLDATALOAD
00001416: PUSH0
00001417: MSTORE
00001418: PUSH0
00001419: MLOAD
0000141a: PUSH1 0x20
0000141c: PUSH2 0x2ddf
0000141f: PUSH0
00001420: CODECOPY
00001421: PUSH0
00001422: MLOAD
00001423: SWAP1
00001424: PUSH0
00001425: MSTORE
00001426: PUSH1 0x20
00001428: MSTORE
00001429: PUSH1 0x20
0000142b: PUSH1 0x40
0000142d: PUSH0
0000142e: KECCAK256
0000142f: SLOAD
00001430: PUSH1 0x40
00001432: MLOAD
00001433: SWAP1
00001434: DUP2
00001435: MSTORE
00001436: RETURN
00001437: JUMPDEST
00001438: CALLVALUE
00001439: PUSH2 0x0309
0000143c: JUMPI
0000143d: PUSH0
0000143e: CALLDATASIZE
0000143f: PUSH1 0x03
00001441: NOT
00001442: ADD
00001443: SLT
00001444: PUSH2 0x0309
00001447: JUMPI
00001448: PUSH1 0x20
0000144a: PUSH1 0x40
0000144c: MLOAD
0000144d: PUSH0
0000144e: MLOAD
0000144f: PUSH1 0x20
00001451: PUSH2 0x2e7f
00001454: PUSH0
00001455: CODECOPY
00001456: PUSH0
00001457: MLOAD
00001458: SWAP1
00001459: PUSH0
0000145a: MSTORE
0000145b: DUP2
0000145c: MSTORE
0000145d: RETURN
0000145e: JUMPDEST
0000145f: CALLVALUE
00001460: PUSH2 0x0309
00001463: JUMPI
00001464: PUSH1 0x40
00001466: CALLDATASIZE
00001467: PUSH1 0x03
00001469: NOT
0000146a: ADD
0000146b: SLT
0000146c: PUSH2 0x0309
0000146f: JUMPI
00001470: PUSH1 0x04
00001472: CALLDATALOAD
00001473: PUSH2 0x147a
00001476: PUSH2 0x0323
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH2 0x1482
0000147e: PUSH2 0x19ad
00001481: JUMP
00001482: JUMPDEST
00001483: DUP2
00001484: ISZERO
00001485: PUSH2 0x0507
00001488: JUMPI
00001489: PUSH2 0x0018
0000148c: SWAP2
0000148d: PUSH2 0x2056
00001490: JUMP
00001491: JUMPDEST
00001492: CALLVALUE
00001493: PUSH2 0x0309
00001496: JUMPI
00001497: PUSH0
00001498: CALLDATASIZE
00001499: PUSH1 0x03
0000149b: NOT
0000149c: ADD
0000149d: SLT
0000149e: PUSH2 0x0309
000014a1: JUMPI
000014a2: PUSH1 0x20
000014a4: PUSH1 0x40
000014a6: MLOAD
000014a7: PUSH32 0x39ba2c7e84b6d94350b0167bb3d872a8c3c981ee0b9746fbaa23ef1d87c8e2fc
000014c8: DUP2
000014c9: MSTORE
000014ca: RETURN
000014cb: JUMPDEST
000014cc: CALLVALUE
000014cd: PUSH2 0x0309
000014d0: JUMPI
000014d1: PUSH0
000014d2: CALLDATASIZE
000014d3: PUSH1 0x03
000014d5: NOT
000014d6: ADD
000014d7: SLT
000014d8: PUSH2 0x0309
000014db: JUMPI
000014dc: PUSH0
000014dd: MLOAD
000014de: PUSH1 0x20
000014e0: PUSH2 0x2ddf
000014e3: PUSH0
000014e4: CODECOPY
000014e5: PUSH0
000014e6: MLOAD
000014e7: SWAP1
000014e8: PUSH0
000014e9: MSTORE
000014ea: PUSH1 0x20
000014ec: SWAP1
000014ed: DUP2
000014ee: MSTORE
000014ef: PUSH1 0x40
000014f1: MLOAD
000014f2: PUSH32 0x019d3d0c2386ec3a05bb7001d2bbf079e6fe7bfbe6e95c923cb544f16e2385d9
00001513: DUP1
00001514: SLOAD
00001515: DUP1
00001516: DUP4
00001517: MSTORE
00001518: PUSH0
00001519: SWAP2
0000151a: DUP3
0000151b: MSTORE
0000151c: SWAP2
0000151d: SWAP3
0000151e: DUP4
0000151f: ADD
00001520: SWAP2
00001521: PUSH32 0x4d49d3f1622cef4a4245a42dc22c778f6b2708ebc8f710caa71f99728be94f24
00001542: SWAP2
00001543: JUMPDEST
00001544: DUP2
00001545: DUP2
00001546: LT
00001547: PUSH2 0x155a
0000154a: JUMPI
0000154b: PUSH2 0x0866
0000154e: DUP6
0000154f: PUSH2 0x085a
00001552: DUP2
00001553: DUP8
00001554: SUB
00001555: DUP3
00001556: PUSH2 0x0894
00001559: JUMP
0000155a: JUMPDEST
0000155b: DUP3
0000155c: SLOAD
0000155d: DUP5
0000155e: MSTORE
0000155f: PUSH1 0x20
00001561: SWAP1
00001562: SWAP4
00001563: ADD
00001564: SWAP3
00001565: PUSH1 0x01
00001567: SWAP3
00001568: DUP4
00001569: ADD
0000156a: SWAP3
0000156b: ADD
0000156c: PUSH2 0x1543
0000156f: JUMP
00001570: JUMPDEST
00001571: CALLVALUE
00001572: PUSH2 0x0309
00001575: JUMPI
00001576: PUSH1 0x20
00001578: CALLDATASIZE
00001579: PUSH1 0x03
0000157b: NOT
0000157c: ADD
0000157d: SLT
0000157e: PUSH2 0x0309
00001581: JUMPI
00001582: PUSH2 0x1589
00001585: PUSH2 0x030d
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH2 0x1591
0000158d: PUSH2 0x1a78
00001590: JUMP
00001591: JUMPDEST
00001592: PUSH1 0x01
00001594: PUSH1 0x01
00001596: PUSH1 0xa0
00001598: SHL
00001599: SUB
0000159a: DUP2
0000159b: AND
0000159c: DUP1
0000159d: ISZERO
0000159e: PUSH2 0x03f9
000015a1: JUMPI
000015a2: CALLER
000015a3: EQ
000015a4: PUSH2 0x15ba
000015a7: JUMPI
000015a8: PUSH2 0x15b0
000015ab: SWAP1
000015ac: PUSH2 0x1e4a
000015af: JUMP
000015b0: JUMPDEST
000015b1: POP
000015b2: PUSH2 0x0018
000015b5: CALLER
000015b6: PUSH2 0x1ffb
000015b9: JUMP
000015ba: JUMPDEST
000015bb: PUSH4 0x0f978795
000015c0: PUSH1 0xe1
000015c2: SHL
000015c3: PUSH0
000015c4: MSTORE
000015c5: PUSH1 0x04
000015c7: PUSH0
000015c8: REVERT
000015c9: JUMPDEST
000015ca: CALLVALUE
000015cb: PUSH2 0x0309
000015ce: JUMPI
000015cf: PUSH0
000015d0: CALLDATASIZE
000015d1: PUSH1 0x03
000015d3: NOT
000015d4: ADD
000015d5: SLT
000015d6: PUSH2 0x0309
000015d9: JUMPI
000015da: PUSH1 0x20
000015dc: PUSH1 0x40
000015de: MLOAD
000015df: PUSH1 0x01
000015e1: DUP2
000015e2: MSTORE
000015e3: RETURN
000015e4: JUMPDEST
000015e5: PUSH1 0x01
000015e7: PUSH1 0x01
000015e9: PUSH1 0xa0
000015eb: SHL
000015ec: SUB
000015ed: AND
000015ee: PUSH0
000015ef: SWAP1
000015f0: DUP2
000015f1: MSTORE
000015f2: PUSH32 0x2c355a1029f7297de90b706beea350b0073a5f8d06c07726a159113e4caa7d6c
00001613: PUSH1 0x20
00001615: MSTORE
00001616: PUSH1 0x40
00001618: SWAP1
00001619: KECCAK256
0000161a: SWAP1
0000161b: JUMP
0000161c: JUMPDEST
0000161d: SWAP2
0000161e: PUSH2 0x1635
00001621: SWAP2
00001622: DUP4
00001623: SLOAD
00001624: SWAP1
00001625: PUSH1 0x03
00001627: SHL
00001628: SWAP2
00001629: DUP3
0000162a: SHL
0000162b: SWAP2
0000162c: PUSH0
0000162d: NOT
0000162e: SWAP1
0000162f: SHL
00001630: NOT
00001631: AND
00001632: OR
00001633: SWAP1
00001634: JUMP
00001635: JUMPDEST
00001636: SWAP1
00001637: SSTORE
00001638: JUMP
00001639: JUMPDEST
0000163a: SWAP11
0000163b: SWAP10
0000163c: PUSH2 0x16dc
0000163f: PUSH2 0x16e2
00001642: SWAP3
00001643: SWAP4
00001644: SWAP5
00001645: SWAP6
00001646: SWAP7
00001647: SWAP8
00001648: SWAP9
00001649: SWAP10
0000164a: SWAP11
0000164b: PUSH2 0x16d4
0000164e: DUP15
0000164f: PUSH1 0x40
00001651: MLOAD
00001652: PUSH1 0x20
00001654: DUP2
00001655: ADD
00001656: SWAP2
00001657: PUSH32 0x487cccbedc87cd4c0fbc6ca4bf9c4af0664cdf39d7b533feca20689333eded7e
00001678: DUP4
00001679: MSTORE
0000167a: PUSH1 0x40
0000167c: DUP3
0000167d: ADD
0000167e: MSTORE
0000167f: PUSH1 0x01
00001681: DUP1
00001682: PUSH1 0xa0
00001684: SHL
00001685: SUB
00001686: DUP9
00001687: AND
00001688: PUSH1 0x60
0000168a: DUP3
0000168b: ADD
0000168c: MSTORE
0000168d: DUP9
0000168e: PUSH1 0x80
00001690: DUP3
00001691: ADD
00001692: MSTORE
00001693: PUSH1 0x01
00001695: DUP1
00001696: PUSH1 0xa0
00001698: SHL
00001699: SUB
0000169a: DUP11
0000169b: AND
0000169c: PUSH1 0xa0
0000169e: DUP3
0000169f: ADD
000016a0: MSTORE
000016a1: DUP11
000016a2: PUSH1 0xc0
000016a4: DUP3
000016a5: ADD
000016a6: MSTORE
000016a7: PUSH1 0x01
000016a9: DUP1
000016aa: PUSH1 0xa0
000016ac: SHL
000016ad: SUB
000016ae: DUP13
000016af: AND
000016b0: PUSH1 0xe0
000016b2: DUP3
000016b3: ADD
000016b4: MSTORE
000016b5: DUP13
000016b6: PUSH2 0x0100
000016b9: DUP3
000016ba: ADD
000016bb: MSTORE
000016bc: PUSH2 0x0100
000016bf: DUP2
000016c0: MSTORE
000016c1: PUSH2 0x16cc
000016c4: PUSH2 0x0120
000016c7: DUP3
000016c8: PUSH2 0x0894
000016cb: JUMP
000016cc: JUMPDEST
000016cd: MLOAD
000016ce: SWAP1
000016cf: KECCAK256
000016d0: PUSH2 0x1f60
000016d3: JUMP
000016d4: JUMPDEST
000016d5: SWAP3
000016d6: CALLDATASIZE
000016d7: SWAP2
000016d8: PUSH2 0x08e8
000016db: JUMP
000016dc: JUMPDEST
000016dd: SWAP1
000016de: PUSH2 0x1fe2
000016e1: JUMP
000016e2: JUMPDEST
000016e3: PUSH1 0x01
000016e5: PUSH1 0x01
000016e7: PUSH1 0xa0
000016e9: SHL
000016ea: SUB
000016eb: DUP2
000016ec: AND
000016ed: PUSH0
000016ee: SWAP1
000016ef: DUP2
000016f0: MSTORE
000016f1: PUSH32 0xbc6704768de17ac743a4c41122099f7a3464fc20363467b8527e22c7572f5d3a
00001712: PUSH1 0x20
00001714: MSTORE
00001715: PUSH1 0x40
00001717: SWAP1
00001718: KECCAK256
00001719: SLOAD
0000171a: SWAP1
0000171b: SWAP11
0000171c: SWAP1
0000171d: PUSH1 0xff
0000171f: AND
00001720: ISZERO
00001721: PUSH2 0x172f
00001724: JUMPI
00001725: PUSH2 0x08ca
00001728: SWAP10
00001729: SWAP11
0000172a: POP
0000172b: PUSH2 0x1b36
0000172e: JUMP
0000172f: JUMPDEST
00001730: PUSH4 0x3615713d
00001735: PUSH1 0xe2
00001737: SHL
00001738: PUSH0
00001739: MSTORE
0000173a: PUSH1 0x01
0000173c: PUSH1 0x01
0000173e: PUSH1 0xa0
00001740: SHL
00001741: SUB
00001742: DUP12
00001743: AND
00001744: PUSH1 0x04
00001746: MSTORE
00001747: PUSH1 0x24
00001749: PUSH0
0000174a: REVERT
0000174b: JUMPDEST
0000174c: PUSH2 0x1753
0000174f: PUSH2 0x2854
00001752: JUMP
00001753: JUMPDEST
00001754: PUSH2 0x175b
00001757: PUSH2 0x2854
0000175a: JUMP
0000175b: JUMPDEST
0000175c: PUSH2 0x1763
0000175f: PUSH2 0x2854
00001762: JUMP
00001763: JUMPDEST
00001764: PUSH2 0x176b
00001767: PUSH2 0x2854
0000176a: JUMP
0000176b: JUMPDEST
0000176c: PUSH1 0xff
0000176e: NOT
0000176f: PUSH0
00001770: MLOAD
00001771: PUSH1 0x20
00001773: PUSH2 0x2ebf
00001776: PUSH0
00001777: CODECOPY
00001778: PUSH0
00001779: MLOAD
0000177a: SWAP1
0000177b: PUSH0
0000177c: MSTORE
0000177d: SLOAD
0000177e: AND
0000177f: PUSH0
00001780: MLOAD
00001781: PUSH1 0x20
00001783: PUSH2 0x2ebf
00001786: PUSH0
00001787: CODECOPY
00001788: PUSH0
00001789: MLOAD
0000178a: SWAP1
0000178b: PUSH0
0000178c: MSTORE
0000178d: SSTORE
0000178e: PUSH2 0x1795
00001791: PUSH2 0x2854
00001794: JUMP
00001795: JUMPDEST
00001796: PUSH2 0x179d
00001799: PUSH2 0x2854
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH1 0x01
000017a0: PUSH0
000017a1: MLOAD
000017a2: PUSH1 0x20
000017a4: PUSH2 0x2edf
000017a7: PUSH0
000017a8: CODECOPY
000017a9: PUSH0
000017aa: MLOAD
000017ab: SWAP1
000017ac: PUSH0
000017ad: MSTORE
000017ae: SSTORE
000017af: PUSH1 0x40
000017b1: DUP1
000017b2: MLOAD
000017b3: PUSH2 0x17bc
000017b6: DUP3
000017b7: DUP3
000017b8: PUSH2 0x0894
000017bb: JUMP
000017bc: JUMPDEST
000017bd: PUSH1 0x11
000017bf: DUP2
000017c0: MSTORE
000017c1: PUSH17 0x189a5b985b98d9481dccddc81d985d5b1d
000017d3: PUSH1 0x7a
000017d5: SHL
000017d6: PUSH1 0x20
000017d8: DUP3
000017d9: ADD
000017da: MSTORE
000017db: PUSH2 0x17e6
000017de: DUP3
000017df: MLOAD
000017e0: SWAP3
000017e1: DUP4
000017e2: PUSH2 0x0894
000017e5: JUMP
000017e6: JUMPDEST
000017e7: PUSH1 0x05
000017e9: DUP3
000017ea: MSTORE
000017eb: PUSH5 0x0302e312e3
000017f1: PUSH1 0xdc
000017f3: SHL
000017f4: PUSH1 0x20
000017f6: DUP4
000017f7: ADD
000017f8: MSTORE
000017f9: PUSH2 0x1800
000017fc: PUSH2 0x2854
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH2 0x1808
00001804: PUSH2 0x2854
00001807: JUMP
00001808: JUMPDEST
00001809: DUP1
0000180a: MLOAD
0000180b: SWAP1
0000180c: PUSH8 0xffffffffffffffff
00001815: DUP3
00001816: GT
00001817: PUSH2 0x08b6
0000181a: JUMPI
0000181b: PUSH2 0x183a
0000181e: DUP3
0000181f: PUSH2 0x1835
00001822: PUSH0
00001823: MLOAD
00001824: PUSH1 0x20
00001826: PUSH2 0x2dff
00001829: PUSH0
0000182a: CODECOPY
0000182b: PUSH0
0000182c: MLOAD
0000182d: SWAP1
0000182e: PUSH0
0000182f: MSTORE
00001830: SLOAD
00001831: PUSH2 0x2256
00001834: JUMP
00001835: JUMPDEST
00001836: PUSH2 0x287f
00001839: JUMP
0000183a: JUMPDEST
0000183b: PUSH1 0x20
0000183d: SWAP1
0000183e: PUSH1 0x1f
00001840: DUP4
00001841: GT
00001842: PUSH1 0x01
00001844: EQ
00001845: PUSH2 0x18f3
00001848: JUMPI
00001849: SWAP2
0000184a: DUP1
0000184b: PUSH2 0x186e
0000184e: SWAP3
0000184f: PUSH2 0x1882
00001852: SWAP6
00001853: SWAP5
00001854: PUSH0
00001855: SWAP3
00001856: PUSH2 0x18e8
00001859: JUMPI
0000185a: JUMPDEST
0000185b: POP
0000185c: POP
0000185d: DUP2
0000185e: PUSH1 0x01
00001860: SHL
00001861: SWAP2
00001862: PUSH0
00001863: NOT
00001864: SWAP1
00001865: PUSH1 0x03
00001867: SHL
00001868: SHR
00001869: NOT
0000186a: AND
0000186b: OR
0000186c: SWAP1
0000186d: JUMP
0000186e: JUMPDEST
0000186f: PUSH0
00001870: MLOAD
00001871: PUSH1 0x20
00001873: PUSH2 0x2dff
00001876: PUSH0
00001877: CODECOPY
00001878: PUSH0
00001879: MLOAD
0000187a: SWAP1
0000187b: PUSH0
0000187c: MSTORE
0000187d: SSTORE
0000187e: PUSH2 0x292a
00001881: JUMP
00001882: JUMPDEST
00001883: PUSH2 0x18aa
00001886: PUSH0
00001887: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
000018a8: SSTORE
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH2 0x18d2
000018ae: PUSH0
000018af: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d101
000018d0: SSTORE
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH2 0x18db
000018d6: CALLER
000018d7: PUSH2 0x1e4a
000018da: JUMP
000018db: JUMPDEST
000018dc: POP
000018dd: PUSH2 0x18e5
000018e0: CALLER
000018e1: PUSH2 0x1ea9
000018e4: JUMP
000018e5: JUMPDEST
000018e6: POP
000018e7: JUMP
000018e8: JUMPDEST
000018e9: ADD
000018ea: MLOAD
000018eb: SWAP1
000018ec: POP
000018ed: PUSH0
000018ee: DUP1
000018ef: PUSH2 0x185a
000018f2: JUMP
000018f3: JUMPDEST
000018f4: PUSH0
000018f5: MLOAD
000018f6: PUSH1 0x20
000018f8: PUSH2 0x2dff
000018fb: PUSH0
000018fc: CODECOPY
000018fd: PUSH0
000018fe: MLOAD
000018ff: SWAP1
00001900: PUSH0
00001901: MSTORE
00001902: PUSH0
00001903: MSTORE
00001904: PUSH1 0x1f
00001906: NOT
00001907: DUP4
00001908: AND
00001909: SWAP2
0000190a: SWAP1
0000190b: PUSH32 0x42ad5d3e1f2e6e70edcf6d991b8a3023d3fca8047a131592f9edb9fd9b89d57d
0000192c: SWAP3
0000192d: PUSH0
0000192e: JUMPDEST
0000192f: DUP2
00001930: DUP2
00001931: LT
00001932: PUSH2 0x197a
00001935: JUMPI
00001936: POP
00001937: SWAP2
00001938: PUSH1 0x01
0000193a: SWAP4
0000193b: SWAP2
0000193c: DUP6
0000193d: PUSH2 0x1882
00001940: SWAP8
00001941: SWAP7
00001942: SWAP5
00001943: LT
00001944: PUSH2 0x1962
00001947: JUMPI
00001948: JUMPDEST
00001949: POP
0000194a: POP
0000194b: POP
0000194c: DUP2
0000194d: SHL
0000194e: ADD
0000194f: PUSH0
00001950: MLOAD
00001951: PUSH1 0x20
00001953: PUSH2 0x2dff
00001956: PUSH0
00001957: CODECOPY
00001958: PUSH0
00001959: MLOAD
0000195a: SWAP1
0000195b: PUSH0
0000195c: MSTORE
0000195d: SSTORE
0000195e: PUSH2 0x292a
00001961: JUMP
00001962: JUMPDEST
00001963: ADD
00001964: MLOAD
00001965: PUSH0
00001966: NOT
00001967: PUSH1 0xf8
00001969: DUP5
0000196a: PUSH1 0x03
0000196c: SHL
0000196d: AND
0000196e: SHR
0000196f: NOT
00001970: AND
00001971: SWAP1
00001972: SSTORE
00001973: PUSH0
00001974: DUP1
00001975: DUP1
00001976: PUSH2 0x1948
00001979: JUMP
0000197a: JUMPDEST
0000197b: SWAP3
0000197c: SWAP4
0000197d: PUSH1 0x20
0000197f: PUSH1 0x01
00001981: DUP2
00001982: SWAP3
00001983: DUP8
00001984: DUP7
00001985: ADD
00001986: MLOAD
00001987: DUP2
00001988: SSTORE
00001989: ADD
0000198a: SWAP6
0000198b: ADD
0000198c: SWAP4
0000198d: ADD
0000198e: PUSH2 0x192e
00001991: JUMP
00001992: JUMPDEST
00001993: PUSH1 0x40
00001995: MLOAD
00001996: SWAP1
00001997: PUSH2 0x19a1
0000199a: PUSH1 0x20
0000199c: DUP4
0000199d: PUSH2 0x0894
000019a0: JUMP
000019a1: JUMPDEST
000019a2: PUSH0
000019a3: DUP1
000019a4: DUP4
000019a5: MSTORE
000019a6: CALLDATASIZE
000019a7: PUSH1 0x20
000019a9: DUP5
000019aa: ADD
000019ab: CALLDATACOPY
000019ac: JUMP
000019ad: JUMPDEST
000019ae: CALLER
000019af: PUSH0
000019b0: SWAP1
000019b1: DUP2
000019b2: MSTORE
000019b3: PUSH32 0x78e571b7bf30584d955e1c6444a2b5147087edf9f00485d94993a04d370525ea
000019d4: PUSH1 0x20
000019d6: MSTORE
000019d7: PUSH1 0x40
000019d9: SWAP1
000019da: KECCAK256
000019db: SLOAD
000019dc: PUSH1 0xff
000019de: AND
000019df: ISZERO
000019e0: PUSH2 0x19e5
000019e3: JUMPI
000019e4: JUMP
000019e5: JUMPDEST
000019e6: PUSH4 0xe2517d3f
000019eb: PUSH1 0xe0
000019ed: SHL
000019ee: PUSH0
000019ef: MSTORE
000019f0: CALLER
000019f1: PUSH1 0x04
000019f3: MSTORE
000019f4: PUSH0
000019f5: MLOAD
000019f6: PUSH1 0x20
000019f8: PUSH2 0x2e7f
000019fb: PUSH0
000019fc: CODECOPY
000019fd: PUSH0
000019fe: MLOAD
000019ff: SWAP1
00001a00: PUSH0
00001a01: MSTORE
00001a02: PUSH1 0x24
00001a04: MSTORE
00001a05: PUSH1 0x44
00001a07: PUSH0
00001a08: REVERT
00001a09: JUMPDEST
00001a0a: CALLER
00001a0b: PUSH0
00001a0c: SWAP1
00001a0d: DUP2
00001a0e: MSTORE
00001a0f: PUSH32 0x5dfc6369ede8c1331430c00b581919993675ec010140508e8a499d5c8bfbd937
00001a30: PUSH1 0x20
00001a32: MSTORE
00001a33: PUSH1 0x40
00001a35: SWAP1
00001a36: KECCAK256
00001a37: SLOAD
00001a38: PUSH1 0xff
00001a3a: AND
00001a3b: ISZERO
00001a3c: PUSH2 0x1a41
00001a3f: JUMPI
00001a40: JUMP
00001a41: JUMPDEST
00001a42: PUSH4 0xe2517d3f
00001a47: PUSH1 0xe0
00001a49: SHL
00001a4a: PUSH0
00001a4b: MSTORE
00001a4c: CALLER
00001a4d: PUSH1 0x04
00001a4f: MSTORE
00001a50: PUSH32 0x523a704056dcd17bcf83bed8b68c59416dac1119be77755efe3bde0a64e46e0c
00001a71: PUSH1 0x24
00001a73: MSTORE
00001a74: PUSH1 0x44
00001a76: PUSH0
00001a77: REVERT
00001a78: JUMPDEST
00001a79: CALLER
00001a7a: PUSH0
00001a7b: SWAP1
00001a7c: DUP2
00001a7d: MSTORE
00001a7e: PUSH32 0xb7db2dd08fcb62d0c9e08c51941cae53c267786a0b75803fb7960902fc8ef97d
00001a9f: PUSH1 0x20
00001aa1: MSTORE
00001aa2: PUSH1 0x40
00001aa4: SWAP1
00001aa5: KECCAK256
00001aa6: SLOAD
00001aa7: PUSH1 0xff
00001aa9: AND
00001aaa: ISZERO
00001aab: PUSH2 0x1ab0
00001aae: JUMPI
00001aaf: JUMP
00001ab0: JUMPDEST
00001ab1: PUSH4 0xe2517d3f
00001ab6: PUSH1 0xe0
00001ab8: SHL
00001ab9: PUSH0
00001aba: MSTORE
00001abb: CALLER
00001abc: PUSH1 0x04
00001abe: MSTORE
00001abf: PUSH0
00001ac0: PUSH1 0x24
00001ac2: MSTORE
00001ac3: PUSH1 0x44
00001ac5: PUSH0
00001ac6: REVERT
00001ac7: JUMPDEST
00001ac8: CALLER
00001ac9: PUSH0
00001aca: SWAP1
00001acb: DUP2
00001acc: MSTORE
00001acd: PUSH32 0x5ec2739e5d83ac0ee57f9f9a8bc0de261073ceffe84d59692a58d0a7bbee3e32
00001aee: PUSH1 0x20
00001af0: MSTORE
00001af1: PUSH1 0x40
00001af3: SWAP1
00001af4: KECCAK256
00001af5: SLOAD
00001af6: PUSH1 0xff
00001af8: AND
00001af9: ISZERO
00001afa: PUSH2 0x1aff
00001afd: JUMPI
00001afe: JUMP
00001aff: JUMPDEST
00001b00: PUSH4 0xe2517d3f
00001b05: PUSH1 0xe0
00001b07: SHL
00001b08: PUSH0
00001b09: MSTORE
00001b0a: CALLER
00001b0b: PUSH1 0x04
00001b0d: MSTORE
00001b0e: PUSH32 0x39ba2c7e84b6d94350b0167bb3d872a8c3c981ee0b9746fbaa23ef1d87c8e2fc
00001b2f: PUSH1 0x24
00001b31: MSTORE
00001b32: PUSH1 0x44
00001b34: PUSH0
00001b35: REVERT
00001b36: JUMPDEST
00001b37: SWAP7
00001b38: SWAP2
00001b39: SWAP6
00001b3a: SWAP9
00001b3b: SWAP8
00001b3c: SWAP1
00001b3d: SWAP5
00001b3e: SWAP4
00001b3f: SWAP9
00001b40: PUSH2 0x1b47
00001b43: PUSH2 0x1ac7
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x02
00001b4a: PUSH0
00001b4b: MLOAD
00001b4c: PUSH1 0x20
00001b4e: PUSH2 0x2edf
00001b51: PUSH0
00001b52: CODECOPY
00001b53: PUSH0
00001b54: MLOAD
00001b55: SWAP1
00001b56: PUSH0
00001b57: MSTORE
00001b58: SLOAD
00001b59: EQ
00001b5a: PUSH2 0x1e0c
00001b5d: JUMPI
00001b5e: PUSH1 0x02
00001b60: PUSH0
00001b61: MLOAD
00001b62: PUSH1 0x20
00001b64: PUSH2 0x2edf
00001b67: PUSH0
00001b68: CODECOPY
00001b69: PUSH0
00001b6a: MLOAD
00001b6b: SWAP1
00001b6c: PUSH0
00001b6d: MSTORE
00001b6e: SSTORE
00001b6f: PUSH2 0x1b76
00001b72: PUSH2 0x2408
00001b75: JUMP
00001b76: JUMPDEST
00001b77: TIMESTAMP
00001b78: DUP2
00001b79: GT
00001b7a: ISZERO
00001b7b: PUSH2 0x1df6
00001b7e: JUMPI
00001b7f: POP
00001b80: PUSH2 0x1b88
00001b83: DUP6
00001b84: PUSH2 0x15e4
00001b87: JUMP
00001b88: JUMPDEST
00001b89: DUP1
00001b8a: SLOAD
00001b8b: PUSH1 0xff
00001b8d: AND
00001b8e: ISZERO
00001b8f: PUSH2 0x1dda
00001b92: JUMPI
00001b93: PUSH1 0x01
00001b95: ADD
00001b96: SLOAD
00001b97: DUP1
00001b98: DUP8
00001b99: GT
00001b9a: PUSH2 0x1dc3
00001b9d: JUMPI
00001b9e: POP
00001b9f: PUSH2 0x1bde
00001ba2: DUP8
00001ba3: PUSH1 0xff
00001ba5: PUSH1 0x01
00001ba7: SWAP2
00001ba8: DUP1
00001ba9: PUSH1 0x08
00001bab: SHR
00001bac: PUSH0
00001bad: MSTORE
00001bae: PUSH32 0x2c355a1029f7297de90b706beea350b0073a5f8d06c07726a159113e4caa7d69
00001bcf: PUSH1 0x20
00001bd1: MSTORE
00001bd2: AND
00001bd3: SHL
00001bd4: PUSH1 0x40
00001bd6: PUSH0
00001bd7: KECCAK256
00001bd8: SLOAD
00001bd9: AND
00001bda: ISZERO
00001bdb: ISZERO
00001bdc: SWAP1
00001bdd: JUMP
00001bde: JUMPDEST
00001bdf: PUSH2 0x1daf
00001be2: JUMPI
00001be3: PUSH2 0x1c22
00001be6: DUP8
00001be7: DUP1
00001be8: PUSH1 0x08
00001bea: SHR
00001beb: PUSH0
00001bec: MSTORE
00001bed: PUSH32 0x2c355a1029f7297de90b706beea350b0073a5f8d06c07726a159113e4caa7d69
00001c0e: PUSH1 0x20
00001c10: MSTORE
00001c11: PUSH1 0x01
00001c13: PUSH1 0xff
00001c15: PUSH1 0x40
00001c17: PUSH0
00001c18: KECCAK256
00001c19: SWAP3
00001c1a: AND
00001c1b: SHL
00001c1c: DUP2
00001c1d: SLOAD
00001c1e: OR
00001c1f: SWAP1
00001c20: SSTORE
00001c21: JUMP
00001c22: JUMPDEST
00001c23: PUSH2 0x1c68
00001c26: PUSH2 0x1c2f
00001c29: ADDRESS
00001c2a: DUP8
00001c2b: PUSH2 0x21ee
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: SWAP2
00001c31: PUSH2 0x1c3a
00001c34: ADDRESS
00001c35: DUP7
00001c36: PUSH2 0x21ee
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: SWAP4
00001c3c: PUSH2 0x1c44
00001c3f: DUP9
00001c40: PUSH2 0x242f
00001c43: JUMP
00001c44: JUMPDEST
00001c45: ISZERO
00001c46: PUSH2 0x1d7b
00001c49: JUMPI
00001c4a: DUP9
00001c4b: JUMPDEST
00001c4c: PUSH0
00001c4d: MLOAD
00001c4e: PUSH1 0x20
00001c50: PUSH2 0x2dbf
00001c53: PUSH0
00001c54: CODECOPY
00001c55: PUSH0
00001c56: MLOAD
00001c57: SWAP1
00001c58: PUSH0
00001c59: MSTORE
00001c5a: SLOAD
00001c5b: PUSH1 0x01
00001c5d: PUSH1 0x01
00001c5f: PUSH1 0xa0
00001c61: SHL
00001c62: SUB
00001c63: AND
00001c64: PUSH2 0x252c
00001c67: JUMP
00001c68: JUMPDEST
00001c69: PUSH2 0x1c85
00001c6c: PUSH2 0x1c75
00001c6f: ADDRESS
00001c70: DUP8
00001c71: PUSH2 0x21ee
00001c74: JUMP
00001c75: JUMPDEST
00001c76: PUSH2 0x1c7f
00001c79: ADDRESS
00001c7a: DUP7
00001c7b: PUSH2 0x21ee
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: SWAP3
00001c81: PUSH2 0x1e3d
00001c84: JUMP
00001c85: JUMPDEST
00001c86: DUP7
00001c87: DUP2
00001c88: SUB
00001c89: PUSH2 0x1d64
00001c8c: JUMPI
00001c8d: POP
00001c8e: SWAP1
00001c8f: PUSH2 0x1c97
00001c92: SWAP2
00001c93: PUSH2 0x1e3d
00001c96: JUMP
00001c97: JUMPDEST
00001c98: DUP1
00001c99: ISZERO
00001c9a: PUSH2 0x1d55
00001c9d: JUMPI
00001c9e: PUSH2 0x1cc6
00001ca1: SWAP1
00001ca2: PUSH2 0x1cb6
00001ca5: DUP5
00001ca6: PUSH2 0x1caf
00001ca9: DUP2
00001caa: DUP7
00001cab: PUSH2 0x21ee
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: SWAP3
00001cb1: DUP6
00001cb2: PUSH2 0x20e1
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: POP
00001cb8: PUSH2 0x1cc1
00001cbb: DUP5
00001cbc: DUP5
00001cbd: PUSH2 0x21ee
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: PUSH2 0x1e3d
00001cc5: JUMP
00001cc6: JUMPDEST
00001cc7: SWAP7
00001cc8: DUP1
00001cc9: DUP9
00001cca: LT
00001ccb: PUSH2 0x1d3e
00001cce: JUMPI
00001ccf: POP
00001cd0: PUSH1 0x40
00001cd2: DUP1
00001cd3: MLOAD
00001cd4: PUSH1 0x01
00001cd6: PUSH1 0x01
00001cd8: PUSH1 0xa0
00001cda: SHL
00001cdb: SUB
00001cdc: SWAP5
00001cdd: DUP6
00001cde: AND
00001cdf: DUP2
00001ce0: MSTORE
00001ce1: PUSH1 0x20
00001ce3: DUP2
00001ce4: ADD
00001ce5: SWAP6
00001ce6: SWAP1
00001ce7: SWAP6
00001ce8: MSTORE
00001ce9: SWAP1
00001cea: DUP4
00001ceb: AND
00001cec: SWAP1
00001ced: DUP5
00001cee: ADD
00001cef: MSTORE
00001cf0: PUSH1 0x60
00001cf2: DUP4
00001cf3: ADD
00001cf4: SWAP6
00001cf5: SWAP1
00001cf6: SWAP6
00001cf7: MSTORE
00001cf8: SWAP4
00001cf9: SWAP1
00001cfa: SWAP4
00001cfb: AND
00001cfc: PUSH1 0x80
00001cfe: DUP5
00001cff: ADD
00001d00: MSTORE
00001d01: SWAP1
00001d02: SWAP2
00001d03: PUSH32 0x2952f5e0e1d25d547d0556be0fc7ce2a78eec88b21369ecb37e214e1d28a33e1
00001d24: SWAP1
00001d25: PUSH1 0xa0
00001d27: SWAP1
00001d28: LOG2
00001d29: PUSH2 0x08ca
00001d2c: PUSH1 0x01
00001d2e: PUSH0
00001d2f: MLOAD
00001d30: PUSH1 0x20
00001d32: PUSH2 0x2edf
00001d35: PUSH0
00001d36: CODECOPY
00001d37: PUSH0
00001d38: MLOAD
00001d39: SWAP1
00001d3a: PUSH0
00001d3b: MSTORE
00001d3c: SSTORE
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: PUSH4 0x2b90f889
00001d44: PUSH1 0xe0
00001d46: SHL
00001d47: PUSH0
00001d48: MSTORE
00001d49: PUSH1 0x04
00001d4b: DUP9
00001d4c: SWAP1
00001d4d: MSTORE
00001d4e: PUSH1 0x24
00001d50: MSTORE
00001d51: PUSH1 0x44
00001d53: PUSH0
00001d54: REVERT
00001d55: JUMPDEST
00001d56: PUSH4 0x861c9e85
00001d5b: PUSH1 0xe0
00001d5d: SHL
00001d5e: PUSH0
00001d5f: MSTORE
00001d60: PUSH1 0x04
00001d62: PUSH0
00001d63: REVERT
00001d64: JUMPDEST
00001d65: PUSH4 0x060a35db
00001d6a: PUSH1 0xe1
00001d6c: SHL
00001d6d: PUSH0
00001d6e: MSTORE
00001d6f: PUSH1 0x04
00001d71: DUP8
00001d72: SWAP1
00001d73: MSTORE
00001d74: PUSH1 0x24
00001d76: MSTORE
00001d77: PUSH1 0x44
00001d79: PUSH0
00001d7a: REVERT
00001d7b: JUMPDEST
00001d7c: PUSH0
00001d7d: MLOAD
00001d7e: PUSH1 0x20
00001d80: PUSH2 0x2dbf
00001d83: PUSH0
00001d84: CODECOPY
00001d85: PUSH0
00001d86: MLOAD
00001d87: SWAP1
00001d88: PUSH0
00001d89: MSTORE
00001d8a: SLOAD
00001d8b: PUSH0
00001d8c: SWAP1
00001d8d: PUSH2 0x1daa
00001d90: SWAP1
00001d91: DUP12
00001d92: SWAP1
00001d93: PUSH1 0x01
00001d95: PUSH1 0x01
00001d97: PUSH1 0xa0
00001d99: SHL
00001d9a: SUB
00001d9b: AND
00001d9c: PUSH1 0x01
00001d9e: PUSH1 0x01
00001da0: PUSH1 0xa0
00001da2: SHL
00001da3: SUB
00001da4: DUP13
00001da5: AND
00001da6: PUSH2 0x2457
00001da9: JUMP
00001daa: JUMPDEST
00001dab: PUSH2 0x1c4b
00001dae: JUMP
00001daf: JUMPDEST
00001db0: PUSH4 0x37106bcb
00001db5: PUSH1 0xe2
00001db7: SHL
00001db8: PUSH0
00001db9: MSTORE
00001dba: PUSH1 0x04
00001dbc: DUP8
00001dbd: SWAP1
00001dbe: MSTORE
00001dbf: PUSH1 0x24
00001dc1: PUSH0
00001dc2: REVERT
00001dc3: JUMPDEST
00001dc4: PUSH4 0xf76aa3d7
00001dc9: PUSH1 0xe0
00001dcb: SHL
00001dcc: PUSH0
00001dcd: MSTORE
00001dce: PUSH1 0x04
00001dd0: DUP8
00001dd1: SWAP1
00001dd2: MSTORE
00001dd3: PUSH1 0x24
00001dd5: MSTORE
00001dd6: PUSH1 0x44
00001dd8: PUSH0
00001dd9: REVERT
00001dda: JUMPDEST
00001ddb: PUSH4 0xd334e6bd
00001de0: PUSH1 0xe0
00001de2: SHL
00001de3: PUSH0
00001de4: MSTORE
00001de5: PUSH1 0x01
00001de7: PUSH1 0x01
00001de9: PUSH1 0xa0
00001deb: SHL
00001dec: SUB
00001ded: DUP7
00001dee: AND
00001def: PUSH1 0x04
00001df1: MSTORE
00001df2: PUSH1 0x24
00001df4: PUSH0
00001df5: REVERT
00001df6: JUMPDEST
00001df7: PUSH4 0x4b2d84db
00001dfc: PUSH1 0xe0
00001dfe: SHL
00001dff: PUSH0
00001e00: MSTORE
00001e01: TIMESTAMP
00001e02: PUSH1 0x04
00001e04: MSTORE
00001e05: PUSH1 0x24
00001e07: MSTORE
00001e08: PUSH1 0x44
00001e0a: PUSH0
00001e0b: REVERT
00001e0c: JUMPDEST
00001e0d: PUSH4 0x3ee5aeb5
00001e12: PUSH1 0xe0
00001e14: SHL
00001e15: PUSH0
00001e16: MSTORE
00001e17: PUSH1 0x04
00001e19: PUSH0
00001e1a: REVERT
00001e1b: JUMPDEST
00001e1c: PUSH0
00001e1d: NOT
00001e1e: DUP2
00001e1f: ADD
00001e20: SWAP2
00001e21: SWAP1
00001e22: DUP3
00001e23: GT
00001e24: PUSH2 0x1e29
00001e27: JUMPI
00001e28: JUMP
00001e29: JUMPDEST
00001e2a: PUSH4 0x4e487b71
00001e2f: PUSH1 0xe0
00001e31: SHL
00001e32: PUSH0
00001e33: MSTORE
00001e34: PUSH1 0x11
00001e36: PUSH1 0x04
00001e38: MSTORE
00001e39: PUSH1 0x24
00001e3b: PUSH0
00001e3c: REVERT
00001e3d: JUMPDEST
00001e3e: SWAP2
00001e3f: SWAP1
00001e40: DUP3
00001e41: SUB
00001e42: SWAP2
00001e43: DUP3
00001e44: GT
00001e45: PUSH2 0x1e29
00001e48: JUMPI
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: PUSH2 0x1e54
00001e4e: DUP2
00001e4f: PUSH0
00001e50: PUSH2 0x255d
00001e53: JUMP
00001e54: JUMPDEST
00001e55: SWAP1
00001e56: DUP2
00001e57: PUSH2 0x1e5e
00001e5a: JUMPI
00001e5b: POP
00001e5c: SWAP1
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: PUSH0
00001e60: DUP1
00001e61: MSTORE
00001e62: PUSH0
00001e63: MLOAD
00001e64: PUSH1 0x20
00001e66: PUSH2 0x2ddf
00001e69: PUSH0
00001e6a: CODECOPY
00001e6b: PUSH0
00001e6c: MLOAD
00001e6d: SWAP1
00001e6e: PUSH0
00001e6f: MSTORE
00001e70: PUSH1 0x20
00001e72: MSTORE
00001e73: PUSH2 0x1ea5
00001e76: SWAP1
00001e77: PUSH1 0x01
00001e79: PUSH1 0x01
00001e7b: PUSH1 0xa0
00001e7d: SHL
00001e7e: SUB
00001e7f: AND
00001e80: PUSH32 0x615f0f9e84155bea8cc509fe18befeb1baf65611e38a6ba60964480fb29dfd44
00001ea1: PUSH2 0x2abf
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: POP
00001ea7: SWAP1
00001ea8: JUMP
00001ea9: JUMPDEST
00001eaa: PUSH2 0x1ec0
00001ead: DUP2
00001eae: PUSH0
00001eaf: MLOAD
00001eb0: PUSH1 0x20
00001eb2: PUSH2 0x2e7f
00001eb5: PUSH0
00001eb6: CODECOPY
00001eb7: PUSH0
00001eb8: MLOAD
00001eb9: SWAP1
00001eba: PUSH0
00001ebb: MSTORE
00001ebc: PUSH2 0x255d
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: SWAP1
00001ec2: DUP2
00001ec3: PUSH2 0x1eca
00001ec6: JUMPI
00001ec7: POP
00001ec8: SWAP1
00001ec9: JUMP
00001eca: JUMPDEST
00001ecb: PUSH0
00001ecc: MLOAD
00001ecd: PUSH1 0x20
00001ecf: PUSH2 0x2e7f
00001ed2: PUSH0
00001ed3: CODECOPY
00001ed4: PUSH0
00001ed5: MLOAD
00001ed6: SWAP1
00001ed7: PUSH0
00001ed8: MSTORE
00001ed9: PUSH0
00001eda: MSTORE
00001edb: PUSH0
00001edc: MLOAD
00001edd: PUSH1 0x20
00001edf: PUSH2 0x2ddf
00001ee2: PUSH0
00001ee3: CODECOPY
00001ee4: PUSH0
00001ee5: MLOAD
00001ee6: SWAP1
00001ee7: PUSH0
00001ee8: MSTORE
00001ee9: PUSH1 0x20
00001eeb: MSTORE
00001eec: PUSH2 0x1ea5
00001eef: SWAP1
00001ef0: PUSH1 0x01
00001ef2: PUSH1 0x01
00001ef4: PUSH1 0xa0
00001ef6: SHL
00001ef7: SUB
00001ef8: AND
00001ef9: PUSH32 0x7373abf07576b601f64b36d74d862c7ba4181047674cccb39b488c1eee141e07
00001f1a: PUSH2 0x2abf
00001f1d: JUMP
00001f1e: JUMPDEST
00001f1f: PUSH2 0x1f28
00001f22: DUP3
00001f23: DUP3
00001f24: PUSH2 0x255d
00001f27: JUMP
00001f28: JUMPDEST
00001f29: SWAP2
00001f2a: DUP3
00001f2b: PUSH2 0x1f33
00001f2e: JUMPI
00001f2f: POP
00001f30: POP
00001f31: SWAP1
00001f32: JUMP
00001f33: JUMPDEST
00001f34: PUSH0
00001f35: SWAP2
00001f36: DUP3
00001f37: MSTORE
00001f38: PUSH0
00001f39: MLOAD
00001f3a: PUSH1 0x20
00001f3c: PUSH2 0x2ddf
00001f3f: PUSH0
00001f40: CODECOPY
00001f41: PUSH0
00001f42: MLOAD
00001f43: SWAP1
00001f44: PUSH0
00001f45: MSTORE
00001f46: PUSH1 0x20
00001f48: MSTORE
00001f49: PUSH1 0x40
00001f4b: SWAP1
00001f4c: SWAP2
00001f4d: KECCAK256
00001f4e: PUSH2 0x1ea5
00001f51: SWAP2
00001f52: PUSH1 0x01
00001f54: PUSH1 0x01
00001f56: PUSH1 0xa0
00001f58: SHL
00001f59: SUB
00001f5a: AND
00001f5b: SWAP1
00001f5c: PUSH2 0x2abf
00001f5f: JUMP
00001f60: JUMPDEST
00001f61: PUSH1 0x42
00001f63: SWAP1
00001f64: PUSH2 0x1f6b
00001f67: PUSH2 0x2cb1
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: PUSH2 0x1f73
00001f6f: PUSH2 0x2d1b
00001f72: JUMP
00001f73: JUMPDEST
00001f74: PUSH1 0x40
00001f76: MLOAD
00001f77: SWAP1
00001f78: PUSH1 0x20
00001f7a: DUP3
00001f7b: ADD
00001f7c: SWAP3
00001f7d: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00001f9e: DUP5
00001f9f: MSTORE
00001fa0: PUSH1 0x40
00001fa2: DUP4
00001fa3: ADD
00001fa4: MSTORE
00001fa5: PUSH1 0x60
00001fa7: DUP3
00001fa8: ADD
00001fa9: MSTORE
00001faa: CHAINID
00001fab: PUSH1 0x80
00001fad: DUP3
00001fae: ADD
00001faf: MSTORE
00001fb0: ADDRESS
00001fb1: PUSH1 0xa0
00001fb3: DUP3
00001fb4: ADD
00001fb5: MSTORE
00001fb6: PUSH1 0xa0
00001fb8: DUP2
00001fb9: MSTORE
00001fba: PUSH2 0x1fc4
00001fbd: PUSH1 0xc0
00001fbf: DUP3
00001fc0: PUSH2 0x0894
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: MLOAD
00001fc6: SWAP1
00001fc7: KECCAK256
00001fc8: SWAP1
00001fc9: PUSH1 0x40
00001fcb: MLOAD
00001fcc: SWAP2
00001fcd: PUSH2 0x1901
00001fd0: PUSH1 0xf0
00001fd2: SHL
00001fd3: DUP4
00001fd4: MSTORE
00001fd5: PUSH1 0x02
00001fd7: DUP4
00001fd8: ADD
00001fd9: MSTORE
00001fda: PUSH1 0x22
00001fdc: DUP3
00001fdd: ADD
00001fde: MSTORE
00001fdf: KECCAK256
00001fe0: SWAP1
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH2 0x1ff8
00001fe6: SWAP2
00001fe7: PUSH2 0x1fef
00001fea: SWAP2
00001feb: PUSH2 0x2605
00001fee: JUMP
00001fef: JUMPDEST
00001ff0: SWAP1
00001ff1: SWAP3
00001ff2: SWAP2
00001ff3: SWAP3
00001ff4: PUSH2 0x265d
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: SWAP1
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: PUSH2 0x2005
00001fff: DUP2
00002000: PUSH0
00002001: PUSH2 0x26d9
00002004: JUMP
00002005: JUMPDEST
00002006: SWAP1
00002007: DUP2
00002008: PUSH2 0x200f
0000200b: JUMPI
0000200c: POP
0000200d: SWAP1
0000200e: JUMP
0000200f: JUMPDEST
00002010: PUSH0
00002011: DUP1
00002012: MSTORE
00002013: PUSH0
00002014: MLOAD
00002015: PUSH1 0x20
00002017: PUSH2 0x2ddf
0000201a: PUSH0
0000201b: CODECOPY
0000201c: PUSH0
0000201d: MLOAD
0000201e: SWAP1
0000201f: PUSH0
00002020: MSTORE
00002021: PUSH1 0x20
00002023: MSTORE
00002024: PUSH2 0x1ea5
00002027: SWAP1
00002028: PUSH1 0x01
0000202a: PUSH1 0x01
0000202c: PUSH1 0xa0
0000202e: SHL
0000202f: SUB
00002030: AND
00002031: PUSH32 0x615f0f9e84155bea8cc509fe18befeb1baf65611e38a6ba60964480fb29dfd44
00002052: PUSH2 0x2be6
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH2 0x2060
0000205a: DUP3
0000205b: DUP3
0000205c: PUSH2 0x26d9
0000205f: JUMP
00002060: JUMPDEST
00002061: SWAP2
00002062: DUP3
00002063: PUSH2 0x206b
00002066: JUMPI
00002067: POP
00002068: POP
00002069: SWAP1
0000206a: JUMP
0000206b: JUMPDEST
0000206c: PUSH0
0000206d: SWAP2
0000206e: DUP3
0000206f: MSTORE
00002070: PUSH0
00002071: MLOAD
00002072: PUSH1 0x20
00002074: PUSH2 0x2ddf
00002077: PUSH0
00002078: CODECOPY
00002079: PUSH0
0000207a: MLOAD
0000207b: SWAP1
0000207c: PUSH0
0000207d: MSTORE
0000207e: PUSH1 0x20
00002080: MSTORE
00002081: PUSH1 0x40
00002083: SWAP1
00002084: SWAP2
00002085: KECCAK256
00002086: PUSH2 0x1ea5
00002089: SWAP2
0000208a: PUSH1 0x01
0000208c: PUSH1 0x01
0000208e: PUSH1 0xa0
00002090: SHL
00002091: SUB
00002092: AND
00002093: SWAP1
00002094: PUSH2 0x2be6
00002097: JUMP
00002098: JUMPDEST
00002099: SWAP1
0000209a: DUP2
0000209b: PUSH1 0x20
0000209d: SWAP2
0000209e: SUB
0000209f: SLT
000020a0: PUSH2 0x0309
000020a3: JUMPI
000020a4: MLOAD
000020a5: SWAP1
000020a6: JUMP
000020a7: JUMPDEST
000020a8: PUSH1 0x40
000020aa: MLOAD
000020ab: RETURNDATASIZE
000020ac: PUSH0
000020ad: DUP3
000020ae: RETURNDATACOPY
000020af: RETURNDATASIZE
000020b0: SWAP1
000020b1: REVERT
000020b2: JUMPDEST
000020b3: RETURNDATASIZE
000020b4: ISZERO
000020b5: PUSH2 0x20dc
000020b8: JUMPI
000020b9: RETURNDATASIZE
000020ba: SWAP1
000020bb: PUSH2 0x20c3
000020be: DUP3
000020bf: PUSH2 0x08cc
000020c2: JUMP
000020c3: JUMPDEST
000020c4: SWAP2
000020c5: PUSH2 0x20d1
000020c8: PUSH1 0x40
000020ca: MLOAD
000020cb: SWAP4
000020cc: DUP5
000020cd: PUSH2 0x0894
000020d0: JUMP
000020d1: JUMPDEST
000020d2: DUP3
000020d3: MSTORE
000020d4: RETURNDATASIZE
000020d5: PUSH0
000020d6: PUSH1 0x20
000020d8: DUP5
000020d9: ADD
000020da: RETURNDATACOPY
000020db: JUMP
000020dc: JUMPDEST
000020dd: PUSH1 0x60
000020df: SWAP1
000020e0: JUMP
000020e1: JUMPDEST
000020e2: SWAP2
000020e3: DUP2
000020e4: SWAP3
000020e5: PUSH2 0x20ed
000020e8: DUP2
000020e9: PUSH2 0x242f
000020ec: JUMP
000020ed: JUMPDEST
000020ee: ISZERO
000020ef: PUSH2 0x2126
000020f2: JUMPI
000020f3: POP
000020f4: PUSH0
000020f5: SWAP2
000020f6: DUP3
000020f7: SWAP2
000020f8: DUP3
000020f9: SWAP2
000020fa: DUP3
000020fb: SWAP2
000020fc: PUSH1 0x01
000020fe: PUSH1 0x01
00002100: PUSH1 0xa0
00002102: SHL
00002103: SUB
00002104: AND
00002105: GAS
00002106: CALL
00002107: PUSH2 0x210e
0000210a: PUSH2 0x20b2
0000210d: JUMP
0000210e: JUMPDEST
0000210f: POP
00002110: ISZERO
00002111: PUSH2 0x2117
00002114: JUMPI
00002115: SWAP1
00002116: JUMP
00002117: JUMPDEST
00002118: PUSH4 0x0c08bcb9
0000211d: PUSH1 0xe2
0000211f: SHL
00002120: PUSH0
00002121: MSTORE
00002122: PUSH1 0x04
00002124: PUSH0
00002125: REVERT
00002126: JUMPDEST
00002127: PUSH1 0x40
00002129: MLOAD
0000212a: PUSH4 0x70a08231
0000212f: PUSH1 0xe0
00002131: SHL
00002132: DUP2
00002133: MSTORE
00002134: ADDRESS
00002135: PUSH1 0x04
00002137: DUP3
00002138: ADD
00002139: MSTORE
0000213a: PUSH1 0x01
0000213c: PUSH1 0x01
0000213e: PUSH1 0xa0
00002140: SHL
00002141: SUB
00002142: SWAP2
00002143: SWAP1
00002144: SWAP2
00002145: AND
00002146: SWAP4
00002147: SWAP2
00002148: SWAP3
00002149: POP
0000214a: SWAP1
0000214b: PUSH1 0x20
0000214d: DUP3
0000214e: PUSH1 0x24
00002150: DUP2
00002151: DUP8
00002152: GAS
00002153: STATICCALL
00002154: SWAP2
00002155: DUP3
00002156: ISZERO
00002157: PUSH2 0x21c6
0000215a: JUMPI
0000215b: PUSH0
0000215c: SWAP3
0000215d: PUSH2 0x21cb
00002160: JUMPI
00002161: JUMPDEST
00002162: POP
00002163: PUSH2 0x216d
00002166: SWAP2
00002167: SWAP3
00002168: DUP5
00002169: PUSH2 0x2779
0000216c: JUMP
0000216d: JUMPDEST
0000216e: PUSH1 0x40
00002170: MLOAD
00002171: PUSH4 0x70a08231
00002176: PUSH1 0xe0
00002178: SHL
00002179: DUP2
0000217a: MSTORE
0000217b: ADDRESS
0000217c: PUSH1 0x04
0000217e: DUP3
0000217f: ADD
00002180: MSTORE
00002181: SWAP2
00002182: PUSH1 0x20
00002184: SWAP1
00002185: DUP4
00002186: SWAP1
00002187: PUSH1 0x24
00002189: SWAP1
0000218a: DUP3
0000218b: SWAP1
0000218c: GAS
0000218d: STATICCALL
0000218e: SWAP1
0000218f: DUP2
00002190: ISZERO
00002191: PUSH2 0x21c6
00002194: JUMPI
00002195: PUSH2 0x1ff8
00002198: SWAP3
00002199: PUSH0
0000219a: SWAP3
0000219b: PUSH2 0x21a5
0000219e: JUMPI
0000219f: JUMPDEST
000021a0: POP
000021a1: PUSH2 0x1e3d
000021a4: JUMP
000021a5: JUMPDEST
000021a6: PUSH2 0x21bf
000021a9: SWAP2
000021aa: SWAP3
000021ab: POP
000021ac: PUSH1 0x20
000021ae: RETURNDATASIZE
000021af: PUSH1 0x20
000021b1: GT
000021b2: PUSH2 0x0a4c
000021b5: JUMPI
000021b6: PUSH2 0x0a3d
000021b9: DUP2
000021ba: DUP4
000021bb: PUSH2 0x0894
000021be: JUMP
000021bf: JUMPDEST
000021c0: SWAP1
000021c1: PUSH0
000021c2: PUSH2 0x219f
000021c5: JUMP
000021c6: JUMPDEST
000021c7: PUSH2 0x20a7
000021ca: JUMP
000021cb: JUMPDEST
000021cc: PUSH2 0x216d
000021cf: SWAP3
000021d0: POP
000021d1: PUSH2 0x21e8
000021d4: SWAP1
000021d5: PUSH1 0x20
000021d7: RETURNDATASIZE
000021d8: PUSH1 0x20
000021da: GT
000021db: PUSH2 0x0a4c
000021de: JUMPI
000021df: PUSH2 0x0a3d
000021e2: DUP2
000021e3: DUP4
000021e4: PUSH2 0x0894
000021e7: JUMP
000021e8: JUMPDEST
000021e9: SWAP2
000021ea: PUSH2 0x2161
000021ed: JUMP
000021ee: JUMPDEST
000021ef: PUSH2 0x21f7
000021f2: DUP2
000021f3: PUSH2 0x242f
000021f6: JUMP
000021f7: JUMPDEST
000021f8: ISZERO
000021f9: PUSH2 0x2201
000021fc: JUMPI
000021fd: POP
000021fe: BALANCE
000021ff: SWAP1
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x40
00002204: MLOAD
00002205: PUSH4 0x70a08231
0000220a: PUSH1 0xe0
0000220c: SHL
0000220d: DUP2
0000220e: MSTORE
0000220f: PUSH1 0x01
00002211: PUSH1 0x01
00002213: PUSH1 0xa0
00002215: SHL
00002216: SUB
00002217: SWAP3
00002218: DUP4
00002219: AND
0000221a: PUSH1 0x04
0000221c: DUP3
0000221d: ADD
0000221e: MSTORE
0000221f: SWAP2
00002220: PUSH1 0x20
00002222: SWAP2
00002223: DUP4
00002224: SWAP2
00002225: PUSH1 0x24
00002227: SWAP2
00002228: DUP4
00002229: SWAP2
0000222a: AND
0000222b: GAS
0000222c: STATICCALL
0000222d: SWAP1
0000222e: DUP2
0000222f: ISZERO
00002230: PUSH2 0x21c6
00002233: JUMPI
00002234: PUSH0
00002235: SWAP2
00002236: PUSH2 0x223d
00002239: JUMPI
0000223a: POP
0000223b: SWAP1
0000223c: JUMP
0000223d: JUMPDEST
0000223e: PUSH2 0x1ff8
00002241: SWAP2
00002242: POP
00002243: PUSH1 0x20
00002245: RETURNDATASIZE
00002246: PUSH1 0x20
00002248: GT
00002249: PUSH2 0x0a4c
0000224c: JUMPI
0000224d: PUSH2 0x0a3d
00002250: DUP2
00002251: DUP4
00002252: PUSH2 0x0894
00002255: JUMP
00002256: JUMPDEST
00002257: SWAP1
00002258: PUSH1 0x01
0000225a: DUP3
0000225b: DUP2
0000225c: SHR
0000225d: SWAP3
0000225e: AND
0000225f: DUP1
00002260: ISZERO
00002261: PUSH2 0x2284
00002264: JUMPI
00002265: JUMPDEST
00002266: PUSH1 0x20
00002268: DUP4
00002269: LT
0000226a: EQ
0000226b: PUSH2 0x2270
0000226e: JUMPI
0000226f: JUMP
00002270: JUMPDEST
00002271: PUSH4 0x4e487b71
00002276: PUSH1 0xe0
00002278: SHL
00002279: PUSH0
0000227a: MSTORE
0000227b: PUSH1 0x22
0000227d: PUSH1 0x04
0000227f: MSTORE
00002280: PUSH1 0x24
00002282: PUSH0
00002283: REVERT
00002284: JUMPDEST
00002285: SWAP2
00002286: PUSH1 0x7f
00002288: AND
00002289: SWAP2
0000228a: PUSH2 0x2265
0000228d: JUMP
0000228e: JUMPDEST
0000228f: PUSH1 0x40
00002291: MLOAD
00002292: SWAP1
00002293: PUSH0
00002294: DUP3
00002295: PUSH0
00002296: MLOAD
00002297: PUSH1 0x20
00002299: PUSH2 0x2dff
0000229c: PUSH0
0000229d: CODECOPY
0000229e: PUSH0
0000229f: MLOAD
000022a0: SWAP1
000022a1: PUSH0
000022a2: MSTORE
000022a3: SLOAD
000022a4: SWAP2
000022a5: PUSH2 0x22ad
000022a8: DUP4
000022a9: PUSH2 0x2256
000022ac: JUMP
000022ad: JUMPDEST
000022ae: DUP1
000022af: DUP4
000022b0: MSTORE
000022b1: SWAP3
000022b2: PUSH1 0x01
000022b4: DUP2
000022b5: AND
000022b6: SWAP1
000022b7: DUP2
000022b8: ISZERO
000022b9: PUSH2 0x233c
000022bc: JUMPI
000022bd: POP
000022be: PUSH1 0x01
000022c0: EQ
000022c1: PUSH2 0x22d1
000022c4: JUMPI
000022c5: JUMPDEST
000022c6: PUSH2 0x08ca
000022c9: SWAP3
000022ca: POP
000022cb: SUB
000022cc: DUP4
000022cd: PUSH2 0x0894
000022d0: JUMP
000022d1: JUMPDEST
000022d2: POP
000022d3: PUSH0
000022d4: MLOAD
000022d5: PUSH1 0x20
000022d7: PUSH2 0x2dff
000022da: PUSH0
000022db: CODECOPY
000022dc: PUSH0
000022dd: MLOAD
000022de: SWAP1
000022df: PUSH0
000022e0: MSTORE
000022e1: PUSH0
000022e2: SWAP1
000022e3: DUP2
000022e4: MSTORE
000022e5: SWAP1
000022e6: SWAP2
000022e7: PUSH32 0x42ad5d3e1f2e6e70edcf6d991b8a3023d3fca8047a131592f9edb9fd9b89d57d
00002308: JUMPDEST
00002309: DUP2
0000230a: DUP4
0000230b: LT
0000230c: PUSH2 0x2320
0000230f: JUMPI
00002310: POP
00002311: POP
00002312: SWAP1
00002313: PUSH1 0x20
00002315: PUSH2 0x08ca
00002318: SWAP3
00002319: DUP3
0000231a: ADD
0000231b: ADD
0000231c: PUSH2 0x22c5
0000231f: JUMP
00002320: JUMPDEST
00002321: PUSH1 0x20
00002323: SWAP2
00002324: SWAP4
00002325: POP
00002326: DUP1
00002327: PUSH1 0x01
00002329: SWAP2
0000232a: SLOAD
0000232b: DUP4
0000232c: DUP6
0000232d: DUP10
0000232e: ADD
0000232f: ADD
00002330: MSTORE
00002331: ADD
00002332: SWAP2
00002333: ADD
00002334: SWAP1
00002335: SWAP2
00002336: DUP5
00002337: SWAP3
00002338: PUSH2 0x2308
0000233b: JUMP
0000233c: JUMPDEST
0000233d: PUSH1 0x20
0000233f: SWAP3
00002340: POP
00002341: PUSH2 0x08ca
00002344: SWAP5
00002345: SWAP2
00002346: POP
00002347: PUSH1 0xff
00002349: NOT
0000234a: AND
0000234b: DUP3
0000234c: DUP5
0000234d: ADD
0000234e: MSTORE
0000234f: ISZERO
00002350: ISZERO
00002351: PUSH1 0x05
00002353: SHL
00002354: DUP3
00002355: ADD
00002356: ADD
00002357: PUSH2 0x22c5
0000235a: JUMP
0000235b: JUMPDEST
0000235c: PUSH1 0x40
0000235e: MLOAD
0000235f: SWAP1
00002360: PUSH0
00002361: DUP3
00002362: PUSH0
00002363: MLOAD
00002364: PUSH1 0x20
00002366: PUSH2 0x2e1f
00002369: PUSH0
0000236a: CODECOPY
0000236b: PUSH0
0000236c: MLOAD
0000236d: SWAP1
0000236e: PUSH0
0000236f: MSTORE
00002370: SLOAD
00002371: SWAP2
00002372: PUSH2 0x237a
00002375: DUP4
00002376: PUSH2 0x2256
00002379: JUMP
0000237a: JUMPDEST
0000237b: DUP1
0000237c: DUP4
0000237d: MSTORE
0000237e: SWAP3
0000237f: PUSH1 0x01
00002381: DUP2
00002382: AND
00002383: SWAP1
00002384: DUP2
00002385: ISZERO
00002386: PUSH2 0x233c
00002389: JUMPI
0000238a: POP
0000238b: PUSH1 0x01
0000238d: EQ
0000238e: PUSH2 0x239d
00002391: JUMPI
00002392: PUSH2 0x08ca
00002395: SWAP3
00002396: POP
00002397: SUB
00002398: DUP4
00002399: PUSH2 0x0894
0000239c: JUMP
0000239d: JUMPDEST
0000239e: POP
0000239f: PUSH0
000023a0: MLOAD
000023a1: PUSH1 0x20
000023a3: PUSH2 0x2e1f
000023a6: PUSH0
000023a7: CODECOPY
000023a8: PUSH0
000023a9: MLOAD
000023aa: SWAP1
000023ab: PUSH0
000023ac: MSTORE
000023ad: PUSH0
000023ae: SWAP1
000023af: DUP2
000023b0: MSTORE
000023b1: SWAP1
000023b2: SWAP2
000023b3: PUSH32 0x5f9ce34815f8e11431c7bb75a8e6886a91478f7ffc1dbb0a98dc240fddd76b75
000023d4: JUMPDEST
000023d5: DUP2
000023d6: DUP4
000023d7: LT
000023d8: PUSH2 0x23ec
000023db: JUMPI
000023dc: POP
000023dd: POP
000023de: SWAP1
000023df: PUSH1 0x20
000023e1: PUSH2 0x08ca
000023e4: SWAP3
000023e5: DUP3
000023e6: ADD
000023e7: ADD
000023e8: PUSH2 0x22c5
000023eb: JUMP
000023ec: JUMPDEST
000023ed: PUSH1 0x20
000023ef: SWAP2
000023f0: SWAP4
000023f1: POP
000023f2: DUP1
000023f3: PUSH1 0x01
000023f5: SWAP2
000023f6: SLOAD
000023f7: DUP4
000023f8: DUP6
000023f9: DUP10
000023fa: ADD
000023fb: ADD
000023fc: MSTORE
000023fd: ADD
000023fe: SWAP2
000023ff: ADD
00002400: SWAP1
00002401: SWAP2
00002402: DUP5
00002403: SWAP3
00002404: PUSH2 0x23d4
00002407: JUMP
00002408: JUMPDEST
00002409: PUSH1 0xff
0000240b: PUSH0
0000240c: MLOAD
0000240d: PUSH1 0x20
0000240f: PUSH2 0x2ebf
00002412: PUSH0
00002413: CODECOPY
00002414: PUSH0
00002415: MLOAD
00002416: SWAP1
00002417: PUSH0
00002418: MSTORE
00002419: SLOAD
0000241a: AND
0000241b: PUSH2 0x2420
0000241e: JUMPI
0000241f: JUMP
00002420: JUMPDEST
00002421: PUSH4 0xd93c0665
00002426: PUSH1 0xe0
00002428: SHL
00002429: PUSH0
0000242a: MSTORE
0000242b: PUSH1 0x04
0000242d: PUSH0
0000242e: REVERT
0000242f: JUMPDEST
00002430: PUSH1 0x01
00002432: PUSH1 0x01
00002434: PUSH1 0xa0
00002436: SHL
00002437: SUB
00002438: AND
00002439: DUP1
0000243a: ISZERO
0000243b: PUSH2 0x03f9
0000243e: JUMPI
0000243f: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00002454: EQ
00002455: SWAP1
00002456: JUMP
00002457: JUMPDEST
00002458: PUSH1 0x40
0000245a: MLOAD
0000245b: PUSH4 0x095ea7b3
00002460: PUSH1 0xe0
00002462: SHL
00002463: PUSH1 0x20
00002465: DUP1
00002466: DUP4
00002467: ADD
00002468: SWAP2
00002469: DUP3
0000246a: MSTORE
0000246b: PUSH1 0x01
0000246d: PUSH1 0x01
0000246f: PUSH1 0xa0
00002471: SHL
00002472: SUB
00002473: DUP6
00002474: AND
00002475: PUSH1 0x24
00002477: DUP5
00002478: ADD
00002479: MSTORE
0000247a: PUSH1 0x44
0000247c: DUP1
0000247d: DUP5
0000247e: ADD
0000247f: SWAP7
00002480: SWAP1
00002481: SWAP7
00002482: MSTORE
00002483: SWAP5
00002484: DUP3
00002485: MSTORE
00002486: SWAP3
00002487: SWAP4
00002488: SWAP1
00002489: SWAP3
0000248a: PUSH0
0000248b: SWAP1
0000248c: PUSH2 0x2496
0000248f: PUSH1 0x64
00002491: DUP7
00002492: PUSH2 0x0894
00002495: JUMP
00002496: JUMPDEST
00002497: DUP5
00002498: MLOAD
00002499: SWAP1
0000249a: DUP3
0000249b: DUP6
0000249c: GAS
0000249d: CALL
0000249e: PUSH0
0000249f: MLOAD
000024a0: SWAP1
000024a1: RETURNDATASIZE
000024a2: DUP2
000024a3: PUSH2 0x2500
000024a6: JUMPI
000024a7: JUMPDEST
000024a8: POP
000024a9: ISZERO
000024aa: SWAP1
000024ab: POP
000024ac: JUMPDEST
000024ad: PUSH2 0x24b5
000024b0: JUMPI
000024b1: POP
000024b2: POP
000024b3: POP
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH1 0x40
000024b8: MLOAD
000024b9: PUSH4 0x095ea7b3
000024be: PUSH1 0xe0
000024c0: SHL
000024c1: PUSH1 0x20
000024c3: DUP3
000024c4: ADD
000024c5: MSTORE
000024c6: PUSH1 0x01
000024c8: PUSH1 0x01
000024ca: PUSH1 0xa0
000024cc: SHL
000024cd: SUB
000024ce: SWAP4
000024cf: SWAP1
000024d0: SWAP4
000024d1: AND
000024d2: PUSH1 0x24
000024d4: DUP5
000024d5: ADD
000024d6: MSTORE
000024d7: PUSH0
000024d8: PUSH1 0x44
000024da: DUP1
000024db: DUP6
000024dc: ADD
000024dd: SWAP2
000024de: SWAP1
000024df: SWAP2
000024e0: MSTORE
000024e1: DUP4
000024e2: MSTORE
000024e3: PUSH2 0x08ca
000024e6: SWAP3
000024e7: PUSH2 0x24fb
000024ea: SWAP1
000024eb: PUSH2 0x24f5
000024ee: PUSH1 0x64
000024f0: DUP3
000024f1: PUSH2 0x0894
000024f4: JUMP
000024f5: JUMPDEST
000024f6: DUP3
000024f7: PUSH2 0x2a67
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH2 0x2a67
000024ff: JUMP
00002500: JUMPDEST
00002501: ISZERO
00002502: ISZERO
00002503: SWAP1
00002504: POP
00002505: PUSH2 0x2520
00002508: JUMPI
00002509: POP
0000250a: PUSH2 0x24ac
0000250d: PUSH1 0x01
0000250f: PUSH1 0x01
00002511: PUSH1 0xa0
00002513: SHL
00002514: SUB
00002515: DUP3
00002516: AND
00002517: EXTCODESIZE
00002518: ISZERO
00002519: ISZERO
0000251a: JUMPDEST
0000251b: PUSH0
0000251c: PUSH2 0x24a7
0000251f: JUMP
00002520: JUMPDEST
00002521: PUSH1 0x01
00002523: PUSH2 0x24ac
00002526: SWAP2
00002527: EQ
00002528: PUSH2 0x251a
0000252b: JUMP
0000252c: JUMPDEST
0000252d: SWAP1
0000252e: SWAP3
0000252f: PUSH0
00002530: SWAP4
00002531: DUP5
00002532: SWAP4
00002533: DUP3
00002534: PUSH1 0x40
00002536: MLOAD
00002537: SWAP4
00002538: DUP5
00002539: SWAP3
0000253a: DUP4
0000253b: CALLDATACOPY
0000253c: DUP2
0000253d: ADD
0000253e: DUP6
0000253f: DUP2
00002540: MSTORE
00002541: SUB
00002542: SWAP3
00002543: GAS
00002544: CALL
00002545: PUSH2 0x254c
00002548: PUSH2 0x20b2
0000254b: JUMP
0000254c: JUMPDEST
0000254d: SWAP1
0000254e: ISZERO
0000254f: PUSH2 0x2555
00002552: JUMPI
00002553: POP
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH1 0x20
00002558: DUP2
00002559: MLOAD
0000255a: SWAP2
0000255b: ADD
0000255c: REVERT
0000255d: JUMPDEST
0000255e: PUSH0
0000255f: DUP2
00002560: DUP2
00002561: MSTORE
00002562: PUSH0
00002563: MLOAD
00002564: PUSH1 0x20
00002566: PUSH2 0x2e9f
00002569: PUSH0
0000256a: CODECOPY
0000256b: PUSH0
0000256c: MLOAD
0000256d: SWAP1
0000256e: PUSH0
0000256f: MSTORE
00002570: PUSH1 0x20
00002572: SWAP1
00002573: DUP2
00002574: MSTORE
00002575: PUSH1 0x40
00002577: DUP1
00002578: DUP4
00002579: KECCAK256
0000257a: PUSH1 0x01
0000257c: PUSH1 0x01
0000257e: PUSH1 0xa0
00002580: SHL
00002581: SUB
00002582: DUP7
00002583: AND
00002584: DUP5
00002585: MSTORE
00002586: SWAP1
00002587: SWAP2
00002588: MSTORE
00002589: SWAP1
0000258a: KECCAK256
0000258b: SLOAD
0000258c: PUSH1 0xff
0000258e: AND
0000258f: PUSH2 0x25ff
00002592: JUMPI
00002593: PUSH0
00002594: DUP2
00002595: DUP2
00002596: MSTORE
00002597: PUSH0
00002598: MLOAD
00002599: PUSH1 0x20
0000259b: PUSH2 0x2e9f
0000259e: PUSH0
0000259f: CODECOPY
000025a0: PUSH0
000025a1: MLOAD
000025a2: SWAP1
000025a3: PUSH0
000025a4: MSTORE
000025a5: PUSH1 0x20
000025a7: SWAP1
000025a8: DUP2
000025a9: MSTORE
000025aa: PUSH1 0x40
000025ac: DUP1
000025ad: DUP4
000025ae: KECCAK256
000025af: PUSH1 0x01
000025b1: PUSH1 0x01
000025b3: PUSH1 0xa0
000025b5: SHL
000025b6: SUB
000025b7: DUP7
000025b8: AND
000025b9: DUP5
000025ba: MSTORE
000025bb: SWAP1
000025bc: SWAP2
000025bd: MSTORE
000025be: SWAP1
000025bf: KECCAK256
000025c0: DUP1
000025c1: SLOAD
000025c2: PUSH1 0xff
000025c4: NOT
000025c5: AND
000025c6: PUSH1 0x01
000025c8: OR
000025c9: SWAP1
000025ca: SSTORE
000025cb: CALLER
000025cc: SWAP2
000025cd: PUSH1 0x01
000025cf: PUSH1 0x01
000025d1: PUSH1 0xa0
000025d3: SHL
000025d4: SUB
000025d5: AND
000025d6: SWAP1
000025d7: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
000025f8: PUSH0
000025f9: DUP1
000025fa: LOG4
000025fb: PUSH1 0x01
000025fd: SWAP1
000025fe: JUMP
000025ff: JUMPDEST
00002600: POP
00002601: POP
00002602: PUSH0
00002603: SWAP1
00002604: JUMP
00002605: JUMPDEST
00002606: DUP2
00002607: MLOAD
00002608: SWAP2
00002609: SWAP1
0000260a: PUSH1 0x41
0000260c: DUP4
0000260d: SUB
0000260e: PUSH2 0x2635
00002611: JUMPI
00002612: PUSH2 0x262e
00002615: SWAP3
00002616: POP
00002617: PUSH1 0x20
00002619: DUP3
0000261a: ADD
0000261b: MLOAD
0000261c: SWAP1
0000261d: PUSH1 0x60
0000261f: PUSH1 0x40
00002621: DUP5
00002622: ADD
00002623: MLOAD
00002624: SWAP4
00002625: ADD
00002626: MLOAD
00002627: PUSH0
00002628: BYTE
00002629: SWAP1
0000262a: PUSH2 0x2b29
0000262d: JUMP
0000262e: JUMPDEST
0000262f: SWAP2
00002630: SWAP3
00002631: SWAP1
00002632: SWAP2
00002633: SWAP1
00002634: JUMP
00002635: JUMPDEST
00002636: POP
00002637: POP
00002638: PUSH0
00002639: SWAP2
0000263a: PUSH1 0x02
0000263c: SWAP2
0000263d: SWAP1
0000263e: JUMP
0000263f: JUMPDEST
00002640: PUSH1 0x04
00002642: GT
00002643: ISZERO
00002644: PUSH2 0x2649
00002647: JUMPI
00002648: JUMP
00002649: JUMPDEST
0000264a: PUSH4 0x4e487b71
0000264f: PUSH1 0xe0
00002651: SHL
00002652: PUSH0
00002653: MSTORE
00002654: PUSH1 0x21
00002656: PUSH1 0x04
00002658: MSTORE
00002659: PUSH1 0x24
0000265b: PUSH0
0000265c: REVERT
0000265d: JUMPDEST
0000265e: PUSH2 0x2666
00002661: DUP2
00002662: PUSH2 0x263f
00002665: JUMP
00002666: JUMPDEST
00002667: DUP1
00002668: PUSH2 0x266f
0000266b: JUMPI
0000266c: POP
0000266d: POP
0000266e: JUMP
0000266f: JUMPDEST
00002670: PUSH2 0x2678
00002673: DUP2
00002674: PUSH2 0x263f
00002677: JUMP
00002678: JUMPDEST
00002679: PUSH1 0x01
0000267b: DUP2
0000267c: SUB
0000267d: PUSH2 0x268f
00002680: JUMPI
00002681: PUSH4 0xf645eedf
00002686: PUSH1 0xe0
00002688: SHL
00002689: PUSH0
0000268a: MSTORE
0000268b: PUSH1 0x04
0000268d: PUSH0
0000268e: REVERT
0000268f: JUMPDEST
00002690: PUSH2 0x2698
00002693: DUP2
00002694: PUSH2 0x263f
00002697: JUMP
00002698: JUMPDEST
00002699: PUSH1 0x02
0000269b: DUP2
0000269c: SUB
0000269d: PUSH2 0x26b3
000026a0: JUMPI
000026a1: POP
000026a2: PUSH4 0xfce698f7
000026a7: PUSH1 0xe0
000026a9: SHL
000026aa: PUSH0
000026ab: MSTORE
000026ac: PUSH1 0x04
000026ae: MSTORE
000026af: PUSH1 0x24
000026b1: PUSH0
000026b2: REVERT
000026b3: JUMPDEST
000026b4: DUP1
000026b5: PUSH2 0x26bf
000026b8: PUSH1 0x03
000026ba: SWAP3
000026bb: PUSH2 0x263f
000026be: JUMP
000026bf: JUMPDEST
000026c0: EQ
000026c1: PUSH2 0x26c7
000026c4: JUMPI
000026c5: POP
000026c6: JUMP
000026c7: JUMPDEST
000026c8: PUSH4 0x35e2f383
000026cd: PUSH1 0xe2
000026cf: SHL
000026d0: PUSH0
000026d1: MSTORE
000026d2: PUSH1 0x04
000026d4: MSTORE
000026d5: PUSH1 0x24
000026d7: PUSH0
000026d8: REVERT
000026d9: JUMPDEST
000026da: PUSH0
000026db: DUP2
000026dc: DUP2
000026dd: MSTORE
000026de: PUSH0
000026df: MLOAD
000026e0: PUSH1 0x20
000026e2: PUSH2 0x2e9f
000026e5: PUSH0
000026e6: CODECOPY
000026e7: PUSH0
000026e8: MLOAD
000026e9: SWAP1
000026ea: PUSH0
000026eb: MSTORE
000026ec: PUSH1 0x20
000026ee: SWAP1
000026ef: DUP2
000026f0: MSTORE
000026f1: PUSH1 0x40
000026f3: DUP1
000026f4: DUP4
000026f5: KECCAK256
000026f6: PUSH1 0x01
000026f8: PUSH1 0x01
000026fa: PUSH1 0xa0
000026fc: SHL
000026fd: SUB
000026fe: DUP7
000026ff: AND
00002700: DUP5
00002701: MSTORE
00002702: SWAP1
00002703: SWAP2
00002704: MSTORE
00002705: SWAP1
00002706: KECCAK256
00002707: SLOAD
00002708: PUSH1 0xff
0000270a: AND
0000270b: ISZERO
0000270c: PUSH2 0x25ff
0000270f: JUMPI
00002710: PUSH0
00002711: DUP2
00002712: DUP2
00002713: MSTORE
00002714: PUSH0
00002715: MLOAD
00002716: PUSH1 0x20
00002718: PUSH2 0x2e9f
0000271b: PUSH0
0000271c: CODECOPY
0000271d: PUSH0
0000271e: MLOAD
0000271f: SWAP1
00002720: PUSH0
00002721: MSTORE
00002722: PUSH1 0x20
00002724: SWAP1
00002725: DUP2
00002726: MSTORE
00002727: PUSH1 0x40
00002729: DUP1
0000272a: DUP4
0000272b: KECCAK256
0000272c: PUSH1 0x01
0000272e: PUSH1 0x01
00002730: PUSH1 0xa0
00002732: SHL
00002733: SUB
00002734: DUP7
00002735: AND
00002736: DUP5
00002737: MSTORE
00002738: SWAP1
00002739: SWAP2
0000273a: MSTORE
0000273b: SWAP1
0000273c: KECCAK256
0000273d: DUP1
0000273e: SLOAD
0000273f: PUSH1 0xff
00002741: NOT
00002742: AND
00002743: SWAP1
00002744: SSTORE
00002745: CALLER
00002746: SWAP2
00002747: PUSH1 0x01
00002749: PUSH1 0x01
0000274b: PUSH1 0xa0
0000274d: SHL
0000274e: SUB
0000274f: AND
00002750: SWAP1
00002751: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002772: PUSH0
00002773: DUP1
00002774: LOG4
00002775: PUSH1 0x01
00002777: SWAP1
00002778: JUMP
00002779: JUMPDEST
0000277a: PUSH1 0x40
0000277c: MLOAD
0000277d: PUSH4 0xa9059cbb
00002782: PUSH1 0xe0
00002784: SHL
00002785: PUSH1 0x20
00002787: DUP3
00002788: ADD
00002789: MSTORE
0000278a: PUSH1 0x01
0000278c: PUSH1 0x01
0000278e: PUSH1 0xa0
00002790: SHL
00002791: SUB
00002792: SWAP3
00002793: SWAP1
00002794: SWAP3
00002795: AND
00002796: PUSH1 0x24
00002798: DUP4
00002799: ADD
0000279a: MSTORE
0000279b: PUSH1 0x44
0000279d: DUP1
0000279e: DUP4
0000279f: ADD
000027a0: SWAP4
000027a1: SWAP1
000027a2: SWAP4
000027a3: MSTORE
000027a4: SWAP2
000027a5: DUP2
000027a6: MSTORE
000027a7: PUSH2 0x08ca
000027aa: SWAP2
000027ab: PUSH2 0x24fb
000027ae: PUSH1 0x64
000027b0: DUP4
000027b1: PUSH2 0x0894
000027b4: JUMP
000027b5: JUMPDEST
000027b6: SWAP1
000027b7: DUP2
000027b8: EXTCODESIZE
000027b9: ISZERO
000027ba: PUSH2 0x2833
000027bd: JUMPI
000027be: PUSH0
000027bf: MLOAD
000027c0: PUSH1 0x20
000027c2: PUSH2 0x2e5f
000027c5: PUSH0
000027c6: CODECOPY
000027c7: PUSH0
000027c8: MLOAD
000027c9: SWAP1
000027ca: PUSH0
000027cb: MSTORE
000027cc: DUP1
000027cd: SLOAD
000027ce: PUSH1 0x01
000027d0: PUSH1 0x01
000027d2: PUSH1 0xa0
000027d4: SHL
000027d5: SUB
000027d6: NOT
000027d7: AND
000027d8: PUSH1 0x01
000027da: PUSH1 0x01
000027dc: PUSH1 0xa0
000027de: SHL
000027df: SUB
000027e0: DUP5
000027e1: AND
000027e2: SWAP1
000027e3: DUP2
000027e4: OR
000027e5: SWAP1
000027e6: SWAP2
000027e7: SSTORE
000027e8: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00002809: PUSH0
0000280a: DUP1
0000280b: LOG2
0000280c: DUP1
0000280d: MLOAD
0000280e: ISZERO
0000280f: PUSH2 0x281b
00002812: JUMPI
00002813: PUSH2 0x18e5
00002816: SWAP2
00002817: PUSH2 0x2c94
0000281a: JUMP
0000281b: JUMPDEST
0000281c: POP
0000281d: POP
0000281e: CALLVALUE
0000281f: PUSH2 0x2824
00002822: JUMPI
00002823: JUMP
00002824: JUMPDEST
00002825: PUSH4 0xb398979f
0000282a: PUSH1 0xe0
0000282c: SHL
0000282d: PUSH0
0000282e: MSTORE
0000282f: PUSH1 0x04
00002831: PUSH0
00002832: REVERT
00002833: JUMPDEST
00002834: POP
00002835: PUSH4 0x4c9c8ce3
0000283a: PUSH1 0xe0
0000283c: SHL
0000283d: PUSH0
0000283e: SWAP1
0000283f: DUP2
00002840: MSTORE
00002841: PUSH1 0x01
00002843: PUSH1 0x01
00002845: PUSH1 0xa0
00002847: SHL
00002848: SUB
00002849: SWAP2
0000284a: SWAP1
0000284b: SWAP2
0000284c: AND
0000284d: PUSH1 0x04
0000284f: MSTORE
00002850: PUSH1 0x24
00002852: SWAP1
00002853: REVERT
00002854: JUMPDEST
00002855: PUSH1 0xff
00002857: PUSH0
00002858: MLOAD
00002859: PUSH1 0x20
0000285b: PUSH2 0x2eff
0000285e: PUSH0
0000285f: CODECOPY
00002860: PUSH0
00002861: MLOAD
00002862: SWAP1
00002863: PUSH0
00002864: MSTORE
00002865: SLOAD
00002866: PUSH1 0x40
00002868: SHR
00002869: AND
0000286a: ISZERO
0000286b: PUSH2 0x2870
0000286e: JUMPI
0000286f: JUMP
00002870: JUMPDEST
00002871: PUSH4 0x1afcd79f
00002876: PUSH1 0xe3
00002878: SHL
00002879: PUSH0
0000287a: MSTORE
0000287b: PUSH1 0x04
0000287d: PUSH0
0000287e: REVERT
0000287f: JUMPDEST
00002880: PUSH1 0x1f
00002882: DUP2
00002883: GT
00002884: PUSH2 0x288b
00002887: JUMPI
00002888: POP
00002889: POP
0000288a: JUMP
0000288b: JUMPDEST
0000288c: PUSH0
0000288d: MLOAD
0000288e: PUSH1 0x20
00002890: PUSH2 0x2dff
00002893: PUSH0
00002894: CODECOPY
00002895: PUSH0
00002896: MLOAD
00002897: SWAP1
00002898: PUSH0
00002899: MSTORE
0000289a: PUSH0
0000289b: MSTORE
0000289c: PUSH1 0x20
0000289e: PUSH0
0000289f: KECCAK256
000028a0: SWAP1
000028a1: PUSH1 0x20
000028a3: PUSH1 0x1f
000028a5: DUP5
000028a6: ADD
000028a7: PUSH1 0x05
000028a9: SHR
000028aa: DUP4
000028ab: ADD
000028ac: SWAP4
000028ad: LT
000028ae: PUSH2 0x28d1
000028b1: JUMPI
000028b2: JUMPDEST
000028b3: PUSH1 0x1f
000028b5: ADD
000028b6: PUSH1 0x05
000028b8: SHR
000028b9: ADD
000028ba: SWAP1
000028bb: JUMPDEST
000028bc: DUP2
000028bd: DUP2
000028be: LT
000028bf: PUSH2 0x28c6
000028c2: JUMPI
000028c3: POP
000028c4: POP
000028c5: JUMP
000028c6: JUMPDEST
000028c7: PUSH0
000028c8: DUP2
000028c9: SSTORE
000028ca: PUSH1 0x01
000028cc: ADD
000028cd: PUSH2 0x28bb
000028d0: JUMP
000028d1: JUMPDEST
000028d2: SWAP1
000028d3: SWAP2
000028d4: POP
000028d5: DUP2
000028d6: SWAP1
000028d7: PUSH2 0x28b2
000028da: JUMP
000028db: JUMPDEST
000028dc: PUSH1 0x1f
000028de: DUP3
000028df: GT
000028e0: PUSH2 0x28e8
000028e3: JUMPI
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: JUMP
000028e8: JUMPDEST
000028e9: PUSH0
000028ea: MSTORE
000028eb: PUSH1 0x20
000028ed: PUSH0
000028ee: KECCAK256
000028ef: SWAP1
000028f0: PUSH1 0x20
000028f2: PUSH1 0x1f
000028f4: DUP5
000028f5: ADD
000028f6: PUSH1 0x05
000028f8: SHR
000028f9: DUP4
000028fa: ADD
000028fb: SWAP4
000028fc: LT
000028fd: PUSH2 0x2920
00002900: JUMPI
00002901: JUMPDEST
00002902: PUSH1 0x1f
00002904: ADD
00002905: PUSH1 0x05
00002907: SHR
00002908: ADD
00002909: SWAP1
0000290a: JUMPDEST
0000290b: DUP2
0000290c: DUP2
0000290d: LT
0000290e: PUSH2 0x2915
00002911: JUMPI
00002912: POP
00002913: POP
00002914: JUMP
00002915: JUMPDEST
00002916: PUSH0
00002917: DUP2
00002918: SSTORE
00002919: PUSH1 0x01
0000291b: ADD
0000291c: PUSH2 0x290a
0000291f: JUMP
00002920: JUMPDEST
00002921: SWAP1
00002922: SWAP2
00002923: POP
00002924: DUP2
00002925: SWAP1
00002926: PUSH2 0x2901
00002929: JUMP
0000292a: JUMPDEST
0000292b: SWAP1
0000292c: DUP2
0000292d: MLOAD
0000292e: PUSH8 0xffffffffffffffff
00002937: DUP2
00002938: GT
00002939: PUSH2 0x08b6
0000293c: JUMPI
0000293d: PUSH2 0x296a
00002940: DUP2
00002941: PUSH2 0x2957
00002944: PUSH0
00002945: MLOAD
00002946: PUSH1 0x20
00002948: PUSH2 0x2e1f
0000294b: PUSH0
0000294c: CODECOPY
0000294d: PUSH0
0000294e: MLOAD
0000294f: SWAP1
00002950: PUSH0
00002951: MSTORE
00002952: SLOAD
00002953: PUSH2 0x2256
00002956: JUMP
00002957: JUMPDEST
00002958: PUSH0
00002959: MLOAD
0000295a: PUSH1 0x20
0000295c: PUSH2 0x2e1f
0000295f: PUSH0
00002960: CODECOPY
00002961: PUSH0
00002962: MLOAD
00002963: SWAP1
00002964: PUSH0
00002965: MSTORE
00002966: PUSH2 0x28db
00002969: JUMP
0000296a: JUMPDEST
0000296b: PUSH1 0x20
0000296d: SWAP3
0000296e: PUSH1 0x1f
00002970: DUP3
00002971: GT
00002972: PUSH1 0x01
00002974: EQ
00002975: PUSH2 0x29aa
00002978: JUMPI
00002979: PUSH2 0x2999
0000297c: SWAP3
0000297d: SWAP4
0000297e: DUP3
0000297f: SWAP2
00002980: PUSH0
00002981: SWAP3
00002982: PUSH2 0x18e8
00002985: JUMPI
00002986: POP
00002987: POP
00002988: DUP2
00002989: PUSH1 0x01
0000298b: SHL
0000298c: SWAP2
0000298d: PUSH0
0000298e: NOT
0000298f: SWAP1
00002990: PUSH1 0x03
00002992: SHL
00002993: SHR
00002994: NOT
00002995: AND
00002996: OR
00002997: SWAP1
00002998: JUMP
00002999: JUMPDEST
0000299a: PUSH0
0000299b: MLOAD
0000299c: PUSH1 0x20
0000299e: PUSH2 0x2e1f
000029a1: PUSH0
000029a2: CODECOPY
000029a3: PUSH0
000029a4: MLOAD
000029a5: SWAP1
000029a6: PUSH0
000029a7: MSTORE
000029a8: SSTORE
000029a9: JUMP
000029aa: JUMPDEST
000029ab: PUSH0
000029ac: MLOAD
000029ad: PUSH1 0x20
000029af: PUSH2 0x2e1f
000029b2: PUSH0
000029b3: CODECOPY
000029b4: PUSH0
000029b5: MLOAD
000029b6: SWAP1
000029b7: PUSH0
000029b8: MSTORE
000029b9: PUSH0
000029ba: MSTORE
000029bb: PUSH1 0x1f
000029bd: NOT
000029be: DUP3
000029bf: AND
000029c0: SWAP4
000029c1: PUSH32 0x5f9ce34815f8e11431c7bb75a8e6886a91478f7ffc1dbb0a98dc240fddd76b75
000029e2: SWAP2
000029e3: PUSH0
000029e4: JUMPDEST
000029e5: DUP7
000029e6: DUP2
000029e7: LT
000029e8: PUSH2 0x2a26
000029eb: JUMPI
000029ec: POP
000029ed: DUP4
000029ee: PUSH1 0x01
000029f0: SWAP6
000029f1: SWAP7
000029f2: LT
000029f3: PUSH2 0x2a0e
000029f6: JUMPI
000029f7: JUMPDEST
000029f8: POP
000029f9: POP
000029fa: POP
000029fb: DUP2
000029fc: SHL
000029fd: ADD
000029fe: PUSH0
000029ff: MLOAD
00002a00: PUSH1 0x20
00002a02: PUSH2 0x2e1f
00002a05: PUSH0
00002a06: CODECOPY
00002a07: PUSH0
00002a08: MLOAD
00002a09: SWAP1
00002a0a: PUSH0
00002a0b: MSTORE
00002a0c: SSTORE
00002a0d: JUMP
00002a0e: JUMPDEST
00002a0f: ADD
00002a10: MLOAD
00002a11: PUSH0
00002a12: NOT
00002a13: PUSH1 0xf8
00002a15: DUP5
00002a16: PUSH1 0x03
00002a18: SHL
00002a19: AND
00002a1a: SHR
00002a1b: NOT
00002a1c: AND
00002a1d: SWAP1
00002a1e: SSTORE
00002a1f: PUSH0
00002a20: DUP1
00002a21: DUP1
00002a22: PUSH2 0x29f7
00002a25: JUMP
00002a26: JUMPDEST
00002a27: SWAP2
00002a28: SWAP3
00002a29: PUSH1 0x20
00002a2b: PUSH1 0x01
00002a2d: DUP2
00002a2e: SWAP3
00002a2f: DUP7
00002a30: DUP6
00002a31: ADD
00002a32: MLOAD
00002a33: DUP2
00002a34: SSTORE
00002a35: ADD
00002a36: SWAP5
00002a37: ADD
00002a38: SWAP3
00002a39: ADD
00002a3a: PUSH2 0x29e4
00002a3d: JUMP
00002a3e: JUMPDEST
00002a3f: DUP1
00002a40: SLOAD
00002a41: DUP3
00002a42: LT
00002a43: ISZERO
00002a44: PUSH2 0x2a53
00002a47: JUMPI
00002a48: PUSH0
00002a49: MSTORE
00002a4a: PUSH1 0x20
00002a4c: PUSH0
00002a4d: KECCAK256
00002a4e: ADD
00002a4f: SWAP1
00002a50: PUSH0
00002a51: SWAP1
00002a52: JUMP
00002a53: JUMPDEST
00002a54: PUSH4 0x4e487b71
00002a59: PUSH1 0xe0
00002a5b: SHL
00002a5c: PUSH0
00002a5d: MSTORE
00002a5e: PUSH1 0x32
00002a60: PUSH1 0x04
00002a62: MSTORE
00002a63: PUSH1 0x24
00002a65: PUSH0
00002a66: REVERT
00002a67: JUMPDEST
00002a68: SWAP1
00002a69: PUSH0
00002a6a: PUSH1 0x20
00002a6c: SWAP2
00002a6d: DUP3
00002a6e: DUP2
00002a6f: MLOAD
00002a70: SWAP2
00002a71: ADD
00002a72: DUP3
00002a73: DUP6
00002a74: GAS
00002a75: CALL
00002a76: ISZERO
00002a77: PUSH2 0x20a7
00002a7a: JUMPI
00002a7b: PUSH0
00002a7c: MLOAD
00002a7d: RETURNDATASIZE
00002a7e: PUSH2 0x2ab6
00002a81: JUMPI
00002a82: POP
00002a83: PUSH1 0x01
00002a85: PUSH1 0x01
00002a87: PUSH1 0xa0
00002a89: SHL
00002a8a: SUB
00002a8b: DUP2
00002a8c: AND
00002a8d: EXTCODESIZE
00002a8e: ISZERO
00002a8f: JUMPDEST
00002a90: PUSH2 0x2a96
00002a93: JUMPI
00002a94: POP
00002a95: JUMP
00002a96: JUMPDEST
00002a97: PUSH4 0x5274afe7
00002a9c: PUSH1 0xe0
00002a9e: SHL
00002a9f: PUSH0
00002aa0: SWAP1
00002aa1: DUP2
00002aa2: MSTORE
00002aa3: PUSH1 0x01
00002aa5: PUSH1 0x01
00002aa7: PUSH1 0xa0
00002aa9: SHL
00002aaa: SUB
00002aab: SWAP2
00002aac: SWAP1
00002aad: SWAP2
00002aae: AND
00002aaf: PUSH1 0x04
00002ab1: MSTORE
00002ab2: PUSH1 0x24
00002ab4: SWAP1
00002ab5: REVERT
00002ab6: JUMPDEST
00002ab7: PUSH1 0x01
00002ab9: EQ
00002aba: ISZERO
00002abb: PUSH2 0x2a8f
00002abe: JUMP
00002abf: JUMPDEST
00002ac0: PUSH1 0x01
00002ac2: DUP2
00002ac3: ADD
00002ac4: SWAP1
00002ac5: DUP3
00002ac6: PUSH0
00002ac7: MSTORE
00002ac8: DUP2
00002ac9: PUSH1 0x20
00002acb: MSTORE
00002acc: PUSH1 0x40
00002ace: PUSH0
00002acf: KECCAK256
00002ad0: SLOAD
00002ad1: ISZERO
00002ad2: PUSH0
00002ad3: EQ
00002ad4: PUSH2 0x2b22
00002ad7: JUMPI
00002ad8: DUP1
00002ad9: SLOAD
00002ada: PUSH1 0x01
00002adc: PUSH1 0x40
00002ade: SHL
00002adf: DUP2
00002ae0: LT
00002ae1: ISZERO
00002ae2: PUSH2 0x08b6
00002ae5: JUMPI
00002ae6: PUSH2 0x2b0f
00002ae9: PUSH2 0x2af9
00002aec: DUP3
00002aed: PUSH1 0x01
00002aef: DUP8
00002af0: SWAP5
00002af1: ADD
00002af2: DUP6
00002af3: SSTORE
00002af4: DUP5
00002af5: PUSH2 0x2a3e
00002af8: JUMP
00002af9: JUMPDEST
00002afa: DUP2
00002afb: SWAP4
00002afc: SWAP2
00002afd: SLOAD
00002afe: SWAP1
00002aff: PUSH1 0x03
00002b01: SHL
00002b02: SWAP2
00002b03: DUP3
00002b04: SHL
00002b05: SWAP2
00002b06: PUSH0
00002b07: NOT
00002b08: SWAP1
00002b09: SHL
00002b0a: NOT
00002b0b: AND
00002b0c: OR
00002b0d: SWAP1
00002b0e: JUMP
00002b0f: JUMPDEST
00002b10: SWAP1
00002b11: SSTORE
00002b12: SLOAD
00002b13: SWAP2
00002b14: PUSH0
00002b15: MSTORE
00002b16: PUSH1 0x20
00002b18: MSTORE
00002b19: PUSH1 0x40
00002b1b: PUSH0
00002b1c: KECCAK256
00002b1d: SSTORE
00002b1e: PUSH1 0x01
00002b20: SWAP1
00002b21: JUMP
00002b22: JUMPDEST
00002b23: POP
00002b24: POP
00002b25: POP
00002b26: PUSH0
00002b27: SWAP1
00002b28: JUMP
00002b29: JUMPDEST
00002b2a: SWAP2
00002b2b: SWAP1
00002b2c: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
00002b4d: DUP5
00002b4e: GT
00002b4f: PUSH2 0x2ba0
00002b52: JUMPI
00002b53: SWAP2
00002b54: PUSH1 0x20
00002b56: SWAP4
00002b57: PUSH1 0x80
00002b59: SWAP3
00002b5a: PUSH1 0xff
00002b5c: PUSH0
00002b5d: SWAP6
00002b5e: PUSH1 0x40
00002b60: MLOAD
00002b61: SWAP5
00002b62: DUP6
00002b63: MSTORE
00002b64: AND
00002b65: DUP7
00002b66: DUP5
00002b67: ADD
00002b68: MSTORE
00002b69: PUSH1 0x40
00002b6b: DUP4
00002b6c: ADD
00002b6d: MSTORE
00002b6e: PUSH1 0x60
00002b70: DUP3
00002b71: ADD
00002b72: MSTORE
00002b73: DUP3
00002b74: DUP1
00002b75: MSTORE
00002b76: PUSH1 0x01
00002b78: GAS
00002b79: STATICCALL
00002b7a: ISZERO
00002b7b: PUSH2 0x21c6
00002b7e: JUMPI
00002b7f: PUSH0
00002b80: MLOAD
00002b81: PUSH1 0x01
00002b83: PUSH1 0x01
00002b85: PUSH1 0xa0
00002b87: SHL
00002b88: SUB
00002b89: DUP2
00002b8a: AND
00002b8b: ISZERO
00002b8c: PUSH2 0x2b96
00002b8f: JUMPI
00002b90: SWAP1
00002b91: PUSH0
00002b92: SWAP1
00002b93: PUSH0
00002b94: SWAP1
00002b95: JUMP
00002b96: JUMPDEST
00002b97: POP
00002b98: PUSH0
00002b99: SWAP1
00002b9a: PUSH1 0x01
00002b9c: SWAP1
00002b9d: PUSH0
00002b9e: SWAP1
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: POP
00002ba2: POP
00002ba3: POP
00002ba4: PUSH0
00002ba5: SWAP2
00002ba6: PUSH1 0x03
00002ba8: SWAP2
00002ba9: SWAP1
00002baa: JUMP
00002bab: JUMPDEST
00002bac: DUP1
00002bad: SLOAD
00002bae: DUP1
00002baf: ISZERO
00002bb0: PUSH2 0x2bd2
00002bb3: JUMPI
00002bb4: PUSH0
00002bb5: NOT
00002bb6: ADD
00002bb7: SWAP1
00002bb8: PUSH2 0x2bc1
00002bbb: DUP3
00002bbc: DUP3
00002bbd: PUSH2 0x2a3e
00002bc0: JUMP
00002bc1: JUMPDEST
00002bc2: DUP2
00002bc3: SLOAD
00002bc4: SWAP1
00002bc5: PUSH0
00002bc6: NOT
00002bc7: SWAP1
00002bc8: PUSH1 0x03
00002bca: SHL
00002bcb: SHL
00002bcc: NOT
00002bcd: AND
00002bce: SWAP1
00002bcf: SSTORE
00002bd0: SSTORE
00002bd1: JUMP
00002bd2: JUMPDEST
00002bd3: PUSH4 0x4e487b71
00002bd8: PUSH1 0xe0
00002bda: SHL
00002bdb: PUSH0
00002bdc: MSTORE
00002bdd: PUSH1 0x31
00002bdf: PUSH1 0x04
00002be1: MSTORE
00002be2: PUSH1 0x24
00002be4: PUSH0
00002be5: REVERT
00002be6: JUMPDEST
00002be7: SWAP1
00002be8: PUSH1 0x01
00002bea: DUP3
00002beb: ADD
00002bec: SWAP1
00002bed: DUP1
00002bee: PUSH0
00002bef: MSTORE
00002bf0: DUP2
00002bf1: PUSH1 0x20
00002bf3: MSTORE
00002bf4: PUSH1 0x40
00002bf6: PUSH0
00002bf7: KECCAK256
00002bf8: SLOAD
00002bf9: SWAP2
00002bfa: DUP3
00002bfb: ISZERO
00002bfc: ISZERO
00002bfd: PUSH0
00002bfe: EQ
00002bff: PUSH2 0x2c8c
00002c02: JUMPI
00002c03: PUSH0
00002c04: NOT
00002c05: DUP4
00002c06: ADD
00002c07: DUP4
00002c08: DUP2
00002c09: GT
00002c0a: PUSH2 0x1e29
00002c0d: JUMPI
00002c0e: DUP5
00002c0f: PUSH2 0x2c3f
00002c12: SWAP5
00002c13: PUSH2 0x2c32
00002c16: SWAP3
00002c17: PUSH2 0x2c21
00002c1a: PUSH0
00002c1b: SWAP9
00002c1c: SLOAD
00002c1d: PUSH2 0x1e1b
00002c20: JUMP
00002c21: JUMPDEST
00002c22: SWAP1
00002c23: DUP2
00002c24: DUP2
00002c25: SUB
00002c26: PUSH2 0x2c45
00002c29: JUMPI
00002c2a: JUMPDEST
00002c2b: POP
00002c2c: POP
00002c2d: POP
00002c2e: PUSH2 0x2bab
00002c31: JUMP
00002c32: JUMPDEST
00002c33: SWAP1
00002c34: PUSH0
00002c35: MSTORE
00002c36: PUSH1 0x20
00002c38: MSTORE
00002c39: PUSH1 0x40
00002c3b: PUSH0
00002c3c: KECCAK256
00002c3d: SWAP1
00002c3e: JUMP
00002c3f: JUMPDEST
00002c40: SSTORE
00002c41: PUSH1 0x01
00002c43: SWAP1
00002c44: JUMP
00002c45: JUMPDEST
00002c46: PUSH2 0x2c75
00002c49: PUSH2 0x2c6f
00002c4c: SWAP2
00002c4d: PUSH2 0x2c66
00002c50: PUSH2 0x2c5c
00002c53: PUSH2 0x2c83
00002c56: SWAP6
00002c57: DUP9
00002c58: PUSH2 0x2a3e
00002c5b: JUMP
00002c5c: JUMPDEST
00002c5d: SWAP1
00002c5e: SLOAD
00002c5f: SWAP1
00002c60: PUSH1 0x03
00002c62: SHL
00002c63: SHR
00002c64: SWAP1
00002c65: JUMP
00002c66: JUMPDEST
00002c67: SWAP3
00002c68: DUP4
00002c69: SWAP2
00002c6a: DUP8
00002c6b: PUSH2 0x2a3e
00002c6e: JUMP
00002c6f: JUMPDEST
00002c70: SWAP1
00002c71: PUSH2 0x161c
00002c74: JUMP
00002c75: JUMPDEST
00002c76: DUP6
00002c77: SWAP1
00002c78: PUSH0
00002c79: MSTORE
00002c7a: PUSH1 0x20
00002c7c: MSTORE
00002c7d: PUSH1 0x40
00002c7f: PUSH0
00002c80: KECCAK256
00002c81: SWAP1
00002c82: JUMP
00002c83: JUMPDEST
00002c84: SSTORE
00002c85: PUSH0
00002c86: DUP1
00002c87: DUP1
00002c88: PUSH2 0x2c2a
00002c8b: JUMP
00002c8c: JUMPDEST
00002c8d: POP
00002c8e: POP
00002c8f: POP
00002c90: POP
00002c91: PUSH0
00002c92: SWAP1
00002c93: JUMP
00002c94: JUMPDEST
00002c95: PUSH0
00002c96: DUP1
00002c97: PUSH2 0x1ff8
00002c9a: SWAP4
00002c9b: PUSH1 0x20
00002c9d: DUP2
00002c9e: MLOAD
00002c9f: SWAP2
00002ca0: ADD
00002ca1: DUP5
00002ca2: GAS
00002ca3: DELEGATECALL
00002ca4: PUSH2 0x2cab
00002ca7: PUSH2 0x20b2
00002caa: JUMP
00002cab: JUMPDEST
00002cac: SWAP2
00002cad: PUSH2 0x2d60
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: PUSH2 0x2cb9
00002cb5: PUSH2 0x228e
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: DUP1
00002cbb: MLOAD
00002cbc: SWAP1
00002cbd: DUP2
00002cbe: ISZERO
00002cbf: PUSH2 0x2cc9
00002cc2: JUMPI
00002cc3: PUSH1 0x20
00002cc5: ADD
00002cc6: KECCAK256
00002cc7: SWAP1
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: POP
00002ccb: POP
00002ccc: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100
00002ced: SLOAD
00002cee: DUP1
00002cef: ISZERO
00002cf0: PUSH2 0x2cf6
00002cf3: JUMPI
00002cf4: SWAP1
00002cf5: JUMP
00002cf6: JUMPDEST
00002cf7: POP
00002cf8: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002d19: SWAP1
00002d1a: JUMP
00002d1b: JUMPDEST
00002d1c: PUSH2 0x2d23
00002d1f: PUSH2 0x235b
00002d22: JUMP
00002d23: JUMPDEST
00002d24: DUP1
00002d25: MLOAD
00002d26: SWAP1
00002d27: DUP2
00002d28: ISZERO
00002d29: PUSH2 0x2d33
00002d2c: JUMPI
00002d2d: PUSH1 0x20
00002d2f: ADD
00002d30: KECCAK256
00002d31: SWAP1
00002d32: JUMP
00002d33: JUMPDEST
00002d34: POP
00002d35: POP
00002d36: PUSH32 0xa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d101
00002d57: SLOAD
00002d58: DUP1
00002d59: ISZERO
00002d5a: PUSH2 0x2cf6
00002d5d: JUMPI
00002d5e: SWAP1
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: SWAP1
00002d62: PUSH2 0x2d84
00002d65: JUMPI
00002d66: POP
00002d67: DUP1
00002d68: MLOAD
00002d69: ISZERO
00002d6a: PUSH2 0x2d75
00002d6d: JUMPI
00002d6e: DUP1
00002d6f: MLOAD
00002d70: SWAP1
00002d71: PUSH1 0x20
00002d73: ADD
00002d74: REVERT
00002d75: JUMPDEST
00002d76: PUSH4 0xd6bda275
00002d7b: PUSH1 0xe0
00002d7d: SHL
00002d7e: PUSH0
00002d7f: MSTORE
00002d80: PUSH1 0x04
00002d82: PUSH0
00002d83: REVERT
00002d84: JUMPDEST
00002d85: DUP2
00002d86: MLOAD
00002d87: ISZERO
00002d88: DUP1
00002d89: PUSH2 0x2db5
00002d8c: JUMPI
00002d8d: JUMPDEST
00002d8e: PUSH2 0x2d95
00002d91: JUMPI
00002d92: POP
00002d93: SWAP1
00002d94: JUMP
00002d95: JUMPDEST
00002d96: PUSH4 0x9996b315
00002d9b: PUSH1 0xe0
00002d9d: SHL
00002d9e: PUSH0
00002d9f: SWAP1
00002da0: DUP2
00002da1: MSTORE
00002da2: PUSH1 0x01
00002da4: PUSH1 0x01
00002da6: PUSH1 0xa0
00002da8: SHL
00002da9: SUB
00002daa: SWAP2
00002dab: SWAP1
00002dac: SWAP2
00002dad: AND
00002dae: PUSH1 0x04
00002db0: MSTORE
00002db1: PUSH1 0x24
00002db3: SWAP1
00002db4: REVERT
00002db5: JUMPDEST
00002db6: POP
00002db7: DUP1
00002db8: EXTCODESIZE
00002db9: ISZERO
00002dba: PUSH2 0x2d8d
00002dbd: JUMP
00002dbe: INVALID
00002dbf: UNKNOWN(0x2C)
00002dc0: CALLDATALOAD
00002dc1: GAS
00002dc2: LT
00002dc3: UNKNOWN(0x29)
00002dc4: UNKNOWN(0xF7)
00002dc5: UNKNOWN(0x29)
00002dc6: PUSH30 0xe90b706beea350b0073a5f8d06c07726a159113e4caa7d6ac1f6fe24621c
00002de5: UNKNOWN(0xE8)
00002de6: CLZ
00002de7: UNKNOWN(0xC5)
00002de8: DUP3
00002de9: PUSH29 0xaf0253cadb74709b061630e6b55e82371705932000a16a46d94261c751
00002e07: PUSH29 0xc8ff89f61c0ce93598e3c849801011dee649a6a557d102a16a46d94261
00002e25: UNKNOWN(0xC7)
00002e26: MLOAD
00002e27: PUSH29 0xc8ff89f61c0ce93598e3c849801011dee649a6a557d1032c355a1029f7
00002e45: UNKNOWN(0x29)
00002e46: PUSH30 0xe90b706beea350b0073a5f8d06c07726a159113e4caa7d6b360894a13ba1
00002e65: LOG3
00002e66: UNKNOWN(0x21)
00002e67: MOD
00002e68: PUSH8 0xc828492db98dca3e
00002e71: KECCAK256
00002e72: PUSH23 0xcc3735a920a3ca505d382bbcdf8b4c520ffe197c5343c6
00002e8a: CREATE2
00002e8b: UNKNOWN(0xAE)
00002e8c: UNKNOWN(0xC5)
00002e8d: SWAP6
00002e8e: PUSH17 0x151ef9a492f2c624fd45ddde6135ec4202
00002ea0: UNKNOWN(0xDD)
00002ea1: PUSH28 0xc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b6268
00002ebe: STOP
00002ebf: UNKNOWN(0xCD)
00002ec0: MCOPY
00002ec1: UNKNOWN(0xD1)
00002ec2: TLOAD
00002ec3: PUSH15 0x187e77e9aee88184c21f4f2182ab58
00002ed3: UNKNOWN(0x27)
00002ed4: UNKNOWN(0xCB)
00002ed5: EXTCODESIZE
00002ed6: PUSH31 0x07fbedcd63f033009b779b17422d0df92223018b32b4d1fa46e071723d6817
00002ef6: UNKNOWN(0xE2)
00002ef7: BASEFEE
00002ef8: PUSH14 0x003becc55f00f0c57e16840df040
00002f07: CALL
00002f08: POP
00002f09: DUP9
00002f0a: UNKNOWN(0xDC)
00002f0b: UNKNOWN(0x2F)
00002f0c: DUP2
00002f0d: INVALID
00002f0e: CODECOPY
00002f0f: SHR
00002f10: CODECOPY
00002f11: UNKNOWN(0x23)
00002f12: UNKNOWN(0xBE)
00002f13: UNKNOWN(0xC7)
00002f14: RETURNDATACOPY
00002f15: UNKNOWN(0x23)
00002f16: UNKNOWN(0xA9)
00002f17: PUSH7 0x2efc9c229c6a00
00002f1f: LOG2
00002f20: PUSH5 0x6970667358
00002f26: UNKNOWN(0x22)
00002f27: SLT
00002f28: KECCAK256
00002f29: PUSH12 0x295983ecc3548aafadfec547
00002f36: SLOAD
00002f37: GASPRICE
00002f38: UNKNOWN(0x2A)
00002f39: UNKNOWN(0xCE)
00002f3a: UNKNOWN(0xAD)
00002f3b: UNKNOWN(0x4E)
00002f3c: PUSH15 0x7a85be72dc478ce940ca549764736f
00002f4c: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0xcf331f20b9103f67e58ac494c357e0b44dccb5c7d068e360f785bc2b60653b74
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0xcf331f20b9103f67e58ac494c357e0b44dccb5c7d068e360f785bc2b60653b74",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1be1c18f",
            "selector": "0x1be1c18f",
            "calldata_variants": [
                "0x1be1c18f",
                "0x1be1c18f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x250bf93a",
            "selector": "0x250bf93a",
            "calldata_variants": [
                "0x250bf93a",
                "0x250bf93a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3271ba8d",
            "selector": "0x3271ba8d",
            "calldata_variants": [
                "0x3271ba8d",
                "0x3271ba8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x33b5b0b5",
            "selector": "0x33b5b0b5",
            "calldata_variants": [
                "0x33b5b0b5",
                "0x33b5b0b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36568abe",
            "selector": "0x36568abe",
            "calldata_variants": [
                "0x36568abe",
                "0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 11427,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x39867c585b80a171aebd629b8c1cedcc449ff9a1c0d95ae23f3446e54b58670a
call_targets: 0x471a8de3eec36775d230070f9704cc86bf0f360d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x39867c585b80a171aebd629b8c1cedcc449ff9a1c0d95ae23f3446e54b58670a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x471a8de3eec36775d230070f9704cc86bf0f360d"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1be1c18f",
            "selector": "0x1be1c18f",
            "calldata_variants": [
                "0x1be1c18f",
                "0x1be1c18f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x250bf93a",
            "selector": "0x250bf93a",
            "calldata_variants": [
                "0x250bf93a",
                "0x250bf93a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3271ba8d",
            "selector": "0x3271ba8d",
            "calldata_variants": [
                "0x3271ba8d",
                "0x3271ba8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x33b5b0b5",
            "selector": "0x33b5b0b5",
            "calldata_variants": [
                "0x33b5b0b5",
                "0x33b5b0b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36568abe",
            "selector": "0x36568abe",
            "calldata_variants": [
                "0x36568abe",
                "0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8454,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9373,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9540,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x39867c585b80a171aebd629b8c1cedcc449ff9a1c0d95ae23f3446e54b58670a
call_targets: 0x471a8de3eec36775d230070f9704cc86bf0f360d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x39867c585b80a171aebd629b8c1cedcc449ff9a1c0d95ae23f3446e54b58670a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x471a8de3eec36775d230070f9704cc86bf0f360d"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1be1c18f",
            "selector": "0x1be1c18f",
            "calldata_variants": [
                "0x1be1c18f",
                "0x1be1c18f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x250bf93a",
            "selector": "0x250bf93a",
            "calldata_variants": [
                "0x250bf93a",
                "0x250bf93a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3271ba8d",
            "selector": "0x3271ba8d",
            "calldata_variants": [
                "0x3271ba8d",
                "0x3271ba8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x33b5b0b5",
            "selector": "0x33b5b0b5",
            "calldata_variants": [
                "0x33b5b0b5",
                "0x33b5b0b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36568abe",
            "selector": "0x36568abe",
            "calldata_variants": [
                "0x36568abe",
                "0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8454,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9373,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9540,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x962d4d31e2898fde86363abbcf1e826c484fc2de4adb7fa9c5917ac01d988df6
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x962d4d31e2898fde86363abbcf1e826c484fc2de4adb7fa9c5917ac01d988df6",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1be1c18f",
            "selector": "0x1be1c18f",
            "calldata_variants": [
                "0x1be1c18f",
                "0x1be1c18f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x250bf93a",
            "selector": "0x250bf93a",
            "calldata_variants": [
                "0x250bf93a",
                "0x250bf93a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3271ba8d",
            "selector": "0x3271ba8d",
            "calldata_variants": [
                "0x3271ba8d",
                "0x3271ba8d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x33b5b0b5",
            "selector": "0x33b5b0b5",
            "calldata_variants": [
                "0x33b5b0b5",
                "0x33b5b0b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36568abe",
            "selector": "0x36568abe",
            "calldata_variants": [
                "0x36568abe",
                "0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 1
}
medium upgradeability cast DELEGATECALL present 80 no —
view
evidence_json 
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
low other cast Contract creation opcode present 60 no —
view
evidence_json 
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 1
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no —
view
evidence_json 
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 7
}