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

Analysis Run

019b3844-a3db-717c-802a-ca35da82e9ee

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
15907 artifact.fetch complete 1 / 3 4 months ago
15908 tool.cast_disasm complete 1 / 3 4 months ago
59297 analysis.bundle complete 1 / 3 2 weeks ago
59298 capability.graph complete 1 / 3 2 weeks ago
59299 detector.run complete 1 / 3 2 weeks ago
59300 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
6214
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x026a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x79ba5097
00000019: GT
0000001a: PUSH2 0x0144
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88a802f
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd8247ee7
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd8247ee7
0000003a: EQ
0000003b: PUSH2 0x07f5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdbb0831f
00000045: EQ
00000046: PUSH2 0x0815
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdf136d65
00000050: EQ
00000051: PUSH2 0x083c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe59ab2bc
0000005b: EQ
0000005c: PUSH2 0x0874
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xe941fa78
00000066: EQ
00000067: PUSH2 0x0889
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xebe2b12b
00000071: EQ
00000072: PUSH2 0x08a9
00000075: JUMPI
00000076: PUSH2 0x0271
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xb88a802f
00000081: EQ
00000082: PUSH2 0x0752
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc8f33c91
0000008c: EQ
0000008d: PUSH2 0x0767
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xcc1a378f
00000097: EQ
00000098: PUSH2 0x07a4
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xcd3daf9d
000000a2: EQ
000000a3: PUSH2 0x07c4
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xd4b0de2f
000000ad: EQ
000000ae: PUSH2 0x07d9
000000b1: JUMPI
000000b2: PUSH2 0x0271
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8da5cb5b
000000c8: EQ
000000c9: PUSH2 0x06ba
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x91b4ded9
000000d3: EQ
000000d4: PUSH2 0x06da
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x95d89b41
000000de: EQ
000000df: PUSH2 0x02a6
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa694fc3a
000000e9: EQ
000000ea: PUSH2 0x06f0
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa8d088bb
000000f4: EQ
000000f5: PUSH2 0x0710
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xb6ac642a
000000ff: EQ
00000100: PUSH2 0x0732
00000103: JUMPI
00000104: PUSH2 0x0271
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x79ba5097
0000010f: EQ
00000110: PUSH2 0x060b
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x7ae2b5c7
0000011a: EQ
0000011b: PUSH2 0x0620
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x7b0a47ee
00000125: EQ
00000126: PUSH2 0x0640
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x80faa57d
00000130: EQ
00000131: PUSH2 0x0678
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x8b876347
0000013b: EQ
0000013c: PUSH2 0x068d
0000013f: JUMPI
00000140: PUSH2 0x0271
00000143: JUMP
00000144: JUMPDEST
00000145: DUP1
00000146: PUSH4 0x386a9525
0000014b: GT
0000014c: PUSH2 0x01dd
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x53a47bb7
00000156: GT
00000157: PUSH2 0x01a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x53a47bb7
00000161: EQ
00000162: PUSH2 0x04fb
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x5c975abb
0000016c: EQ
0000016d: PUSH2 0x0533
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x70a08231
00000177: EQ
00000178: PUSH2 0x055d
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x72f702f3
00000182: EQ
00000183: PUSH2 0x0593
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x74899a7e
0000018d: EQ
0000018e: PUSH2 0x05c7
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x787a08a6
00000198: EQ
00000199: PUSH2 0x05e7
0000019c: JUMPI
0000019d: PUSH2 0x0271
000001a0: JUMP
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x386a9525
000001a8: EQ
000001a9: PUSH2 0x0401
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x3c6b16ab
000001b3: EQ
000001b4: PUSH2 0x0425
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x499a579c
000001be: EQ
000001bf: PUSH2 0x0445
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x4cf1f49b
000001c9: EQ
000001ca: PUSH2 0x04c6
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x4fc3f41a
000001d4: EQ
000001d5: PUSH2 0x04db
000001d8: JUMPI
000001d9: PUSH2 0x0271
000001dc: JUMP
000001dd: JUMPDEST
000001de: DUP1
000001df: PUSH4 0x18160ddd
000001e4: GT
000001e5: PUSH2 0x022f
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x18160ddd
000001ef: EQ
000001f0: PUSH2 0x0351
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x1c1f78eb
000001fa: EQ
000001fb: PUSH2 0x0366
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x1e9049cf
00000205: EQ
00000206: PUSH2 0x037b
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x2d06177a
00000210: EQ
00000211: PUSH2 0x03a7
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x2e1a7d4d
0000021b: EQ
0000021c: PUSH2 0x03c7
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x313ce567
00000226: EQ
00000227: PUSH2 0x03da
0000022a: JUMPI
0000022b: PUSH2 0x0271
0000022e: JUMP
0000022f: JUMPDEST
00000230: DUP1
00000231: PUSH3 0x8cc262
00000235: EQ
00000236: PUSH2 0x0273
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x06fdde03
00000240: EQ
00000241: PUSH2 0x02a6
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x0700037d
0000024b: EQ
0000024c: PUSH2 0x02e4
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x1627540c
00000256: EQ
00000257: PUSH2 0x0311
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x16c38b3c
00000261: EQ
00000262: PUSH2 0x0331
00000265: JUMPI
00000266: PUSH2 0x0271
00000269: JUMP
0000026a: JUMPDEST
0000026b: CALLDATASIZE
0000026c: PUSH2 0x0271
0000026f: JUMPI
00000270: STOP
00000271: JUMPDEST
00000272: STOP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x0293
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x2702
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x08cf
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH1 0x40
00000296: MLOAD
00000297: SWAP1
00000298: DUP2
00000299: MSTORE
0000029a: PUSH1 0x20
0000029c: ADD
0000029d: JUMPDEST
0000029e: PUSH1 0x40
000002a0: MLOAD
000002a1: DUP1
000002a2: SWAP2
000002a3: SUB
000002a4: SWAP1
000002a5: RETURN
000002a6: JUMPDEST
000002a7: CALLVALUE
000002a8: DUP1
000002a9: ISZERO
000002aa: PUSH2 0x02b2
000002ad: JUMPI
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: REVERT
000002b2: JUMPDEST
000002b3: POP
000002b4: PUSH2 0x02d7
000002b7: PUSH1 0x40
000002b9: MLOAD
000002ba: DUP1
000002bb: PUSH1 0x40
000002bd: ADD
000002be: PUSH1 0x40
000002c0: MSTORE
000002c1: DUP1
000002c2: PUSH1 0x05
000002c4: DUP2
000002c5: MSTORE
000002c6: PUSH1 0x20
000002c8: ADD
000002c9: PUSH5 0x5052494d45
000002cf: PUSH1 0xd8
000002d1: SHL
000002d2: DUP2
000002d3: MSTORE
000002d4: POP
000002d5: DUP2
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: PUSH2 0x029d
000002de: SWAP2
000002df: SWAP1
000002e0: PUSH2 0x2803
000002e3: JUMP
000002e4: JUMPDEST
000002e5: CALLVALUE
000002e6: DUP1
000002e7: ISZERO
000002e8: PUSH2 0x02f0
000002eb: JUMPI
000002ec: PUSH1 0x00
000002ee: DUP1
000002ef: REVERT
000002f0: JUMPDEST
000002f1: POP
000002f2: PUSH2 0x0293
000002f5: PUSH2 0x02ff
000002f8: CALLDATASIZE
000002f9: PUSH1 0x04
000002fb: PUSH2 0x2702
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH1 0x0a
00000302: PUSH1 0x20
00000304: MSTORE
00000305: PUSH1 0x00
00000307: SWAP1
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x40
0000030c: SWAP1
0000030d: KECCAK256
0000030e: SLOAD
0000030f: DUP2
00000310: JUMP
00000311: JUMPDEST
00000312: CALLVALUE
00000313: DUP1
00000314: ISZERO
00000315: PUSH2 0x031d
00000318: JUMPI
00000319: PUSH1 0x00
0000031b: DUP1
0000031c: REVERT
0000031d: JUMPDEST
0000031e: POP
0000031f: PUSH2 0x0271
00000322: PUSH2 0x032c
00000325: CALLDATASIZE
00000326: PUSH1 0x04
00000328: PUSH2 0x2702
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH2 0x094c
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: DUP1
00000334: ISZERO
00000335: PUSH2 0x033d
00000338: JUMPI
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: REVERT
0000033d: JUMPDEST
0000033e: POP
0000033f: PUSH2 0x0271
00000342: PUSH2 0x034c
00000345: CALLDATASIZE
00000346: PUSH1 0x04
00000348: PUSH2 0x2729
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH2 0x09a9
00000350: JUMP
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x0293
00000362: PUSH2 0x0a21
00000365: JUMP
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x0293
00000377: PUSH2 0x0a38
0000037a: JUMP
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0387
00000382: JUMPI
00000383: PUSH1 0x00
00000385: DUP1
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH2 0x0392
0000038c: PUSH3 0x4f1a00
00000390: DUP2
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH1 0x40
00000395: MLOAD
00000396: PUSH4 0xffffffff
0000039b: SWAP1
0000039c: SWAP2
0000039d: AND
0000039e: DUP2
0000039f: MSTORE
000003a0: PUSH1 0x20
000003a2: ADD
000003a3: PUSH2 0x029d
000003a6: JUMP
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: POP
000003b5: PUSH2 0x0271
000003b8: PUSH2 0x03c2
000003bb: CALLDATASIZE
000003bc: PUSH1 0x04
000003be: PUSH2 0x2702
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x0a70
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH2 0x0271
000003cb: PUSH2 0x03d5
000003ce: CALLDATASIZE
000003cf: PUSH1 0x04
000003d1: PUSH2 0x2761
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH2 0x0b7a
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x03ef
000003eb: PUSH1 0x12
000003ed: DUP2
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH1 0x40
000003f2: MLOAD
000003f3: PUSH1 0xff
000003f5: SWAP1
000003f6: SWAP2
000003f7: AND
000003f8: DUP2
000003f9: MSTORE
000003fa: PUSH1 0x20
000003fc: ADD
000003fd: PUSH2 0x029d
00000400: JUMP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: PUSH1 0x07
00000411: SLOAD
00000412: PUSH2 0x0392
00000415: SWAP1
00000416: PUSH1 0x01
00000418: PUSH1 0x80
0000041a: SHL
0000041b: SWAP1
0000041c: DIV
0000041d: PUSH4 0xffffffff
00000422: AND
00000423: DUP2
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x0271
00000436: PUSH2 0x0440
00000439: CALLDATASIZE
0000043a: PUSH1 0x04
0000043c: PUSH2 0x2761
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x0fd8
00000444: JUMP
00000445: JUMPDEST
00000446: CALLVALUE
00000447: DUP1
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: POP
00000453: PUSH2 0x0498
00000456: PUSH2 0x0460
00000459: CALLDATASIZE
0000045a: PUSH1 0x04
0000045c: PUSH2 0x2702
0000045f: JUMP
00000460: JUMPDEST
00000461: PUSH1 0x05
00000463: PUSH1 0x20
00000465: MSTORE
00000466: PUSH1 0x00
00000468: SWAP1
00000469: DUP2
0000046a: MSTORE
0000046b: PUSH1 0x40
0000046d: SWAP1
0000046e: KECCAK256
0000046f: SLOAD
00000470: PUSH1 0x01
00000472: PUSH1 0x01
00000474: PUSH1 0x68
00000476: SHL
00000477: SUB
00000478: DUP1
00000479: DUP3
0000047a: AND
0000047b: SWAP2
0000047c: PUSH1 0x01
0000047e: PUSH1 0x68
00000480: SHL
00000481: DUP2
00000482: DIV
00000483: SWAP1
00000484: SWAP2
00000485: AND
00000486: SWAP1
00000487: PUSH1 0x01
00000489: PUSH1 0xd0
0000048b: SHL
0000048c: SWAP1
0000048d: DIV
0000048e: PUSH6 0xffffffffffff
00000495: AND
00000496: DUP4
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH1 0x40
0000049b: DUP1
0000049c: MLOAD
0000049d: PUSH1 0x01
0000049f: PUSH1 0x01
000004a1: PUSH1 0x68
000004a3: SHL
000004a4: SUB
000004a5: SWAP5
000004a6: DUP6
000004a7: AND
000004a8: DUP2
000004a9: MSTORE
000004aa: SWAP4
000004ab: SWAP1
000004ac: SWAP3
000004ad: AND
000004ae: PUSH1 0x20
000004b0: DUP5
000004b1: ADD
000004b2: MSTORE
000004b3: PUSH6 0xffffffffffff
000004ba: AND
000004bb: SWAP1
000004bc: DUP3
000004bd: ADD
000004be: MSTORE
000004bf: PUSH1 0x60
000004c1: ADD
000004c2: PUSH2 0x029d
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 0x0271
000004d7: PUSH2 0x1287
000004da: JUMP
000004db: JUMPDEST
000004dc: CALLVALUE
000004dd: DUP1
000004de: ISZERO
000004df: PUSH2 0x04e7
000004e2: JUMPI
000004e3: PUSH1 0x00
000004e5: DUP1
000004e6: REVERT
000004e7: JUMPDEST
000004e8: POP
000004e9: PUSH2 0x0271
000004ec: PUSH2 0x04f6
000004ef: CALLDATASIZE
000004f0: PUSH1 0x04
000004f2: PUSH2 0x2761
000004f5: JUMP
000004f6: JUMPDEST
000004f7: PUSH2 0x1423
000004fa: JUMP
000004fb: JUMPDEST
000004fc: CALLVALUE
000004fd: DUP1
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: POP
00000509: PUSH1 0x02
0000050b: SLOAD
0000050c: PUSH2 0x051b
0000050f: SWAP1
00000510: PUSH1 0x01
00000512: PUSH1 0x01
00000514: PUSH1 0xa0
00000516: SHL
00000517: SUB
00000518: AND
00000519: DUP2
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x40
0000051e: MLOAD
0000051f: PUSH1 0x01
00000521: PUSH1 0x01
00000523: PUSH1 0xa0
00000525: SHL
00000526: SUB
00000527: SWAP1
00000528: SWAP2
00000529: AND
0000052a: DUP2
0000052b: MSTORE
0000052c: PUSH1 0x20
0000052e: ADD
0000052f: PUSH2 0x029d
00000532: JUMP
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH1 0x04
00000543: SLOAD
00000544: PUSH2 0x054d
00000547: SWAP1
00000548: PUSH1 0xff
0000054a: AND
0000054b: DUP2
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH1 0x40
00000550: MLOAD
00000551: SWAP1
00000552: ISZERO
00000553: ISZERO
00000554: DUP2
00000555: MSTORE
00000556: PUSH1 0x20
00000558: ADD
00000559: PUSH2 0x029d
0000055c: JUMP
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: POP
0000056b: PUSH2 0x0293
0000056e: PUSH2 0x0578
00000571: CALLDATASIZE
00000572: PUSH1 0x04
00000574: PUSH2 0x2702
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH1 0x01
0000057b: PUSH1 0x01
0000057d: PUSH1 0xa0
0000057f: SHL
00000580: SUB
00000581: AND
00000582: PUSH1 0x00
00000584: SWAP1
00000585: DUP2
00000586: MSTORE
00000587: PUSH1 0x0b
00000589: PUSH1 0x20
0000058b: MSTORE
0000058c: PUSH1 0x40
0000058e: SWAP1
0000058f: KECCAK256
00000590: SLOAD
00000591: SWAP1
00000592: JUMP
00000593: JUMPDEST
00000594: CALLVALUE
00000595: DUP1
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: POP
000005a1: PUSH2 0x051b
000005a4: PUSH32 0x0000000000000000000000004da0c48376c277cdbd7fc6fdc6936dee3e4adf75
000005c5: DUP2
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 0x0271
000005d8: PUSH2 0x05e2
000005db: CALLDATASIZE
000005dc: PUSH1 0x04
000005de: PUSH2 0x2761
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH2 0x1575
000005e6: JUMP
000005e7: JUMPDEST
000005e8: CALLVALUE
000005e9: DUP1
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: POP
000005f5: PUSH1 0x07
000005f7: SLOAD
000005f8: PUSH2 0x0392
000005fb: SWAP1
000005fc: PUSH1 0x01
000005fe: PUSH1 0x60
00000600: SHL
00000601: SWAP1
00000602: DIV
00000603: PUSH4 0xffffffff
00000608: AND
00000609: DUP2
0000060a: JUMP
0000060b: JUMPDEST
0000060c: CALLVALUE
0000060d: DUP1
0000060e: ISZERO
0000060f: PUSH2 0x0617
00000612: JUMPI
00000613: PUSH1 0x00
00000615: DUP1
00000616: REVERT
00000617: JUMPDEST
00000618: POP
00000619: PUSH2 0x0271
0000061c: PUSH2 0x183f
0000061f: JUMP
00000620: JUMPDEST
00000621: CALLVALUE
00000622: DUP1
00000623: ISZERO
00000624: PUSH2 0x062c
00000627: JUMPI
00000628: PUSH1 0x00
0000062a: DUP1
0000062b: REVERT
0000062c: JUMPDEST
0000062d: POP
0000062e: PUSH2 0x0293
00000631: PUSH2 0x063b
00000634: CALLDATASIZE
00000635: PUSH1 0x04
00000637: PUSH2 0x2779
0000063a: JUMP
0000063b: JUMPDEST
0000063c: PUSH2 0x1929
0000063f: JUMP
00000640: JUMPDEST
00000641: CALLVALUE
00000642: DUP1
00000643: ISZERO
00000644: PUSH2 0x064c
00000647: JUMPI
00000648: PUSH1 0x00
0000064a: DUP1
0000064b: REVERT
0000064c: JUMPDEST
0000064d: POP
0000064e: PUSH1 0x06
00000650: SLOAD
00000651: PUSH2 0x0660
00000654: SWAP1
00000655: PUSH1 0x01
00000657: PUSH1 0x01
00000659: PUSH1 0x80
0000065b: SHL
0000065c: SUB
0000065d: AND
0000065e: DUP2
0000065f: JUMP
00000660: JUMPDEST
00000661: PUSH1 0x40
00000663: MLOAD
00000664: PUSH1 0x01
00000666: PUSH1 0x01
00000668: PUSH1 0x80
0000066a: SHL
0000066b: SUB
0000066c: SWAP1
0000066d: SWAP2
0000066e: AND
0000066f: DUP2
00000670: MSTORE
00000671: PUSH1 0x20
00000673: ADD
00000674: PUSH2 0x029d
00000677: JUMP
00000678: JUMPDEST
00000679: CALLVALUE
0000067a: DUP1
0000067b: ISZERO
0000067c: PUSH2 0x0684
0000067f: JUMPI
00000680: PUSH1 0x00
00000682: DUP1
00000683: REVERT
00000684: JUMPDEST
00000685: POP
00000686: PUSH2 0x0293
00000689: PUSH2 0x1941
0000068c: JUMP
0000068d: JUMPDEST
0000068e: CALLVALUE
0000068f: DUP1
00000690: ISZERO
00000691: PUSH2 0x0699
00000694: JUMPI
00000695: PUSH1 0x00
00000697: DUP1
00000698: REVERT
00000699: JUMPDEST
0000069a: POP
0000069b: PUSH2 0x0293
0000069e: PUSH2 0x06a8
000006a1: CALLDATASIZE
000006a2: PUSH1 0x04
000006a4: PUSH2 0x2702
000006a7: JUMP
000006a8: JUMPDEST
000006a9: PUSH1 0x09
000006ab: PUSH1 0x20
000006ad: MSTORE
000006ae: PUSH1 0x00
000006b0: SWAP1
000006b1: DUP2
000006b2: MSTORE
000006b3: PUSH1 0x40
000006b5: SWAP1
000006b6: KECCAK256
000006b7: SLOAD
000006b8: DUP2
000006b9: JUMP
000006ba: JUMPDEST
000006bb: CALLVALUE
000006bc: DUP1
000006bd: ISZERO
000006be: PUSH2 0x06c6
000006c1: JUMPI
000006c2: PUSH1 0x00
000006c4: DUP1
000006c5: REVERT
000006c6: JUMPDEST
000006c7: POP
000006c8: PUSH1 0x01
000006ca: SLOAD
000006cb: PUSH2 0x051b
000006ce: SWAP1
000006cf: PUSH1 0x01
000006d1: PUSH1 0x01
000006d3: PUSH1 0xa0
000006d5: SHL
000006d6: SUB
000006d7: AND
000006d8: DUP2
000006d9: JUMP
000006da: JUMPDEST
000006db: CALLVALUE
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x0293
000006eb: PUSH1 0x03
000006ed: SLOAD
000006ee: DUP2
000006ef: JUMP
000006f0: JUMPDEST
000006f1: CALLVALUE
000006f2: DUP1
000006f3: ISZERO
000006f4: PUSH2 0x06fc
000006f7: JUMPI
000006f8: PUSH1 0x00
000006fa: DUP1
000006fb: REVERT
000006fc: JUMPDEST
000006fd: POP
000006fe: PUSH2 0x0271
00000701: PUSH2 0x070b
00000704: CALLDATASIZE
00000705: PUSH1 0x04
00000707: PUSH2 0x2761
0000070a: JUMP
0000070b: JUMPDEST
0000070c: PUSH2 0x1966
0000070f: JUMP
00000710: JUMPDEST
00000711: CALLVALUE
00000712: DUP1
00000713: ISZERO
00000714: PUSH2 0x071c
00000717: JUMPI
00000718: PUSH1 0x00
0000071a: DUP1
0000071b: REVERT
0000071c: JUMPDEST
0000071d: POP
0000071e: PUSH2 0x0725
00000721: PUSH2 0x1bd6
00000724: JUMP
00000725: JUMPDEST
00000726: PUSH1 0x40
00000728: MLOAD
00000729: PUSH2 0x029d
0000072c: SWAP2
0000072d: SWAP1
0000072e: PUSH2 0x27b6
00000731: JUMP
00000732: JUMPDEST
00000733: CALLVALUE
00000734: DUP1
00000735: ISZERO
00000736: PUSH2 0x073e
00000739: JUMPI
0000073a: PUSH1 0x00
0000073c: DUP1
0000073d: REVERT
0000073e: JUMPDEST
0000073f: POP
00000740: PUSH2 0x0271
00000743: PUSH2 0x074d
00000746: CALLDATASIZE
00000747: PUSH1 0x04
00000749: PUSH2 0x2761
0000074c: JUMP
0000074d: JUMPDEST
0000074e: PUSH2 0x1c38
00000751: JUMP
00000752: JUMPDEST
00000753: CALLVALUE
00000754: DUP1
00000755: ISZERO
00000756: PUSH2 0x075e
00000759: JUMPI
0000075a: PUSH1 0x00
0000075c: DUP1
0000075d: REVERT
0000075e: JUMPDEST
0000075f: POP
00000760: PUSH2 0x0271
00000763: PUSH2 0x1cd7
00000766: JUMP
00000767: JUMPDEST
00000768: CALLVALUE
00000769: DUP1
0000076a: ISZERO
0000076b: PUSH2 0x0773
0000076e: JUMPI
0000076f: PUSH1 0x00
00000771: DUP1
00000772: REVERT
00000773: JUMPDEST
00000774: POP
00000775: PUSH1 0x07
00000777: SLOAD
00000778: PUSH2 0x078d
0000077b: SWAP1
0000077c: PUSH1 0x01
0000077e: PUSH1 0xd0
00000780: SHL
00000781: SWAP1
00000782: DIV
00000783: PUSH6 0xffffffffffff
0000078a: AND
0000078b: DUP2
0000078c: JUMP
0000078d: JUMPDEST
0000078e: PUSH1 0x40
00000790: MLOAD
00000791: PUSH6 0xffffffffffff
00000798: SWAP1
00000799: SWAP2
0000079a: AND
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH1 0x20
0000079f: ADD
000007a0: PUSH2 0x029d
000007a3: JUMP
000007a4: JUMPDEST
000007a5: CALLVALUE
000007a6: DUP1
000007a7: ISZERO
000007a8: PUSH2 0x07b0
000007ab: JUMPI
000007ac: PUSH1 0x00
000007ae: DUP1
000007af: REVERT
000007b0: JUMPDEST
000007b1: POP
000007b2: PUSH2 0x0271
000007b5: PUSH2 0x07bf
000007b8: CALLDATASIZE
000007b9: PUSH1 0x04
000007bb: PUSH2 0x2761
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH2 0x1dff
000007c3: JUMP
000007c4: JUMPDEST
000007c5: CALLVALUE
000007c6: DUP1
000007c7: ISZERO
000007c8: PUSH2 0x07d0
000007cb: JUMPI
000007cc: PUSH1 0x00
000007ce: DUP1
000007cf: REVERT
000007d0: JUMPDEST
000007d1: POP
000007d2: PUSH2 0x0293
000007d5: PUSH2 0x1fca
000007d8: JUMP
000007d9: JUMPDEST
000007da: CALLVALUE
000007db: DUP1
000007dc: ISZERO
000007dd: PUSH2 0x07e5
000007e0: JUMPI
000007e1: PUSH1 0x00
000007e3: DUP1
000007e4: REVERT
000007e5: JUMPDEST
000007e6: POP
000007e7: PUSH2 0x0293
000007ea: PUSH8 0x06f05b59d3b20000
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 0x0271
00000806: PUSH2 0x0810
00000809: CALLDATASIZE
0000080a: PUSH1 0x04
0000080c: PUSH2 0x2761
0000080f: JUMP
00000810: JUMPDEST
00000811: PUSH2 0x206e
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 0x08
00000825: SLOAD
00000826: PUSH2 0x051b
00000829: SWAP1
0000082a: PUSH1 0x01
0000082c: PUSH1 0x60
0000082e: SHL
0000082f: SWAP1
00000830: DIV
00000831: PUSH1 0x01
00000833: PUSH1 0x01
00000835: PUSH1 0xa0
00000837: SHL
00000838: SUB
00000839: AND
0000083a: DUP2
0000083b: JUMP
0000083c: JUMPDEST
0000083d: CALLVALUE
0000083e: DUP1
0000083f: ISZERO
00000840: PUSH2 0x0848
00000843: JUMPI
00000844: PUSH1 0x00
00000846: DUP1
00000847: REVERT
00000848: JUMPDEST
00000849: POP
0000084a: PUSH1 0x07
0000084c: SLOAD
0000084d: PUSH2 0x085c
00000850: SWAP1
00000851: PUSH1 0x01
00000853: PUSH1 0x01
00000855: PUSH1 0x60
00000857: SHL
00000858: SUB
00000859: AND
0000085a: DUP2
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH1 0x40
0000085f: MLOAD
00000860: PUSH1 0x01
00000862: PUSH1 0x01
00000864: PUSH1 0x60
00000866: SHL
00000867: SUB
00000868: SWAP1
00000869: SWAP2
0000086a: AND
0000086b: DUP2
0000086c: MSTORE
0000086d: PUSH1 0x20
0000086f: ADD
00000870: PUSH2 0x029d
00000873: JUMP
00000874: JUMPDEST
00000875: CALLVALUE
00000876: DUP1
00000877: ISZERO
00000878: PUSH2 0x0880
0000087b: JUMPI
0000087c: PUSH1 0x00
0000087e: DUP1
0000087f: REVERT
00000880: JUMPDEST
00000881: POP
00000882: PUSH2 0x0271
00000885: PUSH2 0x21c6
00000888: JUMP
00000889: JUMPDEST
0000088a: CALLVALUE
0000088b: DUP1
0000088c: ISZERO
0000088d: PUSH2 0x0895
00000890: JUMPI
00000891: PUSH1 0x00
00000893: DUP1
00000894: REVERT
00000895: JUMPDEST
00000896: POP
00000897: PUSH1 0x08
00000899: SLOAD
0000089a: PUSH2 0x085c
0000089d: SWAP1
0000089e: PUSH1 0x01
000008a0: PUSH1 0x01
000008a2: PUSH1 0x60
000008a4: SHL
000008a5: SUB
000008a6: AND
000008a7: DUP2
000008a8: JUMP
000008a9: JUMPDEST
000008aa: CALLVALUE
000008ab: DUP1
000008ac: ISZERO
000008ad: PUSH2 0x08b5
000008b0: JUMPI
000008b1: PUSH1 0x00
000008b3: DUP1
000008b4: REVERT
000008b5: JUMPDEST
000008b6: POP
000008b7: PUSH1 0x07
000008b9: SLOAD
000008ba: PUSH2 0x078d
000008bd: SWAP1
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: SHL
000008c3: SWAP1
000008c4: DIV
000008c5: PUSH6 0xffffffffffff
000008cc: AND
000008cd: DUP2
000008ce: JUMP
000008cf: JUMPDEST
000008d0: PUSH1 0x01
000008d2: PUSH1 0x01
000008d4: PUSH1 0xa0
000008d6: SHL
000008d7: SUB
000008d8: DUP2
000008d9: AND
000008da: PUSH1 0x00
000008dc: SWAP1
000008dd: DUP2
000008de: MSTORE
000008df: PUSH1 0x0a
000008e1: PUSH1 0x20
000008e3: SWAP1
000008e4: DUP2
000008e5: MSTORE
000008e6: PUSH1 0x40
000008e8: DUP1
000008e9: DUP4
000008ea: KECCAK256
000008eb: SLOAD
000008ec: PUSH1 0x09
000008ee: SWAP1
000008ef: SWAP3
000008f0: MSTORE
000008f1: DUP3
000008f2: KECCAK256
000008f3: SLOAD
000008f4: PUSH8 0x0de0b6b3a7640000
000008fd: SWAP1
000008fe: PUSH2 0x0905
00000901: PUSH2 0x1fca
00000904: JUMP
00000905: JUMPDEST
00000906: PUSH2 0x090f
00000909: SWAP2
0000090a: SWAP1
0000090b: PUSH2 0x29d4
0000090e: JUMP
0000090f: JUMPDEST
00000910: PUSH1 0x01
00000912: PUSH1 0x01
00000914: PUSH1 0xa0
00000916: SHL
00000917: SUB
00000918: DUP6
00000919: AND
0000091a: PUSH1 0x00
0000091c: SWAP1
0000091d: DUP2
0000091e: MSTORE
0000091f: PUSH1 0x0b
00000921: PUSH1 0x20
00000923: MSTORE
00000924: PUSH1 0x40
00000926: SWAP1
00000927: KECCAK256
00000928: SLOAD
00000929: PUSH2 0x0932
0000092c: SWAP2
0000092d: SWAP1
0000092e: PUSH2 0x29b5
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH2 0x093c
00000936: SWAP2
00000937: SWAP1
00000938: PUSH2 0x2966
0000093b: JUMP
0000093c: JUMPDEST
0000093d: PUSH2 0x0946
00000940: SWAP2
00000941: SWAP1
00000942: PUSH2 0x292d
00000945: JUMP
00000946: JUMPDEST
00000947: SWAP3
00000948: SWAP2
00000949: POP
0000094a: POP
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH2 0x0954
00000950: PUSH2 0x22f1
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH1 0x02
00000957: DUP1
00000958: SLOAD
00000959: PUSH1 0x01
0000095b: PUSH1 0x01
0000095d: PUSH1 0xa0
0000095f: SHL
00000960: SUB
00000961: NOT
00000962: AND
00000963: PUSH1 0x01
00000965: PUSH1 0x01
00000967: PUSH1 0xa0
00000969: SHL
0000096a: SUB
0000096b: DUP4
0000096c: AND
0000096d: SWAP1
0000096e: DUP2
0000096f: OR
00000970: SWAP1
00000971: SWAP2
00000972: SSTORE
00000973: PUSH1 0x40
00000975: MLOAD
00000976: SWAP1
00000977: DUP2
00000978: MSTORE
00000979: PUSH32 0x906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce22
0000099a: SWAP1
0000099b: PUSH1 0x20
0000099d: ADD
0000099e: JUMPDEST
0000099f: PUSH1 0x40
000009a1: MLOAD
000009a2: DUP1
000009a3: SWAP2
000009a4: SUB
000009a5: SWAP1
000009a6: LOG1
000009a7: POP
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH2 0x09b1
000009ad: PUSH2 0x22f1
000009b0: JUMP
000009b1: JUMPDEST
000009b2: PUSH1 0x04
000009b4: SLOAD
000009b5: PUSH1 0xff
000009b7: AND
000009b8: ISZERO
000009b9: ISZERO
000009ba: DUP2
000009bb: ISZERO
000009bc: ISZERO
000009bd: EQ
000009be: ISZERO
000009bf: PUSH2 0x09c7
000009c2: JUMPI
000009c3: PUSH2 0x0a1e
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x04
000009ca: DUP1
000009cb: SLOAD
000009cc: PUSH1 0xff
000009ce: NOT
000009cf: AND
000009d0: DUP3
000009d1: ISZERO
000009d2: ISZERO
000009d3: SWAP1
000009d4: DUP2
000009d5: OR
000009d6: SWAP1
000009d7: SWAP2
000009d8: SSTORE
000009d9: PUSH1 0xff
000009db: AND
000009dc: ISZERO
000009dd: PUSH2 0x09e5
000009e0: JUMPI
000009e1: TIMESTAMP
000009e2: PUSH1 0x03
000009e4: SSTORE
000009e5: JUMPDEST
000009e6: PUSH1 0x04
000009e8: SLOAD
000009e9: PUSH1 0x40
000009eb: MLOAD
000009ec: PUSH1 0xff
000009ee: SWAP1
000009ef: SWAP2
000009f0: AND
000009f1: ISZERO
000009f2: ISZERO
000009f3: DUP2
000009f4: MSTORE
000009f5: PUSH32 0x8fb6c181ee25a520cf3dd6565006ef91229fcfe5a989566c2a3b8c115570cec5
00000a16: SWAP1
00000a17: PUSH1 0x20
00000a19: ADD
00000a1a: PUSH2 0x099e
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: POP
00000a20: JUMP
00000a21: JUMPDEST
00000a22: PUSH1 0x06
00000a24: SLOAD
00000a25: PUSH1 0x01
00000a27: PUSH1 0x80
00000a29: SHL
00000a2a: SWAP1
00000a2b: DIV
00000a2c: PUSH1 0x01
00000a2e: PUSH1 0x01
00000a30: PUSH1 0x80
00000a32: SHL
00000a33: SUB
00000a34: AND
00000a35: JUMPDEST
00000a36: SWAP1
00000a37: JUMP
00000a38: JUMPDEST
00000a39: PUSH1 0x07
00000a3b: SLOAD
00000a3c: PUSH1 0x06
00000a3e: SLOAD
00000a3f: PUSH1 0x00
00000a41: SWAP2
00000a42: PUSH2 0x0a62
00000a45: SWAP2
00000a46: PUSH1 0x01
00000a48: PUSH1 0x80
00000a4a: SHL
00000a4b: SWAP1
00000a4c: SWAP2
00000a4d: DIV
00000a4e: PUSH4 0xffffffff
00000a53: AND
00000a54: SWAP1
00000a55: PUSH1 0x01
00000a57: PUSH1 0x01
00000a59: PUSH1 0x80
00000a5b: SHL
00000a5c: SUB
00000a5d: AND
00000a5e: PUSH2 0x2986
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH1 0x01
00000a65: PUSH1 0x01
00000a67: PUSH1 0x80
00000a69: SHL
00000a6a: SUB
00000a6b: AND
00000a6c: SWAP1
00000a6d: POP
00000a6e: SWAP1
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH2 0x0a78
00000a74: PUSH2 0x22f1
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x00
00000a7b: DUP1
00000a7c: JUMPDEST
00000a7d: PUSH1 0x0c
00000a7f: SLOAD
00000a80: DUP2
00000a81: LT
00000a82: ISZERO
00000a83: PUSH2 0x0ae7
00000a86: JUMPI
00000a87: DUP3
00000a88: PUSH1 0x01
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0xa0
00000a8e: SHL
00000a8f: SUB
00000a90: AND
00000a91: PUSH1 0x0c
00000a93: DUP3
00000a94: DUP2
00000a95: SLOAD
00000a96: DUP2
00000a97: LT
00000a98: PUSH2 0x0ab1
00000a9b: JUMPI
00000a9c: PUSH4 0x4e487b71
00000aa1: PUSH1 0xe0
00000aa3: SHL
00000aa4: PUSH1 0x00
00000aa6: MSTORE
00000aa7: PUSH1 0x32
00000aa9: PUSH1 0x04
00000aab: MSTORE
00000aac: PUSH1 0x24
00000aae: PUSH1 0x00
00000ab0: REVERT
00000ab1: JUMPDEST
00000ab2: PUSH1 0x00
00000ab4: SWAP2
00000ab5: DUP3
00000ab6: MSTORE
00000ab7: PUSH1 0x20
00000ab9: SWAP1
00000aba: SWAP2
00000abb: KECCAK256
00000abc: ADD
00000abd: SLOAD
00000abe: PUSH1 0x01
00000ac0: PUSH1 0x01
00000ac2: PUSH1 0xa0
00000ac4: SHL
00000ac5: SUB
00000ac6: AND
00000ac7: EQ
00000ac8: ISZERO
00000ac9: PUSH2 0x0ad5
00000acc: JUMPI
00000acd: PUSH1 0x01
00000acf: SWAP2
00000ad0: POP
00000ad1: PUSH2 0x0ae7
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: DUP1
00000ad7: PUSH2 0x0adf
00000ada: DUP2
00000adb: PUSH2 0x2a17
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: SWAP2
00000ae1: POP
00000ae2: POP
00000ae3: PUSH2 0x0a7c
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: POP
00000ae9: DUP1
00000aea: PUSH2 0x0b39
00000aed: JUMPI
00000aee: PUSH1 0x0c
00000af0: DUP1
00000af1: SLOAD
00000af2: PUSH1 0x01
00000af4: DUP2
00000af5: ADD
00000af6: DUP3
00000af7: SSTORE
00000af8: PUSH1 0x00
00000afa: SWAP2
00000afb: SWAP1
00000afc: SWAP2
00000afd: MSTORE
00000afe: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7
00000b1f: ADD
00000b20: DUP1
00000b21: SLOAD
00000b22: PUSH1 0x01
00000b24: PUSH1 0x01
00000b26: PUSH1 0xa0
00000b28: SHL
00000b29: SUB
00000b2a: NOT
00000b2b: AND
00000b2c: PUSH1 0x01
00000b2e: PUSH1 0x01
00000b30: PUSH1 0xa0
00000b32: SHL
00000b33: SUB
00000b34: DUP5
00000b35: AND
00000b36: OR
00000b37: SWAP1
00000b38: SSTORE
00000b39: JUMPDEST
00000b3a: PUSH1 0x40
00000b3c: MLOAD
00000b3d: PUSH1 0x01
00000b3f: PUSH1 0x01
00000b41: PUSH1 0xa0
00000b43: SHL
00000b44: SUB
00000b45: DUP4
00000b46: AND
00000b47: DUP2
00000b48: MSTORE
00000b49: PUSH32 0x3b4a40cccf2058c593542587329dd385be4f0b588db5471fbd9598e56dd7093a
00000b6a: SWAP1
00000b6b: PUSH1 0x20
00000b6d: ADD
00000b6e: JUMPDEST
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: DUP1
00000b73: SWAP2
00000b74: SUB
00000b75: SWAP1
00000b76: LOG1
00000b77: POP
00000b78: POP
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH1 0x02
00000b7d: PUSH1 0x00
00000b7f: SLOAD
00000b80: EQ
00000b81: ISZERO
00000b82: PUSH2 0x0ba6
00000b85: JUMPI
00000b86: PUSH1 0x40
00000b88: MLOAD
00000b89: PUSH3 0x461bcd
00000b8d: PUSH1 0xe5
00000b8f: SHL
00000b90: DUP2
00000b91: MSTORE
00000b92: PUSH1 0x04
00000b94: ADD
00000b95: PUSH2 0x0b9d
00000b98: SWAP1
00000b99: PUSH2 0x2887
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x40
00000ba0: MLOAD
00000ba1: DUP1
00000ba2: SWAP2
00000ba3: SUB
00000ba4: SWAP1
00000ba5: REVERT
00000ba6: JUMPDEST
00000ba7: PUSH1 0x02
00000ba9: PUSH1 0x00
00000bab: SSTORE
00000bac: DUP1
00000bad: PUSH2 0x0bf8
00000bb0: JUMPI
00000bb1: PUSH1 0x40
00000bb3: MLOAD
00000bb4: PUSH3 0x461bcd
00000bb8: PUSH1 0xe5
00000bba: SHL
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x20
00000bbf: PUSH1 0x04
00000bc1: DUP3
00000bc2: ADD
00000bc3: MSTORE
00000bc4: PUSH1 0x1b
00000bc6: PUSH1 0x24
00000bc8: DUP3
00000bc9: ADD
00000bca: MSTORE
00000bcb: PUSH32 0x57697468647261773a2043616e6e6f7420776974686472617720300000000000
00000bec: PUSH1 0x44
00000bee: DUP3
00000bef: ADD
00000bf0: MSTORE
00000bf1: PUSH1 0x64
00000bf3: ADD
00000bf4: PUSH2 0x0b9d
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x08
00000bfb: SLOAD
00000bfc: PUSH1 0x01
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x60
00000c02: SHL
00000c03: SUB
00000c04: AND
00000c05: ISZERO
00000c06: PUSH2 0x0cb8
00000c09: JUMPI
00000c0a: PUSH1 0x08
00000c0c: SLOAD
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x01
00000c11: PUSH1 0x60
00000c13: SHL
00000c14: SUB
00000c15: AND
00000c16: CALLVALUE
00000c17: EQ
00000c18: PUSH2 0x0c6f
00000c1b: JUMPI
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: PUSH3 0x461bcd
00000c23: PUSH1 0xe5
00000c25: SHL
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: PUSH1 0x04
00000c2c: DUP3
00000c2d: ADD
00000c2e: MSTORE
00000c2f: PUSH1 0x24
00000c31: DUP1
00000c32: DUP3
00000c33: ADD
00000c34: MSTORE
00000c35: PUSH32 0x576974686472617720526571756573743a20666565206973206e6f7420636f72
00000c56: PUSH1 0x44
00000c58: DUP3
00000c59: ADD
00000c5a: MSTORE
00000c5b: PUSH4 0x1c9958dd
00000c60: PUSH1 0xe2
00000c62: SHL
00000c63: PUSH1 0x64
00000c65: DUP3
00000c66: ADD
00000c67: MSTORE
00000c68: PUSH1 0x84
00000c6a: ADD
00000c6b: PUSH2 0x0b9d
00000c6e: JUMP
00000c6f: JUMPDEST
00000c70: CALLVALUE
00000c71: PUSH1 0x08
00000c73: PUSH1 0x0c
00000c75: DUP3
00000c76: DUP3
00000c77: DUP3
00000c78: SWAP1
00000c79: SLOAD
00000c7a: SWAP1
00000c7b: PUSH2 0x0100
00000c7e: EXP
00000c7f: SWAP1
00000c80: DIV
00000c81: PUSH1 0x01
00000c83: PUSH1 0x01
00000c85: PUSH1 0xa0
00000c87: SHL
00000c88: SUB
00000c89: AND
00000c8a: PUSH2 0x0c93
00000c8d: SWAP2
00000c8e: SWAP1
00000c8f: PUSH2 0x290b
00000c92: JUMP
00000c93: JUMPDEST
00000c94: SWAP3
00000c95: POP
00000c96: PUSH2 0x0100
00000c99: EXP
00000c9a: DUP2
00000c9b: SLOAD
00000c9c: DUP2
00000c9d: PUSH1 0x01
00000c9f: PUSH1 0x01
00000ca1: PUSH1 0xa0
00000ca3: SHL
00000ca4: SUB
00000ca5: MUL
00000ca6: NOT
00000ca7: AND
00000ca8: SWAP1
00000ca9: DUP4
00000caa: PUSH1 0x01
00000cac: PUSH1 0x01
00000cae: PUSH1 0xa0
00000cb0: SHL
00000cb1: SUB
00000cb2: AND
00000cb3: MUL
00000cb4: OR
00000cb5: SWAP1
00000cb6: SSTORE
00000cb7: POP
00000cb8: JUMPDEST
00000cb9: CALLER
00000cba: PUSH1 0x00
00000cbc: SWAP1
00000cbd: DUP2
00000cbe: MSTORE
00000cbf: PUSH1 0x05
00000cc1: PUSH1 0x20
00000cc3: SWAP1
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x40
00000cc8: SWAP2
00000cc9: DUP3
00000cca: SWAP1
00000ccb: KECCAK256
00000ccc: DUP3
00000ccd: MLOAD
00000cce: PUSH1 0x60
00000cd0: DUP2
00000cd1: ADD
00000cd2: DUP5
00000cd3: MSTORE
00000cd4: SWAP1
00000cd5: SLOAD
00000cd6: PUSH1 0x01
00000cd8: PUSH1 0x01
00000cda: PUSH1 0x68
00000cdc: SHL
00000cdd: SUB
00000cde: DUP1
00000cdf: DUP3
00000ce0: AND
00000ce1: DUP4
00000ce2: MSTORE
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0x68
00000ce7: SHL
00000ce8: DUP3
00000ce9: DIV
00000cea: AND
00000ceb: SWAP3
00000cec: DUP3
00000ced: ADD
00000cee: SWAP3
00000cef: SWAP1
00000cf0: SWAP3
00000cf1: MSTORE
00000cf2: PUSH1 0x01
00000cf4: PUSH1 0xd0
00000cf6: SHL
00000cf7: SWAP1
00000cf8: SWAP2
00000cf9: DIV
00000cfa: PUSH6 0xffffffffffff
00000d01: AND
00000d02: SWAP2
00000d03: DUP2
00000d04: ADD
00000d05: DUP3
00000d06: SWAP1
00000d07: MSTORE
00000d08: PUSH1 0x07
00000d0a: SLOAD
00000d0b: SWAP1
00000d0c: SWAP2
00000d0d: TIMESTAMP
00000d0e: SWAP2
00000d0f: PUSH2 0x0d26
00000d12: SWAP2
00000d13: PUSH1 0x01
00000d15: PUSH1 0x60
00000d17: SHL
00000d18: SWAP1
00000d19: SWAP2
00000d1a: DIV
00000d1b: PUSH4 0xffffffff
00000d20: AND
00000d21: SWAP1
00000d22: PUSH2 0x2945
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH6 0xffffffffffff
00000d2e: AND
00000d2f: GT
00000d30: PUSH2 0x0d5e
00000d33: JUMPI
00000d34: PUSH1 0x20
00000d36: DUP2
00000d37: ADD
00000d38: MLOAD
00000d39: DUP2
00000d3a: MLOAD
00000d3b: PUSH2 0x0d44
00000d3e: SWAP2
00000d3f: SWAP1
00000d40: PUSH2 0x28be
00000d43: JUMP
00000d44: JUMPDEST
00000d45: PUSH1 0x01
00000d47: PUSH1 0x01
00000d49: PUSH1 0x68
00000d4b: SHL
00000d4c: SUB
00000d4d: AND
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH1 0x00
00000d52: PUSH1 0x40
00000d54: DUP3
00000d55: ADD
00000d56: DUP2
00000d57: SWAP1
00000d58: MSTORE
00000d59: PUSH1 0x20
00000d5b: DUP3
00000d5c: ADD
00000d5d: MSTORE
00000d5e: JUMPDEST
00000d5f: CALLER
00000d60: PUSH1 0x00
00000d62: SWAP1
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x0b
00000d67: PUSH1 0x20
00000d69: MSTORE
00000d6a: PUSH1 0x40
00000d6c: SWAP1
00000d6d: KECCAK256
00000d6e: SLOAD
00000d6f: DUP3
00000d70: DUP2
00000d71: LT
00000d72: ISZERO
00000d73: PUSH2 0x0de4
00000d76: JUMPI
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: PUSH3 0x461bcd
00000d7e: PUSH1 0xe5
00000d80: SHL
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x20
00000d85: PUSH1 0x04
00000d87: DUP3
00000d88: ADD
00000d89: MSTORE
00000d8a: PUSH1 0x3b
00000d8c: PUSH1 0x24
00000d8e: DUP3
00000d8f: ADD
00000d90: MSTORE
00000d91: PUSH32 0x57697468647261773a2043616e206e6f74207769746864726177207468652061
00000db2: PUSH1 0x44
00000db4: DUP3
00000db5: ADD
00000db6: MSTORE
00000db7: PUSH32 0x6d6f756e742e20496e73756666696369656e742062616c616e63650000000000
00000dd8: PUSH1 0x64
00000dda: DUP3
00000ddb: ADD
00000ddc: MSTORE
00000ddd: PUSH1 0x84
00000ddf: ADD
00000de0: PUSH2 0x0b9d
00000de3: JUMP
00000de4: JUMPDEST
00000de5: DUP2
00000de6: MLOAD
00000de7: PUSH1 0x01
00000de9: PUSH1 0x01
00000deb: PUSH1 0x68
00000ded: SHL
00000dee: SUB
00000def: AND
00000df0: DUP4
00000df1: GT
00000df2: ISZERO
00000df3: PUSH2 0x0e75
00000df6: JUMPI
00000df7: PUSH1 0x40
00000df9: MLOAD
00000dfa: PUSH3 0x461bcd
00000dfe: PUSH1 0xe5
00000e00: SHL
00000e01: DUP2
00000e02: MSTORE
00000e03: PUSH1 0x20
00000e05: PUSH1 0x04
00000e07: DUP3
00000e08: ADD
00000e09: MSTORE
00000e0a: PUSH1 0x48
00000e0c: PUSH1 0x24
00000e0e: DUP3
00000e0f: ADD
00000e10: MSTORE
00000e11: PUSH32 0x57697468647261773a2043616e206e6f74207769746864726177207468652061
00000e32: PUSH1 0x44
00000e34: DUP3
00000e35: ADD
00000e36: MSTORE
00000e37: PUSH32 0x6d6f756e742e20496e73756666696369656e7420776974686472617761626c65
00000e58: PUSH1 0x64
00000e5a: DUP3
00000e5b: ADD
00000e5c: MSTORE
00000e5d: PUSH8 0x2062616c616e6365
00000e66: PUSH1 0xc0
00000e68: SHL
00000e69: PUSH1 0x84
00000e6b: DUP3
00000e6c: ADD
00000e6d: MSTORE
00000e6e: PUSH1 0xa4
00000e70: ADD
00000e71: PUSH2 0x0b9d
00000e74: JUMP
00000e75: JUMPDEST
00000e76: DUP2
00000e77: MLOAD
00000e78: PUSH2 0x0e8b
00000e7b: SWAP1
00000e7c: DUP5
00000e7d: SWAP1
00000e7e: PUSH1 0x01
00000e80: PUSH1 0x01
00000e82: PUSH1 0x68
00000e84: SHL
00000e85: SUB
00000e86: AND
00000e87: PUSH2 0x29d4
00000e8a: JUMP
00000e8b: JUMPDEST
00000e8c: CALLER
00000e8d: PUSH1 0x00
00000e8f: DUP2
00000e90: DUP2
00000e91: MSTORE
00000e92: PUSH1 0x05
00000e94: PUSH1 0x20
00000e96: SWAP1
00000e97: DUP2
00000e98: MSTORE
00000e99: PUSH1 0x40
00000e9b: SWAP2
00000e9c: DUP3
00000e9d: SWAP1
00000e9e: KECCAK256
00000e9f: DUP1
00000ea0: SLOAD
00000ea1: SWAP3
00000ea2: DUP8
00000ea3: ADD
00000ea4: MLOAD
00000ea5: SWAP2
00000ea6: DUP8
00000ea7: ADD
00000ea8: MLOAD
00000ea9: PUSH1 0x01
00000eab: PUSH1 0x01
00000ead: PUSH1 0x68
00000eaf: SHL
00000eb0: SUB
00000eb1: SWAP1
00000eb2: DUP2
00000eb3: AND
00000eb4: PUSH1 0x01
00000eb6: PUSH1 0x68
00000eb8: SHL
00000eb9: MUL
00000eba: PUSH13 0xffffffffffffffffffffffffff
00000ec8: PUSH1 0x68
00000eca: SHL
00000ecb: NOT
00000ecc: PUSH6 0xffffffffffff
00000ed3: SWAP1
00000ed4: SWAP5
00000ed5: AND
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0xd0
00000eda: SHL
00000edb: MUL
00000edc: PUSH13 0xffffffffffffffffffffffffff
00000eea: PUSH1 0x68
00000eec: SHL
00000eed: SWAP1
00000eee: SWAP6
00000eef: AND
00000ef0: SWAP7
00000ef1: SWAP1
00000ef2: SWAP2
00000ef3: AND
00000ef4: SWAP6
00000ef5: SWAP1
00000ef6: SWAP6
00000ef7: OR
00000ef8: SWAP3
00000ef9: SWAP1
00000efa: SWAP3
00000efb: OR
00000efc: AND
00000efd: SWAP3
00000efe: SWAP1
00000eff: SWAP3
00000f00: OR
00000f01: SWAP1
00000f02: SWAP2
00000f03: SSTORE
00000f04: PUSH2 0x0f0c
00000f07: SWAP1
00000f08: PUSH2 0x2365
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH1 0x06
00000f0f: SLOAD
00000f10: PUSH2 0x0f2a
00000f13: SWAP1
00000f14: DUP5
00000f15: SWAP1
00000f16: PUSH1 0x01
00000f18: PUSH1 0x80
00000f1a: SHL
00000f1b: SWAP1
00000f1c: DIV
00000f1d: PUSH1 0x01
00000f1f: PUSH1 0x01
00000f21: PUSH1 0x80
00000f23: SHL
00000f24: SUB
00000f25: AND
00000f26: PUSH2 0x29d4
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH1 0x06
00000f2d: DUP1
00000f2e: SLOAD
00000f2f: PUSH1 0x01
00000f31: PUSH1 0x01
00000f33: PUSH1 0x80
00000f35: SHL
00000f36: SUB
00000f37: SWAP3
00000f38: DUP4
00000f39: AND
00000f3a: PUSH1 0x01
00000f3c: PUSH1 0x80
00000f3e: SHL
00000f3f: MUL
00000f40: SWAP3
00000f41: AND
00000f42: SWAP2
00000f43: SWAP1
00000f44: SWAP2
00000f45: OR
00000f46: SWAP1
00000f47: SSTORE
00000f48: PUSH2 0x0f51
00000f4b: DUP4
00000f4c: DUP3
00000f4d: PUSH2 0x29d4
00000f50: JUMP
00000f51: JUMPDEST
00000f52: CALLER
00000f53: PUSH1 0x00
00000f55: DUP2
00000f56: DUP2
00000f57: MSTORE
00000f58: PUSH1 0x0b
00000f5a: PUSH1 0x20
00000f5c: MSTORE
00000f5d: PUSH1 0x40
00000f5f: SWAP1
00000f60: KECCAK256
00000f61: SWAP2
00000f62: SWAP1
00000f63: SWAP2
00000f64: SSTORE
00000f65: PUSH2 0x0f99
00000f68: SWAP1
00000f69: PUSH32 0x0000000000000000000000004da0c48376c277cdbd7fc6fdc6936dee3e4adf75
00000f8a: PUSH1 0x01
00000f8c: PUSH1 0x01
00000f8e: PUSH1 0xa0
00000f90: SHL
00000f91: SUB
00000f92: AND
00000f93: SWAP1
00000f94: DUP6
00000f95: PUSH2 0x2412
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x40
00000f9c: MLOAD
00000f9d: DUP4
00000f9e: DUP2
00000f9f: MSTORE
00000fa0: CALLER
00000fa1: SWAP1
00000fa2: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00000fc3: SWAP1
00000fc4: PUSH1 0x20
00000fc6: ADD
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: DUP1
00000fcb: SWAP2
00000fcc: SUB
00000fcd: SWAP1
00000fce: LOG2
00000fcf: POP
00000fd0: POP
00000fd1: PUSH1 0x01
00000fd3: PUSH1 0x00
00000fd5: SSTORE
00000fd6: POP
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH1 0x01
00000fdb: SLOAD
00000fdc: PUSH1 0x00
00000fde: SWAP1
00000fdf: PUSH1 0x01
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0xa0
00000fe5: SHL
00000fe6: SUB
00000fe7: AND
00000fe8: CALLER
00000fe9: EQ
00000fea: ISZERO
00000feb: PUSH2 0x0ff2
00000fee: JUMPI
00000fef: POP
00000ff0: PUSH1 0x01
00000ff2: JUMPDEST
00000ff3: DUP1
00000ff4: PUSH2 0x1067
00000ff7: JUMPI
00000ff8: PUSH1 0x00
00000ffa: JUMPDEST
00000ffb: PUSH1 0x0c
00000ffd: SLOAD
00000ffe: DUP2
00000fff: LT
00001000: ISZERO
00001001: PUSH2 0x1065
00001004: JUMPI
00001005: CALLER
00001006: PUSH1 0x01
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: SHL
0000100d: SUB
0000100e: AND
0000100f: PUSH1 0x0c
00001011: DUP3
00001012: DUP2
00001013: SLOAD
00001014: DUP2
00001015: LT
00001016: PUSH2 0x102f
00001019: JUMPI
0000101a: PUSH4 0x4e487b71
0000101f: PUSH1 0xe0
00001021: SHL
00001022: PUSH1 0x00
00001024: MSTORE
00001025: PUSH1 0x32
00001027: PUSH1 0x04
00001029: MSTORE
0000102a: PUSH1 0x24
0000102c: PUSH1 0x00
0000102e: REVERT
0000102f: JUMPDEST
00001030: PUSH1 0x00
00001032: SWAP2
00001033: DUP3
00001034: MSTORE
00001035: PUSH1 0x20
00001037: SWAP1
00001038: SWAP2
00001039: KECCAK256
0000103a: ADD
0000103b: SLOAD
0000103c: PUSH1 0x01
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: SHL
00001043: SUB
00001044: AND
00001045: EQ
00001046: ISZERO
00001047: PUSH2 0x1053
0000104a: JUMPI
0000104b: PUSH1 0x01
0000104d: SWAP2
0000104e: POP
0000104f: PUSH2 0x1065
00001052: JUMP
00001053: JUMPDEST
00001054: DUP1
00001055: PUSH2 0x105d
00001058: DUP2
00001059: PUSH2 0x2a17
0000105c: JUMP
0000105d: JUMPDEST
0000105e: SWAP2
0000105f: POP
00001060: POP
00001061: PUSH2 0x0ffa
00001064: JUMP
00001065: JUMPDEST
00001066: POP
00001067: JUMPDEST
00001068: PUSH1 0x01
0000106a: DUP2
0000106b: ISZERO
0000106c: ISZERO
0000106d: EQ
0000106e: PUSH2 0x1089
00001071: JUMPI
00001072: PUSH1 0x40
00001074: MLOAD
00001075: PUSH3 0x461bcd
00001079: PUSH1 0xe5
0000107b: SHL
0000107c: DUP2
0000107d: MSTORE
0000107e: PUSH1 0x04
00001080: ADD
00001081: PUSH2 0x0b9d
00001084: SWAP1
00001085: PUSH2 0x2836
00001088: JUMP
00001089: JUMPDEST
0000108a: PUSH2 0x1093
0000108d: PUSH1 0x00
0000108f: PUSH2 0x2365
00001092: JUMP
00001093: JUMPDEST
00001094: PUSH1 0x07
00001096: SLOAD
00001097: PUSH1 0x01
00001099: PUSH1 0x80
0000109b: SHL
0000109c: DUP2
0000109d: DIV
0000109e: PUSH4 0xffffffff
000010a3: AND
000010a4: SWAP1
000010a5: PUSH1 0x01
000010a7: PUSH1 0xa0
000010a9: SHL
000010aa: SWAP1
000010ab: DIV
000010ac: PUSH6 0xffffffffffff
000010b3: AND
000010b4: TIMESTAMP
000010b5: LT
000010b6: PUSH2 0x10e8
000010b9: JUMPI
000010ba: PUSH2 0x10c3
000010bd: DUP2
000010be: DUP5
000010bf: PUSH2 0x2966
000010c2: JUMP
000010c3: JUMPDEST
000010c4: PUSH1 0x06
000010c6: DUP1
000010c7: SLOAD
000010c8: PUSH1 0x01
000010ca: PUSH1 0x01
000010cc: PUSH1 0x80
000010ce: SHL
000010cf: SUB
000010d0: NOT
000010d1: AND
000010d2: PUSH1 0x01
000010d4: PUSH1 0x01
000010d6: PUSH1 0x80
000010d8: SHL
000010d9: SUB
000010da: SWAP3
000010db: SWAP1
000010dc: SWAP3
000010dd: AND
000010de: SWAP2
000010df: SWAP1
000010e0: SWAP2
000010e1: OR
000010e2: SWAP1
000010e3: SSTORE
000010e4: PUSH2 0x115e
000010e7: JUMP
000010e8: JUMPDEST
000010e9: PUSH1 0x07
000010eb: SLOAD
000010ec: PUSH1 0x00
000010ee: SWAP1
000010ef: PUSH2 0x1108
000010f2: SWAP1
000010f3: TIMESTAMP
000010f4: SWAP1
000010f5: PUSH1 0x01
000010f7: PUSH1 0xa0
000010f9: SHL
000010fa: SWAP1
000010fb: DIV
000010fc: PUSH6 0xffffffffffff
00001103: AND
00001104: PUSH2 0x29d4
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH1 0x06
0000110b: SLOAD
0000110c: SWAP1
0000110d: SWAP2
0000110e: POP
0000110f: PUSH1 0x00
00001111: SWAP1
00001112: PUSH2 0x1124
00001115: SWAP1
00001116: PUSH1 0x01
00001118: PUSH1 0x01
0000111a: PUSH1 0x80
0000111c: SHL
0000111d: SUB
0000111e: AND
0000111f: DUP4
00001120: PUSH2 0x29b5
00001123: JUMP
00001124: JUMPDEST
00001125: SWAP1
00001126: POP
00001127: DUP3
00001128: PUSH2 0x1131
0000112b: DUP3
0000112c: DUP8
0000112d: PUSH2 0x292d
00001130: JUMP
00001131: JUMPDEST
00001132: PUSH2 0x113b
00001135: SWAP2
00001136: SWAP1
00001137: PUSH2 0x2966
0000113a: JUMP
0000113b: JUMPDEST
0000113c: PUSH1 0x06
0000113e: DUP1
0000113f: SLOAD
00001140: PUSH1 0x01
00001142: PUSH1 0x01
00001144: PUSH1 0x80
00001146: SHL
00001147: SUB
00001148: NOT
00001149: AND
0000114a: PUSH1 0x01
0000114c: PUSH1 0x01
0000114e: PUSH1 0x80
00001150: SHL
00001151: SUB
00001152: SWAP3
00001153: SWAP1
00001154: SWAP3
00001155: AND
00001156: SWAP2
00001157: SWAP1
00001158: SWAP2
00001159: OR
0000115a: SWAP1
0000115b: SSTORE
0000115c: POP
0000115d: POP
0000115e: JUMPDEST
0000115f: PUSH1 0x08
00001161: SLOAD
00001162: SELFBALANCE
00001163: SWAP1
00001164: DUP3
00001165: SWAP1
00001166: PUSH2 0x117f
00001169: SWAP1
0000116a: PUSH1 0x01
0000116c: PUSH1 0x60
0000116e: SHL
0000116f: SWAP1
00001170: DIV
00001171: PUSH1 0x01
00001173: PUSH1 0x01
00001175: PUSH1 0xa0
00001177: SHL
00001178: SUB
00001179: AND
0000117a: DUP4
0000117b: PUSH2 0x29d4
0000117e: JUMP
0000117f: JUMPDEST
00001180: PUSH2 0x1189
00001183: SWAP2
00001184: SWAP1
00001185: PUSH2 0x2966
00001188: JUMP
00001189: JUMPDEST
0000118a: PUSH1 0x06
0000118c: SLOAD
0000118d: PUSH1 0x01
0000118f: PUSH1 0x01
00001191: PUSH1 0x80
00001193: SHL
00001194: SUB
00001195: AND
00001196: GT
00001197: ISZERO
00001198: PUSH2 0x11f3
0000119b: JUMPI
0000119c: PUSH1 0x40
0000119e: MLOAD
0000119f: PUSH3 0x461bcd
000011a3: PUSH1 0xe5
000011a5: SHL
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x20
000011aa: PUSH1 0x04
000011ac: DUP3
000011ad: ADD
000011ae: MSTORE
000011af: PUSH1 0x27
000011b1: PUSH1 0x24
000011b3: DUP3
000011b4: ADD
000011b5: MSTORE
000011b6: PUSH32 0x4e6f74696679205265776172643a2050726f7669646564207265776172642074
000011d7: PUSH1 0x44
000011d9: DUP3
000011da: ADD
000011db: MSTORE
000011dc: PUSH7 0x0dede40d0d2ced
000011e4: PUSH1 0xcb
000011e6: SHL
000011e7: PUSH1 0x64
000011e9: DUP3
000011ea: ADD
000011eb: MSTORE
000011ec: PUSH1 0x84
000011ee: ADD
000011ef: PUSH2 0x0b9d
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH1 0x07
000011f6: DUP1
000011f7: SLOAD
000011f8: PUSH6 0xffffffffffff
000011ff: TIMESTAMP
00001200: SWAP1
00001201: DUP2
00001202: AND
00001203: PUSH1 0x01
00001205: PUSH1 0xd0
00001207: SHL
00001208: MUL
00001209: PUSH1 0x01
0000120b: PUSH1 0x01
0000120d: PUSH1 0xd0
0000120f: SHL
00001210: SUB
00001211: SWAP1
00001212: SWAP3
00001213: AND
00001214: SWAP2
00001215: SWAP1
00001216: SWAP2
00001217: OR
00001218: SWAP1
00001219: SWAP2
0000121a: SSTORE
0000121b: PUSH2 0x1225
0000121e: SWAP1
0000121f: DUP4
00001220: SWAP1
00001221: PUSH2 0x292d
00001224: JUMP
00001225: JUMPDEST
00001226: PUSH1 0x07
00001228: DUP1
00001229: SLOAD
0000122a: PUSH6 0xffffffffffff
00001231: SWAP3
00001232: SWAP1
00001233: SWAP3
00001234: AND
00001235: PUSH1 0x01
00001237: PUSH1 0xa0
00001239: SHL
0000123a: MUL
0000123b: PUSH6 0xffffffffffff
00001242: PUSH1 0xa0
00001244: SHL
00001245: NOT
00001246: SWAP1
00001247: SWAP3
00001248: AND
00001249: SWAP2
0000124a: SWAP1
0000124b: SWAP2
0000124c: OR
0000124d: SWAP1
0000124e: SSTORE
0000124f: PUSH1 0x40
00001251: MLOAD
00001252: DUP5
00001253: DUP2
00001254: MSTORE
00001255: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d
00001276: SWAP1
00001277: PUSH1 0x20
00001279: ADD
0000127a: PUSH1 0x40
0000127c: MLOAD
0000127d: DUP1
0000127e: SWAP2
0000127f: SUB
00001280: SWAP1
00001281: LOG1
00001282: POP
00001283: POP
00001284: POP
00001285: POP
00001286: JUMP
00001287: JUMPDEST
00001288: CALLER
00001289: PUSH1 0x00
0000128b: SWAP1
0000128c: DUP2
0000128d: MSTORE
0000128e: PUSH1 0x05
00001290: PUSH1 0x20
00001292: SWAP1
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x40
00001297: SWAP2
00001298: DUP3
00001299: SWAP1
0000129a: KECCAK256
0000129b: DUP3
0000129c: MLOAD
0000129d: PUSH1 0x60
0000129f: DUP2
000012a0: ADD
000012a1: DUP5
000012a2: MSTORE
000012a3: SWAP1
000012a4: SLOAD
000012a5: PUSH1 0x01
000012a7: PUSH1 0x01
000012a9: PUSH1 0x68
000012ab: SHL
000012ac: SUB
000012ad: DUP1
000012ae: DUP3
000012af: AND
000012b0: DUP4
000012b1: MSTORE
000012b2: PUSH1 0x01
000012b4: PUSH1 0x68
000012b6: SHL
000012b7: DUP3
000012b8: DIV
000012b9: AND
000012ba: SWAP3
000012bb: DUP3
000012bc: ADD
000012bd: SWAP3
000012be: SWAP1
000012bf: SWAP3
000012c0: MSTORE
000012c1: PUSH1 0x01
000012c3: PUSH1 0xd0
000012c5: SHL
000012c6: SWAP1
000012c7: SWAP2
000012c8: DIV
000012c9: PUSH6 0xffffffffffff
000012d0: AND
000012d1: SWAP2
000012d2: DUP2
000012d3: ADD
000012d4: DUP3
000012d5: SWAP1
000012d6: MSTORE
000012d7: SWAP1
000012d8: PUSH2 0x1323
000012db: JUMPI
000012dc: PUSH1 0x40
000012de: MLOAD
000012df: PUSH3 0x461bcd
000012e3: PUSH1 0xe5
000012e5: SHL
000012e6: DUP2
000012e7: MSTORE
000012e8: PUSH1 0x20
000012ea: PUSH1 0x04
000012ec: DUP3
000012ed: ADD
000012ee: MSTORE
000012ef: PUSH1 0x1b
000012f1: PUSH1 0x24
000012f3: DUP3
000012f4: ADD
000012f5: MSTORE
000012f6: PUSH32 0x57697468647261772043616e63656c3a206e6f20726571756573740000000000
00001317: PUSH1 0x44
00001319: DUP3
0000131a: ADD
0000131b: MSTORE
0000131c: PUSH1 0x64
0000131e: ADD
0000131f: PUSH2 0x0b9d
00001322: JUMP
00001323: JUMPDEST
00001324: PUSH1 0x07
00001326: SLOAD
00001327: PUSH1 0x40
00001329: DUP3
0000132a: ADD
0000132b: MLOAD
0000132c: TIMESTAMP
0000132d: SWAP2
0000132e: PUSH2 0x1345
00001331: SWAP2
00001332: PUSH1 0x01
00001334: PUSH1 0x60
00001336: SHL
00001337: SWAP1
00001338: SWAP2
00001339: DIV
0000133a: PUSH4 0xffffffff
0000133f: AND
00001340: SWAP1
00001341: PUSH2 0x2945
00001344: JUMP
00001345: JUMPDEST
00001346: PUSH6 0xffffffffffff
0000134d: AND
0000134e: GT
0000134f: PUSH2 0x13a6
00001352: JUMPI
00001353: PUSH1 0x40
00001355: MLOAD
00001356: PUSH3 0x461bcd
0000135a: PUSH1 0xe5
0000135c: SHL
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: PUSH1 0x04
00001363: DUP3
00001364: ADD
00001365: MSTORE
00001366: PUSH1 0x23
00001368: PUSH1 0x24
0000136a: DUP3
0000136b: ADD
0000136c: MSTORE
0000136d: PUSH32 0x57697468647261772043616e63656c3a206e6f2070656e64696e672072657175
0000138e: PUSH1 0x44
00001390: DUP3
00001391: ADD
00001392: MSTORE
00001393: PUSH3 0x195cdd
00001397: PUSH1 0xea
00001399: SHL
0000139a: PUSH1 0x64
0000139c: DUP3
0000139d: ADD
0000139e: MSTORE
0000139f: PUSH1 0x84
000013a1: ADD
000013a2: PUSH2 0x0b9d
000013a5: JUMP
000013a6: JUMPDEST
000013a7: CALLER
000013a8: PUSH1 0x00
000013aa: DUP2
000013ab: DUP2
000013ac: MSTORE
000013ad: PUSH1 0x05
000013af: PUSH1 0x20
000013b1: SWAP1
000013b2: DUP2
000013b3: MSTORE
000013b4: PUSH1 0x40
000013b6: SWAP2
000013b7: DUP3
000013b8: SWAP1
000013b9: KECCAK256
000013ba: DUP1
000013bb: SLOAD
000013bc: PUSH1 0x01
000013be: PUSH1 0x01
000013c0: PUSH1 0x68
000013c2: SHL
000013c3: SUB
000013c4: AND
000013c5: SWAP1
000013c6: SSTORE
000013c7: DUP4
000013c8: DUP3
000013c9: ADD
000013ca: MLOAD
000013cb: SWAP1
000013cc: DUP5
000013cd: ADD
000013ce: MLOAD
000013cf: SWAP2
000013d0: MLOAD
000013d1: PUSH32 0x1575adcdc526a67d3f6e771cd9123208ea6b3f48534cbc0ceec405608cc58605
000013f2: SWAP3
000013f3: PUSH2 0x1418
000013f6: SWAP3
000013f7: SWAP2
000013f8: PUSH6 0xffffffffffff
000013ff: SWAP3
00001400: SWAP1
00001401: SWAP3
00001402: AND
00001403: DUP3
00001404: MSTORE
00001405: PUSH1 0x01
00001407: PUSH1 0x01
00001409: PUSH1 0x68
0000140b: SHL
0000140c: SUB
0000140d: AND
0000140e: PUSH1 0x20
00001410: DUP3
00001411: ADD
00001412: MSTORE
00001413: PUSH1 0x40
00001415: ADD
00001416: SWAP1
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x40
0000141b: MLOAD
0000141c: DUP1
0000141d: SWAP2
0000141e: SUB
0000141f: SWAP1
00001420: LOG2
00001421: POP
00001422: JUMP
00001423: JUMPDEST
00001424: PUSH1 0x01
00001426: SLOAD
00001427: PUSH1 0x00
00001429: SWAP1
0000142a: PUSH1 0x01
0000142c: PUSH1 0x01
0000142e: PUSH1 0xa0
00001430: SHL
00001431: SUB
00001432: AND
00001433: CALLER
00001434: EQ
00001435: ISZERO
00001436: PUSH2 0x143d
00001439: JUMPI
0000143a: POP
0000143b: PUSH1 0x01
0000143d: JUMPDEST
0000143e: DUP1
0000143f: PUSH2 0x14b2
00001442: JUMPI
00001443: PUSH1 0x00
00001445: JUMPDEST
00001446: PUSH1 0x0c
00001448: SLOAD
00001449: DUP2
0000144a: LT
0000144b: ISZERO
0000144c: PUSH2 0x14b0
0000144f: JUMPI
00001450: CALLER
00001451: PUSH1 0x01
00001453: PUSH1 0x01
00001455: PUSH1 0xa0
00001457: SHL
00001458: SUB
00001459: AND
0000145a: PUSH1 0x0c
0000145c: DUP3
0000145d: DUP2
0000145e: SLOAD
0000145f: DUP2
00001460: LT
00001461: PUSH2 0x147a
00001464: JUMPI
00001465: PUSH4 0x4e487b71
0000146a: PUSH1 0xe0
0000146c: SHL
0000146d: PUSH1 0x00
0000146f: MSTORE
00001470: PUSH1 0x32
00001472: PUSH1 0x04
00001474: MSTORE
00001475: PUSH1 0x24
00001477: PUSH1 0x00
00001479: REVERT
0000147a: JUMPDEST
0000147b: PUSH1 0x00
0000147d: SWAP2
0000147e: DUP3
0000147f: MSTORE
00001480: PUSH1 0x20
00001482: SWAP1
00001483: SWAP2
00001484: KECCAK256
00001485: ADD
00001486: SLOAD
00001487: PUSH1 0x01
00001489: PUSH1 0x01
0000148b: PUSH1 0xa0
0000148d: SHL
0000148e: SUB
0000148f: AND
00001490: EQ
00001491: ISZERO
00001492: PUSH2 0x149e
00001495: JUMPI
00001496: PUSH1 0x01
00001498: SWAP2
00001499: POP
0000149a: PUSH2 0x14b0
0000149d: JUMP
0000149e: JUMPDEST
0000149f: DUP1
000014a0: PUSH2 0x14a8
000014a3: DUP2
000014a4: PUSH2 0x2a17
000014a7: JUMP
000014a8: JUMPDEST
000014a9: SWAP2
000014aa: POP
000014ab: POP
000014ac: PUSH2 0x1445
000014af: JUMP
000014b0: JUMPDEST
000014b1: POP
000014b2: JUMPDEST
000014b3: PUSH1 0x01
000014b5: DUP2
000014b6: ISZERO
000014b7: ISZERO
000014b8: EQ
000014b9: PUSH2 0x14d4
000014bc: JUMPI
000014bd: PUSH1 0x40
000014bf: MLOAD
000014c0: PUSH3 0x461bcd
000014c4: PUSH1 0xe5
000014c6: SHL
000014c7: DUP2
000014c8: MSTORE
000014c9: PUSH1 0x04
000014cb: ADD
000014cc: PUSH2 0x0b9d
000014cf: SWAP1
000014d0: PUSH2 0x2836
000014d3: JUMP
000014d4: JUMPDEST
000014d5: PUSH3 0x4f1a00
000014d9: DUP3
000014da: GT
000014db: ISZERO
000014dc: PUSH2 0x1527
000014df: JUMPI
000014e0: PUSH1 0x40
000014e2: MLOAD
000014e3: PUSH3 0x461bcd
000014e7: PUSH1 0xe5
000014e9: SHL
000014ea: DUP2
000014eb: MSTORE
000014ec: PUSH1 0x20
000014ee: PUSH1 0x04
000014f0: DUP3
000014f1: ADD
000014f2: MSTORE
000014f3: PUSH1 0x1f
000014f5: PUSH1 0x24
000014f7: DUP3
000014f8: ADD
000014f9: MSTORE
000014fa: PUSH32 0x53657420436f6f6c646f776e3a20546f6f206869676820636f6f6c646f776e00
0000151b: PUSH1 0x44
0000151d: DUP3
0000151e: ADD
0000151f: MSTORE
00001520: PUSH1 0x64
00001522: ADD
00001523: PUSH2 0x0b9d
00001526: JUMP
00001527: JUMPDEST
00001528: PUSH1 0x07
0000152a: DUP1
0000152b: SLOAD
0000152c: PUSH4 0xffffffff
00001531: PUSH1 0x60
00001533: SHL
00001534: NOT
00001535: AND
00001536: PUSH1 0x01
00001538: PUSH1 0x60
0000153a: SHL
0000153b: PUSH4 0xffffffff
00001540: DUP6
00001541: AND
00001542: MUL
00001543: OR
00001544: SWAP1
00001545: SSTORE
00001546: PUSH1 0x40
00001548: MLOAD
00001549: DUP3
0000154a: DUP2
0000154b: MSTORE
0000154c: PUSH32 0x583d8b24c5439ab7d810e51e37e8db41ba66f1168fd7b752ceae0c7681c5272c
0000156d: SWAP1
0000156e: PUSH1 0x20
00001570: ADD
00001571: PUSH2 0x0b6e
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0x00
00001578: DUP2
00001579: GT
0000157a: PUSH2 0x15d9
0000157d: JUMPI
0000157e: PUSH1 0x40
00001580: MLOAD
00001581: PUSH3 0x461bcd
00001585: PUSH1 0xe5
00001587: SHL
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x20
0000158c: PUSH1 0x04
0000158e: DUP3
0000158f: ADD
00001590: MSTORE
00001591: PUSH1 0x2b
00001593: PUSH1 0x24
00001595: DUP3
00001596: ADD
00001597: MSTORE
00001598: PUSH32 0x576974686472617720526571756573743a2043616e6e6f742077697468647261
000015b9: PUSH1 0x44
000015bb: DUP3
000015bc: ADD
000015bd: MSTORE
000015be: PUSH11 0x0772072657175657374203
000015ca: PUSH1 0xac
000015cc: SHL
000015cd: PUSH1 0x64
000015cf: DUP3
000015d0: ADD
000015d1: MSTORE
000015d2: PUSH1 0x84
000015d4: ADD
000015d5: PUSH2 0x0b9d
000015d8: JUMP
000015d9: JUMPDEST
000015da: CALLER
000015db: PUSH1 0x00
000015dd: SWAP1
000015de: DUP2
000015df: MSTORE
000015e0: PUSH1 0x05
000015e2: PUSH1 0x20
000015e4: SWAP1
000015e5: DUP2
000015e6: MSTORE
000015e7: PUSH1 0x40
000015e9: SWAP2
000015ea: DUP3
000015eb: SWAP1
000015ec: KECCAK256
000015ed: DUP3
000015ee: MLOAD
000015ef: PUSH1 0x60
000015f1: DUP2
000015f2: ADD
000015f3: DUP5
000015f4: MSTORE
000015f5: SWAP1
000015f6: SLOAD
000015f7: PUSH1 0x01
000015f9: PUSH1 0x01
000015fb: PUSH1 0x68
000015fd: SHL
000015fe: SUB
000015ff: DUP1
00001600: DUP3
00001601: AND
00001602: DUP4
00001603: MSTORE
00001604: PUSH1 0x01
00001606: PUSH1 0x68
00001608: SHL
00001609: DUP3
0000160a: DIV
0000160b: AND
0000160c: SWAP3
0000160d: DUP3
0000160e: ADD
0000160f: SWAP3
00001610: SWAP1
00001611: SWAP3
00001612: MSTORE
00001613: PUSH1 0x01
00001615: PUSH1 0xd0
00001617: SHL
00001618: SWAP1
00001619: SWAP2
0000161a: DIV
0000161b: PUSH6 0xffffffffffff
00001622: AND
00001623: SWAP2
00001624: DUP2
00001625: ADD
00001626: DUP3
00001627: SWAP1
00001628: MSTORE
00001629: SWAP1
0000162a: TIMESTAMP
0000162b: SWAP1
0000162c: ISZERO
0000162d: PUSH2 0x16c4
00001630: JUMPI
00001631: PUSH1 0x07
00001633: SLOAD
00001634: PUSH1 0x40
00001636: DUP4
00001637: ADD
00001638: MLOAD
00001639: DUP3
0000163a: SWAP2
0000163b: PUSH2 0x1652
0000163e: SWAP2
0000163f: PUSH1 0x01
00001641: PUSH1 0x60
00001643: SHL
00001644: SWAP1
00001645: SWAP2
00001646: DIV
00001647: PUSH4 0xffffffff
0000164c: AND
0000164d: SWAP1
0000164e: PUSH2 0x2945
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH6 0xffffffffffff
0000165a: AND
0000165b: GT
0000165c: ISZERO
0000165d: PUSH2 0x16c4
00001660: JUMPI
00001661: PUSH1 0x40
00001663: MLOAD
00001664: PUSH3 0x461bcd
00001668: PUSH1 0xe5
0000166a: SHL
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x20
0000166f: PUSH1 0x04
00001671: DUP3
00001672: ADD
00001673: MSTORE
00001674: PUSH1 0x33
00001676: PUSH1 0x24
00001678: DUP3
00001679: ADD
0000167a: MSTORE
0000167b: PUSH32 0x576974686472617720526571756573743a207769746864726177207265717565
0000169c: PUSH1 0x44
0000169e: DUP3
0000169f: ADD
000016a0: MSTORE
000016a1: PUSH19 0x7374207374696c6c20696e2070656e64696e67
000016b5: PUSH1 0x68
000016b7: SHL
000016b8: PUSH1 0x64
000016ba: DUP3
000016bb: ADD
000016bc: MSTORE
000016bd: PUSH1 0x84
000016bf: ADD
000016c0: PUSH2 0x0b9d
000016c3: JUMP
000016c4: JUMPDEST
000016c5: PUSH1 0x20
000016c7: DUP3
000016c8: ADD
000016c9: MLOAD
000016ca: DUP3
000016cb: MLOAD
000016cc: PUSH1 0x01
000016ce: PUSH1 0x01
000016d0: PUSH1 0x68
000016d2: SHL
000016d3: SUB
000016d4: SWAP2
000016d5: DUP3
000016d6: AND
000016d7: SWAP2
000016d8: PUSH2 0x16e2
000016db: SWAP2
000016dc: AND
000016dd: DUP6
000016de: PUSH2 0x292d
000016e1: JUMP
000016e2: JUMPDEST
000016e3: PUSH2 0x16ec
000016e6: SWAP2
000016e7: SWAP1
000016e8: PUSH2 0x292d
000016eb: JUMP
000016ec: JUMPDEST
000016ed: CALLER
000016ee: PUSH1 0x00
000016f0: SWAP1
000016f1: DUP2
000016f2: MSTORE
000016f3: PUSH1 0x0b
000016f5: PUSH1 0x20
000016f7: MSTORE
000016f8: PUSH1 0x40
000016fa: SWAP1
000016fb: KECCAK256
000016fc: SLOAD
000016fd: LT
000016fe: ISZERO
000016ff: PUSH2 0x1782
00001702: JUMPI
00001703: PUSH1 0x40
00001705: MLOAD
00001706: PUSH3 0x461bcd
0000170a: PUSH1 0xe5
0000170c: SHL
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: PUSH1 0x04
00001713: DUP3
00001714: ADD
00001715: MSTORE
00001716: PUSH1 0x49
00001718: PUSH1 0x24
0000171a: DUP3
0000171b: ADD
0000171c: MSTORE
0000171d: PUSH32 0x576974686472617720526571756573743a2043616e206e6f7420726571756573
0000173e: PUSH1 0x44
00001740: DUP3
00001741: ADD
00001742: MSTORE
00001743: PUSH32 0x742074686520616d6f756e742e20496e73756666696369656e74207374616b69
00001764: PUSH1 0x64
00001766: DUP3
00001767: ADD
00001768: MSTORE
00001769: PUSH9 0x1b99c8185b5bdd5b9d
00001773: PUSH1 0xba
00001775: SHL
00001776: PUSH1 0x84
00001778: DUP3
00001779: ADD
0000177a: MSTORE
0000177b: PUSH1 0xa4
0000177d: ADD
0000177e: PUSH2 0x0b9d
00001781: JUMP
00001782: JUMPDEST
00001783: PUSH1 0x20
00001785: DUP3
00001786: ADD
00001787: MLOAD
00001788: DUP3
00001789: MLOAD
0000178a: PUSH2 0x1793
0000178d: SWAP2
0000178e: SWAP1
0000178f: PUSH2 0x28be
00001792: JUMP
00001793: JUMPDEST
00001794: CALLER
00001795: PUSH1 0x00
00001797: DUP2
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x05
0000179c: PUSH1 0x20
0000179e: SWAP1
0000179f: DUP2
000017a0: MSTORE
000017a1: PUSH1 0x40
000017a3: SWAP2
000017a4: DUP3
000017a5: SWAP1
000017a6: KECCAK256
000017a7: DUP1
000017a8: SLOAD
000017a9: PUSH1 0x01
000017ab: PUSH1 0x01
000017ad: PUSH1 0x68
000017af: SHL
000017b0: SUB
000017b1: SWAP6
000017b2: DUP7
000017b3: AND
000017b4: PUSH1 0x01
000017b6: PUSH1 0x01
000017b8: PUSH1 0xd0
000017ba: SHL
000017bb: SUB
000017bc: NOT
000017bd: SWAP1
000017be: SWAP2
000017bf: AND
000017c0: OR
000017c1: PUSH1 0x01
000017c3: PUSH1 0x68
000017c5: SHL
000017c6: SWAP6
000017c7: DUP10
000017c8: AND
000017c9: SWAP6
000017ca: SWAP1
000017cb: SWAP6
000017cc: MUL
000017cd: SWAP5
000017ce: SWAP1
000017cf: SWAP5
000017d0: OR
000017d1: PUSH1 0x01
000017d3: PUSH1 0x01
000017d5: PUSH1 0xd0
000017d7: SHL
000017d8: SUB
000017d9: AND
000017da: PUSH1 0x01
000017dc: PUSH1 0xd0
000017de: SHL
000017df: PUSH6 0xffffffffffff
000017e6: DUP8
000017e7: AND
000017e8: MUL
000017e9: OR
000017ea: SWAP1
000017eb: SWAP4
000017ec: SSTORE
000017ed: PUSH1 0x07
000017ef: SLOAD
000017f0: DUP2
000017f1: MLOAD
000017f2: PUSH1 0x01
000017f4: PUSH1 0x60
000017f6: SHL
000017f7: SWAP1
000017f8: SWAP2
000017f9: DIV
000017fa: PUSH4 0xffffffff
000017ff: AND
00001800: DUP2
00001801: MSTORE
00001802: SWAP3
00001803: DUP4
00001804: ADD
00001805: DUP5
00001806: SWAP1
00001807: MSTORE
00001808: DUP3
00001809: ADD
0000180a: DUP6
0000180b: SWAP1
0000180c: MSTORE
0000180d: SWAP1
0000180e: PUSH32 0xdb2996feda86e47ca5f67853152092a6550eed65751f9e2d37b2b8daa4258e65
0000182f: SWAP1
00001830: PUSH1 0x60
00001832: ADD
00001833: PUSH1 0x40
00001835: MLOAD
00001836: DUP1
00001837: SWAP2
00001838: SUB
00001839: SWAP1
0000183a: LOG2
0000183b: POP
0000183c: POP
0000183d: POP
0000183e: JUMP
0000183f: JUMPDEST
00001840: PUSH1 0x02
00001842: SLOAD
00001843: PUSH1 0x01
00001845: PUSH1 0x01
00001847: PUSH1 0xa0
00001849: SHL
0000184a: SUB
0000184b: AND
0000184c: CALLER
0000184d: EQ
0000184e: PUSH2 0x18b7
00001851: JUMPI
00001852: PUSH1 0x40
00001854: MLOAD
00001855: PUSH3 0x461bcd
00001859: PUSH1 0xe5
0000185b: SHL
0000185c: DUP2
0000185d: MSTORE
0000185e: PUSH1 0x20
00001860: PUSH1 0x04
00001862: DUP3
00001863: ADD
00001864: MSTORE
00001865: PUSH1 0x35
00001867: PUSH1 0x24
00001869: DUP3
0000186a: ADD
0000186b: MSTORE
0000186c: PUSH32 0x596f75206d757374206265206e6f6d696e61746564206265666f726520796f75
0000188d: PUSH1 0x44
0000188f: DUP3
00001890: ADD
00001891: MSTORE
00001892: PUSH21 0x02063616e20616363657074206f776e65727368697
000018a8: PUSH1 0x5c
000018aa: SHL
000018ab: PUSH1 0x64
000018ad: DUP3
000018ae: ADD
000018af: MSTORE
000018b0: PUSH1 0x84
000018b2: ADD
000018b3: PUSH2 0x0b9d
000018b6: JUMP
000018b7: JUMPDEST
000018b8: PUSH1 0x01
000018ba: SLOAD
000018bb: PUSH1 0x02
000018bd: SLOAD
000018be: PUSH1 0x40
000018c0: DUP1
000018c1: MLOAD
000018c2: PUSH1 0x01
000018c4: PUSH1 0x01
000018c6: PUSH1 0xa0
000018c8: SHL
000018c9: SUB
000018ca: SWAP4
000018cb: DUP5
000018cc: AND
000018cd: DUP2
000018ce: MSTORE
000018cf: SWAP3
000018d0: SWAP1
000018d1: SWAP2
000018d2: AND
000018d3: PUSH1 0x20
000018d5: DUP4
000018d6: ADD
000018d7: MSTORE
000018d8: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c
000018f9: SWAP2
000018fa: ADD
000018fb: PUSH1 0x40
000018fd: MLOAD
000018fe: DUP1
000018ff: SWAP2
00001900: SUB
00001901: SWAP1
00001902: LOG1
00001903: PUSH1 0x02
00001905: DUP1
00001906: SLOAD
00001907: PUSH1 0x01
00001909: DUP1
0000190a: SLOAD
0000190b: PUSH1 0x01
0000190d: PUSH1 0x01
0000190f: PUSH1 0xa0
00001911: SHL
00001912: SUB
00001913: NOT
00001914: SWAP1
00001915: DUP2
00001916: AND
00001917: PUSH1 0x01
00001919: PUSH1 0x01
0000191b: PUSH1 0xa0
0000191d: SHL
0000191e: SUB
0000191f: DUP5
00001920: AND
00001921: OR
00001922: SWAP1
00001923: SWAP2
00001924: SSTORE
00001925: AND
00001926: SWAP1
00001927: SSTORE
00001928: JUMP
00001929: JUMPDEST
0000192a: PUSH1 0x00
0000192c: DUP2
0000192d: DUP4
0000192e: LT
0000192f: PUSH2 0x1938
00001932: JUMPI
00001933: DUP2
00001934: PUSH2 0x193a
00001937: JUMP
00001938: JUMPDEST
00001939: DUP3
0000193a: JUMPDEST
0000193b: SWAP4
0000193c: SWAP3
0000193d: POP
0000193e: POP
0000193f: POP
00001940: JUMP
00001941: JUMPDEST
00001942: PUSH1 0x07
00001944: SLOAD
00001945: PUSH1 0x00
00001947: SWAP1
00001948: PUSH2 0x1961
0000194b: SWAP1
0000194c: TIMESTAMP
0000194d: SWAP1
0000194e: PUSH1 0x01
00001950: PUSH1 0xa0
00001952: SHL
00001953: SWAP1
00001954: DIV
00001955: PUSH6 0xffffffffffff
0000195c: AND
0000195d: PUSH2 0x1929
00001960: JUMP
00001961: JUMPDEST
00001962: SWAP1
00001963: POP
00001964: SWAP1
00001965: JUMP
00001966: JUMPDEST
00001967: PUSH1 0x02
00001969: PUSH1 0x00
0000196b: SLOAD
0000196c: EQ
0000196d: ISZERO
0000196e: PUSH2 0x1989
00001971: JUMPI
00001972: PUSH1 0x40
00001974: MLOAD
00001975: PUSH3 0x461bcd
00001979: PUSH1 0xe5
0000197b: SHL
0000197c: DUP2
0000197d: MSTORE
0000197e: PUSH1 0x04
00001980: ADD
00001981: PUSH2 0x0b9d
00001984: SWAP1
00001985: PUSH2 0x2887
00001988: JUMP
00001989: JUMPDEST
0000198a: PUSH1 0x02
0000198c: PUSH1 0x00
0000198e: SSTORE
0000198f: PUSH1 0x04
00001991: SLOAD
00001992: PUSH1 0xff
00001994: AND
00001995: ISZERO
00001996: PUSH2 0x1a07
00001999: JUMPI
0000199a: PUSH1 0x40
0000199c: MLOAD
0000199d: PUSH3 0x461bcd
000019a1: PUSH1 0xe5
000019a3: SHL
000019a4: DUP2
000019a5: MSTORE
000019a6: PUSH1 0x20
000019a8: PUSH1 0x04
000019aa: DUP3
000019ab: ADD
000019ac: MSTORE
000019ad: PUSH1 0x3c
000019af: PUSH1 0x24
000019b1: DUP3
000019b2: ADD
000019b3: MSTORE
000019b4: PUSH32 0x5468697320616374696f6e2063616e6e6f7420626520706572666f726d656420
000019d5: PUSH1 0x44
000019d7: DUP3
000019d8: ADD
000019d9: MSTORE
000019da: PUSH32 0x7768696c652074686520636f6e74726163742069732070617573656400000000
000019fb: PUSH1 0x64
000019fd: DUP3
000019fe: ADD
000019ff: MSTORE
00001a00: PUSH1 0x84
00001a02: ADD
00001a03: PUSH2 0x0b9d
00001a06: JUMP
00001a07: JUMPDEST
00001a08: PUSH1 0x00
00001a0a: DUP2
00001a0b: GT
00001a0c: PUSH2 0x1a4f
00001a0f: JUMPI
00001a10: PUSH1 0x40
00001a12: MLOAD
00001a13: PUSH3 0x461bcd
00001a17: PUSH1 0xe5
00001a19: SHL
00001a1a: DUP2
00001a1b: MSTORE
00001a1c: PUSH1 0x20
00001a1e: PUSH1 0x04
00001a20: DUP3
00001a21: ADD
00001a22: MSTORE
00001a23: PUSH1 0x15
00001a25: PUSH1 0x24
00001a27: DUP3
00001a28: ADD
00001a29: MSTORE
00001a2a: PUSH21 0x05374616b653a2043616e6e6f74207374616b65203
00001a40: PUSH1 0x5c
00001a42: SHL
00001a43: PUSH1 0x44
00001a45: DUP3
00001a46: ADD
00001a47: MSTORE
00001a48: PUSH1 0x64
00001a4a: ADD
00001a4b: PUSH2 0x0b9d
00001a4e: JUMP
00001a4f: JUMPDEST
00001a50: CALLER
00001a51: PUSH1 0x00
00001a53: SWAP1
00001a54: DUP2
00001a55: MSTORE
00001a56: PUSH1 0x05
00001a58: PUSH1 0x20
00001a5a: MSTORE
00001a5b: PUSH1 0x40
00001a5d: SWAP1
00001a5e: KECCAK256
00001a5f: SLOAD
00001a60: PUSH1 0x01
00001a62: PUSH1 0xd0
00001a64: SHL
00001a65: SWAP1
00001a66: DIV
00001a67: PUSH6 0xffffffffffff
00001a6e: AND
00001a6f: DUP1
00001a70: ISZERO
00001a71: PUSH2 0x1aef
00001a74: JUMPI
00001a75: PUSH1 0x07
00001a77: SLOAD
00001a78: TIMESTAMP
00001a79: SWAP1
00001a7a: PUSH2 0x1a90
00001a7d: SWAP1
00001a7e: PUSH1 0x01
00001a80: PUSH1 0x60
00001a82: SHL
00001a83: SWAP1
00001a84: DIV
00001a85: PUSH4 0xffffffff
00001a8a: AND
00001a8b: DUP4
00001a8c: PUSH2 0x292d
00001a8f: JUMP
00001a90: JUMPDEST
00001a91: GT
00001a92: ISZERO
00001a93: PUSH2 0x1aef
00001a96: JUMPI
00001a97: PUSH1 0x40
00001a99: MLOAD
00001a9a: PUSH3 0x461bcd
00001a9e: PUSH1 0xe5
00001aa0: SHL
00001aa1: DUP2
00001aa2: MSTORE
00001aa3: PUSH1 0x20
00001aa5: PUSH1 0x04
00001aa7: DUP3
00001aa8: ADD
00001aa9: MSTORE
00001aaa: PUSH1 0x28
00001aac: PUSH1 0x24
00001aae: DUP3
00001aaf: ADD
00001ab0: MSTORE
00001ab1: PUSH32 0x5374616b653a2077697468647261772072657175657374207374696c6c20696e
00001ad2: PUSH1 0x44
00001ad4: DUP3
00001ad5: ADD
00001ad6: MSTORE
00001ad7: PUSH8 0x2070656e64696e67
00001ae0: PUSH1 0xc0
00001ae2: SHL
00001ae3: PUSH1 0x64
00001ae5: DUP3
00001ae6: ADD
00001ae7: MSTORE
00001ae8: PUSH1 0x84
00001aea: ADD
00001aeb: PUSH2 0x0b9d
00001aee: JUMP
00001aef: JUMPDEST
00001af0: PUSH2 0x1af8
00001af3: CALLER
00001af4: PUSH2 0x2365
00001af7: JUMP
00001af8: JUMPDEST
00001af9: PUSH1 0x06
00001afb: SLOAD
00001afc: PUSH2 0x1b16
00001aff: SWAP1
00001b00: DUP4
00001b01: SWAP1
00001b02: PUSH1 0x01
00001b04: PUSH1 0x80
00001b06: SHL
00001b07: SWAP1
00001b08: DIV
00001b09: PUSH1 0x01
00001b0b: PUSH1 0x01
00001b0d: PUSH1 0x80
00001b0f: SHL
00001b10: SUB
00001b11: AND
00001b12: PUSH2 0x28e9
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH1 0x06
00001b19: DUP1
00001b1a: SLOAD
00001b1b: PUSH1 0x01
00001b1d: PUSH1 0x01
00001b1f: PUSH1 0x80
00001b21: SHL
00001b22: SUB
00001b23: SWAP3
00001b24: DUP4
00001b25: AND
00001b26: PUSH1 0x01
00001b28: PUSH1 0x80
00001b2a: SHL
00001b2b: MUL
00001b2c: SWAP3
00001b2d: AND
00001b2e: SWAP2
00001b2f: SWAP1
00001b30: SWAP2
00001b31: OR
00001b32: SWAP1
00001b33: SSTORE
00001b34: CALLER
00001b35: PUSH1 0x00
00001b37: SWAP1
00001b38: DUP2
00001b39: MSTORE
00001b3a: PUSH1 0x0b
00001b3c: PUSH1 0x20
00001b3e: MSTORE
00001b3f: PUSH1 0x40
00001b41: SWAP1
00001b42: KECCAK256
00001b43: SLOAD
00001b44: PUSH2 0x1b4e
00001b47: SWAP1
00001b48: DUP4
00001b49: SWAP1
00001b4a: PUSH2 0x292d
00001b4d: JUMP
00001b4e: JUMPDEST
00001b4f: CALLER
00001b50: PUSH1 0x00
00001b52: DUP2
00001b53: DUP2
00001b54: MSTORE
00001b55: PUSH1 0x0b
00001b57: PUSH1 0x20
00001b59: MSTORE
00001b5a: PUSH1 0x40
00001b5c: SWAP1
00001b5d: KECCAK256
00001b5e: SWAP2
00001b5f: SWAP1
00001b60: SWAP2
00001b61: SSTORE
00001b62: PUSH2 0x1b97
00001b65: SWAP1
00001b66: PUSH32 0x0000000000000000000000004da0c48376c277cdbd7fc6fdc6936dee3e4adf75
00001b87: PUSH1 0x01
00001b89: PUSH1 0x01
00001b8b: PUSH1 0xa0
00001b8d: SHL
00001b8e: SUB
00001b8f: AND
00001b90: SWAP1
00001b91: ADDRESS
00001b92: DUP6
00001b93: PUSH2 0x247a
00001b96: JUMP
00001b97: JUMPDEST
00001b98: PUSH1 0x40
00001b9a: MLOAD
00001b9b: DUP3
00001b9c: DUP2
00001b9d: MSTORE
00001b9e: CALLER
00001b9f: SWAP1
00001ba0: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
00001bc1: SWAP1
00001bc2: PUSH1 0x20
00001bc4: ADD
00001bc5: JUMPDEST
00001bc6: PUSH1 0x40
00001bc8: MLOAD
00001bc9: DUP1
00001bca: SWAP2
00001bcb: SUB
00001bcc: SWAP1
00001bcd: LOG2
00001bce: POP
00001bcf: POP
00001bd0: PUSH1 0x01
00001bd2: PUSH1 0x00
00001bd4: SSTORE
00001bd5: JUMP
00001bd6: JUMPDEST
00001bd7: PUSH1 0x60
00001bd9: PUSH1 0x0c
00001bdb: DUP1
00001bdc: SLOAD
00001bdd: DUP1
00001bde: PUSH1 0x20
00001be0: MUL
00001be1: PUSH1 0x20
00001be3: ADD
00001be4: PUSH1 0x40
00001be6: MLOAD
00001be7: SWAP1
00001be8: DUP2
00001be9: ADD
00001bea: PUSH1 0x40
00001bec: MSTORE
00001bed: DUP1
00001bee: SWAP3
00001bef: SWAP2
00001bf0: SWAP1
00001bf1: DUP2
00001bf2: DUP2
00001bf3: MSTORE
00001bf4: PUSH1 0x20
00001bf6: ADD
00001bf7: DUP3
00001bf8: DUP1
00001bf9: SLOAD
00001bfa: DUP1
00001bfb: ISZERO
00001bfc: PUSH2 0x1c2e
00001bff: JUMPI
00001c00: PUSH1 0x20
00001c02: MUL
00001c03: DUP3
00001c04: ADD
00001c05: SWAP2
00001c06: SWAP1
00001c07: PUSH1 0x00
00001c09: MSTORE
00001c0a: PUSH1 0x20
00001c0c: PUSH1 0x00
00001c0e: KECCAK256
00001c0f: SWAP1
00001c10: JUMPDEST
00001c11: DUP2
00001c12: SLOAD
00001c13: PUSH1 0x01
00001c15: PUSH1 0x01
00001c17: PUSH1 0xa0
00001c19: SHL
00001c1a: SUB
00001c1b: AND
00001c1c: DUP2
00001c1d: MSTORE
00001c1e: PUSH1 0x01
00001c20: SWAP1
00001c21: SWAP2
00001c22: ADD
00001c23: SWAP1
00001c24: PUSH1 0x20
00001c26: ADD
00001c27: DUP1
00001c28: DUP4
00001c29: GT
00001c2a: PUSH2 0x1c10
00001c2d: JUMPI
00001c2e: JUMPDEST
00001c2f: POP
00001c30: POP
00001c31: POP
00001c32: POP
00001c33: POP
00001c34: SWAP1
00001c35: POP
00001c36: SWAP1
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH2 0x1c40
00001c3c: PUSH2 0x22f1
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH8 0x06f05b59d3b20000
00001c4a: DUP2
00001c4b: GT
00001c4c: ISZERO
00001c4d: PUSH2 0x1c87
00001c50: JUMPI
00001c51: PUSH1 0x40
00001c53: MLOAD
00001c54: PUSH3 0x461bcd
00001c58: PUSH1 0xe5
00001c5a: SHL
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: PUSH1 0x20
00001c5f: PUSH1 0x04
00001c61: DUP3
00001c62: ADD
00001c63: MSTORE
00001c64: PUSH1 0x0c
00001c66: PUSH1 0x24
00001c68: DUP3
00001c69: ADD
00001c6a: MSTORE
00001c6b: PUSH12 0x546f6f206869676820666565
00001c78: PUSH1 0xa0
00001c7a: SHL
00001c7b: PUSH1 0x44
00001c7d: DUP3
00001c7e: ADD
00001c7f: MSTORE
00001c80: PUSH1 0x64
00001c82: ADD
00001c83: PUSH2 0x0b9d
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH1 0x08
00001c8a: DUP1
00001c8b: SLOAD
00001c8c: PUSH12 0xffffffffffffffffffffffff
00001c99: NOT
00001c9a: AND
00001c9b: PUSH1 0x01
00001c9d: PUSH1 0x01
00001c9f: PUSH1 0x60
00001ca1: SHL
00001ca2: SUB
00001ca3: DUP4
00001ca4: AND
00001ca5: OR
00001ca6: SWAP1
00001ca7: SSTORE
00001ca8: PUSH1 0x40
00001caa: MLOAD
00001cab: DUP2
00001cac: DUP2
00001cad: MSTORE
00001cae: PUSH32 0x9a1f74aeeb037eb3d45b22a56376dadd6ba6ded25ec3727e520415f6c76768a9
00001ccf: SWAP1
00001cd0: PUSH1 0x20
00001cd2: ADD
00001cd3: PUSH2 0x099e
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x02
00001cda: PUSH1 0x00
00001cdc: SLOAD
00001cdd: EQ
00001cde: ISZERO
00001cdf: PUSH2 0x1cfa
00001ce2: JUMPI
00001ce3: PUSH1 0x40
00001ce5: MLOAD
00001ce6: PUSH3 0x461bcd
00001cea: PUSH1 0xe5
00001cec: SHL
00001ced: DUP2
00001cee: MSTORE
00001cef: PUSH1 0x04
00001cf1: ADD
00001cf2: PUSH2 0x0b9d
00001cf5: SWAP1
00001cf6: PUSH2 0x2887
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: PUSH1 0x02
00001cfd: PUSH1 0x00
00001cff: SSTORE
00001d00: PUSH2 0x1d08
00001d03: CALLER
00001d04: PUSH2 0x2365
00001d07: JUMP
00001d08: JUMPDEST
00001d09: CALLER
00001d0a: PUSH1 0x00
00001d0c: SWAP1
00001d0d: DUP2
00001d0e: MSTORE
00001d0f: PUSH1 0x0a
00001d11: PUSH1 0x20
00001d13: MSTORE
00001d14: PUSH1 0x40
00001d16: SWAP1
00001d17: KECCAK256
00001d18: SLOAD
00001d19: DUP1
00001d1a: ISZERO
00001d1b: PUSH2 0x1df7
00001d1e: JUMPI
00001d1f: CALLER
00001d20: PUSH1 0x00
00001d22: DUP2
00001d23: DUP2
00001d24: MSTORE
00001d25: PUSH1 0x0a
00001d27: PUSH1 0x20
00001d29: MSTORE
00001d2a: PUSH1 0x40
00001d2c: DUP1
00001d2d: DUP3
00001d2e: KECCAK256
00001d2f: DUP3
00001d30: SWAP1
00001d31: SSTORE
00001d32: MLOAD
00001d33: SWAP1
00001d34: SWAP2
00001d35: SWAP1
00001d36: DUP4
00001d37: SWAP1
00001d38: DUP4
00001d39: DUP2
00001d3a: DUP2
00001d3b: DUP2
00001d3c: DUP6
00001d3d: DUP8
00001d3e: GAS
00001d3f: CALL
00001d40: SWAP3
00001d41: POP
00001d42: POP
00001d43: POP
00001d44: RETURNDATASIZE
00001d45: DUP1
00001d46: PUSH1 0x00
00001d48: DUP2
00001d49: EQ
00001d4a: PUSH2 0x1d6f
00001d4d: JUMPI
00001d4e: PUSH1 0x40
00001d50: MLOAD
00001d51: SWAP2
00001d52: POP
00001d53: PUSH1 0x1f
00001d55: NOT
00001d56: PUSH1 0x3f
00001d58: RETURNDATASIZE
00001d59: ADD
00001d5a: AND
00001d5b: DUP3
00001d5c: ADD
00001d5d: PUSH1 0x40
00001d5f: MSTORE
00001d60: RETURNDATASIZE
00001d61: DUP3
00001d62: MSTORE
00001d63: RETURNDATASIZE
00001d64: PUSH1 0x00
00001d66: PUSH1 0x20
00001d68: DUP5
00001d69: ADD
00001d6a: RETURNDATACOPY
00001d6b: PUSH2 0x1d74
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: PUSH1 0x60
00001d72: SWAP2
00001d73: POP
00001d74: JUMPDEST
00001d75: POP
00001d76: POP
00001d77: SWAP1
00001d78: POP
00001d79: DUP1
00001d7a: PUSH2 0x1dc5
00001d7d: JUMPI
00001d7e: PUSH1 0x40
00001d80: MLOAD
00001d81: PUSH3 0x461bcd
00001d85: PUSH1 0xe5
00001d87: SHL
00001d88: DUP2
00001d89: MSTORE
00001d8a: PUSH1 0x20
00001d8c: PUSH1 0x04
00001d8e: DUP3
00001d8f: ADD
00001d90: MSTORE
00001d91: PUSH1 0x1b
00001d93: PUSH1 0x24
00001d95: DUP3
00001d96: ADD
00001d97: MSTORE
00001d98: PUSH32 0x436c61696d3a204661696c656420746f2073656e642045746865720000000000
00001db9: PUSH1 0x44
00001dbb: DUP3
00001dbc: ADD
00001dbd: MSTORE
00001dbe: PUSH1 0x64
00001dc0: ADD
00001dc1: PUSH2 0x0b9d
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: PUSH1 0x40
00001dc8: MLOAD
00001dc9: DUP3
00001dca: DUP2
00001dcb: MSTORE
00001dcc: CALLER
00001dcd: SWAP1
00001dce: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
00001def: SWAP1
00001df0: PUSH1 0x20
00001df2: ADD
00001df3: PUSH2 0x1bc5
00001df6: JUMP
00001df7: JUMPDEST
00001df8: POP
00001df9: PUSH1 0x01
00001dfb: PUSH1 0x00
00001dfd: SSTORE
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: PUSH1 0x01
00001e02: SLOAD
00001e03: PUSH1 0x00
00001e05: SWAP1
00001e06: PUSH1 0x01
00001e08: PUSH1 0x01
00001e0a: PUSH1 0xa0
00001e0c: SHL
00001e0d: SUB
00001e0e: AND
00001e0f: CALLER
00001e10: EQ
00001e11: ISZERO
00001e12: PUSH2 0x1e19
00001e15: JUMPI
00001e16: POP
00001e17: PUSH1 0x01
00001e19: JUMPDEST
00001e1a: DUP1
00001e1b: PUSH2 0x1e8e
00001e1e: JUMPI
00001e1f: PUSH1 0x00
00001e21: JUMPDEST
00001e22: PUSH1 0x0c
00001e24: SLOAD
00001e25: DUP2
00001e26: LT
00001e27: ISZERO
00001e28: PUSH2 0x1e8c
00001e2b: JUMPI
00001e2c: CALLER
00001e2d: PUSH1 0x01
00001e2f: PUSH1 0x01
00001e31: PUSH1 0xa0
00001e33: SHL
00001e34: SUB
00001e35: AND
00001e36: PUSH1 0x0c
00001e38: DUP3
00001e39: DUP2
00001e3a: SLOAD
00001e3b: DUP2
00001e3c: LT
00001e3d: PUSH2 0x1e56
00001e40: JUMPI
00001e41: PUSH4 0x4e487b71
00001e46: PUSH1 0xe0
00001e48: SHL
00001e49: PUSH1 0x00
00001e4b: MSTORE
00001e4c: PUSH1 0x32
00001e4e: PUSH1 0x04
00001e50: MSTORE
00001e51: PUSH1 0x24
00001e53: PUSH1 0x00
00001e55: REVERT
00001e56: JUMPDEST
00001e57: PUSH1 0x00
00001e59: SWAP2
00001e5a: DUP3
00001e5b: MSTORE
00001e5c: PUSH1 0x20
00001e5e: SWAP1
00001e5f: SWAP2
00001e60: KECCAK256
00001e61: ADD
00001e62: SLOAD
00001e63: PUSH1 0x01
00001e65: PUSH1 0x01
00001e67: PUSH1 0xa0
00001e69: SHL
00001e6a: SUB
00001e6b: AND
00001e6c: EQ
00001e6d: ISZERO
00001e6e: PUSH2 0x1e7a
00001e71: JUMPI
00001e72: PUSH1 0x01
00001e74: SWAP2
00001e75: POP
00001e76: PUSH2 0x1e8c
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: DUP1
00001e7c: PUSH2 0x1e84
00001e7f: DUP2
00001e80: PUSH2 0x2a17
00001e83: JUMP
00001e84: JUMPDEST
00001e85: SWAP2
00001e86: POP
00001e87: POP
00001e88: PUSH2 0x1e21
00001e8b: JUMP
00001e8c: JUMPDEST
00001e8d: POP
00001e8e: JUMPDEST
00001e8f: PUSH1 0x01
00001e91: DUP2
00001e92: ISZERO
00001e93: ISZERO
00001e94: EQ
00001e95: PUSH2 0x1eb0
00001e98: JUMPI
00001e99: PUSH1 0x40
00001e9b: MLOAD
00001e9c: PUSH3 0x461bcd
00001ea0: PUSH1 0xe5
00001ea2: SHL
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x04
00001ea7: ADD
00001ea8: PUSH2 0x0b9d
00001eab: SWAP1
00001eac: PUSH2 0x2836
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: PUSH1 0x07
00001eb3: SLOAD
00001eb4: PUSH1 0x01
00001eb6: PUSH1 0xa0
00001eb8: SHL
00001eb9: SWAP1
00001eba: DIV
00001ebb: PUSH6 0xffffffffffff
00001ec2: AND
00001ec3: TIMESTAMP
00001ec4: GT
00001ec5: PUSH2 0x1f73
00001ec8: JUMPI
00001ec9: PUSH1 0x40
00001ecb: MLOAD
00001ecc: PUSH3 0x461bcd
00001ed0: PUSH1 0xe5
00001ed2: SHL
00001ed3: DUP2
00001ed4: MSTORE
00001ed5: PUSH1 0x20
00001ed7: PUSH1 0x04
00001ed9: DUP3
00001eda: ADD
00001edb: MSTORE
00001edc: PUSH1 0x6e
00001ede: PUSH1 0x24
00001ee0: DUP3
00001ee1: ADD
00001ee2: MSTORE
00001ee3: PUSH32 0x5365742052657761726473204475726174696f6e3a2050726576696f75732072
00001f04: PUSH1 0x44
00001f06: DUP3
00001f07: ADD
00001f08: MSTORE
00001f09: PUSH32 0x65776172647320706572696f64206d75737420626520636f6d706c6574652062
00001f2a: PUSH1 0x64
00001f2c: DUP3
00001f2d: ADD
00001f2e: MSTORE
00001f2f: PUSH32 0x65666f7265206368616e67696e6720746865206475726174696f6e20666f7220
00001f50: PUSH1 0x84
00001f52: DUP3
00001f53: ADD
00001f54: MSTORE
00001f55: PUSH14 0x1d1a19481b995dc81c195c9a5bd9
00001f64: PUSH1 0x92
00001f66: SHL
00001f67: PUSH1 0xa4
00001f69: DUP3
00001f6a: ADD
00001f6b: MSTORE
00001f6c: PUSH1 0xc4
00001f6e: ADD
00001f6f: PUSH2 0x0b9d
00001f72: JUMP
00001f73: JUMPDEST
00001f74: PUSH1 0x07
00001f76: DUP1
00001f77: SLOAD
00001f78: PUSH4 0xffffffff
00001f7d: PUSH1 0x80
00001f7f: SHL
00001f80: NOT
00001f81: AND
00001f82: PUSH1 0x01
00001f84: PUSH1 0x80
00001f86: SHL
00001f87: PUSH4 0xffffffff
00001f8c: DUP6
00001f8d: DUP2
00001f8e: AND
00001f8f: DUP3
00001f90: MUL
00001f91: SWAP3
00001f92: SWAP1
00001f93: SWAP3
00001f94: OR
00001f95: SWAP3
00001f96: DUP4
00001f97: SWAP1
00001f98: SSTORE
00001f99: PUSH1 0x40
00001f9b: MLOAD
00001f9c: SWAP3
00001f9d: DIV
00001f9e: AND
00001f9f: DUP2
00001fa0: MSTORE
00001fa1: PUSH32 0xfb46ca5a5e06d4540d6387b930a7c978bce0db5f449ec6b3f5d07c6e1d44f2d3
00001fc2: SWAP1
00001fc3: PUSH1 0x20
00001fc5: ADD
00001fc6: PUSH2 0x0b6e
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: PUSH1 0x06
00001fcd: SLOAD
00001fce: PUSH1 0x00
00001fd0: SWAP1
00001fd1: PUSH1 0x01
00001fd3: PUSH1 0x80
00001fd5: SHL
00001fd6: SWAP1
00001fd7: DIV
00001fd8: PUSH1 0x01
00001fda: PUSH1 0x01
00001fdc: PUSH1 0x80
00001fde: SHL
00001fdf: SUB
00001fe0: AND
00001fe1: PUSH2 0x1ff6
00001fe4: JUMPI
00001fe5: POP
00001fe6: PUSH1 0x07
00001fe8: SLOAD
00001fe9: PUSH1 0x01
00001feb: PUSH1 0x01
00001fed: PUSH1 0x60
00001fef: SHL
00001ff0: SUB
00001ff1: AND
00001ff2: PUSH2 0x0a35
00001ff5: JUMP
00001ff6: JUMPDEST
00001ff7: PUSH1 0x06
00001ff9: SLOAD
00001ffa: PUSH1 0x07
00001ffc: SLOAD
00001ffd: PUSH1 0x01
00001fff: PUSH1 0x01
00002001: PUSH1 0x80
00002003: SHL
00002004: SUB
00002005: PUSH1 0x01
00002007: PUSH1 0x80
00002009: SHL
0000200a: DUP4
0000200b: DIV
0000200c: DUP2
0000200d: AND
0000200e: SWAP3
0000200f: AND
00002010: SWAP1
00002011: PUSH6 0xffffffffffff
00002018: PUSH1 0x01
0000201a: PUSH1 0xd0
0000201c: SHL
0000201d: SWAP1
0000201e: SWAP2
0000201f: DIV
00002020: AND
00002021: PUSH2 0x2028
00002024: PUSH2 0x1941
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH2 0x2032
0000202c: SWAP2
0000202d: SWAP1
0000202e: PUSH2 0x29d4
00002031: JUMP
00002032: JUMPDEST
00002033: PUSH2 0x203c
00002036: SWAP2
00002037: SWAP1
00002038: PUSH2 0x29b5
0000203b: JUMP
0000203c: JUMPDEST
0000203d: PUSH2 0x204e
00002040: SWAP1
00002041: PUSH8 0x0de0b6b3a7640000
0000204a: PUSH2 0x29b5
0000204d: JUMP
0000204e: JUMPDEST
0000204f: PUSH2 0x2058
00002052: SWAP2
00002053: SWAP1
00002054: PUSH2 0x2966
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x07
0000205b: SLOAD
0000205c: PUSH2 0x1961
0000205f: SWAP2
00002060: SWAP1
00002061: PUSH1 0x01
00002063: PUSH1 0x01
00002065: PUSH1 0x60
00002067: SHL
00002068: SUB
00002069: AND
0000206a: PUSH2 0x292d
0000206d: JUMP
0000206e: JUMPDEST
0000206f: PUSH2 0x2076
00002072: PUSH2 0x22f1
00002075: JUMP
00002076: JUMPDEST
00002077: PUSH1 0x00
00002079: PUSH1 0x0c
0000207b: DUP3
0000207c: DUP2
0000207d: SLOAD
0000207e: DUP2
0000207f: LT
00002080: PUSH2 0x2099
00002083: JUMPI
00002084: PUSH4 0x4e487b71
00002089: PUSH1 0xe0
0000208b: SHL
0000208c: PUSH1 0x00
0000208e: MSTORE
0000208f: PUSH1 0x32
00002091: PUSH1 0x04
00002093: MSTORE
00002094: PUSH1 0x24
00002096: PUSH1 0x00
00002098: REVERT
00002099: JUMPDEST
0000209a: PUSH1 0x00
0000209c: SWAP2
0000209d: DUP3
0000209e: MSTORE
0000209f: PUSH1 0x20
000020a1: SWAP1
000020a2: SWAP2
000020a3: KECCAK256
000020a4: ADD
000020a5: SLOAD
000020a6: PUSH1 0x0c
000020a8: DUP1
000020a9: SLOAD
000020aa: PUSH1 0x01
000020ac: PUSH1 0x01
000020ae: PUSH1 0xa0
000020b0: SHL
000020b1: SUB
000020b2: SWAP1
000020b3: SWAP3
000020b4: AND
000020b5: SWAP3
000020b6: POP
000020b7: SWAP1
000020b8: PUSH2 0x20c3
000020bb: SWAP1
000020bc: PUSH1 0x01
000020be: SWAP1
000020bf: PUSH2 0x29d4
000020c2: JUMP
000020c3: JUMPDEST
000020c4: DUP2
000020c5: SLOAD
000020c6: DUP2
000020c7: LT
000020c8: PUSH2 0x20e1
000020cb: JUMPI
000020cc: PUSH4 0x4e487b71
000020d1: PUSH1 0xe0
000020d3: SHL
000020d4: PUSH1 0x00
000020d6: MSTORE
000020d7: PUSH1 0x32
000020d9: PUSH1 0x04
000020db: MSTORE
000020dc: PUSH1 0x24
000020de: PUSH1 0x00
000020e0: REVERT
000020e1: JUMPDEST
000020e2: PUSH1 0x00
000020e4: SWAP2
000020e5: DUP3
000020e6: MSTORE
000020e7: PUSH1 0x20
000020e9: SWAP1
000020ea: SWAP2
000020eb: KECCAK256
000020ec: ADD
000020ed: SLOAD
000020ee: PUSH1 0x0c
000020f0: DUP1
000020f1: SLOAD
000020f2: PUSH1 0x01
000020f4: PUSH1 0x01
000020f6: PUSH1 0xa0
000020f8: SHL
000020f9: SUB
000020fa: SWAP1
000020fb: SWAP3
000020fc: AND
000020fd: SWAP2
000020fe: DUP5
000020ff: SWAP1
00002100: DUP2
00002101: LT
00002102: PUSH2 0x211b
00002105: JUMPI
00002106: PUSH4 0x4e487b71
0000210b: PUSH1 0xe0
0000210d: SHL
0000210e: PUSH1 0x00
00002110: MSTORE
00002111: PUSH1 0x32
00002113: PUSH1 0x04
00002115: MSTORE
00002116: PUSH1 0x24
00002118: PUSH1 0x00
0000211a: REVERT
0000211b: JUMPDEST
0000211c: SWAP1
0000211d: PUSH1 0x00
0000211f: MSTORE
00002120: PUSH1 0x20
00002122: PUSH1 0x00
00002124: KECCAK256
00002125: ADD
00002126: PUSH1 0x00
00002128: PUSH2 0x0100
0000212b: EXP
0000212c: DUP2
0000212d: SLOAD
0000212e: DUP2
0000212f: PUSH1 0x01
00002131: PUSH1 0x01
00002133: PUSH1 0xa0
00002135: SHL
00002136: SUB
00002137: MUL
00002138: NOT
00002139: AND
0000213a: SWAP1
0000213b: DUP4
0000213c: PUSH1 0x01
0000213e: PUSH1 0x01
00002140: PUSH1 0xa0
00002142: SHL
00002143: SUB
00002144: AND
00002145: MUL
00002146: OR
00002147: SWAP1
00002148: SSTORE
00002149: POP
0000214a: PUSH1 0x0c
0000214c: DUP1
0000214d: SLOAD
0000214e: DUP1
0000214f: PUSH2 0x2168
00002152: JUMPI
00002153: PUSH4 0x4e487b71
00002158: PUSH1 0xe0
0000215a: SHL
0000215b: PUSH1 0x00
0000215d: MSTORE
0000215e: PUSH1 0x31
00002160: PUSH1 0x04
00002162: MSTORE
00002163: PUSH1 0x24
00002165: PUSH1 0x00
00002167: REVERT
00002168: JUMPDEST
00002169: PUSH1 0x00
0000216b: DUP3
0000216c: DUP2
0000216d: MSTORE
0000216e: PUSH1 0x20
00002170: SWAP1
00002171: DUP2
00002172: SWAP1
00002173: KECCAK256
00002174: PUSH1 0x00
00002176: NOT
00002177: SWAP1
00002178: DUP4
00002179: ADD
0000217a: DUP2
0000217b: ADD
0000217c: DUP1
0000217d: SLOAD
0000217e: PUSH1 0x01
00002180: PUSH1 0x01
00002182: PUSH1 0xa0
00002184: SHL
00002185: SUB
00002186: NOT
00002187: AND
00002188: SWAP1
00002189: SSTORE
0000218a: SWAP1
0000218b: SWAP2
0000218c: ADD
0000218d: SWAP1
0000218e: SWAP2
0000218f: SSTORE
00002190: PUSH1 0x40
00002192: MLOAD
00002193: PUSH1 0x01
00002195: PUSH1 0x01
00002197: PUSH1 0xa0
00002199: SHL
0000219a: SUB
0000219b: DUP4
0000219c: AND
0000219d: DUP2
0000219e: MSTORE
0000219f: PUSH32 0xef69f7d97228658c92417be1b16b19058315de71fecb435d07b7d23728b6bd31
000021c0: SWAP2
000021c1: ADD
000021c2: PUSH2 0x0b6e
000021c5: JUMP
000021c6: JUMPDEST
000021c7: PUSH2 0x21ce
000021ca: PUSH2 0x22f1
000021cd: JUMP
000021ce: JUMPDEST
000021cf: PUSH1 0x08
000021d1: SLOAD
000021d2: PUSH1 0x01
000021d4: PUSH1 0x60
000021d6: SHL
000021d7: SWAP1
000021d8: DIV
000021d9: PUSH1 0x01
000021db: PUSH1 0x01
000021dd: PUSH1 0xa0
000021df: SHL
000021e0: SUB
000021e1: AND
000021e2: DUP1
000021e3: PUSH2 0x2218
000021e6: JUMPI
000021e7: PUSH1 0x40
000021e9: MLOAD
000021ea: PUSH3 0x461bcd
000021ee: PUSH1 0xe5
000021f0: SHL
000021f1: DUP2
000021f2: MSTORE
000021f3: PUSH1 0x20
000021f5: PUSH1 0x04
000021f7: DUP3
000021f8: ADD
000021f9: MSTORE
000021fa: PUSH1 0x07
000021fc: PUSH1 0x24
000021fe: DUP3
000021ff: ADD
00002200: MSTORE
00002201: PUSH7 0x4e6f2046656573
00002209: PUSH1 0xc8
0000220b: SHL
0000220c: PUSH1 0x44
0000220e: DUP3
0000220f: ADD
00002210: MSTORE
00002211: PUSH1 0x64
00002213: ADD
00002214: PUSH2 0x0b9d
00002217: JUMP
00002218: JUMPDEST
00002219: PUSH1 0x08
0000221b: DUP1
0000221c: SLOAD
0000221d: PUSH1 0x01
0000221f: PUSH1 0x01
00002221: PUSH1 0x60
00002223: SHL
00002224: SUB
00002225: AND
00002226: SWAP1
00002227: SSTORE
00002228: PUSH1 0x01
0000222a: SLOAD
0000222b: PUSH1 0x40
0000222d: MLOAD
0000222e: PUSH1 0x00
00002230: SWAP2
00002231: PUSH1 0x01
00002233: PUSH1 0x01
00002235: PUSH1 0xa0
00002237: SHL
00002238: SUB
00002239: AND
0000223a: SWAP1
0000223b: DUP4
0000223c: SWAP1
0000223d: DUP4
0000223e: DUP2
0000223f: DUP2
00002240: DUP2
00002241: DUP6
00002242: DUP8
00002243: GAS
00002244: CALL
00002245: SWAP3
00002246: POP
00002247: POP
00002248: POP
00002249: RETURNDATASIZE
0000224a: DUP1
0000224b: PUSH1 0x00
0000224d: DUP2
0000224e: EQ
0000224f: PUSH2 0x2274
00002252: JUMPI
00002253: PUSH1 0x40
00002255: MLOAD
00002256: SWAP2
00002257: POP
00002258: PUSH1 0x1f
0000225a: NOT
0000225b: PUSH1 0x3f
0000225d: RETURNDATASIZE
0000225e: ADD
0000225f: AND
00002260: DUP3
00002261: ADD
00002262: PUSH1 0x40
00002264: MSTORE
00002265: RETURNDATASIZE
00002266: DUP3
00002267: MSTORE
00002268: RETURNDATASIZE
00002269: PUSH1 0x00
0000226b: PUSH1 0x20
0000226d: DUP5
0000226e: ADD
0000226f: RETURNDATACOPY
00002270: PUSH2 0x2279
00002273: JUMP
00002274: JUMPDEST
00002275: PUSH1 0x60
00002277: SWAP2
00002278: POP
00002279: JUMPDEST
0000227a: POP
0000227b: POP
0000227c: SWAP1
0000227d: POP
0000227e: DUP1
0000227f: PUSH2 0x22c1
00002282: JUMPI
00002283: PUSH1 0x40
00002285: MLOAD
00002286: PUSH3 0x461bcd
0000228a: PUSH1 0xe5
0000228c: SHL
0000228d: DUP2
0000228e: MSTORE
0000228f: PUSH1 0x20
00002291: PUSH1 0x04
00002293: DUP3
00002294: ADD
00002295: MSTORE
00002296: PUSH1 0x14
00002298: PUSH1 0x24
0000229a: DUP3
0000229b: ADD
0000229c: MSTORE
0000229d: PUSH20 0x15da5d1a191c985dc81199594e8811985a5b1959
000022b2: PUSH1 0x62
000022b4: SHL
000022b5: PUSH1 0x44
000022b7: DUP3
000022b8: ADD
000022b9: MSTORE
000022ba: PUSH1 0x64
000022bc: ADD
000022bd: PUSH2 0x0b9d
000022c0: JUMP
000022c1: JUMPDEST
000022c2: PUSH1 0x40
000022c4: MLOAD
000022c5: DUP3
000022c6: DUP2
000022c7: MSTORE
000022c8: PUSH32 0xb7eeacba6b133788365610e83d3f130d07b6ef6e78877961f25b3f61fcba0752
000022e9: SWAP1
000022ea: PUSH1 0x20
000022ec: ADD
000022ed: PUSH2 0x0b6e
000022f0: JUMP
000022f1: JUMPDEST
000022f2: PUSH1 0x01
000022f4: SLOAD
000022f5: PUSH1 0x01
000022f7: PUSH1 0x01
000022f9: PUSH1 0xa0
000022fb: SHL
000022fc: SUB
000022fd: AND
000022fe: CALLER
000022ff: EQ
00002300: PUSH2 0x2363
00002303: JUMPI
00002304: PUSH1 0x40
00002306: MLOAD
00002307: PUSH3 0x461bcd
0000230b: PUSH1 0xe5
0000230d: SHL
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x20
00002312: PUSH1 0x04
00002314: DUP3
00002315: ADD
00002316: MSTORE
00002317: PUSH1 0x2f
00002319: PUSH1 0x24
0000231b: DUP3
0000231c: ADD
0000231d: MSTORE
0000231e: PUSH32 0x4f6e6c792074686520636f6e7472616374206f776e6572206d61792070657266
0000233f: PUSH1 0x44
00002341: DUP3
00002342: ADD
00002343: MSTORE
00002344: PUSH15 0x37b936903a3434b99030b1ba34b7b7
00002354: PUSH1 0x89
00002356: SHL
00002357: PUSH1 0x64
00002359: DUP3
0000235a: ADD
0000235b: MSTORE
0000235c: PUSH1 0x84
0000235e: ADD
0000235f: PUSH2 0x0b9d
00002362: JUMP
00002363: JUMPDEST
00002364: JUMP
00002365: JUMPDEST
00002366: PUSH2 0x236d
00002369: PUSH2 0x1fca
0000236c: JUMP
0000236d: JUMPDEST
0000236e: PUSH1 0x07
00002370: DUP1
00002371: SLOAD
00002372: PUSH12 0xffffffffffffffffffffffff
0000237f: NOT
00002380: AND
00002381: PUSH1 0x01
00002383: PUSH1 0x01
00002385: PUSH1 0x60
00002387: SHL
00002388: SUB
00002389: SWAP3
0000238a: SWAP1
0000238b: SWAP3
0000238c: AND
0000238d: SWAP2
0000238e: SWAP1
0000238f: SWAP2
00002390: OR
00002391: SWAP1
00002392: SSTORE
00002393: PUSH2 0x239a
00002396: PUSH2 0x1941
00002399: JUMP
0000239a: JUMPDEST
0000239b: PUSH1 0x07
0000239d: DUP1
0000239e: SLOAD
0000239f: PUSH6 0xffffffffffff
000023a6: SWAP3
000023a7: SWAP1
000023a8: SWAP3
000023a9: AND
000023aa: PUSH1 0x01
000023ac: PUSH1 0xd0
000023ae: SHL
000023af: MUL
000023b0: PUSH1 0x01
000023b2: PUSH1 0x01
000023b4: PUSH1 0xd0
000023b6: SHL
000023b7: SUB
000023b8: SWAP1
000023b9: SWAP3
000023ba: AND
000023bb: SWAP2
000023bc: SWAP1
000023bd: SWAP2
000023be: OR
000023bf: SWAP1
000023c0: SSTORE
000023c1: PUSH1 0x01
000023c3: PUSH1 0x01
000023c5: PUSH1 0xa0
000023c7: SHL
000023c8: SUB
000023c9: DUP2
000023ca: AND
000023cb: ISZERO
000023cc: PUSH2 0x0a1e
000023cf: JUMPI
000023d0: PUSH2 0x23d8
000023d3: DUP2
000023d4: PUSH2 0x08cf
000023d7: JUMP
000023d8: JUMPDEST
000023d9: PUSH1 0x01
000023db: PUSH1 0x01
000023dd: PUSH1 0xa0
000023df: SHL
000023e0: SUB
000023e1: DUP3
000023e2: AND
000023e3: PUSH1 0x00
000023e5: SWAP1
000023e6: DUP2
000023e7: MSTORE
000023e8: PUSH1 0x0a
000023ea: PUSH1 0x20
000023ec: SWAP1
000023ed: DUP2
000023ee: MSTORE
000023ef: PUSH1 0x40
000023f1: DUP1
000023f2: DUP4
000023f3: KECCAK256
000023f4: SWAP4
000023f5: SWAP1
000023f6: SWAP4
000023f7: SSTORE
000023f8: PUSH1 0x07
000023fa: SLOAD
000023fb: PUSH1 0x09
000023fd: SWAP1
000023fe: SWAP2
000023ff: MSTORE
00002400: SWAP2
00002401: SWAP1
00002402: KECCAK256
00002403: PUSH1 0x01
00002405: PUSH1 0x01
00002407: PUSH1 0x60
00002409: SHL
0000240a: SUB
0000240b: SWAP1
0000240c: SWAP2
0000240d: AND
0000240e: SWAP1
0000240f: SSTORE
00002410: POP
00002411: JUMP
00002412: JUMPDEST
00002413: PUSH1 0x40
00002415: MLOAD
00002416: PUSH1 0x01
00002418: PUSH1 0x01
0000241a: PUSH1 0xa0
0000241c: SHL
0000241d: SUB
0000241e: DUP4
0000241f: AND
00002420: PUSH1 0x24
00002422: DUP3
00002423: ADD
00002424: MSTORE
00002425: PUSH1 0x44
00002427: DUP2
00002428: ADD
00002429: DUP3
0000242a: SWAP1
0000242b: MSTORE
0000242c: PUSH2 0x2475
0000242f: SWAP1
00002430: DUP5
00002431: SWAP1
00002432: PUSH4 0xa9059cbb
00002437: PUSH1 0xe0
00002439: SHL
0000243a: SWAP1
0000243b: PUSH1 0x64
0000243d: ADD
0000243e: JUMPDEST
0000243f: PUSH1 0x40
00002441: DUP1
00002442: MLOAD
00002443: PUSH1 0x1f
00002445: NOT
00002446: DUP2
00002447: DUP5
00002448: SUB
00002449: ADD
0000244a: DUP2
0000244b: MSTORE
0000244c: SWAP2
0000244d: SWAP1
0000244e: MSTORE
0000244f: PUSH1 0x20
00002451: DUP2
00002452: ADD
00002453: DUP1
00002454: MLOAD
00002455: PUSH1 0x01
00002457: PUSH1 0x01
00002459: PUSH1 0xe0
0000245b: SHL
0000245c: SUB
0000245d: AND
0000245e: PUSH1 0x01
00002460: PUSH1 0x01
00002462: PUSH1 0xe0
00002464: SHL
00002465: SUB
00002466: NOT
00002467: SWAP1
00002468: SWAP4
00002469: AND
0000246a: SWAP3
0000246b: SWAP1
0000246c: SWAP3
0000246d: OR
0000246e: SWAP1
0000246f: SWAP2
00002470: MSTORE
00002471: PUSH2 0x24b8
00002474: JUMP
00002475: JUMPDEST
00002476: POP
00002477: POP
00002478: POP
00002479: JUMP
0000247a: JUMPDEST
0000247b: PUSH1 0x40
0000247d: MLOAD
0000247e: PUSH1 0x01
00002480: PUSH1 0x01
00002482: PUSH1 0xa0
00002484: SHL
00002485: SUB
00002486: DUP1
00002487: DUP6
00002488: AND
00002489: PUSH1 0x24
0000248b: DUP4
0000248c: ADD
0000248d: MSTORE
0000248e: DUP4
0000248f: AND
00002490: PUSH1 0x44
00002492: DUP3
00002493: ADD
00002494: MSTORE
00002495: PUSH1 0x64
00002497: DUP2
00002498: ADD
00002499: DUP3
0000249a: SWAP1
0000249b: MSTORE
0000249c: PUSH2 0x24b2
0000249f: SWAP1
000024a0: DUP6
000024a1: SWAP1
000024a2: PUSH4 0x23b872dd
000024a7: PUSH1 0xe0
000024a9: SHL
000024aa: SWAP1
000024ab: PUSH1 0x84
000024ad: ADD
000024ae: PUSH2 0x243e
000024b1: JUMP
000024b2: JUMPDEST
000024b3: POP
000024b4: POP
000024b5: POP
000024b6: POP
000024b7: JUMP
000024b8: JUMPDEST
000024b9: PUSH1 0x00
000024bb: PUSH2 0x250d
000024be: DUP3
000024bf: PUSH1 0x40
000024c1: MLOAD
000024c2: DUP1
000024c3: PUSH1 0x40
000024c5: ADD
000024c6: PUSH1 0x40
000024c8: MSTORE
000024c9: DUP1
000024ca: PUSH1 0x20
000024cc: DUP2
000024cd: MSTORE
000024ce: PUSH1 0x20
000024d0: ADD
000024d1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000024f2: DUP2
000024f3: MSTORE
000024f4: POP
000024f5: DUP6
000024f6: PUSH1 0x01
000024f8: PUSH1 0x01
000024fa: PUSH1 0xa0
000024fc: SHL
000024fd: SUB
000024fe: AND
000024ff: PUSH2 0x258a
00002502: SWAP1
00002503: SWAP3
00002504: SWAP2
00002505: SWAP1
00002506: PUSH4 0xffffffff
0000250b: AND
0000250c: JUMP
0000250d: JUMPDEST
0000250e: DUP1
0000250f: MLOAD
00002510: SWAP1
00002511: SWAP2
00002512: POP
00002513: ISZERO
00002514: PUSH2 0x2475
00002517: JUMPI
00002518: DUP1
00002519: DUP1
0000251a: PUSH1 0x20
0000251c: ADD
0000251d: SWAP1
0000251e: MLOAD
0000251f: DUP2
00002520: ADD
00002521: SWAP1
00002522: PUSH2 0x252b
00002525: SWAP2
00002526: SWAP1
00002527: PUSH2 0x2745
0000252a: JUMP
0000252b: JUMPDEST
0000252c: PUSH2 0x2475
0000252f: JUMPI
00002530: PUSH1 0x40
00002532: MLOAD
00002533: PUSH3 0x461bcd
00002537: PUSH1 0xe5
00002539: SHL
0000253a: DUP2
0000253b: MSTORE
0000253c: PUSH1 0x20
0000253e: PUSH1 0x04
00002540: DUP3
00002541: ADD
00002542: MSTORE
00002543: PUSH1 0x2a
00002545: PUSH1 0x24
00002547: DUP3
00002548: ADD
00002549: MSTORE
0000254a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000256b: PUSH1 0x44
0000256d: DUP3
0000256e: ADD
0000256f: MSTORE
00002570: PUSH10 0x1bdd081cdd58d8d95959
0000257b: PUSH1 0xb2
0000257d: SHL
0000257e: PUSH1 0x64
00002580: DUP3
00002581: ADD
00002582: MSTORE
00002583: PUSH1 0x84
00002585: ADD
00002586: PUSH2 0x0b9d
00002589: JUMP
0000258a: JUMPDEST
0000258b: PUSH1 0x60
0000258d: PUSH2 0x2599
00002590: DUP5
00002591: DUP5
00002592: PUSH1 0x00
00002594: DUP6
00002595: PUSH2 0x25a1
00002598: JUMP
00002599: JUMPDEST
0000259a: SWAP5
0000259b: SWAP4
0000259c: POP
0000259d: POP
0000259e: POP
0000259f: POP
000025a0: JUMP
000025a1: JUMPDEST
000025a2: PUSH1 0x60
000025a4: DUP3
000025a5: SELFBALANCE
000025a6: LT
000025a7: ISZERO
000025a8: PUSH2 0x2602
000025ab: JUMPI
000025ac: PUSH1 0x40
000025ae: MLOAD
000025af: PUSH3 0x461bcd
000025b3: PUSH1 0xe5
000025b5: SHL
000025b6: DUP2
000025b7: MSTORE
000025b8: PUSH1 0x20
000025ba: PUSH1 0x04
000025bc: DUP3
000025bd: ADD
000025be: MSTORE
000025bf: PUSH1 0x26
000025c1: PUSH1 0x24
000025c3: DUP3
000025c4: ADD
000025c5: MSTORE
000025c6: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000025e7: PUSH1 0x44
000025e9: DUP3
000025ea: ADD
000025eb: MSTORE
000025ec: PUSH6 0x1c8818d85b1b
000025f3: PUSH1 0xd2
000025f5: SHL
000025f6: PUSH1 0x64
000025f8: DUP3
000025f9: ADD
000025fa: MSTORE
000025fb: PUSH1 0x84
000025fd: ADD
000025fe: PUSH2 0x0b9d
00002601: JUMP
00002602: JUMPDEST
00002603: DUP5
00002604: EXTCODESIZE
00002605: PUSH2 0x2650
00002608: JUMPI
00002609: PUSH1 0x40
0000260b: MLOAD
0000260c: PUSH3 0x461bcd
00002610: PUSH1 0xe5
00002612: SHL
00002613: DUP2
00002614: MSTORE
00002615: PUSH1 0x20
00002617: PUSH1 0x04
00002619: DUP3
0000261a: ADD
0000261b: MSTORE
0000261c: PUSH1 0x1d
0000261e: PUSH1 0x24
00002620: DUP3
00002621: ADD
00002622: MSTORE
00002623: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002644: PUSH1 0x44
00002646: DUP3
00002647: ADD
00002648: MSTORE
00002649: PUSH1 0x64
0000264b: ADD
0000264c: PUSH2 0x0b9d
0000264f: JUMP
00002650: JUMPDEST
00002651: PUSH1 0x00
00002653: DUP1
00002654: DUP7
00002655: PUSH1 0x01
00002657: PUSH1 0x01
00002659: PUSH1 0xa0
0000265b: SHL
0000265c: SUB
0000265d: AND
0000265e: DUP6
0000265f: DUP8
00002660: PUSH1 0x40
00002662: MLOAD
00002663: PUSH2 0x266c
00002666: SWAP2
00002667: SWAP1
00002668: PUSH2 0x279a
0000266b: JUMP
0000266c: JUMPDEST
0000266d: PUSH1 0x00
0000266f: PUSH1 0x40
00002671: MLOAD
00002672: DUP1
00002673: DUP4
00002674: SUB
00002675: DUP2
00002676: DUP6
00002677: DUP8
00002678: GAS
00002679: CALL
0000267a: SWAP3
0000267b: POP
0000267c: POP
0000267d: POP
0000267e: RETURNDATASIZE
0000267f: DUP1
00002680: PUSH1 0x00
00002682: DUP2
00002683: EQ
00002684: PUSH2 0x26a9
00002687: JUMPI
00002688: PUSH1 0x40
0000268a: MLOAD
0000268b: SWAP2
0000268c: POP
0000268d: PUSH1 0x1f
0000268f: NOT
00002690: PUSH1 0x3f
00002692: RETURNDATASIZE
00002693: ADD
00002694: AND
00002695: DUP3
00002696: ADD
00002697: PUSH1 0x40
00002699: MSTORE
0000269a: RETURNDATASIZE
0000269b: DUP3
0000269c: MSTORE
0000269d: RETURNDATASIZE
0000269e: PUSH1 0x00
000026a0: PUSH1 0x20
000026a2: DUP5
000026a3: ADD
000026a4: RETURNDATACOPY
000026a5: PUSH2 0x26ae
000026a8: JUMP
000026a9: JUMPDEST
000026aa: PUSH1 0x60
000026ac: SWAP2
000026ad: POP
000026ae: JUMPDEST
000026af: POP
000026b0: SWAP2
000026b1: POP
000026b2: SWAP2
000026b3: POP
000026b4: PUSH2 0x26be
000026b7: DUP3
000026b8: DUP3
000026b9: DUP7
000026ba: PUSH2 0x26c9
000026bd: JUMP
000026be: JUMPDEST
000026bf: SWAP8
000026c0: SWAP7
000026c1: POP
000026c2: POP
000026c3: POP
000026c4: POP
000026c5: POP
000026c6: POP
000026c7: POP
000026c8: JUMP
000026c9: JUMPDEST
000026ca: PUSH1 0x60
000026cc: DUP4
000026cd: ISZERO
000026ce: PUSH2 0x26d8
000026d1: JUMPI
000026d2: POP
000026d3: DUP2
000026d4: PUSH2 0x193a
000026d7: JUMP
000026d8: JUMPDEST
000026d9: DUP3
000026da: MLOAD
000026db: ISZERO
000026dc: PUSH2 0x26e8
000026df: JUMPI
000026e0: DUP3
000026e1: MLOAD
000026e2: DUP1
000026e3: DUP5
000026e4: PUSH1 0x20
000026e6: ADD
000026e7: REVERT
000026e8: JUMPDEST
000026e9: DUP2
000026ea: PUSH1 0x40
000026ec: MLOAD
000026ed: PUSH3 0x461bcd
000026f1: PUSH1 0xe5
000026f3: SHL
000026f4: DUP2
000026f5: MSTORE
000026f6: PUSH1 0x04
000026f8: ADD
000026f9: PUSH2 0x0b9d
000026fc: SWAP2
000026fd: SWAP1
000026fe: PUSH2 0x2803
00002701: JUMP
00002702: JUMPDEST
00002703: PUSH1 0x00
00002705: PUSH1 0x20
00002707: DUP3
00002708: DUP5
00002709: SUB
0000270a: SLT
0000270b: ISZERO
0000270c: PUSH2 0x2713
0000270f: JUMPI
00002710: DUP1
00002711: DUP2
00002712: REVERT
00002713: JUMPDEST
00002714: DUP2
00002715: CALLDATALOAD
00002716: PUSH1 0x01
00002718: PUSH1 0x01
0000271a: PUSH1 0xa0
0000271c: SHL
0000271d: SUB
0000271e: DUP2
0000271f: AND
00002720: DUP2
00002721: EQ
00002722: PUSH2 0x193a
00002725: JUMPI
00002726: DUP2
00002727: DUP3
00002728: REVERT
00002729: JUMPDEST
0000272a: PUSH1 0x00
0000272c: PUSH1 0x20
0000272e: DUP3
0000272f: DUP5
00002730: SUB
00002731: SLT
00002732: ISZERO
00002733: PUSH2 0x273a
00002736: JUMPI
00002737: DUP1
00002738: DUP2
00002739: REVERT
0000273a: JUMPDEST
0000273b: DUP2
0000273c: CALLDATALOAD
0000273d: PUSH2 0x193a
00002740: DUP2
00002741: PUSH2 0x2a48
00002744: JUMP
00002745: JUMPDEST
00002746: PUSH1 0x00
00002748: PUSH1 0x20
0000274a: DUP3
0000274b: DUP5
0000274c: SUB
0000274d: SLT
0000274e: ISZERO
0000274f: PUSH2 0x2756
00002752: JUMPI
00002753: DUP1
00002754: DUP2
00002755: REVERT
00002756: JUMPDEST
00002757: DUP2
00002758: MLOAD
00002759: PUSH2 0x193a
0000275c: DUP2
0000275d: PUSH2 0x2a48
00002760: JUMP
00002761: JUMPDEST
00002762: PUSH1 0x00
00002764: PUSH1 0x20
00002766: DUP3
00002767: DUP5
00002768: SUB
00002769: SLT
0000276a: ISZERO
0000276b: PUSH2 0x2772
0000276e: JUMPI
0000276f: DUP1
00002770: DUP2
00002771: REVERT
00002772: JUMPDEST
00002773: POP
00002774: CALLDATALOAD
00002775: SWAP2
00002776: SWAP1
00002777: POP
00002778: JUMP
00002779: JUMPDEST
0000277a: PUSH1 0x00
0000277c: DUP1
0000277d: PUSH1 0x40
0000277f: DUP4
00002780: DUP6
00002781: SUB
00002782: SLT
00002783: ISZERO
00002784: PUSH2 0x278b
00002787: JUMPI
00002788: DUP1
00002789: DUP2
0000278a: REVERT
0000278b: JUMPDEST
0000278c: POP
0000278d: POP
0000278e: DUP1
0000278f: CALLDATALOAD
00002790: SWAP3
00002791: PUSH1 0x20
00002793: SWAP1
00002794: SWAP2
00002795: ADD
00002796: CALLDATALOAD
00002797: SWAP2
00002798: POP
00002799: JUMP
0000279a: JUMPDEST
0000279b: PUSH1 0x00
0000279d: DUP3
0000279e: MLOAD
0000279f: PUSH2 0x27ac
000027a2: DUP2
000027a3: DUP5
000027a4: PUSH1 0x20
000027a6: DUP8
000027a7: ADD
000027a8: PUSH2 0x29eb
000027ab: JUMP
000027ac: JUMPDEST
000027ad: SWAP2
000027ae: SWAP1
000027af: SWAP2
000027b0: ADD
000027b1: SWAP3
000027b2: SWAP2
000027b3: POP
000027b4: POP
000027b5: JUMP
000027b6: JUMPDEST
000027b7: PUSH1 0x20
000027b9: DUP1
000027ba: DUP3
000027bb: MSTORE
000027bc: DUP3
000027bd: MLOAD
000027be: DUP3
000027bf: DUP3
000027c0: ADD
000027c1: DUP2
000027c2: SWAP1
000027c3: MSTORE
000027c4: PUSH1 0x00
000027c6: SWAP2
000027c7: SWAP1
000027c8: DUP5
000027c9: DUP3
000027ca: ADD
000027cb: SWAP1
000027cc: PUSH1 0x40
000027ce: DUP6
000027cf: ADD
000027d0: SWAP1
000027d1: DUP5
000027d2: JUMPDEST
000027d3: DUP2
000027d4: DUP2
000027d5: LT
000027d6: ISZERO
000027d7: PUSH2 0x27f7
000027da: JUMPI
000027db: DUP4
000027dc: MLOAD
000027dd: PUSH1 0x01
000027df: PUSH1 0x01
000027e1: PUSH1 0xa0
000027e3: SHL
000027e4: SUB
000027e5: AND
000027e6: DUP4
000027e7: MSTORE
000027e8: SWAP3
000027e9: DUP5
000027ea: ADD
000027eb: SWAP3
000027ec: SWAP2
000027ed: DUP5
000027ee: ADD
000027ef: SWAP2
000027f0: PUSH1 0x01
000027f2: ADD
000027f3: PUSH2 0x27d2
000027f6: JUMP
000027f7: JUMPDEST
000027f8: POP
000027f9: SWAP1
000027fa: SWAP7
000027fb: SWAP6
000027fc: POP
000027fd: POP
000027fe: POP
000027ff: POP
00002800: POP
00002801: POP
00002802: JUMP
00002803: JUMPDEST
00002804: PUSH1 0x00
00002806: PUSH1 0x20
00002808: DUP3
00002809: MSTORE
0000280a: DUP3
0000280b: MLOAD
0000280c: DUP1
0000280d: PUSH1 0x20
0000280f: DUP5
00002810: ADD
00002811: MSTORE
00002812: PUSH2 0x2822
00002815: DUP2
00002816: PUSH1 0x40
00002818: DUP6
00002819: ADD
0000281a: PUSH1 0x20
0000281c: DUP8
0000281d: ADD
0000281e: PUSH2 0x29eb
00002821: JUMP
00002822: JUMPDEST
00002823: PUSH1 0x1f
00002825: ADD
00002826: PUSH1 0x1f
00002828: NOT
00002829: AND
0000282a: SWAP2
0000282b: SWAP1
0000282c: SWAP2
0000282d: ADD
0000282e: PUSH1 0x40
00002830: ADD
00002831: SWAP3
00002832: SWAP2
00002833: POP
00002834: POP
00002835: JUMP
00002836: JUMPDEST
00002837: PUSH1 0x20
00002839: DUP1
0000283a: DUP3
0000283b: MSTORE
0000283c: PUSH1 0x31
0000283e: SWAP1
0000283f: DUP3
00002840: ADD
00002841: MSTORE
00002842: PUSH32 0x4f6e6c792074686520636f6e7472616374206d616e61676572206d6179207065
00002863: PUSH1 0x40
00002865: DUP3
00002866: ADD
00002867: MSTORE
00002868: PUSH17 0x393337b936903a3434b99030b1ba34b7b7
0000287a: PUSH1 0x79
0000287c: SHL
0000287d: PUSH1 0x60
0000287f: DUP3
00002880: ADD
00002881: MSTORE
00002882: PUSH1 0x80
00002884: ADD
00002885: SWAP1
00002886: JUMP
00002887: JUMPDEST
00002888: PUSH1 0x20
0000288a: DUP1
0000288b: DUP3
0000288c: MSTORE
0000288d: PUSH1 0x1f
0000288f: SWAP1
00002890: DUP3
00002891: ADD
00002892: MSTORE
00002893: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000028b4: PUSH1 0x40
000028b6: DUP3
000028b7: ADD
000028b8: MSTORE
000028b9: PUSH1 0x60
000028bb: ADD
000028bc: SWAP1
000028bd: JUMP
000028be: JUMPDEST
000028bf: PUSH1 0x00
000028c1: PUSH1 0x01
000028c3: PUSH1 0x01
000028c5: PUSH1 0x68
000028c7: SHL
000028c8: SUB
000028c9: DUP1
000028ca: DUP4
000028cb: AND
000028cc: DUP2
000028cd: DUP6
000028ce: AND
000028cf: DUP1
000028d0: DUP4
000028d1: SUB
000028d2: DUP3
000028d3: GT
000028d4: ISZERO
000028d5: PUSH2 0x28e0
000028d8: JUMPI
000028d9: PUSH2 0x28e0
000028dc: PUSH2 0x2a32
000028df: JUMP
000028e0: JUMPDEST
000028e1: ADD
000028e2: SWAP5
000028e3: SWAP4
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: POP
000028e8: JUMP
000028e9: JUMPDEST
000028ea: PUSH1 0x00
000028ec: PUSH1 0x01
000028ee: PUSH1 0x01
000028f0: PUSH1 0x80
000028f2: SHL
000028f3: SUB
000028f4: DUP1
000028f5: DUP4
000028f6: AND
000028f7: DUP2
000028f8: DUP6
000028f9: AND
000028fa: DUP1
000028fb: DUP4
000028fc: SUB
000028fd: DUP3
000028fe: GT
000028ff: ISZERO
00002900: PUSH2 0x28e0
00002903: JUMPI
00002904: PUSH2 0x28e0
00002907: PUSH2 0x2a32
0000290a: JUMP
0000290b: JUMPDEST
0000290c: PUSH1 0x00
0000290e: PUSH1 0x01
00002910: PUSH1 0x01
00002912: PUSH1 0xa0
00002914: SHL
00002915: SUB
00002916: DUP3
00002917: DUP2
00002918: AND
00002919: DUP5
0000291a: DUP3
0000291b: AND
0000291c: DUP1
0000291d: DUP4
0000291e: SUB
0000291f: DUP3
00002920: GT
00002921: ISZERO
00002922: PUSH2 0x28e0
00002925: JUMPI
00002926: PUSH2 0x28e0
00002929: PUSH2 0x2a32
0000292c: JUMP
0000292d: JUMPDEST
0000292e: PUSH1 0x00
00002930: DUP3
00002931: NOT
00002932: DUP3
00002933: GT
00002934: ISZERO
00002935: PUSH2 0x2940
00002938: JUMPI
00002939: PUSH2 0x2940
0000293c: PUSH2 0x2a32
0000293f: JUMP
00002940: JUMPDEST
00002941: POP
00002942: ADD
00002943: SWAP1
00002944: JUMP
00002945: JUMPDEST
00002946: PUSH1 0x00
00002948: PUSH6 0xffffffffffff
0000294f: DUP1
00002950: DUP4
00002951: AND
00002952: DUP2
00002953: DUP6
00002954: AND
00002955: DUP1
00002956: DUP4
00002957: SUB
00002958: DUP3
00002959: GT
0000295a: ISZERO
0000295b: PUSH2 0x28e0
0000295e: JUMPI
0000295f: PUSH2 0x28e0
00002962: PUSH2 0x2a32
00002965: JUMP
00002966: JUMPDEST
00002967: PUSH1 0x00
00002969: DUP3
0000296a: PUSH2 0x2981
0000296d: JUMPI
0000296e: PUSH4 0x4e487b71
00002973: PUSH1 0xe0
00002975: SHL
00002976: DUP2
00002977: MSTORE
00002978: PUSH1 0x12
0000297a: PUSH1 0x04
0000297c: MSTORE
0000297d: PUSH1 0x24
0000297f: DUP2
00002980: REVERT
00002981: JUMPDEST
00002982: POP
00002983: DIV
00002984: SWAP1
00002985: JUMP
00002986: JUMPDEST
00002987: PUSH1 0x00
00002989: PUSH1 0x01
0000298b: PUSH1 0x01
0000298d: PUSH1 0x80
0000298f: SHL
00002990: SUB
00002991: DUP1
00002992: DUP4
00002993: AND
00002994: DUP2
00002995: DUP6
00002996: AND
00002997: DUP2
00002998: DUP4
00002999: DIV
0000299a: DUP2
0000299b: GT
0000299c: DUP3
0000299d: ISZERO
0000299e: ISZERO
0000299f: AND
000029a0: ISZERO
000029a1: PUSH2 0x29ac
000029a4: JUMPI
000029a5: PUSH2 0x29ac
000029a8: PUSH2 0x2a32
000029ab: JUMP
000029ac: JUMPDEST
000029ad: MUL
000029ae: SWAP5
000029af: SWAP4
000029b0: POP
000029b1: POP
000029b2: POP
000029b3: POP
000029b4: JUMP
000029b5: JUMPDEST
000029b6: PUSH1 0x00
000029b8: DUP2
000029b9: PUSH1 0x00
000029bb: NOT
000029bc: DIV
000029bd: DUP4
000029be: GT
000029bf: DUP3
000029c0: ISZERO
000029c1: ISZERO
000029c2: AND
000029c3: ISZERO
000029c4: PUSH2 0x29cf
000029c7: JUMPI
000029c8: PUSH2 0x29cf
000029cb: PUSH2 0x2a32
000029ce: JUMP
000029cf: JUMPDEST
000029d0: POP
000029d1: MUL
000029d2: SWAP1
000029d3: JUMP
000029d4: JUMPDEST
000029d5: PUSH1 0x00
000029d7: DUP3
000029d8: DUP3
000029d9: LT
000029da: ISZERO
000029db: PUSH2 0x29e6
000029de: JUMPI
000029df: PUSH2 0x29e6
000029e2: PUSH2 0x2a32
000029e5: JUMP
000029e6: JUMPDEST
000029e7: POP
000029e8: SUB
000029e9: SWAP1
000029ea: JUMP
000029eb: JUMPDEST
000029ec: PUSH1 0x00
000029ee: JUMPDEST
000029ef: DUP4
000029f0: DUP2
000029f1: LT
000029f2: ISZERO
000029f3: PUSH2 0x2a06
000029f6: JUMPI
000029f7: DUP2
000029f8: DUP2
000029f9: ADD
000029fa: MLOAD
000029fb: DUP4
000029fc: DUP3
000029fd: ADD
000029fe: MSTORE
000029ff: PUSH1 0x20
00002a01: ADD
00002a02: PUSH2 0x29ee
00002a05: JUMP
00002a06: JUMPDEST
00002a07: DUP4
00002a08: DUP2
00002a09: GT
00002a0a: ISZERO
00002a0b: PUSH2 0x24b2
00002a0e: JUMPI
00002a0f: POP
00002a10: POP
00002a11: PUSH1 0x00
00002a13: SWAP2
00002a14: ADD
00002a15: MSTORE
00002a16: JUMP
00002a17: JUMPDEST
00002a18: PUSH1 0x00
00002a1a: PUSH1 0x00
00002a1c: NOT
00002a1d: DUP3
00002a1e: EQ
00002a1f: ISZERO
00002a20: PUSH2 0x2a2b
00002a23: JUMPI
00002a24: PUSH2 0x2a2b
00002a27: PUSH2 0x2a32
00002a2a: JUMP
00002a2b: JUMPDEST
00002a2c: POP
00002a2d: PUSH1 0x01
00002a2f: ADD
00002a30: SWAP1
00002a31: JUMP
00002a32: JUMPDEST
00002a33: PUSH4 0x4e487b71
00002a38: PUSH1 0xe0
00002a3a: SHL
00002a3b: PUSH1 0x00
00002a3d: MSTORE
00002a3e: PUSH1 0x11
00002a40: PUSH1 0x04
00002a42: MSTORE
00002a43: PUSH1 0x24
00002a45: PUSH1 0x00
00002a47: REVERT
00002a48: JUMPDEST
00002a49: DUP1
00002a4a: ISZERO
00002a4b: ISZERO
00002a4c: DUP2
00002a4d: EQ
00002a4e: PUSH2 0x0a1e
00002a51: JUMPI
00002a52: PUSH1 0x00
00002a54: DUP1
00002a55: REVERT
00002a56: INVALID
00002a57: LOG2
00002a58: PUSH5 0x6970667358
00002a5e: UNKNOWN(0x22)
00002a5f: SLT
00002a60: KECCAK256
00002a61: UNKNOWN(0x2D)
00002a62: UNKNOWN(0xB9)
00002a63: JUMP
00002a64: GASLIMIT
00002a65: UNKNOWN(0xDF)
00002a66: PUSH19 0x2c6d899535f1e4ea9264daf87c7288573ad0f3
00002a7a: UNKNOWN(0xAE)
00002a7b: UNKNOWN(0xA5)
00002a7c: SHR
00002a7d: UNKNOWN(0xC8)
00002a7e: CALLDATALOAD
00002a7f: ISZERO
00002a80: TLOAD
00002a81: PUSH5 0x736f6c6343
00002a87: STOP
00002a88: ADDMOD
00002a89: SUB
00002a8a: STOP
00002a8b: CALLER
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0xd842768d587cca236b5d926aa424fd6fd2bbf4312315b9555124bf2086cfa6b7
call_targets: 0x59accd277add23ee736e70a456a3d2c89e9a62a3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd842768d587cca236b5d926aa424fd6fd2bbf4312315b9555124bf2086cfa6b7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x59accd277add23ee736e70a456a3d2c89e9a62a3"
    ],
    "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": "0xd8247ee7",
            "selector": "0xd8247ee7",
            "calldata_variants": [
                "0xd8247ee7",
                "0xd8247ee70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbb0831f",
            "selector": "0xdbb0831f",
            "calldata_variants": [
                "0xdbb0831f",
                "0xdbb0831f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe59ab2bc",
            "selector": "0xe59ab2bc",
            "calldata_variants": [
                "0xe59ab2bc",
                "0xe59ab2bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe941fa78",
            "selector": "0xe941fa78",
            "calldata_variants": [
                "0xe941fa78",
                "0xe941fa780000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88a802f",
            "selector": "0xb88a802f",
            "calldata_variants": [
                "0xb88a802f",
                "0xb88a802f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7487,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8772,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9849,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd842768d587cca236b5d926aa424fd6fd2bbf4312315b9555124bf2086cfa6b7
call_targets: 0x59accd277add23ee736e70a456a3d2c89e9a62a3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd842768d587cca236b5d926aa424fd6fd2bbf4312315b9555124bf2086cfa6b7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x59accd277add23ee736e70a456a3d2c89e9a62a3"
    ],
    "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": "0xd8247ee7",
            "selector": "0xd8247ee7",
            "calldata_variants": [
                "0xd8247ee7",
                "0xd8247ee70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbb0831f",
            "selector": "0xdbb0831f",
            "calldata_variants": [
                "0xdbb0831f",
                "0xdbb0831f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe59ab2bc",
            "selector": "0xe59ab2bc",
            "calldata_variants": [
                "0xe59ab2bc",
                "0xe59ab2bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe941fa78",
            "selector": "0xe941fa78",
            "calldata_variants": [
                "0xe941fa78",
                "0xe941fa780000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88a802f",
            "selector": "0xb88a802f",
            "calldata_variants": [
                "0xb88a802f",
                "0xb88a802f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7487,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8772,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9849,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}