Analysis Run

019b477e-ce4f-7393-9ef9-a7e3c96ac84c
complete
Chain ID
1
Address
0x72f86b500bedca25b6f1cbcbaf6e0f2fe219d074
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
27185	artifact.fetch	complete	1 / 3	3 months ago
27186	tool.cast_disasm	complete	1 / 3	3 months ago
70486	analysis.bundle	complete	1 / 3	2 weeks ago
70487	capability.graph	complete	1 / 3	2 weeks ago
70488	detector.run	complete	1 / 3	2 weeks ago
70489	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
1
CREATE2
2
CALL-family (heavy)
8
EXT*/BALANCE
2
Total opcodes
7316
Flags
selfdestruct_present create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x03c7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6d1b229d
00000019: GT
0000001a: PUSH2 0x01f2
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb6c52324
00000024: GT
00000025: PUSH2 0x010d
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd62ed3e
0000002f: GT
00000030: PUSH2 0x00a0
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0b5b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf53fd584
00000050: EQ
00000051: PUSH2 0x0b7b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf84ba65d
0000005b: EQ
0000005c: PUSH2 0x0b91
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xffb54a99
00000066: EQ
00000067: PUSH2 0x0bb1
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xdd62ed3e
00000076: EQ
00000077: PUSH2 0x0abf
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe53c30b0
00000081: EQ
00000082: PUSH2 0x0b05
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe632313c
0000008c: EQ
0000008d: PUSH2 0x0b1b
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xee9ef29e
00000097: EQ
00000098: PUSH2 0x0b3b
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0xd7c01032
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd7c01032
000000b2: EQ
000000b3: PUSH2 0x0a3f
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xdcf7aef3
000000bd: EQ
000000be: PUSH2 0x0a5f
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xdd395c63
000000c8: EQ
000000c9: PUSH2 0x0a7f
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xdd467064
000000d3: EQ
000000d4: PUSH2 0x0a9f
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xb6c52324
000000e3: EQ
000000e4: PUSH2 0x09ca
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xbd9ab537
000000ee: EQ
000000ef: PUSH2 0x09df
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xca33e64c
000000f9: EQ
000000fa: PUSH2 0x09ff
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xd51ed1c8
00000104: EQ
00000105: PUSH2 0x0a1f
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x7d1db4a5
00000114: GT
00000115: PUSH2 0x0185
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x8ea5220f
0000011f: GT
00000120: PUSH2 0x0154
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x8ea5220f
0000012a: EQ
0000012b: PUSH2 0x0943
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x95d89b41
00000135: EQ
00000136: PUSH2 0x0963
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xa69df4b5
00000140: EQ
00000141: PUSH2 0x0995
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xa9059cbb
0000014b: EQ
0000014c: PUSH2 0x09aa
0000014f: JUMPI
00000150: PUSH1 0x00
00000152: DUP1
00000153: REVERT
00000154: JUMPDEST
00000155: DUP1
00000156: PUSH4 0x7d1db4a5
0000015b: EQ
0000015c: PUSH2 0x08da
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x8038cbd3
00000166: EQ
00000167: PUSH2 0x08f0
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x893d20e8
00000171: EQ
00000172: PUSH2 0x0910
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x8da5cb5b
0000017c: EQ
0000017d: PUSH2 0x0925
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: DUP1
00000187: PUSH4 0x715018a6
0000018c: GT
0000018d: PUSH2 0x01c1
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x715018a6
00000197: EQ
00000198: PUSH2 0x086f
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x722b62ad
000001a2: EQ
000001a3: PUSH2 0x0884
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x75f0a874
000001ad: EQ
000001ae: PUSH2 0x08a4
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x78109e54
000001b8: EQ
000001b9: PUSH2 0x08c4
000001bc: JUMPI
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: DUP1
000001c3: PUSH4 0x6d1b229d
000001c8: EQ
000001c9: PUSH2 0x07f5
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x6ddd1713
000001d3: EQ
000001d4: PUSH2 0x0815
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x70a08231
000001de: EQ
000001df: PUSH2 0x082f
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x713e4ae5
000001e9: EQ
000001ea: PUSH2 0x084f
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: DUP1
000001f4: PUSH4 0x2d594567
000001f9: GT
000001fa: PUSH2 0x02e2
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0x49bd5a5e
00000204: GT
00000205: PUSH2 0x0275
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x5d098b38
0000020f: GT
00000210: PUSH2 0x0244
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x5d098b38
0000021a: EQ
0000021b: PUSH2 0x0762
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0x617fe0ed
00000225: EQ
00000226: PUSH2 0x0782
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0x658d4b7f
00000230: EQ
00000231: PUSH2 0x07a1
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0x67ac77b4
0000023b: EQ
0000023c: PUSH2 0x07c1
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: DUP1
00000246: PUSH4 0x49bd5a5e
0000024b: EQ
0000024c: PUSH2 0x06b6
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x50db71fb
00000256: EQ
00000257: PUSH2 0x0702
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x571ac8b0
00000261: EQ
00000262: PUSH2 0x0722
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0x5c85974f
0000026c: EQ
0000026d: PUSH2 0x0742
00000270: JUMPI
00000271: PUSH1 0x00
00000273: DUP1
00000274: REVERT
00000275: JUMPDEST
00000276: DUP1
00000277: PUSH4 0x442a583d
0000027c: GT
0000027d: PUSH2 0x02b1
00000280: JUMPI
00000281: DUP1
00000282: PUSH4 0x442a583d
00000287: EQ
00000288: PUSH2 0x064a
0000028b: JUMPI
0000028c: DUP1
0000028d: PUSH4 0x44a33fd2
00000292: EQ
00000293: PUSH2 0x066a
00000296: JUMPI
00000297: DUP1
00000298: PUSH4 0x46e421a2
0000029d: EQ
0000029e: PUSH2 0x068a
000002a1: JUMPI
000002a2: DUP1
000002a3: PUSH4 0x47062402
000002a8: EQ
000002a9: PUSH2 0x06a0
000002ac: JUMPI
000002ad: PUSH1 0x00
000002af: DUP1
000002b0: REVERT
000002b1: JUMPDEST
000002b2: DUP1
000002b3: PUSH4 0x2d594567
000002b8: EQ
000002b9: PUSH2 0x05dc
000002bc: JUMPI
000002bd: DUP1
000002be: PUSH4 0x2e8fa821
000002c3: EQ
000002c4: PUSH2 0x05fc
000002c7: JUMPI
000002c8: DUP1
000002c9: PUSH4 0x313ce567
000002ce: EQ
000002cf: PUSH2 0x0612
000002d2: JUMPI
000002d3: DUP1
000002d4: PUSH4 0x3705b392
000002d9: EQ
000002da: PUSH2 0x0634
000002dd: JUMPI
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: REVERT
000002e2: JUMPDEST
000002e3: DUP1
000002e4: PUSH4 0x18160ddd
000002e9: GT
000002ea: PUSH2 0x035a
000002ed: JUMPI
000002ee: DUP1
000002ef: PUSH4 0x201e7991
000002f4: GT
000002f5: PUSH2 0x0329
000002f8: JUMPI
000002f9: DUP1
000002fa: PUSH4 0x201e7991
000002ff: EQ
00000300: PUSH2 0x0567
00000303: JUMPI
00000304: DUP1
00000305: PUSH4 0x23b872dd
0000030a: EQ
0000030b: PUSH2 0x0587
0000030e: JUMPI
0000030f: DUP1
00000310: PUSH4 0x29e04b4a
00000315: EQ
00000316: PUSH2 0x05a7
00000319: JUMPI
0000031a: DUP1
0000031b: PUSH4 0x2b112e49
00000320: EQ
00000321: PUSH2 0x05c7
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: DUP1
0000032b: PUSH4 0x18160ddd
00000330: EQ
00000331: PUSH2 0x04fc
00000334: JUMPI
00000335: DUP1
00000336: PUSH4 0x1ad017b9
0000033b: EQ
0000033c: PUSH2 0x0511
0000033f: JUMPI
00000340: DUP1
00000341: PUSH4 0x1da1db5e
00000346: EQ
00000347: PUSH2 0x0531
0000034a: JUMPI
0000034b: DUP1
0000034c: PUSH4 0x1e25dc54
00000351: EQ
00000352: PUSH2 0x0551
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: DUP1
0000035c: PUSH4 0x095ea7b3
00000361: GT
00000362: PUSH2 0x0396
00000365: JUMPI
00000366: DUP1
00000367: PUSH4 0x095ea7b3
0000036c: EQ
0000036d: PUSH2 0x0476
00000370: JUMPI
00000371: DUP1
00000372: PUSH4 0x0d295980
00000377: EQ
00000378: PUSH2 0x04a6
0000037b: JUMPI
0000037c: DUP1
0000037d: PUSH4 0x1161ae39
00000382: EQ
00000383: PUSH2 0x04c6
00000386: JUMPI
00000387: DUP1
00000388: PUSH4 0x180b0d7e
0000038d: EQ
0000038e: PUSH2 0x04e6
00000391: JUMPI
00000392: PUSH1 0x00
00000394: DUP1
00000395: REVERT
00000396: JUMPDEST
00000397: DUP1
00000398: PUSH4 0x026f7d15
0000039d: EQ
0000039e: PUSH2 0x03d3
000003a1: JUMPI
000003a2: DUP1
000003a3: PUSH4 0x0445b667
000003a8: EQ
000003a9: PUSH2 0x03fc
000003ac: JUMPI
000003ad: DUP1
000003ae: PUSH4 0x06fdde03
000003b3: EQ
000003b4: PUSH2 0x0412
000003b7: JUMPI
000003b8: DUP1
000003b9: PUSH4 0x09302dc6
000003be: EQ
000003bf: PUSH2 0x0454
000003c2: JUMPI
000003c3: PUSH1 0x00
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: CALLDATASIZE
000003c9: PUSH2 0x03ce
000003cc: JUMPI
000003cd: STOP
000003ce: JUMPDEST
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e9
000003e4: PUSH1 0x08
000003e6: SLOAD
000003e7: DUP2
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH1 0x40
000003ec: MLOAD
000003ed: SWAP1
000003ee: DUP2
000003ef: MSTORE
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: JUMPDEST
000003f4: PUSH1 0x40
000003f6: MLOAD
000003f7: DUP1
000003f8: SWAP2
000003f9: SUB
000003fa: SWAP1
000003fb: RETURN
000003fc: JUMPDEST
000003fd: CALLVALUE
000003fe: DUP1
000003ff: ISZERO
00000400: PUSH2 0x0408
00000403: JUMPI
00000404: PUSH1 0x00
00000406: DUP1
00000407: REVERT
00000408: JUMPDEST
00000409: POP
0000040a: PUSH2 0x03e9
0000040d: PUSH1 0x1e
0000040f: SLOAD
00000410: DUP2
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH1 0x40
00000422: DUP1
00000423: MLOAD
00000424: DUP1
00000425: DUP3
00000426: ADD
00000427: SWAP1
00000428: SWAP2
00000429: MSTORE
0000042a: PUSH1 0x10
0000042c: DUP2
0000042d: MSTORE
0000042e: PUSH16 0x496e75206e6f206b6f6d79756e697469
0000043f: PUSH1 0x80
00000441: SHL
00000442: PUSH1 0x20
00000444: DUP3
00000445: ADD
00000446: MSTORE
00000447: JUMPDEST
00000448: PUSH1 0x40
0000044a: MLOAD
0000044b: PUSH2 0x03f3
0000044e: SWAP2
0000044f: SWAP1
00000450: PUSH2 0x27cd
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH2 0x0474
00000465: PUSH2 0x046f
00000468: CALLDATASIZE
00000469: PUSH1 0x04
0000046b: PUSH2 0x281b
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH2 0x0bcb
00000473: JUMP
00000474: JUMPDEST
00000475: STOP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: DUP1
00000479: ISZERO
0000047a: PUSH2 0x0482
0000047d: JUMPI
0000047e: PUSH1 0x00
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: POP
00000484: PUSH2 0x0496
00000487: PUSH2 0x0491
0000048a: CALLDATASIZE
0000048b: PUSH1 0x04
0000048d: PUSH2 0x2849
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH2 0x0c1f
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH1 0x40
00000499: MLOAD
0000049a: SWAP1
0000049b: ISZERO
0000049c: ISZERO
0000049d: DUP2
0000049e: MSTORE
0000049f: PUSH1 0x20
000004a1: ADD
000004a2: PUSH2 0x03f3
000004a5: JUMP
000004a6: JUMPDEST
000004a7: CALLVALUE
000004a8: DUP1
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: PUSH2 0x0474
000004b7: PUSH2 0x04c1
000004ba: CALLDATASIZE
000004bb: PUSH1 0x04
000004bd: PUSH2 0x288a
000004c0: JUMP
000004c1: JUMPDEST
000004c2: PUSH2 0x0c8c
000004c5: JUMP
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x0496
000004d7: PUSH2 0x04e1
000004da: CALLDATASIZE
000004db: PUSH1 0x04
000004dd: PUSH2 0x28a5
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH2 0x0cc9
000004e5: JUMP
000004e6: JUMPDEST
000004e7: CALLVALUE
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: PUSH2 0x03e9
000004f7: PUSH1 0x0c
000004f9: SLOAD
000004fa: DUP2
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: DUP1
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: PUSH1 0x02
0000050c: SLOAD
0000050d: PUSH2 0x03e9
00000510: JUMP
00000511: JUMPDEST
00000512: CALLVALUE
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH2 0x0474
00000522: PUSH2 0x052c
00000525: CALLDATASIZE
00000526: PUSH1 0x04
00000528: PUSH2 0x28c7
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH2 0x0cdd
00000530: JUMP
00000531: JUMPDEST
00000532: CALLVALUE
00000533: DUP1
00000534: ISZERO
00000535: PUSH2 0x053d
00000538: JUMPI
00000539: PUSH1 0x00
0000053b: DUP1
0000053c: REVERT
0000053d: JUMPDEST
0000053e: POP
0000053f: PUSH2 0x0474
00000542: PUSH2 0x054c
00000545: CALLDATASIZE
00000546: PUSH1 0x04
00000548: PUSH2 0x281b
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH2 0x0d57
00000550: JUMP
00000551: JUMPDEST
00000552: CALLVALUE
00000553: DUP1
00000554: ISZERO
00000555: PUSH2 0x055d
00000558: JUMPI
00000559: PUSH1 0x00
0000055b: DUP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: POP
0000055f: PUSH2 0x03e9
00000562: PUSH1 0x0b
00000564: SLOAD
00000565: DUP2
00000566: JUMP
00000567: JUMPDEST
00000568: CALLVALUE
00000569: DUP1
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: PUSH2 0x0474
00000578: PUSH2 0x0582
0000057b: CALLDATASIZE
0000057c: PUSH1 0x04
0000057e: PUSH2 0x28a5
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH2 0x0dd5
00000586: JUMP
00000587: JUMPDEST
00000588: CALLVALUE
00000589: DUP1
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: POP
00000595: PUSH2 0x0496
00000598: PUSH2 0x05a2
0000059b: CALLDATASIZE
0000059c: PUSH1 0x04
0000059e: PUSH2 0x28e4
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH2 0x0e0a
000005a6: JUMP
000005a7: JUMPDEST
000005a8: CALLVALUE
000005a9: DUP1
000005aa: ISZERO
000005ab: PUSH2 0x05b3
000005ae: JUMPI
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: REVERT
000005b3: JUMPDEST
000005b4: POP
000005b5: PUSH2 0x0474
000005b8: PUSH2 0x05c2
000005bb: CALLDATASIZE
000005bc: PUSH1 0x04
000005be: PUSH2 0x281b
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH2 0x0ecc
000005c6: JUMP
000005c7: JUMPDEST
000005c8: CALLVALUE
000005c9: DUP1
000005ca: ISZERO
000005cb: PUSH2 0x05d3
000005ce: JUMPI
000005cf: PUSH1 0x00
000005d1: DUP1
000005d2: REVERT
000005d3: JUMPDEST
000005d4: POP
000005d5: PUSH2 0x03e9
000005d8: PUSH2 0x0efb
000005db: JUMP
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: PUSH2 0x0474
000005ed: PUSH2 0x05f7
000005f0: CALLDATASIZE
000005f1: PUSH1 0x04
000005f3: PUSH2 0x2925
000005f6: JUMP
000005f7: JUMPDEST
000005f8: PUSH2 0x0f44
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x03e9
0000060d: PUSH1 0x1f
0000060f: SLOAD
00000610: DUP2
00000611: JUMP
00000612: JUMPDEST
00000613: CALLVALUE
00000614: DUP1
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: POP
00000620: PUSH1 0x09
00000622: JUMPDEST
00000623: PUSH1 0x40
00000625: MLOAD
00000626: PUSH1 0xff
00000628: SWAP1
00000629: SWAP2
0000062a: AND
0000062b: DUP2
0000062c: MSTORE
0000062d: PUSH1 0x20
0000062f: ADD
00000630: PUSH2 0x03f3
00000633: JUMP
00000634: JUMPDEST
00000635: CALLVALUE
00000636: DUP1
00000637: ISZERO
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: POP
00000642: PUSH2 0x03e9
00000645: PUSH1 0x06
00000647: SLOAD
00000648: DUP2
00000649: JUMP
0000064a: JUMPDEST
0000064b: CALLVALUE
0000064c: DUP1
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: PUSH2 0x0474
0000065b: PUSH2 0x0665
0000065e: CALLDATASIZE
0000065f: PUSH1 0x04
00000661: PUSH2 0x29ae
00000664: JUMP
00000665: JUMPDEST
00000666: PUSH2 0x0f9f
00000669: JUMP
0000066a: JUMPDEST
0000066b: CALLVALUE
0000066c: DUP1
0000066d: ISZERO
0000066e: PUSH2 0x0676
00000671: JUMPI
00000672: PUSH1 0x00
00000674: DUP1
00000675: REVERT
00000676: JUMPDEST
00000677: POP
00000678: PUSH2 0x0474
0000067b: PUSH2 0x0685
0000067e: CALLDATASIZE
0000067f: PUSH1 0x04
00000681: PUSH2 0x281b
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH2 0x10ed
00000689: JUMP
0000068a: JUMPDEST
0000068b: CALLVALUE
0000068c: DUP1
0000068d: ISZERO
0000068e: PUSH2 0x0696
00000691: JUMPI
00000692: PUSH1 0x00
00000694: DUP1
00000695: REVERT
00000696: JUMPDEST
00000697: POP
00000698: PUSH2 0x03e9
0000069b: PUSH1 0x07
0000069d: SLOAD
0000069e: DUP2
0000069f: JUMP
000006a0: JUMPDEST
000006a1: CALLVALUE
000006a2: DUP1
000006a3: ISZERO
000006a4: PUSH2 0x06ac
000006a7: JUMPI
000006a8: PUSH1 0x00
000006aa: DUP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: POP
000006ae: PUSH2 0x03e9
000006b1: PUSH1 0x05
000006b3: SLOAD
000006b4: DUP2
000006b5: JUMP
000006b6: JUMPDEST
000006b7: CALLVALUE
000006b8: DUP1
000006b9: ISZERO
000006ba: PUSH2 0x06c2
000006bd: JUMPI
000006be: PUSH1 0x00
000006c0: DUP1
000006c1: REVERT
000006c2: JUMPDEST
000006c3: POP
000006c4: PUSH2 0x06ea
000006c7: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
000006e8: DUP2
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: PUSH1 0x01
000006f0: PUSH1 0x01
000006f2: PUSH1 0xa0
000006f4: SHL
000006f5: SUB
000006f6: SWAP1
000006f7: SWAP2
000006f8: AND
000006f9: DUP2
000006fa: MSTORE
000006fb: PUSH1 0x20
000006fd: ADD
000006fe: PUSH2 0x03f3
00000701: JUMP
00000702: JUMPDEST
00000703: CALLVALUE
00000704: DUP1
00000705: ISZERO
00000706: PUSH2 0x070e
00000709: JUMPI
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: REVERT
0000070e: JUMPDEST
0000070f: POP
00000710: PUSH2 0x0474
00000713: PUSH2 0x071d
00000716: CALLDATASIZE
00000717: PUSH1 0x04
00000719: PUSH2 0x2a0a
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH2 0x1128
00000721: JUMP
00000722: JUMPDEST
00000723: CALLVALUE
00000724: DUP1
00000725: ISZERO
00000726: PUSH2 0x072e
00000729: JUMPI
0000072a: PUSH1 0x00
0000072c: DUP1
0000072d: REVERT
0000072e: JUMPDEST
0000072f: POP
00000730: PUSH2 0x0496
00000733: PUSH2 0x073d
00000736: CALLDATASIZE
00000737: PUSH1 0x04
00000739: PUSH2 0x28c7
0000073c: JUMP
0000073d: JUMPDEST
0000073e: PUSH2 0x117d
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 0x0474
00000753: PUSH2 0x075d
00000756: CALLDATASIZE
00000757: PUSH1 0x04
00000759: PUSH2 0x281b
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH2 0x118b
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 0x0474
00000773: PUSH2 0x077d
00000776: CALLDATASIZE
00000777: PUSH1 0x04
00000779: PUSH2 0x28c7
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH2 0x11ba
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: PUSH1 0x1b
00000792: SLOAD
00000793: PUSH2 0x0496
00000796: SWAP1
00000797: PUSH2 0x0100
0000079a: SWAP1
0000079b: DIV
0000079c: PUSH1 0xff
0000079e: AND
0000079f: DUP2
000007a0: JUMP
000007a1: JUMPDEST
000007a2: CALLVALUE
000007a3: DUP1
000007a4: ISZERO
000007a5: PUSH2 0x07ad
000007a8: JUMPI
000007a9: PUSH1 0x00
000007ab: DUP1
000007ac: REVERT
000007ad: JUMPDEST
000007ae: POP
000007af: PUSH2 0x0474
000007b2: PUSH2 0x07bc
000007b5: CALLDATASIZE
000007b6: PUSH1 0x04
000007b8: PUSH2 0x2a0a
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH2 0x1246
000007c0: JUMP
000007c1: JUMPDEST
000007c2: CALLVALUE
000007c3: DUP1
000007c4: ISZERO
000007c5: PUSH2 0x07cd
000007c8: JUMPI
000007c9: PUSH1 0x00
000007cb: DUP1
000007cc: REVERT
000007cd: JUMPDEST
000007ce: POP
000007cf: PUSH2 0x06ea
000007d2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000007f3: DUP2
000007f4: JUMP
000007f5: JUMPDEST
000007f6: CALLVALUE
000007f7: DUP1
000007f8: ISZERO
000007f9: PUSH2 0x0801
000007fc: JUMPI
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: REVERT
00000801: JUMPDEST
00000802: POP
00000803: PUSH2 0x0474
00000806: PUSH2 0x0810
00000809: CALLDATASIZE
0000080a: PUSH1 0x04
0000080c: PUSH2 0x281b
0000080f: JUMP
00000810: JUMPDEST
00000811: PUSH2 0x129b
00000814: JUMP
00000815: JUMPDEST
00000816: CALLVALUE
00000817: DUP1
00000818: ISZERO
00000819: PUSH2 0x0821
0000081c: JUMPI
0000081d: PUSH1 0x00
0000081f: DUP1
00000820: REVERT
00000821: JUMPDEST
00000822: POP
00000823: PUSH1 0x1d
00000825: SLOAD
00000826: PUSH2 0x0496
00000829: SWAP1
0000082a: PUSH1 0xff
0000082c: AND
0000082d: DUP2
0000082e: JUMP
0000082f: JUMPDEST
00000830: CALLVALUE
00000831: DUP1
00000832: ISZERO
00000833: PUSH2 0x083b
00000836: JUMPI
00000837: PUSH1 0x00
00000839: DUP1
0000083a: REVERT
0000083b: JUMPDEST
0000083c: POP
0000083d: PUSH2 0x03e9
00000840: PUSH2 0x084a
00000843: CALLDATASIZE
00000844: PUSH1 0x04
00000846: PUSH2 0x28c7
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH2 0x12cf
0000084e: JUMP
0000084f: JUMPDEST
00000850: CALLVALUE
00000851: DUP1
00000852: ISZERO
00000853: PUSH2 0x085b
00000856: JUMPI
00000857: PUSH1 0x00
00000859: DUP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: POP
0000085d: PUSH2 0x0474
00000860: PUSH2 0x086a
00000863: CALLDATASIZE
00000864: PUSH1 0x04
00000866: PUSH2 0x2a3f
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH2 0x12ea
0000086e: JUMP
0000086f: JUMPDEST
00000870: CALLVALUE
00000871: DUP1
00000872: ISZERO
00000873: PUSH2 0x087b
00000876: JUMPI
00000877: PUSH1 0x00
00000879: DUP1
0000087a: REVERT
0000087b: JUMPDEST
0000087c: POP
0000087d: PUSH2 0x0474
00000880: PUSH2 0x14e8
00000883: JUMP
00000884: JUMPDEST
00000885: CALLVALUE
00000886: DUP1
00000887: ISZERO
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: REVERT
00000890: JUMPDEST
00000891: POP
00000892: PUSH1 0x1b
00000894: SLOAD
00000895: PUSH2 0x0622
00000898: SWAP1
00000899: PUSH3 0x010000
0000089d: SWAP1
0000089e: DIV
0000089f: PUSH1 0xff
000008a1: AND
000008a2: DUP2
000008a3: JUMP
000008a4: JUMPDEST
000008a5: CALLVALUE
000008a6: DUP1
000008a7: ISZERO
000008a8: PUSH2 0x08b0
000008ab: JUMPI
000008ac: PUSH1 0x00
000008ae: DUP1
000008af: REVERT
000008b0: JUMPDEST
000008b1: POP
000008b2: PUSH1 0x00
000008b4: SLOAD
000008b5: PUSH2 0x06ea
000008b8: SWAP1
000008b9: PUSH1 0x01
000008bb: PUSH1 0x01
000008bd: PUSH1 0xa0
000008bf: SHL
000008c0: SUB
000008c1: AND
000008c2: DUP2
000008c3: JUMP
000008c4: JUMPDEST
000008c5: CALLVALUE
000008c6: DUP1
000008c7: ISZERO
000008c8: PUSH2 0x08d0
000008cb: JUMPI
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: REVERT
000008d0: JUMPDEST
000008d1: POP
000008d2: PUSH2 0x03e9
000008d5: PUSH1 0x04
000008d7: SLOAD
000008d8: DUP2
000008d9: JUMP
000008da: JUMPDEST
000008db: CALLVALUE
000008dc: DUP1
000008dd: ISZERO
000008de: PUSH2 0x08e6
000008e1: JUMPI
000008e2: PUSH1 0x00
000008e4: DUP1
000008e5: REVERT
000008e6: JUMPDEST
000008e7: POP
000008e8: PUSH2 0x03e9
000008eb: PUSH1 0x03
000008ed: SLOAD
000008ee: DUP2
000008ef: JUMP
000008f0: JUMPDEST
000008f1: CALLVALUE
000008f2: DUP1
000008f3: ISZERO
000008f4: PUSH2 0x08fc
000008f7: JUMPI
000008f8: PUSH1 0x00
000008fa: DUP1
000008fb: REVERT
000008fc: JUMPDEST
000008fd: POP
000008fe: PUSH2 0x0474
00000901: PUSH2 0x090b
00000904: CALLDATASIZE
00000905: PUSH1 0x04
00000907: PUSH2 0x2ac2
0000090a: JUMP
0000090b: JUMPDEST
0000090c: PUSH2 0x154a
0000090f: JUMP
00000910: JUMPDEST
00000911: CALLVALUE
00000912: DUP1
00000913: ISZERO
00000914: PUSH2 0x091c
00000917: JUMPI
00000918: PUSH1 0x00
0000091a: DUP1
0000091b: REVERT
0000091c: JUMPDEST
0000091d: POP
0000091e: PUSH2 0x06ea
00000921: PUSH2 0x15f6
00000924: JUMP
00000925: JUMPDEST
00000926: CALLVALUE
00000927: DUP1
00000928: ISZERO
00000929: PUSH2 0x0931
0000092c: JUMPI
0000092d: PUSH1 0x00
0000092f: DUP1
00000930: REVERT
00000931: JUMPDEST
00000932: POP
00000933: PUSH1 0x0d
00000935: SLOAD
00000936: PUSH1 0x01
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: SHL
0000093d: SUB
0000093e: AND
0000093f: PUSH2 0x06ea
00000942: JUMP
00000943: JUMPDEST
00000944: CALLVALUE
00000945: DUP1
00000946: ISZERO
00000947: PUSH2 0x094f
0000094a: JUMPI
0000094b: PUSH1 0x00
0000094d: DUP1
0000094e: REVERT
0000094f: JUMPDEST
00000950: POP
00000951: PUSH1 0x01
00000953: SLOAD
00000954: PUSH2 0x06ea
00000957: SWAP1
00000958: PUSH1 0x01
0000095a: PUSH1 0x01
0000095c: PUSH1 0xa0
0000095e: SHL
0000095f: SUB
00000960: AND
00000961: DUP2
00000962: JUMP
00000963: JUMPDEST
00000964: CALLVALUE
00000965: DUP1
00000966: ISZERO
00000967: PUSH2 0x096f
0000096a: JUMPI
0000096b: PUSH1 0x00
0000096d: DUP1
0000096e: REVERT
0000096f: JUMPDEST
00000970: POP
00000971: PUSH1 0x40
00000973: DUP1
00000974: MLOAD
00000975: DUP1
00000976: DUP3
00000977: ADD
00000978: SWAP1
00000979: SWAP2
0000097a: MSTORE
0000097b: PUSH1 0x09
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH9 0x4b6f6d79756e697469
00000989: PUSH1 0xb8
0000098b: SHL
0000098c: PUSH1 0x20
0000098e: DUP3
0000098f: ADD
00000990: MSTORE
00000991: PUSH2 0x0447
00000994: JUMP
00000995: JUMPDEST
00000996: CALLVALUE
00000997: DUP1
00000998: ISZERO
00000999: PUSH2 0x09a1
0000099c: JUMPI
0000099d: PUSH1 0x00
0000099f: DUP1
000009a0: REVERT
000009a1: JUMPDEST
000009a2: POP
000009a3: PUSH2 0x0474
000009a6: PUSH2 0x160a
000009a9: JUMP
000009aa: JUMPDEST
000009ab: CALLVALUE
000009ac: DUP1
000009ad: ISZERO
000009ae: PUSH2 0x09b6
000009b1: JUMPI
000009b2: PUSH1 0x00
000009b4: DUP1
000009b5: REVERT
000009b6: JUMPDEST
000009b7: POP
000009b8: PUSH2 0x0496
000009bb: PUSH2 0x09c5
000009be: CALLDATASIZE
000009bf: PUSH1 0x04
000009c1: PUSH2 0x2849
000009c4: JUMP
000009c5: JUMPDEST
000009c6: PUSH2 0x1712
000009c9: JUMP
000009ca: JUMPDEST
000009cb: CALLVALUE
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x09d6
000009d1: JUMPI
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: POP
000009d8: PUSH1 0x0f
000009da: SLOAD
000009db: PUSH2 0x03e9
000009de: JUMP
000009df: JUMPDEST
000009e0: CALLVALUE
000009e1: DUP1
000009e2: ISZERO
000009e3: PUSH2 0x09eb
000009e6: JUMPI
000009e7: PUSH1 0x00
000009e9: DUP1
000009ea: REVERT
000009eb: JUMPDEST
000009ec: POP
000009ed: PUSH2 0x0474
000009f0: PUSH2 0x09fa
000009f3: CALLDATASIZE
000009f4: PUSH1 0x04
000009f6: PUSH2 0x281b
000009f9: JUMP
000009fa: JUMPDEST
000009fb: PUSH2 0x171f
000009fe: JUMP
000009ff: JUMPDEST
00000a00: CALLVALUE
00000a01: DUP1
00000a02: ISZERO
00000a03: PUSH2 0x0a0b
00000a06: JUMPI
00000a07: PUSH1 0x00
00000a09: DUP1
00000a0a: REVERT
00000a0b: JUMPDEST
00000a0c: POP
00000a0d: PUSH1 0x18
00000a0f: SLOAD
00000a10: PUSH2 0x06ea
00000a13: SWAP1
00000a14: PUSH1 0x01
00000a16: PUSH1 0x01
00000a18: PUSH1 0xa0
00000a1a: SHL
00000a1b: SUB
00000a1c: AND
00000a1d: DUP2
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: CALLVALUE
00000a21: DUP1
00000a22: ISZERO
00000a23: PUSH2 0x0a2b
00000a26: JUMPI
00000a27: PUSH1 0x00
00000a29: DUP1
00000a2a: REVERT
00000a2b: JUMPDEST
00000a2c: POP
00000a2d: PUSH2 0x03e9
00000a30: PUSH2 0x0a3a
00000a33: CALLDATASIZE
00000a34: PUSH1 0x04
00000a36: PUSH2 0x281b
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH2 0x176a
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: CALLVALUE
00000a41: DUP1
00000a42: ISZERO
00000a43: PUSH2 0x0a4b
00000a46: JUMPI
00000a47: PUSH1 0x00
00000a49: DUP1
00000a4a: REVERT
00000a4b: JUMPDEST
00000a4c: POP
00000a4d: PUSH2 0x0474
00000a50: PUSH2 0x0a5a
00000a53: CALLDATASIZE
00000a54: PUSH1 0x04
00000a56: PUSH2 0x2af4
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH2 0x17bb
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: CALLVALUE
00000a61: DUP1
00000a62: ISZERO
00000a63: PUSH2 0x0a6b
00000a66: JUMPI
00000a67: PUSH1 0x00
00000a69: DUP1
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: POP
00000a6d: PUSH2 0x0474
00000a70: PUSH2 0x0a7a
00000a73: CALLDATASIZE
00000a74: PUSH1 0x04
00000a76: PUSH2 0x281b
00000a79: JUMP
00000a7a: JUMPDEST
00000a7b: PUSH2 0x187e
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: CALLVALUE
00000a81: DUP1
00000a82: ISZERO
00000a83: PUSH2 0x0a8b
00000a86: JUMPI
00000a87: PUSH1 0x00
00000a89: DUP1
00000a8a: REVERT
00000a8b: JUMPDEST
00000a8c: POP
00000a8d: PUSH2 0x0474
00000a90: PUSH2 0x0a9a
00000a93: CALLDATASIZE
00000a94: PUSH1 0x04
00000a96: PUSH2 0x2a0a
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH2 0x18ad
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: CALLVALUE
00000aa1: DUP1
00000aa2: ISZERO
00000aa3: PUSH2 0x0aab
00000aa6: JUMPI
00000aa7: PUSH1 0x00
00000aa9: DUP1
00000aaa: REVERT
00000aab: JUMPDEST
00000aac: POP
00000aad: PUSH2 0x0474
00000ab0: PUSH2 0x0aba
00000ab3: CALLDATASIZE
00000ab4: PUSH1 0x04
00000ab6: PUSH2 0x281b
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH2 0x1902
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: CALLVALUE
00000ac1: DUP1
00000ac2: ISZERO
00000ac3: PUSH2 0x0acb
00000ac6: JUMPI
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: PUSH2 0x03e9
00000ad0: PUSH2 0x0ada
00000ad3: CALLDATASIZE
00000ad4: PUSH1 0x04
00000ad6: PUSH2 0x2b3f
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: PUSH1 0x01
00000add: PUSH1 0x01
00000adf: PUSH1 0xa0
00000ae1: SHL
00000ae2: SUB
00000ae3: SWAP2
00000ae4: DUP3
00000ae5: AND
00000ae6: PUSH1 0x00
00000ae8: SWAP1
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x13
00000aed: PUSH1 0x20
00000aef: SWAP1
00000af0: DUP2
00000af1: MSTORE
00000af2: PUSH1 0x40
00000af4: DUP1
00000af5: DUP4
00000af6: KECCAK256
00000af7: SWAP4
00000af8: SWAP1
00000af9: SWAP5
00000afa: AND
00000afb: DUP3
00000afc: MSTORE
00000afd: SWAP2
00000afe: SWAP1
00000aff: SWAP2
00000b00: MSTORE
00000b01: KECCAK256
00000b02: SLOAD
00000b03: SWAP1
00000b04: JUMP
00000b05: JUMPDEST
00000b06: CALLVALUE
00000b07: DUP1
00000b08: ISZERO
00000b09: PUSH2 0x0b11
00000b0c: JUMPI
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: REVERT
00000b11: JUMPDEST
00000b12: POP
00000b13: PUSH2 0x03e9
00000b16: PUSH1 0x0a
00000b18: SLOAD
00000b19: DUP2
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: CALLVALUE
00000b1d: DUP1
00000b1e: ISZERO
00000b1f: PUSH2 0x0b27
00000b22: JUMPI
00000b23: PUSH1 0x00
00000b25: DUP1
00000b26: REVERT
00000b27: JUMPDEST
00000b28: POP
00000b29: PUSH2 0x0474
00000b2c: PUSH2 0x0b36
00000b2f: CALLDATASIZE
00000b30: PUSH1 0x04
00000b32: PUSH2 0x281b
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH2 0x1987
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: CALLVALUE
00000b3d: DUP1
00000b3e: ISZERO
00000b3f: PUSH2 0x0b47
00000b42: JUMPI
00000b43: PUSH1 0x00
00000b45: DUP1
00000b46: REVERT
00000b47: JUMPDEST
00000b48: POP
00000b49: PUSH2 0x0474
00000b4c: PUSH2 0x0b56
00000b4f: CALLDATASIZE
00000b50: PUSH1 0x04
00000b52: PUSH2 0x281b
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH2 0x19c9
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: CALLVALUE
00000b5d: DUP1
00000b5e: ISZERO
00000b5f: PUSH2 0x0b67
00000b62: JUMPI
00000b63: PUSH1 0x00
00000b65: DUP1
00000b66: REVERT
00000b67: JUMPDEST
00000b68: POP
00000b69: PUSH2 0x0474
00000b6c: PUSH2 0x0b76
00000b6f: CALLDATASIZE
00000b70: PUSH1 0x04
00000b72: PUSH2 0x28c7
00000b75: JUMP
00000b76: JUMPDEST
00000b77: PUSH2 0x19f8
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: CALLVALUE
00000b7d: DUP1
00000b7e: ISZERO
00000b7f: PUSH2 0x0b87
00000b82: JUMPI
00000b83: PUSH1 0x00
00000b85: DUP1
00000b86: REVERT
00000b87: JUMPDEST
00000b88: POP
00000b89: PUSH2 0x03e9
00000b8c: PUSH1 0x09
00000b8e: SLOAD
00000b8f: DUP2
00000b90: JUMP
00000b91: JUMPDEST
00000b92: CALLVALUE
00000b93: DUP1
00000b94: ISZERO
00000b95: PUSH2 0x0b9d
00000b98: JUMPI
00000b99: PUSH1 0x00
00000b9b: DUP1
00000b9c: REVERT
00000b9d: JUMPDEST
00000b9e: POP
00000b9f: PUSH2 0x0474
00000ba2: PUSH2 0x0bac
00000ba5: CALLDATASIZE
00000ba6: PUSH1 0x04
00000ba8: PUSH2 0x2a0a
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH2 0x1ad1
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: CALLVALUE
00000bb3: DUP1
00000bb4: ISZERO
00000bb5: PUSH2 0x0bbd
00000bb8: JUMPI
00000bb9: PUSH1 0x00
00000bbb: DUP1
00000bbc: REVERT
00000bbd: JUMPDEST
00000bbe: POP
00000bbf: PUSH1 0x1b
00000bc1: SLOAD
00000bc2: PUSH2 0x0496
00000bc5: SWAP1
00000bc6: PUSH1 0xff
00000bc8: AND
00000bc9: DUP2
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: PUSH1 0x0d
00000bce: SLOAD
00000bcf: PUSH1 0x01
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0xa0
00000bd5: SHL
00000bd6: SUB
00000bd7: AND
00000bd8: CALLER
00000bd9: EQ
00000bda: PUSH2 0x0bfe
00000bdd: JUMPI
00000bde: PUSH1 0x40
00000be0: MLOAD
00000be1: PUSH3 0x461bcd
00000be5: PUSH1 0xe5
00000be7: SHL
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x04
00000bec: ADD
00000bed: PUSH2 0x0bf5
00000bf0: SWAP1
00000bf1: PUSH2 0x2b6d
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: PUSH1 0x40
00000bf8: MLOAD
00000bf9: DUP1
00000bfa: SWAP2
00000bfb: SUB
00000bfc: SWAP1
00000bfd: REVERT
00000bfe: JUMPDEST
00000bff: PUSH2 0x03e8
00000c02: DUP2
00000c03: PUSH1 0x02
00000c05: SLOAD
00000c06: PUSH2 0x0c0f
00000c09: SWAP2
00000c0a: SWAP1
00000c0b: PUSH2 0x2bb8
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH2 0x0c19
00000c13: SWAP2
00000c14: SWAP1
00000c15: PUSH2 0x2bcf
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH1 0x04
00000c1c: SSTORE
00000c1d: POP
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: CALLER
00000c21: PUSH1 0x00
00000c23: DUP2
00000c24: DUP2
00000c25: MSTORE
00000c26: PUSH1 0x13
00000c28: PUSH1 0x20
00000c2a: SWAP1
00000c2b: DUP2
00000c2c: MSTORE
00000c2d: PUSH1 0x40
00000c2f: DUP1
00000c30: DUP4
00000c31: KECCAK256
00000c32: PUSH1 0x01
00000c34: PUSH1 0x01
00000c36: PUSH1 0xa0
00000c38: SHL
00000c39: SUB
00000c3a: DUP8
00000c3b: AND
00000c3c: DUP1
00000c3d: DUP6
00000c3e: MSTORE
00000c3f: SWAP3
00000c40: MSTORE
00000c41: DUP1
00000c42: DUP4
00000c43: KECCAK256
00000c44: DUP6
00000c45: SWAP1
00000c46: SSTORE
00000c47: MLOAD
00000c48: SWAP2
00000c49: SWAP3
00000c4a: SWAP1
00000c4b: SWAP2
00000c4c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000c6d: SWAP1
00000c6e: PUSH2 0x0c7a
00000c71: SWAP1
00000c72: DUP7
00000c73: DUP2
00000c74: MSTORE
00000c75: PUSH1 0x20
00000c77: ADD
00000c78: SWAP1
00000c79: JUMP
00000c7a: JUMPDEST
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: DUP1
00000c7f: SWAP2
00000c80: SUB
00000c81: SWAP1
00000c82: LOG3
00000c83: POP
00000c84: PUSH1 0x01
00000c86: JUMPDEST
00000c87: SWAP3
00000c88: SWAP2
00000c89: POP
00000c8a: POP
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH1 0x0d
00000c8f: SLOAD
00000c90: PUSH1 0x01
00000c92: PUSH1 0x01
00000c94: PUSH1 0xa0
00000c96: SHL
00000c97: SUB
00000c98: AND
00000c99: CALLER
00000c9a: EQ
00000c9b: PUSH2 0x0cb6
00000c9e: JUMPI
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: PUSH3 0x461bcd
00000ca6: PUSH1 0xe5
00000ca8: SHL
00000ca9: DUP2
00000caa: MSTORE
00000cab: PUSH1 0x04
00000cad: ADD
00000cae: PUSH2 0x0bf5
00000cb1: SWAP1
00000cb2: PUSH2 0x2b6d
00000cb5: JUMP
00000cb6: JUMPDEST
00000cb7: PUSH1 0x1b
00000cb9: DUP1
00000cba: SLOAD
00000cbb: PUSH1 0xff
00000cbd: NOT
00000cbe: AND
00000cbf: SWAP2
00000cc0: ISZERO
00000cc1: ISZERO
00000cc2: SWAP2
00000cc3: SWAP1
00000cc4: SWAP2
00000cc5: OR
00000cc6: SWAP1
00000cc7: SSTORE
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH1 0x00
00000ccc: DUP3
00000ccd: PUSH2 0x0cd5
00000cd0: DUP4
00000cd1: PUSH2 0x176a
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: GT
00000cd7: SWAP4
00000cd8: SWAP3
00000cd9: POP
00000cda: POP
00000cdb: POP
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x0d
00000ce0: SLOAD
00000ce1: PUSH1 0x01
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0xa0
00000ce7: SHL
00000ce8: SUB
00000ce9: AND
00000cea: CALLER
00000ceb: EQ
00000cec: PUSH2 0x0d07
00000cef: JUMPI
00000cf0: PUSH1 0x40
00000cf2: MLOAD
00000cf3: PUSH3 0x461bcd
00000cf7: PUSH1 0xe5
00000cf9: SHL
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x04
00000cfe: ADD
00000cff: PUSH2 0x0bf5
00000d02: SWAP1
00000d03: PUSH2 0x2b6d
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH1 0x01
00000d0a: DUP1
00000d0b: SLOAD
00000d0c: PUSH1 0x01
00000d0e: PUSH1 0x01
00000d10: PUSH1 0xa0
00000d12: SHL
00000d13: SUB
00000d14: SWAP1
00000d15: DUP2
00000d16: AND
00000d17: PUSH1 0x00
00000d19: SWAP1
00000d1a: DUP2
00000d1b: MSTORE
00000d1c: PUSH1 0x14
00000d1e: PUSH1 0x20
00000d20: MSTORE
00000d21: PUSH1 0x40
00000d23: DUP1
00000d24: DUP3
00000d25: KECCAK256
00000d26: DUP1
00000d27: SLOAD
00000d28: PUSH1 0xff
00000d2a: NOT
00000d2b: SWAP1
00000d2c: DUP2
00000d2d: AND
00000d2e: SWAP1
00000d2f: SWAP2
00000d30: SSTORE
00000d31: SWAP5
00000d32: SWAP1
00000d33: SWAP3
00000d34: AND
00000d35: DUP1
00000d36: DUP3
00000d37: MSTORE
00000d38: SWAP2
00000d39: SWAP1
00000d3a: KECCAK256
00000d3b: DUP1
00000d3c: SLOAD
00000d3d: SWAP1
00000d3e: SWAP4
00000d3f: AND
00000d40: DUP3
00000d41: OR
00000d42: SWAP1
00000d43: SWAP3
00000d44: SSTORE
00000d45: DUP1
00000d46: SLOAD
00000d47: PUSH1 0x01
00000d49: PUSH1 0x01
00000d4b: PUSH1 0xa0
00000d4d: SHL
00000d4e: SUB
00000d4f: NOT
00000d50: AND
00000d51: SWAP1
00000d52: SWAP2
00000d53: OR
00000d54: SWAP1
00000d55: SSTORE
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH1 0x0d
00000d5a: SLOAD
00000d5b: PUSH1 0x01
00000d5d: PUSH1 0x01
00000d5f: PUSH1 0xa0
00000d61: SHL
00000d62: SUB
00000d63: AND
00000d64: CALLER
00000d65: EQ
00000d66: PUSH2 0x0d81
00000d69: JUMPI
00000d6a: PUSH1 0x40
00000d6c: MLOAD
00000d6d: PUSH3 0x461bcd
00000d71: PUSH1 0xe5
00000d73: SHL
00000d74: DUP2
00000d75: MSTORE
00000d76: PUSH1 0x04
00000d78: ADD
00000d79: PUSH2 0x0bf5
00000d7c: SWAP1
00000d7d: PUSH2 0x2b6d
00000d80: JUMP
00000d81: JUMPDEST
00000d82: PUSH1 0x00
00000d84: SLOAD
00000d85: SELFBALANCE
00000d86: SWAP1
00000d87: PUSH1 0x01
00000d89: PUSH1 0x01
00000d8b: PUSH1 0xa0
00000d8d: SHL
00000d8e: SUB
00000d8f: AND
00000d90: PUSH2 0x08fc
00000d93: PUSH1 0x64
00000d95: PUSH2 0x0d9e
00000d98: DUP6
00000d99: DUP6
00000d9a: PUSH2 0x2bb8
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH2 0x0da8
00000da2: SWAP2
00000da3: SWAP1
00000da4: PUSH2 0x2bcf
00000da7: JUMP
00000da8: JUMPDEST
00000da9: PUSH1 0x40
00000dab: MLOAD
00000dac: DUP2
00000dad: ISZERO
00000dae: SWAP1
00000daf: SWAP3
00000db0: MUL
00000db1: SWAP2
00000db2: PUSH1 0x00
00000db4: DUP2
00000db5: DUP2
00000db6: DUP2
00000db7: DUP6
00000db8: DUP9
00000db9: DUP9
00000dba: CALL
00000dbb: SWAP4
00000dbc: POP
00000dbd: POP
00000dbe: POP
00000dbf: POP
00000dc0: ISZERO
00000dc1: DUP1
00000dc2: ISZERO
00000dc3: PUSH2 0x0dd0
00000dc6: JUMPI
00000dc7: RETURNDATASIZE
00000dc8: PUSH1 0x00
00000dca: DUP1
00000dcb: RETURNDATACOPY
00000dcc: RETURNDATASIZE
00000dcd: PUSH1 0x00
00000dcf: REVERT
00000dd0: JUMPDEST
00000dd1: POP
00000dd2: POP
00000dd3: POP
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: PUSH1 0x0d
00000dd8: SLOAD
00000dd9: PUSH1 0x01
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0xa0
00000ddf: SHL
00000de0: SUB
00000de1: AND
00000de2: CALLER
00000de3: EQ
00000de4: PUSH2 0x0dff
00000de7: JUMPI
00000de8: PUSH1 0x40
00000dea: MLOAD
00000deb: PUSH3 0x461bcd
00000def: PUSH1 0xe5
00000df1: SHL
00000df2: DUP2
00000df3: MSTORE
00000df4: PUSH1 0x04
00000df6: ADD
00000df7: PUSH2 0x0bf5
00000dfa: SWAP1
00000dfb: PUSH2 0x2b6d
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH1 0x19
00000e02: SWAP2
00000e03: SWAP1
00000e04: SWAP2
00000e05: SSTORE
00000e06: PUSH1 0x1a
00000e08: SSTORE
00000e09: JUMP
00000e0a: JUMPDEST
00000e0b: PUSH1 0x01
00000e0d: PUSH1 0x01
00000e0f: PUSH1 0xa0
00000e11: SHL
00000e12: SUB
00000e13: DUP4
00000e14: AND
00000e15: PUSH1 0x00
00000e17: SWAP1
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x13
00000e1c: PUSH1 0x20
00000e1e: SWAP1
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x40
00000e23: DUP1
00000e24: DUP4
00000e25: KECCAK256
00000e26: CALLER
00000e27: DUP5
00000e28: MSTORE
00000e29: SWAP1
00000e2a: SWAP2
00000e2b: MSTORE
00000e2c: DUP2
00000e2d: KECCAK256
00000e2e: SLOAD
00000e2f: PUSH1 0x00
00000e31: NOT
00000e32: EQ
00000e33: PUSH2 0x0eb7
00000e36: JUMPI
00000e37: PUSH1 0x40
00000e39: DUP1
00000e3a: MLOAD
00000e3b: DUP1
00000e3c: DUP3
00000e3d: ADD
00000e3e: DUP3
00000e3f: MSTORE
00000e40: PUSH1 0x16
00000e42: DUP2
00000e43: MSTORE
00000e44: PUSH22 0x496e73756666696369656e7420416c6c6f77616e6365
00000e5b: PUSH1 0x50
00000e5d: SHL
00000e5e: PUSH1 0x20
00000e60: DUP1
00000e61: DUP4
00000e62: ADD
00000e63: SWAP2
00000e64: SWAP1
00000e65: SWAP2
00000e66: MSTORE
00000e67: PUSH1 0x01
00000e69: PUSH1 0x01
00000e6b: PUSH1 0xa0
00000e6d: SHL
00000e6e: SUB
00000e6f: DUP8
00000e70: AND
00000e71: PUSH1 0x00
00000e73: SWAP1
00000e74: DUP2
00000e75: MSTORE
00000e76: PUSH1 0x13
00000e78: DUP3
00000e79: MSTORE
00000e7a: DUP4
00000e7b: DUP2
00000e7c: KECCAK256
00000e7d: CALLER
00000e7e: DUP3
00000e7f: MSTORE
00000e80: SWAP1
00000e81: SWAP2
00000e82: MSTORE
00000e83: SWAP2
00000e84: SWAP1
00000e85: SWAP2
00000e86: KECCAK256
00000e87: SLOAD
00000e88: PUSH2 0x0e92
00000e8b: SWAP2
00000e8c: DUP5
00000e8d: SWAP1
00000e8e: PUSH2 0x1b26
00000e91: JUMP
00000e92: JUMPDEST
00000e93: PUSH1 0x01
00000e95: PUSH1 0x01
00000e97: PUSH1 0xa0
00000e99: SHL
00000e9a: SUB
00000e9b: DUP6
00000e9c: AND
00000e9d: PUSH1 0x00
00000e9f: SWAP1
00000ea0: DUP2
00000ea1: MSTORE
00000ea2: PUSH1 0x13
00000ea4: PUSH1 0x20
00000ea6: SWAP1
00000ea7: DUP2
00000ea8: MSTORE
00000ea9: PUSH1 0x40
00000eab: DUP1
00000eac: DUP4
00000ead: KECCAK256
00000eae: CALLER
00000eaf: DUP5
00000eb0: MSTORE
00000eb1: SWAP1
00000eb2: SWAP2
00000eb3: MSTORE
00000eb4: SWAP1
00000eb5: KECCAK256
00000eb6: SSTORE
00000eb7: JUMPDEST
00000eb8: PUSH2 0x0ec2
00000ebb: DUP5
00000ebc: DUP5
00000ebd: DUP5
00000ebe: PUSH2 0x1b52
00000ec1: JUMP
00000ec2: JUMPDEST
00000ec3: SWAP1
00000ec4: POP
00000ec5: JUMPDEST
00000ec6: SWAP4
00000ec7: SWAP3
00000ec8: POP
00000ec9: POP
00000eca: POP
00000ecb: JUMP
00000ecc: JUMPDEST
00000ecd: PUSH1 0x0d
00000ecf: SLOAD
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0x01
00000ed4: PUSH1 0xa0
00000ed6: SHL
00000ed7: SUB
00000ed8: AND
00000ed9: CALLER
00000eda: EQ
00000edb: PUSH2 0x0ef6
00000ede: JUMPI
00000edf: PUSH1 0x40
00000ee1: MLOAD
00000ee2: PUSH3 0x461bcd
00000ee6: PUSH1 0xe5
00000ee8: SHL
00000ee9: DUP2
00000eea: MSTORE
00000eeb: PUSH1 0x04
00000eed: ADD
00000eee: PUSH2 0x0bf5
00000ef1: SWAP1
00000ef2: PUSH2 0x2b6d
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH1 0x1e
00000ef9: SSTORE
00000efa: JUMP
00000efb: JUMPDEST
00000efc: PUSH1 0x11
00000efe: SLOAD
00000eff: PUSH1 0x00
00000f01: SWAP1
00000f02: PUSH2 0x0f3f
00000f05: SWAP1
00000f06: PUSH2 0x0f17
00000f09: SWAP1
00000f0a: PUSH1 0x01
00000f0c: PUSH1 0x01
00000f0e: PUSH1 0xa0
00000f10: SHL
00000f11: SUB
00000f12: AND
00000f13: PUSH2 0x12cf
00000f16: JUMP
00000f17: JUMPDEST
00000f18: PUSH1 0x10
00000f1a: SLOAD
00000f1b: PUSH2 0x0f39
00000f1e: SWAP1
00000f1f: PUSH2 0x0f30
00000f22: SWAP1
00000f23: PUSH1 0x01
00000f25: PUSH1 0x01
00000f27: PUSH1 0xa0
00000f29: SHL
00000f2a: SUB
00000f2b: AND
00000f2c: PUSH2 0x12cf
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x02
00000f33: SLOAD
00000f34: SWAP1
00000f35: PUSH2 0x2058
00000f38: JUMP
00000f39: JUMPDEST
00000f3a: SWAP1
00000f3b: PUSH2 0x2058
00000f3e: JUMP
00000f3f: JUMPDEST
00000f40: SWAP1
00000f41: POP
00000f42: SWAP1
00000f43: JUMP
00000f44: JUMPDEST
00000f45: PUSH1 0x0d
00000f47: SLOAD
00000f48: PUSH1 0x01
00000f4a: PUSH1 0x01
00000f4c: PUSH1 0xa0
00000f4e: SHL
00000f4f: SUB
00000f50: AND
00000f51: CALLER
00000f52: EQ
00000f53: PUSH2 0x0f6e
00000f56: JUMPI
00000f57: PUSH1 0x40
00000f59: MLOAD
00000f5a: PUSH3 0x461bcd
00000f5e: PUSH1 0xe5
00000f60: SHL
00000f61: DUP2
00000f62: MSTORE
00000f63: PUSH1 0x04
00000f65: ADD
00000f66: PUSH2 0x0bf5
00000f69: SWAP1
00000f6a: PUSH2 0x2b6d
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: PUSH1 0x1b
00000f71: DUP1
00000f72: SLOAD
00000f73: PUSH3 0xffff00
00000f77: NOT
00000f78: AND
00000f79: PUSH2 0x0100
00000f7c: SWAP4
00000f7d: ISZERO
00000f7e: ISZERO
00000f7f: SWAP4
00000f80: SWAP1
00000f81: SWAP4
00000f82: MUL
00000f83: PUSH3 0xff0000
00000f87: NOT
00000f88: AND
00000f89: SWAP3
00000f8a: SWAP1
00000f8b: SWAP3
00000f8c: OR
00000f8d: PUSH3 0x010000
00000f91: PUSH1 0xff
00000f93: SWAP3
00000f94: SWAP1
00000f95: SWAP3
00000f96: AND
00000f97: SWAP2
00000f98: SWAP1
00000f99: SWAP2
00000f9a: MUL
00000f9b: OR
00000f9c: SWAP1
00000f9d: SSTORE
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH1 0x0d
00000fa2: SLOAD
00000fa3: PUSH1 0x01
00000fa5: PUSH1 0x01
00000fa7: PUSH1 0xa0
00000fa9: SHL
00000faa: SUB
00000fab: AND
00000fac: CALLER
00000fad: EQ
00000fae: PUSH2 0x0fc9
00000fb1: JUMPI
00000fb2: PUSH1 0x40
00000fb4: MLOAD
00000fb5: PUSH3 0x461bcd
00000fb9: PUSH1 0xe5
00000fbb: SHL
00000fbc: DUP2
00000fbd: MSTORE
00000fbe: PUSH1 0x04
00000fc0: ADD
00000fc1: PUSH2 0x0bf5
00000fc4: SWAP1
00000fc5: PUSH2 0x2b6d
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: PUSH2 0x0321
00000fcd: DUP3
00000fce: LT
00000fcf: PUSH2 0x1030
00000fd2: JUMPI
00000fd3: PUSH1 0x40
00000fd5: MLOAD
00000fd6: PUSH3 0x461bcd
00000fda: PUSH1 0xe5
00000fdc: SHL
00000fdd: DUP2
00000fde: MSTORE
00000fdf: PUSH1 0x20
00000fe1: PUSH1 0x04
00000fe3: DUP3
00000fe4: ADD
00000fe5: MSTORE
00000fe6: PUSH1 0x2d
00000fe8: PUSH1 0x24
00000fea: DUP3
00000feb: ADD
00000fec: MSTORE
00000fed: PUSH32 0x474153204572726f723a206d61782061697264726f70206c696d697420697320
0000100e: PUSH1 0x44
00001010: DUP3
00001011: ADD
00001012: MSTORE
00001013: PUSH13 0x38303020616464726573736573
00001021: PUSH1 0x98
00001023: SHL
00001024: PUSH1 0x64
00001026: DUP3
00001027: ADD
00001028: MSTORE
00001029: PUSH1 0x84
0000102b: ADD
0000102c: PUSH2 0x0bf5
0000102f: JUMP
00001030: JUMPDEST
00001031: PUSH1 0x00
00001033: PUSH2 0x103c
00001036: DUP4
00001037: DUP4
00001038: PUSH2 0x2bb8
0000103b: JUMP
0000103c: JUMPDEST
0000103d: SWAP1
0000103e: POP
0000103f: DUP1
00001040: PUSH2 0x1048
00001043: DUP7
00001044: PUSH2 0x12cf
00001047: JUMP
00001048: JUMPDEST
00001049: LT
0000104a: ISZERO
0000104b: PUSH2 0x1096
0000104e: JUMPI
0000104f: PUSH1 0x40
00001051: MLOAD
00001052: PUSH3 0x461bcd
00001056: PUSH1 0xe5
00001058: SHL
00001059: DUP2
0000105a: MSTORE
0000105b: PUSH1 0x20
0000105d: PUSH1 0x04
0000105f: DUP3
00001060: ADD
00001061: MSTORE
00001062: PUSH1 0x1b
00001064: PUSH1 0x24
00001066: DUP3
00001067: ADD
00001068: MSTORE
00001069: PUSH32 0x4e6f7420656e6f75676820746f6b656e7320696e2077616c6c65740000000000
0000108a: PUSH1 0x44
0000108c: DUP3
0000108d: ADD
0000108e: MSTORE
0000108f: PUSH1 0x64
00001091: ADD
00001092: PUSH2 0x0bf5
00001095: JUMP
00001096: JUMPDEST
00001097: PUSH1 0x00
00001099: JUMPDEST
0000109a: DUP4
0000109b: DUP2
0000109c: LT
0000109d: ISZERO
0000109e: PUSH2 0x10e5
000010a1: JUMPI
000010a2: PUSH2 0x10d2
000010a5: DUP7
000010a6: DUP7
000010a7: DUP7
000010a8: DUP5
000010a9: DUP2
000010aa: DUP2
000010ab: LT
000010ac: PUSH2 0x10b7
000010af: JUMPI
000010b0: PUSH2 0x10b7
000010b3: PUSH2 0x2bf1
000010b6: JUMP
000010b7: JUMPDEST
000010b8: SWAP1
000010b9: POP
000010ba: PUSH1 0x20
000010bc: MUL
000010bd: ADD
000010be: PUSH1 0x20
000010c0: DUP2
000010c1: ADD
000010c2: SWAP1
000010c3: PUSH2 0x10cc
000010c6: SWAP2
000010c7: SWAP1
000010c8: PUSH2 0x28c7
000010cb: JUMP
000010cc: JUMPDEST
000010cd: DUP6
000010ce: PUSH2 0x2064
000010d1: JUMP
000010d2: JUMPDEST
000010d3: POP
000010d4: DUP1
000010d5: PUSH2 0x10dd
000010d8: DUP2
000010d9: PUSH2 0x2c07
000010dc: JUMP
000010dd: JUMPDEST
000010de: SWAP2
000010df: POP
000010e0: POP
000010e1: PUSH2 0x1099
000010e4: JUMP
000010e5: JUMPDEST
000010e6: POP
000010e7: POP
000010e8: POP
000010e9: POP
000010ea: POP
000010eb: POP
000010ec: JUMP
000010ed: JUMPDEST
000010ee: PUSH1 0x0d
000010f0: SLOAD
000010f1: PUSH1 0x01
000010f3: PUSH1 0x01
000010f5: PUSH1 0xa0
000010f7: SHL
000010f8: SUB
000010f9: AND
000010fa: CALLER
000010fb: EQ
000010fc: PUSH2 0x1117
000010ff: JUMPI
00001100: PUSH1 0x40
00001102: MLOAD
00001103: PUSH3 0x461bcd
00001107: PUSH1 0xe5
00001109: SHL
0000110a: DUP2
0000110b: MSTORE
0000110c: PUSH1 0x04
0000110e: ADD
0000110f: PUSH2 0x0bf5
00001112: SWAP1
00001113: PUSH2 0x2b6d
00001116: JUMP
00001117: JUMPDEST
00001118: SELFBALANCE
00001119: CALLER
0000111a: PUSH2 0x08fc
0000111d: PUSH1 0x64
0000111f: PUSH2 0x0d9e
00001122: DUP6
00001123: DUP6
00001124: PUSH2 0x2bb8
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x0d
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 0x0bf5
0000114d: SWAP1
0000114e: PUSH2 0x2b6d
00001151: JUMP
00001152: JUMPDEST
00001153: PUSH1 0x01
00001155: PUSH1 0x01
00001157: PUSH1 0xa0
00001159: SHL
0000115a: SUB
0000115b: SWAP2
0000115c: SWAP1
0000115d: SWAP2
0000115e: AND
0000115f: PUSH1 0x00
00001161: SWAP1
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x17
00001166: PUSH1 0x20
00001168: MSTORE
00001169: PUSH1 0x40
0000116b: SWAP1
0000116c: KECCAK256
0000116d: DUP1
0000116e: SLOAD
0000116f: PUSH1 0xff
00001171: NOT
00001172: AND
00001173: SWAP2
00001174: ISZERO
00001175: ISZERO
00001176: SWAP2
00001177: SWAP1
00001178: SWAP2
00001179: OR
0000117a: SWAP1
0000117b: SSTORE
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH1 0x00
00001180: PUSH2 0x0c86
00001183: DUP3
00001184: PUSH1 0x00
00001186: NOT
00001187: PUSH2 0x0c1f
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH1 0x0d
0000118e: SLOAD
0000118f: PUSH1 0x01
00001191: PUSH1 0x01
00001193: PUSH1 0xa0
00001195: SHL
00001196: SUB
00001197: AND
00001198: CALLER
00001199: EQ
0000119a: PUSH2 0x11b5
0000119d: JUMPI
0000119e: PUSH1 0x40
000011a0: MLOAD
000011a1: PUSH3 0x461bcd
000011a5: PUSH1 0xe5
000011a7: SHL
000011a8: DUP2
000011a9: MSTORE
000011aa: PUSH1 0x04
000011ac: ADD
000011ad: PUSH2 0x0bf5
000011b0: SWAP1
000011b1: PUSH2 0x2b6d
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH1 0x03
000011b8: SSTORE
000011b9: JUMP
000011ba: JUMPDEST
000011bb: PUSH1 0x0d
000011bd: SLOAD
000011be: PUSH1 0x01
000011c0: PUSH1 0x01
000011c2: PUSH1 0xa0
000011c4: SHL
000011c5: SUB
000011c6: AND
000011c7: CALLER
000011c8: EQ
000011c9: PUSH2 0x11e4
000011cc: JUMPI
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: PUSH3 0x461bcd
000011d4: PUSH1 0xe5
000011d6: SHL
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x04
000011db: ADD
000011dc: PUSH2 0x0bf5
000011df: SWAP1
000011e0: PUSH2 0x2b6d
000011e3: JUMP
000011e4: JUMPDEST
000011e5: PUSH1 0x00
000011e7: DUP1
000011e8: SLOAD
000011e9: PUSH1 0x01
000011eb: PUSH1 0x01
000011ed: PUSH1 0xa0
000011ef: SHL
000011f0: SUB
000011f1: SWAP1
000011f2: DUP2
000011f3: AND
000011f4: DUP3
000011f5: MSTORE
000011f6: PUSH1 0x14
000011f8: PUSH1 0x20
000011fa: SWAP1
000011fb: DUP2
000011fc: MSTORE
000011fd: PUSH1 0x40
000011ff: DUP1
00001200: DUP5
00001201: KECCAK256
00001202: DUP1
00001203: SLOAD
00001204: PUSH1 0xff
00001206: NOT
00001207: SWAP1
00001208: DUP2
00001209: AND
0000120a: SWAP1
0000120b: SWAP2
0000120c: SSTORE
0000120d: SWAP5
0000120e: SWAP1
0000120f: SWAP3
00001210: AND
00001211: DUP1
00001212: DUP5
00001213: MSTORE
00001214: DUP3
00001215: DUP5
00001216: KECCAK256
00001217: DUP1
00001218: SLOAD
00001219: DUP7
0000121a: AND
0000121b: PUSH1 0x01
0000121d: SWAP1
0000121e: DUP2
0000121f: OR
00001220: SWAP1
00001221: SWAP2
00001222: SSTORE
00001223: PUSH1 0x16
00001225: SWAP1
00001226: SWAP3
00001227: MSTORE
00001228: SWAP2
00001229: DUP4
0000122a: KECCAK256
0000122b: DUP1
0000122c: SLOAD
0000122d: SWAP1
0000122e: SWAP5
0000122f: AND
00001230: OR
00001231: SWAP1
00001232: SWAP3
00001233: SSTORE
00001234: DUP1
00001235: SLOAD
00001236: PUSH1 0x01
00001238: PUSH1 0x01
0000123a: PUSH1 0xa0
0000123c: SHL
0000123d: SUB
0000123e: NOT
0000123f: AND
00001240: SWAP1
00001241: SWAP2
00001242: OR
00001243: SWAP1
00001244: SSTORE
00001245: JUMP
00001246: JUMPDEST
00001247: PUSH1 0x0d
00001249: SLOAD
0000124a: PUSH1 0x01
0000124c: PUSH1 0x01
0000124e: PUSH1 0xa0
00001250: SHL
00001251: SUB
00001252: AND
00001253: CALLER
00001254: EQ
00001255: PUSH2 0x1270
00001258: JUMPI
00001259: PUSH1 0x40
0000125b: MLOAD
0000125c: PUSH3 0x461bcd
00001260: PUSH1 0xe5
00001262: SHL
00001263: DUP2
00001264: MSTORE
00001265: PUSH1 0x04
00001267: ADD
00001268: PUSH2 0x0bf5
0000126b: SWAP1
0000126c: PUSH2 0x2b6d
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x01
00001273: PUSH1 0x01
00001275: PUSH1 0xa0
00001277: SHL
00001278: SUB
00001279: SWAP2
0000127a: SWAP1
0000127b: SWAP2
0000127c: AND
0000127d: PUSH1 0x00
0000127f: SWAP1
00001280: DUP2
00001281: MSTORE
00001282: PUSH1 0x14
00001284: PUSH1 0x20
00001286: MSTORE
00001287: PUSH1 0x40
00001289: SWAP1
0000128a: KECCAK256
0000128b: DUP1
0000128c: SLOAD
0000128d: PUSH1 0xff
0000128f: NOT
00001290: AND
00001291: SWAP2
00001292: ISZERO
00001293: ISZERO
00001294: SWAP2
00001295: SWAP1
00001296: SWAP2
00001297: OR
00001298: SWAP1
00001299: SSTORE
0000129a: JUMP
0000129b: JUMPDEST
0000129c: CALLER
0000129d: PUSH1 0x00
0000129f: SWAP1
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x12
000012a4: PUSH1 0x20
000012a6: MSTORE
000012a7: PUSH1 0x40
000012a9: SWAP1
000012aa: KECCAK256
000012ab: SLOAD
000012ac: DUP2
000012ad: LT
000012ae: ISZERO
000012af: PUSH2 0x12cc
000012b2: JUMPI
000012b3: PUSH1 0x10
000012b5: SLOAD
000012b6: PUSH2 0x12ca
000012b9: SWAP1
000012ba: CALLER
000012bb: SWAP1
000012bc: PUSH1 0x01
000012be: PUSH1 0x01
000012c0: PUSH1 0xa0
000012c2: SHL
000012c3: SUB
000012c4: AND
000012c5: DUP4
000012c6: PUSH2 0x2064
000012c9: JUMP
000012ca: JUMPDEST
000012cb: POP
000012cc: JUMPDEST
000012cd: POP
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x01
000012d2: PUSH1 0x01
000012d4: PUSH1 0xa0
000012d6: SHL
000012d7: SUB
000012d8: AND
000012d9: PUSH1 0x00
000012db: SWAP1
000012dc: DUP2
000012dd: MSTORE
000012de: PUSH1 0x12
000012e0: PUSH1 0x20
000012e2: MSTORE
000012e3: PUSH1 0x40
000012e5: SWAP1
000012e6: KECCAK256
000012e7: SLOAD
000012e8: SWAP1
000012e9: JUMP
000012ea: JUMPDEST
000012eb: PUSH1 0x0d
000012ed: SLOAD
000012ee: PUSH1 0x01
000012f0: PUSH1 0x01
000012f2: PUSH1 0xa0
000012f4: SHL
000012f5: SUB
000012f6: AND
000012f7: CALLER
000012f8: EQ
000012f9: PUSH2 0x1314
000012fc: JUMPI
000012fd: PUSH1 0x40
000012ff: MLOAD
00001300: PUSH3 0x461bcd
00001304: PUSH1 0xe5
00001306: SHL
00001307: DUP2
00001308: MSTORE
00001309: PUSH1 0x04
0000130b: ADD
0000130c: PUSH2 0x0bf5
0000130f: SWAP1
00001310: PUSH2 0x2b6d
00001313: JUMP
00001314: JUMPDEST
00001315: PUSH2 0x01f5
00001318: DUP4
00001319: LT
0000131a: PUSH2 0x137b
0000131d: JUMPI
0000131e: PUSH1 0x40
00001320: MLOAD
00001321: PUSH3 0x461bcd
00001325: PUSH1 0xe5
00001327: SHL
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x20
0000132c: PUSH1 0x04
0000132e: DUP3
0000132f: ADD
00001330: MSTORE
00001331: PUSH1 0x2d
00001333: PUSH1 0x24
00001335: DUP3
00001336: ADD
00001337: MSTORE
00001338: PUSH32 0x474153204572726f723a206d61782061697264726f70206c696d697420697320
00001359: PUSH1 0x44
0000135b: DUP3
0000135c: ADD
0000135d: MSTORE
0000135e: PUSH13 0x35303020616464726573736573
0000136c: PUSH1 0x98
0000136e: SHL
0000136f: PUSH1 0x64
00001371: DUP3
00001372: ADD
00001373: MSTORE
00001374: PUSH1 0x84
00001376: ADD
00001377: PUSH2 0x0bf5
0000137a: JUMP
0000137b: JUMPDEST
0000137c: DUP3
0000137d: DUP2
0000137e: EQ
0000137f: PUSH2 0x13db
00001382: JUMPI
00001383: PUSH1 0x40
00001385: MLOAD
00001386: PUSH3 0x461bcd
0000138a: PUSH1 0xe5
0000138c: SHL
0000138d: DUP2
0000138e: MSTORE
0000138f: PUSH1 0x20
00001391: PUSH1 0x04
00001393: DUP3
00001394: ADD
00001395: MSTORE
00001396: PUSH1 0x28
00001398: PUSH1 0x24
0000139a: DUP3
0000139b: ADD
0000139c: MSTORE
0000139d: PUSH32 0x4d69736d61746368206265747765656e204164647265737320616e6420746f6b
000013be: PUSH1 0x44
000013c0: DUP3
000013c1: ADD
000013c2: MSTORE
000013c3: PUSH8 0x195b8818dbdd5b9d
000013cc: PUSH1 0xc2
000013ce: SHL
000013cf: PUSH1 0x64
000013d1: DUP3
000013d2: ADD
000013d3: MSTORE
000013d4: PUSH1 0x84
000013d6: ADD
000013d7: PUSH2 0x0bf5
000013da: JUMP
000013db: JUMPDEST
000013dc: PUSH1 0x00
000013de: DUP1
000013df: JUMPDEST
000013e0: DUP5
000013e1: DUP2
000013e2: LT
000013e3: ISZERO
000013e4: PUSH2 0x141f
000013e7: JUMPI
000013e8: DUP4
000013e9: DUP4
000013ea: DUP3
000013eb: DUP2
000013ec: DUP2
000013ed: LT
000013ee: PUSH2 0x13f9
000013f1: JUMPI
000013f2: PUSH2 0x13f9
000013f5: PUSH2 0x2bf1
000013f8: JUMP
000013f9: JUMPDEST
000013fa: SWAP1
000013fb: POP
000013fc: PUSH1 0x20
000013fe: MUL
000013ff: ADD
00001400: CALLDATALOAD
00001401: DUP3
00001402: PUSH2 0x140b
00001405: SWAP2
00001406: SWAP1
00001407: PUSH2 0x2c20
0000140a: JUMP
0000140b: JUMPDEST
0000140c: SWAP2
0000140d: POP
0000140e: DUP1
0000140f: PUSH2 0x1417
00001412: DUP2
00001413: PUSH2 0x2c07
00001416: JUMP
00001417: JUMPDEST
00001418: SWAP2
00001419: POP
0000141a: POP
0000141b: PUSH2 0x13df
0000141e: JUMP
0000141f: JUMPDEST
00001420: POP
00001421: DUP1
00001422: PUSH2 0x142a
00001425: DUP8
00001426: PUSH2 0x12cf
00001429: JUMP
0000142a: JUMPDEST
0000142b: LT
0000142c: ISZERO
0000142d: PUSH2 0x1478
00001430: JUMPI
00001431: PUSH1 0x40
00001433: MLOAD
00001434: PUSH3 0x461bcd
00001438: PUSH1 0xe5
0000143a: SHL
0000143b: DUP2
0000143c: MSTORE
0000143d: PUSH1 0x20
0000143f: PUSH1 0x04
00001441: DUP3
00001442: ADD
00001443: MSTORE
00001444: PUSH1 0x1b
00001446: PUSH1 0x24
00001448: DUP3
00001449: ADD
0000144a: MSTORE
0000144b: PUSH32 0x4e6f7420656e6f75676820746f6b656e7320696e2077616c6c65740000000000
0000146c: PUSH1 0x44
0000146e: DUP3
0000146f: ADD
00001470: MSTORE
00001471: PUSH1 0x64
00001473: ADD
00001474: PUSH2 0x0bf5
00001477: JUMP
00001478: JUMPDEST
00001479: PUSH1 0x00
0000147b: JUMPDEST
0000147c: DUP5
0000147d: DUP2
0000147e: LT
0000147f: ISZERO
00001480: PUSH2 0x14df
00001483: JUMPI
00001484: PUSH2 0x14cc
00001487: DUP8
00001488: DUP8
00001489: DUP8
0000148a: DUP5
0000148b: DUP2
0000148c: DUP2
0000148d: LT
0000148e: PUSH2 0x1499
00001491: JUMPI
00001492: PUSH2 0x1499
00001495: PUSH2 0x2bf1
00001498: JUMP
00001499: JUMPDEST
0000149a: SWAP1
0000149b: POP
0000149c: PUSH1 0x20
0000149e: MUL
0000149f: ADD
000014a0: PUSH1 0x20
000014a2: DUP2
000014a3: ADD
000014a4: SWAP1
000014a5: PUSH2 0x14ae
000014a8: SWAP2
000014a9: SWAP1
000014aa: PUSH2 0x28c7
000014ad: JUMP
000014ae: JUMPDEST
000014af: DUP7
000014b0: DUP7
000014b1: DUP6
000014b2: DUP2
000014b3: DUP2
000014b4: LT
000014b5: PUSH2 0x14c0
000014b8: JUMPI
000014b9: PUSH2 0x14c0
000014bc: PUSH2 0x2bf1
000014bf: JUMP
000014c0: JUMPDEST
000014c1: SWAP1
000014c2: POP
000014c3: PUSH1 0x20
000014c5: MUL
000014c6: ADD
000014c7: CALLDATALOAD
000014c8: PUSH2 0x2064
000014cb: JUMP
000014cc: JUMPDEST
000014cd: POP
000014ce: DUP1
000014cf: PUSH2 0x14d7
000014d2: DUP2
000014d3: PUSH2 0x2c07
000014d6: JUMP
000014d7: JUMPDEST
000014d8: SWAP2
000014d9: POP
000014da: POP
000014db: PUSH2 0x147b
000014de: JUMP
000014df: JUMPDEST
000014e0: POP
000014e1: POP
000014e2: POP
000014e3: POP
000014e4: POP
000014e5: POP
000014e6: POP
000014e7: JUMP
000014e8: JUMPDEST
000014e9: PUSH1 0x0d
000014eb: SLOAD
000014ec: PUSH1 0x01
000014ee: PUSH1 0x01
000014f0: PUSH1 0xa0
000014f2: SHL
000014f3: SUB
000014f4: AND
000014f5: CALLER
000014f6: EQ
000014f7: PUSH2 0x1512
000014fa: JUMPI
000014fb: PUSH1 0x40
000014fd: MLOAD
000014fe: PUSH3 0x461bcd
00001502: PUSH1 0xe5
00001504: SHL
00001505: DUP2
00001506: MSTORE
00001507: PUSH1 0x04
00001509: ADD
0000150a: PUSH2 0x0bf5
0000150d: SWAP1
0000150e: PUSH2 0x2b6d
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH1 0x0d
00001515: SLOAD
00001516: PUSH1 0x40
00001518: MLOAD
00001519: PUSH1 0x00
0000151b: SWAP2
0000151c: PUSH1 0x01
0000151e: PUSH1 0x01
00001520: PUSH1 0xa0
00001522: SHL
00001523: SUB
00001524: AND
00001525: SWAP1
00001526: PUSH1 0x00
00001528: DUP1
00001529: MLOAD
0000152a: PUSH1 0x20
0000152c: PUSH2 0x2d03
0000152f: DUP4
00001530: CODECOPY
00001531: DUP2
00001532: MLOAD
00001533: SWAP2
00001534: MSTORE
00001535: SWAP1
00001536: DUP4
00001537: SWAP1
00001538: LOG3
00001539: PUSH1 0x0d
0000153b: DUP1
0000153c: SLOAD
0000153d: PUSH1 0x01
0000153f: PUSH1 0x01
00001541: PUSH1 0xa0
00001543: SHL
00001544: SUB
00001545: NOT
00001546: AND
00001547: SWAP1
00001548: SSTORE
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH1 0x0d
0000154d: SLOAD
0000154e: PUSH1 0x01
00001550: PUSH1 0x01
00001552: PUSH1 0xa0
00001554: SHL
00001555: SUB
00001556: AND
00001557: CALLER
00001558: EQ
00001559: PUSH2 0x1574
0000155c: JUMPI
0000155d: PUSH1 0x40
0000155f: MLOAD
00001560: PUSH3 0x461bcd
00001564: PUSH1 0xe5
00001566: SHL
00001567: DUP2
00001568: MSTORE
00001569: PUSH1 0x04
0000156b: ADD
0000156c: PUSH2 0x0bf5
0000156f: SWAP1
00001570: PUSH2 0x2b6d
00001573: JUMP
00001574: JUMPDEST
00001575: PUSH1 0x07
00001577: DUP5
00001578: SWAP1
00001579: SSTORE
0000157a: PUSH1 0x08
0000157c: DUP4
0000157d: SWAP1
0000157e: SSTORE
0000157f: PUSH1 0x09
00001581: DUP3
00001582: SWAP1
00001583: SSTORE
00001584: PUSH2 0x1597
00001587: DUP3
00001588: PUSH2 0x1591
0000158b: DUP7
0000158c: DUP7
0000158d: PUSH2 0x2138
00001590: JUMP
00001591: JUMPDEST
00001592: SWAP1
00001593: PUSH2 0x2138
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH1 0x0a
0000159a: DUP2
0000159b: SWAP1
0000159c: SSTORE
0000159d: PUSH1 0x0c
0000159f: DUP3
000015a0: SWAP1
000015a1: SSTORE
000015a2: PUSH1 0x5a
000015a4: GT
000015a5: PUSH2 0x15f0
000015a8: JUMPI
000015a9: PUSH1 0x40
000015ab: MLOAD
000015ac: PUSH3 0x461bcd
000015b0: PUSH1 0xe5
000015b2: SHL
000015b3: DUP2
000015b4: MSTORE
000015b5: PUSH1 0x20
000015b7: PUSH1 0x04
000015b9: DUP3
000015ba: ADD
000015bb: MSTORE
000015bc: PUSH1 0x18
000015be: PUSH1 0x24
000015c0: DUP3
000015c1: ADD
000015c2: MSTORE
000015c3: PUSH32 0x466565732063616e6e6f74206265207468617420686967680000000000000000
000015e4: PUSH1 0x44
000015e6: DUP3
000015e7: ADD
000015e8: MSTORE
000015e9: PUSH1 0x64
000015eb: ADD
000015ec: PUSH2 0x0bf5
000015ef: JUMP
000015f0: JUMPDEST
000015f1: POP
000015f2: POP
000015f3: POP
000015f4: POP
000015f5: JUMP
000015f6: JUMPDEST
000015f7: PUSH1 0x00
000015f9: PUSH2 0x0f3f
000015fc: PUSH1 0x0d
000015fe: SLOAD
000015ff: PUSH1 0x01
00001601: PUSH1 0x01
00001603: PUSH1 0xa0
00001605: SHL
00001606: SUB
00001607: AND
00001608: SWAP1
00001609: JUMP
0000160a: JUMPDEST
0000160b: PUSH1 0x0e
0000160d: SLOAD
0000160e: PUSH1 0x01
00001610: PUSH1 0x01
00001612: PUSH1 0xa0
00001614: SHL
00001615: SUB
00001616: AND
00001617: CALLER
00001618: EQ
00001619: PUSH2 0x1670
0000161c: JUMPI
0000161d: PUSH1 0x40
0000161f: MLOAD
00001620: PUSH3 0x461bcd
00001624: PUSH1 0xe5
00001626: SHL
00001627: DUP2
00001628: MSTORE
00001629: PUSH1 0x20
0000162b: PUSH1 0x04
0000162d: DUP3
0000162e: ADD
0000162f: MSTORE
00001630: PUSH1 0x23
00001632: PUSH1 0x24
00001634: DUP3
00001635: ADD
00001636: MSTORE
00001637: PUSH32 0x596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c
00001658: PUSH1 0x44
0000165a: DUP3
0000165b: ADD
0000165c: MSTORE
0000165d: PUSH3 0x6f636b
00001661: PUSH1 0xe8
00001663: SHL
00001664: PUSH1 0x64
00001666: DUP3
00001667: ADD
00001668: MSTORE
00001669: PUSH1 0x84
0000166b: ADD
0000166c: PUSH2 0x0bf5
0000166f: JUMP
00001670: JUMPDEST
00001671: PUSH1 0x0f
00001673: SLOAD
00001674: TIMESTAMP
00001675: GT
00001676: PUSH2 0x16c1
00001679: JUMPI
0000167a: PUSH1 0x40
0000167c: MLOAD
0000167d: PUSH3 0x461bcd
00001681: PUSH1 0xe5
00001683: SHL
00001684: DUP2
00001685: MSTORE
00001686: PUSH1 0x20
00001688: PUSH1 0x04
0000168a: DUP3
0000168b: ADD
0000168c: MSTORE
0000168d: PUSH1 0x1f
0000168f: PUSH1 0x24
00001691: DUP3
00001692: ADD
00001693: MSTORE
00001694: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300
000016b5: PUSH1 0x44
000016b7: DUP3
000016b8: ADD
000016b9: MSTORE
000016ba: PUSH1 0x64
000016bc: ADD
000016bd: PUSH2 0x0bf5
000016c0: JUMP
000016c1: JUMPDEST
000016c2: PUSH1 0x0e
000016c4: SLOAD
000016c5: PUSH1 0x0d
000016c7: SLOAD
000016c8: PUSH1 0x40
000016ca: MLOAD
000016cb: PUSH1 0x01
000016cd: PUSH1 0x01
000016cf: PUSH1 0xa0
000016d1: SHL
000016d2: SUB
000016d3: SWAP3
000016d4: DUP4
000016d5: AND
000016d6: SWAP3
000016d7: SWAP1
000016d8: SWAP2
000016d9: AND
000016da: SWAP1
000016db: PUSH1 0x00
000016dd: DUP1
000016de: MLOAD
000016df: PUSH1 0x20
000016e1: PUSH2 0x2d03
000016e4: DUP4
000016e5: CODECOPY
000016e6: DUP2
000016e7: MLOAD
000016e8: SWAP2
000016e9: MSTORE
000016ea: SWAP1
000016eb: PUSH1 0x00
000016ed: SWAP1
000016ee: LOG3
000016ef: PUSH1 0x0e
000016f1: SLOAD
000016f2: PUSH1 0x0d
000016f4: DUP1
000016f5: SLOAD
000016f6: PUSH1 0x01
000016f8: PUSH1 0x01
000016fa: PUSH1 0xa0
000016fc: SHL
000016fd: SUB
000016fe: NOT
000016ff: AND
00001700: PUSH1 0x01
00001702: PUSH1 0x01
00001704: PUSH1 0xa0
00001706: SHL
00001707: SUB
00001708: SWAP1
00001709: SWAP3
0000170a: AND
0000170b: SWAP2
0000170c: SWAP1
0000170d: SWAP2
0000170e: OR
0000170f: SWAP1
00001710: SSTORE
00001711: JUMP
00001712: JUMPDEST
00001713: PUSH1 0x00
00001715: PUSH2 0x0ec5
00001718: CALLER
00001719: DUP5
0000171a: DUP5
0000171b: PUSH2 0x1b52
0000171e: JUMP
0000171f: JUMPDEST
00001720: PUSH1 0x0d
00001722: SLOAD
00001723: PUSH1 0x01
00001725: PUSH1 0x01
00001727: PUSH1 0xa0
00001729: SHL
0000172a: SUB
0000172b: AND
0000172c: CALLER
0000172d: EQ
0000172e: PUSH2 0x1749
00001731: JUMPI
00001732: PUSH1 0x40
00001734: MLOAD
00001735: PUSH3 0x461bcd
00001739: PUSH1 0xe5
0000173b: SHL
0000173c: DUP2
0000173d: MSTORE
0000173e: PUSH1 0x04
00001740: ADD
00001741: PUSH2 0x0bf5
00001744: SWAP1
00001745: PUSH2 0x2b6d
00001748: JUMP
00001749: JUMPDEST
0000174a: PUSH2 0x03e8
0000174d: DUP2
0000174e: PUSH1 0x02
00001750: SLOAD
00001751: PUSH2 0x175a
00001754: SWAP2
00001755: SWAP1
00001756: PUSH2 0x2bb8
00001759: JUMP
0000175a: JUMPDEST
0000175b: PUSH2 0x1764
0000175e: SWAP2
0000175f: SWAP1
00001760: PUSH2 0x2bcf
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH1 0x03
00001767: SSTORE
00001768: POP
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH1 0x00
0000176d: PUSH2 0x0c86
00001770: PUSH2 0x1777
00001773: PUSH2 0x0efb
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH2 0x17b5
0000177b: PUSH2 0x17ae
0000177e: PUSH1 0x02
00001780: PUSH2 0x17a8
00001783: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
000017a4: PUSH2 0x12cf
000017a7: JUMP
000017a8: JUMPDEST
000017a9: SWAP1
000017aa: PUSH2 0x2144
000017ad: JUMP
000017ae: JUMPDEST
000017af: DUP6
000017b0: SWAP1
000017b1: PUSH2 0x2144
000017b4: JUMP
000017b5: JUMPDEST
000017b6: SWAP1
000017b7: PUSH2 0x2150
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH1 0x0d
000017be: SLOAD
000017bf: PUSH1 0x01
000017c1: PUSH1 0x01
000017c3: PUSH1 0xa0
000017c5: SHL
000017c6: SUB
000017c7: AND
000017c8: CALLER
000017c9: EQ
000017ca: PUSH2 0x17e5
000017cd: JUMPI
000017ce: PUSH1 0x40
000017d0: MLOAD
000017d1: PUSH3 0x461bcd
000017d5: PUSH1 0xe5
000017d7: SHL
000017d8: DUP2
000017d9: MSTORE
000017da: PUSH1 0x04
000017dc: ADD
000017dd: PUSH2 0x0bf5
000017e0: SWAP1
000017e1: PUSH2 0x2b6d
000017e4: JUMP
000017e5: JUMPDEST
000017e6: PUSH1 0x01
000017e8: DUP1
000017e9: SLOAD
000017ea: PUSH1 0x01
000017ec: PUSH1 0x01
000017ee: PUSH1 0xa0
000017f0: SHL
000017f1: SUB
000017f2: SWAP1
000017f3: DUP2
000017f4: AND
000017f5: PUSH1 0x00
000017f7: SWAP1
000017f8: DUP2
000017f9: MSTORE
000017fa: PUSH1 0x14
000017fc: PUSH1 0x20
000017fe: SWAP1
000017ff: DUP2
00001800: MSTORE
00001801: PUSH1 0x40
00001803: DUP1
00001804: DUP4
00001805: KECCAK256
00001806: DUP1
00001807: SLOAD
00001808: PUSH1 0xff
0000180a: NOT
0000180b: SWAP1
0000180c: DUP2
0000180d: AND
0000180e: SWAP1
0000180f: SWAP2
00001810: SSTORE
00001811: SWAP6
00001812: DUP5
00001813: AND
00001814: DUP1
00001815: DUP5
00001816: MSTORE
00001817: DUP2
00001818: DUP5
00001819: KECCAK256
0000181a: DUP1
0000181b: SLOAD
0000181c: DUP9
0000181d: AND
0000181e: DUP8
0000181f: OR
00001820: SWAP1
00001821: SSTORE
00001822: DUP4
00001823: SLOAD
00001824: DUP6
00001825: AND
00001826: DUP5
00001827: MSTORE
00001828: DUP2
00001829: DUP5
0000182a: KECCAK256
0000182b: DUP1
0000182c: SLOAD
0000182d: DUP9
0000182e: AND
0000182f: SWAP1
00001830: SSTORE
00001831: SWAP7
00001832: DUP5
00001833: AND
00001834: DUP1
00001835: DUP5
00001836: MSTORE
00001837: DUP2
00001838: DUP5
00001839: KECCAK256
0000183a: DUP1
0000183b: SLOAD
0000183c: DUP9
0000183d: AND
0000183e: DUP8
0000183f: OR
00001840: SWAP1
00001841: SSTORE
00001842: PUSH1 0x16
00001844: SWAP1
00001845: SWAP3
00001846: MSTORE
00001847: DUP3
00001848: KECCAK256
00001849: DUP1
0000184a: SLOAD
0000184b: SWAP1
0000184c: SWAP6
0000184d: AND
0000184e: DUP5
0000184f: OR
00001850: SWAP1
00001851: SWAP5
00001852: SSTORE
00001853: PUSH1 0x18
00001855: DUP1
00001856: SLOAD
00001857: SWAP7
00001858: SWAP1
00001859: SWAP3
0000185a: AND
0000185b: PUSH1 0x01
0000185d: PUSH1 0x01
0000185f: PUSH1 0xa0
00001861: SHL
00001862: SUB
00001863: NOT
00001864: SWAP7
00001865: DUP8
00001866: AND
00001867: OR
00001868: SWAP1
00001869: SWAP2
0000186a: SSTORE
0000186b: DUP1
0000186c: SLOAD
0000186d: DUP6
0000186e: AND
0000186f: SWAP1
00001870: SWAP3
00001871: OR
00001872: SWAP1
00001873: SWAP2
00001874: SSTORE
00001875: DUP1
00001876: SLOAD
00001877: SWAP1
00001878: SWAP3
00001879: AND
0000187a: OR
0000187b: SWAP1
0000187c: SSTORE
0000187d: JUMP
0000187e: JUMPDEST
0000187f: PUSH1 0x0d
00001881: SLOAD
00001882: PUSH1 0x01
00001884: PUSH1 0x01
00001886: PUSH1 0xa0
00001888: SHL
00001889: SUB
0000188a: AND
0000188b: CALLER
0000188c: EQ
0000188d: PUSH2 0x18a8
00001890: JUMPI
00001891: PUSH1 0x40
00001893: MLOAD
00001894: PUSH3 0x461bcd
00001898: PUSH1 0xe5
0000189a: SHL
0000189b: DUP2
0000189c: MSTORE
0000189d: PUSH1 0x04
0000189f: ADD
000018a0: PUSH2 0x0bf5
000018a3: SWAP1
000018a4: PUSH2 0x2b6d
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH1 0x06
000018ab: SSTORE
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH1 0x0d
000018b0: SLOAD
000018b1: PUSH1 0x01
000018b3: PUSH1 0x01
000018b5: PUSH1 0xa0
000018b7: SHL
000018b8: SUB
000018b9: AND
000018ba: CALLER
000018bb: EQ
000018bc: PUSH2 0x18d7
000018bf: JUMPI
000018c0: PUSH1 0x40
000018c2: MLOAD
000018c3: PUSH3 0x461bcd
000018c7: PUSH1 0xe5
000018c9: SHL
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x04
000018ce: ADD
000018cf: PUSH2 0x0bf5
000018d2: SWAP1
000018d3: PUSH2 0x2b6d
000018d6: JUMP
000018d7: JUMPDEST
000018d8: PUSH1 0x01
000018da: PUSH1 0x01
000018dc: PUSH1 0xa0
000018de: SHL
000018df: SUB
000018e0: SWAP2
000018e1: SWAP1
000018e2: SWAP2
000018e3: AND
000018e4: PUSH1 0x00
000018e6: SWAP1
000018e7: DUP2
000018e8: MSTORE
000018e9: PUSH1 0x16
000018eb: PUSH1 0x20
000018ed: MSTORE
000018ee: PUSH1 0x40
000018f0: SWAP1
000018f1: KECCAK256
000018f2: DUP1
000018f3: SLOAD
000018f4: PUSH1 0xff
000018f6: NOT
000018f7: AND
000018f8: SWAP2
000018f9: ISZERO
000018fa: ISZERO
000018fb: SWAP2
000018fc: SWAP1
000018fd: SWAP2
000018fe: OR
000018ff: SWAP1
00001900: SSTORE
00001901: JUMP
00001902: JUMPDEST
00001903: PUSH1 0x0d
00001905: SLOAD
00001906: PUSH1 0x01
00001908: PUSH1 0x01
0000190a: PUSH1 0xa0
0000190c: SHL
0000190d: SUB
0000190e: AND
0000190f: CALLER
00001910: EQ
00001911: PUSH2 0x192c
00001914: JUMPI
00001915: PUSH1 0x40
00001917: MLOAD
00001918: PUSH3 0x461bcd
0000191c: PUSH1 0xe5
0000191e: SHL
0000191f: DUP2
00001920: MSTORE
00001921: PUSH1 0x04
00001923: ADD
00001924: PUSH2 0x0bf5
00001927: SWAP1
00001928: PUSH2 0x2b6d
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x0d
0000192f: DUP1
00001930: SLOAD
00001931: PUSH1 0x0e
00001933: DUP1
00001934: SLOAD
00001935: PUSH1 0x01
00001937: PUSH1 0x01
00001939: PUSH1 0xa0
0000193b: SHL
0000193c: SUB
0000193d: NOT
0000193e: SWAP1
0000193f: DUP2
00001940: AND
00001941: PUSH1 0x01
00001943: PUSH1 0x01
00001945: PUSH1 0xa0
00001947: SHL
00001948: SUB
00001949: DUP5
0000194a: AND
0000194b: OR
0000194c: SWAP1
0000194d: SWAP2
0000194e: SSTORE
0000194f: AND
00001950: SWAP1
00001951: SSTORE
00001952: PUSH2 0x195b
00001955: DUP2
00001956: TIMESTAMP
00001957: PUSH2 0x2c20
0000195a: JUMP
0000195b: JUMPDEST
0000195c: PUSH1 0x0f
0000195e: SSTORE
0000195f: PUSH1 0x0d
00001961: SLOAD
00001962: PUSH1 0x40
00001964: MLOAD
00001965: PUSH1 0x00
00001967: SWAP2
00001968: PUSH1 0x01
0000196a: PUSH1 0x01
0000196c: PUSH1 0xa0
0000196e: SHL
0000196f: SUB
00001970: AND
00001971: SWAP1
00001972: PUSH1 0x00
00001974: DUP1
00001975: MLOAD
00001976: PUSH1 0x20
00001978: PUSH2 0x2d03
0000197b: DUP4
0000197c: CODECOPY
0000197d: DUP2
0000197e: MLOAD
0000197f: SWAP2
00001980: MSTORE
00001981: SWAP1
00001982: DUP4
00001983: SWAP1
00001984: LOG3
00001985: POP
00001986: JUMP
00001987: JUMPDEST
00001988: PUSH1 0x0d
0000198a: SLOAD
0000198b: PUSH1 0x01
0000198d: PUSH1 0x01
0000198f: PUSH1 0xa0
00001991: SHL
00001992: SUB
00001993: AND
00001994: CALLER
00001995: EQ
00001996: PUSH2 0x19b1
00001999: JUMPI
0000199a: PUSH1 0x40
0000199c: MLOAD
0000199d: PUSH3 0x461bcd
000019a1: PUSH1 0xe5
000019a3: SHL
000019a4: DUP2
000019a5: MSTORE
000019a6: PUSH1 0x04
000019a8: ADD
000019a9: PUSH2 0x0bf5
000019ac: SWAP1
000019ad: PUSH2 0x2b6d
000019b0: JUMP
000019b1: JUMPDEST
000019b2: PUSH1 0x1e
000019b4: SLOAD
000019b5: DUP2
000019b6: GT
000019b7: ISZERO
000019b8: PUSH2 0x19c4
000019bb: JUMPI
000019bc: PUSH1 0x1e
000019be: SLOAD
000019bf: PUSH1 0x1f
000019c1: SSTORE
000019c2: POP
000019c3: JUMP
000019c4: JUMPDEST
000019c5: PUSH1 0x1f
000019c7: SSTORE
000019c8: JUMP
000019c9: JUMPDEST
000019ca: PUSH1 0x0d
000019cc: SLOAD
000019cd: PUSH1 0x01
000019cf: PUSH1 0x01
000019d1: PUSH1 0xa0
000019d3: SHL
000019d4: SUB
000019d5: AND
000019d6: CALLER
000019d7: EQ
000019d8: PUSH2 0x19f3
000019db: JUMPI
000019dc: PUSH1 0x40
000019de: MLOAD
000019df: PUSH3 0x461bcd
000019e3: PUSH1 0xe5
000019e5: SHL
000019e6: DUP2
000019e7: MSTORE
000019e8: PUSH1 0x04
000019ea: ADD
000019eb: PUSH2 0x0bf5
000019ee: SWAP1
000019ef: PUSH2 0x2b6d
000019f2: JUMP
000019f3: JUMPDEST
000019f4: PUSH1 0x0b
000019f6: SSTORE
000019f7: JUMP
000019f8: JUMPDEST
000019f9: PUSH1 0x0d
000019fb: SLOAD
000019fc: PUSH1 0x01
000019fe: PUSH1 0x01
00001a00: PUSH1 0xa0
00001a02: SHL
00001a03: SUB
00001a04: AND
00001a05: CALLER
00001a06: EQ
00001a07: PUSH2 0x1a22
00001a0a: JUMPI
00001a0b: PUSH1 0x40
00001a0d: MLOAD
00001a0e: PUSH3 0x461bcd
00001a12: PUSH1 0xe5
00001a14: SHL
00001a15: DUP2
00001a16: MSTORE
00001a17: PUSH1 0x04
00001a19: ADD
00001a1a: PUSH2 0x0bf5
00001a1d: SWAP1
00001a1e: PUSH2 0x2b6d
00001a21: JUMP
00001a22: JUMPDEST
00001a23: PUSH1 0x01
00001a25: PUSH1 0x01
00001a27: PUSH1 0xa0
00001a29: SHL
00001a2a: SUB
00001a2b: DUP2
00001a2c: AND
00001a2d: PUSH2 0x1a87
00001a30: JUMPI
00001a31: PUSH1 0x40
00001a33: MLOAD
00001a34: PUSH3 0x461bcd
00001a38: PUSH1 0xe5
00001a3a: SHL
00001a3b: DUP2
00001a3c: MSTORE
00001a3d: PUSH1 0x20
00001a3f: PUSH1 0x04
00001a41: DUP3
00001a42: ADD
00001a43: MSTORE
00001a44: PUSH1 0x26
00001a46: PUSH1 0x24
00001a48: DUP3
00001a49: ADD
00001a4a: MSTORE
00001a4b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001a6c: PUSH1 0x44
00001a6e: DUP3
00001a6f: ADD
00001a70: MSTORE
00001a71: PUSH6 0x646472657373
00001a78: PUSH1 0xd0
00001a7a: SHL
00001a7b: PUSH1 0x64
00001a7d: DUP3
00001a7e: ADD
00001a7f: MSTORE
00001a80: PUSH1 0x84
00001a82: ADD
00001a83: PUSH2 0x0bf5
00001a86: JUMP
00001a87: JUMPDEST
00001a88: PUSH1 0x0d
00001a8a: SLOAD
00001a8b: PUSH1 0x40
00001a8d: MLOAD
00001a8e: PUSH1 0x01
00001a90: PUSH1 0x01
00001a92: PUSH1 0xa0
00001a94: SHL
00001a95: SUB
00001a96: DUP1
00001a97: DUP5
00001a98: AND
00001a99: SWAP3
00001a9a: AND
00001a9b: SWAP1
00001a9c: PUSH1 0x00
00001a9e: DUP1
00001a9f: MLOAD
00001aa0: PUSH1 0x20
00001aa2: PUSH2 0x2d03
00001aa5: DUP4
00001aa6: CODECOPY
00001aa7: DUP2
00001aa8: MLOAD
00001aa9: SWAP2
00001aaa: MSTORE
00001aab: SWAP1
00001aac: PUSH1 0x00
00001aae: SWAP1
00001aaf: LOG3
00001ab0: PUSH1 0x0d
00001ab2: DUP1
00001ab3: SLOAD
00001ab4: PUSH1 0x01
00001ab6: PUSH1 0x01
00001ab8: PUSH1 0xa0
00001aba: SHL
00001abb: SUB
00001abc: NOT
00001abd: AND
00001abe: PUSH1 0x01
00001ac0: PUSH1 0x01
00001ac2: PUSH1 0xa0
00001ac4: SHL
00001ac5: SUB
00001ac6: SWAP3
00001ac7: SWAP1
00001ac8: SWAP3
00001ac9: AND
00001aca: SWAP2
00001acb: SWAP1
00001acc: SWAP2
00001acd: OR
00001ace: SWAP1
00001acf: SSTORE
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH1 0x0d
00001ad4: SLOAD
00001ad5: PUSH1 0x01
00001ad7: PUSH1 0x01
00001ad9: PUSH1 0xa0
00001adb: SHL
00001adc: SUB
00001add: AND
00001ade: CALLER
00001adf: EQ
00001ae0: PUSH2 0x1afb
00001ae3: JUMPI
00001ae4: PUSH1 0x40
00001ae6: MLOAD
00001ae7: PUSH3 0x461bcd
00001aeb: PUSH1 0xe5
00001aed: SHL
00001aee: DUP2
00001aef: MSTORE
00001af0: PUSH1 0x04
00001af2: ADD
00001af3: PUSH2 0x0bf5
00001af6: SWAP1
00001af7: PUSH2 0x2b6d
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH1 0x01
00001afe: PUSH1 0x01
00001b00: PUSH1 0xa0
00001b02: SHL
00001b03: SUB
00001b04: SWAP2
00001b05: SWAP1
00001b06: SWAP2
00001b07: AND
00001b08: PUSH1 0x00
00001b0a: SWAP1
00001b0b: DUP2
00001b0c: MSTORE
00001b0d: PUSH1 0x15
00001b0f: PUSH1 0x20
00001b11: MSTORE
00001b12: PUSH1 0x40
00001b14: SWAP1
00001b15: KECCAK256
00001b16: DUP1
00001b17: SLOAD
00001b18: PUSH1 0xff
00001b1a: NOT
00001b1b: AND
00001b1c: SWAP2
00001b1d: ISZERO
00001b1e: ISZERO
00001b1f: SWAP2
00001b20: SWAP1
00001b21: SWAP2
00001b22: OR
00001b23: SWAP1
00001b24: SSTORE
00001b25: JUMP
00001b26: JUMPDEST
00001b27: PUSH1 0x00
00001b29: DUP2
00001b2a: DUP5
00001b2b: DUP5
00001b2c: GT
00001b2d: ISZERO
00001b2e: PUSH2 0x1b4a
00001b31: JUMPI
00001b32: PUSH1 0x40
00001b34: MLOAD
00001b35: PUSH3 0x461bcd
00001b39: PUSH1 0xe5
00001b3b: SHL
00001b3c: DUP2
00001b3d: MSTORE
00001b3e: PUSH1 0x04
00001b40: ADD
00001b41: PUSH2 0x0bf5
00001b44: SWAP2
00001b45: SWAP1
00001b46: PUSH2 0x27cd
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: POP
00001b4c: POP
00001b4d: POP
00001b4e: SWAP1
00001b4f: SUB
00001b50: SWAP1
00001b51: JUMP
00001b52: JUMPDEST
00001b53: PUSH1 0x20
00001b55: SLOAD
00001b56: PUSH1 0x00
00001b58: SWAP1
00001b59: PUSH1 0xff
00001b5b: AND
00001b5c: ISZERO
00001b5d: PUSH2 0x1b72
00001b60: JUMPI
00001b61: PUSH2 0x1b6b
00001b64: DUP5
00001b65: DUP5
00001b66: DUP5
00001b67: PUSH2 0x2064
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: SWAP1
00001b6d: POP
00001b6e: PUSH2 0x0ec5
00001b71: JUMP
00001b72: JUMPDEST
00001b73: PUSH1 0x0d
00001b75: SLOAD
00001b76: PUSH1 0x01
00001b78: PUSH1 0x01
00001b7a: PUSH1 0xa0
00001b7c: SHL
00001b7d: SUB
00001b7e: DUP6
00001b7f: DUP2
00001b80: AND
00001b81: SWAP2
00001b82: AND
00001b83: EQ
00001b84: DUP1
00001b85: ISZERO
00001b86: SWAP1
00001b87: PUSH2 0x1b9e
00001b8a: JUMPI
00001b8b: POP
00001b8c: PUSH1 0x0d
00001b8e: SLOAD
00001b8f: PUSH1 0x01
00001b91: PUSH1 0x01
00001b93: PUSH1 0xa0
00001b95: SHL
00001b96: SUB
00001b97: DUP5
00001b98: DUP2
00001b99: AND
00001b9a: SWAP2
00001b9b: AND
00001b9c: EQ
00001b9d: ISZERO
00001b9e: JUMPDEST
00001b9f: ISZERO
00001ba0: PUSH2 0x1bec
00001ba3: JUMPI
00001ba4: PUSH1 0x1b
00001ba6: SLOAD
00001ba7: PUSH1 0xff
00001ba9: AND
00001baa: PUSH2 0x1bec
00001bad: JUMPI
00001bae: PUSH1 0x40
00001bb0: MLOAD
00001bb1: PUSH3 0x461bcd
00001bb5: PUSH1 0xe5
00001bb7: SHL
00001bb8: DUP2
00001bb9: MSTORE
00001bba: PUSH1 0x20
00001bbc: PUSH1 0x04
00001bbe: DUP3
00001bbf: ADD
00001bc0: MSTORE
00001bc1: PUSH1 0x14
00001bc3: PUSH1 0x24
00001bc5: DUP3
00001bc6: ADD
00001bc7: MSTORE
00001bc8: PUSH20 0x151c98591a5b99c81b9bdd081bdc195b881e595d
00001bdd: PUSH1 0x62
00001bdf: SHL
00001be0: PUSH1 0x44
00001be2: DUP3
00001be3: ADD
00001be4: MSTORE
00001be5: PUSH1 0x64
00001be7: ADD
00001be8: PUSH2 0x0bf5
00001beb: JUMP
00001bec: JUMPDEST
00001bed: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
00001c0e: PUSH1 0x01
00001c10: PUSH1 0x01
00001c12: PUSH1 0xa0
00001c14: SHL
00001c15: SUB
00001c16: SWAP1
00001c17: DUP2
00001c18: AND
00001c19: SWAP1
00001c1a: DUP5
00001c1b: AND
00001c1c: EQ
00001c1d: PUSH1 0x00
00001c1f: DUP2
00001c20: ISZERO
00001c21: DUP3
00001c22: PUSH2 0x1c5d
00001c25: JUMPI
00001c26: POP
00001c27: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
00001c48: PUSH1 0x01
00001c4a: PUSH1 0x01
00001c4c: PUSH1 0xa0
00001c4e: SHL
00001c4f: SUB
00001c50: AND
00001c51: DUP7
00001c52: PUSH1 0x01
00001c54: PUSH1 0x01
00001c56: PUSH1 0xa0
00001c58: SHL
00001c59: SUB
00001c5a: AND
00001c5b: EQ
00001c5c: ISZERO
00001c5d: JUMPDEST
00001c5e: SWAP1
00001c5f: POP
00001c60: PUSH1 0x01
00001c62: PUSH1 0x01
00001c64: PUSH1 0xa0
00001c66: SHL
00001c67: SUB
00001c68: DUP6
00001c69: AND
00001c6a: ADDRESS
00001c6b: EQ
00001c6c: DUP1
00001c6d: ISZERO
00001c6e: SWAP1
00001c6f: PUSH2 0x1c86
00001c72: JUMPI
00001c73: POP
00001c74: PUSH1 0x10
00001c76: SLOAD
00001c77: PUSH1 0x01
00001c79: PUSH1 0x01
00001c7b: PUSH1 0xa0
00001c7d: SHL
00001c7e: SUB
00001c7f: DUP7
00001c80: DUP2
00001c81: AND
00001c82: SWAP2
00001c83: AND
00001c84: EQ
00001c85: ISZERO
00001c86: JUMPDEST
00001c87: DUP1
00001c88: ISZERO
00001c89: PUSH2 0x1cc4
00001c8c: JUMPI
00001c8d: POP
00001c8e: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
00001caf: PUSH1 0x01
00001cb1: PUSH1 0x01
00001cb3: PUSH1 0xa0
00001cb5: SHL
00001cb6: SUB
00001cb7: AND
00001cb8: DUP6
00001cb9: PUSH1 0x01
00001cbb: PUSH1 0x01
00001cbd: PUSH1 0xa0
00001cbf: SHL
00001cc0: SUB
00001cc1: AND
00001cc2: EQ
00001cc3: ISZERO
00001cc4: JUMPDEST
00001cc5: DUP1
00001cc6: ISZERO
00001cc7: PUSH2 0x1cde
00001cca: JUMPI
00001ccb: POP
00001ccc: PUSH1 0x00
00001cce: SLOAD
00001ccf: PUSH1 0x01
00001cd1: PUSH1 0x01
00001cd3: PUSH1 0xa0
00001cd5: SHL
00001cd6: SUB
00001cd7: DUP7
00001cd8: DUP2
00001cd9: AND
00001cda: SWAP2
00001cdb: AND
00001cdc: EQ
00001cdd: ISZERO
00001cde: JUMPDEST
00001cdf: DUP1
00001ce0: ISZERO
00001ce1: PUSH2 0x1cf8
00001ce4: JUMPI
00001ce5: POP
00001ce6: PUSH1 0x01
00001ce8: SLOAD
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: DUP7
00001cf2: DUP2
00001cf3: AND
00001cf4: SWAP2
00001cf5: AND
00001cf6: EQ
00001cf7: ISZERO
00001cf8: JUMPDEST
00001cf9: DUP1
00001cfa: ISZERO
00001cfb: PUSH2 0x1d12
00001cfe: JUMPI
00001cff: POP
00001d00: PUSH1 0x18
00001d02: SLOAD
00001d03: PUSH1 0x01
00001d05: PUSH1 0x01
00001d07: PUSH1 0xa0
00001d09: SHL
00001d0a: SUB
00001d0b: DUP7
00001d0c: DUP2
00001d0d: AND
00001d0e: SWAP2
00001d0f: AND
00001d10: EQ
00001d11: ISZERO
00001d12: JUMPDEST
00001d13: ISZERO
00001d14: PUSH2 0x1dc8
00001d17: JUMPI
00001d18: PUSH1 0x00
00001d1a: PUSH2 0x1d22
00001d1d: DUP7
00001d1e: PUSH2 0x12cf
00001d21: JUMP
00001d22: JUMPDEST
00001d23: PUSH1 0x01
00001d25: PUSH1 0x01
00001d27: PUSH1 0xa0
00001d29: SHL
00001d2a: SUB
00001d2b: DUP8
00001d2c: AND
00001d2d: PUSH1 0x00
00001d2f: SWAP1
00001d30: DUP2
00001d31: MSTORE
00001d32: PUSH1 0x16
00001d34: PUSH1 0x20
00001d36: MSTORE
00001d37: PUSH1 0x40
00001d39: SWAP1
00001d3a: KECCAK256
00001d3b: SLOAD
00001d3c: SWAP1
00001d3d: SWAP2
00001d3e: POP
00001d3f: PUSH1 0xff
00001d41: AND
00001d42: PUSH2 0x1dc6
00001d45: JUMPI
00001d46: PUSH1 0x04
00001d48: SLOAD
00001d49: PUSH2 0x1d52
00001d4c: DUP7
00001d4d: DUP4
00001d4e: PUSH2 0x2c20
00001d51: JUMP
00001d52: JUMPDEST
00001d53: GT
00001d54: ISZERO
00001d55: PUSH2 0x1dc6
00001d58: JUMPI
00001d59: PUSH1 0x40
00001d5b: MLOAD
00001d5c: PUSH3 0x461bcd
00001d60: PUSH1 0xe5
00001d62: SHL
00001d63: DUP2
00001d64: MSTORE
00001d65: PUSH1 0x20
00001d67: PUSH1 0x04
00001d69: DUP3
00001d6a: ADD
00001d6b: MSTORE
00001d6c: PUSH1 0x3e
00001d6e: PUSH1 0x24
00001d70: DUP3
00001d71: ADD
00001d72: MSTORE
00001d73: PUSH32 0x546f74616c20486f6c64696e672069732063757272656e746c79206c696d6974
00001d94: PUSH1 0x44
00001d96: DUP3
00001d97: ADD
00001d98: MSTORE
00001d99: PUSH32 0x65642c20796f752063616e206e6f74206275792074686174206d7563682e0000
00001dba: PUSH1 0x64
00001dbc: DUP3
00001dbd: ADD
00001dbe: MSTORE
00001dbf: PUSH1 0x84
00001dc1: ADD
00001dc2: PUSH2 0x0bf5
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: POP
00001dc8: JUMPDEST
00001dc9: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
00001dea: PUSH1 0x01
00001dec: PUSH1 0x01
00001dee: PUSH1 0xa0
00001df0: SHL
00001df1: SUB
00001df2: AND
00001df3: DUP7
00001df4: PUSH1 0x01
00001df6: PUSH1 0x01
00001df8: PUSH1 0xa0
00001dfa: SHL
00001dfb: SUB
00001dfc: AND
00001dfd: EQ
00001dfe: DUP1
00001dff: ISZERO
00001e00: PUSH2 0x1e10
00001e03: JUMPI
00001e04: POP
00001e05: PUSH1 0x1b
00001e07: SLOAD
00001e08: PUSH2 0x0100
00001e0b: SWAP1
00001e0c: DIV
00001e0d: PUSH1 0xff
00001e0f: AND
00001e10: JUMPDEST
00001e11: DUP1
00001e12: ISZERO
00001e13: PUSH2 0x1e35
00001e16: JUMPI
00001e17: POP
00001e18: PUSH1 0x01
00001e1a: PUSH1 0x01
00001e1c: PUSH1 0xa0
00001e1e: SHL
00001e1f: SUB
00001e20: DUP6
00001e21: AND
00001e22: PUSH1 0x00
00001e24: SWAP1
00001e25: DUP2
00001e26: MSTORE
00001e27: PUSH1 0x17
00001e29: PUSH1 0x20
00001e2b: MSTORE
00001e2c: PUSH1 0x40
00001e2e: SWAP1
00001e2f: KECCAK256
00001e30: SLOAD
00001e31: PUSH1 0xff
00001e33: AND
00001e34: ISZERO
00001e35: JUMPDEST
00001e36: ISZERO
00001e37: PUSH2 0x1edf
00001e3a: JUMPI
00001e3b: PUSH1 0x01
00001e3d: PUSH1 0x01
00001e3f: PUSH1 0xa0
00001e41: SHL
00001e42: SUB
00001e43: DUP6
00001e44: AND
00001e45: PUSH1 0x00
00001e47: SWAP1
00001e48: DUP2
00001e49: MSTORE
00001e4a: PUSH1 0x1c
00001e4c: PUSH1 0x20
00001e4e: MSTORE
00001e4f: PUSH1 0x40
00001e51: SWAP1
00001e52: KECCAK256
00001e53: SLOAD
00001e54: TIMESTAMP
00001e55: GT
00001e56: PUSH2 0x1eaf
00001e59: JUMPI
00001e5a: PUSH1 0x40
00001e5c: MLOAD
00001e5d: PUSH3 0x461bcd
00001e61: PUSH1 0xe5
00001e63: SHL
00001e64: DUP2
00001e65: MSTORE
00001e66: PUSH1 0x20
00001e68: PUSH1 0x04
00001e6a: DUP3
00001e6b: ADD
00001e6c: MSTORE
00001e6d: PUSH1 0x25
00001e6f: PUSH1 0x24
00001e71: DUP3
00001e72: ADD
00001e73: MSTORE
00001e74: PUSH32 0x506c65617365207761697420666f7220316d696e206265747765656e2074776f
00001e95: PUSH1 0x44
00001e97: DUP3
00001e98: ADD
00001e99: MSTORE
00001e9a: PUSH5 0x2062757973
00001ea0: PUSH1 0xd8
00001ea2: SHL
00001ea3: PUSH1 0x64
00001ea5: DUP3
00001ea6: ADD
00001ea7: MSTORE
00001ea8: PUSH1 0x84
00001eaa: ADD
00001eab: PUSH2 0x0bf5
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x1b
00001eb2: SLOAD
00001eb3: PUSH2 0x1ec5
00001eb6: SWAP1
00001eb7: PUSH3 0x010000
00001ebb: SWAP1
00001ebc: DIV
00001ebd: PUSH1 0xff
00001ebf: AND
00001ec0: TIMESTAMP
00001ec1: PUSH2 0x2c20
00001ec4: JUMP
00001ec5: JUMPDEST
00001ec6: PUSH1 0x01
00001ec8: PUSH1 0x01
00001eca: PUSH1 0xa0
00001ecc: SHL
00001ecd: SUB
00001ece: DUP7
00001ecf: AND
00001ed0: PUSH1 0x00
00001ed2: SWAP1
00001ed3: DUP2
00001ed4: MSTORE
00001ed5: PUSH1 0x1c
00001ed7: PUSH1 0x20
00001ed9: MSTORE
00001eda: PUSH1 0x40
00001edc: SWAP1
00001edd: KECCAK256
00001ede: SSTORE
00001edf: JUMPDEST
00001ee0: PUSH1 0x01
00001ee2: PUSH1 0x01
00001ee4: PUSH1 0xa0
00001ee6: SHL
00001ee7: SUB
00001ee8: DUP6
00001ee9: AND
00001eea: PUSH1 0x00
00001eec: SWAP1
00001eed: DUP2
00001eee: MSTORE
00001eef: PUSH1 0x15
00001ef1: PUSH1 0x20
00001ef3: MSTORE
00001ef4: PUSH1 0x40
00001ef6: SWAP1
00001ef7: KECCAK256
00001ef8: SLOAD
00001ef9: PUSH1 0xff
00001efb: AND
00001efc: PUSH2 0x1f09
00001eff: JUMPI
00001f00: PUSH2 0x1f09
00001f03: DUP7
00001f04: DUP6
00001f05: PUSH2 0x215c
00001f08: JUMP
00001f09: JUMPDEST
00001f0a: PUSH1 0x40
00001f0c: DUP1
00001f0d: MLOAD
00001f0e: DUP1
00001f0f: DUP3
00001f10: ADD
00001f11: DUP3
00001f12: MSTORE
00001f13: PUSH1 0x14
00001f15: DUP2
00001f16: MSTORE
00001f17: PUSH20 0x496e73756666696369656e742042616c616e6365
00001f2c: PUSH1 0x60
00001f2e: SHL
00001f2f: PUSH1 0x20
00001f31: DUP1
00001f32: DUP4
00001f33: ADD
00001f34: SWAP2
00001f35: SWAP1
00001f36: SWAP2
00001f37: MSTORE
00001f38: PUSH1 0x01
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0xa0
00001f3e: SHL
00001f3f: SUB
00001f40: DUP10
00001f41: AND
00001f42: PUSH1 0x00
00001f44: SWAP1
00001f45: DUP2
00001f46: MSTORE
00001f47: PUSH1 0x12
00001f49: SWAP1
00001f4a: SWAP2
00001f4b: MSTORE
00001f4c: SWAP2
00001f4d: SWAP1
00001f4e: SWAP2
00001f4f: KECCAK256
00001f50: SLOAD
00001f51: PUSH2 0x1f5b
00001f54: SWAP2
00001f55: DUP7
00001f56: SWAP1
00001f57: PUSH2 0x1b26
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: PUSH1 0x01
00001f5e: PUSH1 0x01
00001f60: PUSH1 0xa0
00001f62: SHL
00001f63: SUB
00001f64: DUP8
00001f65: AND
00001f66: PUSH1 0x00
00001f68: SWAP1
00001f69: DUP2
00001f6a: MSTORE
00001f6b: PUSH1 0x12
00001f6d: PUSH1 0x20
00001f6f: MSTORE
00001f70: PUSH1 0x40
00001f72: SWAP1
00001f73: KECCAK256
00001f74: SSTORE
00001f75: DUP4
00001f76: DUP2
00001f77: ISZERO
00001f78: PUSH2 0x1f95
00001f7b: JUMPI
00001f7c: PUSH1 0x0b
00001f7e: SLOAD
00001f7f: ISZERO
00001f80: PUSH2 0x1f90
00001f83: JUMPI
00001f84: PUSH2 0x1f8d
00001f87: DUP8
00001f88: DUP7
00001f89: PUSH2 0x21c5
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: SWAP1
00001f8f: POP
00001f90: JUMPDEST
00001f91: PUSH2 0x1fde
00001f94: JUMP
00001f95: JUMPDEST
00001f96: PUSH1 0x01
00001f98: PUSH1 0x01
00001f9a: PUSH1 0xa0
00001f9c: SHL
00001f9d: SUB
00001f9e: DUP8
00001f9f: AND
00001fa0: PUSH1 0x00
00001fa2: SWAP1
00001fa3: DUP2
00001fa4: MSTORE
00001fa5: PUSH1 0x14
00001fa7: PUSH1 0x20
00001fa9: MSTORE
00001faa: PUSH1 0x40
00001fac: SWAP1
00001fad: KECCAK256
00001fae: SLOAD
00001faf: PUSH1 0xff
00001fb1: AND
00001fb2: ISZERO
00001fb3: PUSH2 0x1fbc
00001fb6: JUMPI
00001fb7: DUP5
00001fb8: PUSH2 0x1fc7
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH2 0x1fc7
00001fc0: DUP8
00001fc1: DUP7
00001fc2: DUP6
00001fc3: PUSH2 0x2267
00001fc6: JUMP
00001fc7: JUMPDEST
00001fc8: SWAP1
00001fc9: POP
00001fca: PUSH2 0x1fd1
00001fcd: PUSH2 0x2318
00001fd0: JUMP
00001fd1: JUMPDEST
00001fd2: ISZERO
00001fd3: PUSH2 0x1fde
00001fd6: JUMPI
00001fd7: PUSH2 0x1fde
00001fda: PUSH2 0x2384
00001fdd: JUMP
00001fde: JUMPDEST
00001fdf: PUSH1 0x01
00001fe1: PUSH1 0x01
00001fe3: PUSH1 0xa0
00001fe5: SHL
00001fe6: SUB
00001fe7: DUP7
00001fe8: AND
00001fe9: PUSH1 0x00
00001feb: SWAP1
00001fec: DUP2
00001fed: MSTORE
00001fee: PUSH1 0x12
00001ff0: PUSH1 0x20
00001ff2: MSTORE
00001ff3: PUSH1 0x40
00001ff5: SWAP1
00001ff6: KECCAK256
00001ff7: SLOAD
00001ff8: PUSH2 0x2001
00001ffb: SWAP1
00001ffc: DUP3
00001ffd: PUSH2 0x2138
00002000: JUMP
00002001: JUMPDEST
00002002: PUSH1 0x01
00002004: PUSH1 0x01
00002006: PUSH1 0xa0
00002008: SHL
00002009: SUB
0000200a: DUP1
0000200b: DUP9
0000200c: AND
0000200d: PUSH1 0x00
0000200f: DUP2
00002010: DUP2
00002011: MSTORE
00002012: PUSH1 0x12
00002014: PUSH1 0x20
00002016: MSTORE
00002017: PUSH1 0x40
00002019: SWAP1
0000201a: DUP2
0000201b: SWAP1
0000201c: KECCAK256
0000201d: SWAP4
0000201e: SWAP1
0000201f: SWAP4
00002020: SSTORE
00002021: SWAP2
00002022: MLOAD
00002023: SWAP1
00002024: DUP10
00002025: AND
00002026: SWAP1
00002027: PUSH1 0x00
00002029: DUP1
0000202a: MLOAD
0000202b: PUSH1 0x20
0000202d: PUSH2 0x2d23
00002030: DUP4
00002031: CODECOPY
00002032: DUP2
00002033: MLOAD
00002034: SWAP2
00002035: MSTORE
00002036: SWAP1
00002037: PUSH2 0x2043
0000203a: SWAP1
0000203b: DUP6
0000203c: DUP2
0000203d: MSTORE
0000203e: PUSH1 0x20
00002040: ADD
00002041: SWAP1
00002042: JUMP
00002043: JUMPDEST
00002044: PUSH1 0x40
00002046: MLOAD
00002047: DUP1
00002048: SWAP2
00002049: SUB
0000204a: SWAP1
0000204b: LOG3
0000204c: POP
0000204d: PUSH1 0x01
0000204f: SWAP7
00002050: SWAP6
00002051: POP
00002052: POP
00002053: POP
00002054: POP
00002055: POP
00002056: POP
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x00
0000205b: PUSH2 0x0ec5
0000205e: DUP3
0000205f: DUP5
00002060: PUSH2 0x2c33
00002063: JUMP
00002064: JUMPDEST
00002065: PUSH1 0x40
00002067: DUP1
00002068: MLOAD
00002069: DUP1
0000206a: DUP3
0000206b: ADD
0000206c: DUP3
0000206d: MSTORE
0000206e: PUSH1 0x14
00002070: DUP2
00002071: MSTORE
00002072: PUSH20 0x496e73756666696369656e742042616c616e6365
00002087: PUSH1 0x60
00002089: SHL
0000208a: PUSH1 0x20
0000208c: DUP1
0000208d: DUP4
0000208e: ADD
0000208f: SWAP2
00002090: SWAP1
00002091: SWAP2
00002092: MSTORE
00002093: PUSH1 0x01
00002095: PUSH1 0x01
00002097: PUSH1 0xa0
00002099: SHL
0000209a: SUB
0000209b: DUP7
0000209c: AND
0000209d: PUSH1 0x00
0000209f: SWAP1
000020a0: DUP2
000020a1: MSTORE
000020a2: PUSH1 0x12
000020a4: SWAP1
000020a5: SWAP2
000020a6: MSTORE
000020a7: SWAP2
000020a8: DUP3
000020a9: KECCAK256
000020aa: SLOAD
000020ab: PUSH2 0x20b5
000020ae: SWAP2
000020af: DUP5
000020b0: SWAP1
000020b1: PUSH2 0x1b26
000020b4: JUMP
000020b5: JUMPDEST
000020b6: PUSH1 0x01
000020b8: PUSH1 0x01
000020ba: PUSH1 0xa0
000020bc: SHL
000020bd: SUB
000020be: DUP1
000020bf: DUP7
000020c0: AND
000020c1: PUSH1 0x00
000020c3: SWAP1
000020c4: DUP2
000020c5: MSTORE
000020c6: PUSH1 0x12
000020c8: PUSH1 0x20
000020ca: MSTORE
000020cb: PUSH1 0x40
000020cd: DUP1
000020ce: DUP3
000020cf: KECCAK256
000020d0: SWAP4
000020d1: SWAP1
000020d2: SWAP4
000020d3: SSTORE
000020d4: SWAP1
000020d5: DUP6
000020d6: AND
000020d7: DUP2
000020d8: MSTORE
000020d9: KECCAK256
000020da: SLOAD
000020db: PUSH2 0x20e4
000020de: SWAP1
000020df: DUP4
000020e0: PUSH2 0x2138
000020e3: JUMP
000020e4: JUMPDEST
000020e5: PUSH1 0x01
000020e7: PUSH1 0x01
000020e9: PUSH1 0xa0
000020eb: SHL
000020ec: SUB
000020ed: DUP1
000020ee: DUP6
000020ef: AND
000020f0: PUSH1 0x00
000020f2: DUP2
000020f3: DUP2
000020f4: MSTORE
000020f5: PUSH1 0x12
000020f7: PUSH1 0x20
000020f9: MSTORE
000020fa: PUSH1 0x40
000020fc: SWAP1
000020fd: DUP2
000020fe: SWAP1
000020ff: KECCAK256
00002100: SWAP4
00002101: SWAP1
00002102: SWAP4
00002103: SSTORE
00002104: SWAP2
00002105: MLOAD
00002106: SWAP1
00002107: DUP7
00002108: AND
00002109: SWAP1
0000210a: PUSH1 0x00
0000210c: DUP1
0000210d: MLOAD
0000210e: PUSH1 0x20
00002110: PUSH2 0x2d23
00002113: DUP4
00002114: CODECOPY
00002115: DUP2
00002116: MLOAD
00002117: SWAP2
00002118: MSTORE
00002119: SWAP1
0000211a: PUSH2 0x2126
0000211d: SWAP1
0000211e: DUP7
0000211f: DUP2
00002120: MSTORE
00002121: PUSH1 0x20
00002123: ADD
00002124: SWAP1
00002125: JUMP
00002126: JUMPDEST
00002127: PUSH1 0x40
00002129: MLOAD
0000212a: DUP1
0000212b: SWAP2
0000212c: SUB
0000212d: SWAP1
0000212e: LOG3
0000212f: POP
00002130: PUSH1 0x01
00002132: SWAP4
00002133: SWAP3
00002134: POP
00002135: POP
00002136: POP
00002137: JUMP
00002138: JUMPDEST
00002139: PUSH1 0x00
0000213b: PUSH2 0x0ec5
0000213e: DUP3
0000213f: DUP5
00002140: PUSH2 0x2c20
00002143: JUMP
00002144: JUMPDEST
00002145: PUSH1 0x00
00002147: PUSH2 0x0ec5
0000214a: DUP3
0000214b: DUP5
0000214c: PUSH2 0x2bb8
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH1 0x00
00002153: PUSH2 0x0ec5
00002156: DUP3
00002157: DUP5
00002158: PUSH2 0x2bcf
0000215b: JUMP
0000215c: JUMPDEST
0000215d: PUSH1 0x03
0000215f: SLOAD
00002160: DUP2
00002161: GT
00002162: ISZERO
00002163: DUP1
00002164: PUSH2 0x2185
00002167: JUMPI
00002168: POP
00002169: PUSH1 0x01
0000216b: PUSH1 0x01
0000216d: PUSH1 0xa0
0000216f: SHL
00002170: SUB
00002171: DUP3
00002172: AND
00002173: PUSH1 0x00
00002175: SWAP1
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x15
0000217a: PUSH1 0x20
0000217c: MSTORE
0000217d: PUSH1 0x40
0000217f: SWAP1
00002180: KECCAK256
00002181: SLOAD
00002182: PUSH1 0xff
00002184: AND
00002185: JUMPDEST
00002186: PUSH2 0x12ca
00002189: JUMPI
0000218a: PUSH1 0x40
0000218c: MLOAD
0000218d: PUSH3 0x461bcd
00002191: PUSH1 0xe5
00002193: SHL
00002194: DUP2
00002195: MSTORE
00002196: PUSH1 0x20
00002198: PUSH1 0x04
0000219a: DUP3
0000219b: ADD
0000219c: MSTORE
0000219d: PUSH1 0x11
0000219f: PUSH1 0x24
000021a1: DUP3
000021a2: ADD
000021a3: MSTORE
000021a4: PUSH17 0x151608131a5b5a5d08115e18d959591959
000021b6: PUSH1 0x7a
000021b8: SHL
000021b9: PUSH1 0x44
000021bb: DUP3
000021bc: ADD
000021bd: MSTORE
000021be: PUSH1 0x64
000021c0: ADD
000021c1: PUSH2 0x0bf5
000021c4: JUMP
000021c5: JUMPDEST
000021c6: PUSH1 0x00
000021c8: DUP1
000021c9: PUSH1 0x0b
000021cb: SLOAD
000021cc: SWAP1
000021cd: POP
000021ce: PUSH1 0x00
000021d0: PUSH2 0x21f0
000021d3: PUSH1 0x0c
000021d5: SLOAD
000021d6: PUSH1 0x64
000021d8: PUSH2 0x21e1
000021db: SWAP2
000021dc: SWAP1
000021dd: PUSH2 0x2bb8
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH2 0x17b5
000021e5: PUSH1 0x64
000021e7: PUSH2 0x17a8
000021ea: DUP9
000021eb: DUP8
000021ec: PUSH2 0x2144
000021ef: JUMP
000021f0: JUMPDEST
000021f1: ADDRESS
000021f2: PUSH1 0x00
000021f4: SWAP1
000021f5: DUP2
000021f6: MSTORE
000021f7: PUSH1 0x12
000021f9: PUSH1 0x20
000021fb: MSTORE
000021fc: PUSH1 0x40
000021fe: SWAP1
000021ff: KECCAK256
00002200: SLOAD
00002201: SWAP1
00002202: SWAP2
00002203: POP
00002204: PUSH2 0x220d
00002207: SWAP1
00002208: DUP3
00002209: PUSH2 0x2138
0000220c: JUMP
0000220d: JUMPDEST
0000220e: ADDRESS
0000220f: PUSH1 0x00
00002211: DUP2
00002212: DUP2
00002213: MSTORE
00002214: PUSH1 0x12
00002216: PUSH1 0x20
00002218: MSTORE
00002219: PUSH1 0x40
0000221b: SWAP1
0000221c: DUP2
0000221d: SWAP1
0000221e: KECCAK256
0000221f: SWAP3
00002220: SWAP1
00002221: SWAP3
00002222: SSTORE
00002223: SWAP1
00002224: MLOAD
00002225: PUSH1 0x01
00002227: PUSH1 0x01
00002229: PUSH1 0xa0
0000222b: SHL
0000222c: SUB
0000222d: DUP8
0000222e: AND
0000222f: SWAP1
00002230: PUSH1 0x00
00002232: DUP1
00002233: MLOAD
00002234: PUSH1 0x20
00002236: PUSH2 0x2d23
00002239: DUP4
0000223a: CODECOPY
0000223b: DUP2
0000223c: MLOAD
0000223d: SWAP2
0000223e: MSTORE
0000223f: SWAP1
00002240: PUSH2 0x224c
00002243: SWAP1
00002244: DUP6
00002245: DUP2
00002246: MSTORE
00002247: PUSH1 0x20
00002249: ADD
0000224a: SWAP1
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH1 0x40
0000224f: MLOAD
00002250: DUP1
00002251: SWAP2
00002252: SUB
00002253: SWAP1
00002254: LOG3
00002255: PUSH2 0x225e
00002258: DUP5
00002259: DUP3
0000225a: PUSH2 0x2058
0000225d: JUMP
0000225e: JUMPDEST
0000225f: SWAP6
00002260: SWAP5
00002261: POP
00002262: POP
00002263: POP
00002264: POP
00002265: POP
00002266: JUMP
00002267: JUMPDEST
00002268: PUSH1 0x00
0000226a: DUP1
0000226b: DUP3
0000226c: PUSH2 0x2277
0000226f: JUMPI
00002270: PUSH1 0x06
00002272: SLOAD
00002273: PUSH2 0x227b
00002276: JUMP
00002277: JUMPDEST
00002278: PUSH1 0x0a
0000227a: SLOAD
0000227b: JUMPDEST
0000227c: SWAP1
0000227d: POP
0000227e: PUSH1 0x00
00002280: PUSH2 0x22a0
00002283: PUSH1 0x0c
00002285: SLOAD
00002286: PUSH1 0x64
00002288: PUSH2 0x2291
0000228b: SWAP2
0000228c: SWAP1
0000228d: PUSH2 0x2bb8
00002290: JUMP
00002291: JUMPDEST
00002292: PUSH2 0x17b5
00002295: PUSH1 0x64
00002297: PUSH2 0x17a8
0000229a: DUP10
0000229b: DUP8
0000229c: PUSH2 0x2144
0000229f: JUMP
000022a0: JUMPDEST
000022a1: ADDRESS
000022a2: PUSH1 0x00
000022a4: SWAP1
000022a5: DUP2
000022a6: MSTORE
000022a7: PUSH1 0x12
000022a9: PUSH1 0x20
000022ab: MSTORE
000022ac: PUSH1 0x40
000022ae: SWAP1
000022af: KECCAK256
000022b0: SLOAD
000022b1: SWAP1
000022b2: SWAP2
000022b3: POP
000022b4: PUSH2 0x22bd
000022b7: SWAP1
000022b8: DUP3
000022b9: PUSH2 0x2138
000022bc: JUMP
000022bd: JUMPDEST
000022be: ADDRESS
000022bf: PUSH1 0x00
000022c1: DUP2
000022c2: DUP2
000022c3: MSTORE
000022c4: PUSH1 0x12
000022c6: PUSH1 0x20
000022c8: MSTORE
000022c9: PUSH1 0x40
000022cb: SWAP1
000022cc: DUP2
000022cd: SWAP1
000022ce: KECCAK256
000022cf: SWAP3
000022d0: SWAP1
000022d1: SWAP3
000022d2: SSTORE
000022d3: SWAP1
000022d4: MLOAD
000022d5: PUSH1 0x01
000022d7: PUSH1 0x01
000022d9: PUSH1 0xa0
000022db: SHL
000022dc: SUB
000022dd: DUP9
000022de: AND
000022df: SWAP1
000022e0: PUSH1 0x00
000022e2: DUP1
000022e3: MLOAD
000022e4: PUSH1 0x20
000022e6: PUSH2 0x2d23
000022e9: DUP4
000022ea: CODECOPY
000022eb: DUP2
000022ec: MLOAD
000022ed: SWAP2
000022ee: MSTORE
000022ef: SWAP1
000022f0: PUSH2 0x22fc
000022f3: SWAP1
000022f4: DUP6
000022f5: DUP2
000022f6: MSTORE
000022f7: PUSH1 0x20
000022f9: ADD
000022fa: SWAP1
000022fb: JUMP
000022fc: JUMPDEST
000022fd: PUSH1 0x40
000022ff: MLOAD
00002300: DUP1
00002301: SWAP2
00002302: SUB
00002303: SWAP1
00002304: LOG3
00002305: PUSH2 0x230e
00002308: DUP6
00002309: DUP3
0000230a: PUSH2 0x2058
0000230d: JUMP
0000230e: JUMPDEST
0000230f: SWAP7
00002310: SWAP6
00002311: POP
00002312: POP
00002313: POP
00002314: POP
00002315: POP
00002316: POP
00002317: JUMP
00002318: JUMPDEST
00002319: PUSH1 0x00
0000231b: CALLER
0000231c: PUSH1 0x01
0000231e: PUSH1 0x01
00002320: PUSH1 0xa0
00002322: SHL
00002323: SUB
00002324: PUSH32 0x00000000000000000000000067cc0a16010d09b9a865b030836deb3750df6b69
00002345: AND
00002346: EQ
00002347: DUP1
00002348: ISZERO
00002349: SWAP1
0000234a: PUSH2 0x2356
0000234d: JUMPI
0000234e: POP
0000234f: PUSH1 0x20
00002351: SLOAD
00002352: PUSH1 0xff
00002354: AND
00002355: ISZERO
00002356: JUMPDEST
00002357: DUP1
00002358: ISZERO
00002359: PUSH2 0x2364
0000235c: JUMPI
0000235d: POP
0000235e: PUSH1 0x1d
00002360: SLOAD
00002361: PUSH1 0xff
00002363: AND
00002364: JUMPDEST
00002365: DUP1
00002366: ISZERO
00002367: PUSH2 0x0f3f
0000236a: JUMPI
0000236b: POP
0000236c: POP
0000236d: PUSH1 0x1e
0000236f: SLOAD
00002370: ADDRESS
00002371: PUSH1 0x00
00002373: SWAP1
00002374: DUP2
00002375: MSTORE
00002376: PUSH1 0x12
00002378: PUSH1 0x20
0000237a: MSTORE
0000237b: PUSH1 0x40
0000237d: SWAP1
0000237e: KECCAK256
0000237f: SLOAD
00002380: LT
00002381: ISZERO
00002382: SWAP1
00002383: JUMP
00002384: JUMPDEST
00002385: PUSH1 0x20
00002387: DUP1
00002388: SLOAD
00002389: PUSH1 0xff
0000238b: NOT
0000238c: AND
0000238d: PUSH1 0x01
0000238f: OR
00002390: SWAP1
00002391: SSTORE
00002392: PUSH1 0x19
00002394: SLOAD
00002395: PUSH1 0x1a
00002397: SLOAD
00002398: PUSH1 0x00
0000239a: SWAP2
0000239b: PUSH2 0x23a3
0000239e: SWAP2
0000239f: PUSH2 0x0cc9
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH2 0x23af
000023a7: JUMPI
000023a8: PUSH1 0x07
000023aa: SLOAD
000023ab: PUSH2 0x23b2
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH1 0x00
000023b2: JUMPDEST
000023b3: SWAP1
000023b4: POP
000023b5: PUSH1 0x00
000023b7: PUSH2 0x23d6
000023ba: PUSH1 0x02
000023bc: PUSH2 0x17b5
000023bf: PUSH1 0x0a
000023c1: SLOAD
000023c2: PUSH2 0x17b5
000023c5: DUP7
000023c6: PUSH1 0x1f
000023c8: SLOAD
000023c9: PUSH2 0x2144
000023cc: SWAP1
000023cd: SWAP2
000023ce: SWAP1
000023cf: PUSH4 0xffffffff
000023d4: AND
000023d5: JUMP
000023d6: JUMPDEST
000023d7: SWAP1
000023d8: POP
000023d9: PUSH1 0x00
000023db: PUSH2 0x23ef
000023de: DUP3
000023df: PUSH1 0x1f
000023e1: SLOAD
000023e2: PUSH2 0x2058
000023e5: SWAP1
000023e6: SWAP2
000023e7: SWAP1
000023e8: PUSH4 0xffffffff
000023ed: AND
000023ee: JUMP
000023ef: JUMPDEST
000023f0: PUSH1 0x40
000023f2: DUP1
000023f3: MLOAD
000023f4: PUSH1 0x02
000023f6: DUP1
000023f7: DUP3
000023f8: MSTORE
000023f9: PUSH1 0x60
000023fb: DUP3
000023fc: ADD
000023fd: DUP4
000023fe: MSTORE
000023ff: SWAP3
00002400: SWAP4
00002401: POP
00002402: PUSH1 0x00
00002404: SWAP3
00002405: SWAP1
00002406: SWAP2
00002407: PUSH1 0x20
00002409: DUP4
0000240a: ADD
0000240b: SWAP1
0000240c: DUP1
0000240d: CALLDATASIZE
0000240e: DUP4
0000240f: CALLDATACOPY
00002410: ADD
00002411: SWAP1
00002412: POP
00002413: POP
00002414: SWAP1
00002415: POP
00002416: ADDRESS
00002417: DUP2
00002418: PUSH1 0x00
0000241a: DUP2
0000241b: MLOAD
0000241c: DUP2
0000241d: LT
0000241e: PUSH2 0x2429
00002421: JUMPI
00002422: PUSH2 0x2429
00002425: PUSH2 0x2bf1
00002428: JUMP
00002429: JUMPDEST
0000242a: PUSH1 0x20
0000242c: MUL
0000242d: PUSH1 0x20
0000242f: ADD
00002430: ADD
00002431: SWAP1
00002432: PUSH1 0x01
00002434: PUSH1 0x01
00002436: PUSH1 0xa0
00002438: SHL
00002439: SUB
0000243a: AND
0000243b: SWAP1
0000243c: DUP2
0000243d: PUSH1 0x01
0000243f: PUSH1 0x01
00002441: PUSH1 0xa0
00002443: SHL
00002444: SUB
00002445: AND
00002446: DUP2
00002447: MSTORE
00002448: POP
00002449: POP
0000244a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
0000246b: PUSH1 0x01
0000246d: PUSH1 0x01
0000246f: PUSH1 0xa0
00002471: SHL
00002472: SUB
00002473: AND
00002474: PUSH4 0xad5c4648
00002479: PUSH1 0x40
0000247b: MLOAD
0000247c: DUP2
0000247d: PUSH4 0xffffffff
00002482: AND
00002483: PUSH1 0xe0
00002485: SHL
00002486: DUP2
00002487: MSTORE
00002488: PUSH1 0x04
0000248a: ADD
0000248b: PUSH1 0x20
0000248d: PUSH1 0x40
0000248f: MLOAD
00002490: DUP1
00002491: DUP4
00002492: SUB
00002493: DUP2
00002494: DUP7
00002495: GAS
00002496: STATICCALL
00002497: ISZERO
00002498: DUP1
00002499: ISZERO
0000249a: PUSH2 0x24a7
0000249d: JUMPI
0000249e: RETURNDATASIZE
0000249f: PUSH1 0x00
000024a1: DUP1
000024a2: RETURNDATACOPY
000024a3: RETURNDATASIZE
000024a4: PUSH1 0x00
000024a6: REVERT
000024a7: JUMPDEST
000024a8: POP
000024a9: POP
000024aa: POP
000024ab: POP
000024ac: PUSH1 0x40
000024ae: MLOAD
000024af: RETURNDATASIZE
000024b0: PUSH1 0x1f
000024b2: NOT
000024b3: PUSH1 0x1f
000024b5: DUP3
000024b6: ADD
000024b7: AND
000024b8: DUP3
000024b9: ADD
000024ba: DUP1
000024bb: PUSH1 0x40
000024bd: MSTORE
000024be: POP
000024bf: DUP2
000024c0: ADD
000024c1: SWAP1
000024c2: PUSH2 0x24cb
000024c5: SWAP2
000024c6: SWAP1
000024c7: PUSH2 0x2c46
000024ca: JUMP
000024cb: JUMPDEST
000024cc: DUP2
000024cd: PUSH1 0x01
000024cf: DUP2
000024d0: MLOAD
000024d1: DUP2
000024d2: LT
000024d3: PUSH2 0x24de
000024d6: JUMPI
000024d7: PUSH2 0x24de
000024da: PUSH2 0x2bf1
000024dd: JUMP
000024de: JUMPDEST
000024df: PUSH1 0x01
000024e1: PUSH1 0x01
000024e3: PUSH1 0xa0
000024e5: SHL
000024e6: SUB
000024e7: SWAP3
000024e8: DUP4
000024e9: AND
000024ea: PUSH1 0x20
000024ec: SWAP2
000024ed: DUP3
000024ee: MUL
000024ef: SWAP3
000024f0: SWAP1
000024f1: SWAP3
000024f2: ADD
000024f3: ADD
000024f4: MSTORE
000024f5: PUSH1 0x40
000024f7: MLOAD
000024f8: PUSH4 0x791ac947
000024fd: PUSH1 0xe0
000024ff: SHL
00002500: DUP2
00002501: MSTORE
00002502: SELFBALANCE
00002503: SWAP2
00002504: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002525: AND
00002526: SWAP1
00002527: PUSH4 0x791ac947
0000252c: SWAP1
0000252d: PUSH2 0x2543
00002530: SWAP1
00002531: DUP7
00002532: SWAP1
00002533: PUSH1 0x00
00002535: SWAP1
00002536: DUP8
00002537: SWAP1
00002538: ADDRESS
00002539: SWAP1
0000253a: TIMESTAMP
0000253b: SWAP1
0000253c: PUSH1 0x04
0000253e: ADD
0000253f: PUSH2 0x2c63
00002542: JUMP
00002543: JUMPDEST
00002544: PUSH1 0x00
00002546: PUSH1 0x40
00002548: MLOAD
00002549: DUP1
0000254a: DUP4
0000254b: SUB
0000254c: DUP2
0000254d: PUSH1 0x00
0000254f: DUP8
00002550: DUP1
00002551: EXTCODESIZE
00002552: ISZERO
00002553: DUP1
00002554: ISZERO
00002555: PUSH2 0x255d
00002558: JUMPI
00002559: PUSH1 0x00
0000255b: DUP1
0000255c: REVERT
0000255d: JUMPDEST
0000255e: POP
0000255f: GAS
00002560: CALL
00002561: ISZERO
00002562: DUP1
00002563: ISZERO
00002564: PUSH2 0x2571
00002567: JUMPI
00002568: RETURNDATASIZE
00002569: PUSH1 0x00
0000256b: DUP1
0000256c: RETURNDATACOPY
0000256d: RETURNDATASIZE
0000256e: PUSH1 0x00
00002570: REVERT
00002571: JUMPDEST
00002572: POP
00002573: POP
00002574: POP
00002575: POP
00002576: PUSH1 0x00
00002578: PUSH2 0x258a
0000257b: DUP3
0000257c: SELFBALANCE
0000257d: PUSH2 0x2058
00002580: SWAP1
00002581: SWAP2
00002582: SWAP1
00002583: PUSH4 0xffffffff
00002588: AND
00002589: JUMP
0000258a: JUMPDEST
0000258b: SWAP1
0000258c: POP
0000258d: PUSH1 0x00
0000258f: PUSH2 0x25a5
00002592: PUSH2 0x259c
00002595: DUP9
00002596: PUSH1 0x02
00002598: PUSH2 0x2150
0000259b: JUMP
0000259c: JUMPDEST
0000259d: PUSH1 0x0a
0000259f: SLOAD
000025a0: SWAP1
000025a1: PUSH2 0x2058
000025a4: JUMP
000025a5: JUMPDEST
000025a6: SWAP1
000025a7: POP
000025a8: PUSH1 0x00
000025aa: PUSH2 0x25c7
000025ad: PUSH1 0x02
000025af: PUSH2 0x17b5
000025b2: DUP5
000025b3: PUSH2 0x17b5
000025b6: PUSH1 0x07
000025b8: SLOAD
000025b9: DUP9
000025ba: PUSH2 0x2144
000025bd: SWAP1
000025be: SWAP2
000025bf: SWAP1
000025c0: PUSH4 0xffffffff
000025c5: AND
000025c6: JUMP
000025c7: JUMPDEST
000025c8: SWAP1
000025c9: POP
000025ca: PUSH1 0x00
000025cc: PUSH2 0x25e4
000025cf: DUP4
000025d0: PUSH2 0x17b5
000025d3: PUSH1 0x08
000025d5: SLOAD
000025d6: DUP8
000025d7: PUSH2 0x2144
000025da: SWAP1
000025db: SWAP2
000025dc: SWAP1
000025dd: PUSH4 0xffffffff
000025e2: AND
000025e3: JUMP
000025e4: JUMPDEST
000025e5: SWAP1
000025e6: POP
000025e7: PUSH1 0x00
000025e9: PUSH2 0x2601
000025ec: DUP5
000025ed: PUSH2 0x17b5
000025f0: PUSH1 0x09
000025f2: SLOAD
000025f3: DUP9
000025f4: PUSH2 0x2144
000025f7: SWAP1
000025f8: SWAP2
000025f9: SWAP1
000025fa: PUSH4 0xffffffff
000025ff: AND
00002600: JUMP
00002601: JUMPDEST
00002602: PUSH1 0x00
00002604: DUP1
00002605: SLOAD
00002606: PUSH1 0x40
00002608: MLOAD
00002609: SWAP3
0000260a: SWAP4
0000260b: POP
0000260c: SWAP1
0000260d: SWAP2
0000260e: PUSH1 0x01
00002610: PUSH1 0x01
00002612: PUSH1 0xa0
00002614: SHL
00002615: SUB
00002616: SWAP1
00002617: SWAP2
00002618: AND
00002619: SWAP1
0000261a: PUSH2 0x7530
0000261d: SWAP1
0000261e: DUP6
0000261f: SWAP1
00002620: DUP5
00002621: DUP2
00002622: DUP2
00002623: DUP2
00002624: DUP6
00002625: DUP9
00002626: DUP9
00002627: CALL
00002628: SWAP4
00002629: POP
0000262a: POP
0000262b: POP
0000262c: POP
0000262d: RETURNDATASIZE
0000262e: DUP1
0000262f: PUSH1 0x00
00002631: DUP2
00002632: EQ
00002633: PUSH2 0x2658
00002636: JUMPI
00002637: PUSH1 0x40
00002639: MLOAD
0000263a: SWAP2
0000263b: POP
0000263c: PUSH1 0x1f
0000263e: NOT
0000263f: PUSH1 0x3f
00002641: RETURNDATASIZE
00002642: ADD
00002643: AND
00002644: DUP3
00002645: ADD
00002646: PUSH1 0x40
00002648: MSTORE
00002649: RETURNDATASIZE
0000264a: DUP3
0000264b: MSTORE
0000264c: RETURNDATASIZE
0000264d: PUSH1 0x00
0000264f: PUSH1 0x20
00002651: DUP5
00002652: ADD
00002653: RETURNDATACOPY
00002654: PUSH2 0x265d
00002657: JUMP
00002658: JUMPDEST
00002659: PUSH1 0x60
0000265b: SWAP2
0000265c: POP
0000265d: JUMPDEST
0000265e: POP
0000265f: POP
00002660: PUSH1 0x01
00002662: SLOAD
00002663: PUSH1 0x40
00002665: MLOAD
00002666: SWAP2
00002667: SWAP3
00002668: POP
00002669: PUSH1 0x01
0000266b: PUSH1 0x01
0000266d: PUSH1 0xa0
0000266f: SHL
00002670: SUB
00002671: AND
00002672: SWAP1
00002673: PUSH2 0x7530
00002676: SWAP1
00002677: DUP5
00002678: SWAP1
00002679: PUSH1 0x00
0000267b: DUP2
0000267c: DUP2
0000267d: DUP2
0000267e: DUP6
0000267f: DUP9
00002680: DUP9
00002681: CALL
00002682: SWAP4
00002683: POP
00002684: POP
00002685: POP
00002686: POP
00002687: RETURNDATASIZE
00002688: DUP1
00002689: PUSH1 0x00
0000268b: DUP2
0000268c: EQ
0000268d: PUSH2 0x26b2
00002690: JUMPI
00002691: PUSH1 0x40
00002693: MLOAD
00002694: SWAP2
00002695: POP
00002696: PUSH1 0x1f
00002698: NOT
00002699: PUSH1 0x3f
0000269b: RETURNDATASIZE
0000269c: ADD
0000269d: AND
0000269e: DUP3
0000269f: ADD
000026a0: PUSH1 0x40
000026a2: MSTORE
000026a3: RETURNDATASIZE
000026a4: DUP3
000026a5: MSTORE
000026a6: RETURNDATASIZE
000026a7: PUSH1 0x00
000026a9: PUSH1 0x20
000026ab: DUP5
000026ac: ADD
000026ad: RETURNDATACOPY
000026ae: PUSH2 0x26b7
000026b1: JUMP
000026b2: JUMPDEST
000026b3: PUSH1 0x60
000026b5: SWAP2
000026b6: POP
000026b7: JUMPDEST
000026b8: POP
000026b9: PUSH1 0x00
000026bb: SWAP3
000026bc: POP
000026bd: POP
000026be: DUP11
000026bf: ISZERO
000026c0: SWAP1
000026c1: POP
000026c2: PUSH2 0x27b6
000026c5: JUMPI
000026c6: PUSH1 0x18
000026c8: SLOAD
000026c9: PUSH1 0x40
000026cb: MLOAD
000026cc: PUSH4 0xf305d719
000026d1: PUSH1 0xe0
000026d3: SHL
000026d4: DUP2
000026d5: MSTORE
000026d6: ADDRESS
000026d7: PUSH1 0x04
000026d9: DUP3
000026da: ADD
000026db: MSTORE
000026dc: PUSH1 0x24
000026de: DUP2
000026df: ADD
000026e0: DUP13
000026e1: SWAP1
000026e2: MSTORE
000026e3: PUSH1 0x00
000026e5: PUSH1 0x44
000026e7: DUP3
000026e8: ADD
000026e9: DUP2
000026ea: SWAP1
000026eb: MSTORE
000026ec: PUSH1 0x64
000026ee: DUP3
000026ef: ADD
000026f0: MSTORE
000026f1: PUSH1 0x01
000026f3: PUSH1 0x01
000026f5: PUSH1 0xa0
000026f7: SHL
000026f8: SUB
000026f9: SWAP2
000026fa: DUP3
000026fb: AND
000026fc: PUSH1 0x84
000026fe: DUP3
000026ff: ADD
00002700: MSTORE
00002701: TIMESTAMP
00002702: PUSH1 0xa4
00002704: DUP3
00002705: ADD
00002706: MSTORE
00002707: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002728: SWAP1
00002729: SWAP2
0000272a: AND
0000272b: SWAP1
0000272c: PUSH4 0xf305d719
00002731: SWAP1
00002732: DUP7
00002733: SWAP1
00002734: PUSH1 0xc4
00002736: ADD
00002737: PUSH1 0x60
00002739: PUSH1 0x40
0000273b: MLOAD
0000273c: DUP1
0000273d: DUP4
0000273e: SUB
0000273f: DUP2
00002740: DUP6
00002741: DUP9
00002742: GAS
00002743: CALL
00002744: ISZERO
00002745: DUP1
00002746: ISZERO
00002747: PUSH2 0x2754
0000274a: JUMPI
0000274b: RETURNDATASIZE
0000274c: PUSH1 0x00
0000274e: DUP1
0000274f: RETURNDATACOPY
00002750: RETURNDATASIZE
00002751: PUSH1 0x00
00002753: REVERT
00002754: JUMPDEST
00002755: POP
00002756: POP
00002757: POP
00002758: POP
00002759: POP
0000275a: PUSH1 0x40
0000275c: MLOAD
0000275d: RETURNDATASIZE
0000275e: PUSH1 0x1f
00002760: NOT
00002761: PUSH1 0x1f
00002763: DUP3
00002764: ADD
00002765: AND
00002766: DUP3
00002767: ADD
00002768: DUP1
00002769: PUSH1 0x40
0000276b: MSTORE
0000276c: POP
0000276d: DUP2
0000276e: ADD
0000276f: SWAP1
00002770: PUSH2 0x2779
00002773: SWAP2
00002774: SWAP1
00002775: PUSH2 0x2cd4
00002778: JUMP
00002779: JUMPDEST
0000277a: POP
0000277b: POP
0000277c: PUSH1 0x40
0000277e: DUP1
0000277f: MLOAD
00002780: DUP7
00002781: DUP2
00002782: MSTORE
00002783: PUSH1 0x20
00002785: DUP2
00002786: ADD
00002787: DUP14
00002788: SWAP1
00002789: MSTORE
0000278a: PUSH32 0x424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b4506
000027ab: SWAP3
000027ac: POP
000027ad: ADD
000027ae: PUSH1 0x40
000027b0: MLOAD
000027b1: DUP1
000027b2: SWAP2
000027b3: SUB
000027b4: SWAP1
000027b5: LOG1
000027b6: JUMPDEST
000027b7: POP
000027b8: POP
000027b9: PUSH1 0x20
000027bb: DUP1
000027bc: SLOAD
000027bd: PUSH1 0xff
000027bf: NOT
000027c0: AND
000027c1: SWAP1
000027c2: SSTORE
000027c3: POP
000027c4: POP
000027c5: POP
000027c6: POP
000027c7: POP
000027c8: POP
000027c9: POP
000027ca: POP
000027cb: POP
000027cc: JUMP
000027cd: JUMPDEST
000027ce: PUSH1 0x00
000027d0: PUSH1 0x20
000027d2: DUP1
000027d3: DUP4
000027d4: MSTORE
000027d5: DUP4
000027d6: MLOAD
000027d7: DUP1
000027d8: DUP3
000027d9: DUP6
000027da: ADD
000027db: MSTORE
000027dc: PUSH1 0x00
000027de: JUMPDEST
000027df: DUP2
000027e0: DUP2
000027e1: LT
000027e2: ISZERO
000027e3: PUSH2 0x27fa
000027e6: JUMPI
000027e7: DUP6
000027e8: DUP2
000027e9: ADD
000027ea: DUP4
000027eb: ADD
000027ec: MLOAD
000027ed: DUP6
000027ee: DUP3
000027ef: ADD
000027f0: PUSH1 0x40
000027f2: ADD
000027f3: MSTORE
000027f4: DUP3
000027f5: ADD
000027f6: PUSH2 0x27de
000027f9: JUMP
000027fa: JUMPDEST
000027fb: POP
000027fc: PUSH1 0x00
000027fe: PUSH1 0x40
00002800: DUP3
00002801: DUP7
00002802: ADD
00002803: ADD
00002804: MSTORE
00002805: PUSH1 0x40
00002807: PUSH1 0x1f
00002809: NOT
0000280a: PUSH1 0x1f
0000280c: DUP4
0000280d: ADD
0000280e: AND
0000280f: DUP6
00002810: ADD
00002811: ADD
00002812: SWAP3
00002813: POP
00002814: POP
00002815: POP
00002816: SWAP3
00002817: SWAP2
00002818: POP
00002819: POP
0000281a: JUMP
0000281b: JUMPDEST
0000281c: PUSH1 0x00
0000281e: PUSH1 0x20
00002820: DUP3
00002821: DUP5
00002822: SUB
00002823: SLT
00002824: ISZERO
00002825: PUSH2 0x282d
00002828: JUMPI
00002829: PUSH1 0x00
0000282b: DUP1
0000282c: REVERT
0000282d: JUMPDEST
0000282e: POP
0000282f: CALLDATALOAD
00002830: SWAP2
00002831: SWAP1
00002832: POP
00002833: JUMP
00002834: JUMPDEST
00002835: PUSH1 0x01
00002837: PUSH1 0x01
00002839: PUSH1 0xa0
0000283b: SHL
0000283c: SUB
0000283d: DUP2
0000283e: AND
0000283f: DUP2
00002840: EQ
00002841: PUSH2 0x12cc
00002844: JUMPI
00002845: PUSH1 0x00
00002847: DUP1
00002848: REVERT
00002849: JUMPDEST
0000284a: PUSH1 0x00
0000284c: DUP1
0000284d: PUSH1 0x40
0000284f: DUP4
00002850: DUP6
00002851: SUB
00002852: SLT
00002853: ISZERO
00002854: PUSH2 0x285c
00002857: JUMPI
00002858: PUSH1 0x00
0000285a: DUP1
0000285b: REVERT
0000285c: JUMPDEST
0000285d: DUP3
0000285e: CALLDATALOAD
0000285f: PUSH2 0x2867
00002862: DUP2
00002863: PUSH2 0x2834
00002866: JUMP
00002867: JUMPDEST
00002868: SWAP5
00002869: PUSH1 0x20
0000286b: SWAP4
0000286c: SWAP1
0000286d: SWAP4
0000286e: ADD
0000286f: CALLDATALOAD
00002870: SWAP4
00002871: POP
00002872: POP
00002873: POP
00002874: JUMP
00002875: JUMPDEST
00002876: DUP1
00002877: CALLDATALOAD
00002878: DUP1
00002879: ISZERO
0000287a: ISZERO
0000287b: DUP2
0000287c: EQ
0000287d: PUSH2 0x2885
00002880: JUMPI
00002881: PUSH1 0x00
00002883: DUP1
00002884: REVERT
00002885: JUMPDEST
00002886: SWAP2
00002887: SWAP1
00002888: POP
00002889: JUMP
0000288a: JUMPDEST
0000288b: PUSH1 0x00
0000288d: PUSH1 0x20
0000288f: DUP3
00002890: DUP5
00002891: SUB
00002892: SLT
00002893: ISZERO
00002894: PUSH2 0x289c
00002897: JUMPI
00002898: PUSH1 0x00
0000289a: DUP1
0000289b: REVERT
0000289c: JUMPDEST
0000289d: PUSH2 0x0ec5
000028a0: DUP3
000028a1: PUSH2 0x2875
000028a4: JUMP
000028a5: JUMPDEST
000028a6: PUSH1 0x00
000028a8: DUP1
000028a9: PUSH1 0x40
000028ab: DUP4
000028ac: DUP6
000028ad: SUB
000028ae: SLT
000028af: ISZERO
000028b0: PUSH2 0x28b8
000028b3: JUMPI
000028b4: PUSH1 0x00
000028b6: DUP1
000028b7: REVERT
000028b8: JUMPDEST
000028b9: POP
000028ba: POP
000028bb: DUP1
000028bc: CALLDATALOAD
000028bd: SWAP3
000028be: PUSH1 0x20
000028c0: SWAP1
000028c1: SWAP2
000028c2: ADD
000028c3: CALLDATALOAD
000028c4: SWAP2
000028c5: POP
000028c6: JUMP
000028c7: JUMPDEST
000028c8: PUSH1 0x00
000028ca: PUSH1 0x20
000028cc: DUP3
000028cd: DUP5
000028ce: SUB
000028cf: SLT
000028d0: ISZERO
000028d1: PUSH2 0x28d9
000028d4: JUMPI
000028d5: PUSH1 0x00
000028d7: DUP1
000028d8: REVERT
000028d9: JUMPDEST
000028da: DUP2
000028db: CALLDATALOAD
000028dc: PUSH2 0x0ec5
000028df: DUP2
000028e0: PUSH2 0x2834
000028e3: JUMP
000028e4: JUMPDEST
000028e5: PUSH1 0x00
000028e7: DUP1
000028e8: PUSH1 0x00
000028ea: PUSH1 0x60
000028ec: DUP5
000028ed: DUP7
000028ee: SUB
000028ef: SLT
000028f0: ISZERO
000028f1: PUSH2 0x28f9
000028f4: JUMPI
000028f5: PUSH1 0x00
000028f7: DUP1
000028f8: REVERT
000028f9: JUMPDEST
000028fa: DUP4
000028fb: CALLDATALOAD
000028fc: PUSH2 0x2904
000028ff: DUP2
00002900: PUSH2 0x2834
00002903: JUMP
00002904: JUMPDEST
00002905: SWAP3
00002906: POP
00002907: PUSH1 0x20
00002909: DUP5
0000290a: ADD
0000290b: CALLDATALOAD
0000290c: PUSH2 0x2914
0000290f: DUP2
00002910: PUSH2 0x2834
00002913: JUMP
00002914: JUMPDEST
00002915: SWAP3
00002916: SWAP6
00002917: SWAP3
00002918: SWAP5
00002919: POP
0000291a: POP
0000291b: POP
0000291c: PUSH1 0x40
0000291e: SWAP2
0000291f: SWAP1
00002920: SWAP2
00002921: ADD
00002922: CALLDATALOAD
00002923: SWAP1
00002924: JUMP
00002925: JUMPDEST
00002926: PUSH1 0x00
00002928: DUP1
00002929: PUSH1 0x40
0000292b: DUP4
0000292c: DUP6
0000292d: SUB
0000292e: SLT
0000292f: ISZERO
00002930: PUSH2 0x2938
00002933: JUMPI
00002934: PUSH1 0x00
00002936: DUP1
00002937: REVERT
00002938: JUMPDEST
00002939: PUSH2 0x2941
0000293c: DUP4
0000293d: PUSH2 0x2875
00002940: JUMP
00002941: JUMPDEST
00002942: SWAP2
00002943: POP
00002944: PUSH1 0x20
00002946: DUP4
00002947: ADD
00002948: CALLDATALOAD
00002949: PUSH1 0xff
0000294b: DUP2
0000294c: AND
0000294d: DUP2
0000294e: EQ
0000294f: PUSH2 0x2957
00002952: JUMPI
00002953: PUSH1 0x00
00002955: DUP1
00002956: REVERT
00002957: JUMPDEST
00002958: DUP1
00002959: SWAP2
0000295a: POP
0000295b: POP
0000295c: SWAP3
0000295d: POP
0000295e: SWAP3
0000295f: SWAP1
00002960: POP
00002961: JUMP
00002962: JUMPDEST
00002963: PUSH1 0x00
00002965: DUP1
00002966: DUP4
00002967: PUSH1 0x1f
00002969: DUP5
0000296a: ADD
0000296b: SLT
0000296c: PUSH2 0x2974
0000296f: JUMPI
00002970: PUSH1 0x00
00002972: DUP1
00002973: REVERT
00002974: JUMPDEST
00002975: POP
00002976: DUP2
00002977: CALLDATALOAD
00002978: PUSH8 0xffffffffffffffff
00002981: DUP2
00002982: GT
00002983: ISZERO
00002984: PUSH2 0x298c
00002987: JUMPI
00002988: PUSH1 0x00
0000298a: DUP1
0000298b: REVERT
0000298c: JUMPDEST
0000298d: PUSH1 0x20
0000298f: DUP4
00002990: ADD
00002991: SWAP2
00002992: POP
00002993: DUP4
00002994: PUSH1 0x20
00002996: DUP3
00002997: PUSH1 0x05
00002999: SHL
0000299a: DUP6
0000299b: ADD
0000299c: ADD
0000299d: GT
0000299e: ISZERO
0000299f: PUSH2 0x29a7
000029a2: JUMPI
000029a3: PUSH1 0x00
000029a5: DUP1
000029a6: REVERT
000029a7: JUMPDEST
000029a8: SWAP3
000029a9: POP
000029aa: SWAP3
000029ab: SWAP1
000029ac: POP
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH1 0x00
000029b1: DUP1
000029b2: PUSH1 0x00
000029b4: DUP1
000029b5: PUSH1 0x60
000029b7: DUP6
000029b8: DUP8
000029b9: SUB
000029ba: SLT
000029bb: ISZERO
000029bc: PUSH2 0x29c4
000029bf: JUMPI
000029c0: PUSH1 0x00
000029c2: DUP1
000029c3: REVERT
000029c4: JUMPDEST
000029c5: DUP5
000029c6: CALLDATALOAD
000029c7: PUSH2 0x29cf
000029ca: DUP2
000029cb: PUSH2 0x2834
000029ce: JUMP
000029cf: JUMPDEST
000029d0: SWAP4
000029d1: POP
000029d2: PUSH1 0x20
000029d4: DUP6
000029d5: ADD
000029d6: CALLDATALOAD
000029d7: PUSH8 0xffffffffffffffff
000029e0: DUP2
000029e1: GT
000029e2: ISZERO
000029e3: PUSH2 0x29eb
000029e6: JUMPI
000029e7: PUSH1 0x00
000029e9: DUP1
000029ea: REVERT
000029eb: JUMPDEST
000029ec: PUSH2 0x29f7
000029ef: DUP8
000029f0: DUP3
000029f1: DUP9
000029f2: ADD
000029f3: PUSH2 0x2962
000029f6: JUMP
000029f7: JUMPDEST
000029f8: SWAP6
000029f9: SWAP9
000029fa: SWAP1
000029fb: SWAP8
000029fc: POP
000029fd: SWAP5
000029fe: SWAP6
000029ff: PUSH1 0x40
00002a01: ADD
00002a02: CALLDATALOAD
00002a03: SWAP5
00002a04: SWAP4
00002a05: POP
00002a06: POP
00002a07: POP
00002a08: POP
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH1 0x00
00002a0d: DUP1
00002a0e: PUSH1 0x40
00002a10: DUP4
00002a11: DUP6
00002a12: SUB
00002a13: SLT
00002a14: ISZERO
00002a15: PUSH2 0x2a1d
00002a18: JUMPI
00002a19: PUSH1 0x00
00002a1b: DUP1
00002a1c: REVERT
00002a1d: JUMPDEST
00002a1e: DUP3
00002a1f: CALLDATALOAD
00002a20: PUSH2 0x2a28
00002a23: DUP2
00002a24: PUSH2 0x2834
00002a27: JUMP
00002a28: JUMPDEST
00002a29: SWAP2
00002a2a: POP
00002a2b: PUSH2 0x2a36
00002a2e: PUSH1 0x20
00002a30: DUP5
00002a31: ADD
00002a32: PUSH2 0x2875
00002a35: JUMP
00002a36: JUMPDEST
00002a37: SWAP1
00002a38: POP
00002a39: SWAP3
00002a3a: POP
00002a3b: SWAP3
00002a3c: SWAP1
00002a3d: POP
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: PUSH1 0x00
00002a42: DUP1
00002a43: PUSH1 0x00
00002a45: DUP1
00002a46: PUSH1 0x00
00002a48: PUSH1 0x60
00002a4a: DUP7
00002a4b: DUP9
00002a4c: SUB
00002a4d: SLT
00002a4e: ISZERO
00002a4f: PUSH2 0x2a57
00002a52: JUMPI
00002a53: PUSH1 0x00
00002a55: DUP1
00002a56: REVERT
00002a57: JUMPDEST
00002a58: DUP6
00002a59: CALLDATALOAD
00002a5a: PUSH2 0x2a62
00002a5d: DUP2
00002a5e: PUSH2 0x2834
00002a61: JUMP
00002a62: JUMPDEST
00002a63: SWAP5
00002a64: POP
00002a65: PUSH1 0x20
00002a67: DUP7
00002a68: ADD
00002a69: CALLDATALOAD
00002a6a: PUSH8 0xffffffffffffffff
00002a73: DUP1
00002a74: DUP3
00002a75: GT
00002a76: ISZERO
00002a77: PUSH2 0x2a7f
00002a7a: JUMPI
00002a7b: PUSH1 0x00
00002a7d: DUP1
00002a7e: REVERT
00002a7f: JUMPDEST
00002a80: PUSH2 0x2a8b
00002a83: DUP10
00002a84: DUP4
00002a85: DUP11
00002a86: ADD
00002a87: PUSH2 0x2962
00002a8a: JUMP
00002a8b: JUMPDEST
00002a8c: SWAP1
00002a8d: SWAP7
00002a8e: POP
00002a8f: SWAP5
00002a90: POP
00002a91: PUSH1 0x40
00002a93: DUP9
00002a94: ADD
00002a95: CALLDATALOAD
00002a96: SWAP2
00002a97: POP
00002a98: DUP1
00002a99: DUP3
00002a9a: GT
00002a9b: ISZERO
00002a9c: PUSH2 0x2aa4
00002a9f: JUMPI
00002aa0: PUSH1 0x00
00002aa2: DUP1
00002aa3: REVERT
00002aa4: JUMPDEST
00002aa5: POP
00002aa6: PUSH2 0x2ab1
00002aa9: DUP9
00002aaa: DUP3
00002aab: DUP10
00002aac: ADD
00002aad: PUSH2 0x2962
00002ab0: JUMP
00002ab1: JUMPDEST
00002ab2: SWAP7
00002ab3: SWAP10
00002ab4: SWAP6
00002ab5: SWAP9
00002ab6: POP
00002ab7: SWAP4
00002ab8: SWAP7
00002ab9: POP
00002aba: SWAP3
00002abb: SWAP5
00002abc: SWAP4
00002abd: SWAP3
00002abe: POP
00002abf: POP
00002ac0: POP
00002ac1: JUMP
00002ac2: JUMPDEST
00002ac3: PUSH1 0x00
00002ac5: DUP1
00002ac6: PUSH1 0x00
00002ac8: DUP1
00002ac9: PUSH1 0x80
00002acb: DUP6
00002acc: DUP8
00002acd: SUB
00002ace: SLT
00002acf: ISZERO
00002ad0: PUSH2 0x2ad8
00002ad3: JUMPI
00002ad4: PUSH1 0x00
00002ad6: DUP1
00002ad7: REVERT
00002ad8: JUMPDEST
00002ad9: POP
00002ada: POP
00002adb: DUP3
00002adc: CALLDATALOAD
00002add: SWAP5
00002ade: PUSH1 0x20
00002ae0: DUP5
00002ae1: ADD
00002ae2: CALLDATALOAD
00002ae3: SWAP5
00002ae4: POP
00002ae5: PUSH1 0x40
00002ae7: DUP5
00002ae8: ADD
00002ae9: CALLDATALOAD
00002aea: SWAP4
00002aeb: PUSH1 0x60
00002aed: ADD
00002aee: CALLDATALOAD
00002aef: SWAP3
00002af0: POP
00002af1: SWAP1
00002af2: POP
00002af3: JUMP
00002af4: JUMPDEST
00002af5: PUSH1 0x00
00002af7: DUP1
00002af8: PUSH1 0x00
00002afa: PUSH1 0x60
00002afc: DUP5
00002afd: DUP7
00002afe: SUB
00002aff: SLT
00002b00: ISZERO
00002b01: PUSH2 0x2b09
00002b04: JUMPI
00002b05: PUSH1 0x00
00002b07: DUP1
00002b08: REVERT
00002b09: JUMPDEST
00002b0a: DUP4
00002b0b: CALLDATALOAD
00002b0c: PUSH2 0x2b14
00002b0f: DUP2
00002b10: PUSH2 0x2834
00002b13: JUMP
00002b14: JUMPDEST
00002b15: SWAP3
00002b16: POP
00002b17: PUSH1 0x20
00002b19: DUP5
00002b1a: ADD
00002b1b: CALLDATALOAD
00002b1c: PUSH2 0x2b24
00002b1f: DUP2
00002b20: PUSH2 0x2834
00002b23: JUMP
00002b24: JUMPDEST
00002b25: SWAP2
00002b26: POP
00002b27: PUSH1 0x40
00002b29: DUP5
00002b2a: ADD
00002b2b: CALLDATALOAD
00002b2c: PUSH2 0x2b34
00002b2f: DUP2
00002b30: PUSH2 0x2834
00002b33: JUMP
00002b34: JUMPDEST
00002b35: DUP1
00002b36: SWAP2
00002b37: POP
00002b38: POP
00002b39: SWAP3
00002b3a: POP
00002b3b: SWAP3
00002b3c: POP
00002b3d: SWAP3
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: PUSH1 0x00
00002b42: DUP1
00002b43: PUSH1 0x40
00002b45: DUP4
00002b46: DUP6
00002b47: SUB
00002b48: SLT
00002b49: ISZERO
00002b4a: PUSH2 0x2b52
00002b4d: JUMPI
00002b4e: PUSH1 0x00
00002b50: DUP1
00002b51: REVERT
00002b52: JUMPDEST
00002b53: DUP3
00002b54: CALLDATALOAD
00002b55: PUSH2 0x2b5d
00002b58: DUP2
00002b59: PUSH2 0x2834
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: SWAP2
00002b5f: POP
00002b60: PUSH1 0x20
00002b62: DUP4
00002b63: ADD
00002b64: CALLDATALOAD
00002b65: PUSH2 0x2957
00002b68: DUP2
00002b69: PUSH2 0x2834
00002b6c: JUMP
00002b6d: JUMPDEST
00002b6e: PUSH1 0x20
00002b70: DUP1
00002b71: DUP3
00002b72: MSTORE
00002b73: DUP2
00002b74: DUP2
00002b75: ADD
00002b76: MSTORE
00002b77: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002b98: PUSH1 0x40
00002b9a: DUP3
00002b9b: ADD
00002b9c: MSTORE
00002b9d: PUSH1 0x60
00002b9f: ADD
00002ba0: SWAP1
00002ba1: JUMP
00002ba2: JUMPDEST
00002ba3: PUSH4 0x4e487b71
00002ba8: PUSH1 0xe0
00002baa: SHL
00002bab: PUSH1 0x00
00002bad: MSTORE
00002bae: PUSH1 0x11
00002bb0: PUSH1 0x04
00002bb2: MSTORE
00002bb3: PUSH1 0x24
00002bb5: PUSH1 0x00
00002bb7: REVERT
00002bb8: JUMPDEST
00002bb9: DUP1
00002bba: DUP3
00002bbb: MUL
00002bbc: DUP2
00002bbd: ISZERO
00002bbe: DUP3
00002bbf: DUP3
00002bc0: DIV
00002bc1: DUP5
00002bc2: EQ
00002bc3: OR
00002bc4: PUSH2 0x0c86
00002bc7: JUMPI
00002bc8: PUSH2 0x0c86
00002bcb: PUSH2 0x2ba2
00002bce: JUMP
00002bcf: JUMPDEST
00002bd0: PUSH1 0x00
00002bd2: DUP3
00002bd3: PUSH2 0x2bec
00002bd6: JUMPI
00002bd7: PUSH4 0x4e487b71
00002bdc: PUSH1 0xe0
00002bde: SHL
00002bdf: PUSH1 0x00
00002be1: MSTORE
00002be2: PUSH1 0x12
00002be4: PUSH1 0x04
00002be6: MSTORE
00002be7: PUSH1 0x24
00002be9: PUSH1 0x00
00002beb: REVERT
00002bec: JUMPDEST
00002bed: POP
00002bee: DIV
00002bef: SWAP1
00002bf0: JUMP
00002bf1: JUMPDEST
00002bf2: PUSH4 0x4e487b71
00002bf7: PUSH1 0xe0
00002bf9: SHL
00002bfa: PUSH1 0x00
00002bfc: MSTORE
00002bfd: PUSH1 0x32
00002bff: PUSH1 0x04
00002c01: MSTORE
00002c02: PUSH1 0x24
00002c04: PUSH1 0x00
00002c06: REVERT
00002c07: JUMPDEST
00002c08: PUSH1 0x00
00002c0a: PUSH1 0x01
00002c0c: DUP3
00002c0d: ADD
00002c0e: PUSH2 0x2c19
00002c11: JUMPI
00002c12: PUSH2 0x2c19
00002c15: PUSH2 0x2ba2
00002c18: JUMP
00002c19: JUMPDEST
00002c1a: POP
00002c1b: PUSH1 0x01
00002c1d: ADD
00002c1e: SWAP1
00002c1f: JUMP
00002c20: JUMPDEST
00002c21: DUP1
00002c22: DUP3
00002c23: ADD
00002c24: DUP1
00002c25: DUP3
00002c26: GT
00002c27: ISZERO
00002c28: PUSH2 0x0c86
00002c2b: JUMPI
00002c2c: PUSH2 0x0c86
00002c2f: PUSH2 0x2ba2
00002c32: JUMP
00002c33: JUMPDEST
00002c34: DUP2
00002c35: DUP2
00002c36: SUB
00002c37: DUP2
00002c38: DUP2
00002c39: GT
00002c3a: ISZERO
00002c3b: PUSH2 0x0c86
00002c3e: JUMPI
00002c3f: PUSH2 0x0c86
00002c42: PUSH2 0x2ba2
00002c45: JUMP
00002c46: JUMPDEST
00002c47: PUSH1 0x00
00002c49: PUSH1 0x20
00002c4b: DUP3
00002c4c: DUP5
00002c4d: SUB
00002c4e: SLT
00002c4f: ISZERO
00002c50: PUSH2 0x2c58
00002c53: JUMPI
00002c54: PUSH1 0x00
00002c56: DUP1
00002c57: REVERT
00002c58: JUMPDEST
00002c59: DUP2
00002c5a: MLOAD
00002c5b: PUSH2 0x0ec5
00002c5e: DUP2
00002c5f: PUSH2 0x2834
00002c62: JUMP
00002c63: JUMPDEST
00002c64: PUSH1 0x00
00002c66: PUSH1 0xa0
00002c68: DUP3
00002c69: ADD
00002c6a: DUP8
00002c6b: DUP4
00002c6c: MSTORE
00002c6d: PUSH1 0x20
00002c6f: DUP8
00002c70: DUP2
00002c71: DUP6
00002c72: ADD
00002c73: MSTORE
00002c74: PUSH1 0xa0
00002c76: PUSH1 0x40
00002c78: DUP6
00002c79: ADD
00002c7a: MSTORE
00002c7b: DUP2
00002c7c: DUP8
00002c7d: MLOAD
00002c7e: DUP1
00002c7f: DUP5
00002c80: MSTORE
00002c81: PUSH1 0xc0
00002c83: DUP7
00002c84: ADD
00002c85: SWAP2
00002c86: POP
00002c87: DUP3
00002c88: DUP10
00002c89: ADD
00002c8a: SWAP4
00002c8b: POP
00002c8c: PUSH1 0x00
00002c8e: JUMPDEST
00002c8f: DUP2
00002c90: DUP2
00002c91: LT
00002c92: ISZERO
00002c93: PUSH2 0x2cb3
00002c96: JUMPI
00002c97: DUP5
00002c98: MLOAD
00002c99: PUSH1 0x01
00002c9b: PUSH1 0x01
00002c9d: PUSH1 0xa0
00002c9f: SHL
00002ca0: SUB
00002ca1: AND
00002ca2: DUP4
00002ca3: MSTORE
00002ca4: SWAP4
00002ca5: DUP4
00002ca6: ADD
00002ca7: SWAP4
00002ca8: SWAP2
00002ca9: DUP4
00002caa: ADD
00002cab: SWAP2
00002cac: PUSH1 0x01
00002cae: ADD
00002caf: PUSH2 0x2c8e
00002cb2: JUMP
00002cb3: JUMPDEST
00002cb4: POP
00002cb5: POP
00002cb6: PUSH1 0x01
00002cb8: PUSH1 0x01
00002cba: PUSH1 0xa0
00002cbc: SHL
00002cbd: SUB
00002cbe: SWAP7
00002cbf: SWAP1
00002cc0: SWAP7
00002cc1: AND
00002cc2: PUSH1 0x60
00002cc4: DUP6
00002cc5: ADD
00002cc6: MSTORE
00002cc7: POP
00002cc8: POP
00002cc9: POP
00002cca: PUSH1 0x80
00002ccc: ADD
00002ccd: MSTORE
00002cce: SWAP4
00002ccf: SWAP3
00002cd0: POP
00002cd1: POP
00002cd2: POP
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: PUSH1 0x00
00002cd7: DUP1
00002cd8: PUSH1 0x00
00002cda: PUSH1 0x60
00002cdc: DUP5
00002cdd: DUP7
00002cde: SUB
00002cdf: SLT
00002ce0: ISZERO
00002ce1: PUSH2 0x2ce9
00002ce4: JUMPI
00002ce5: PUSH1 0x00
00002ce7: DUP1
00002ce8: REVERT
00002ce9: JUMPDEST
00002cea: DUP4
00002ceb: MLOAD
00002cec: SWAP3
00002ced: POP
00002cee: PUSH1 0x20
00002cf0: DUP5
00002cf1: ADD
00002cf2: MLOAD
00002cf3: SWAP2
00002cf4: POP
00002cf5: PUSH1 0x40
00002cf7: DUP5
00002cf8: ADD
00002cf9: MLOAD
00002cfa: SWAP1
00002cfb: POP
00002cfc: SWAP3
00002cfd: POP
00002cfe: SWAP3
00002cff: POP
00002d00: SWAP3
00002d01: JUMP
00002d02: INVALID
00002d03: DUP12
00002d04: UNKNOWN(0xE0)
00002d05: SMOD
00002d06: SWAP13
00002d07: MSTORE8
00002d08: AND
00002d09: MSIZE
00002d0a: EQ
00002d0b: SGT
00002d0c: DIFFICULTY
00002d0d: UNKNOWN(0xCD)
00002d0e: UNKNOWN(0x1F)
00002d0f: UNKNOWN(0xD0)
00002d10: LOG4
00002d11: CALLCODE
00002d12: DUP5
00002d13: NOT
00002d14: BLOBHASH
00002d15: PUSH32 0x9722a3daafe3b4186f6b6457e0ddf252ad1be2c89b69c2b068fc378daa952ba7
00002d36: CALL
00002d37: PUSH4 0xc4a11628
00002d3c: CREATE2
00002d3d: GAS
00002d3e: UNKNOWN(0x4D)
00002d3f: CREATE2
00002d40: UNKNOWN(0x23)
00002d41: UNKNOWN(0xB3)
00002d42: UNKNOWN(0xEF)
00002d43: LOG2
00002d44: PUSH5 0x6970667358
00002d4a: UNKNOWN(0x22)
00002d4b: SLT
00002d4c: KECCAK256
00002d4d: SWAP8
00002d4e: PC
00002d4f: UNKNOWN(0xB9)
00002d50: UNKNOWN(0x4F)
00002d51: AND
00002d52: UNKNOWN(0xA8)
00002d53: UNKNOWN(0xFB)
00002d54: DUP1
00002d55: UNKNOWN(0x1F)
00002d56: SWAP10
00002d57: UNKNOWN(0xD9)
00002d58: UNKNOWN(0x2A)
00002d59: UNKNOWN(0xAB)
00002d5a: UNKNOWN(0x4D)
00002d5b: DUP3
00002d5c: UNKNOWN(0xCF)
00002d5d: DUP6
00002d5e: SELFDESTRUCT
00002d5f: BALANCE
00002d60: SWAP10
00002d61: SAR
00002d62: UNKNOWN(0xD4)
00002d63: MSTORE
00002d64: PUSH17 0x73c407d59baa323264736f6c6343000811
00002d76: STOP
00002d77: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x082a660adc491161a7833255dbfa7837e0bbb46f126b640289141c9c37756dbd call_targets: 0x72f86b500bedca25b6f1cbcbaf6e0f2fe219d074 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x082a660adc491161a7833255dbfa7837e0bbb46f126b640289141c9c37756dbd", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x72f86b500bedca25b6f1cbcbaf6e0f2fe219d074" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf53fd584", "selector": "0xf53fd584", "calldata_variants": [ "0xf53fd584", "0xf53fd5840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84ba65d", "selector": "0xf84ba65d", "calldata_variants": [ "0xf84ba65d", "0xf84ba65d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffb54a99", "selector": "0xffb54a99", "calldata_variants": [ "0xffb54a99", "0xffb54a990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe53c30b0", "selector": "0xe53c30b0", "calldata_variants": [ "0xe53c30b0", "0xe53c30b00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe632313c", "selector": "0xe632313c", "calldata_variants": [ "0xe632313c", "0xe632313c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xee9ef29e", "selector": "0xee9ef29e", "calldata_variants": [ "0xee9ef29e", "0xee9ef29e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3514, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9568, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9767, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [], "untrusted_call_count": 7 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x082a660adc491161a7833255dbfa7837e0bbb46f126b640289141c9c37756dbd call_targets: 0x72f86b500bedca25b6f1cbcbaf6e0f2fe219d074 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x082a660adc491161a7833255dbfa7837e0bbb46f126b640289141c9c37756dbd", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x72f86b500bedca25b6f1cbcbaf6e0f2fe219d074" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf53fd584", "selector": "0xf53fd584", "calldata_variants": [ "0xf53fd584", "0xf53fd5840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84ba65d", "selector": "0xf84ba65d", "calldata_variants": [ "0xf84ba65d", "0xf84ba65d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffb54a99", "selector": "0xffb54a99", "calldata_variants": [ "0xffb54a99", "0xffb54a990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe53c30b0", "selector": "0xe53c30b0", "calldata_variants": [ "0xe53c30b0", "0xe53c30b00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe632313c", "selector": "0xe632313c", "calldata_variants": [ "0xe632313c", "0xe632313c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xee9ef29e", "selector": "0xee9ef29e", "calldata_variants": [ "0xee9ef29e", "0xee9ef29e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3514, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9568, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9767, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xda6d93f7dec5c56acacec203af84c60fba0f89576757cd9f3ce92d4442f96bc6 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xda6d93f7dec5c56acacec203af84c60fba0f89576757cd9f3ce92d4442f96bc6", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf53fd584", "selector": "0xf53fd584", "calldata_variants": [ "0xf53fd584", "0xf53fd5840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84ba65d", "selector": "0xf84ba65d", "calldata_variants": [ "0xf84ba65d", "0xf84ba65d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffb54a99", "selector": "0xffb54a99", "calldata_variants": [ "0xffb54a99", "0xffb54a990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe53c30b0", "selector": "0xe53c30b0", "calldata_variants": [ "0xe53c30b0", "0xe53c30b00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe632313c", "selector": "0xe632313c", "calldata_variants": [ "0xe632313c", "0xe632313c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xee9ef29e", "selector": "0xee9ef29e", "calldata_variants": [ "0xee9ef29e", "0xee9ef29e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xda6d93f7dec5c56acacec203af84c60fba0f89576757cd9f3ce92d4442f96bc6 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xda6d93f7dec5c56acacec203af84c60fba0f89576757cd9f3ce92d4442f96bc6", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf53fd584", "selector": "0xf53fd584", "calldata_variants": [ "0xf53fd584", "0xf53fd5840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf84ba65d", "selector": "0xf84ba65d", "calldata_variants": [ "0xf84ba65d", "0xf84ba65d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffb54a99", "selector": "0xffb54a99", "calldata_variants": [ "0xffb54a99", "0xffb54a990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe53c30b0", "selector": "0xe53c30b0", "calldata_variants": [ "0xe53c30b0", "0xe53c30b00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe632313c", "selector": "0xe632313c", "calldata_variants": [ "0xe632313c", "0xe632313c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xee9ef29e", "selector": "0xee9ef29e", "calldata_variants": [ "0xee9ef29e", "0xee9ef29e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 2 }