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

Analysis Run

019b477e-d44a-73d1-9ba4-9c54cbc37a53

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
28313 artifact.fetch complete 1 / 3 4 months ago
28314 tool.cast_disasm complete 1 / 3 4 months ago
71379 analysis.bundle complete 1 / 3 2 weeks ago
71380 capability.graph complete 1 / 3 2 weeks ago
71381 detector.run complete 1 / 3 2 weeks ago
71382 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
1
Total opcodes
6514
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0303
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x92136913
00000019: GT
0000001a: PUSH2 0x0190
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc17b5b8c
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd62ed3e
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf11a24d3
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf11a24d3
00000045: EQ
00000046: PUSH2 0x0928
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x093e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf6374342
0000005b: EQ
0000005c: PUSH2 0x095e
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf8b45b05
00000066: EQ
00000067: PUSH2 0x0974
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xdd62ed3e
00000076: EQ
00000077: PUSH2 0x08b7
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe2f45605
00000081: EQ
00000082: PUSH2 0x08fd
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe884f260
0000008c: EQ
0000008d: PUSH2 0x0913
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xc17b5b8c
0000009c: EQ
0000009d: PUSH2 0x0811
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc18bc195
000000a7: EQ
000000a8: PUSH2 0x0831
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc876d0b9
000000b2: EQ
000000b3: PUSH2 0x0851
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc8c8ebe4
000000bd: EQ
000000be: PUSH2 0x086b
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xd257b34f
000000c8: EQ
000000c9: PUSH2 0x0881
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xd85ba063
000000d3: EQ
000000d4: PUSH2 0x08a1
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xa0d82dc5
000000e3: GT
000000e4: PUSH2 0x0149
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xaacebbe3
000000ee: GT
000000ef: PUSH2 0x0123
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xaacebbe3
000000f9: EQ
000000fa: PUSH2 0x0782
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xb62496f5
00000104: EQ
00000105: PUSH2 0x07a2
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xbbc0c742
0000010f: EQ
00000110: PUSH2 0x07d2
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xc0246668
0000011a: EQ
0000011b: PUSH2 0x07f1
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0xa0d82dc5
0000012a: EQ
0000012b: PUSH2 0x072c
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xa457c2d7
00000135: EQ
00000136: PUSH2 0x0742
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xa9059cbb
00000140: EQ
00000141: PUSH2 0x0762
00000144: JUMPI
00000145: PUSH1 0x00
00000147: DUP1
00000148: REVERT
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x92136913
00000150: EQ
00000151: PUSH2 0x0695
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x924de9b7
0000015b: EQ
0000015c: PUSH2 0x06ab
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x95d89b41
00000166: EQ
00000167: PUSH2 0x06cb
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x9a7a23d6
00000171: EQ
00000172: PUSH2 0x06e0
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x9c3b4fdc
0000017c: EQ
0000017d: PUSH2 0x0700
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x9fccce32
00000187: EQ
00000188: PUSH2 0x0716
0000018b: JUMPI
0000018c: PUSH1 0x00
0000018e: DUP1
0000018f: REVERT
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x49bd5a5e
00000197: GT
00000198: PUSH2 0x024f
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x715018a6
000001a2: GT
000001a3: PUSH2 0x0208
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x7bce5a04
000001ad: GT
000001ae: PUSH2 0x01e2
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x7bce5a04
000001b8: EQ
000001b9: PUSH2 0x062c
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x8095d564
000001c3: EQ
000001c4: PUSH2 0x0642
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x8a8c523c
000001ce: EQ
000001cf: PUSH2 0x0662
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x8da5cb5b
000001d9: EQ
000001da: PUSH2 0x0677
000001dd: JUMPI
000001de: PUSH1 0x00
000001e0: DUP1
000001e1: REVERT
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH4 0x715018a6
000001e9: EQ
000001ea: PUSH2 0x05e2
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x751039fc
000001f4: EQ
000001f5: PUSH2 0x05f7
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x7571336a
000001ff: EQ
00000200: PUSH2 0x060c
00000203: JUMPI
00000204: PUSH1 0x00
00000206: DUP1
00000207: REVERT
00000208: JUMPDEST
00000209: DUP1
0000020a: PUSH4 0x49bd5a5e
0000020f: EQ
00000210: PUSH2 0x04ef
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x4a62bb65
0000021a: EQ
0000021b: PUSH2 0x0523
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0x4fbee193
00000225: EQ
00000226: PUSH2 0x053d
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0x6a486a8e
00000230: EQ
00000231: PUSH2 0x0576
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0x6ddd1713
0000023b: EQ
0000023c: PUSH2 0x058c
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0x70a08231
00000246: EQ
00000247: PUSH2 0x05ac
0000024a: JUMPI
0000024b: PUSH1 0x00
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: DUP1
00000251: PUSH4 0x1a8145bb
00000256: GT
00000257: PUSH2 0x02bc
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x23b872dd
00000261: GT
00000262: PUSH2 0x0296
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0x23b872dd
0000026c: EQ
0000026d: PUSH2 0x0473
00000270: JUMPI
00000271: DUP1
00000272: PUSH4 0x2d5a5d34
00000277: EQ
00000278: PUSH2 0x0493
0000027b: JUMPI
0000027c: DUP1
0000027d: PUSH4 0x313ce567
00000282: EQ
00000283: PUSH2 0x04b3
00000286: JUMPI
00000287: DUP1
00000288: PUSH4 0x39509351
0000028d: EQ
0000028e: PUSH2 0x04cf
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: DUP1
00000298: PUSH4 0x1a8145bb
0000029d: EQ
0000029e: PUSH2 0x0427
000002a1: JUMPI
000002a2: DUP1
000002a3: PUSH4 0x1f3fed8f
000002a8: EQ
000002a9: PUSH2 0x043d
000002ac: JUMPI
000002ad: DUP1
000002ae: PUSH4 0x203e727e
000002b3: EQ
000002b4: PUSH2 0x0453
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: DUP1
000002be: PUSH4 0x06fdde03
000002c3: EQ
000002c4: PUSH2 0x030f
000002c7: JUMPI
000002c8: DUP1
000002c9: PUSH4 0x095ea7b3
000002ce: EQ
000002cf: PUSH2 0x033a
000002d2: JUMPI
000002d3: DUP1
000002d4: PUSH4 0x10d5de53
000002d9: EQ
000002da: PUSH2 0x036a
000002dd: JUMPI
000002de: DUP1
000002df: PUSH4 0x1694505e
000002e4: EQ
000002e5: PUSH2 0x039a
000002e8: JUMPI
000002e9: DUP1
000002ea: PUSH4 0x18160ddd
000002ef: EQ
000002f0: PUSH2 0x03e6
000002f3: JUMPI
000002f4: DUP1
000002f5: PUSH4 0x1816467f
000002fa: EQ
000002fb: PUSH2 0x0405
000002fe: JUMPI
000002ff: PUSH1 0x00
00000301: DUP1
00000302: REVERT
00000303: JUMPDEST
00000304: CALLDATASIZE
00000305: PUSH2 0x030a
00000308: JUMPI
00000309: STOP
0000030a: JUMPDEST
0000030b: PUSH1 0x00
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: POP
0000031d: PUSH2 0x0324
00000320: PUSH2 0x098a
00000323: JUMP
00000324: JUMPDEST
00000325: PUSH1 0x40
00000327: MLOAD
00000328: PUSH2 0x0331
0000032b: SWAP2
0000032c: SWAP1
0000032d: PUSH2 0x26a1
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: SWAP2
00000337: SUB
00000338: SWAP1
00000339: RETURN
0000033a: JUMPDEST
0000033b: CALLVALUE
0000033c: DUP1
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: POP
00000348: PUSH2 0x035a
0000034b: PUSH2 0x0355
0000034e: CALLDATASIZE
0000034f: PUSH1 0x04
00000351: PUSH2 0x270e
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH2 0x0a1c
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: SWAP1
0000035f: ISZERO
00000360: ISZERO
00000361: DUP2
00000362: MSTORE
00000363: PUSH1 0x20
00000365: ADD
00000366: PUSH2 0x0331
00000369: JUMP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: PUSH2 0x035a
0000037b: PUSH2 0x0385
0000037e: CALLDATASIZE
0000037f: PUSH1 0x04
00000381: PUSH2 0x273a
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x1d
00000388: PUSH1 0x20
0000038a: MSTORE
0000038b: PUSH1 0x00
0000038d: SWAP1
0000038e: DUP2
0000038f: MSTORE
00000390: PUSH1 0x40
00000392: SWAP1
00000393: KECCAK256
00000394: SLOAD
00000395: PUSH1 0xff
00000397: AND
00000398: DUP2
00000399: JUMP
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x03ce
000003ab: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000003cc: DUP2
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH1 0x40
000003d1: MLOAD
000003d2: PUSH1 0x01
000003d4: PUSH1 0x01
000003d6: PUSH1 0xa0
000003d8: SHL
000003d9: SUB
000003da: SWAP1
000003db: SWAP2
000003dc: AND
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x20
000003e1: ADD
000003e2: PUSH2 0x0331
000003e5: JUMP
000003e6: JUMPDEST
000003e7: CALLVALUE
000003e8: DUP1
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: POP
000003f4: PUSH1 0x02
000003f6: SLOAD
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: MLOAD
000003fb: SWAP1
000003fc: DUP2
000003fd: MSTORE
000003fe: PUSH1 0x20
00000400: ADD
00000401: PUSH2 0x0331
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH2 0x0425
00000416: PUSH2 0x0420
00000419: CALLDATASIZE
0000041a: PUSH1 0x04
0000041c: PUSH2 0x273a
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x0a33
00000424: JUMP
00000425: JUMPDEST
00000426: STOP
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH2 0x03f7
00000438: PUSH1 0x19
0000043a: SLOAD
0000043b: DUP2
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: PUSH2 0x03f7
0000044e: PUSH1 0x18
00000450: SLOAD
00000451: DUP2
00000452: JUMP
00000453: JUMPDEST
00000454: CALLVALUE
00000455: DUP1
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: POP
00000461: PUSH2 0x0425
00000464: PUSH2 0x046e
00000467: CALLDATASIZE
00000468: PUSH1 0x04
0000046a: PUSH2 0x2757
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH2 0x0ac3
00000472: JUMP
00000473: JUMPDEST
00000474: CALLVALUE
00000475: DUP1
00000476: ISZERO
00000477: PUSH2 0x047f
0000047a: JUMPI
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: REVERT
0000047f: JUMPDEST
00000480: POP
00000481: PUSH2 0x035a
00000484: PUSH2 0x048e
00000487: CALLDATASIZE
00000488: PUSH1 0x04
0000048a: PUSH2 0x2770
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x0ba0
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH2 0x0425
000004a4: PUSH2 0x04ae
000004a7: CALLDATASIZE
000004a8: PUSH1 0x04
000004aa: PUSH2 0x27c1
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH2 0x0c09
000004b2: JUMP
000004b3: JUMPDEST
000004b4: CALLVALUE
000004b5: DUP1
000004b6: ISZERO
000004b7: PUSH2 0x04bf
000004ba: JUMPI
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: REVERT
000004bf: JUMPDEST
000004c0: POP
000004c1: PUSH1 0x40
000004c3: MLOAD
000004c4: PUSH1 0x12
000004c6: DUP2
000004c7: MSTORE
000004c8: PUSH1 0x20
000004ca: ADD
000004cb: PUSH2 0x0331
000004ce: JUMP
000004cf: JUMPDEST
000004d0: CALLVALUE
000004d1: DUP1
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH1 0x00
000004d9: DUP1
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: PUSH2 0x035a
000004e0: PUSH2 0x04ea
000004e3: CALLDATASIZE
000004e4: PUSH1 0x04
000004e6: PUSH2 0x270e
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH2 0x0c5e
000004ee: JUMP
000004ef: JUMPDEST
000004f0: CALLVALUE
000004f1: DUP1
000004f2: ISZERO
000004f3: PUSH2 0x04fb
000004f6: JUMPI
000004f7: PUSH1 0x00
000004f9: DUP1
000004fa: REVERT
000004fb: JUMPDEST
000004fc: POP
000004fd: PUSH2 0x03ce
00000500: PUSH32 0x000000000000000000000000f0b2e5977348af879f1a78185b819bfe471e6658
00000521: DUP2
00000522: JUMP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH1 0x0b
00000533: SLOAD
00000534: PUSH2 0x035a
00000537: SWAP1
00000538: PUSH1 0xff
0000053a: AND
0000053b: DUP2
0000053c: JUMP
0000053d: JUMPDEST
0000053e: CALLVALUE
0000053f: DUP1
00000540: ISZERO
00000541: PUSH2 0x0549
00000544: JUMPI
00000545: PUSH1 0x00
00000547: DUP1
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH2 0x035a
0000054e: PUSH2 0x0558
00000551: CALLDATASIZE
00000552: PUSH1 0x04
00000554: PUSH2 0x273a
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH1 0x01
0000055b: PUSH1 0x01
0000055d: PUSH1 0xa0
0000055f: SHL
00000560: SUB
00000561: AND
00000562: PUSH1 0x00
00000564: SWAP1
00000565: DUP2
00000566: MSTORE
00000567: PUSH1 0x1c
00000569: PUSH1 0x20
0000056b: MSTORE
0000056c: PUSH1 0x40
0000056e: SWAP1
0000056f: KECCAK256
00000570: SLOAD
00000571: PUSH1 0xff
00000573: AND
00000574: SWAP1
00000575: JUMP
00000576: JUMPDEST
00000577: CALLVALUE
00000578: DUP1
00000579: ISZERO
0000057a: PUSH2 0x0582
0000057d: JUMPI
0000057e: PUSH1 0x00
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: POP
00000584: PUSH2 0x03f7
00000587: PUSH1 0x14
00000589: SLOAD
0000058a: DUP2
0000058b: JUMP
0000058c: JUMPDEST
0000058d: CALLVALUE
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x0598
00000593: JUMPI
00000594: PUSH1 0x00
00000596: DUP1
00000597: REVERT
00000598: JUMPDEST
00000599: POP
0000059a: PUSH1 0x0b
0000059c: SLOAD
0000059d: PUSH2 0x035a
000005a0: SWAP1
000005a1: PUSH3 0x010000
000005a5: SWAP1
000005a6: DIV
000005a7: PUSH1 0xff
000005a9: AND
000005aa: DUP2
000005ab: JUMP
000005ac: JUMPDEST
000005ad: CALLVALUE
000005ae: DUP1
000005af: ISZERO
000005b0: PUSH2 0x05b8
000005b3: JUMPI
000005b4: PUSH1 0x00
000005b6: DUP1
000005b7: REVERT
000005b8: JUMPDEST
000005b9: POP
000005ba: PUSH2 0x03f7
000005bd: PUSH2 0x05c7
000005c0: CALLDATASIZE
000005c1: PUSH1 0x04
000005c3: PUSH2 0x273a
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH1 0x01
000005ca: PUSH1 0x01
000005cc: PUSH1 0xa0
000005ce: SHL
000005cf: SUB
000005d0: AND
000005d1: PUSH1 0x00
000005d3: SWAP1
000005d4: DUP2
000005d5: MSTORE
000005d6: PUSH1 0x20
000005d8: DUP2
000005d9: SWAP1
000005da: MSTORE
000005db: PUSH1 0x40
000005dd: SWAP1
000005de: KECCAK256
000005df: SLOAD
000005e0: SWAP1
000005e1: JUMP
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: DUP1
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH2 0x0425
000005f3: PUSH2 0x0c94
000005f6: JUMP
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH2 0x035a
00000608: PUSH2 0x0d08
0000060b: JUMP
0000060c: JUMPDEST
0000060d: CALLVALUE
0000060e: DUP1
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH1 0x00
00000616: DUP1
00000617: REVERT
00000618: JUMPDEST
00000619: POP
0000061a: PUSH2 0x0425
0000061d: PUSH2 0x0627
00000620: CALLDATASIZE
00000621: PUSH1 0x04
00000623: PUSH2 0x27c1
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH2 0x0d45
0000062b: JUMP
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x0638
00000633: JUMPI
00000634: PUSH1 0x00
00000636: DUP1
00000637: REVERT
00000638: JUMPDEST
00000639: POP
0000063a: PUSH2 0x03f7
0000063d: PUSH1 0x11
0000063f: SLOAD
00000640: DUP2
00000641: JUMP
00000642: JUMPDEST
00000643: CALLVALUE
00000644: DUP1
00000645: ISZERO
00000646: PUSH2 0x064e
00000649: JUMPI
0000064a: PUSH1 0x00
0000064c: DUP1
0000064d: REVERT
0000064e: JUMPDEST
0000064f: POP
00000650: PUSH2 0x0425
00000653: PUSH2 0x065d
00000656: CALLDATASIZE
00000657: PUSH1 0x04
00000659: PUSH2 0x27f6
0000065c: JUMP
0000065d: JUMPDEST
0000065e: PUSH2 0x0d9a
00000661: JUMP
00000662: JUMPDEST
00000663: CALLVALUE
00000664: DUP1
00000665: ISZERO
00000666: PUSH2 0x066e
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: POP
00000670: PUSH2 0x0425
00000673: PUSH2 0x0df0
00000676: JUMP
00000677: JUMPDEST
00000678: CALLVALUE
00000679: DUP1
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: POP
00000685: PUSH1 0x05
00000687: SLOAD
00000688: PUSH1 0x01
0000068a: PUSH1 0x01
0000068c: PUSH1 0xa0
0000068e: SHL
0000068f: SUB
00000690: AND
00000691: PUSH2 0x03ce
00000694: JUMP
00000695: JUMPDEST
00000696: CALLVALUE
00000697: DUP1
00000698: ISZERO
00000699: PUSH2 0x06a1
0000069c: JUMPI
0000069d: PUSH1 0x00
0000069f: DUP1
000006a0: REVERT
000006a1: JUMPDEST
000006a2: POP
000006a3: PUSH2 0x03f7
000006a6: PUSH1 0x15
000006a8: SLOAD
000006a9: DUP2
000006aa: JUMP
000006ab: JUMPDEST
000006ac: CALLVALUE
000006ad: DUP1
000006ae: ISZERO
000006af: PUSH2 0x06b7
000006b2: JUMPI
000006b3: PUSH1 0x00
000006b5: DUP1
000006b6: REVERT
000006b7: JUMPDEST
000006b8: POP
000006b9: PUSH2 0x0425
000006bc: PUSH2 0x06c6
000006bf: CALLDATASIZE
000006c0: PUSH1 0x04
000006c2: PUSH2 0x2822
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH2 0x0e31
000006ca: JUMP
000006cb: JUMPDEST
000006cc: CALLVALUE
000006cd: DUP1
000006ce: ISZERO
000006cf: PUSH2 0x06d7
000006d2: JUMPI
000006d3: PUSH1 0x00
000006d5: DUP1
000006d6: REVERT
000006d7: JUMPDEST
000006d8: POP
000006d9: PUSH2 0x0324
000006dc: PUSH2 0x0e77
000006df: JUMP
000006e0: JUMPDEST
000006e1: CALLVALUE
000006e2: DUP1
000006e3: ISZERO
000006e4: PUSH2 0x06ec
000006e7: JUMPI
000006e8: PUSH1 0x00
000006ea: DUP1
000006eb: REVERT
000006ec: JUMPDEST
000006ed: POP
000006ee: PUSH2 0x0425
000006f1: PUSH2 0x06fb
000006f4: CALLDATASIZE
000006f5: PUSH1 0x04
000006f7: PUSH2 0x27c1
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH2 0x0e86
000006ff: JUMP
00000700: JUMPDEST
00000701: CALLVALUE
00000702: DUP1
00000703: ISZERO
00000704: PUSH2 0x070c
00000707: JUMPI
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: REVERT
0000070c: JUMPDEST
0000070d: POP
0000070e: PUSH2 0x03f7
00000711: PUSH1 0x13
00000713: SLOAD
00000714: DUP2
00000715: JUMP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x03f7
00000727: PUSH1 0x1a
00000729: SLOAD
0000072a: DUP2
0000072b: JUMP
0000072c: JUMPDEST
0000072d: CALLVALUE
0000072e: DUP1
0000072f: ISZERO
00000730: PUSH2 0x0738
00000733: JUMPI
00000734: PUSH1 0x00
00000736: DUP1
00000737: REVERT
00000738: JUMPDEST
00000739: POP
0000073a: PUSH2 0x03f7
0000073d: PUSH1 0x17
0000073f: SLOAD
00000740: DUP2
00000741: JUMP
00000742: JUMPDEST
00000743: CALLVALUE
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: POP
00000750: PUSH2 0x035a
00000753: PUSH2 0x075d
00000756: CALLDATASIZE
00000757: PUSH1 0x04
00000759: PUSH2 0x270e
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH2 0x0f66
00000761: JUMP
00000762: JUMPDEST
00000763: CALLVALUE
00000764: DUP1
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH2 0x035a
00000773: PUSH2 0x077d
00000776: CALLDATASIZE
00000777: PUSH1 0x04
00000779: PUSH2 0x270e
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH2 0x0fb5
00000781: JUMP
00000782: JUMPDEST
00000783: CALLVALUE
00000784: DUP1
00000785: ISZERO
00000786: PUSH2 0x078e
00000789: JUMPI
0000078a: PUSH1 0x00
0000078c: DUP1
0000078d: REVERT
0000078e: JUMPDEST
0000078f: POP
00000790: PUSH2 0x0425
00000793: PUSH2 0x079d
00000796: CALLDATASIZE
00000797: PUSH1 0x04
00000799: PUSH2 0x273a
0000079c: JUMP
0000079d: JUMPDEST
0000079e: PUSH2 0x0fc2
000007a1: JUMP
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x035a
000007b3: PUSH2 0x07bd
000007b6: CALLDATASIZE
000007b7: PUSH1 0x04
000007b9: PUSH2 0x273a
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH1 0x1e
000007c0: PUSH1 0x20
000007c2: MSTORE
000007c3: PUSH1 0x00
000007c5: SWAP1
000007c6: DUP2
000007c7: MSTORE
000007c8: PUSH1 0x40
000007ca: SWAP1
000007cb: KECCAK256
000007cc: SLOAD
000007cd: PUSH1 0xff
000007cf: AND
000007d0: DUP2
000007d1: JUMP
000007d2: JUMPDEST
000007d3: CALLVALUE
000007d4: DUP1
000007d5: ISZERO
000007d6: PUSH2 0x07de
000007d9: JUMPI
000007da: PUSH1 0x00
000007dc: DUP1
000007dd: REVERT
000007de: JUMPDEST
000007df: POP
000007e0: PUSH1 0x0b
000007e2: SLOAD
000007e3: PUSH2 0x035a
000007e6: SWAP1
000007e7: PUSH2 0x0100
000007ea: SWAP1
000007eb: DIV
000007ec: PUSH1 0xff
000007ee: AND
000007ef: DUP2
000007f0: JUMP
000007f1: JUMPDEST
000007f2: CALLVALUE
000007f3: DUP1
000007f4: ISZERO
000007f5: PUSH2 0x07fd
000007f8: JUMPI
000007f9: PUSH1 0x00
000007fb: DUP1
000007fc: REVERT
000007fd: JUMPDEST
000007fe: POP
000007ff: PUSH2 0x0425
00000802: PUSH2 0x080c
00000805: CALLDATASIZE
00000806: PUSH1 0x04
00000808: PUSH2 0x27c1
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH2 0x1049
00000810: JUMP
00000811: JUMPDEST
00000812: CALLVALUE
00000813: DUP1
00000814: ISZERO
00000815: PUSH2 0x081d
00000818: JUMPI
00000819: PUSH1 0x00
0000081b: DUP1
0000081c: REVERT
0000081d: JUMPDEST
0000081e: POP
0000081f: PUSH2 0x0425
00000822: PUSH2 0x082c
00000825: CALLDATASIZE
00000826: PUSH1 0x04
00000828: PUSH2 0x27f6
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH2 0x10d2
00000830: JUMP
00000831: JUMPDEST
00000832: CALLVALUE
00000833: DUP1
00000834: ISZERO
00000835: PUSH2 0x083d
00000838: JUMPI
00000839: PUSH1 0x00
0000083b: DUP1
0000083c: REVERT
0000083d: JUMPDEST
0000083e: POP
0000083f: PUSH2 0x0425
00000842: PUSH2 0x084c
00000845: CALLDATASIZE
00000846: PUSH1 0x04
00000848: PUSH2 0x2757
0000084b: JUMP
0000084c: JUMPDEST
0000084d: PUSH2 0x1128
00000850: JUMP
00000851: JUMPDEST
00000852: CALLVALUE
00000853: DUP1
00000854: ISZERO
00000855: PUSH2 0x085d
00000858: JUMPI
00000859: PUSH1 0x00
0000085b: DUP1
0000085c: REVERT
0000085d: JUMPDEST
0000085e: POP
0000085f: PUSH1 0x0f
00000861: SLOAD
00000862: PUSH2 0x035a
00000865: SWAP1
00000866: PUSH1 0xff
00000868: AND
00000869: DUP2
0000086a: JUMP
0000086b: JUMPDEST
0000086c: CALLVALUE
0000086d: DUP1
0000086e: ISZERO
0000086f: PUSH2 0x0877
00000872: JUMPI
00000873: PUSH1 0x00
00000875: DUP1
00000876: REVERT
00000877: JUMPDEST
00000878: POP
00000879: PUSH2 0x03f7
0000087c: PUSH1 0x08
0000087e: SLOAD
0000087f: DUP2
00000880: JUMP
00000881: JUMPDEST
00000882: CALLVALUE
00000883: DUP1
00000884: ISZERO
00000885: PUSH2 0x088d
00000888: JUMPI
00000889: PUSH1 0x00
0000088b: DUP1
0000088c: REVERT
0000088d: JUMPDEST
0000088e: POP
0000088f: PUSH2 0x035a
00000892: PUSH2 0x089c
00000895: CALLDATASIZE
00000896: PUSH1 0x04
00000898: PUSH2 0x2757
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH2 0x11f9
000008a0: JUMP
000008a1: JUMPDEST
000008a2: CALLVALUE
000008a3: DUP1
000008a4: ISZERO
000008a5: PUSH2 0x08ad
000008a8: JUMPI
000008a9: PUSH1 0x00
000008ab: DUP1
000008ac: REVERT
000008ad: JUMPDEST
000008ae: POP
000008af: PUSH2 0x03f7
000008b2: PUSH1 0x10
000008b4: SLOAD
000008b5: DUP2
000008b6: JUMP
000008b7: JUMPDEST
000008b8: CALLVALUE
000008b9: DUP1
000008ba: ISZERO
000008bb: PUSH2 0x08c3
000008be: JUMPI
000008bf: PUSH1 0x00
000008c1: DUP1
000008c2: REVERT
000008c3: JUMPDEST
000008c4: POP
000008c5: PUSH2 0x03f7
000008c8: PUSH2 0x08d2
000008cb: CALLDATASIZE
000008cc: PUSH1 0x04
000008ce: PUSH2 0x283d
000008d1: JUMP
000008d2: JUMPDEST
000008d3: PUSH1 0x01
000008d5: PUSH1 0x01
000008d7: PUSH1 0xa0
000008d9: SHL
000008da: SUB
000008db: SWAP2
000008dc: DUP3
000008dd: AND
000008de: PUSH1 0x00
000008e0: SWAP1
000008e1: DUP2
000008e2: MSTORE
000008e3: PUSH1 0x01
000008e5: PUSH1 0x20
000008e7: SWAP1
000008e8: DUP2
000008e9: MSTORE
000008ea: PUSH1 0x40
000008ec: DUP1
000008ed: DUP4
000008ee: KECCAK256
000008ef: SWAP4
000008f0: SWAP1
000008f1: SWAP5
000008f2: AND
000008f3: DUP3
000008f4: MSTORE
000008f5: SWAP2
000008f6: SWAP1
000008f7: SWAP2
000008f8: MSTORE
000008f9: KECCAK256
000008fa: SLOAD
000008fb: SWAP1
000008fc: JUMP
000008fd: JUMPDEST
000008fe: CALLVALUE
000008ff: DUP1
00000900: ISZERO
00000901: PUSH2 0x0909
00000904: JUMPI
00000905: PUSH1 0x00
00000907: DUP1
00000908: REVERT
00000909: JUMPDEST
0000090a: POP
0000090b: PUSH2 0x03f7
0000090e: PUSH1 0x09
00000910: SLOAD
00000911: DUP2
00000912: JUMP
00000913: JUMPDEST
00000914: CALLVALUE
00000915: DUP1
00000916: ISZERO
00000917: PUSH2 0x091f
0000091a: JUMPI
0000091b: PUSH1 0x00
0000091d: DUP1
0000091e: REVERT
0000091f: JUMPDEST
00000920: POP
00000921: PUSH2 0x035a
00000924: PUSH2 0x1350
00000927: JUMP
00000928: JUMPDEST
00000929: CALLVALUE
0000092a: DUP1
0000092b: ISZERO
0000092c: PUSH2 0x0934
0000092f: JUMPI
00000930: PUSH1 0x00
00000932: DUP1
00000933: REVERT
00000934: JUMPDEST
00000935: POP
00000936: PUSH2 0x03f7
00000939: PUSH1 0x12
0000093b: SLOAD
0000093c: DUP2
0000093d: JUMP
0000093e: JUMPDEST
0000093f: CALLVALUE
00000940: DUP1
00000941: ISZERO
00000942: PUSH2 0x094a
00000945: JUMPI
00000946: PUSH1 0x00
00000948: DUP1
00000949: REVERT
0000094a: JUMPDEST
0000094b: POP
0000094c: PUSH2 0x0425
0000094f: PUSH2 0x0959
00000952: CALLDATASIZE
00000953: PUSH1 0x04
00000955: PUSH2 0x273a
00000958: JUMP
00000959: JUMPDEST
0000095a: PUSH2 0x138d
0000095d: JUMP
0000095e: JUMPDEST
0000095f: CALLVALUE
00000960: DUP1
00000961: ISZERO
00000962: PUSH2 0x096a
00000965: JUMPI
00000966: PUSH1 0x00
00000968: DUP1
00000969: REVERT
0000096a: JUMPDEST
0000096b: POP
0000096c: PUSH2 0x03f7
0000096f: PUSH1 0x16
00000971: SLOAD
00000972: DUP2
00000973: JUMP
00000974: JUMPDEST
00000975: CALLVALUE
00000976: DUP1
00000977: ISZERO
00000978: PUSH2 0x0980
0000097b: JUMPI
0000097c: PUSH1 0x00
0000097e: DUP1
0000097f: REVERT
00000980: JUMPDEST
00000981: POP
00000982: PUSH2 0x03f7
00000985: PUSH1 0x0a
00000987: SLOAD
00000988: DUP2
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH1 0x60
0000098d: PUSH1 0x03
0000098f: DUP1
00000990: SLOAD
00000991: PUSH2 0x0999
00000994: SWAP1
00000995: PUSH2 0x2876
00000998: JUMP
00000999: JUMPDEST
0000099a: DUP1
0000099b: PUSH1 0x1f
0000099d: ADD
0000099e: PUSH1 0x20
000009a0: DUP1
000009a1: SWAP2
000009a2: DIV
000009a3: MUL
000009a4: PUSH1 0x20
000009a6: ADD
000009a7: PUSH1 0x40
000009a9: MLOAD
000009aa: SWAP1
000009ab: DUP2
000009ac: ADD
000009ad: PUSH1 0x40
000009af: MSTORE
000009b0: DUP1
000009b1: SWAP3
000009b2: SWAP2
000009b3: SWAP1
000009b4: DUP2
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x20
000009b9: ADD
000009ba: DUP3
000009bb: DUP1
000009bc: SLOAD
000009bd: PUSH2 0x09c5
000009c0: SWAP1
000009c1: PUSH2 0x2876
000009c4: JUMP
000009c5: JUMPDEST
000009c6: DUP1
000009c7: ISZERO
000009c8: PUSH2 0x0a12
000009cb: JUMPI
000009cc: DUP1
000009cd: PUSH1 0x1f
000009cf: LT
000009d0: PUSH2 0x09e7
000009d3: JUMPI
000009d4: PUSH2 0x0100
000009d7: DUP1
000009d8: DUP4
000009d9: SLOAD
000009da: DIV
000009db: MUL
000009dc: DUP4
000009dd: MSTORE
000009de: SWAP2
000009df: PUSH1 0x20
000009e1: ADD
000009e2: SWAP2
000009e3: PUSH2 0x0a12
000009e6: JUMP
000009e7: JUMPDEST
000009e8: DUP3
000009e9: ADD
000009ea: SWAP2
000009eb: SWAP1
000009ec: PUSH1 0x00
000009ee: MSTORE
000009ef: PUSH1 0x20
000009f1: PUSH1 0x00
000009f3: KECCAK256
000009f4: SWAP1
000009f5: JUMPDEST
000009f6: DUP2
000009f7: SLOAD
000009f8: DUP2
000009f9: MSTORE
000009fa: SWAP1
000009fb: PUSH1 0x01
000009fd: ADD
000009fe: SWAP1
000009ff: PUSH1 0x20
00000a01: ADD
00000a02: DUP1
00000a03: DUP4
00000a04: GT
00000a05: PUSH2 0x09f5
00000a08: JUMPI
00000a09: DUP3
00000a0a: SWAP1
00000a0b: SUB
00000a0c: PUSH1 0x1f
00000a0e: AND
00000a0f: DUP3
00000a10: ADD
00000a11: SWAP2
00000a12: JUMPDEST
00000a13: POP
00000a14: POP
00000a15: POP
00000a16: POP
00000a17: POP
00000a18: SWAP1
00000a19: POP
00000a1a: SWAP1
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: PUSH1 0x00
00000a1f: PUSH2 0x0a29
00000a22: CALLER
00000a23: DUP5
00000a24: DUP5
00000a25: PUSH2 0x14de
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: POP
00000a2b: PUSH1 0x01
00000a2d: JUMPDEST
00000a2e: SWAP3
00000a2f: SWAP2
00000a30: POP
00000a31: POP
00000a32: JUMP
00000a33: JUMPDEST
00000a34: PUSH1 0x05
00000a36: SLOAD
00000a37: PUSH1 0x01
00000a39: PUSH1 0x01
00000a3b: PUSH1 0xa0
00000a3d: SHL
00000a3e: SUB
00000a3f: AND
00000a40: CALLER
00000a41: EQ
00000a42: PUSH2 0x0a66
00000a45: JUMPI
00000a46: PUSH1 0x40
00000a48: MLOAD
00000a49: PUSH3 0x461bcd
00000a4d: PUSH1 0xe5
00000a4f: SHL
00000a50: DUP2
00000a51: MSTORE
00000a52: PUSH1 0x04
00000a54: ADD
00000a55: PUSH2 0x0a5d
00000a58: SWAP1
00000a59: PUSH2 0x28b1
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: PUSH1 0x40
00000a60: MLOAD
00000a61: DUP1
00000a62: SWAP2
00000a63: SUB
00000a64: SWAP1
00000a65: REVERT
00000a66: JUMPDEST
00000a67: PUSH1 0x07
00000a69: SLOAD
00000a6a: PUSH1 0x40
00000a6c: MLOAD
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0x01
00000a71: PUSH1 0xa0
00000a73: SHL
00000a74: SUB
00000a75: SWAP2
00000a76: DUP3
00000a77: AND
00000a78: SWAP2
00000a79: DUP4
00000a7a: AND
00000a7b: SWAP1
00000a7c: PUSH32 0x90b8024c4923d3873ff5b9fcb43d0360d4b9217fa41225d07ba379993552e743
00000a9d: SWAP1
00000a9e: PUSH1 0x00
00000aa0: SWAP1
00000aa1: LOG3
00000aa2: PUSH1 0x07
00000aa4: DUP1
00000aa5: SLOAD
00000aa6: PUSH1 0x01
00000aa8: PUSH1 0x01
00000aaa: PUSH1 0xa0
00000aac: SHL
00000aad: SUB
00000aae: NOT
00000aaf: AND
00000ab0: PUSH1 0x01
00000ab2: PUSH1 0x01
00000ab4: PUSH1 0xa0
00000ab6: SHL
00000ab7: SUB
00000ab8: SWAP3
00000ab9: SWAP1
00000aba: SWAP3
00000abb: AND
00000abc: SWAP2
00000abd: SWAP1
00000abe: SWAP2
00000abf: OR
00000ac0: SWAP1
00000ac1: SSTORE
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: PUSH1 0x05
00000ac6: SLOAD
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0x01
00000acb: PUSH1 0xa0
00000acd: SHL
00000ace: SUB
00000acf: AND
00000ad0: CALLER
00000ad1: EQ
00000ad2: PUSH2 0x0aed
00000ad5: JUMPI
00000ad6: PUSH1 0x40
00000ad8: MLOAD
00000ad9: PUSH3 0x461bcd
00000add: PUSH1 0xe5
00000adf: SHL
00000ae0: DUP2
00000ae1: MSTORE
00000ae2: PUSH1 0x04
00000ae4: ADD
00000ae5: PUSH2 0x0a5d
00000ae8: SWAP1
00000ae9: PUSH2 0x28b1
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH8 0x0de0b6b3a7640000
00000af7: PUSH2 0x03e8
00000afa: PUSH2 0x0b02
00000afd: PUSH1 0x02
00000aff: SLOAD
00000b00: SWAP1
00000b01: JUMP
00000b02: JUMPDEST
00000b03: PUSH2 0x0b0d
00000b06: SWAP1
00000b07: PUSH1 0x01
00000b09: PUSH2 0x28fc
00000b0c: JUMP
00000b0d: JUMPDEST
00000b0e: PUSH2 0x0b17
00000b11: SWAP2
00000b12: SWAP1
00000b13: PUSH2 0x291b
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH2 0x0b21
00000b1b: SWAP2
00000b1c: SWAP1
00000b1d: PUSH2 0x291b
00000b20: JUMP
00000b21: JUMPDEST
00000b22: DUP2
00000b23: LT
00000b24: ISZERO
00000b25: PUSH2 0x0b88
00000b28: JUMPI
00000b29: PUSH1 0x40
00000b2b: MLOAD
00000b2c: PUSH3 0x461bcd
00000b30: PUSH1 0xe5
00000b32: SHL
00000b33: DUP2
00000b34: MSTORE
00000b35: PUSH1 0x20
00000b37: PUSH1 0x04
00000b39: DUP3
00000b3a: ADD
00000b3b: MSTORE
00000b3c: PUSH1 0x2f
00000b3e: PUSH1 0x24
00000b40: DUP3
00000b41: ADD
00000b42: MSTORE
00000b43: PUSH32 0x43616e6e6f7420736574206d61785472616e73616374696f6e416d6f756e7420
00000b64: PUSH1 0x44
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH15 0x6c6f776572207468616e20302e3125
00000b79: PUSH1 0x88
00000b7b: SHL
00000b7c: PUSH1 0x64
00000b7e: DUP3
00000b7f: ADD
00000b80: MSTORE
00000b81: PUSH1 0x84
00000b83: ADD
00000b84: PUSH2 0x0a5d
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH2 0x0b9a
00000b8c: DUP2
00000b8d: PUSH8 0x0de0b6b3a7640000
00000b96: PUSH2 0x28fc
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH1 0x08
00000b9d: SSTORE
00000b9e: POP
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH1 0x00
00000ba3: PUSH2 0x0bad
00000ba6: DUP5
00000ba7: DUP5
00000ba8: DUP5
00000ba9: PUSH2 0x1603
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH2 0x0bff
00000bb1: DUP5
00000bb2: CALLER
00000bb3: PUSH2 0x0bfa
00000bb6: DUP6
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: DUP1
00000bbb: PUSH1 0x60
00000bbd: ADD
00000bbe: PUSH1 0x40
00000bc0: MSTORE
00000bc1: DUP1
00000bc2: PUSH1 0x28
00000bc4: DUP2
00000bc5: MSTORE
00000bc6: PUSH1 0x20
00000bc8: ADD
00000bc9: PUSH2 0x2aed
00000bcc: PUSH1 0x28
00000bce: SWAP2
00000bcf: CODECOPY
00000bd0: PUSH1 0x01
00000bd2: PUSH1 0x01
00000bd4: PUSH1 0xa0
00000bd6: SHL
00000bd7: SUB
00000bd8: DUP11
00000bd9: AND
00000bda: PUSH1 0x00
00000bdc: SWAP1
00000bdd: DUP2
00000bde: MSTORE
00000bdf: PUSH1 0x01
00000be1: PUSH1 0x20
00000be3: SWAP1
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x40
00000be8: DUP1
00000be9: DUP4
00000bea: KECCAK256
00000beb: CALLER
00000bec: DUP5
00000bed: MSTORE
00000bee: SWAP1
00000bef: SWAP2
00000bf0: MSTORE
00000bf1: SWAP1
00000bf2: KECCAK256
00000bf3: SLOAD
00000bf4: SWAP2
00000bf5: SWAP1
00000bf6: PUSH2 0x1eff
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH2 0x14de
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: POP
00000c01: PUSH1 0x01
00000c03: SWAP4
00000c04: SWAP3
00000c05: POP
00000c06: POP
00000c07: POP
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: PUSH1 0x05
00000c0c: SLOAD
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x01
00000c11: PUSH1 0xa0
00000c13: SHL
00000c14: SUB
00000c15: AND
00000c16: CALLER
00000c17: EQ
00000c18: PUSH2 0x0c33
00000c1b: JUMPI
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: PUSH3 0x461bcd
00000c23: PUSH1 0xe5
00000c25: SHL
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x04
00000c2a: ADD
00000c2b: PUSH2 0x0a5d
00000c2e: SWAP1
00000c2f: PUSH2 0x28b1
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x01
00000c36: PUSH1 0x01
00000c38: PUSH1 0xa0
00000c3a: SHL
00000c3b: SUB
00000c3c: SWAP2
00000c3d: SWAP1
00000c3e: SWAP2
00000c3f: AND
00000c40: PUSH1 0x00
00000c42: SWAP1
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH1 0x0e
00000c47: PUSH1 0x20
00000c49: MSTORE
00000c4a: PUSH1 0x40
00000c4c: SWAP1
00000c4d: KECCAK256
00000c4e: DUP1
00000c4f: SLOAD
00000c50: PUSH1 0xff
00000c52: NOT
00000c53: AND
00000c54: SWAP2
00000c55: ISZERO
00000c56: ISZERO
00000c57: SWAP2
00000c58: SWAP1
00000c59: SWAP2
00000c5a: OR
00000c5b: SWAP1
00000c5c: SSTORE
00000c5d: JUMP
00000c5e: JUMPDEST
00000c5f: CALLER
00000c60: PUSH1 0x00
00000c62: DUP2
00000c63: DUP2
00000c64: MSTORE
00000c65: PUSH1 0x01
00000c67: PUSH1 0x20
00000c69: SWAP1
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x40
00000c6e: DUP1
00000c6f: DUP4
00000c70: KECCAK256
00000c71: PUSH1 0x01
00000c73: PUSH1 0x01
00000c75: PUSH1 0xa0
00000c77: SHL
00000c78: SUB
00000c79: DUP8
00000c7a: AND
00000c7b: DUP5
00000c7c: MSTORE
00000c7d: SWAP1
00000c7e: SWAP2
00000c7f: MSTORE
00000c80: DUP2
00000c81: KECCAK256
00000c82: SLOAD
00000c83: SWAP1
00000c84: SWAP2
00000c85: PUSH2 0x0a29
00000c88: SWAP2
00000c89: DUP6
00000c8a: SWAP1
00000c8b: PUSH2 0x0bfa
00000c8e: SWAP1
00000c8f: DUP7
00000c90: PUSH2 0x1478
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH1 0x05
00000c97: SLOAD
00000c98: PUSH1 0x01
00000c9a: PUSH1 0x01
00000c9c: PUSH1 0xa0
00000c9e: SHL
00000c9f: SUB
00000ca0: AND
00000ca1: CALLER
00000ca2: EQ
00000ca3: PUSH2 0x0cbe
00000ca6: JUMPI
00000ca7: PUSH1 0x40
00000ca9: MLOAD
00000caa: PUSH3 0x461bcd
00000cae: PUSH1 0xe5
00000cb0: SHL
00000cb1: DUP2
00000cb2: MSTORE
00000cb3: PUSH1 0x04
00000cb5: ADD
00000cb6: PUSH2 0x0a5d
00000cb9: SWAP1
00000cba: PUSH2 0x28b1
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x05
00000cc1: SLOAD
00000cc2: PUSH1 0x40
00000cc4: MLOAD
00000cc5: PUSH1 0x00
00000cc7: SWAP2
00000cc8: PUSH1 0x01
00000cca: PUSH1 0x01
00000ccc: PUSH1 0xa0
00000cce: SHL
00000ccf: SUB
00000cd0: AND
00000cd1: SWAP1
00000cd2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000cf3: SWAP1
00000cf4: DUP4
00000cf5: SWAP1
00000cf6: LOG3
00000cf7: PUSH1 0x05
00000cf9: DUP1
00000cfa: SLOAD
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0x01
00000cff: PUSH1 0xa0
00000d01: SHL
00000d02: SUB
00000d03: NOT
00000d04: AND
00000d05: SWAP1
00000d06: SSTORE
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH1 0x05
00000d0b: SLOAD
00000d0c: PUSH1 0x00
00000d0e: SWAP1
00000d0f: PUSH1 0x01
00000d11: PUSH1 0x01
00000d13: PUSH1 0xa0
00000d15: SHL
00000d16: SUB
00000d17: AND
00000d18: CALLER
00000d19: EQ
00000d1a: PUSH2 0x0d35
00000d1d: JUMPI
00000d1e: PUSH1 0x40
00000d20: MLOAD
00000d21: PUSH3 0x461bcd
00000d25: PUSH1 0xe5
00000d27: SHL
00000d28: DUP2
00000d29: MSTORE
00000d2a: PUSH1 0x04
00000d2c: ADD
00000d2d: PUSH2 0x0a5d
00000d30: SWAP1
00000d31: PUSH2 0x28b1
00000d34: JUMP
00000d35: JUMPDEST
00000d36: POP
00000d37: PUSH1 0x0b
00000d39: DUP1
00000d3a: SLOAD
00000d3b: PUSH1 0xff
00000d3d: NOT
00000d3e: AND
00000d3f: SWAP1
00000d40: SSTORE
00000d41: PUSH1 0x01
00000d43: SWAP1
00000d44: JUMP
00000d45: JUMPDEST
00000d46: PUSH1 0x05
00000d48: SLOAD
00000d49: PUSH1 0x01
00000d4b: PUSH1 0x01
00000d4d: PUSH1 0xa0
00000d4f: SHL
00000d50: SUB
00000d51: AND
00000d52: CALLER
00000d53: EQ
00000d54: PUSH2 0x0d6f
00000d57: JUMPI
00000d58: PUSH1 0x40
00000d5a: MLOAD
00000d5b: PUSH3 0x461bcd
00000d5f: PUSH1 0xe5
00000d61: SHL
00000d62: DUP2
00000d63: MSTORE
00000d64: PUSH1 0x04
00000d66: ADD
00000d67: PUSH2 0x0a5d
00000d6a: SWAP1
00000d6b: PUSH2 0x28b1
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: PUSH1 0x01
00000d72: PUSH1 0x01
00000d74: PUSH1 0xa0
00000d76: SHL
00000d77: SUB
00000d78: SWAP2
00000d79: SWAP1
00000d7a: SWAP2
00000d7b: AND
00000d7c: PUSH1 0x00
00000d7e: SWAP1
00000d7f: DUP2
00000d80: MSTORE
00000d81: PUSH1 0x1d
00000d83: PUSH1 0x20
00000d85: MSTORE
00000d86: PUSH1 0x40
00000d88: SWAP1
00000d89: KECCAK256
00000d8a: DUP1
00000d8b: SLOAD
00000d8c: PUSH1 0xff
00000d8e: NOT
00000d8f: AND
00000d90: SWAP2
00000d91: ISZERO
00000d92: ISZERO
00000d93: SWAP2
00000d94: SWAP1
00000d95: SWAP2
00000d96: OR
00000d97: SWAP1
00000d98: SSTORE
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH1 0x05
00000d9d: SLOAD
00000d9e: PUSH1 0x01
00000da0: PUSH1 0x01
00000da2: PUSH1 0xa0
00000da4: SHL
00000da5: SUB
00000da6: AND
00000da7: CALLER
00000da8: EQ
00000da9: PUSH2 0x0dc4
00000dac: JUMPI
00000dad: PUSH1 0x40
00000daf: MLOAD
00000db0: PUSH3 0x461bcd
00000db4: PUSH1 0xe5
00000db6: SHL
00000db7: DUP2
00000db8: MSTORE
00000db9: PUSH1 0x04
00000dbb: ADD
00000dbc: PUSH2 0x0a5d
00000dbf: SWAP1
00000dc0: PUSH2 0x28b1
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH1 0x13
00000dc7: DUP4
00000dc8: SWAP1
00000dc9: SSTORE
00000dca: PUSH1 0x12
00000dcc: DUP3
00000dcd: SWAP1
00000dce: SSTORE
00000dcf: PUSH1 0x11
00000dd1: DUP2
00000dd2: SWAP1
00000dd3: SSTORE
00000dd4: DUP1
00000dd5: PUSH2 0x0dde
00000dd8: DUP4
00000dd9: DUP6
00000dda: PUSH2 0x293d
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: PUSH2 0x0de8
00000de2: SWAP2
00000de3: SWAP1
00000de4: PUSH2 0x293d
00000de7: JUMP
00000de8: JUMPDEST
00000de9: PUSH1 0x10
00000deb: SSTORE
00000dec: POP
00000ded: POP
00000dee: POP
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH1 0x05
00000df3: SLOAD
00000df4: PUSH1 0x01
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: SHL
00000dfb: SUB
00000dfc: AND
00000dfd: CALLER
00000dfe: EQ
00000dff: PUSH2 0x0e1a
00000e02: JUMPI
00000e03: PUSH1 0x40
00000e05: MLOAD
00000e06: PUSH3 0x461bcd
00000e0a: PUSH1 0xe5
00000e0c: SHL
00000e0d: DUP2
00000e0e: MSTORE
00000e0f: PUSH1 0x04
00000e11: ADD
00000e12: PUSH2 0x0a5d
00000e15: SWAP1
00000e16: PUSH2 0x28b1
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: PUSH1 0x0b
00000e1d: DUP1
00000e1e: SLOAD
00000e1f: PUSH3 0xffff00
00000e23: NOT
00000e24: AND
00000e25: PUSH3 0x010100
00000e29: OR
00000e2a: SWAP1
00000e2b: SSTORE
00000e2c: NUMBER
00000e2d: PUSH1 0x1b
00000e2f: SSTORE
00000e30: JUMP
00000e31: JUMPDEST
00000e32: PUSH1 0x05
00000e34: SLOAD
00000e35: PUSH1 0x01
00000e37: PUSH1 0x01
00000e39: PUSH1 0xa0
00000e3b: SHL
00000e3c: SUB
00000e3d: AND
00000e3e: CALLER
00000e3f: EQ
00000e40: PUSH2 0x0e5b
00000e43: JUMPI
00000e44: PUSH1 0x40
00000e46: MLOAD
00000e47: PUSH3 0x461bcd
00000e4b: PUSH1 0xe5
00000e4d: SHL
00000e4e: DUP2
00000e4f: MSTORE
00000e50: PUSH1 0x04
00000e52: ADD
00000e53: PUSH2 0x0a5d
00000e56: SWAP1
00000e57: PUSH2 0x28b1
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH1 0x0b
00000e5e: DUP1
00000e5f: SLOAD
00000e60: SWAP2
00000e61: ISZERO
00000e62: ISZERO
00000e63: PUSH3 0x010000
00000e67: MUL
00000e68: PUSH3 0xff0000
00000e6c: NOT
00000e6d: SWAP1
00000e6e: SWAP3
00000e6f: AND
00000e70: SWAP2
00000e71: SWAP1
00000e72: SWAP2
00000e73: OR
00000e74: SWAP1
00000e75: SSTORE
00000e76: JUMP
00000e77: JUMPDEST
00000e78: PUSH1 0x60
00000e7a: PUSH1 0x04
00000e7c: DUP1
00000e7d: SLOAD
00000e7e: PUSH2 0x0999
00000e81: SWAP1
00000e82: PUSH2 0x2876
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x05
00000e89: SLOAD
00000e8a: PUSH1 0x01
00000e8c: PUSH1 0x01
00000e8e: PUSH1 0xa0
00000e90: SHL
00000e91: SUB
00000e92: AND
00000e93: CALLER
00000e94: EQ
00000e95: PUSH2 0x0eb0
00000e98: JUMPI
00000e99: PUSH1 0x40
00000e9b: MLOAD
00000e9c: PUSH3 0x461bcd
00000ea0: PUSH1 0xe5
00000ea2: SHL
00000ea3: DUP2
00000ea4: MSTORE
00000ea5: PUSH1 0x04
00000ea7: ADD
00000ea8: PUSH2 0x0a5d
00000eab: SWAP1
00000eac: PUSH2 0x28b1
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH32 0x000000000000000000000000f0b2e5977348af879f1a78185b819bfe471e6658
00000ed2: PUSH1 0x01
00000ed4: PUSH1 0x01
00000ed6: PUSH1 0xa0
00000ed8: SHL
00000ed9: SUB
00000eda: AND
00000edb: DUP3
00000edc: PUSH1 0x01
00000ede: PUSH1 0x01
00000ee0: PUSH1 0xa0
00000ee2: SHL
00000ee3: SUB
00000ee4: AND
00000ee5: EQ
00000ee6: ISZERO
00000ee7: PUSH2 0x0f58
00000eea: JUMPI
00000eeb: PUSH1 0x40
00000eed: MLOAD
00000eee: PUSH3 0x461bcd
00000ef2: PUSH1 0xe5
00000ef4: SHL
00000ef5: DUP2
00000ef6: MSTORE
00000ef7: PUSH1 0x20
00000ef9: PUSH1 0x04
00000efb: DUP3
00000efc: ADD
00000efd: MSTORE
00000efe: PUSH1 0x39
00000f00: PUSH1 0x24
00000f02: DUP3
00000f03: ADD
00000f04: MSTORE
00000f05: PUSH32 0x54686520706169722063616e6e6f742062652072656d6f7665642066726f6d20
00000f26: PUSH1 0x44
00000f28: DUP3
00000f29: ADD
00000f2a: MSTORE
00000f2b: PUSH32 0x6175746f6d617465644d61726b65744d616b6572506169727300000000000000
00000f4c: PUSH1 0x64
00000f4e: DUP3
00000f4f: ADD
00000f50: MSTORE
00000f51: PUSH1 0x84
00000f53: ADD
00000f54: PUSH2 0x0a5d
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH2 0x0f62
00000f5c: DUP3
00000f5d: DUP3
00000f5e: PUSH2 0x1f39
00000f61: JUMP
00000f62: JUMPDEST
00000f63: POP
00000f64: POP
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH1 0x00
00000f69: PUSH2 0x0a29
00000f6c: CALLER
00000f6d: DUP5
00000f6e: PUSH2 0x0bfa
00000f71: DUP6
00000f72: PUSH1 0x40
00000f74: MLOAD
00000f75: DUP1
00000f76: PUSH1 0x60
00000f78: ADD
00000f79: PUSH1 0x40
00000f7b: MSTORE
00000f7c: DUP1
00000f7d: PUSH1 0x25
00000f7f: DUP2
00000f80: MSTORE
00000f81: PUSH1 0x20
00000f83: ADD
00000f84: PUSH2 0x2b15
00000f87: PUSH1 0x25
00000f89: SWAP2
00000f8a: CODECOPY
00000f8b: CALLER
00000f8c: PUSH1 0x00
00000f8e: SWAP1
00000f8f: DUP2
00000f90: MSTORE
00000f91: PUSH1 0x01
00000f93: PUSH1 0x20
00000f95: SWAP1
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x40
00000f9a: DUP1
00000f9b: DUP4
00000f9c: KECCAK256
00000f9d: PUSH1 0x01
00000f9f: PUSH1 0x01
00000fa1: PUSH1 0xa0
00000fa3: SHL
00000fa4: SUB
00000fa5: DUP14
00000fa6: AND
00000fa7: DUP5
00000fa8: MSTORE
00000fa9: SWAP1
00000faa: SWAP2
00000fab: MSTORE
00000fac: SWAP1
00000fad: KECCAK256
00000fae: SLOAD
00000faf: SWAP2
00000fb0: SWAP1
00000fb1: PUSH2 0x1eff
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x00
00000fb8: PUSH2 0x0a29
00000fbb: CALLER
00000fbc: DUP5
00000fbd: DUP5
00000fbe: PUSH2 0x1603
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH1 0x05
00000fc5: SLOAD
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: SHL
00000fcd: SUB
00000fce: AND
00000fcf: CALLER
00000fd0: EQ
00000fd1: PUSH2 0x0fec
00000fd4: JUMPI
00000fd5: PUSH1 0x40
00000fd7: MLOAD
00000fd8: PUSH3 0x461bcd
00000fdc: PUSH1 0xe5
00000fde: SHL
00000fdf: DUP2
00000fe0: MSTORE
00000fe1: PUSH1 0x04
00000fe3: ADD
00000fe4: PUSH2 0x0a5d
00000fe7: SWAP1
00000fe8: PUSH2 0x28b1
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH1 0x06
00000fef: SLOAD
00000ff0: PUSH1 0x40
00000ff2: MLOAD
00000ff3: PUSH1 0x01
00000ff5: PUSH1 0x01
00000ff7: PUSH1 0xa0
00000ff9: SHL
00000ffa: SUB
00000ffb: SWAP2
00000ffc: DUP3
00000ffd: AND
00000ffe: SWAP2
00000fff: DUP4
00001000: AND
00001001: SWAP1
00001002: PUSH32 0xa751787977eeb3902e30e1d19ca00c6ad274a1f622c31a206e32366700b05674
00001023: SWAP1
00001024: PUSH1 0x00
00001026: SWAP1
00001027: LOG3
00001028: PUSH1 0x06
0000102a: DUP1
0000102b: SLOAD
0000102c: PUSH1 0x01
0000102e: PUSH1 0x01
00001030: PUSH1 0xa0
00001032: SHL
00001033: SUB
00001034: NOT
00001035: AND
00001036: PUSH1 0x01
00001038: PUSH1 0x01
0000103a: PUSH1 0xa0
0000103c: SHL
0000103d: SUB
0000103e: SWAP3
0000103f: SWAP1
00001040: SWAP3
00001041: AND
00001042: SWAP2
00001043: SWAP1
00001044: SWAP2
00001045: OR
00001046: SWAP1
00001047: SSTORE
00001048: JUMP
00001049: JUMPDEST
0000104a: PUSH1 0x05
0000104c: SLOAD
0000104d: PUSH1 0x01
0000104f: PUSH1 0x01
00001051: PUSH1 0xa0
00001053: SHL
00001054: SUB
00001055: AND
00001056: CALLER
00001057: EQ
00001058: PUSH2 0x1073
0000105b: JUMPI
0000105c: PUSH1 0x40
0000105e: MLOAD
0000105f: PUSH3 0x461bcd
00001063: PUSH1 0xe5
00001065: SHL
00001066: DUP2
00001067: MSTORE
00001068: PUSH1 0x04
0000106a: ADD
0000106b: PUSH2 0x0a5d
0000106e: SWAP1
0000106f: PUSH2 0x28b1
00001072: JUMP
00001073: JUMPDEST
00001074: PUSH1 0x01
00001076: PUSH1 0x01
00001078: PUSH1 0xa0
0000107a: SHL
0000107b: SUB
0000107c: DUP3
0000107d: AND
0000107e: PUSH1 0x00
00001080: DUP2
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x1c
00001085: PUSH1 0x20
00001087: SWAP1
00001088: DUP2
00001089: MSTORE
0000108a: PUSH1 0x40
0000108c: SWAP2
0000108d: DUP3
0000108e: SWAP1
0000108f: KECCAK256
00001090: DUP1
00001091: SLOAD
00001092: PUSH1 0xff
00001094: NOT
00001095: AND
00001096: DUP6
00001097: ISZERO
00001098: ISZERO
00001099: SWAP1
0000109a: DUP2
0000109b: OR
0000109c: SWAP1
0000109d: SWAP2
0000109e: SSTORE
0000109f: SWAP2
000010a0: MLOAD
000010a1: SWAP2
000010a2: DUP3
000010a3: MSTORE
000010a4: PUSH32 0x9d8f7706ea1113d1a167b526eca956215946dd36cc7df39eb16180222d8b5df7
000010c5: SWAP2
000010c6: ADD
000010c7: PUSH1 0x40
000010c9: MLOAD
000010ca: DUP1
000010cb: SWAP2
000010cc: SUB
000010cd: SWAP1
000010ce: LOG2
000010cf: POP
000010d0: POP
000010d1: JUMP
000010d2: JUMPDEST
000010d3: PUSH1 0x05
000010d5: SLOAD
000010d6: PUSH1 0x01
000010d8: PUSH1 0x01
000010da: PUSH1 0xa0
000010dc: SHL
000010dd: SUB
000010de: AND
000010df: CALLER
000010e0: EQ
000010e1: PUSH2 0x10fc
000010e4: JUMPI
000010e5: PUSH1 0x40
000010e7: MLOAD
000010e8: PUSH3 0x461bcd
000010ec: PUSH1 0xe5
000010ee: SHL
000010ef: DUP2
000010f0: MSTORE
000010f1: PUSH1 0x04
000010f3: ADD
000010f4: PUSH2 0x0a5d
000010f7: SWAP1
000010f8: PUSH2 0x28b1
000010fb: JUMP
000010fc: JUMPDEST
000010fd: PUSH1 0x17
000010ff: DUP4
00001100: SWAP1
00001101: SSTORE
00001102: PUSH1 0x16
00001104: DUP3
00001105: SWAP1
00001106: SSTORE
00001107: PUSH1 0x15
00001109: DUP2
0000110a: SWAP1
0000110b: SSTORE
0000110c: DUP1
0000110d: PUSH2 0x1116
00001110: DUP4
00001111: DUP6
00001112: PUSH2 0x293d
00001115: JUMP
00001116: JUMPDEST
00001117: PUSH2 0x1120
0000111a: SWAP2
0000111b: SWAP1
0000111c: PUSH2 0x293d
0000111f: JUMP
00001120: JUMPDEST
00001121: PUSH1 0x14
00001123: SSTORE
00001124: POP
00001125: POP
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x05
0000112b: SLOAD
0000112c: PUSH1 0x01
0000112e: PUSH1 0x01
00001130: PUSH1 0xa0
00001132: SHL
00001133: SUB
00001134: AND
00001135: CALLER
00001136: EQ
00001137: PUSH2 0x1152
0000113a: JUMPI
0000113b: PUSH1 0x40
0000113d: MLOAD
0000113e: PUSH3 0x461bcd
00001142: PUSH1 0xe5
00001144: SHL
00001145: DUP2
00001146: MSTORE
00001147: PUSH1 0x04
00001149: ADD
0000114a: PUSH2 0x0a5d
0000114d: SWAP1
0000114e: PUSH2 0x28b1
00001151: JUMP
00001152: JUMPDEST
00001153: PUSH8 0x0de0b6b3a7640000
0000115c: PUSH2 0x03e8
0000115f: PUSH2 0x1167
00001162: PUSH1 0x02
00001164: SLOAD
00001165: SWAP1
00001166: JUMP
00001167: JUMPDEST
00001168: PUSH2 0x1172
0000116b: SWAP1
0000116c: PUSH1 0x05
0000116e: PUSH2 0x28fc
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH2 0x117c
00001176: SWAP2
00001177: SWAP1
00001178: PUSH2 0x291b
0000117b: JUMP
0000117c: JUMPDEST
0000117d: PUSH2 0x1186
00001180: SWAP2
00001181: SWAP1
00001182: PUSH2 0x291b
00001185: JUMP
00001186: JUMPDEST
00001187: DUP2
00001188: LT
00001189: ISZERO
0000118a: PUSH2 0x11e1
0000118d: JUMPI
0000118e: PUSH1 0x40
00001190: MLOAD
00001191: PUSH3 0x461bcd
00001195: PUSH1 0xe5
00001197: SHL
00001198: DUP2
00001199: MSTORE
0000119a: PUSH1 0x20
0000119c: PUSH1 0x04
0000119e: DUP3
0000119f: ADD
000011a0: MSTORE
000011a1: PUSH1 0x24
000011a3: DUP1
000011a4: DUP3
000011a5: ADD
000011a6: MSTORE
000011a7: PUSH32 0x43616e6e6f7420736574206d617857616c6c6574206c6f776572207468616e20
000011c8: PUSH1 0x44
000011ca: DUP3
000011cb: ADD
000011cc: MSTORE
000011cd: PUSH4 0x302e3525
000011d2: PUSH1 0xe0
000011d4: SHL
000011d5: PUSH1 0x64
000011d7: DUP3
000011d8: ADD
000011d9: MSTORE
000011da: PUSH1 0x84
000011dc: ADD
000011dd: PUSH2 0x0a5d
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH2 0x11f3
000011e5: DUP2
000011e6: PUSH8 0x0de0b6b3a7640000
000011ef: PUSH2 0x28fc
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH1 0x0a
000011f6: SSTORE
000011f7: POP
000011f8: JUMP
000011f9: JUMPDEST
000011fa: PUSH1 0x05
000011fc: SLOAD
000011fd: PUSH1 0x00
000011ff: SWAP1
00001200: PUSH1 0x01
00001202: PUSH1 0x01
00001204: PUSH1 0xa0
00001206: SHL
00001207: SUB
00001208: AND
00001209: CALLER
0000120a: EQ
0000120b: PUSH2 0x1226
0000120e: JUMPI
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: PUSH3 0x461bcd
00001216: PUSH1 0xe5
00001218: SHL
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x04
0000121d: ADD
0000121e: PUSH2 0x0a5d
00001221: SWAP1
00001222: PUSH2 0x28b1
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH3 0x0186a0
0000122b: PUSH2 0x1233
0000122e: PUSH1 0x02
00001230: SLOAD
00001231: SWAP1
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH2 0x123e
00001237: SWAP1
00001238: PUSH1 0x01
0000123a: PUSH2 0x28fc
0000123d: JUMP
0000123e: JUMPDEST
0000123f: PUSH2 0x1248
00001242: SWAP2
00001243: SWAP1
00001244: PUSH2 0x291b
00001247: JUMP
00001248: JUMPDEST
00001249: DUP3
0000124a: LT
0000124b: ISZERO
0000124c: PUSH2 0x12b5
0000124f: JUMPI
00001250: PUSH1 0x40
00001252: MLOAD
00001253: PUSH3 0x461bcd
00001257: PUSH1 0xe5
00001259: SHL
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x20
0000125e: PUSH1 0x04
00001260: DUP3
00001261: ADD
00001262: MSTORE
00001263: PUSH1 0x35
00001265: PUSH1 0x24
00001267: DUP3
00001268: ADD
00001269: MSTORE
0000126a: PUSH32 0x5377617020616d6f756e742063616e6e6f74206265206c6f776572207468616e
0000128b: PUSH1 0x44
0000128d: DUP3
0000128e: ADD
0000128f: MSTORE
00001290: PUSH21 0x10181718181892903a37ba30b61039bab838363c97
000012a6: PUSH1 0x59
000012a8: SHL
000012a9: PUSH1 0x64
000012ab: DUP3
000012ac: ADD
000012ad: MSTORE
000012ae: PUSH1 0x84
000012b0: ADD
000012b1: PUSH2 0x0a5d
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH2 0x03e8
000012b9: PUSH2 0x12c1
000012bc: PUSH1 0x02
000012be: SLOAD
000012bf: SWAP1
000012c0: JUMP
000012c1: JUMPDEST
000012c2: PUSH2 0x12cc
000012c5: SWAP1
000012c6: PUSH1 0x05
000012c8: PUSH2 0x28fc
000012cb: JUMP
000012cc: JUMPDEST
000012cd: PUSH2 0x12d6
000012d0: SWAP2
000012d1: SWAP1
000012d2: PUSH2 0x291b
000012d5: JUMP
000012d6: JUMPDEST
000012d7: DUP3
000012d8: GT
000012d9: ISZERO
000012da: PUSH2 0x1342
000012dd: JUMPI
000012de: PUSH1 0x40
000012e0: MLOAD
000012e1: PUSH3 0x461bcd
000012e5: PUSH1 0xe5
000012e7: SHL
000012e8: DUP2
000012e9: MSTORE
000012ea: PUSH1 0x20
000012ec: PUSH1 0x04
000012ee: DUP3
000012ef: ADD
000012f0: MSTORE
000012f1: PUSH1 0x34
000012f3: PUSH1 0x24
000012f5: DUP3
000012f6: ADD
000012f7: MSTORE
000012f8: PUSH32 0x5377617020616d6f756e742063616e6e6f742062652068696768657220746861
00001319: PUSH1 0x44
0000131b: DUP3
0000131c: ADD
0000131d: MSTORE
0000131e: PUSH20 0x371018171a92903a37ba30b61039bab838363c97
00001333: PUSH1 0x61
00001335: SHL
00001336: PUSH1 0x64
00001338: DUP3
00001339: ADD
0000133a: MSTORE
0000133b: PUSH1 0x84
0000133d: ADD
0000133e: PUSH2 0x0a5d
00001341: JUMP
00001342: JUMPDEST
00001343: POP
00001344: PUSH1 0x09
00001346: DUP2
00001347: SWAP1
00001348: SSTORE
00001349: PUSH1 0x01
0000134b: JUMPDEST
0000134c: SWAP2
0000134d: SWAP1
0000134e: POP
0000134f: JUMP
00001350: JUMPDEST
00001351: PUSH1 0x05
00001353: SLOAD
00001354: PUSH1 0x00
00001356: SWAP1
00001357: PUSH1 0x01
00001359: PUSH1 0x01
0000135b: PUSH1 0xa0
0000135d: SHL
0000135e: SUB
0000135f: AND
00001360: CALLER
00001361: EQ
00001362: PUSH2 0x137d
00001365: JUMPI
00001366: PUSH1 0x40
00001368: MLOAD
00001369: PUSH3 0x461bcd
0000136d: PUSH1 0xe5
0000136f: SHL
00001370: DUP2
00001371: MSTORE
00001372: PUSH1 0x04
00001374: ADD
00001375: PUSH2 0x0a5d
00001378: SWAP1
00001379: PUSH2 0x28b1
0000137c: JUMP
0000137d: JUMPDEST
0000137e: POP
0000137f: PUSH1 0x0f
00001381: DUP1
00001382: SLOAD
00001383: PUSH1 0xff
00001385: NOT
00001386: AND
00001387: SWAP1
00001388: SSTORE
00001389: PUSH1 0x01
0000138b: SWAP1
0000138c: JUMP
0000138d: JUMPDEST
0000138e: PUSH1 0x05
00001390: SLOAD
00001391: PUSH1 0x01
00001393: PUSH1 0x01
00001395: PUSH1 0xa0
00001397: SHL
00001398: SUB
00001399: AND
0000139a: CALLER
0000139b: EQ
0000139c: PUSH2 0x13b7
0000139f: JUMPI
000013a0: PUSH1 0x40
000013a2: MLOAD
000013a3: PUSH3 0x461bcd
000013a7: PUSH1 0xe5
000013a9: SHL
000013aa: DUP2
000013ab: MSTORE
000013ac: PUSH1 0x04
000013ae: ADD
000013af: PUSH2 0x0a5d
000013b2: SWAP1
000013b3: PUSH2 0x28b1
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0x01
000013ba: PUSH1 0x01
000013bc: PUSH1 0xa0
000013be: SHL
000013bf: SUB
000013c0: DUP2
000013c1: AND
000013c2: PUSH2 0x141c
000013c5: JUMPI
000013c6: PUSH1 0x40
000013c8: MLOAD
000013c9: PUSH3 0x461bcd
000013cd: PUSH1 0xe5
000013cf: SHL
000013d0: DUP2
000013d1: MSTORE
000013d2: PUSH1 0x20
000013d4: PUSH1 0x04
000013d6: DUP3
000013d7: ADD
000013d8: MSTORE
000013d9: PUSH1 0x26
000013db: PUSH1 0x24
000013dd: DUP3
000013de: ADD
000013df: MSTORE
000013e0: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001401: PUSH1 0x44
00001403: DUP3
00001404: ADD
00001405: MSTORE
00001406: PUSH6 0x646472657373
0000140d: PUSH1 0xd0
0000140f: SHL
00001410: PUSH1 0x64
00001412: DUP3
00001413: ADD
00001414: MSTORE
00001415: PUSH1 0x84
00001417: ADD
00001418: PUSH2 0x0a5d
0000141b: JUMP
0000141c: JUMPDEST
0000141d: PUSH1 0x05
0000141f: SLOAD
00001420: PUSH1 0x40
00001422: MLOAD
00001423: PUSH1 0x01
00001425: PUSH1 0x01
00001427: PUSH1 0xa0
00001429: SHL
0000142a: SUB
0000142b: DUP1
0000142c: DUP5
0000142d: AND
0000142e: SWAP3
0000142f: AND
00001430: SWAP1
00001431: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001452: SWAP1
00001453: PUSH1 0x00
00001455: SWAP1
00001456: LOG3
00001457: PUSH1 0x05
00001459: DUP1
0000145a: SLOAD
0000145b: PUSH1 0x01
0000145d: PUSH1 0x01
0000145f: PUSH1 0xa0
00001461: SHL
00001462: SUB
00001463: NOT
00001464: AND
00001465: PUSH1 0x01
00001467: PUSH1 0x01
00001469: PUSH1 0xa0
0000146b: SHL
0000146c: SUB
0000146d: SWAP3
0000146e: SWAP1
0000146f: SWAP3
00001470: AND
00001471: SWAP2
00001472: SWAP1
00001473: SWAP2
00001474: OR
00001475: SWAP1
00001476: SSTORE
00001477: JUMP
00001478: JUMPDEST
00001479: PUSH1 0x00
0000147b: DUP1
0000147c: PUSH2 0x1485
0000147f: DUP4
00001480: DUP6
00001481: PUSH2 0x293d
00001484: JUMP
00001485: JUMPDEST
00001486: SWAP1
00001487: POP
00001488: DUP4
00001489: DUP2
0000148a: LT
0000148b: ISZERO
0000148c: PUSH2 0x14d7
0000148f: JUMPI
00001490: PUSH1 0x40
00001492: MLOAD
00001493: PUSH3 0x461bcd
00001497: PUSH1 0xe5
00001499: SHL
0000149a: DUP2
0000149b: MSTORE
0000149c: PUSH1 0x20
0000149e: PUSH1 0x04
000014a0: DUP3
000014a1: ADD
000014a2: MSTORE
000014a3: PUSH1 0x1b
000014a5: PUSH1 0x24
000014a7: DUP3
000014a8: ADD
000014a9: MSTORE
000014aa: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000014cb: PUSH1 0x44
000014cd: DUP3
000014ce: ADD
000014cf: MSTORE
000014d0: PUSH1 0x64
000014d2: ADD
000014d3: PUSH2 0x0a5d
000014d6: JUMP
000014d7: JUMPDEST
000014d8: SWAP4
000014d9: SWAP3
000014da: POP
000014db: POP
000014dc: POP
000014dd: JUMP
000014de: JUMPDEST
000014df: PUSH1 0x01
000014e1: PUSH1 0x01
000014e3: PUSH1 0xa0
000014e5: SHL
000014e6: SUB
000014e7: DUP4
000014e8: AND
000014e9: PUSH2 0x1540
000014ec: JUMPI
000014ed: PUSH1 0x40
000014ef: MLOAD
000014f0: PUSH3 0x461bcd
000014f4: PUSH1 0xe5
000014f6: SHL
000014f7: DUP2
000014f8: MSTORE
000014f9: PUSH1 0x20
000014fb: PUSH1 0x04
000014fd: DUP3
000014fe: ADD
000014ff: MSTORE
00001500: PUSH1 0x24
00001502: DUP1
00001503: DUP3
00001504: ADD
00001505: MSTORE
00001506: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00001527: PUSH1 0x44
00001529: DUP3
0000152a: ADD
0000152b: MSTORE
0000152c: PUSH4 0x72657373
00001531: PUSH1 0xe0
00001533: SHL
00001534: PUSH1 0x64
00001536: DUP3
00001537: ADD
00001538: MSTORE
00001539: PUSH1 0x84
0000153b: ADD
0000153c: PUSH2 0x0a5d
0000153f: JUMP
00001540: JUMPDEST
00001541: PUSH1 0x01
00001543: PUSH1 0x01
00001545: PUSH1 0xa0
00001547: SHL
00001548: SUB
00001549: DUP3
0000154a: AND
0000154b: PUSH2 0x15a1
0000154e: JUMPI
0000154f: PUSH1 0x40
00001551: MLOAD
00001552: PUSH3 0x461bcd
00001556: PUSH1 0xe5
00001558: SHL
00001559: DUP2
0000155a: MSTORE
0000155b: PUSH1 0x20
0000155d: PUSH1 0x04
0000155f: DUP3
00001560: ADD
00001561: MSTORE
00001562: PUSH1 0x22
00001564: PUSH1 0x24
00001566: DUP3
00001567: ADD
00001568: MSTORE
00001569: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
0000158a: PUSH1 0x44
0000158c: DUP3
0000158d: ADD
0000158e: MSTORE
0000158f: PUSH2 0x7373
00001592: PUSH1 0xf0
00001594: SHL
00001595: PUSH1 0x64
00001597: DUP3
00001598: ADD
00001599: MSTORE
0000159a: PUSH1 0x84
0000159c: ADD
0000159d: PUSH2 0x0a5d
000015a0: JUMP
000015a1: JUMPDEST
000015a2: PUSH1 0x01
000015a4: PUSH1 0x01
000015a6: PUSH1 0xa0
000015a8: SHL
000015a9: SUB
000015aa: DUP4
000015ab: DUP2
000015ac: AND
000015ad: PUSH1 0x00
000015af: DUP2
000015b0: DUP2
000015b1: MSTORE
000015b2: PUSH1 0x01
000015b4: PUSH1 0x20
000015b6: SWAP1
000015b7: DUP2
000015b8: MSTORE
000015b9: PUSH1 0x40
000015bb: DUP1
000015bc: DUP4
000015bd: KECCAK256
000015be: SWAP5
000015bf: DUP8
000015c0: AND
000015c1: DUP1
000015c2: DUP5
000015c3: MSTORE
000015c4: SWAP5
000015c5: DUP3
000015c6: MSTORE
000015c7: SWAP2
000015c8: DUP3
000015c9: SWAP1
000015ca: KECCAK256
000015cb: DUP6
000015cc: SWAP1
000015cd: SSTORE
000015ce: SWAP1
000015cf: MLOAD
000015d0: DUP5
000015d1: DUP2
000015d2: MSTORE
000015d3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000015f4: SWAP2
000015f5: ADD
000015f6: JUMPDEST
000015f7: PUSH1 0x40
000015f9: MLOAD
000015fa: DUP1
000015fb: SWAP2
000015fc: SUB
000015fd: SWAP1
000015fe: LOG3
000015ff: POP
00001600: POP
00001601: POP
00001602: JUMP
00001603: JUMPDEST
00001604: PUSH1 0x01
00001606: PUSH1 0x01
00001608: PUSH1 0xa0
0000160a: SHL
0000160b: SUB
0000160c: DUP4
0000160d: AND
0000160e: PUSH2 0x1629
00001611: JUMPI
00001612: PUSH1 0x40
00001614: MLOAD
00001615: PUSH3 0x461bcd
00001619: PUSH1 0xe5
0000161b: SHL
0000161c: DUP2
0000161d: MSTORE
0000161e: PUSH1 0x04
00001620: ADD
00001621: PUSH2 0x0a5d
00001624: SWAP1
00001625: PUSH2 0x2955
00001628: JUMP
00001629: JUMPDEST
0000162a: PUSH1 0x01
0000162c: PUSH1 0x01
0000162e: PUSH1 0xa0
00001630: SHL
00001631: SUB
00001632: DUP3
00001633: AND
00001634: PUSH2 0x164f
00001637: JUMPI
00001638: PUSH1 0x40
0000163a: MLOAD
0000163b: PUSH3 0x461bcd
0000163f: PUSH1 0xe5
00001641: SHL
00001642: DUP2
00001643: MSTORE
00001644: PUSH1 0x04
00001646: ADD
00001647: PUSH2 0x0a5d
0000164a: SWAP1
0000164b: PUSH2 0x299a
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH1 0x01
00001652: PUSH1 0x01
00001654: PUSH1 0xa0
00001656: SHL
00001657: SUB
00001658: DUP3
00001659: AND
0000165a: PUSH1 0x00
0000165c: SWAP1
0000165d: DUP2
0000165e: MSTORE
0000165f: PUSH1 0x0e
00001661: PUSH1 0x20
00001663: MSTORE
00001664: PUSH1 0x40
00001666: SWAP1
00001667: KECCAK256
00001668: SLOAD
00001669: PUSH1 0xff
0000166b: AND
0000166c: ISZERO
0000166d: DUP1
0000166e: ISZERO
0000166f: PUSH2 0x1691
00001672: JUMPI
00001673: POP
00001674: PUSH1 0x01
00001676: PUSH1 0x01
00001678: PUSH1 0xa0
0000167a: SHL
0000167b: SUB
0000167c: DUP4
0000167d: AND
0000167e: PUSH1 0x00
00001680: SWAP1
00001681: DUP2
00001682: MSTORE
00001683: PUSH1 0x0e
00001685: PUSH1 0x20
00001687: MSTORE
00001688: PUSH1 0x40
0000168a: SWAP1
0000168b: KECCAK256
0000168c: SLOAD
0000168d: PUSH1 0xff
0000168f: AND
00001690: ISZERO
00001691: JUMPDEST
00001692: PUSH2 0x16f7
00001695: JUMPI
00001696: PUSH1 0x40
00001698: MLOAD
00001699: PUSH3 0x461bcd
0000169d: PUSH1 0xe5
0000169f: SHL
000016a0: DUP2
000016a1: MSTORE
000016a2: PUSH1 0x20
000016a4: PUSH1 0x04
000016a6: DUP3
000016a7: ADD
000016a8: MSTORE
000016a9: PUSH1 0x31
000016ab: PUSH1 0x24
000016ad: DUP3
000016ae: ADD
000016af: MSTORE
000016b0: PUSH32 0x596f752068617665206265656e20626c61636b6c69737465642066726f6d2074
000016d1: PUSH1 0x44
000016d3: DUP3
000016d4: ADD
000016d5: MSTORE
000016d6: PUSH17 0x72616e73666572696e6720746f6b656e73
000016e8: PUSH1 0x78
000016ea: SHL
000016eb: PUSH1 0x64
000016ed: DUP3
000016ee: ADD
000016ef: MSTORE
000016f0: PUSH1 0x84
000016f2: ADD
000016f3: PUSH2 0x0a5d
000016f6: JUMP
000016f7: JUMPDEST
000016f8: DUP1
000016f9: PUSH2 0x170d
000016fc: JUMPI
000016fd: PUSH2 0x1708
00001700: DUP4
00001701: DUP4
00001702: PUSH1 0x00
00001704: PUSH2 0x1f8d
00001707: JUMP
00001708: JUMPDEST
00001709: POP
0000170a: POP
0000170b: POP
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH1 0x0b
00001710: SLOAD
00001711: PUSH1 0xff
00001713: AND
00001714: ISZERO
00001715: PUSH2 0x1bca
00001718: JUMPI
00001719: PUSH1 0x05
0000171b: SLOAD
0000171c: PUSH1 0x01
0000171e: PUSH1 0x01
00001720: PUSH1 0xa0
00001722: SHL
00001723: SUB
00001724: DUP5
00001725: DUP2
00001726: AND
00001727: SWAP2
00001728: AND
00001729: EQ
0000172a: DUP1
0000172b: ISZERO
0000172c: SWAP1
0000172d: PUSH2 0x1744
00001730: JUMPI
00001731: POP
00001732: PUSH1 0x05
00001734: SLOAD
00001735: PUSH1 0x01
00001737: PUSH1 0x01
00001739: PUSH1 0xa0
0000173b: SHL
0000173c: SUB
0000173d: DUP4
0000173e: DUP2
0000173f: AND
00001740: SWAP2
00001741: AND
00001742: EQ
00001743: ISZERO
00001744: JUMPDEST
00001745: DUP1
00001746: ISZERO
00001747: PUSH2 0x1758
0000174a: JUMPI
0000174b: POP
0000174c: PUSH1 0x01
0000174e: PUSH1 0x01
00001750: PUSH1 0xa0
00001752: SHL
00001753: SUB
00001754: DUP3
00001755: AND
00001756: ISZERO
00001757: ISZERO
00001758: JUMPDEST
00001759: DUP1
0000175a: ISZERO
0000175b: PUSH2 0x176f
0000175e: JUMPI
0000175f: POP
00001760: PUSH1 0x01
00001762: PUSH1 0x01
00001764: PUSH1 0xa0
00001766: SHL
00001767: SUB
00001768: DUP3
00001769: AND
0000176a: PUSH2 0xdead
0000176d: EQ
0000176e: ISZERO
0000176f: JUMPDEST
00001770: DUP1
00001771: ISZERO
00001772: PUSH2 0x1785
00001775: JUMPI
00001776: POP
00001777: PUSH1 0x05
00001779: SLOAD
0000177a: PUSH1 0x01
0000177c: PUSH1 0xa0
0000177e: SHL
0000177f: SWAP1
00001780: DIV
00001781: PUSH1 0xff
00001783: AND
00001784: ISZERO
00001785: JUMPDEST
00001786: ISZERO
00001787: PUSH2 0x1bca
0000178a: JUMPI
0000178b: PUSH1 0x0b
0000178d: SLOAD
0000178e: PUSH2 0x0100
00001791: SWAP1
00001792: DIV
00001793: PUSH1 0xff
00001795: AND
00001796: PUSH2 0x181d
00001799: JUMPI
0000179a: PUSH1 0x01
0000179c: PUSH1 0x01
0000179e: PUSH1 0xa0
000017a0: SHL
000017a1: SUB
000017a2: DUP4
000017a3: AND
000017a4: PUSH1 0x00
000017a6: SWAP1
000017a7: DUP2
000017a8: MSTORE
000017a9: PUSH1 0x1c
000017ab: PUSH1 0x20
000017ad: MSTORE
000017ae: PUSH1 0x40
000017b0: SWAP1
000017b1: KECCAK256
000017b2: SLOAD
000017b3: PUSH1 0xff
000017b5: AND
000017b6: DUP1
000017b7: PUSH2 0x17d8
000017ba: JUMPI
000017bb: POP
000017bc: PUSH1 0x01
000017be: PUSH1 0x01
000017c0: PUSH1 0xa0
000017c2: SHL
000017c3: SUB
000017c4: DUP3
000017c5: AND
000017c6: PUSH1 0x00
000017c8: SWAP1
000017c9: DUP2
000017ca: MSTORE
000017cb: PUSH1 0x1c
000017cd: PUSH1 0x20
000017cf: MSTORE
000017d0: PUSH1 0x40
000017d2: SWAP1
000017d3: KECCAK256
000017d4: SLOAD
000017d5: PUSH1 0xff
000017d7: AND
000017d8: JUMPDEST
000017d9: PUSH2 0x181d
000017dc: JUMPI
000017dd: PUSH1 0x40
000017df: MLOAD
000017e0: PUSH3 0x461bcd
000017e4: PUSH1 0xe5
000017e6: SHL
000017e7: DUP2
000017e8: MSTORE
000017e9: PUSH1 0x20
000017eb: PUSH1 0x04
000017ed: DUP3
000017ee: ADD
000017ef: MSTORE
000017f0: PUSH1 0x16
000017f2: PUSH1 0x24
000017f4: DUP3
000017f5: ADD
000017f6: MSTORE
000017f7: PUSH22 0x2a3930b234b7339034b9903737ba1030b1ba34bb3297
0000180e: PUSH1 0x51
00001810: SHL
00001811: PUSH1 0x44
00001813: DUP3
00001814: ADD
00001815: MSTORE
00001816: PUSH1 0x64
00001818: ADD
00001819: PUSH2 0x0a5d
0000181c: JUMP
0000181d: JUMPDEST
0000181e: PUSH1 0x0f
00001820: SLOAD
00001821: PUSH1 0xff
00001823: AND
00001824: ISZERO
00001825: PUSH2 0x1964
00001828: JUMPI
00001829: PUSH1 0x05
0000182b: SLOAD
0000182c: PUSH1 0x01
0000182e: PUSH1 0x01
00001830: PUSH1 0xa0
00001832: SHL
00001833: SUB
00001834: DUP4
00001835: DUP2
00001836: AND
00001837: SWAP2
00001838: AND
00001839: EQ
0000183a: DUP1
0000183b: ISZERO
0000183c: SWAP1
0000183d: PUSH2 0x1878
00001840: JUMPI
00001841: POP
00001842: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00001863: PUSH1 0x01
00001865: PUSH1 0x01
00001867: PUSH1 0xa0
00001869: SHL
0000186a: SUB
0000186b: AND
0000186c: DUP3
0000186d: PUSH1 0x01
0000186f: PUSH1 0x01
00001871: PUSH1 0xa0
00001873: SHL
00001874: SUB
00001875: AND
00001876: EQ
00001877: ISZERO
00001878: JUMPDEST
00001879: DUP1
0000187a: ISZERO
0000187b: PUSH2 0x18b6
0000187e: JUMPI
0000187f: POP
00001880: PUSH32 0x000000000000000000000000f0b2e5977348af879f1a78185b819bfe471e6658
000018a1: PUSH1 0x01
000018a3: PUSH1 0x01
000018a5: PUSH1 0xa0
000018a7: SHL
000018a8: SUB
000018a9: AND
000018aa: DUP3
000018ab: PUSH1 0x01
000018ad: PUSH1 0x01
000018af: PUSH1 0xa0
000018b1: SHL
000018b2: SUB
000018b3: AND
000018b4: EQ
000018b5: ISZERO
000018b6: JUMPDEST
000018b7: ISZERO
000018b8: PUSH2 0x1964
000018bb: JUMPI
000018bc: ORIGIN
000018bd: PUSH1 0x00
000018bf: SWAP1
000018c0: DUP2
000018c1: MSTORE
000018c2: PUSH1 0x0c
000018c4: PUSH1 0x20
000018c6: MSTORE
000018c7: PUSH1 0x40
000018c9: SWAP1
000018ca: KECCAK256
000018cb: SLOAD
000018cc: NUMBER
000018cd: GT
000018ce: PUSH2 0x1951
000018d1: JUMPI
000018d2: PUSH1 0x40
000018d4: MLOAD
000018d5: PUSH3 0x461bcd
000018d9: PUSH1 0xe5
000018db: SHL
000018dc: DUP2
000018dd: MSTORE
000018de: PUSH1 0x20
000018e0: PUSH1 0x04
000018e2: DUP3
000018e3: ADD
000018e4: MSTORE
000018e5: PUSH1 0x49
000018e7: PUSH1 0x24
000018e9: DUP3
000018ea: ADD
000018eb: MSTORE
000018ec: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c
0000190d: PUSH1 0x44
0000190f: DUP3
00001910: ADD
00001911: MSTORE
00001912: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b
00001933: PUSH1 0x64
00001935: DUP3
00001936: ADD
00001937: MSTORE
00001938: PUSH9 0x1030b63637bbb2b217
00001942: PUSH1 0xb9
00001944: SHL
00001945: PUSH1 0x84
00001947: DUP3
00001948: ADD
00001949: MSTORE
0000194a: PUSH1 0xa4
0000194c: ADD
0000194d: PUSH2 0x0a5d
00001950: JUMP
00001951: JUMPDEST
00001952: ORIGIN
00001953: PUSH1 0x00
00001955: SWAP1
00001956: DUP2
00001957: MSTORE
00001958: PUSH1 0x0c
0000195a: PUSH1 0x20
0000195c: MSTORE
0000195d: PUSH1 0x40
0000195f: SWAP1
00001960: KECCAK256
00001961: NUMBER
00001962: SWAP1
00001963: SSTORE
00001964: JUMPDEST
00001965: PUSH1 0x01
00001967: PUSH1 0x01
00001969: PUSH1 0xa0
0000196b: SHL
0000196c: SUB
0000196d: DUP4
0000196e: AND
0000196f: PUSH1 0x00
00001971: SWAP1
00001972: DUP2
00001973: MSTORE
00001974: PUSH1 0x1e
00001976: PUSH1 0x20
00001978: MSTORE
00001979: PUSH1 0x40
0000197b: SWAP1
0000197c: KECCAK256
0000197d: SLOAD
0000197e: PUSH1 0xff
00001980: AND
00001981: DUP1
00001982: ISZERO
00001983: PUSH2 0x19a5
00001986: JUMPI
00001987: POP
00001988: PUSH1 0x01
0000198a: PUSH1 0x01
0000198c: PUSH1 0xa0
0000198e: SHL
0000198f: SUB
00001990: DUP3
00001991: AND
00001992: PUSH1 0x00
00001994: SWAP1
00001995: DUP2
00001996: MSTORE
00001997: PUSH1 0x1d
00001999: PUSH1 0x20
0000199b: MSTORE
0000199c: PUSH1 0x40
0000199e: SWAP1
0000199f: KECCAK256
000019a0: SLOAD
000019a1: PUSH1 0xff
000019a3: AND
000019a4: ISZERO
000019a5: JUMPDEST
000019a6: ISZERO
000019a7: PUSH2 0x1a89
000019aa: JUMPI
000019ab: PUSH1 0x08
000019ad: SLOAD
000019ae: DUP2
000019af: GT
000019b0: ISZERO
000019b1: PUSH2 0x1a1a
000019b4: JUMPI
000019b5: PUSH1 0x40
000019b7: MLOAD
000019b8: PUSH3 0x461bcd
000019bc: PUSH1 0xe5
000019be: SHL
000019bf: DUP2
000019c0: MSTORE
000019c1: PUSH1 0x20
000019c3: PUSH1 0x04
000019c5: DUP3
000019c6: ADD
000019c7: MSTORE
000019c8: PUSH1 0x35
000019ca: PUSH1 0x24
000019cc: DUP3
000019cd: ADD
000019ce: MSTORE
000019cf: PUSH32 0x427579207472616e7366657220616d6f756e7420657863656564732074686520
000019f0: PUSH1 0x44
000019f2: DUP3
000019f3: ADD
000019f4: MSTORE
000019f5: PUSH21 0x36b0bc2a3930b739b0b1ba34b7b720b6b7bab73a17
00001a0b: PUSH1 0x59
00001a0d: SHL
00001a0e: PUSH1 0x64
00001a10: DUP3
00001a11: ADD
00001a12: MSTORE
00001a13: PUSH1 0x84
00001a15: ADD
00001a16: PUSH2 0x0a5d
00001a19: JUMP
00001a1a: JUMPDEST
00001a1b: PUSH1 0x0a
00001a1d: SLOAD
00001a1e: PUSH1 0x01
00001a20: PUSH1 0x01
00001a22: PUSH1 0xa0
00001a24: SHL
00001a25: SUB
00001a26: DUP4
00001a27: AND
00001a28: PUSH1 0x00
00001a2a: SWAP1
00001a2b: DUP2
00001a2c: MSTORE
00001a2d: PUSH1 0x20
00001a2f: DUP2
00001a30: SWAP1
00001a31: MSTORE
00001a32: PUSH1 0x40
00001a34: SWAP1
00001a35: KECCAK256
00001a36: SLOAD
00001a37: PUSH2 0x1a40
00001a3a: SWAP1
00001a3b: DUP4
00001a3c: PUSH2 0x293d
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: GT
00001a42: ISZERO
00001a43: PUSH2 0x1a84
00001a46: JUMPI
00001a47: PUSH1 0x40
00001a49: MLOAD
00001a4a: PUSH3 0x461bcd
00001a4e: PUSH1 0xe5
00001a50: SHL
00001a51: DUP2
00001a52: MSTORE
00001a53: PUSH1 0x20
00001a55: PUSH1 0x04
00001a57: DUP3
00001a58: ADD
00001a59: MSTORE
00001a5a: PUSH1 0x13
00001a5c: PUSH1 0x24
00001a5e: DUP3
00001a5f: ADD
00001a60: MSTORE
00001a61: PUSH19 0x13585e081dd85b1b195d08195e18d959591959
00001a75: PUSH1 0x6a
00001a77: SHL
00001a78: PUSH1 0x44
00001a7a: DUP3
00001a7b: ADD
00001a7c: MSTORE
00001a7d: PUSH1 0x64
00001a7f: ADD
00001a80: PUSH2 0x0a5d
00001a83: JUMP
00001a84: JUMPDEST
00001a85: PUSH2 0x1bca
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: PUSH1 0x01
00001a8c: PUSH1 0x01
00001a8e: PUSH1 0xa0
00001a90: SHL
00001a91: SUB
00001a92: DUP3
00001a93: AND
00001a94: PUSH1 0x00
00001a96: SWAP1
00001a97: DUP2
00001a98: MSTORE
00001a99: PUSH1 0x1e
00001a9b: PUSH1 0x20
00001a9d: MSTORE
00001a9e: PUSH1 0x40
00001aa0: SWAP1
00001aa1: KECCAK256
00001aa2: SLOAD
00001aa3: PUSH1 0xff
00001aa5: AND
00001aa6: DUP1
00001aa7: ISZERO
00001aa8: PUSH2 0x1aca
00001aab: JUMPI
00001aac: POP
00001aad: PUSH1 0x01
00001aaf: PUSH1 0x01
00001ab1: PUSH1 0xa0
00001ab3: SHL
00001ab4: SUB
00001ab5: DUP4
00001ab6: AND
00001ab7: PUSH1 0x00
00001ab9: SWAP1
00001aba: DUP2
00001abb: MSTORE
00001abc: PUSH1 0x1d
00001abe: PUSH1 0x20
00001ac0: MSTORE
00001ac1: PUSH1 0x40
00001ac3: SWAP1
00001ac4: KECCAK256
00001ac5: SLOAD
00001ac6: PUSH1 0xff
00001ac8: AND
00001ac9: ISZERO
00001aca: JUMPDEST
00001acb: ISZERO
00001acc: PUSH2 0x1b40
00001acf: JUMPI
00001ad0: PUSH1 0x08
00001ad2: SLOAD
00001ad3: DUP2
00001ad4: GT
00001ad5: ISZERO
00001ad6: PUSH2 0x1a84
00001ad9: JUMPI
00001ada: PUSH1 0x40
00001adc: MLOAD
00001add: PUSH3 0x461bcd
00001ae1: PUSH1 0xe5
00001ae3: SHL
00001ae4: DUP2
00001ae5: MSTORE
00001ae6: PUSH1 0x20
00001ae8: PUSH1 0x04
00001aea: DUP3
00001aeb: ADD
00001aec: MSTORE
00001aed: PUSH1 0x36
00001aef: PUSH1 0x24
00001af1: DUP3
00001af2: ADD
00001af3: MSTORE
00001af4: PUSH32 0x53656c6c207472616e7366657220616d6f756e74206578636565647320746865
00001b15: PUSH1 0x44
00001b17: DUP3
00001b18: ADD
00001b19: MSTORE
00001b1a: PUSH22 0x1036b0bc2a3930b739b0b1ba34b7b720b6b7bab73a17
00001b31: PUSH1 0x51
00001b33: SHL
00001b34: PUSH1 0x64
00001b36: DUP3
00001b37: ADD
00001b38: MSTORE
00001b39: PUSH1 0x84
00001b3b: ADD
00001b3c: PUSH2 0x0a5d
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: PUSH1 0x01
00001b43: PUSH1 0x01
00001b45: PUSH1 0xa0
00001b47: SHL
00001b48: SUB
00001b49: DUP3
00001b4a: AND
00001b4b: PUSH1 0x00
00001b4d: SWAP1
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x1d
00001b52: PUSH1 0x20
00001b54: MSTORE
00001b55: PUSH1 0x40
00001b57: SWAP1
00001b58: KECCAK256
00001b59: SLOAD
00001b5a: PUSH1 0xff
00001b5c: AND
00001b5d: PUSH2 0x1bca
00001b60: JUMPI
00001b61: PUSH1 0x0a
00001b63: SLOAD
00001b64: PUSH1 0x01
00001b66: PUSH1 0x01
00001b68: PUSH1 0xa0
00001b6a: SHL
00001b6b: SUB
00001b6c: DUP4
00001b6d: AND
00001b6e: PUSH1 0x00
00001b70: SWAP1
00001b71: DUP2
00001b72: MSTORE
00001b73: PUSH1 0x20
00001b75: DUP2
00001b76: SWAP1
00001b77: MSTORE
00001b78: PUSH1 0x40
00001b7a: SWAP1
00001b7b: KECCAK256
00001b7c: SLOAD
00001b7d: PUSH2 0x1b86
00001b80: SWAP1
00001b81: DUP4
00001b82: PUSH2 0x293d
00001b85: JUMP
00001b86: JUMPDEST
00001b87: GT
00001b88: ISZERO
00001b89: PUSH2 0x1bca
00001b8c: JUMPI
00001b8d: PUSH1 0x40
00001b8f: MLOAD
00001b90: PUSH3 0x461bcd
00001b94: PUSH1 0xe5
00001b96: SHL
00001b97: DUP2
00001b98: MSTORE
00001b99: PUSH1 0x20
00001b9b: PUSH1 0x04
00001b9d: DUP3
00001b9e: ADD
00001b9f: MSTORE
00001ba0: PUSH1 0x13
00001ba2: PUSH1 0x24
00001ba4: DUP3
00001ba5: ADD
00001ba6: MSTORE
00001ba7: PUSH19 0x13585e081dd85b1b195d08195e18d959591959
00001bbb: PUSH1 0x6a
00001bbd: SHL
00001bbe: PUSH1 0x44
00001bc0: DUP3
00001bc1: ADD
00001bc2: MSTORE
00001bc3: PUSH1 0x64
00001bc5: ADD
00001bc6: PUSH2 0x0a5d
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: ADDRESS
00001bcc: PUSH1 0x00
00001bce: SWAP1
00001bcf: DUP2
00001bd0: MSTORE
00001bd1: PUSH1 0x20
00001bd3: DUP2
00001bd4: SWAP1
00001bd5: MSTORE
00001bd6: PUSH1 0x40
00001bd8: SWAP1
00001bd9: KECCAK256
00001bda: SLOAD
00001bdb: PUSH1 0x09
00001bdd: SLOAD
00001bde: DUP2
00001bdf: LT
00001be0: DUP1
00001be1: ISZERO
00001be2: SWAP1
00001be3: DUP2
00001be4: SWAP1
00001be5: PUSH2 0x1bf6
00001be8: JUMPI
00001be9: POP
00001bea: PUSH1 0x0b
00001bec: SLOAD
00001bed: PUSH3 0x010000
00001bf1: SWAP1
00001bf2: DIV
00001bf3: PUSH1 0xff
00001bf5: AND
00001bf6: JUMPDEST
00001bf7: DUP1
00001bf8: ISZERO
00001bf9: PUSH2 0x1c0c
00001bfc: JUMPI
00001bfd: POP
00001bfe: PUSH1 0x05
00001c00: SLOAD
00001c01: PUSH1 0x01
00001c03: PUSH1 0xa0
00001c05: SHL
00001c06: SWAP1
00001c07: DIV
00001c08: PUSH1 0xff
00001c0a: AND
00001c0b: ISZERO
00001c0c: JUMPDEST
00001c0d: DUP1
00001c0e: ISZERO
00001c0f: PUSH2 0x1c31
00001c12: JUMPI
00001c13: POP
00001c14: PUSH1 0x01
00001c16: PUSH1 0x01
00001c18: PUSH1 0xa0
00001c1a: SHL
00001c1b: SUB
00001c1c: DUP6
00001c1d: AND
00001c1e: PUSH1 0x00
00001c20: SWAP1
00001c21: DUP2
00001c22: MSTORE
00001c23: PUSH1 0x1e
00001c25: PUSH1 0x20
00001c27: MSTORE
00001c28: PUSH1 0x40
00001c2a: SWAP1
00001c2b: KECCAK256
00001c2c: SLOAD
00001c2d: PUSH1 0xff
00001c2f: AND
00001c30: ISZERO
00001c31: JUMPDEST
00001c32: DUP1
00001c33: ISZERO
00001c34: PUSH2 0x1c56
00001c37: JUMPI
00001c38: POP
00001c39: PUSH1 0x01
00001c3b: PUSH1 0x01
00001c3d: PUSH1 0xa0
00001c3f: SHL
00001c40: SUB
00001c41: DUP6
00001c42: AND
00001c43: PUSH1 0x00
00001c45: SWAP1
00001c46: DUP2
00001c47: MSTORE
00001c48: PUSH1 0x1c
00001c4a: PUSH1 0x20
00001c4c: MSTORE
00001c4d: PUSH1 0x40
00001c4f: SWAP1
00001c50: KECCAK256
00001c51: SLOAD
00001c52: PUSH1 0xff
00001c54: AND
00001c55: ISZERO
00001c56: JUMPDEST
00001c57: DUP1
00001c58: ISZERO
00001c59: PUSH2 0x1c7b
00001c5c: JUMPI
00001c5d: POP
00001c5e: PUSH1 0x01
00001c60: PUSH1 0x01
00001c62: PUSH1 0xa0
00001c64: SHL
00001c65: SUB
00001c66: DUP5
00001c67: AND
00001c68: PUSH1 0x00
00001c6a: SWAP1
00001c6b: DUP2
00001c6c: MSTORE
00001c6d: PUSH1 0x1c
00001c6f: PUSH1 0x20
00001c71: MSTORE
00001c72: PUSH1 0x40
00001c74: SWAP1
00001c75: KECCAK256
00001c76: SLOAD
00001c77: PUSH1 0xff
00001c79: AND
00001c7a: ISZERO
00001c7b: JUMPDEST
00001c7c: ISZERO
00001c7d: PUSH2 0x1ca9
00001c80: JUMPI
00001c81: PUSH1 0x05
00001c83: DUP1
00001c84: SLOAD
00001c85: PUSH1 0xff
00001c87: PUSH1 0xa0
00001c89: SHL
00001c8a: NOT
00001c8b: AND
00001c8c: PUSH1 0x01
00001c8e: PUSH1 0xa0
00001c90: SHL
00001c91: OR
00001c92: SWAP1
00001c93: SSTORE
00001c94: PUSH2 0x1c9b
00001c97: PUSH2 0x2096
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x05
00001c9e: DUP1
00001c9f: SLOAD
00001ca0: PUSH1 0xff
00001ca2: PUSH1 0xa0
00001ca4: SHL
00001ca5: NOT
00001ca6: AND
00001ca7: SWAP1
00001ca8: SSTORE
00001ca9: JUMPDEST
00001caa: PUSH1 0x05
00001cac: SLOAD
00001cad: PUSH1 0x01
00001caf: PUSH1 0x01
00001cb1: PUSH1 0xa0
00001cb3: SHL
00001cb4: SUB
00001cb5: DUP7
00001cb6: AND
00001cb7: PUSH1 0x00
00001cb9: SWAP1
00001cba: DUP2
00001cbb: MSTORE
00001cbc: PUSH1 0x1c
00001cbe: PUSH1 0x20
00001cc0: MSTORE
00001cc1: PUSH1 0x40
00001cc3: SWAP1
00001cc4: KECCAK256
00001cc5: SLOAD
00001cc6: PUSH1 0xff
00001cc8: PUSH1 0x01
00001cca: PUSH1 0xa0
00001ccc: SHL
00001ccd: SWAP1
00001cce: SWAP3
00001ccf: DIV
00001cd0: DUP3
00001cd1: AND
00001cd2: ISZERO
00001cd3: SWAP2
00001cd4: AND
00001cd5: DUP1
00001cd6: PUSH2 0x1cf7
00001cd9: JUMPI
00001cda: POP
00001cdb: PUSH1 0x01
00001cdd: PUSH1 0x01
00001cdf: PUSH1 0xa0
00001ce1: SHL
00001ce2: SUB
00001ce3: DUP6
00001ce4: AND
00001ce5: PUSH1 0x00
00001ce7: SWAP1
00001ce8: DUP2
00001ce9: MSTORE
00001cea: PUSH1 0x1c
00001cec: PUSH1 0x20
00001cee: MSTORE
00001cef: PUSH1 0x40
00001cf1: SWAP1
00001cf2: KECCAK256
00001cf3: SLOAD
00001cf4: PUSH1 0xff
00001cf6: AND
00001cf7: JUMPDEST
00001cf8: ISZERO
00001cf9: PUSH2 0x1d00
00001cfc: JUMPI
00001cfd: POP
00001cfe: PUSH1 0x00
00001d00: JUMPDEST
00001d01: PUSH1 0x00
00001d03: DUP2
00001d04: ISZERO
00001d05: PUSH2 0x1eeb
00001d08: JUMPI
00001d09: PUSH1 0x01
00001d0b: PUSH1 0x01
00001d0d: PUSH1 0xa0
00001d0f: SHL
00001d10: SUB
00001d11: DUP7
00001d12: AND
00001d13: PUSH1 0x00
00001d15: SWAP1
00001d16: DUP2
00001d17: MSTORE
00001d18: PUSH1 0x1e
00001d1a: PUSH1 0x20
00001d1c: MSTORE
00001d1d: PUSH1 0x40
00001d1f: SWAP1
00001d20: KECCAK256
00001d21: SLOAD
00001d22: PUSH1 0xff
00001d24: AND
00001d25: DUP1
00001d26: ISZERO
00001d27: PUSH2 0x1d32
00001d2a: JUMPI
00001d2b: POP
00001d2c: PUSH1 0x00
00001d2e: PUSH1 0x14
00001d30: SLOAD
00001d31: GT
00001d32: JUMPDEST
00001d33: ISZERO
00001d34: PUSH2 0x1df0
00001d37: JUMPI
00001d38: PUSH2 0x1d57
00001d3b: PUSH1 0x64
00001d3d: PUSH2 0x1d51
00001d40: PUSH1 0x14
00001d42: SLOAD
00001d43: DUP9
00001d44: PUSH2 0x22d0
00001d47: SWAP1
00001d48: SWAP2
00001d49: SWAP1
00001d4a: PUSH4 0xffffffff
00001d4f: AND
00001d50: JUMP
00001d51: JUMPDEST
00001d52: SWAP1
00001d53: PUSH2 0x234f
00001d56: JUMP
00001d57: JUMPDEST
00001d58: SWAP1
00001d59: POP
00001d5a: PUSH1 0x14
00001d5c: SLOAD
00001d5d: PUSH1 0x16
00001d5f: SLOAD
00001d60: DUP3
00001d61: PUSH2 0x1d6a
00001d64: SWAP2
00001d65: SWAP1
00001d66: PUSH2 0x28fc
00001d69: JUMP
00001d6a: JUMPDEST
00001d6b: PUSH2 0x1d74
00001d6e: SWAP2
00001d6f: SWAP1
00001d70: PUSH2 0x291b
00001d73: JUMP
00001d74: JUMPDEST
00001d75: PUSH1 0x19
00001d77: PUSH1 0x00
00001d79: DUP3
00001d7a: DUP3
00001d7b: SLOAD
00001d7c: PUSH2 0x1d85
00001d7f: SWAP2
00001d80: SWAP1
00001d81: PUSH2 0x293d
00001d84: JUMP
00001d85: JUMPDEST
00001d86: SWAP1
00001d87: SWAP2
00001d88: SSTORE
00001d89: POP
00001d8a: POP
00001d8b: PUSH1 0x14
00001d8d: SLOAD
00001d8e: PUSH1 0x17
00001d90: SLOAD
00001d91: PUSH2 0x1d9a
00001d94: SWAP1
00001d95: DUP4
00001d96: PUSH2 0x28fc
00001d99: JUMP
00001d9a: JUMPDEST
00001d9b: PUSH2 0x1da4
00001d9e: SWAP2
00001d9f: SWAP1
00001da0: PUSH2 0x291b
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x1a
00001da7: PUSH1 0x00
00001da9: DUP3
00001daa: DUP3
00001dab: SLOAD
00001dac: PUSH2 0x1db5
00001daf: SWAP2
00001db0: SWAP1
00001db1: PUSH2 0x293d
00001db4: JUMP
00001db5: JUMPDEST
00001db6: SWAP1
00001db7: SWAP2
00001db8: SSTORE
00001db9: POP
00001dba: POP
00001dbb: PUSH1 0x14
00001dbd: SLOAD
00001dbe: PUSH1 0x15
00001dc0: SLOAD
00001dc1: PUSH2 0x1dca
00001dc4: SWAP1
00001dc5: DUP4
00001dc6: PUSH2 0x28fc
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH2 0x1dd4
00001dce: SWAP2
00001dcf: SWAP1
00001dd0: PUSH2 0x291b
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: PUSH1 0x18
00001dd7: PUSH1 0x00
00001dd9: DUP3
00001dda: DUP3
00001ddb: SLOAD
00001ddc: PUSH2 0x1de5
00001ddf: SWAP2
00001de0: SWAP1
00001de1: PUSH2 0x293d
00001de4: JUMP
00001de5: JUMPDEST
00001de6: SWAP1
00001de7: SWAP2
00001de8: SSTORE
00001de9: POP
00001dea: PUSH2 0x1ecd
00001ded: SWAP1
00001dee: POP
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH1 0x01
00001df3: PUSH1 0x01
00001df5: PUSH1 0xa0
00001df7: SHL
00001df8: SUB
00001df9: DUP8
00001dfa: AND
00001dfb: PUSH1 0x00
00001dfd: SWAP1
00001dfe: DUP2
00001dff: MSTORE
00001e00: PUSH1 0x1e
00001e02: PUSH1 0x20
00001e04: MSTORE
00001e05: PUSH1 0x40
00001e07: SWAP1
00001e08: KECCAK256
00001e09: SLOAD
00001e0a: PUSH1 0xff
00001e0c: AND
00001e0d: DUP1
00001e0e: ISZERO
00001e0f: PUSH2 0x1e1a
00001e12: JUMPI
00001e13: POP
00001e14: PUSH1 0x00
00001e16: PUSH1 0x10
00001e18: SLOAD
00001e19: GT
00001e1a: JUMPDEST
00001e1b: ISZERO
00001e1c: PUSH2 0x1ecd
00001e1f: JUMPI
00001e20: PUSH2 0x1e39
00001e23: PUSH1 0x64
00001e25: PUSH2 0x1d51
00001e28: PUSH1 0x10
00001e2a: SLOAD
00001e2b: DUP9
00001e2c: PUSH2 0x22d0
00001e2f: SWAP1
00001e30: SWAP2
00001e31: SWAP1
00001e32: PUSH4 0xffffffff
00001e37: AND
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: SWAP1
00001e3b: POP
00001e3c: PUSH1 0x10
00001e3e: SLOAD
00001e3f: PUSH1 0x12
00001e41: SLOAD
00001e42: DUP3
00001e43: PUSH2 0x1e4c
00001e46: SWAP2
00001e47: SWAP1
00001e48: PUSH2 0x28fc
00001e4b: JUMP
00001e4c: JUMPDEST
00001e4d: PUSH2 0x1e56
00001e50: SWAP2
00001e51: SWAP1
00001e52: PUSH2 0x291b
00001e55: JUMP
00001e56: JUMPDEST
00001e57: PUSH1 0x19
00001e59: PUSH1 0x00
00001e5b: DUP3
00001e5c: DUP3
00001e5d: SLOAD
00001e5e: PUSH2 0x1e67
00001e61: SWAP2
00001e62: SWAP1
00001e63: PUSH2 0x293d
00001e66: JUMP
00001e67: JUMPDEST
00001e68: SWAP1
00001e69: SWAP2
00001e6a: SSTORE
00001e6b: POP
00001e6c: POP
00001e6d: PUSH1 0x10
00001e6f: SLOAD
00001e70: PUSH1 0x13
00001e72: SLOAD
00001e73: PUSH2 0x1e7c
00001e76: SWAP1
00001e77: DUP4
00001e78: PUSH2 0x28fc
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: PUSH2 0x1e86
00001e80: SWAP2
00001e81: SWAP1
00001e82: PUSH2 0x291b
00001e85: JUMP
00001e86: JUMPDEST
00001e87: PUSH1 0x1a
00001e89: PUSH1 0x00
00001e8b: DUP3
00001e8c: DUP3
00001e8d: SLOAD
00001e8e: PUSH2 0x1e97
00001e91: SWAP2
00001e92: SWAP1
00001e93: PUSH2 0x293d
00001e96: JUMP
00001e97: JUMPDEST
00001e98: SWAP1
00001e99: SWAP2
00001e9a: SSTORE
00001e9b: POP
00001e9c: POP
00001e9d: PUSH1 0x10
00001e9f: SLOAD
00001ea0: PUSH1 0x11
00001ea2: SLOAD
00001ea3: PUSH2 0x1eac
00001ea6: SWAP1
00001ea7: DUP4
00001ea8: PUSH2 0x28fc
00001eab: JUMP
00001eac: JUMPDEST
00001ead: PUSH2 0x1eb6
00001eb0: SWAP2
00001eb1: SWAP1
00001eb2: PUSH2 0x291b
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: PUSH1 0x18
00001eb9: PUSH1 0x00
00001ebb: DUP3
00001ebc: DUP3
00001ebd: SLOAD
00001ebe: PUSH2 0x1ec7
00001ec1: SWAP2
00001ec2: SWAP1
00001ec3: PUSH2 0x293d
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: SWAP1
00001ec9: SWAP2
00001eca: SSTORE
00001ecb: POP
00001ecc: POP
00001ecd: JUMPDEST
00001ece: DUP1
00001ecf: ISZERO
00001ed0: PUSH2 0x1ede
00001ed3: JUMPI
00001ed4: PUSH2 0x1ede
00001ed7: DUP8
00001ed8: ADDRESS
00001ed9: DUP4
00001eda: PUSH2 0x1f8d
00001edd: JUMP
00001ede: JUMPDEST
00001edf: PUSH2 0x1ee8
00001ee2: DUP2
00001ee3: DUP7
00001ee4: PUSH2 0x29dd
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: SWAP5
00001eea: POP
00001eeb: JUMPDEST
00001eec: PUSH2 0x1ef6
00001eef: DUP8
00001ef0: DUP8
00001ef1: DUP8
00001ef2: PUSH2 0x1f8d
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: POP
00001ef8: POP
00001ef9: POP
00001efa: POP
00001efb: POP
00001efc: POP
00001efd: POP
00001efe: JUMP
00001eff: JUMPDEST
00001f00: PUSH1 0x00
00001f02: DUP2
00001f03: DUP5
00001f04: DUP5
00001f05: GT
00001f06: ISZERO
00001f07: PUSH2 0x1f23
00001f0a: JUMPI
00001f0b: PUSH1 0x40
00001f0d: MLOAD
00001f0e: PUSH3 0x461bcd
00001f12: PUSH1 0xe5
00001f14: SHL
00001f15: DUP2
00001f16: MSTORE
00001f17: PUSH1 0x04
00001f19: ADD
00001f1a: PUSH2 0x0a5d
00001f1d: SWAP2
00001f1e: SWAP1
00001f1f: PUSH2 0x26a1
00001f22: JUMP
00001f23: JUMPDEST
00001f24: POP
00001f25: PUSH1 0x00
00001f27: PUSH2 0x1f30
00001f2a: DUP5
00001f2b: DUP7
00001f2c: PUSH2 0x29dd
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: SWAP6
00001f32: SWAP5
00001f33: POP
00001f34: POP
00001f35: POP
00001f36: POP
00001f37: POP
00001f38: JUMP
00001f39: JUMPDEST
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0x01
00001f3e: PUSH1 0xa0
00001f40: SHL
00001f41: SUB
00001f42: DUP3
00001f43: AND
00001f44: PUSH1 0x00
00001f46: DUP2
00001f47: DUP2
00001f48: MSTORE
00001f49: PUSH1 0x1e
00001f4b: PUSH1 0x20
00001f4d: MSTORE
00001f4e: PUSH1 0x40
00001f50: DUP1
00001f51: DUP3
00001f52: KECCAK256
00001f53: DUP1
00001f54: SLOAD
00001f55: PUSH1 0xff
00001f57: NOT
00001f58: AND
00001f59: DUP6
00001f5a: ISZERO
00001f5b: ISZERO
00001f5c: SWAP1
00001f5d: DUP2
00001f5e: OR
00001f5f: SWAP1
00001f60: SWAP2
00001f61: SSTORE
00001f62: SWAP1
00001f63: MLOAD
00001f64: SWAP1
00001f65: SWAP3
00001f66: SWAP2
00001f67: PUSH32 0xffa9187bf1f18bf477bd0ea1bcbb64e93b6a98132473929edfce215cd9b16fab
00001f88: SWAP2
00001f89: LOG3
00001f8a: POP
00001f8b: POP
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: PUSH1 0x01
00001f90: PUSH1 0x01
00001f92: PUSH1 0xa0
00001f94: SHL
00001f95: SUB
00001f96: DUP4
00001f97: AND
00001f98: PUSH2 0x1fb3
00001f9b: JUMPI
00001f9c: PUSH1 0x40
00001f9e: MLOAD
00001f9f: PUSH3 0x461bcd
00001fa3: PUSH1 0xe5
00001fa5: SHL
00001fa6: DUP2
00001fa7: MSTORE
00001fa8: PUSH1 0x04
00001faa: ADD
00001fab: PUSH2 0x0a5d
00001fae: SWAP1
00001faf: PUSH2 0x2955
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: PUSH1 0x01
00001fb6: PUSH1 0x01
00001fb8: PUSH1 0xa0
00001fba: SHL
00001fbb: SUB
00001fbc: DUP3
00001fbd: AND
00001fbe: PUSH2 0x1fd9
00001fc1: JUMPI
00001fc2: PUSH1 0x40
00001fc4: MLOAD
00001fc5: PUSH3 0x461bcd
00001fc9: PUSH1 0xe5
00001fcb: SHL
00001fcc: DUP2
00001fcd: MSTORE
00001fce: PUSH1 0x04
00001fd0: ADD
00001fd1: PUSH2 0x0a5d
00001fd4: SWAP1
00001fd5: PUSH2 0x299a
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: PUSH2 0x2016
00001fdd: DUP2
00001fde: PUSH1 0x40
00001fe0: MLOAD
00001fe1: DUP1
00001fe2: PUSH1 0x60
00001fe4: ADD
00001fe5: PUSH1 0x40
00001fe7: MSTORE
00001fe8: DUP1
00001fe9: PUSH1 0x26
00001feb: DUP2
00001fec: MSTORE
00001fed: PUSH1 0x20
00001fef: ADD
00001ff0: PUSH2 0x2ac7
00001ff3: PUSH1 0x26
00001ff5: SWAP2
00001ff6: CODECOPY
00001ff7: PUSH1 0x01
00001ff9: PUSH1 0x01
00001ffb: PUSH1 0xa0
00001ffd: SHL
00001ffe: SUB
00001fff: DUP7
00002000: AND
00002001: PUSH1 0x00
00002003: SWAP1
00002004: DUP2
00002005: MSTORE
00002006: PUSH1 0x20
00002008: DUP2
00002009: SWAP1
0000200a: MSTORE
0000200b: PUSH1 0x40
0000200d: SWAP1
0000200e: KECCAK256
0000200f: SLOAD
00002010: SWAP2
00002011: SWAP1
00002012: PUSH2 0x1eff
00002015: JUMP
00002016: JUMPDEST
00002017: PUSH1 0x01
00002019: PUSH1 0x01
0000201b: PUSH1 0xa0
0000201d: SHL
0000201e: SUB
0000201f: DUP1
00002020: DUP6
00002021: AND
00002022: PUSH1 0x00
00002024: SWAP1
00002025: DUP2
00002026: MSTORE
00002027: PUSH1 0x20
00002029: DUP2
0000202a: SWAP1
0000202b: MSTORE
0000202c: PUSH1 0x40
0000202e: DUP1
0000202f: DUP3
00002030: KECCAK256
00002031: SWAP4
00002032: SWAP1
00002033: SWAP4
00002034: SSTORE
00002035: SWAP1
00002036: DUP5
00002037: AND
00002038: DUP2
00002039: MSTORE
0000203a: KECCAK256
0000203b: SLOAD
0000203c: PUSH2 0x2045
0000203f: SWAP1
00002040: DUP3
00002041: PUSH2 0x1478
00002044: JUMP
00002045: JUMPDEST
00002046: PUSH1 0x01
00002048: PUSH1 0x01
0000204a: PUSH1 0xa0
0000204c: SHL
0000204d: SUB
0000204e: DUP4
0000204f: DUP2
00002050: AND
00002051: PUSH1 0x00
00002053: DUP2
00002054: DUP2
00002055: MSTORE
00002056: PUSH1 0x20
00002058: DUP2
00002059: DUP2
0000205a: MSTORE
0000205b: PUSH1 0x40
0000205d: SWAP2
0000205e: DUP3
0000205f: SWAP1
00002060: KECCAK256
00002061: SWAP5
00002062: SWAP1
00002063: SWAP5
00002064: SSTORE
00002065: MLOAD
00002066: DUP5
00002067: DUP2
00002068: MSTORE
00002069: SWAP1
0000206a: SWAP3
0000206b: SWAP2
0000206c: DUP7
0000206d: AND
0000206e: SWAP2
0000206f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002090: SWAP2
00002091: ADD
00002092: PUSH2 0x15f6
00002095: JUMP
00002096: JUMPDEST
00002097: ADDRESS
00002098: PUSH1 0x00
0000209a: SWAP1
0000209b: DUP2
0000209c: MSTORE
0000209d: PUSH1 0x20
0000209f: DUP2
000020a0: SWAP1
000020a1: MSTORE
000020a2: PUSH1 0x40
000020a4: DUP2
000020a5: KECCAK256
000020a6: SLOAD
000020a7: SWAP1
000020a8: POP
000020a9: PUSH1 0x00
000020ab: PUSH1 0x1a
000020ad: SLOAD
000020ae: PUSH1 0x18
000020b0: SLOAD
000020b1: PUSH1 0x19
000020b3: SLOAD
000020b4: PUSH2 0x20bd
000020b7: SWAP2
000020b8: SWAP1
000020b9: PUSH2 0x293d
000020bc: JUMP
000020bd: JUMPDEST
000020be: PUSH2 0x20c7
000020c1: SWAP2
000020c2: SWAP1
000020c3: PUSH2 0x293d
000020c6: JUMP
000020c7: JUMPDEST
000020c8: SWAP1
000020c9: POP
000020ca: PUSH1 0x00
000020cc: DUP3
000020cd: ISZERO
000020ce: DUP1
000020cf: PUSH2 0x20d6
000020d2: JUMPI
000020d3: POP
000020d4: DUP2
000020d5: ISZERO
000020d6: JUMPDEST
000020d7: ISZERO
000020d8: PUSH2 0x20e0
000020db: JUMPI
000020dc: POP
000020dd: POP
000020de: POP
000020df: JUMP
000020e0: JUMPDEST
000020e1: PUSH1 0x09
000020e3: SLOAD
000020e4: PUSH2 0x20ee
000020e7: SWAP1
000020e8: PUSH1 0x14
000020ea: PUSH2 0x28fc
000020ed: JUMP
000020ee: JUMPDEST
000020ef: DUP4
000020f0: GT
000020f1: ISZERO
000020f2: PUSH2 0x2106
000020f5: JUMPI
000020f6: PUSH1 0x09
000020f8: SLOAD
000020f9: PUSH2 0x2103
000020fc: SWAP1
000020fd: PUSH1 0x14
000020ff: PUSH2 0x28fc
00002102: JUMP
00002103: JUMPDEST
00002104: SWAP3
00002105: POP
00002106: JUMPDEST
00002107: PUSH1 0x00
00002109: PUSH1 0x02
0000210b: DUP4
0000210c: PUSH1 0x19
0000210e: SLOAD
0000210f: DUP7
00002110: PUSH2 0x2119
00002113: SWAP2
00002114: SWAP1
00002115: PUSH2 0x28fc
00002118: JUMP
00002119: JUMPDEST
0000211a: PUSH2 0x2123
0000211d: SWAP2
0000211e: SWAP1
0000211f: PUSH2 0x291b
00002122: JUMP
00002123: JUMPDEST
00002124: PUSH2 0x212d
00002127: SWAP2
00002128: SWAP1
00002129: PUSH2 0x291b
0000212c: JUMP
0000212d: JUMPDEST
0000212e: SWAP1
0000212f: POP
00002130: PUSH1 0x00
00002132: PUSH2 0x213b
00002135: DUP6
00002136: DUP4
00002137: PUSH2 0x2391
0000213a: JUMP
0000213b: JUMPDEST
0000213c: SWAP1
0000213d: POP
0000213e: SELFBALANCE
0000213f: PUSH2 0x2147
00002142: DUP3
00002143: PUSH2 0x23d3
00002146: JUMP
00002147: JUMPDEST
00002148: PUSH1 0x00
0000214a: PUSH2 0x2153
0000214d: SELFBALANCE
0000214e: DUP4
0000214f: PUSH2 0x2391
00002152: JUMP
00002153: JUMPDEST
00002154: SWAP1
00002155: POP
00002156: PUSH1 0x00
00002158: PUSH2 0x2170
0000215b: DUP8
0000215c: PUSH2 0x1d51
0000215f: PUSH1 0x18
00002161: SLOAD
00002162: DUP6
00002163: PUSH2 0x22d0
00002166: SWAP1
00002167: SWAP2
00002168: SWAP1
00002169: PUSH4 0xffffffff
0000216e: AND
0000216f: JUMP
00002170: JUMPDEST
00002171: SWAP1
00002172: POP
00002173: PUSH1 0x00
00002175: PUSH2 0x218d
00002178: DUP9
00002179: PUSH2 0x1d51
0000217c: PUSH1 0x1a
0000217e: SLOAD
0000217f: DUP7
00002180: PUSH2 0x22d0
00002183: SWAP1
00002184: SWAP2
00002185: SWAP1
00002186: PUSH4 0xffffffff
0000218b: AND
0000218c: JUMP
0000218d: JUMPDEST
0000218e: SWAP1
0000218f: POP
00002190: PUSH1 0x00
00002192: DUP2
00002193: PUSH2 0x219c
00002196: DUP5
00002197: DUP7
00002198: PUSH2 0x29dd
0000219b: JUMP
0000219c: JUMPDEST
0000219d: PUSH2 0x21a6
000021a0: SWAP2
000021a1: SWAP1
000021a2: PUSH2 0x29dd
000021a5: JUMP
000021a6: JUMPDEST
000021a7: PUSH1 0x00
000021a9: PUSH1 0x19
000021ab: DUP2
000021ac: SWAP1
000021ad: SSTORE
000021ae: PUSH1 0x18
000021b0: DUP2
000021b1: SWAP1
000021b2: SSTORE
000021b3: PUSH1 0x1a
000021b5: DUP2
000021b6: SWAP1
000021b7: SSTORE
000021b8: PUSH1 0x07
000021ba: SLOAD
000021bb: PUSH1 0x40
000021bd: MLOAD
000021be: SWAP3
000021bf: SWAP4
000021c0: POP
000021c1: PUSH1 0x01
000021c3: PUSH1 0x01
000021c5: PUSH1 0xa0
000021c7: SHL
000021c8: SUB
000021c9: AND
000021ca: SWAP2
000021cb: DUP5
000021cc: SWAP2
000021cd: DUP2
000021ce: DUP2
000021cf: DUP2
000021d0: DUP6
000021d1: DUP8
000021d2: GAS
000021d3: CALL
000021d4: SWAP3
000021d5: POP
000021d6: POP
000021d7: POP
000021d8: RETURNDATASIZE
000021d9: DUP1
000021da: PUSH1 0x00
000021dc: DUP2
000021dd: EQ
000021de: PUSH2 0x2203
000021e1: JUMPI
000021e2: PUSH1 0x40
000021e4: MLOAD
000021e5: SWAP2
000021e6: POP
000021e7: PUSH1 0x1f
000021e9: NOT
000021ea: PUSH1 0x3f
000021ec: RETURNDATASIZE
000021ed: ADD
000021ee: AND
000021ef: DUP3
000021f0: ADD
000021f1: PUSH1 0x40
000021f3: MSTORE
000021f4: RETURNDATASIZE
000021f5: DUP3
000021f6: MSTORE
000021f7: RETURNDATASIZE
000021f8: PUSH1 0x00
000021fa: PUSH1 0x20
000021fc: DUP5
000021fd: ADD
000021fe: RETURNDATACOPY
000021ff: PUSH2 0x2208
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH1 0x60
00002206: SWAP2
00002207: POP
00002208: JUMPDEST
00002209: POP
0000220a: SWAP1
0000220b: SWAP9
0000220c: POP
0000220d: POP
0000220e: DUP7
0000220f: ISZERO
00002210: DUP1
00002211: ISZERO
00002212: SWAP1
00002213: PUSH2 0x221c
00002216: JUMPI
00002217: POP
00002218: PUSH1 0x00
0000221a: DUP2
0000221b: GT
0000221c: JUMPDEST
0000221d: ISZERO
0000221e: PUSH2 0x226f
00002221: JUMPI
00002222: PUSH2 0x222b
00002225: DUP8
00002226: DUP3
00002227: PUSH2 0x2593
0000222a: JUMP
0000222b: JUMPDEST
0000222c: PUSH1 0x19
0000222e: SLOAD
0000222f: PUSH1 0x40
00002231: DUP1
00002232: MLOAD
00002233: DUP9
00002234: DUP2
00002235: MSTORE
00002236: PUSH1 0x20
00002238: DUP2
00002239: ADD
0000223a: DUP5
0000223b: SWAP1
0000223c: MSTORE
0000223d: DUP1
0000223e: DUP3
0000223f: ADD
00002240: SWAP3
00002241: SWAP1
00002242: SWAP3
00002243: MSTORE
00002244: MLOAD
00002245: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00002266: SWAP2
00002267: DUP2
00002268: SWAP1
00002269: SUB
0000226a: PUSH1 0x60
0000226c: ADD
0000226d: SWAP1
0000226e: LOG1
0000226f: JUMPDEST
00002270: PUSH1 0x06
00002272: SLOAD
00002273: PUSH1 0x40
00002275: MLOAD
00002276: PUSH1 0x01
00002278: PUSH1 0x01
0000227a: PUSH1 0xa0
0000227c: SHL
0000227d: SUB
0000227e: SWAP1
0000227f: SWAP2
00002280: AND
00002281: SWAP1
00002282: SELFBALANCE
00002283: SWAP1
00002284: PUSH1 0x00
00002286: DUP2
00002287: DUP2
00002288: DUP2
00002289: DUP6
0000228a: DUP8
0000228b: GAS
0000228c: CALL
0000228d: SWAP3
0000228e: POP
0000228f: POP
00002290: POP
00002291: RETURNDATASIZE
00002292: DUP1
00002293: PUSH1 0x00
00002295: DUP2
00002296: EQ
00002297: PUSH2 0x22bc
0000229a: JUMPI
0000229b: PUSH1 0x40
0000229d: MLOAD
0000229e: SWAP2
0000229f: POP
000022a0: PUSH1 0x1f
000022a2: NOT
000022a3: PUSH1 0x3f
000022a5: RETURNDATASIZE
000022a6: ADD
000022a7: AND
000022a8: DUP3
000022a9: ADD
000022aa: PUSH1 0x40
000022ac: MSTORE
000022ad: RETURNDATASIZE
000022ae: DUP3
000022af: MSTORE
000022b0: RETURNDATASIZE
000022b1: PUSH1 0x00
000022b3: PUSH1 0x20
000022b5: DUP5
000022b6: ADD
000022b7: RETURNDATACOPY
000022b8: PUSH2 0x22c1
000022bb: JUMP
000022bc: JUMPDEST
000022bd: PUSH1 0x60
000022bf: SWAP2
000022c0: POP
000022c1: JUMPDEST
000022c2: POP
000022c3: POP
000022c4: POP
000022c5: POP
000022c6: POP
000022c7: POP
000022c8: POP
000022c9: POP
000022ca: POP
000022cb: POP
000022cc: POP
000022cd: POP
000022ce: POP
000022cf: JUMP
000022d0: JUMPDEST
000022d1: PUSH1 0x00
000022d3: DUP3
000022d4: PUSH2 0x22df
000022d7: JUMPI
000022d8: POP
000022d9: PUSH1 0x00
000022db: PUSH2 0x0a2d
000022de: JUMP
000022df: JUMPDEST
000022e0: PUSH1 0x00
000022e2: PUSH2 0x22eb
000022e5: DUP4
000022e6: DUP6
000022e7: PUSH2 0x28fc
000022ea: JUMP
000022eb: JUMPDEST
000022ec: SWAP1
000022ed: POP
000022ee: DUP3
000022ef: PUSH2 0x22f8
000022f2: DUP6
000022f3: DUP4
000022f4: PUSH2 0x291b
000022f7: JUMP
000022f8: JUMPDEST
000022f9: EQ
000022fa: PUSH2 0x14d7
000022fd: JUMPI
000022fe: PUSH1 0x40
00002300: MLOAD
00002301: PUSH3 0x461bcd
00002305: PUSH1 0xe5
00002307: SHL
00002308: DUP2
00002309: MSTORE
0000230a: PUSH1 0x20
0000230c: PUSH1 0x04
0000230e: DUP3
0000230f: ADD
00002310: MSTORE
00002311: PUSH1 0x21
00002313: PUSH1 0x24
00002315: DUP3
00002316: ADD
00002317: MSTORE
00002318: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002339: PUSH1 0x44
0000233b: DUP3
0000233c: ADD
0000233d: MSTORE
0000233e: PUSH1 0x77
00002340: PUSH1 0xf8
00002342: SHL
00002343: PUSH1 0x64
00002345: DUP3
00002346: ADD
00002347: MSTORE
00002348: PUSH1 0x84
0000234a: ADD
0000234b: PUSH2 0x0a5d
0000234e: JUMP
0000234f: JUMPDEST
00002350: PUSH1 0x00
00002352: PUSH2 0x14d7
00002355: DUP4
00002356: DUP4
00002357: PUSH1 0x40
00002359: MLOAD
0000235a: DUP1
0000235b: PUSH1 0x40
0000235d: ADD
0000235e: PUSH1 0x40
00002360: MSTORE
00002361: DUP1
00002362: PUSH1 0x1a
00002364: DUP2
00002365: MSTORE
00002366: PUSH1 0x20
00002368: ADD
00002369: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000238a: DUP2
0000238b: MSTORE
0000238c: POP
0000238d: PUSH2 0x2673
00002390: JUMP
00002391: JUMPDEST
00002392: PUSH1 0x00
00002394: PUSH2 0x14d7
00002397: DUP4
00002398: DUP4
00002399: PUSH1 0x40
0000239b: MLOAD
0000239c: DUP1
0000239d: PUSH1 0x40
0000239f: ADD
000023a0: PUSH1 0x40
000023a2: MSTORE
000023a3: DUP1
000023a4: PUSH1 0x1e
000023a6: DUP2
000023a7: MSTORE
000023a8: PUSH1 0x20
000023aa: ADD
000023ab: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000023cc: DUP2
000023cd: MSTORE
000023ce: POP
000023cf: PUSH2 0x1eff
000023d2: JUMP
000023d3: JUMPDEST
000023d4: PUSH1 0x40
000023d6: DUP1
000023d7: MLOAD
000023d8: PUSH1 0x02
000023da: DUP1
000023db: DUP3
000023dc: MSTORE
000023dd: PUSH1 0x60
000023df: DUP3
000023e0: ADD
000023e1: DUP4
000023e2: MSTORE
000023e3: PUSH1 0x00
000023e5: SWAP3
000023e6: PUSH1 0x20
000023e8: DUP4
000023e9: ADD
000023ea: SWAP1
000023eb: DUP1
000023ec: CALLDATASIZE
000023ed: DUP4
000023ee: CALLDATACOPY
000023ef: ADD
000023f0: SWAP1
000023f1: POP
000023f2: POP
000023f3: SWAP1
000023f4: POP
000023f5: ADDRESS
000023f6: DUP2
000023f7: PUSH1 0x00
000023f9: DUP2
000023fa: MLOAD
000023fb: DUP2
000023fc: LT
000023fd: PUSH2 0x2408
00002400: JUMPI
00002401: PUSH2 0x2408
00002404: PUSH2 0x29f4
00002407: JUMP
00002408: JUMPDEST
00002409: PUSH1 0x20
0000240b: MUL
0000240c: PUSH1 0x20
0000240e: ADD
0000240f: ADD
00002410: SWAP1
00002411: PUSH1 0x01
00002413: PUSH1 0x01
00002415: PUSH1 0xa0
00002417: SHL
00002418: SUB
00002419: AND
0000241a: SWAP1
0000241b: DUP2
0000241c: PUSH1 0x01
0000241e: PUSH1 0x01
00002420: PUSH1 0xa0
00002422: SHL
00002423: SUB
00002424: AND
00002425: DUP2
00002426: MSTORE
00002427: POP
00002428: POP
00002429: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000244a: PUSH1 0x01
0000244c: PUSH1 0x01
0000244e: PUSH1 0xa0
00002450: SHL
00002451: SUB
00002452: AND
00002453: PUSH4 0xad5c4648
00002458: PUSH1 0x40
0000245a: MLOAD
0000245b: DUP2
0000245c: PUSH4 0xffffffff
00002461: AND
00002462: PUSH1 0xe0
00002464: SHL
00002465: DUP2
00002466: MSTORE
00002467: PUSH1 0x04
00002469: ADD
0000246a: PUSH1 0x20
0000246c: PUSH1 0x40
0000246e: MLOAD
0000246f: DUP1
00002470: DUP4
00002471: SUB
00002472: DUP2
00002473: DUP7
00002474: GAS
00002475: STATICCALL
00002476: ISZERO
00002477: DUP1
00002478: ISZERO
00002479: PUSH2 0x2486
0000247c: JUMPI
0000247d: RETURNDATASIZE
0000247e: PUSH1 0x00
00002480: DUP1
00002481: RETURNDATACOPY
00002482: RETURNDATASIZE
00002483: PUSH1 0x00
00002485: REVERT
00002486: JUMPDEST
00002487: POP
00002488: POP
00002489: POP
0000248a: POP
0000248b: PUSH1 0x40
0000248d: MLOAD
0000248e: RETURNDATASIZE
0000248f: PUSH1 0x1f
00002491: NOT
00002492: PUSH1 0x1f
00002494: DUP3
00002495: ADD
00002496: AND
00002497: DUP3
00002498: ADD
00002499: DUP1
0000249a: PUSH1 0x40
0000249c: MSTORE
0000249d: POP
0000249e: DUP2
0000249f: ADD
000024a0: SWAP1
000024a1: PUSH2 0x24aa
000024a4: SWAP2
000024a5: SWAP1
000024a6: PUSH2 0x2a0a
000024a9: JUMP
000024aa: JUMPDEST
000024ab: DUP2
000024ac: PUSH1 0x01
000024ae: DUP2
000024af: MLOAD
000024b0: DUP2
000024b1: LT
000024b2: PUSH2 0x24bd
000024b5: JUMPI
000024b6: PUSH2 0x24bd
000024b9: PUSH2 0x29f4
000024bc: JUMP
000024bd: JUMPDEST
000024be: PUSH1 0x20
000024c0: MUL
000024c1: PUSH1 0x20
000024c3: ADD
000024c4: ADD
000024c5: SWAP1
000024c6: PUSH1 0x01
000024c8: PUSH1 0x01
000024ca: PUSH1 0xa0
000024cc: SHL
000024cd: SUB
000024ce: AND
000024cf: SWAP1
000024d0: DUP2
000024d1: PUSH1 0x01
000024d3: PUSH1 0x01
000024d5: PUSH1 0xa0
000024d7: SHL
000024d8: SUB
000024d9: AND
000024da: DUP2
000024db: MSTORE
000024dc: POP
000024dd: POP
000024de: PUSH2 0x2508
000024e1: ADDRESS
000024e2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002503: DUP5
00002504: PUSH2 0x14de
00002507: JUMP
00002508: JUMPDEST
00002509: PUSH1 0x40
0000250b: MLOAD
0000250c: PUSH4 0x791ac947
00002511: PUSH1 0xe0
00002513: SHL
00002514: DUP2
00002515: MSTORE
00002516: PUSH1 0x01
00002518: PUSH1 0x01
0000251a: PUSH1 0xa0
0000251c: SHL
0000251d: SUB
0000251e: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000253f: AND
00002540: SWAP1
00002541: PUSH4 0x791ac947
00002546: SWAP1
00002547: PUSH2 0x255d
0000254a: SWAP1
0000254b: DUP6
0000254c: SWAP1
0000254d: PUSH1 0x00
0000254f: SWAP1
00002550: DUP7
00002551: SWAP1
00002552: ADDRESS
00002553: SWAP1
00002554: TIMESTAMP
00002555: SWAP1
00002556: PUSH1 0x04
00002558: ADD
00002559: PUSH2 0x2a27
0000255c: JUMP
0000255d: JUMPDEST
0000255e: PUSH1 0x00
00002560: PUSH1 0x40
00002562: MLOAD
00002563: DUP1
00002564: DUP4
00002565: SUB
00002566: DUP2
00002567: PUSH1 0x00
00002569: DUP8
0000256a: DUP1
0000256b: EXTCODESIZE
0000256c: ISZERO
0000256d: DUP1
0000256e: ISZERO
0000256f: PUSH2 0x2577
00002572: JUMPI
00002573: PUSH1 0x00
00002575: DUP1
00002576: REVERT
00002577: JUMPDEST
00002578: POP
00002579: GAS
0000257a: CALL
0000257b: ISZERO
0000257c: DUP1
0000257d: ISZERO
0000257e: PUSH2 0x258b
00002581: JUMPI
00002582: RETURNDATASIZE
00002583: PUSH1 0x00
00002585: DUP1
00002586: RETURNDATACOPY
00002587: RETURNDATASIZE
00002588: PUSH1 0x00
0000258a: REVERT
0000258b: JUMPDEST
0000258c: POP
0000258d: POP
0000258e: POP
0000258f: POP
00002590: POP
00002591: POP
00002592: JUMP
00002593: JUMPDEST
00002594: PUSH2 0x25be
00002597: ADDRESS
00002598: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000025b9: DUP5
000025ba: PUSH2 0x14de
000025bd: JUMP
000025be: JUMPDEST
000025bf: PUSH1 0x40
000025c1: MLOAD
000025c2: PUSH4 0xf305d719
000025c7: PUSH1 0xe0
000025c9: SHL
000025ca: DUP2
000025cb: MSTORE
000025cc: ADDRESS
000025cd: PUSH1 0x04
000025cf: DUP3
000025d0: ADD
000025d1: DUP2
000025d2: SWAP1
000025d3: MSTORE
000025d4: PUSH1 0x24
000025d6: DUP3
000025d7: ADD
000025d8: DUP5
000025d9: SWAP1
000025da: MSTORE
000025db: PUSH1 0x00
000025dd: PUSH1 0x44
000025df: DUP4
000025e0: ADD
000025e1: DUP2
000025e2: SWAP1
000025e3: MSTORE
000025e4: PUSH1 0x64
000025e6: DUP4
000025e7: ADD
000025e8: MSTORE
000025e9: PUSH1 0x84
000025eb: DUP3
000025ec: ADD
000025ed: MSTORE
000025ee: TIMESTAMP
000025ef: PUSH1 0xa4
000025f1: DUP3
000025f2: ADD
000025f3: MSTORE
000025f4: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002615: PUSH1 0x01
00002617: PUSH1 0x01
00002619: PUSH1 0xa0
0000261b: SHL
0000261c: SUB
0000261d: AND
0000261e: SWAP1
0000261f: PUSH4 0xf305d719
00002624: SWAP1
00002625: DUP4
00002626: SWAP1
00002627: PUSH1 0xc4
00002629: ADD
0000262a: PUSH1 0x60
0000262c: PUSH1 0x40
0000262e: MLOAD
0000262f: DUP1
00002630: DUP4
00002631: SUB
00002632: DUP2
00002633: DUP6
00002634: DUP9
00002635: GAS
00002636: CALL
00002637: ISZERO
00002638: DUP1
00002639: ISZERO
0000263a: PUSH2 0x2647
0000263d: JUMPI
0000263e: RETURNDATASIZE
0000263f: PUSH1 0x00
00002641: DUP1
00002642: RETURNDATACOPY
00002643: RETURNDATASIZE
00002644: PUSH1 0x00
00002646: REVERT
00002647: JUMPDEST
00002648: POP
00002649: POP
0000264a: POP
0000264b: POP
0000264c: POP
0000264d: PUSH1 0x40
0000264f: MLOAD
00002650: RETURNDATASIZE
00002651: PUSH1 0x1f
00002653: NOT
00002654: PUSH1 0x1f
00002656: DUP3
00002657: ADD
00002658: AND
00002659: DUP3
0000265a: ADD
0000265b: DUP1
0000265c: PUSH1 0x40
0000265e: MSTORE
0000265f: POP
00002660: DUP2
00002661: ADD
00002662: SWAP1
00002663: PUSH2 0x266c
00002666: SWAP2
00002667: SWAP1
00002668: PUSH2 0x2a98
0000266b: JUMP
0000266c: JUMPDEST
0000266d: POP
0000266e: POP
0000266f: POP
00002670: POP
00002671: POP
00002672: JUMP
00002673: JUMPDEST
00002674: PUSH1 0x00
00002676: DUP2
00002677: DUP4
00002678: PUSH2 0x2694
0000267b: JUMPI
0000267c: PUSH1 0x40
0000267e: MLOAD
0000267f: PUSH3 0x461bcd
00002683: PUSH1 0xe5
00002685: SHL
00002686: DUP2
00002687: MSTORE
00002688: PUSH1 0x04
0000268a: ADD
0000268b: PUSH2 0x0a5d
0000268e: SWAP2
0000268f: SWAP1
00002690: PUSH2 0x26a1
00002693: JUMP
00002694: JUMPDEST
00002695: POP
00002696: PUSH1 0x00
00002698: PUSH2 0x1f30
0000269b: DUP5
0000269c: DUP7
0000269d: PUSH2 0x291b
000026a0: JUMP
000026a1: JUMPDEST
000026a2: PUSH1 0x00
000026a4: PUSH1 0x20
000026a6: DUP1
000026a7: DUP4
000026a8: MSTORE
000026a9: DUP4
000026aa: MLOAD
000026ab: DUP1
000026ac: DUP3
000026ad: DUP6
000026ae: ADD
000026af: MSTORE
000026b0: PUSH1 0x00
000026b2: JUMPDEST
000026b3: DUP2
000026b4: DUP2
000026b5: LT
000026b6: ISZERO
000026b7: PUSH2 0x26ce
000026ba: JUMPI
000026bb: DUP6
000026bc: DUP2
000026bd: ADD
000026be: DUP4
000026bf: ADD
000026c0: MLOAD
000026c1: DUP6
000026c2: DUP3
000026c3: ADD
000026c4: PUSH1 0x40
000026c6: ADD
000026c7: MSTORE
000026c8: DUP3
000026c9: ADD
000026ca: PUSH2 0x26b2
000026cd: JUMP
000026ce: JUMPDEST
000026cf: DUP2
000026d0: DUP2
000026d1: GT
000026d2: ISZERO
000026d3: PUSH2 0x26e0
000026d6: JUMPI
000026d7: PUSH1 0x00
000026d9: PUSH1 0x40
000026db: DUP4
000026dc: DUP8
000026dd: ADD
000026de: ADD
000026df: MSTORE
000026e0: JUMPDEST
000026e1: POP
000026e2: PUSH1 0x1f
000026e4: ADD
000026e5: PUSH1 0x1f
000026e7: NOT
000026e8: AND
000026e9: SWAP3
000026ea: SWAP1
000026eb: SWAP3
000026ec: ADD
000026ed: PUSH1 0x40
000026ef: ADD
000026f0: SWAP4
000026f1: SWAP3
000026f2: POP
000026f3: POP
000026f4: POP
000026f5: JUMP
000026f6: JUMPDEST
000026f7: PUSH1 0x01
000026f9: PUSH1 0x01
000026fb: PUSH1 0xa0
000026fd: SHL
000026fe: SUB
000026ff: DUP2
00002700: AND
00002701: DUP2
00002702: EQ
00002703: PUSH2 0x270b
00002706: JUMPI
00002707: PUSH1 0x00
00002709: DUP1
0000270a: REVERT
0000270b: JUMPDEST
0000270c: POP
0000270d: JUMP
0000270e: JUMPDEST
0000270f: PUSH1 0x00
00002711: DUP1
00002712: PUSH1 0x40
00002714: DUP4
00002715: DUP6
00002716: SUB
00002717: SLT
00002718: ISZERO
00002719: PUSH2 0x2721
0000271c: JUMPI
0000271d: PUSH1 0x00
0000271f: DUP1
00002720: REVERT
00002721: JUMPDEST
00002722: DUP3
00002723: CALLDATALOAD
00002724: PUSH2 0x272c
00002727: DUP2
00002728: PUSH2 0x26f6
0000272b: JUMP
0000272c: JUMPDEST
0000272d: SWAP5
0000272e: PUSH1 0x20
00002730: SWAP4
00002731: SWAP1
00002732: SWAP4
00002733: ADD
00002734: CALLDATALOAD
00002735: SWAP4
00002736: POP
00002737: POP
00002738: POP
00002739: JUMP
0000273a: JUMPDEST
0000273b: PUSH1 0x00
0000273d: PUSH1 0x20
0000273f: DUP3
00002740: DUP5
00002741: SUB
00002742: SLT
00002743: ISZERO
00002744: PUSH2 0x274c
00002747: JUMPI
00002748: PUSH1 0x00
0000274a: DUP1
0000274b: REVERT
0000274c: JUMPDEST
0000274d: DUP2
0000274e: CALLDATALOAD
0000274f: PUSH2 0x14d7
00002752: DUP2
00002753: PUSH2 0x26f6
00002756: JUMP
00002757: JUMPDEST
00002758: PUSH1 0x00
0000275a: PUSH1 0x20
0000275c: DUP3
0000275d: DUP5
0000275e: SUB
0000275f: SLT
00002760: ISZERO
00002761: PUSH2 0x2769
00002764: JUMPI
00002765: PUSH1 0x00
00002767: DUP1
00002768: REVERT
00002769: JUMPDEST
0000276a: POP
0000276b: CALLDATALOAD
0000276c: SWAP2
0000276d: SWAP1
0000276e: POP
0000276f: JUMP
00002770: JUMPDEST
00002771: PUSH1 0x00
00002773: DUP1
00002774: PUSH1 0x00
00002776: PUSH1 0x60
00002778: DUP5
00002779: DUP7
0000277a: SUB
0000277b: SLT
0000277c: ISZERO
0000277d: PUSH2 0x2785
00002780: JUMPI
00002781: PUSH1 0x00
00002783: DUP1
00002784: REVERT
00002785: JUMPDEST
00002786: DUP4
00002787: CALLDATALOAD
00002788: PUSH2 0x2790
0000278b: DUP2
0000278c: PUSH2 0x26f6
0000278f: JUMP
00002790: JUMPDEST
00002791: SWAP3
00002792: POP
00002793: PUSH1 0x20
00002795: DUP5
00002796: ADD
00002797: CALLDATALOAD
00002798: PUSH2 0x27a0
0000279b: DUP2
0000279c: PUSH2 0x26f6
0000279f: JUMP
000027a0: JUMPDEST
000027a1: SWAP3
000027a2: SWAP6
000027a3: SWAP3
000027a4: SWAP5
000027a5: POP
000027a6: POP
000027a7: POP
000027a8: PUSH1 0x40
000027aa: SWAP2
000027ab: SWAP1
000027ac: SWAP2
000027ad: ADD
000027ae: CALLDATALOAD
000027af: SWAP1
000027b0: JUMP
000027b1: JUMPDEST
000027b2: DUP1
000027b3: CALLDATALOAD
000027b4: DUP1
000027b5: ISZERO
000027b6: ISZERO
000027b7: DUP2
000027b8: EQ
000027b9: PUSH2 0x134b
000027bc: JUMPI
000027bd: PUSH1 0x00
000027bf: DUP1
000027c0: REVERT
000027c1: JUMPDEST
000027c2: PUSH1 0x00
000027c4: DUP1
000027c5: PUSH1 0x40
000027c7: DUP4
000027c8: DUP6
000027c9: SUB
000027ca: SLT
000027cb: ISZERO
000027cc: PUSH2 0x27d4
000027cf: JUMPI
000027d0: PUSH1 0x00
000027d2: DUP1
000027d3: REVERT
000027d4: JUMPDEST
000027d5: DUP3
000027d6: CALLDATALOAD
000027d7: PUSH2 0x27df
000027da: DUP2
000027db: PUSH2 0x26f6
000027de: JUMP
000027df: JUMPDEST
000027e0: SWAP2
000027e1: POP
000027e2: PUSH2 0x27ed
000027e5: PUSH1 0x20
000027e7: DUP5
000027e8: ADD
000027e9: PUSH2 0x27b1
000027ec: JUMP
000027ed: JUMPDEST
000027ee: SWAP1
000027ef: POP
000027f0: SWAP3
000027f1: POP
000027f2: SWAP3
000027f3: SWAP1
000027f4: POP
000027f5: JUMP
000027f6: JUMPDEST
000027f7: PUSH1 0x00
000027f9: DUP1
000027fa: PUSH1 0x00
000027fc: PUSH1 0x60
000027fe: DUP5
000027ff: DUP7
00002800: SUB
00002801: SLT
00002802: ISZERO
00002803: PUSH2 0x280b
00002806: JUMPI
00002807: PUSH1 0x00
00002809: DUP1
0000280a: REVERT
0000280b: JUMPDEST
0000280c: POP
0000280d: POP
0000280e: DUP2
0000280f: CALLDATALOAD
00002810: SWAP4
00002811: PUSH1 0x20
00002813: DUP4
00002814: ADD
00002815: CALLDATALOAD
00002816: SWAP4
00002817: POP
00002818: PUSH1 0x40
0000281a: SWAP1
0000281b: SWAP3
0000281c: ADD
0000281d: CALLDATALOAD
0000281e: SWAP2
0000281f: SWAP1
00002820: POP
00002821: JUMP
00002822: JUMPDEST
00002823: PUSH1 0x00
00002825: PUSH1 0x20
00002827: DUP3
00002828: DUP5
00002829: SUB
0000282a: SLT
0000282b: ISZERO
0000282c: PUSH2 0x2834
0000282f: JUMPI
00002830: PUSH1 0x00
00002832: DUP1
00002833: REVERT
00002834: JUMPDEST
00002835: PUSH2 0x14d7
00002838: DUP3
00002839: PUSH2 0x27b1
0000283c: JUMP
0000283d: JUMPDEST
0000283e: PUSH1 0x00
00002840: DUP1
00002841: PUSH1 0x40
00002843: DUP4
00002844: DUP6
00002845: SUB
00002846: SLT
00002847: ISZERO
00002848: PUSH2 0x2850
0000284b: JUMPI
0000284c: PUSH1 0x00
0000284e: DUP1
0000284f: REVERT
00002850: JUMPDEST
00002851: DUP3
00002852: CALLDATALOAD
00002853: PUSH2 0x285b
00002856: DUP2
00002857: PUSH2 0x26f6
0000285a: JUMP
0000285b: JUMPDEST
0000285c: SWAP2
0000285d: POP
0000285e: PUSH1 0x20
00002860: DUP4
00002861: ADD
00002862: CALLDATALOAD
00002863: PUSH2 0x286b
00002866: DUP2
00002867: PUSH2 0x26f6
0000286a: JUMP
0000286b: JUMPDEST
0000286c: DUP1
0000286d: SWAP2
0000286e: POP
0000286f: POP
00002870: SWAP3
00002871: POP
00002872: SWAP3
00002873: SWAP1
00002874: POP
00002875: JUMP
00002876: JUMPDEST
00002877: PUSH1 0x01
00002879: DUP2
0000287a: DUP2
0000287b: SHR
0000287c: SWAP1
0000287d: DUP3
0000287e: AND
0000287f: DUP1
00002880: PUSH2 0x288a
00002883: JUMPI
00002884: PUSH1 0x7f
00002886: DUP3
00002887: AND
00002888: SWAP2
00002889: POP
0000288a: JUMPDEST
0000288b: PUSH1 0x20
0000288d: DUP3
0000288e: LT
0000288f: DUP2
00002890: EQ
00002891: ISZERO
00002892: PUSH2 0x28ab
00002895: JUMPI
00002896: PUSH4 0x4e487b71
0000289b: PUSH1 0xe0
0000289d: SHL
0000289e: PUSH1 0x00
000028a0: MSTORE
000028a1: PUSH1 0x22
000028a3: PUSH1 0x04
000028a5: MSTORE
000028a6: PUSH1 0x24
000028a8: PUSH1 0x00
000028aa: REVERT
000028ab: JUMPDEST
000028ac: POP
000028ad: SWAP2
000028ae: SWAP1
000028af: POP
000028b0: JUMP
000028b1: JUMPDEST
000028b2: PUSH1 0x20
000028b4: DUP1
000028b5: DUP3
000028b6: MSTORE
000028b7: DUP2
000028b8: DUP2
000028b9: ADD
000028ba: MSTORE
000028bb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000028dc: PUSH1 0x40
000028de: DUP3
000028df: ADD
000028e0: MSTORE
000028e1: PUSH1 0x60
000028e3: ADD
000028e4: SWAP1
000028e5: JUMP
000028e6: JUMPDEST
000028e7: PUSH4 0x4e487b71
000028ec: PUSH1 0xe0
000028ee: SHL
000028ef: PUSH1 0x00
000028f1: MSTORE
000028f2: PUSH1 0x11
000028f4: PUSH1 0x04
000028f6: MSTORE
000028f7: PUSH1 0x24
000028f9: PUSH1 0x00
000028fb: REVERT
000028fc: JUMPDEST
000028fd: PUSH1 0x00
000028ff: DUP2
00002900: PUSH1 0x00
00002902: NOT
00002903: DIV
00002904: DUP4
00002905: GT
00002906: DUP3
00002907: ISZERO
00002908: ISZERO
00002909: AND
0000290a: ISZERO
0000290b: PUSH2 0x2916
0000290e: JUMPI
0000290f: PUSH2 0x2916
00002912: PUSH2 0x28e6
00002915: JUMP
00002916: JUMPDEST
00002917: POP
00002918: MUL
00002919: SWAP1
0000291a: JUMP
0000291b: JUMPDEST
0000291c: PUSH1 0x00
0000291e: DUP3
0000291f: PUSH2 0x2938
00002922: JUMPI
00002923: PUSH4 0x4e487b71
00002928: PUSH1 0xe0
0000292a: SHL
0000292b: PUSH1 0x00
0000292d: MSTORE
0000292e: PUSH1 0x12
00002930: PUSH1 0x04
00002932: MSTORE
00002933: PUSH1 0x24
00002935: PUSH1 0x00
00002937: REVERT
00002938: JUMPDEST
00002939: POP
0000293a: DIV
0000293b: SWAP1
0000293c: JUMP
0000293d: JUMPDEST
0000293e: PUSH1 0x00
00002940: DUP3
00002941: NOT
00002942: DUP3
00002943: GT
00002944: ISZERO
00002945: PUSH2 0x2950
00002948: JUMPI
00002949: PUSH2 0x2950
0000294c: PUSH2 0x28e6
0000294f: JUMP
00002950: JUMPDEST
00002951: POP
00002952: ADD
00002953: SWAP1
00002954: JUMP
00002955: JUMPDEST
00002956: PUSH1 0x20
00002958: DUP1
00002959: DUP3
0000295a: MSTORE
0000295b: PUSH1 0x25
0000295d: SWAP1
0000295e: DUP3
0000295f: ADD
00002960: MSTORE
00002961: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002982: PUSH1 0x40
00002984: DUP3
00002985: ADD
00002986: MSTORE
00002987: PUSH5 0x6472657373
0000298d: PUSH1 0xd8
0000298f: SHL
00002990: PUSH1 0x60
00002992: DUP3
00002993: ADD
00002994: MSTORE
00002995: PUSH1 0x80
00002997: ADD
00002998: SWAP1
00002999: JUMP
0000299a: JUMPDEST
0000299b: PUSH1 0x20
0000299d: DUP1
0000299e: DUP3
0000299f: MSTORE
000029a0: PUSH1 0x23
000029a2: SWAP1
000029a3: DUP3
000029a4: ADD
000029a5: MSTORE
000029a6: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000029c7: PUSH1 0x40
000029c9: DUP3
000029ca: ADD
000029cb: MSTORE
000029cc: PUSH3 0x657373
000029d0: PUSH1 0xe8
000029d2: SHL
000029d3: PUSH1 0x60
000029d5: DUP3
000029d6: ADD
000029d7: MSTORE
000029d8: PUSH1 0x80
000029da: ADD
000029db: SWAP1
000029dc: JUMP
000029dd: JUMPDEST
000029de: PUSH1 0x00
000029e0: DUP3
000029e1: DUP3
000029e2: LT
000029e3: ISZERO
000029e4: PUSH2 0x29ef
000029e7: JUMPI
000029e8: PUSH2 0x29ef
000029eb: PUSH2 0x28e6
000029ee: JUMP
000029ef: JUMPDEST
000029f0: POP
000029f1: SUB
000029f2: SWAP1
000029f3: JUMP
000029f4: JUMPDEST
000029f5: PUSH4 0x4e487b71
000029fa: PUSH1 0xe0
000029fc: SHL
000029fd: PUSH1 0x00
000029ff: MSTORE
00002a00: PUSH1 0x32
00002a02: PUSH1 0x04
00002a04: MSTORE
00002a05: PUSH1 0x24
00002a07: PUSH1 0x00
00002a09: REVERT
00002a0a: JUMPDEST
00002a0b: PUSH1 0x00
00002a0d: PUSH1 0x20
00002a0f: DUP3
00002a10: DUP5
00002a11: SUB
00002a12: SLT
00002a13: ISZERO
00002a14: PUSH2 0x2a1c
00002a17: JUMPI
00002a18: PUSH1 0x00
00002a1a: DUP1
00002a1b: REVERT
00002a1c: JUMPDEST
00002a1d: DUP2
00002a1e: MLOAD
00002a1f: PUSH2 0x14d7
00002a22: DUP2
00002a23: PUSH2 0x26f6
00002a26: JUMP
00002a27: JUMPDEST
00002a28: PUSH1 0x00
00002a2a: PUSH1 0xa0
00002a2c: DUP3
00002a2d: ADD
00002a2e: DUP8
00002a2f: DUP4
00002a30: MSTORE
00002a31: PUSH1 0x20
00002a33: DUP8
00002a34: DUP2
00002a35: DUP6
00002a36: ADD
00002a37: MSTORE
00002a38: PUSH1 0xa0
00002a3a: PUSH1 0x40
00002a3c: DUP6
00002a3d: ADD
00002a3e: MSTORE
00002a3f: DUP2
00002a40: DUP8
00002a41: MLOAD
00002a42: DUP1
00002a43: DUP5
00002a44: MSTORE
00002a45: PUSH1 0xc0
00002a47: DUP7
00002a48: ADD
00002a49: SWAP2
00002a4a: POP
00002a4b: DUP3
00002a4c: DUP10
00002a4d: ADD
00002a4e: SWAP4
00002a4f: POP
00002a50: PUSH1 0x00
00002a52: JUMPDEST
00002a53: DUP2
00002a54: DUP2
00002a55: LT
00002a56: ISZERO
00002a57: PUSH2 0x2a77
00002a5a: JUMPI
00002a5b: DUP5
00002a5c: MLOAD
00002a5d: PUSH1 0x01
00002a5f: PUSH1 0x01
00002a61: PUSH1 0xa0
00002a63: SHL
00002a64: SUB
00002a65: AND
00002a66: DUP4
00002a67: MSTORE
00002a68: SWAP4
00002a69: DUP4
00002a6a: ADD
00002a6b: SWAP4
00002a6c: SWAP2
00002a6d: DUP4
00002a6e: ADD
00002a6f: SWAP2
00002a70: PUSH1 0x01
00002a72: ADD
00002a73: PUSH2 0x2a52
00002a76: JUMP
00002a77: JUMPDEST
00002a78: POP
00002a79: POP
00002a7a: PUSH1 0x01
00002a7c: PUSH1 0x01
00002a7e: PUSH1 0xa0
00002a80: SHL
00002a81: SUB
00002a82: SWAP7
00002a83: SWAP1
00002a84: SWAP7
00002a85: AND
00002a86: PUSH1 0x60
00002a88: DUP6
00002a89: ADD
00002a8a: MSTORE
00002a8b: POP
00002a8c: POP
00002a8d: POP
00002a8e: PUSH1 0x80
00002a90: ADD
00002a91: MSTORE
00002a92: SWAP4
00002a93: SWAP3
00002a94: POP
00002a95: POP
00002a96: POP
00002a97: JUMP
00002a98: JUMPDEST
00002a99: PUSH1 0x00
00002a9b: DUP1
00002a9c: PUSH1 0x00
00002a9e: PUSH1 0x60
00002aa0: DUP5
00002aa1: DUP7
00002aa2: SUB
00002aa3: SLT
00002aa4: ISZERO
00002aa5: PUSH2 0x2aad
00002aa8: JUMPI
00002aa9: PUSH1 0x00
00002aab: DUP1
00002aac: REVERT
00002aad: JUMPDEST
00002aae: DUP4
00002aaf: MLOAD
00002ab0: SWAP3
00002ab1: POP
00002ab2: PUSH1 0x20
00002ab4: DUP5
00002ab5: ADD
00002ab6: MLOAD
00002ab7: SWAP2
00002ab8: POP
00002ab9: PUSH1 0x40
00002abb: DUP5
00002abc: ADD
00002abd: MLOAD
00002abe: SWAP1
00002abf: POP
00002ac0: SWAP3
00002ac1: POP
00002ac2: SWAP3
00002ac3: POP
00002ac4: SWAP3
00002ac5: JUMP
00002ac6: INVALID
00002ac7: GASLIMIT
00002ac8: MSTORE
00002ac9: NUMBER
00002aca: ORIGIN
00002acb: ADDRESS
00002acc: GASPRICE
00002acd: KECCAK256
00002ace: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00002ae4: PUSH20 0x2062616c616e636545524332303a207472616e73
00002af9: PUSH7 0x657220616d6f75
00002b01: PUSH15 0x74206578636565647320616c6c6f77
00002b11: PUSH2 0x6e63
00002b14: PUSH6 0x45524332303a
00002b1b: KECCAK256
00002b1c: PUSH5 0x6563726561
00002b22: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00002b37: PUSH6 0x726fa2646970
00002b3e: PUSH7 0x735822122067cf
00002b46: UNKNOWN(0xD9)
00002b47: UNKNOWN(0xB0)
00002b48: UNKNOWN(0xBC)
00002b49: PUSH5 0xdc163a32e1
00002b4f: PUSH12 0x3145986bf91cc4e3f9dff768
00002b5c: UNKNOWN(0xDD)
00002b5d: UNKNOWN(0x0D)
00002b5e: UNKNOWN(0xD0)
00002b5f: PUSH10 0x6950d4a564736f6c6343
00002b6a: STOP
00002b6b: ADDMOD
00002b6c: SIGNEXTEND
00002b6d: STOP
00002b6e: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf11a24d3",
            "selector": "0xf11a24d3",
            "calldata_variants": [
                "0xf11a24d3",
                "0xf11a24d30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6374342",
            "selector": "0xf6374342",
            "calldata_variants": [
                "0xf6374342",
                "0xf63743420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8b45b05",
            "selector": "0xf8b45b05",
            "calldata_variants": [
                "0xf8b45b05",
                "0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe884f260",
            "selector": "0xe884f260",
            "calldata_variants": [
                "0xe884f260",
                "0xe884f2600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc17b5b8c",
            "selector": "0xc17b5b8c",
            "calldata_variants": [
                "0xc17b5b8c",
                "0xc17b5b8c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 6332,
            "type": "tx_origin_used"
        },
        {
            "pc": 6482,
            "type": "tx_origin_used"
        },
        {
            "pc": 10954,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x68d041b615c2eb99b2898a2d698c66599a9363d6317a53de281f7652960898d3
call_targets: 0x7a85156592c098088a233764ec658d414021e52b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x68d041b615c2eb99b2898a2d698c66599a9363d6317a53de281f7652960898d3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7a85156592c098088a233764ec658d414021e52b"
    ],
    "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": "0xf11a24d3",
            "selector": "0xf11a24d3",
            "calldata_variants": [
                "0xf11a24d3",
                "0xf11a24d30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6374342",
            "selector": "0xf6374342",
            "calldata_variants": [
                "0xf6374342",
                "0xf63743420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8b45b05",
            "selector": "0xf8b45b05",
            "calldata_variants": [
                "0xf8b45b05",
                "0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe884f260",
            "selector": "0xe884f260",
            "calldata_variants": [
                "0xe884f260",
                "0xe884f2600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc17b5b8c",
            "selector": "0xc17b5b8c",
            "calldata_variants": [
                "0xc17b5b8c",
                "0xc17b5b8c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8844,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9594,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 6332,
            "type": "tx_origin_used"
        },
        {
            "pc": 6482,
            "type": "tx_origin_used"
        },
        {
            "pc": 10954,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x68d041b615c2eb99b2898a2d698c66599a9363d6317a53de281f7652960898d3
call_targets: 0x7a85156592c098088a233764ec658d414021e52b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x68d041b615c2eb99b2898a2d698c66599a9363d6317a53de281f7652960898d3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7a85156592c098088a233764ec658d414021e52b"
    ],
    "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": "0xf11a24d3",
            "selector": "0xf11a24d3",
            "calldata_variants": [
                "0xf11a24d3",
                "0xf11a24d30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6374342",
            "selector": "0xf6374342",
            "calldata_variants": [
                "0xf6374342",
                "0xf63743420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8b45b05",
            "selector": "0xf8b45b05",
            "calldata_variants": [
                "0xf8b45b05",
                "0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe884f260",
            "selector": "0xe884f260",
            "calldata_variants": [
                "0xe884f260",
                "0xe884f2600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc17b5b8c",
            "selector": "0xc17b5b8c",
            "calldata_variants": [
                "0xc17b5b8c",
                "0xc17b5b8c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8844,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9594,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 6332,
            "type": "tx_origin_used"
        },
        {
            "pc": 6482,
            "type": "tx_origin_used"
        },
        {
            "pc": 10954,
            "type": "tx_origin_used"
        }
    ]
}