Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-93ca-70b2-8e95-8f32fc7bdbd7

complete

Chain ID

Address

0x698ff47b84837d3971118a369c570172ee7e54c2

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?

back to vulns open contract

Confirmed

Validated

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
13101	artifact.fetch	complete	1 / 3	3 months ago
13102	tool.cast_disasm	complete	1 / 3	3 months ago
111802	analysis.bundle	complete	1 / 3	1 week ago
111803	capability.graph	complete	1 / 3	1 week ago
111804	detector.run	complete	1 / 3	1 week ago
111805	validation.fork	complete	1 / 3	1 week 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

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

7467

Flags

heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x015b
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x1d34be47
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x0160
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x28af94c8
0000002d: EQ
0000002e: PUSH2 0x0183
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x2ebd1e28
00000038: EQ
00000039: PUSH2 0x019b
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x4d03a9a5
00000043: EQ
00000044: PUSH2 0x01bc
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x51b18250
0000004e: EQ
0000004f: PUSH2 0x022f
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x5f0da25b
00000059: EQ
0000005a: PUSH2 0x0260
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x5fbe4d1d
00000064: EQ
00000065: PUSH2 0x028a
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x70809757
0000006f: EQ
00000070: PUSH2 0x02bb
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x715018a6
0000007a: EQ
0000007b: PUSH2 0x02d9
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x78572816
00000085: EQ
00000086: PUSH2 0x02ee
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x7d19514d
00000090: EQ
00000091: PUSH2 0x0312
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x8da5cb5b
0000009b: EQ
0000009c: PUSH2 0x0326
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x91f1f310
000000a6: EQ
000000a7: PUSH2 0x033b
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x963ff4cb
000000b1: EQ
000000b2: PUSH2 0x0365
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x9a8d10a3
000000bc: EQ
000000bd: PUSH2 0x039a
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x9c3f7ca2
000000c7: EQ
000000c8: PUSH2 0x03b5
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0xa0823111
000000d2: EQ
000000d3: PUSH2 0x03d3
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xa3111d7c
000000dd: EQ
000000de: PUSH2 0x03f7
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xbf77aa1f
000000e8: EQ
000000e9: PUSH2 0x041e
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xc73111dd
000000f3: EQ
000000f4: PUSH2 0x043c
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xc78b616c
000000fe: EQ
000000ff: PUSH2 0x0460
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xca27eb1c
00000109: EQ
0000010a: PUSH2 0x0475
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xcea4b687
00000114: EQ
00000115: PUSH2 0x049c
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xd9fefbf8
0000011f: EQ
00000120: PUSH2 0x04c6
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xde400629
0000012a: EQ
0000012b: PUSH2 0x04e4
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xde74e57b
00000135: EQ
00000136: PUSH2 0x0513
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xebe65f60
00000140: EQ
00000141: PUSH2 0x0556
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xf2fde38b
0000014b: EQ
0000014c: PUSH2 0x0574
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0xfde34dc4
00000156: EQ
00000157: PUSH2 0x0595
0000015a: JUMPI
0000015b: JUMPDEST
0000015c: PUSH1 0x00
0000015e: DUP1
0000015f: REVERT
00000160: JUMPDEST
00000161: CALLVALUE
00000162: DUP1
00000163: ISZERO
00000164: PUSH2 0x016c
00000167: JUMPI
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: REVERT
0000016c: JUMPDEST
0000016d: POP
0000016e: PUSH2 0x0181
00000171: PUSH1 0x04
00000173: CALLDATALOAD
00000174: PUSH1 0x24
00000176: CALLDATALOAD
00000177: PUSH1 0x44
00000179: CALLDATALOAD
0000017a: PUSH1 0x64
0000017c: CALLDATALOAD
0000017d: PUSH2 0x05b3
00000180: JUMP
00000181: JUMPDEST
00000182: STOP
00000183: JUMPDEST
00000184: CALLVALUE
00000185: DUP1
00000186: ISZERO
00000187: PUSH2 0x018f
0000018a: JUMPI
0000018b: PUSH1 0x00
0000018d: DUP1
0000018e: REVERT
0000018f: JUMPDEST
00000190: POP
00000191: PUSH2 0x0181
00000194: PUSH1 0x04
00000196: CALLDATALOAD
00000197: PUSH2 0x0752
0000019a: JUMP
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: DUP1
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: POP
000001a9: PUSH2 0x0181
000001ac: PUSH1 0x01
000001ae: PUSH1 0xa0
000001b0: PUSH1 0x02
000001b2: EXP
000001b3: SUB
000001b4: PUSH1 0x04
000001b6: CALLDATALOAD
000001b7: AND
000001b8: PUSH2 0x078b
000001bb: JUMP
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: DUP1
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x01d7
000001cd: PUSH1 0x04
000001cf: CALLDATALOAD
000001d0: PUSH1 0x24
000001d2: CALLDATALOAD
000001d3: PUSH2 0x07c4
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x40
000001da: DUP1
000001db: MLOAD
000001dc: SWAP10
000001dd: DUP11
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: DUP11
000001e2: ADD
000001e3: SWAP9
000001e4: SWAP1
000001e5: SWAP9
000001e6: MSTORE
000001e7: DUP9
000001e8: DUP9
000001e9: ADD
000001ea: SWAP7
000001eb: SWAP1
000001ec: SWAP7
000001ed: MSTORE
000001ee: PUSH1 0x01
000001f0: PUSH1 0xa0
000001f2: PUSH1 0x02
000001f4: EXP
000001f5: SUB
000001f6: SWAP5
000001f7: DUP6
000001f8: AND
000001f9: PUSH1 0x60
000001fb: DUP10
000001fc: ADD
000001fd: MSTORE
000001fe: SWAP3
000001ff: DUP5
00000200: AND
00000201: PUSH1 0x80
00000203: DUP9
00000204: ADD
00000205: MSTORE
00000206: SWAP1
00000207: DUP4
00000208: AND
00000209: PUSH1 0xa0
0000020b: DUP8
0000020c: ADD
0000020d: MSTORE
0000020e: SWAP1
0000020f: SWAP2
00000210: AND
00000211: PUSH1 0xc0
00000213: DUP6
00000214: ADD
00000215: MSTORE
00000216: PUSH1 0xe0
00000218: DUP5
00000219: ADD
0000021a: MSTORE
0000021b: PUSH1 0xff
0000021d: AND
0000021e: PUSH2 0x0100
00000221: DUP4
00000222: ADD
00000223: MSTORE
00000224: MLOAD
00000225: SWAP1
00000226: DUP2
00000227: SWAP1
00000228: SUB
00000229: PUSH2 0x0120
0000022c: ADD
0000022d: SWAP1
0000022e: RETURN
0000022f: JUMPDEST
00000230: PUSH2 0x0181
00000233: PUSH1 0x04
00000235: CALLDATALOAD
00000236: PUSH1 0x24
00000238: CALLDATALOAD
00000239: PUSH1 0x44
0000023b: CALLDATALOAD
0000023c: PUSH1 0x01
0000023e: PUSH1 0xa0
00000240: PUSH1 0x02
00000242: EXP
00000243: SUB
00000244: PUSH1 0x64
00000246: CALLDATALOAD
00000247: DUP2
00000248: AND
00000249: SWAP1
0000024a: PUSH1 0x84
0000024c: CALLDATALOAD
0000024d: SWAP1
0000024e: PUSH1 0xa4
00000250: CALLDATALOAD
00000251: SWAP1
00000252: PUSH1 0xc4
00000254: CALLDATALOAD
00000255: DUP2
00000256: AND
00000257: SWAP1
00000258: PUSH1 0xe4
0000025a: CALLDATALOAD
0000025b: AND
0000025c: PUSH2 0x0841
0000025f: JUMP
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: POP
0000026e: PUSH2 0x0181
00000271: PUSH1 0x04
00000273: CALLDATALOAD
00000274: PUSH1 0x01
00000276: PUSH1 0xa0
00000278: PUSH1 0x02
0000027a: EXP
0000027b: SUB
0000027c: PUSH1 0x24
0000027e: CALLDATALOAD
0000027f: AND
00000280: PUSH1 0x44
00000282: CALLDATALOAD
00000283: PUSH1 0x64
00000285: CALLDATALOAD
00000286: PUSH2 0x0cc3
00000289: JUMP
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH2 0x029f
0000029b: PUSH2 0x0eef
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH1 0x40
000002a2: DUP1
000002a3: MLOAD
000002a4: PUSH1 0x01
000002a6: PUSH1 0xa0
000002a8: PUSH1 0x02
000002aa: EXP
000002ab: SUB
000002ac: SWAP1
000002ad: SWAP3
000002ae: AND
000002af: DUP3
000002b0: MSTORE
000002b1: MLOAD
000002b2: SWAP1
000002b3: DUP2
000002b4: SWAP1
000002b5: SUB
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: SWAP1
000002ba: RETURN
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x0181
000002cc: PUSH1 0x04
000002ce: CALLDATALOAD
000002cf: PUSH1 0x24
000002d1: CALLDATALOAD
000002d2: PUSH1 0x44
000002d4: CALLDATALOAD
000002d5: PUSH2 0x0efe
000002d8: JUMP
000002d9: JUMPDEST
000002da: CALLVALUE
000002db: DUP1
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: POP
000002e7: PUSH2 0x0181
000002ea: PUSH2 0x10c6
000002ed: JUMP
000002ee: JUMPDEST
000002ef: CALLVALUE
000002f0: DUP1
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: POP
000002fc: PUSH2 0x0181
000002ff: PUSH1 0x01
00000301: PUSH1 0xa0
00000303: PUSH1 0x02
00000305: EXP
00000306: SUB
00000307: PUSH1 0x04
00000309: CALLDATALOAD
0000030a: AND
0000030b: PUSH1 0x24
0000030d: CALLDATALOAD
0000030e: PUSH2 0x1125
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x0181
00000316: PUSH1 0x04
00000318: CALLDATALOAD
00000319: PUSH1 0x24
0000031b: CALLDATALOAD
0000031c: PUSH1 0x44
0000031e: CALLDATALOAD
0000031f: PUSH1 0x64
00000321: CALLDATALOAD
00000322: PUSH2 0x1198
00000325: JUMP
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x029f
00000337: PUSH2 0x1452
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH2 0x0353
0000034c: PUSH1 0x04
0000034e: CALLDATALOAD
0000034f: PUSH2 0x1461
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH1 0x40
00000356: DUP1
00000357: MLOAD
00000358: SWAP2
00000359: DUP3
0000035a: MSTORE
0000035b: MLOAD
0000035c: SWAP1
0000035d: DUP2
0000035e: SWAP1
0000035f: SUB
00000360: PUSH1 0x20
00000362: ADD
00000363: SWAP1
00000364: RETURN
00000365: JUMPDEST
00000366: CALLVALUE
00000367: DUP1
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: PUSH2 0x0386
00000376: PUSH1 0x01
00000378: PUSH1 0xa0
0000037a: PUSH1 0x02
0000037c: EXP
0000037d: SUB
0000037e: PUSH1 0x04
00000380: CALLDATALOAD
00000381: AND
00000382: PUSH2 0x1473
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH1 0x40
00000389: DUP1
0000038a: MLOAD
0000038b: SWAP2
0000038c: ISZERO
0000038d: ISZERO
0000038e: DUP3
0000038f: MSTORE
00000390: MLOAD
00000391: SWAP1
00000392: DUP2
00000393: SWAP1
00000394: SUB
00000395: PUSH1 0x20
00000397: ADD
00000398: SWAP1
00000399: RETURN
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x0181
000003ab: PUSH1 0x04
000003ad: CALLDATALOAD
000003ae: PUSH1 0x24
000003b0: CALLDATALOAD
000003b1: PUSH2 0x1488
000003b4: JUMP
000003b5: JUMPDEST
000003b6: CALLVALUE
000003b7: DUP1
000003b8: ISZERO
000003b9: PUSH2 0x03c1
000003bc: JUMPI
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: POP
000003c3: PUSH2 0x0181
000003c6: PUSH1 0x04
000003c8: CALLDATALOAD
000003c9: PUSH1 0x24
000003cb: CALLDATALOAD
000003cc: PUSH1 0x44
000003ce: CALLDATALOAD
000003cf: PUSH2 0x14c3
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x0181
000003e4: PUSH1 0x01
000003e6: PUSH1 0xa0
000003e8: PUSH1 0x02
000003ea: EXP
000003eb: SUB
000003ec: PUSH1 0x04
000003ee: CALLDATALOAD
000003ef: AND
000003f0: PUSH1 0x24
000003f2: CALLDATALOAD
000003f3: PUSH2 0x16b3
000003f6: JUMP
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: PUSH2 0x0181
00000408: PUSH1 0x04
0000040a: CALLDATALOAD
0000040b: PUSH1 0x01
0000040d: PUSH1 0xa0
0000040f: PUSH1 0x02
00000411: EXP
00000412: SUB
00000413: PUSH1 0x24
00000415: CALLDATALOAD
00000416: AND
00000417: PUSH1 0x44
00000419: CALLDATALOAD
0000041a: PUSH2 0x1723
0000041d: JUMP
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x0181
0000042f: PUSH1 0x04
00000431: CALLDATALOAD
00000432: PUSH1 0x24
00000434: CALLDATALOAD
00000435: PUSH1 0x44
00000437: CALLDATALOAD
00000438: PUSH2 0x1958
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x0181
0000044d: PUSH1 0x04
0000044f: CALLDATALOAD
00000450: PUSH1 0x24
00000452: CALLDATALOAD
00000453: PUSH1 0x44
00000455: CALLDATALOAD
00000456: PUSH1 0x64
00000458: CALLDATALOAD
00000459: PUSH1 0x84
0000045b: CALLDATALOAD
0000045c: PUSH2 0x1969
0000045f: JUMP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: DUP1
00000463: ISZERO
00000464: PUSH2 0x046c
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: REVERT
0000046c: JUMPDEST
0000046d: POP
0000046e: PUSH2 0x0353
00000471: PUSH2 0x1cc3
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x0181
00000486: PUSH1 0x04
00000488: CALLDATALOAD
00000489: PUSH1 0x24
0000048b: CALLDATALOAD
0000048c: PUSH1 0x01
0000048e: PUSH1 0xa0
00000490: PUSH1 0x02
00000492: EXP
00000493: SUB
00000494: PUSH1 0x44
00000496: CALLDATALOAD
00000497: AND
00000498: PUSH2 0x1cc9
0000049b: JUMP
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: DUP1
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH2 0x0386
000004ad: PUSH1 0x01
000004af: PUSH1 0xa0
000004b1: PUSH1 0x02
000004b3: EXP
000004b4: SUB
000004b5: PUSH1 0x04
000004b7: CALLDATALOAD
000004b8: AND
000004b9: PUSH1 0x24
000004bb: CALLDATALOAD
000004bc: PUSH1 0x44
000004be: CALLDATALOAD
000004bf: PUSH1 0x64
000004c1: CALLDATALOAD
000004c2: PUSH2 0x1cd5
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 0x0181
000004d7: PUSH1 0x04
000004d9: CALLDATALOAD
000004da: PUSH1 0x24
000004dc: CALLDATALOAD
000004dd: PUSH1 0x44
000004df: CALLDATALOAD
000004e0: PUSH2 0x1d51
000004e3: JUMP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x0386
000004f5: PUSH1 0x01
000004f7: PUSH1 0xa0
000004f9: PUSH1 0x02
000004fb: EXP
000004fc: SUB
000004fd: PUSH1 0x04
000004ff: CALLDATALOAD
00000500: DUP2
00000501: AND
00000502: SWAP1
00000503: PUSH1 0x24
00000505: CALLDATALOAD
00000506: SWAP1
00000507: PUSH1 0x44
00000509: CALLDATALOAD
0000050a: SWAP1
0000050b: PUSH1 0x64
0000050d: CALLDATALOAD
0000050e: AND
0000050f: PUSH2 0x1d90
00000512: JUMP
00000513: JUMPDEST
00000514: CALLVALUE
00000515: DUP1
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: POP
00000521: PUSH2 0x052b
00000524: PUSH1 0x04
00000526: CALLDATALOAD
00000527: PUSH2 0x1e01
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH1 0x40
0000052e: DUP1
0000052f: MLOAD
00000530: PUSH1 0x01
00000532: PUSH1 0xa0
00000534: PUSH1 0x02
00000536: EXP
00000537: SUB
00000538: SWAP5
00000539: DUP6
0000053a: AND
0000053b: DUP2
0000053c: MSTORE
0000053d: PUSH1 0x20
0000053f: DUP2
00000540: ADD
00000541: SWAP4
00000542: SWAP1
00000543: SWAP4
00000544: MSTORE
00000545: SWAP3
00000546: AND
00000547: DUP2
00000548: DUP4
00000549: ADD
0000054a: MSTORE
0000054b: SWAP1
0000054c: MLOAD
0000054d: SWAP1
0000054e: DUP2
0000054f: SWAP1
00000550: SUB
00000551: PUSH1 0x60
00000553: ADD
00000554: SWAP1
00000555: RETURN
00000556: JUMPDEST
00000557: CALLVALUE
00000558: DUP1
00000559: ISZERO
0000055a: PUSH2 0x0562
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: DUP1
00000561: REVERT
00000562: JUMPDEST
00000563: POP
00000564: PUSH2 0x0181
00000567: PUSH1 0x04
00000569: CALLDATALOAD
0000056a: PUSH1 0x24
0000056c: CALLDATALOAD
0000056d: PUSH1 0x44
0000056f: CALLDATALOAD
00000570: PUSH2 0x1e3d
00000573: JUMP
00000574: JUMPDEST
00000575: CALLVALUE
00000576: DUP1
00000577: ISZERO
00000578: PUSH2 0x0580
0000057b: JUMPI
0000057c: PUSH1 0x00
0000057e: DUP1
0000057f: REVERT
00000580: JUMPDEST
00000581: POP
00000582: PUSH2 0x0181
00000585: PUSH1 0x01
00000587: PUSH1 0xa0
00000589: PUSH1 0x02
0000058b: EXP
0000058c: SUB
0000058d: PUSH1 0x04
0000058f: CALLDATALOAD
00000590: AND
00000591: PUSH2 0x20ba
00000594: JUMP
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x0181
000005a6: PUSH1 0x04
000005a8: CALLDATALOAD
000005a9: PUSH1 0x24
000005ab: CALLDATALOAD
000005ac: PUSH1 0x44
000005ae: CALLDATALOAD
000005af: PUSH2 0x20dd
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH1 0x00
000005b6: DUP5
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x02
000005bb: PUSH1 0x20
000005bd: MSTORE
000005be: PUSH1 0x40
000005c0: DUP2
000005c1: KECCAK256
000005c2: DUP1
000005c3: SLOAD
000005c4: DUP3
000005c5: SWAP2
000005c6: SWAP1
000005c7: DUP7
000005c8: SWAP1
000005c9: DUP2
000005ca: LT
000005cb: PUSH2 0x05d0
000005ce: JUMPI
000005cf: INVALID
000005d0: JUMPDEST
000005d1: SWAP1
000005d2: PUSH1 0x00
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: PUSH1 0x00
000005d9: KECCAK256
000005da: SWAP1
000005db: PUSH1 0x09
000005dd: MUL
000005de: ADD
000005df: SWAP2
000005e0: POP
000005e1: PUSH1 0x01
000005e3: DUP7
000005e4: DUP2
000005e5: SLOAD
000005e6: DUP2
000005e7: LT
000005e8: ISZERO
000005e9: ISZERO
000005ea: PUSH2 0x05ef
000005ed: JUMPI
000005ee: INVALID
000005ef: JUMPDEST
000005f0: PUSH1 0x00
000005f2: SWAP2
000005f3: DUP3
000005f4: MSTORE
000005f5: PUSH1 0x20
000005f7: SWAP1
000005f8: SWAP2
000005f9: KECCAK256
000005fa: PUSH1 0x03
000005fc: SWAP1
000005fd: SWAP2
000005fe: MUL
000005ff: ADD
00000600: DUP1
00000601: SLOAD
00000602: SWAP1
00000603: SWAP2
00000604: POP
00000605: PUSH1 0x01
00000607: PUSH1 0xa0
00000609: PUSH1 0x02
0000060b: EXP
0000060c: SUB
0000060d: AND
0000060e: CALLER
0000060f: EQ
00000610: PUSH2 0x0663
00000613: JUMPI
00000614: PUSH1 0x40
00000616: DUP1
00000617: MLOAD
00000618: PUSH1 0xe5
0000061a: PUSH1 0x02
0000061c: EXP
0000061d: PUSH3 0x461bcd
00000621: MUL
00000622: DUP2
00000623: MSTORE
00000624: PUSH1 0x20
00000626: PUSH1 0x04
00000628: DUP3
00000629: ADD
0000062a: MSTORE
0000062b: PUSH1 0x10
0000062d: PUSH1 0x24
0000062f: DUP3
00000630: ADD
00000631: MSTORE
00000632: PUSH32 0x53656c6c6572206d7573742063616c6c00000000000000000000000000000000
00000653: PUSH1 0x44
00000655: DUP3
00000656: ADD
00000657: MSTORE
00000658: SWAP1
00000659: MLOAD
0000065a: SWAP1
0000065b: DUP2
0000065c: SWAP1
0000065d: SUB
0000065e: PUSH1 0x64
00000660: ADD
00000661: SWAP1
00000662: REVERT
00000663: JUMPDEST
00000664: PUSH1 0x08
00000666: DUP3
00000667: ADD
00000668: SLOAD
00000669: PUSH1 0xff
0000066b: AND
0000066c: PUSH1 0x02
0000066e: EQ
0000066f: PUSH2 0x06b0
00000672: JUMPI
00000673: PUSH1 0x40
00000675: DUP1
00000676: MLOAD
00000677: PUSH1 0xe5
00000679: PUSH1 0x02
0000067b: EXP
0000067c: PUSH3 0x461bcd
00000680: MUL
00000681: DUP2
00000682: MSTORE
00000683: PUSH1 0x20
00000685: PUSH1 0x04
00000687: DUP3
00000688: ADD
00000689: MSTORE
0000068a: PUSH1 0x12
0000068c: PUSH1 0x24
0000068e: DUP3
0000068f: ADD
00000690: MSTORE
00000691: PUSH1 0x00
00000693: DUP1
00000694: MLOAD
00000695: PUSH1 0x20
00000697: PUSH2 0x2e41
0000069a: DUP4
0000069b: CODECOPY
0000069c: DUP2
0000069d: MLOAD
0000069e: SWAP2
0000069f: MSTORE
000006a0: PUSH1 0x44
000006a2: DUP3
000006a3: ADD
000006a4: MSTORE
000006a5: SWAP1
000006a6: MLOAD
000006a7: SWAP1
000006a8: DUP2
000006a9: SWAP1
000006aa: SUB
000006ab: PUSH1 0x64
000006ad: ADD
000006ae: SWAP1
000006af: REVERT
000006b0: JUMPDEST
000006b1: DUP2
000006b2: SLOAD
000006b3: DUP5
000006b4: GT
000006b5: ISZERO
000006b6: PUSH2 0x0709
000006b9: JUMPI
000006ba: PUSH1 0x40
000006bc: DUP1
000006bd: MLOAD
000006be: PUSH1 0xe5
000006c0: PUSH1 0x02
000006c2: EXP
000006c3: PUSH3 0x461bcd
000006c7: MUL
000006c8: DUP2
000006c9: MSTORE
000006ca: PUSH1 0x20
000006cc: PUSH1 0x04
000006ce: DUP3
000006cf: ADD
000006d0: MSTORE
000006d1: PUSH1 0x10
000006d3: PUSH1 0x24
000006d5: DUP3
000006d6: ADD
000006d7: MSTORE
000006d8: PUSH32 0x45786365737369766520726566756e6400000000000000000000000000000000
000006f9: PUSH1 0x44
000006fb: DUP3
000006fc: ADD
000006fd: MSTORE
000006fe: SWAP1
000006ff: MLOAD
00000700: SWAP1
00000701: DUP2
00000702: SWAP1
00000703: SUB
00000704: PUSH1 0x64
00000706: ADD
00000707: SWAP1
00000708: REVERT
00000709: JUMPDEST
0000070a: PUSH1 0x02
0000070c: DUP3
0000070d: ADD
0000070e: DUP5
0000070f: SWAP1
00000710: SSTORE
00000711: PUSH1 0x40
00000713: DUP1
00000714: MLOAD
00000715: DUP5
00000716: DUP2
00000717: MSTORE
00000718: SWAP1
00000719: MLOAD
0000071a: DUP7
0000071b: SWAP2
0000071c: DUP9
0000071d: SWAP2
0000071e: CALLER
0000071f: SWAP2
00000720: PUSH32 0x9b7312a236066d2da679eba7e3a2e86d2d07a973819499846c0efd2fd2506c80
00000741: SWAP2
00000742: SWAP1
00000743: DUP2
00000744: SWAP1
00000745: SUB
00000746: PUSH1 0x20
00000748: ADD
00000749: SWAP1
0000074a: LOG4
0000074b: POP
0000074c: POP
0000074d: POP
0000074e: POP
0000074f: POP
00000750: POP
00000751: JUMP
00000752: JUMPDEST
00000753: PUSH1 0x40
00000755: DUP1
00000756: MLOAD
00000757: DUP3
00000758: DUP2
00000759: MSTORE
0000075a: SWAP1
0000075b: MLOAD
0000075c: CALLER
0000075d: SWAP2
0000075e: PUSH32 0x8e530f3a09c59fdf1b0d5ed714b7a5b94c059256cdc29b8521e9891734c6a2b7
0000077f: SWAP2
00000780: SWAP1
00000781: DUP2
00000782: SWAP1
00000783: SUB
00000784: PUSH1 0x20
00000786: ADD
00000787: SWAP1
00000788: LOG2
00000789: POP
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH1 0x00
0000078e: SLOAD
0000078f: PUSH1 0x01
00000791: PUSH1 0xa0
00000793: PUSH1 0x02
00000795: EXP
00000796: SUB
00000797: AND
00000798: CALLER
00000799: EQ
0000079a: PUSH2 0x07a2
0000079d: JUMPI
0000079e: PUSH1 0x00
000007a0: DUP1
000007a1: REVERT
000007a2: JUMPDEST
000007a3: PUSH1 0x04
000007a5: DUP1
000007a6: SLOAD
000007a7: PUSH1 0x01
000007a9: PUSH1 0xa0
000007ab: PUSH1 0x02
000007ad: EXP
000007ae: SUB
000007af: NOT
000007b0: AND
000007b1: PUSH1 0x01
000007b3: PUSH1 0xa0
000007b5: PUSH1 0x02
000007b7: EXP
000007b8: SUB
000007b9: SWAP3
000007ba: SWAP1
000007bb: SWAP3
000007bc: AND
000007bd: SWAP2
000007be: SWAP1
000007bf: SWAP2
000007c0: OR
000007c1: SWAP1
000007c2: SSTORE
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH1 0x02
000007c7: PUSH1 0x20
000007c9: MSTORE
000007ca: DUP2
000007cb: PUSH1 0x00
000007cd: MSTORE
000007ce: PUSH1 0x40
000007d0: PUSH1 0x00
000007d2: KECCAK256
000007d3: DUP2
000007d4: DUP2
000007d5: SLOAD
000007d6: DUP2
000007d7: LT
000007d8: ISZERO
000007d9: ISZERO
000007da: PUSH2 0x07df
000007dd: JUMPI
000007de: INVALID
000007df: JUMPDEST
000007e0: PUSH1 0x00
000007e2: SWAP2
000007e3: DUP3
000007e4: MSTORE
000007e5: PUSH1 0x20
000007e7: SWAP1
000007e8: SWAP2
000007e9: KECCAK256
000007ea: PUSH1 0x09
000007ec: SWAP1
000007ed: SWAP2
000007ee: MUL
000007ef: ADD
000007f0: DUP1
000007f1: SLOAD
000007f2: PUSH1 0x01
000007f4: DUP3
000007f5: ADD
000007f6: SLOAD
000007f7: PUSH1 0x02
000007f9: DUP4
000007fa: ADD
000007fb: SLOAD
000007fc: PUSH1 0x03
000007fe: DUP5
000007ff: ADD
00000800: SLOAD
00000801: PUSH1 0x04
00000803: DUP6
00000804: ADD
00000805: SLOAD
00000806: PUSH1 0x05
00000808: DUP7
00000809: ADD
0000080a: SLOAD
0000080b: PUSH1 0x06
0000080d: DUP8
0000080e: ADD
0000080f: SLOAD
00000810: PUSH1 0x07
00000812: DUP9
00000813: ADD
00000814: SLOAD
00000815: PUSH1 0x08
00000817: SWAP1
00000818: SWAP9
00000819: ADD
0000081a: SLOAD
0000081b: SWAP7
0000081c: SWAP10
0000081d: POP
0000081e: SWAP5
0000081f: SWAP8
00000820: POP
00000821: SWAP3
00000822: SWAP6
00000823: PUSH1 0x01
00000825: PUSH1 0xa0
00000827: PUSH1 0x02
00000829: EXP
0000082a: SUB
0000082b: SWAP3
0000082c: DUP4
0000082d: AND
0000082e: SWAP6
0000082f: SWAP2
00000830: DUP4
00000831: AND
00000832: SWAP5
00000833: SWAP4
00000834: DUP4
00000835: AND
00000836: SWAP4
00000837: SWAP1
00000838: SWAP3
00000839: AND
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH1 0xff
0000083e: AND
0000083f: DUP10
00000840: JUMP
00000841: JUMPDEST
00000842: ADDRESS
00000843: PUSH1 0x00
00000845: SWAP1
00000846: DUP2
00000847: MSTORE
00000848: PUSH1 0x03
0000084a: PUSH1 0x20
0000084c: MSTORE
0000084d: PUSH1 0x40
0000084f: SWAP1
00000850: KECCAK256
00000851: SLOAD
00000852: PUSH1 0xff
00000854: AND
00000855: DUP1
00000856: DUP1
00000857: PUSH2 0x0878
0000085a: JUMPI
0000085b: POP
0000085c: PUSH1 0x01
0000085e: PUSH1 0xa0
00000860: PUSH1 0x02
00000862: EXP
00000863: SUB
00000864: DUP7
00000865: AND
00000866: PUSH1 0x00
00000868: SWAP1
00000869: DUP2
0000086a: MSTORE
0000086b: PUSH1 0x03
0000086d: PUSH1 0x20
0000086f: MSTORE
00000870: PUSH1 0x40
00000872: SWAP1
00000873: KECCAK256
00000874: SLOAD
00000875: PUSH1 0xff
00000877: AND
00000878: JUMPDEST
00000879: ISZERO
0000087a: ISZERO
0000087b: PUSH2 0x08ce
0000087e: JUMPI
0000087f: PUSH1 0x40
00000881: DUP1
00000882: MLOAD
00000883: PUSH1 0xe5
00000885: PUSH1 0x02
00000887: EXP
00000888: PUSH3 0x461bcd
0000088c: MUL
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x20
00000891: PUSH1 0x04
00000893: DUP3
00000894: ADD
00000895: MSTORE
00000896: PUSH1 0x15
00000898: PUSH1 0x24
0000089a: DUP3
0000089b: ADD
0000089c: MSTORE
0000089d: PUSH32 0x416666696c69617465206e6f7420616c6c6f7765640000000000000000000000
000008be: PUSH1 0x44
000008c0: DUP3
000008c1: ADD
000008c2: MSTORE
000008c3: SWAP1
000008c4: MLOAD
000008c5: SWAP1
000008c6: DUP2
000008c7: SWAP1
000008c8: SUB
000008c9: PUSH1 0x64
000008cb: ADD
000008cc: SWAP1
000008cd: REVERT
000008ce: JUMPDEST
000008cf: PUSH1 0x01
000008d1: PUSH1 0xa0
000008d3: PUSH1 0x02
000008d5: EXP
000008d6: SUB
000008d7: DUP7
000008d8: AND
000008d9: ISZERO
000008da: ISZERO
000008db: PUSH2 0x0934
000008de: JUMPI
000008df: DUP5
000008e0: ISZERO
000008e1: PUSH2 0x0934
000008e4: JUMPI
000008e5: PUSH1 0x40
000008e7: DUP1
000008e8: MLOAD
000008e9: PUSH1 0xe5
000008eb: PUSH1 0x02
000008ed: EXP
000008ee: PUSH3 0x461bcd
000008f2: MUL
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x20
000008f7: PUSH1 0x04
000008f9: DUP3
000008fa: ADD
000008fb: MSTORE
000008fc: PUSH1 0x1d
000008fe: PUSH1 0x24
00000900: DUP3
00000901: ADD
00000902: MSTORE
00000903: PUSH32 0x636f6d6d697373696f6e20726571756972657320616666696c69617465000000
00000924: PUSH1 0x44
00000926: DUP3
00000927: ADD
00000928: MSTORE
00000929: SWAP1
0000092a: MLOAD
0000092b: SWAP1
0000092c: DUP2
0000092d: SWAP1
0000092e: SUB
0000092f: PUSH1 0x64
00000931: ADD
00000932: SWAP1
00000933: REVERT
00000934: JUMPDEST
00000935: PUSH1 0x02
00000937: PUSH1 0x00
00000939: DUP11
0000093a: DUP2
0000093b: MSTORE
0000093c: PUSH1 0x20
0000093e: ADD
0000093f: SWAP1
00000940: DUP2
00000941: MSTORE
00000942: PUSH1 0x20
00000944: ADD
00000945: PUSH1 0x00
00000947: KECCAK256
00000948: PUSH2 0x0120
0000094b: PUSH1 0x40
0000094d: MLOAD
0000094e: SWAP1
0000094f: DUP2
00000950: ADD
00000951: PUSH1 0x40
00000953: MSTORE
00000954: DUP1
00000955: DUP7
00000956: DUP2
00000957: MSTORE
00000958: PUSH1 0x20
0000095a: ADD
0000095b: DUP8
0000095c: DUP2
0000095d: MSTORE
0000095e: PUSH1 0x20
00000960: ADD
00000961: PUSH1 0x00
00000963: DUP2
00000964: MSTORE
00000965: PUSH1 0x20
00000967: ADD
00000968: DUP6
00000969: PUSH1 0x01
0000096b: PUSH1 0xa0
0000096d: PUSH1 0x02
0000096f: EXP
00000970: SUB
00000971: AND
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x20
00000976: ADD
00000977: CALLER
00000978: PUSH1 0x01
0000097a: PUSH1 0xa0
0000097c: PUSH1 0x02
0000097e: EXP
0000097f: SUB
00000980: AND
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x20
00000985: ADD
00000986: DUP9
00000987: PUSH1 0x01
00000989: PUSH1 0xa0
0000098b: PUSH1 0x02
0000098d: EXP
0000098e: SUB
0000098f: AND
00000990: DUP2
00000991: MSTORE
00000992: PUSH1 0x20
00000994: ADD
00000995: DUP5
00000996: PUSH1 0x01
00000998: PUSH1 0xa0
0000099a: PUSH1 0x02
0000099c: EXP
0000099d: SUB
0000099e: AND
0000099f: DUP2
000009a0: MSTORE
000009a1: PUSH1 0x20
000009a3: ADD
000009a4: DUP10
000009a5: DUP2
000009a6: MSTORE
000009a7: PUSH1 0x20
000009a9: ADD
000009aa: PUSH1 0x01
000009ac: PUSH1 0xff
000009ae: AND
000009af: DUP2
000009b0: MSTORE
000009b1: POP
000009b2: SWAP1
000009b3: DUP1
000009b4: PUSH1 0x01
000009b6: DUP2
000009b7: SLOAD
000009b8: ADD
000009b9: DUP1
000009ba: DUP3
000009bb: SSTORE
000009bc: DUP1
000009bd: SWAP2
000009be: POP
000009bf: POP
000009c0: SWAP1
000009c1: PUSH1 0x01
000009c3: DUP3
000009c4: SUB
000009c5: SWAP1
000009c6: PUSH1 0x00
000009c8: MSTORE
000009c9: PUSH1 0x20
000009cb: PUSH1 0x00
000009cd: KECCAK256
000009ce: SWAP1
000009cf: PUSH1 0x09
000009d1: MUL
000009d2: ADD
000009d3: PUSH1 0x00
000009d5: SWAP1
000009d6: SWAP2
000009d7: SWAP3
000009d8: SWAP1
000009d9: SWAP2
000009da: SWAP1
000009db: SWAP2
000009dc: POP
000009dd: PUSH1 0x00
000009df: DUP3
000009e0: ADD
000009e1: MLOAD
000009e2: DUP2
000009e3: PUSH1 0x00
000009e5: ADD
000009e6: SSTORE
000009e7: PUSH1 0x20
000009e9: DUP3
000009ea: ADD
000009eb: MLOAD
000009ec: DUP2
000009ed: PUSH1 0x01
000009ef: ADD
000009f0: SSTORE
000009f1: PUSH1 0x40
000009f3: DUP3
000009f4: ADD
000009f5: MLOAD
000009f6: DUP2
000009f7: PUSH1 0x02
000009f9: ADD
000009fa: SSTORE
000009fb: PUSH1 0x60
000009fd: DUP3
000009fe: ADD
000009ff: MLOAD
00000a00: DUP2
00000a01: PUSH1 0x03
00000a03: ADD
00000a04: PUSH1 0x00
00000a06: PUSH2 0x0100
00000a09: EXP
00000a0a: DUP2
00000a0b: SLOAD
00000a0c: DUP2
00000a0d: PUSH1 0x01
00000a0f: PUSH1 0xa0
00000a11: PUSH1 0x02
00000a13: EXP
00000a14: SUB
00000a15: MUL
00000a16: NOT
00000a17: AND
00000a18: SWAP1
00000a19: DUP4
00000a1a: PUSH1 0x01
00000a1c: PUSH1 0xa0
00000a1e: PUSH1 0x02
00000a20: EXP
00000a21: SUB
00000a22: AND
00000a23: MUL
00000a24: OR
00000a25: SWAP1
00000a26: SSTORE
00000a27: POP
00000a28: PUSH1 0x80
00000a2a: DUP3
00000a2b: ADD
00000a2c: MLOAD
00000a2d: DUP2
00000a2e: PUSH1 0x04
00000a30: ADD
00000a31: PUSH1 0x00
00000a33: PUSH2 0x0100
00000a36: EXP
00000a37: DUP2
00000a38: SLOAD
00000a39: DUP2
00000a3a: PUSH1 0x01
00000a3c: PUSH1 0xa0
00000a3e: PUSH1 0x02
00000a40: EXP
00000a41: SUB
00000a42: MUL
00000a43: NOT
00000a44: AND
00000a45: SWAP1
00000a46: DUP4
00000a47: PUSH1 0x01
00000a49: PUSH1 0xa0
00000a4b: PUSH1 0x02
00000a4d: EXP
00000a4e: SUB
00000a4f: AND
00000a50: MUL
00000a51: OR
00000a52: SWAP1
00000a53: SSTORE
00000a54: POP
00000a55: PUSH1 0xa0
00000a57: DUP3
00000a58: ADD
00000a59: MLOAD
00000a5a: DUP2
00000a5b: PUSH1 0x05
00000a5d: ADD
00000a5e: PUSH1 0x00
00000a60: PUSH2 0x0100
00000a63: EXP
00000a64: DUP2
00000a65: SLOAD
00000a66: DUP2
00000a67: PUSH1 0x01
00000a69: PUSH1 0xa0
00000a6b: PUSH1 0x02
00000a6d: EXP
00000a6e: SUB
00000a6f: MUL
00000a70: NOT
00000a71: AND
00000a72: SWAP1
00000a73: DUP4
00000a74: PUSH1 0x01
00000a76: PUSH1 0xa0
00000a78: PUSH1 0x02
00000a7a: EXP
00000a7b: SUB
00000a7c: AND
00000a7d: MUL
00000a7e: OR
00000a7f: SWAP1
00000a80: SSTORE
00000a81: POP
00000a82: PUSH1 0xc0
00000a84: DUP3
00000a85: ADD
00000a86: MLOAD
00000a87: DUP2
00000a88: PUSH1 0x06
00000a8a: ADD
00000a8b: PUSH1 0x00
00000a8d: PUSH2 0x0100
00000a90: EXP
00000a91: DUP2
00000a92: SLOAD
00000a93: DUP2
00000a94: PUSH1 0x01
00000a96: PUSH1 0xa0
00000a98: PUSH1 0x02
00000a9a: EXP
00000a9b: SUB
00000a9c: MUL
00000a9d: NOT
00000a9e: AND
00000a9f: SWAP1
00000aa0: DUP4
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0xa0
00000aa5: PUSH1 0x02
00000aa7: EXP
00000aa8: SUB
00000aa9: AND
00000aaa: MUL
00000aab: OR
00000aac: SWAP1
00000aad: SSTORE
00000aae: POP
00000aaf: PUSH1 0xe0
00000ab1: DUP3
00000ab2: ADD
00000ab3: MLOAD
00000ab4: DUP2
00000ab5: PUSH1 0x07
00000ab7: ADD
00000ab8: SSTORE
00000ab9: PUSH2 0x0100
00000abc: DUP3
00000abd: ADD
00000abe: MLOAD
00000abf: DUP2
00000ac0: PUSH1 0x08
00000ac2: ADD
00000ac3: PUSH1 0x00
00000ac5: PUSH2 0x0100
00000ac8: EXP
00000ac9: DUP2
00000aca: SLOAD
00000acb: DUP2
00000acc: PUSH1 0xff
00000ace: MUL
00000acf: NOT
00000ad0: AND
00000ad1: SWAP1
00000ad2: DUP4
00000ad3: PUSH1 0xff
00000ad5: AND
00000ad6: MUL
00000ad7: OR
00000ad8: SWAP1
00000ad9: SSTORE
00000ada: POP
00000adb: POP
00000adc: POP
00000add: POP
00000ade: DUP3
00000adf: PUSH1 0x01
00000ae1: PUSH1 0xa0
00000ae3: PUSH1 0x02
00000ae5: EXP
00000ae6: SUB
00000ae7: AND
00000ae8: PUSH1 0x00
00000aea: EQ
00000aeb: ISZERO
00000aec: PUSH2 0x0b4b
00000aef: JUMPI
00000af0: CALLVALUE
00000af1: DUP5
00000af2: EQ
00000af3: PUSH2 0x0b46
00000af6: JUMPI
00000af7: PUSH1 0x40
00000af9: DUP1
00000afa: MLOAD
00000afb: PUSH1 0xe5
00000afd: PUSH1 0x02
00000aff: EXP
00000b00: PUSH3 0x461bcd
00000b04: MUL
00000b05: DUP2
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: PUSH1 0x04
00000b0b: DUP3
00000b0c: ADD
00000b0d: MSTORE
00000b0e: PUSH1 0x1d
00000b10: PUSH1 0x24
00000b12: DUP3
00000b13: ADD
00000b14: MSTORE
00000b15: PUSH32 0x4554482076616c756520646f65736e2774206d61746368206f66666572000000
00000b36: PUSH1 0x44
00000b38: DUP3
00000b39: ADD
00000b3a: MSTORE
00000b3b: SWAP1
00000b3c: MLOAD
00000b3d: SWAP1
00000b3e: DUP2
00000b3f: SWAP1
00000b40: SUB
00000b41: PUSH1 0x64
00000b43: ADD
00000b44: SWAP1
00000b45: REVERT
00000b46: JUMPDEST
00000b47: PUSH2 0x0c69
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: CALLVALUE
00000b4d: ISZERO
00000b4e: PUSH2 0x0ba1
00000b51: JUMPI
00000b52: PUSH1 0x40
00000b54: DUP1
00000b55: MLOAD
00000b56: PUSH1 0xe5
00000b58: PUSH1 0x02
00000b5a: EXP
00000b5b: PUSH3 0x461bcd
00000b5f: MUL
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x20
00000b64: PUSH1 0x04
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH1 0x11
00000b6b: PUSH1 0x24
00000b6d: DUP3
00000b6e: ADD
00000b6f: MSTORE
00000b70: PUSH32 0x45544820776f756c64206265206c6f7374000000000000000000000000000000
00000b91: PUSH1 0x44
00000b93: DUP3
00000b94: ADD
00000b95: MSTORE
00000b96: SWAP1
00000b97: MLOAD
00000b98: SWAP1
00000b99: DUP2
00000b9a: SWAP1
00000b9b: SUB
00000b9c: PUSH1 0x64
00000b9e: ADD
00000b9f: SWAP1
00000ba0: REVERT
00000ba1: JUMPDEST
00000ba2: PUSH1 0x40
00000ba4: DUP1
00000ba5: MLOAD
00000ba6: PUSH1 0xe0
00000ba8: PUSH1 0x02
00000baa: EXP
00000bab: PUSH4 0x23b872dd
00000bb0: MUL
00000bb1: DUP2
00000bb2: MSTORE
00000bb3: CALLER
00000bb4: PUSH1 0x04
00000bb6: DUP3
00000bb7: ADD
00000bb8: MSTORE
00000bb9: ADDRESS
00000bba: PUSH1 0x24
00000bbc: DUP3
00000bbd: ADD
00000bbe: MSTORE
00000bbf: PUSH1 0x44
00000bc1: DUP2
00000bc2: ADD
00000bc3: DUP7
00000bc4: SWAP1
00000bc5: MSTORE
00000bc6: SWAP1
00000bc7: MLOAD
00000bc8: PUSH1 0x01
00000bca: PUSH1 0xa0
00000bcc: PUSH1 0x02
00000bce: EXP
00000bcf: SUB
00000bd0: DUP6
00000bd1: AND
00000bd2: SWAP2
00000bd3: PUSH4 0x23b872dd
00000bd8: SWAP2
00000bd9: PUSH1 0x64
00000bdb: DUP1
00000bdc: DUP4
00000bdd: ADD
00000bde: SWAP3
00000bdf: PUSH1 0x20
00000be1: SWAP3
00000be2: SWAP2
00000be3: SWAP1
00000be4: DUP3
00000be5: SWAP1
00000be6: SUB
00000be7: ADD
00000be8: DUP2
00000be9: PUSH1 0x00
00000beb: DUP8
00000bec: DUP1
00000bed: EXTCODESIZE
00000bee: ISZERO
00000bef: DUP1
00000bf0: ISZERO
00000bf1: PUSH2 0x0bf9
00000bf4: JUMPI
00000bf5: PUSH1 0x00
00000bf7: DUP1
00000bf8: REVERT
00000bf9: JUMPDEST
00000bfa: POP
00000bfb: GAS
00000bfc: CALL
00000bfd: ISZERO
00000bfe: DUP1
00000bff: ISZERO
00000c00: PUSH2 0x0c0d
00000c03: JUMPI
00000c04: RETURNDATASIZE
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: RETURNDATACOPY
00000c09: RETURNDATASIZE
00000c0a: PUSH1 0x00
00000c0c: REVERT
00000c0d: JUMPDEST
00000c0e: POP
00000c0f: POP
00000c10: POP
00000c11: POP
00000c12: PUSH1 0x40
00000c14: MLOAD
00000c15: RETURNDATASIZE
00000c16: PUSH1 0x20
00000c18: DUP2
00000c19: LT
00000c1a: ISZERO
00000c1b: PUSH2 0x0c23
00000c1e: JUMPI
00000c1f: PUSH1 0x00
00000c21: DUP1
00000c22: REVERT
00000c23: JUMPDEST
00000c24: POP
00000c25: MLOAD
00000c26: ISZERO
00000c27: ISZERO
00000c28: PUSH2 0x0c69
00000c2b: JUMPI
00000c2c: PUSH1 0x40
00000c2e: DUP1
00000c2f: MLOAD
00000c30: PUSH1 0xe5
00000c32: PUSH1 0x02
00000c34: EXP
00000c35: PUSH3 0x461bcd
00000c39: MUL
00000c3a: DUP2
00000c3b: MSTORE
00000c3c: PUSH1 0x20
00000c3e: PUSH1 0x04
00000c40: DUP3
00000c41: ADD
00000c42: MSTORE
00000c43: PUSH1 0x13
00000c45: PUSH1 0x24
00000c47: DUP3
00000c48: ADD
00000c49: MSTORE
00000c4a: PUSH1 0x00
00000c4c: DUP1
00000c4d: MLOAD
00000c4e: PUSH1 0x20
00000c50: PUSH2 0x2e61
00000c53: DUP4
00000c54: CODECOPY
00000c55: DUP2
00000c56: MLOAD
00000c57: SWAP2
00000c58: MSTORE
00000c59: PUSH1 0x44
00000c5b: DUP3
00000c5c: ADD
00000c5d: MSTORE
00000c5e: SWAP1
00000c5f: MLOAD
00000c60: SWAP1
00000c61: DUP2
00000c62: SWAP1
00000c63: SUB
00000c64: PUSH1 0x64
00000c66: ADD
00000c67: SWAP1
00000c68: REVERT
00000c69: JUMPDEST
00000c6a: PUSH1 0x00
00000c6c: DUP10
00000c6d: DUP2
00000c6e: MSTORE
00000c6f: PUSH1 0x02
00000c71: PUSH1 0x20
00000c73: SWAP1
00000c74: DUP2
00000c75: MSTORE
00000c76: PUSH1 0x40
00000c78: SWAP2
00000c79: DUP3
00000c7a: SWAP1
00000c7b: KECCAK256
00000c7c: SLOAD
00000c7d: DUP3
00000c7e: MLOAD
00000c7f: DUP12
00000c80: DUP2
00000c81: MSTORE
00000c82: SWAP3
00000c83: MLOAD
00000c84: PUSH1 0x00
00000c86: NOT
00000c87: SWAP1
00000c88: SWAP2
00000c89: ADD
00000c8a: SWAP3
00000c8b: DUP13
00000c8c: SWAP3
00000c8d: CALLER
00000c8e: SWAP3
00000c8f: PUSH32 0x6ee68cb753f284cf771c1a32c236d7ffcab6011345186a30e57837d761e86837
00000cb0: SWAP3
00000cb1: DUP2
00000cb2: SWAP1
00000cb3: SUB
00000cb4: SWAP1
00000cb5: SWAP2
00000cb6: ADD
00000cb7: SWAP1
00000cb8: LOG4
00000cb9: POP
00000cba: POP
00000cbb: POP
00000cbc: POP
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: POP
00000cc1: POP
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: PUSH1 0x00
00000cc6: PUSH1 0x01
00000cc8: DUP6
00000cc9: DUP2
00000cca: SLOAD
00000ccb: DUP2
00000ccc: LT
00000ccd: ISZERO
00000cce: ISZERO
00000ccf: PUSH2 0x0cd4
00000cd2: JUMPI
00000cd3: INVALID
00000cd4: JUMPDEST
00000cd5: PUSH1 0x00
00000cd7: SWAP2
00000cd8: DUP3
00000cd9: MSTORE
00000cda: PUSH1 0x20
00000cdc: SWAP1
00000cdd: SWAP2
00000cde: KECCAK256
00000cdf: PUSH1 0x02
00000ce1: PUSH1 0x03
00000ce3: SWAP1
00000ce4: SWAP3
00000ce5: MUL
00000ce6: ADD
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: ADD
00000cea: SLOAD
00000ceb: SWAP1
00000cec: SWAP2
00000ced: POP
00000cee: PUSH1 0x01
00000cf0: PUSH1 0xa0
00000cf2: PUSH1 0x02
00000cf4: EXP
00000cf5: SUB
00000cf6: AND
00000cf7: CALLER
00000cf8: EQ
00000cf9: PUSH2 0x0d4c
00000cfc: JUMPI
00000cfd: PUSH1 0x40
00000cff: DUP1
00000d00: MLOAD
00000d01: PUSH1 0xe5
00000d03: PUSH1 0x02
00000d05: EXP
00000d06: PUSH3 0x461bcd
00000d0a: MUL
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: PUSH1 0x04
00000d11: DUP3
00000d12: ADD
00000d13: MSTORE
00000d14: PUSH1 0x18
00000d16: PUSH1 0x24
00000d18: DUP3
00000d19: ADD
00000d1a: MSTORE
00000d1b: PUSH32 0x6465706f7369744d616e61676572206d7573742063616c6c0000000000000000
00000d3c: PUSH1 0x44
00000d3e: DUP3
00000d3f: ADD
00000d40: MSTORE
00000d41: SWAP1
00000d42: MLOAD
00000d43: SWAP1
00000d44: DUP2
00000d45: SWAP1
00000d46: SUB
00000d47: PUSH1 0x64
00000d49: ADD
00000d4a: SWAP1
00000d4b: REVERT
00000d4c: JUMPDEST
00000d4d: PUSH1 0x01
00000d4f: DUP2
00000d50: ADD
00000d51: SLOAD
00000d52: DUP4
00000d53: GT
00000d54: ISZERO
00000d55: PUSH2 0x0da8
00000d58: JUMPI
00000d59: PUSH1 0x40
00000d5b: DUP1
00000d5c: MLOAD
00000d5d: PUSH1 0xe5
00000d5f: PUSH1 0x02
00000d61: EXP
00000d62: PUSH3 0x461bcd
00000d66: MUL
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: PUSH1 0x04
00000d6d: DUP3
00000d6e: ADD
00000d6f: MSTORE
00000d70: PUSH1 0x0e
00000d72: PUSH1 0x24
00000d74: DUP3
00000d75: ADD
00000d76: MSTORE
00000d77: PUSH32 0x56616c756520746f6f2068696768000000000000000000000000000000000000
00000d98: PUSH1 0x44
00000d9a: DUP3
00000d9b: ADD
00000d9c: MSTORE
00000d9d: SWAP1
00000d9e: MLOAD
00000d9f: SWAP1
00000da0: DUP2
00000da1: SWAP1
00000da2: SUB
00000da3: PUSH1 0x64
00000da5: ADD
00000da6: SWAP1
00000da7: REVERT
00000da8: JUMPDEST
00000da9: PUSH1 0x01
00000dab: DUP2
00000dac: ADD
00000dad: DUP1
00000dae: SLOAD
00000daf: DUP5
00000db0: SWAP1
00000db1: SUB
00000db2: SWAP1
00000db3: SSTORE
00000db4: PUSH1 0x04
00000db6: DUP1
00000db7: SLOAD
00000db8: PUSH1 0x40
00000dba: DUP1
00000dbb: MLOAD
00000dbc: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000ddd: DUP2
00000dde: MSTORE
00000ddf: PUSH1 0x01
00000de1: PUSH1 0xa0
00000de3: PUSH1 0x02
00000de5: EXP
00000de6: SUB
00000de7: DUP9
00000de8: DUP2
00000de9: AND
00000dea: SWAP5
00000deb: DUP3
00000dec: ADD
00000ded: SWAP5
00000dee: SWAP1
00000def: SWAP5
00000df0: MSTORE
00000df1: PUSH1 0x24
00000df3: DUP2
00000df4: ADD
00000df5: DUP8
00000df6: SWAP1
00000df7: MSTORE
00000df8: SWAP1
00000df9: MLOAD
00000dfa: SWAP3
00000dfb: SWAP1
00000dfc: SWAP2
00000dfd: AND
00000dfe: SWAP2
00000dff: PUSH4 0xa9059cbb
00000e04: SWAP2
00000e05: PUSH1 0x44
00000e07: DUP1
00000e08: DUP3
00000e09: ADD
00000e0a: SWAP3
00000e0b: PUSH1 0x20
00000e0d: SWAP3
00000e0e: SWAP1
00000e0f: SWAP2
00000e10: SWAP1
00000e11: DUP3
00000e12: SWAP1
00000e13: SUB
00000e14: ADD
00000e15: DUP2
00000e16: PUSH1 0x00
00000e18: DUP8
00000e19: DUP1
00000e1a: EXTCODESIZE
00000e1b: ISZERO
00000e1c: DUP1
00000e1d: ISZERO
00000e1e: PUSH2 0x0e26
00000e21: JUMPI
00000e22: PUSH1 0x00
00000e24: DUP1
00000e25: REVERT
00000e26: JUMPDEST
00000e27: POP
00000e28: GAS
00000e29: CALL
00000e2a: ISZERO
00000e2b: DUP1
00000e2c: ISZERO
00000e2d: PUSH2 0x0e3a
00000e30: JUMPI
00000e31: RETURNDATASIZE
00000e32: PUSH1 0x00
00000e34: DUP1
00000e35: RETURNDATACOPY
00000e36: RETURNDATASIZE
00000e37: PUSH1 0x00
00000e39: REVERT
00000e3a: JUMPDEST
00000e3b: POP
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: PUSH1 0x40
00000e41: MLOAD
00000e42: RETURNDATASIZE
00000e43: PUSH1 0x20
00000e45: DUP2
00000e46: LT
00000e47: ISZERO
00000e48: PUSH2 0x0e50
00000e4b: JUMPI
00000e4c: PUSH1 0x00
00000e4e: DUP1
00000e4f: REVERT
00000e50: JUMPDEST
00000e51: POP
00000e52: MLOAD
00000e53: ISZERO
00000e54: ISZERO
00000e55: PUSH2 0x0ea8
00000e58: JUMPI
00000e59: PUSH1 0x40
00000e5b: DUP1
00000e5c: MLOAD
00000e5d: PUSH1 0xe5
00000e5f: PUSH1 0x02
00000e61: EXP
00000e62: PUSH3 0x461bcd
00000e66: MUL
00000e67: DUP2
00000e68: MSTORE
00000e69: PUSH1 0x20
00000e6b: PUSH1 0x04
00000e6d: DUP3
00000e6e: ADD
00000e6f: MSTORE
00000e70: PUSH1 0x0f
00000e72: PUSH1 0x24
00000e74: DUP3
00000e75: ADD
00000e76: MSTORE
00000e77: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000
00000e98: PUSH1 0x44
00000e9a: DUP3
00000e9b: ADD
00000e9c: MSTORE
00000e9d: SWAP1
00000e9e: MLOAD
00000e9f: SWAP1
00000ea0: DUP2
00000ea1: SWAP1
00000ea2: SUB
00000ea3: PUSH1 0x64
00000ea5: ADD
00000ea6: SWAP1
00000ea7: REVERT
00000ea8: JUMPDEST
00000ea9: PUSH1 0x40
00000eab: DUP1
00000eac: MLOAD
00000ead: DUP4
00000eae: DUP2
00000eaf: MSTORE
00000eb0: SWAP1
00000eb1: MLOAD
00000eb2: DUP7
00000eb3: SWAP2
00000eb4: PUSH1 0x01
00000eb6: PUSH1 0xa0
00000eb8: PUSH1 0x02
00000eba: EXP
00000ebb: SUB
00000ebc: DUP8
00000ebd: AND
00000ebe: SWAP2
00000ebf: PUSH32 0x9c9827b799328bcbadbd04862686713436136571c54d7ca0388bd952f314f890
00000ee0: SWAP2
00000ee1: DUP2
00000ee2: SWAP1
00000ee3: SUB
00000ee4: PUSH1 0x20
00000ee6: ADD
00000ee7: SWAP1
00000ee8: LOG3
00000ee9: POP
00000eea: POP
00000eeb: POP
00000eec: POP
00000eed: POP
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH1 0x04
00000ef2: SLOAD
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0xa0
00000ef7: PUSH1 0x02
00000ef9: EXP
00000efa: SUB
00000efb: AND
00000efc: DUP2
00000efd: JUMP
00000efe: JUMPDEST
00000eff: PUSH1 0x00
00000f01: DUP1
00000f02: PUSH1 0x01
00000f04: DUP6
00000f05: DUP2
00000f06: SLOAD
00000f07: DUP2
00000f08: LT
00000f09: ISZERO
00000f0a: ISZERO
00000f0b: PUSH2 0x0f10
00000f0e: JUMPI
00000f0f: INVALID
00000f10: JUMPDEST
00000f11: SWAP1
00000f12: PUSH1 0x00
00000f14: MSTORE
00000f15: PUSH1 0x20
00000f17: PUSH1 0x00
00000f19: KECCAK256
00000f1a: SWAP1
00000f1b: PUSH1 0x03
00000f1d: MUL
00000f1e: ADD
00000f1f: SWAP2
00000f20: POP
00000f21: PUSH1 0x02
00000f23: PUSH1 0x00
00000f25: DUP7
00000f26: DUP2
00000f27: MSTORE
00000f28: PUSH1 0x20
00000f2a: ADD
00000f2b: SWAP1
00000f2c: DUP2
00000f2d: MSTORE
00000f2e: PUSH1 0x20
00000f30: ADD
00000f31: PUSH1 0x00
00000f33: KECCAK256
00000f34: DUP5
00000f35: DUP2
00000f36: SLOAD
00000f37: DUP2
00000f38: LT
00000f39: ISZERO
00000f3a: ISZERO
00000f3b: PUSH2 0x0f40
00000f3e: JUMPI
00000f3f: INVALID
00000f40: JUMPDEST
00000f41: PUSH1 0x00
00000f43: SWAP2
00000f44: DUP3
00000f45: MSTORE
00000f46: PUSH1 0x20
00000f48: SWAP1
00000f49: SWAP2
00000f4a: KECCAK256
00000f4b: PUSH1 0x09
00000f4d: SWAP1
00000f4e: SWAP2
00000f4f: MUL
00000f50: ADD
00000f51: PUSH1 0x04
00000f53: DUP2
00000f54: ADD
00000f55: SLOAD
00000f56: SWAP1
00000f57: SWAP2
00000f58: POP
00000f59: PUSH1 0x01
00000f5b: PUSH1 0xa0
00000f5d: PUSH1 0x02
00000f5f: EXP
00000f60: SUB
00000f61: AND
00000f62: CALLER
00000f63: EQ
00000f64: DUP1
00000f65: PUSH2 0x0f77
00000f68: JUMPI
00000f69: POP
00000f6a: DUP2
00000f6b: SLOAD
00000f6c: PUSH1 0x01
00000f6e: PUSH1 0xa0
00000f70: PUSH1 0x02
00000f72: EXP
00000f73: SUB
00000f74: AND
00000f75: CALLER
00000f76: EQ
00000f77: JUMPDEST
00000f78: ISZERO
00000f79: ISZERO
00000f7a: PUSH2 0x0fcd
00000f7d: JUMPI
00000f7e: PUSH1 0x40
00000f80: DUP1
00000f81: MLOAD
00000f82: PUSH1 0xe5
00000f84: PUSH1 0x02
00000f86: EXP
00000f87: PUSH3 0x461bcd
00000f8b: MUL
00000f8c: DUP2
00000f8d: MSTORE
00000f8e: PUSH1 0x20
00000f90: PUSH1 0x04
00000f92: DUP3
00000f93: ADD
00000f94: MSTORE
00000f95: PUSH1 0x17
00000f97: PUSH1 0x24
00000f99: DUP3
00000f9a: ADD
00000f9b: MSTORE
00000f9c: PUSH32 0x4d7573742062652073656c6c6572206f72206275796572000000000000000000
00000fbd: PUSH1 0x44
00000fbf: DUP3
00000fc0: ADD
00000fc1: MSTORE
00000fc2: SWAP1
00000fc3: MLOAD
00000fc4: SWAP1
00000fc5: DUP2
00000fc6: SWAP1
00000fc7: SUB
00000fc8: PUSH1 0x64
00000fca: ADD
00000fcb: SWAP1
00000fcc: REVERT
00000fcd: JUMPDEST
00000fce: PUSH1 0x08
00000fd0: DUP2
00000fd1: ADD
00000fd2: SLOAD
00000fd3: PUSH1 0xff
00000fd5: AND
00000fd6: PUSH1 0x02
00000fd8: EQ
00000fd9: PUSH2 0x101a
00000fdc: JUMPI
00000fdd: PUSH1 0x40
00000fdf: DUP1
00000fe0: MLOAD
00000fe1: PUSH1 0xe5
00000fe3: PUSH1 0x02
00000fe5: EXP
00000fe6: PUSH3 0x461bcd
00000fea: MUL
00000feb: DUP2
00000fec: MSTORE
00000fed: PUSH1 0x20
00000fef: PUSH1 0x04
00000ff1: DUP3
00000ff2: ADD
00000ff3: MSTORE
00000ff4: PUSH1 0x12
00000ff6: PUSH1 0x24
00000ff8: DUP3
00000ff9: ADD
00000ffa: MSTORE
00000ffb: PUSH1 0x00
00000ffd: DUP1
00000ffe: MLOAD
00000fff: PUSH1 0x20
00001001: PUSH2 0x2e41
00001004: DUP4
00001005: CODECOPY
00001006: DUP2
00001007: MLOAD
00001008: SWAP2
00001009: MSTORE
0000100a: PUSH1 0x44
0000100c: DUP3
0000100d: ADD
0000100e: MSTORE
0000100f: SWAP1
00001010: MLOAD
00001011: SWAP1
00001012: DUP2
00001013: SWAP1
00001014: SUB
00001015: PUSH1 0x64
00001017: ADD
00001018: SWAP1
00001019: REVERT
0000101a: JUMPDEST
0000101b: PUSH1 0x07
0000101d: DUP2
0000101e: ADD
0000101f: SLOAD
00001020: TIMESTAMP
00001021: GT
00001022: ISZERO
00001023: PUSH2 0x1076
00001026: JUMPI
00001027: PUSH1 0x40
00001029: DUP1
0000102a: MLOAD
0000102b: PUSH1 0xe5
0000102d: PUSH1 0x02
0000102f: EXP
00001030: PUSH3 0x461bcd
00001034: MUL
00001035: DUP2
00001036: MSTORE
00001037: PUSH1 0x20
00001039: PUSH1 0x04
0000103b: DUP3
0000103c: ADD
0000103d: MSTORE
0000103e: PUSH1 0x11
00001040: PUSH1 0x24
00001042: DUP3
00001043: ADD
00001044: MSTORE
00001045: PUSH32 0x416c72656164792066696e616c697a6564000000000000000000000000000000
00001066: PUSH1 0x44
00001068: DUP3
00001069: ADD
0000106a: MSTORE
0000106b: SWAP1
0000106c: MLOAD
0000106d: SWAP1
0000106e: DUP2
0000106f: SWAP1
00001070: SUB
00001071: PUSH1 0x64
00001073: ADD
00001074: SWAP1
00001075: REVERT
00001076: JUMPDEST
00001077: PUSH1 0x08
00001079: DUP2
0000107a: ADD
0000107b: DUP1
0000107c: SLOAD
0000107d: PUSH1 0xff
0000107f: NOT
00001080: AND
00001081: PUSH1 0x03
00001083: OR
00001084: SWAP1
00001085: SSTORE
00001086: PUSH1 0x40
00001088: DUP1
00001089: MLOAD
0000108a: DUP5
0000108b: DUP2
0000108c: MSTORE
0000108d: SWAP1
0000108e: MLOAD
0000108f: DUP6
00001090: SWAP2
00001091: DUP8
00001092: SWAP2
00001093: CALLER
00001094: SWAP2
00001095: PUSH32 0x11c45991938e1dec0b00887cd2368a2195fccb46b08cc56483ac3053ddb609b2
000010b6: SWAP2
000010b7: SWAP1
000010b8: DUP2
000010b9: SWAP1
000010ba: SUB
000010bb: PUSH1 0x20
000010bd: ADD
000010be: SWAP1
000010bf: LOG4
000010c0: POP
000010c1: POP
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: JUMP
000010c6: JUMPDEST
000010c7: PUSH1 0x00
000010c9: SLOAD
000010ca: PUSH1 0x01
000010cc: PUSH1 0xa0
000010ce: PUSH1 0x02
000010d0: EXP
000010d1: SUB
000010d2: AND
000010d3: CALLER
000010d4: EQ
000010d5: PUSH2 0x10dd
000010d8: JUMPI
000010d9: PUSH1 0x00
000010db: DUP1
000010dc: REVERT
000010dd: JUMPDEST
000010de: PUSH1 0x00
000010e0: DUP1
000010e1: SLOAD
000010e2: PUSH1 0x40
000010e4: MLOAD
000010e5: PUSH1 0x01
000010e7: PUSH1 0xa0
000010e9: PUSH1 0x02
000010eb: EXP
000010ec: SUB
000010ed: SWAP1
000010ee: SWAP2
000010ef: AND
000010f0: SWAP2
000010f1: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820
00001112: SWAP2
00001113: LOG2
00001114: PUSH1 0x00
00001116: DUP1
00001117: SLOAD
00001118: PUSH1 0x01
0000111a: PUSH1 0xa0
0000111c: PUSH1 0x02
0000111e: EXP
0000111f: SUB
00001120: NOT
00001121: AND
00001122: SWAP1
00001123: SSTORE
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: SLOAD
00001129: PUSH1 0x01
0000112b: PUSH1 0xa0
0000112d: PUSH1 0x02
0000112f: EXP
00001130: SUB
00001131: AND
00001132: CALLER
00001133: EQ
00001134: PUSH2 0x113c
00001137: JUMPI
00001138: PUSH1 0x00
0000113a: DUP1
0000113b: REVERT
0000113c: JUMPDEST
0000113d: PUSH1 0x01
0000113f: PUSH1 0xa0
00001141: PUSH1 0x02
00001143: EXP
00001144: SUB
00001145: DUP3
00001146: AND
00001147: PUSH1 0x00
00001149: DUP2
0000114a: DUP2
0000114b: MSTORE
0000114c: PUSH1 0x03
0000114e: PUSH1 0x20
00001150: SWAP1
00001151: DUP2
00001152: MSTORE
00001153: PUSH1 0x40
00001155: SWAP2
00001156: DUP3
00001157: SWAP1
00001158: KECCAK256
00001159: DUP1
0000115a: SLOAD
0000115b: PUSH1 0xff
0000115d: NOT
0000115e: AND
0000115f: PUSH1 0x01
00001161: OR
00001162: SWAP1
00001163: SSTORE
00001164: DUP2
00001165: MLOAD
00001166: DUP5
00001167: DUP2
00001168: MSTORE
00001169: SWAP2
0000116a: MLOAD
0000116b: PUSH32 0x5e48128fde8c162f70ea9f59d0a58f1d1cc40c2eec4b4c71356ab395650bfbdf
0000118c: SWAP3
0000118d: DUP2
0000118e: SWAP1
0000118f: SUB
00001190: SWAP1
00001191: SWAP2
00001192: ADD
00001193: SWAP1
00001194: LOG2
00001195: POP
00001196: POP
00001197: JUMP
00001198: JUMPDEST
00001199: PUSH1 0x00
0000119b: DUP5
0000119c: DUP2
0000119d: MSTORE
0000119e: PUSH1 0x02
000011a0: PUSH1 0x20
000011a2: MSTORE
000011a3: PUSH1 0x40
000011a5: DUP2
000011a6: KECCAK256
000011a7: DUP1
000011a8: SLOAD
000011a9: DUP6
000011aa: SWAP1
000011ab: DUP2
000011ac: LT
000011ad: PUSH2 0x11b2
000011b0: JUMPI
000011b1: INVALID
000011b2: JUMPDEST
000011b3: PUSH1 0x00
000011b5: SWAP2
000011b6: DUP3
000011b7: MSTORE
000011b8: PUSH1 0x20
000011ba: SWAP1
000011bb: SWAP2
000011bc: KECCAK256
000011bd: PUSH1 0x09
000011bf: SWAP1
000011c0: SWAP2
000011c1: MUL
000011c2: ADD
000011c3: PUSH1 0x04
000011c5: DUP2
000011c6: ADD
000011c7: SLOAD
000011c8: SWAP1
000011c9: SWAP2
000011ca: POP
000011cb: PUSH1 0x01
000011cd: PUSH1 0xa0
000011cf: PUSH1 0x02
000011d1: EXP
000011d2: SUB
000011d3: AND
000011d4: CALLER
000011d5: EQ
000011d6: PUSH2 0x1229
000011d9: JUMPI
000011da: PUSH1 0x40
000011dc: DUP1
000011dd: MLOAD
000011de: PUSH1 0xe5
000011e0: PUSH1 0x02
000011e2: EXP
000011e3: PUSH3 0x461bcd
000011e7: MUL
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x20
000011ec: PUSH1 0x04
000011ee: DUP3
000011ef: ADD
000011f0: MSTORE
000011f1: PUSH1 0x0f
000011f3: PUSH1 0x24
000011f5: DUP3
000011f6: ADD
000011f7: MSTORE
000011f8: PUSH32 0x4275796572206d7573742063616c6c0000000000000000000000000000000000
00001219: PUSH1 0x44
0000121b: DUP3
0000121c: ADD
0000121d: MSTORE
0000121e: SWAP1
0000121f: MLOAD
00001220: SWAP1
00001221: DUP2
00001222: SWAP1
00001223: SUB
00001224: PUSH1 0x64
00001226: ADD
00001227: SWAP1
00001228: REVERT
00001229: JUMPDEST
0000122a: PUSH1 0x08
0000122c: DUP2
0000122d: ADD
0000122e: SLOAD
0000122f: PUSH1 0xff
00001231: AND
00001232: PUSH1 0x02
00001234: EQ
00001235: PUSH2 0x1276
00001238: JUMPI
00001239: PUSH1 0x40
0000123b: DUP1
0000123c: MLOAD
0000123d: PUSH1 0xe5
0000123f: PUSH1 0x02
00001241: EXP
00001242: PUSH3 0x461bcd
00001246: MUL
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x20
0000124b: PUSH1 0x04
0000124d: DUP3
0000124e: ADD
0000124f: MSTORE
00001250: PUSH1 0x12
00001252: PUSH1 0x24
00001254: DUP3
00001255: ADD
00001256: MSTORE
00001257: PUSH1 0x00
00001259: DUP1
0000125a: MLOAD
0000125b: PUSH1 0x20
0000125d: PUSH2 0x2e41
00001260: DUP4
00001261: CODECOPY
00001262: DUP2
00001263: MLOAD
00001264: SWAP2
00001265: MSTORE
00001266: PUSH1 0x44
00001268: DUP3
00001269: ADD
0000126a: MSTORE
0000126b: SWAP1
0000126c: MLOAD
0000126d: SWAP1
0000126e: DUP2
0000126f: SWAP1
00001270: SUB
00001271: PUSH1 0x64
00001273: ADD
00001274: SWAP1
00001275: REVERT
00001276: JUMPDEST
00001277: DUP1
00001278: SLOAD
00001279: DUP3
0000127a: ADD
0000127b: DUP2
0000127c: SSTORE
0000127d: PUSH1 0x03
0000127f: DUP2
00001280: ADD
00001281: SLOAD
00001282: PUSH1 0x01
00001284: PUSH1 0xa0
00001286: PUSH1 0x02
00001288: EXP
00001289: SUB
0000128a: AND
0000128b: ISZERO
0000128c: ISZERO
0000128d: PUSH2 0x12ec
00001290: JUMPI
00001291: CALLVALUE
00001292: DUP3
00001293: EQ
00001294: PUSH2 0x12e7
00001297: JUMPI
00001298: PUSH1 0x40
0000129a: DUP1
0000129b: MLOAD
0000129c: PUSH1 0xe5
0000129e: PUSH1 0x02
000012a0: EXP
000012a1: PUSH3 0x461bcd
000012a5: MUL
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x20
000012aa: PUSH1 0x04
000012ac: DUP3
000012ad: ADD
000012ae: MSTORE
000012af: PUSH1 0x15
000012b1: PUSH1 0x24
000012b3: DUP3
000012b4: ADD
000012b5: MSTORE
000012b6: PUSH32 0x73656e7420213d206f6666657265642076616c75650000000000000000000000
000012d7: PUSH1 0x44
000012d9: DUP3
000012da: ADD
000012db: MSTORE
000012dc: SWAP1
000012dd: MLOAD
000012de: SWAP1
000012df: DUP2
000012e0: SWAP1
000012e1: SUB
000012e2: PUSH1 0x64
000012e4: ADD
000012e5: SWAP1
000012e6: REVERT
000012e7: JUMPDEST
000012e8: PUSH2 0x1411
000012eb: JUMP
000012ec: JUMPDEST
000012ed: CALLVALUE
000012ee: ISZERO
000012ef: PUSH2 0x1342
000012f2: JUMPI
000012f3: PUSH1 0x40
000012f5: DUP1
000012f6: MLOAD
000012f7: PUSH1 0xe5
000012f9: PUSH1 0x02
000012fb: EXP
000012fc: PUSH3 0x461bcd
00001300: MUL
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x20
00001305: PUSH1 0x04
00001307: DUP3
00001308: ADD
00001309: MSTORE
0000130a: PUSH1 0x14
0000130c: PUSH1 0x24
0000130e: DUP3
0000130f: ADD
00001310: MSTORE
00001311: PUSH32 0x455448206d757374206e6f742062652073656e74000000000000000000000000
00001332: PUSH1 0x44
00001334: DUP3
00001335: ADD
00001336: MSTORE
00001337: SWAP1
00001338: MLOAD
00001339: SWAP1
0000133a: DUP2
0000133b: SWAP1
0000133c: SUB
0000133d: PUSH1 0x64
0000133f: ADD
00001340: SWAP1
00001341: REVERT
00001342: JUMPDEST
00001343: PUSH1 0x03
00001345: DUP2
00001346: ADD
00001347: SLOAD
00001348: PUSH1 0x40
0000134a: DUP1
0000134b: MLOAD
0000134c: PUSH1 0xe0
0000134e: PUSH1 0x02
00001350: EXP
00001351: PUSH4 0x23b872dd
00001356: MUL
00001357: DUP2
00001358: MSTORE
00001359: CALLER
0000135a: PUSH1 0x04
0000135c: DUP3
0000135d: ADD
0000135e: MSTORE
0000135f: ADDRESS
00001360: PUSH1 0x24
00001362: DUP3
00001363: ADD
00001364: MSTORE
00001365: PUSH1 0x44
00001367: DUP2
00001368: ADD
00001369: DUP6
0000136a: SWAP1
0000136b: MSTORE
0000136c: SWAP1
0000136d: MLOAD
0000136e: PUSH1 0x01
00001370: PUSH1 0xa0
00001372: PUSH1 0x02
00001374: EXP
00001375: SUB
00001376: SWAP1
00001377: SWAP3
00001378: AND
00001379: SWAP2
0000137a: PUSH4 0x23b872dd
0000137f: SWAP2
00001380: PUSH1 0x64
00001382: DUP1
00001383: DUP3
00001384: ADD
00001385: SWAP3
00001386: PUSH1 0x20
00001388: SWAP3
00001389: SWAP1
0000138a: SWAP2
0000138b: SWAP1
0000138c: DUP3
0000138d: SWAP1
0000138e: SUB
0000138f: ADD
00001390: DUP2
00001391: PUSH1 0x00
00001393: DUP8
00001394: DUP1
00001395: EXTCODESIZE
00001396: ISZERO
00001397: DUP1
00001398: ISZERO
00001399: PUSH2 0x13a1
0000139c: JUMPI
0000139d: PUSH1 0x00
0000139f: DUP1
000013a0: REVERT
000013a1: JUMPDEST
000013a2: POP
000013a3: GAS
000013a4: CALL
000013a5: ISZERO
000013a6: DUP1
000013a7: ISZERO
000013a8: PUSH2 0x13b5
000013ab: JUMPI
000013ac: RETURNDATASIZE
000013ad: PUSH1 0x00
000013af: DUP1
000013b0: RETURNDATACOPY
000013b1: RETURNDATASIZE
000013b2: PUSH1 0x00
000013b4: REVERT
000013b5: JUMPDEST
000013b6: POP
000013b7: POP
000013b8: POP
000013b9: POP
000013ba: PUSH1 0x40
000013bc: MLOAD
000013bd: RETURNDATASIZE
000013be: PUSH1 0x20
000013c0: DUP2
000013c1: LT
000013c2: ISZERO
000013c3: PUSH2 0x13cb
000013c6: JUMPI
000013c7: PUSH1 0x00
000013c9: DUP1
000013ca: REVERT
000013cb: JUMPDEST
000013cc: POP
000013cd: MLOAD
000013ce: ISZERO
000013cf: ISZERO
000013d0: PUSH2 0x1411
000013d3: JUMPI
000013d4: PUSH1 0x40
000013d6: DUP1
000013d7: MLOAD
000013d8: PUSH1 0xe5
000013da: PUSH1 0x02
000013dc: EXP
000013dd: PUSH3 0x461bcd
000013e1: MUL
000013e2: DUP2
000013e3: MSTORE
000013e4: PUSH1 0x20
000013e6: PUSH1 0x04
000013e8: DUP3
000013e9: ADD
000013ea: MSTORE
000013eb: PUSH1 0x13
000013ed: PUSH1 0x24
000013ef: DUP3
000013f0: ADD
000013f1: MSTORE
000013f2: PUSH1 0x00
000013f4: DUP1
000013f5: MLOAD
000013f6: PUSH1 0x20
000013f8: PUSH2 0x2e61
000013fb: DUP4
000013fc: CODECOPY
000013fd: DUP2
000013fe: MLOAD
000013ff: SWAP2
00001400: MSTORE
00001401: PUSH1 0x44
00001403: DUP3
00001404: ADD
00001405: MSTORE
00001406: SWAP1
00001407: MLOAD
00001408: SWAP1
00001409: DUP2
0000140a: SWAP1
0000140b: SUB
0000140c: PUSH1 0x64
0000140e: ADD
0000140f: SWAP1
00001410: REVERT
00001411: JUMPDEST
00001412: PUSH1 0x40
00001414: DUP1
00001415: MLOAD
00001416: DUP5
00001417: DUP2
00001418: MSTORE
00001419: SWAP1
0000141a: MLOAD
0000141b: DUP6
0000141c: SWAP2
0000141d: DUP8
0000141e: SWAP2
0000141f: CALLER
00001420: SWAP2
00001421: PUSH32 0x5f0e66c42b81a43cbd35b11ea0a599d0be1d8e1fdb61d1d4f7a98243ba6cc26b
00001442: SWAP2
00001443: SWAP1
00001444: DUP2
00001445: SWAP1
00001446: SUB
00001447: PUSH1 0x20
00001449: ADD
0000144a: SWAP1
0000144b: LOG4
0000144c: POP
0000144d: POP
0000144e: POP
0000144f: POP
00001450: POP
00001451: JUMP
00001452: JUMPDEST
00001453: PUSH1 0x00
00001455: SLOAD
00001456: PUSH1 0x01
00001458: PUSH1 0xa0
0000145a: PUSH1 0x02
0000145c: EXP
0000145d: SUB
0000145e: AND
0000145f: DUP2
00001460: JUMP
00001461: JUMPDEST
00001462: PUSH1 0x00
00001464: SWAP1
00001465: DUP2
00001466: MSTORE
00001467: PUSH1 0x02
00001469: PUSH1 0x20
0000146b: MSTORE
0000146c: PUSH1 0x40
0000146e: SWAP1
0000146f: KECCAK256
00001470: SLOAD
00001471: SWAP1
00001472: JUMP
00001473: JUMPDEST
00001474: PUSH1 0x03
00001476: PUSH1 0x20
00001478: MSTORE
00001479: PUSH1 0x00
0000147b: SWAP1
0000147c: DUP2
0000147d: MSTORE
0000147e: PUSH1 0x40
00001480: SWAP1
00001481: KECCAK256
00001482: SLOAD
00001483: PUSH1 0xff
00001485: AND
00001486: DUP2
00001487: JUMP
00001488: JUMPDEST
00001489: PUSH1 0x40
0000148b: DUP1
0000148c: MLOAD
0000148d: DUP3
0000148e: DUP2
0000148f: MSTORE
00001490: SWAP1
00001491: MLOAD
00001492: DUP4
00001493: SWAP2
00001494: CALLER
00001495: SWAP2
00001496: PUSH32 0x12dc84d4005dd5b86fd88951106aa76927a62b83b85ba9c912a7268582906aa9
000014b7: SWAP2
000014b8: DUP2
000014b9: SWAP1
000014ba: SUB
000014bb: PUSH1 0x20
000014bd: ADD
000014be: SWAP1
000014bf: LOG3
000014c0: POP
000014c1: POP
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x00
000014c6: DUP1
000014c7: PUSH1 0x01
000014c9: DUP6
000014ca: DUP2
000014cb: SLOAD
000014cc: DUP2
000014cd: LT
000014ce: ISZERO
000014cf: ISZERO
000014d0: PUSH2 0x14d5
000014d3: JUMPI
000014d4: INVALID
000014d5: JUMPDEST
000014d6: SWAP1
000014d7: PUSH1 0x00
000014d9: MSTORE
000014da: PUSH1 0x20
000014dc: PUSH1 0x00
000014de: KECCAK256
000014df: SWAP1
000014e0: PUSH1 0x03
000014e2: MUL
000014e3: ADD
000014e4: SWAP2
000014e5: POP
000014e6: PUSH1 0x02
000014e8: PUSH1 0x00
000014ea: DUP7
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x20
000014ef: ADD
000014f0: SWAP1
000014f1: DUP2
000014f2: MSTORE
000014f3: PUSH1 0x20
000014f5: ADD
000014f6: PUSH1 0x00
000014f8: KECCAK256
000014f9: DUP5
000014fa: DUP2
000014fb: SLOAD
000014fc: DUP2
000014fd: LT
000014fe: ISZERO
000014ff: ISZERO
00001500: PUSH2 0x1505
00001503: JUMPI
00001504: INVALID
00001505: JUMPDEST
00001506: PUSH1 0x00
00001508: SWAP2
00001509: DUP3
0000150a: MSTORE
0000150b: PUSH1 0x20
0000150d: SWAP1
0000150e: SWAP2
0000150f: KECCAK256
00001510: DUP4
00001511: SLOAD
00001512: PUSH1 0x09
00001514: SWAP1
00001515: SWAP3
00001516: MUL
00001517: ADD
00001518: SWAP2
00001519: POP
0000151a: PUSH1 0x01
0000151c: PUSH1 0xa0
0000151e: PUSH1 0x02
00001520: EXP
00001521: SUB
00001522: AND
00001523: CALLER
00001524: EQ
00001525: PUSH2 0x1578
00001528: JUMPI
00001529: PUSH1 0x40
0000152b: DUP1
0000152c: MLOAD
0000152d: PUSH1 0xe5
0000152f: PUSH1 0x02
00001531: EXP
00001532: PUSH3 0x461bcd
00001536: MUL
00001537: DUP2
00001538: MSTORE
00001539: PUSH1 0x20
0000153b: PUSH1 0x04
0000153d: DUP3
0000153e: ADD
0000153f: MSTORE
00001540: PUSH1 0x12
00001542: PUSH1 0x24
00001544: DUP3
00001545: ADD
00001546: MSTORE
00001547: PUSH32 0x53656c6c6572206d757374206163636570740000000000000000000000000000
00001568: PUSH1 0x44
0000156a: DUP3
0000156b: ADD
0000156c: MSTORE
0000156d: SWAP1
0000156e: MLOAD
0000156f: SWAP1
00001570: DUP2
00001571: SWAP1
00001572: SUB
00001573: PUSH1 0x64
00001575: ADD
00001576: SWAP1
00001577: REVERT
00001578: JUMPDEST
00001579: PUSH1 0x08
0000157b: DUP2
0000157c: ADD
0000157d: SLOAD
0000157e: PUSH1 0xff
00001580: AND
00001581: PUSH1 0x01
00001583: EQ
00001584: PUSH2 0x15d7
00001587: JUMPI
00001588: PUSH1 0x40
0000158a: DUP1
0000158b: MLOAD
0000158c: PUSH1 0xe5
0000158e: PUSH1 0x02
00001590: EXP
00001591: PUSH3 0x461bcd
00001595: MUL
00001596: DUP2
00001597: MSTORE
00001598: PUSH1 0x20
0000159a: PUSH1 0x04
0000159c: DUP3
0000159d: ADD
0000159e: MSTORE
0000159f: PUSH1 0x11
000015a1: PUSH1 0x24
000015a3: DUP3
000015a4: ADD
000015a5: MSTORE
000015a6: PUSH32 0x73746174757320213d2063726561746564000000000000000000000000000000
000015c7: PUSH1 0x44
000015c9: DUP3
000015ca: ADD
000015cb: MSTORE
000015cc: SWAP1
000015cd: MLOAD
000015ce: SWAP1
000015cf: DUP2
000015d0: SWAP1
000015d1: SUB
000015d2: PUSH1 0x64
000015d4: ADD
000015d5: SWAP1
000015d6: REVERT
000015d7: JUMPDEST
000015d8: PUSH1 0x01
000015da: DUP1
000015db: DUP3
000015dc: ADD
000015dd: SLOAD
000015de: SWAP1
000015df: DUP4
000015e0: ADD
000015e1: SLOAD
000015e2: LT
000015e3: ISZERO
000015e4: PUSH2 0x1637
000015e7: JUMPI
000015e8: PUSH1 0x40
000015ea: DUP1
000015eb: MLOAD
000015ec: PUSH1 0xe5
000015ee: PUSH1 0x02
000015f0: EXP
000015f1: PUSH3 0x461bcd
000015f5: MUL
000015f6: DUP2
000015f7: MSTORE
000015f8: PUSH1 0x20
000015fa: PUSH1 0x04
000015fc: DUP3
000015fd: ADD
000015fe: MSTORE
000015ff: PUSH1 0x1d
00001601: PUSH1 0x24
00001603: DUP3
00001604: ADD
00001605: MSTORE
00001606: PUSH32 0x6465706f736974206d75737420636f76657220636f6d6d697373696f6e000000
00001627: PUSH1 0x44
00001629: DUP3
0000162a: ADD
0000162b: MSTORE
0000162c: SWAP1
0000162d: MLOAD
0000162e: SWAP1
0000162f: DUP2
00001630: SWAP1
00001631: SUB
00001632: PUSH1 0x64
00001634: ADD
00001635: SWAP1
00001636: REVERT
00001637: JUMPDEST
00001638: PUSH4 0x3b9aca00
0000163d: DUP2
0000163e: PUSH1 0x07
00001640: ADD
00001641: SLOAD
00001642: LT
00001643: ISZERO
00001644: PUSH2 0x1652
00001647: JUMPI
00001648: PUSH1 0x07
0000164a: DUP2
0000164b: ADD
0000164c: DUP1
0000164d: SLOAD
0000164e: TIMESTAMP
0000164f: ADD
00001650: SWAP1
00001651: SSTORE
00001652: JUMPDEST
00001653: PUSH1 0x01
00001655: DUP1
00001656: DUP3
00001657: ADD
00001658: SLOAD
00001659: SWAP1
0000165a: DUP4
0000165b: ADD
0000165c: DUP1
0000165d: SLOAD
0000165e: SWAP2
0000165f: SWAP1
00001660: SWAP2
00001661: SUB
00001662: SWAP1
00001663: SSTORE
00001664: PUSH1 0x08
00001666: DUP2
00001667: ADD
00001668: DUP1
00001669: SLOAD
0000166a: PUSH1 0xff
0000166c: NOT
0000166d: AND
0000166e: PUSH1 0x02
00001670: OR
00001671: SWAP1
00001672: SSTORE
00001673: PUSH1 0x40
00001675: DUP1
00001676: MLOAD
00001677: DUP5
00001678: DUP2
00001679: MSTORE
0000167a: SWAP1
0000167b: MLOAD
0000167c: DUP6
0000167d: SWAP2
0000167e: DUP8
0000167f: SWAP2
00001680: CALLER
00001681: SWAP2
00001682: PUSH32 0x449224201a35688b74a38ff24770e8b2a326ebf42357bf19a36f5fedbbe552a0
000016a3: SWAP2
000016a4: SWAP1
000016a5: DUP2
000016a6: SWAP1
000016a7: SUB
000016a8: PUSH1 0x20
000016aa: ADD
000016ab: SWAP1
000016ac: LOG4
000016ad: POP
000016ae: POP
000016af: POP
000016b0: POP
000016b1: POP
000016b2: JUMP
000016b3: JUMPDEST
000016b4: PUSH1 0x00
000016b6: SLOAD
000016b7: PUSH1 0x01
000016b9: PUSH1 0xa0
000016bb: PUSH1 0x02
000016bd: EXP
000016be: SUB
000016bf: AND
000016c0: CALLER
000016c1: EQ
000016c2: PUSH2 0x16ca
000016c5: JUMPI
000016c6: PUSH1 0x00
000016c8: DUP1
000016c9: REVERT
000016ca: JUMPDEST
000016cb: PUSH1 0x01
000016cd: PUSH1 0xa0
000016cf: PUSH1 0x02
000016d1: EXP
000016d2: SUB
000016d3: DUP3
000016d4: AND
000016d5: PUSH1 0x00
000016d7: DUP2
000016d8: DUP2
000016d9: MSTORE
000016da: PUSH1 0x03
000016dc: PUSH1 0x20
000016de: SWAP1
000016df: DUP2
000016e0: MSTORE
000016e1: PUSH1 0x40
000016e3: SWAP2
000016e4: DUP3
000016e5: SWAP1
000016e6: KECCAK256
000016e7: DUP1
000016e8: SLOAD
000016e9: PUSH1 0xff
000016eb: NOT
000016ec: AND
000016ed: SWAP1
000016ee: SSTORE
000016ef: DUP2
000016f0: MLOAD
000016f1: DUP5
000016f2: DUP2
000016f3: MSTORE
000016f4: SWAP2
000016f5: MLOAD
000016f6: PUSH32 0x3553c89fbe376344fc3e6cfb39cce65e6d961cece468c297dad2a1e31d4fa2b6
00001717: SWAP3
00001718: DUP2
00001719: SWAP1
0000171a: SUB
0000171b: SWAP1
0000171c: SWAP2
0000171d: ADD
0000171e: SWAP1
0000171f: LOG2
00001720: POP
00001721: POP
00001722: JUMP
00001723: JUMPDEST
00001724: PUSH1 0x00
00001726: DUP1
00001727: PUSH1 0x01
00001729: DUP6
0000172a: DUP2
0000172b: SLOAD
0000172c: DUP2
0000172d: LT
0000172e: ISZERO
0000172f: ISZERO
00001730: PUSH2 0x1735
00001733: JUMPI
00001734: INVALID
00001735: JUMPDEST
00001736: PUSH1 0x00
00001738: SWAP2
00001739: DUP3
0000173a: MSTORE
0000173b: PUSH1 0x20
0000173d: SWAP1
0000173e: SWAP2
0000173f: KECCAK256
00001740: PUSH1 0x03
00001742: SWAP1
00001743: SWAP2
00001744: MUL
00001745: ADD
00001746: PUSH1 0x02
00001748: DUP2
00001749: ADD
0000174a: SLOAD
0000174b: SWAP1
0000174c: SWAP3
0000174d: POP
0000174e: PUSH1 0x01
00001750: PUSH1 0xa0
00001752: PUSH1 0x02
00001754: EXP
00001755: SUB
00001756: AND
00001757: CALLER
00001758: EQ
00001759: PUSH2 0x17ac
0000175c: JUMPI
0000175d: PUSH1 0x40
0000175f: DUP1
00001760: MLOAD
00001761: PUSH1 0xe5
00001763: PUSH1 0x02
00001765: EXP
00001766: PUSH3 0x461bcd
0000176a: MUL
0000176b: DUP2
0000176c: MSTORE
0000176d: PUSH1 0x20
0000176f: PUSH1 0x04
00001771: DUP3
00001772: ADD
00001773: MSTORE
00001774: PUSH1 0x16
00001776: PUSH1 0x24
00001778: DUP3
00001779: ADD
0000177a: MSTORE
0000177b: PUSH32 0x4d757374206265206465706f7369744d616e6167657200000000000000000000
0000179c: PUSH1 0x44
0000179e: DUP3
0000179f: ADD
000017a0: MSTORE
000017a1: SWAP1
000017a2: MLOAD
000017a3: SWAP1
000017a4: DUP2
000017a5: SWAP1
000017a6: SUB
000017a7: PUSH1 0x64
000017a9: ADD
000017aa: SWAP1
000017ab: REVERT
000017ac: JUMPDEST
000017ad: PUSH1 0x01
000017af: PUSH1 0xa0
000017b1: PUSH1 0x02
000017b3: EXP
000017b4: SUB
000017b5: DUP5
000017b6: AND
000017b7: ISZERO
000017b8: ISZERO
000017b9: PUSH2 0x180c
000017bc: JUMPI
000017bd: PUSH1 0x40
000017bf: DUP1
000017c0: MLOAD
000017c1: PUSH1 0xe5
000017c3: PUSH1 0x02
000017c5: EXP
000017c6: PUSH3 0x461bcd
000017ca: MUL
000017cb: DUP2
000017cc: MSTORE
000017cd: PUSH1 0x20
000017cf: PUSH1 0x04
000017d1: DUP3
000017d2: ADD
000017d3: MSTORE
000017d4: PUSH1 0x09
000017d6: PUSH1 0x24
000017d8: DUP3
000017d9: ADD
000017da: MSTORE
000017db: PUSH32 0x4e6f207461726765740000000000000000000000000000000000000000000000
000017fc: PUSH1 0x44
000017fe: DUP3
000017ff: ADD
00001800: MSTORE
00001801: SWAP1
00001802: MLOAD
00001803: SWAP1
00001804: DUP2
00001805: SWAP1
00001806: SUB
00001807: PUSH1 0x64
00001809: ADD
0000180a: SWAP1
0000180b: REVERT
0000180c: JUMPDEST
0000180d: POP
0000180e: PUSH1 0x01
00001810: DUP2
00001811: ADD
00001812: DUP1
00001813: SLOAD
00001814: PUSH1 0x00
00001816: SWAP2
00001817: DUP3
00001818: SWAP1
00001819: SSTORE
0000181a: PUSH1 0x04
0000181c: DUP1
0000181d: SLOAD
0000181e: PUSH1 0x40
00001820: DUP1
00001821: MLOAD
00001822: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001843: DUP2
00001844: MSTORE
00001845: PUSH1 0x01
00001847: PUSH1 0xa0
00001849: PUSH1 0x02
0000184b: EXP
0000184c: SUB
0000184d: DUP10
0000184e: DUP2
0000184f: AND
00001850: SWAP5
00001851: DUP3
00001852: ADD
00001853: SWAP5
00001854: SWAP1
00001855: SWAP5
00001856: MSTORE
00001857: PUSH1 0x24
00001859: DUP2
0000185a: ADD
0000185b: DUP6
0000185c: SWAP1
0000185d: MSTORE
0000185e: SWAP1
0000185f: MLOAD
00001860: SWAP4
00001861: SWAP5
00001862: SWAP3
00001863: SWAP1
00001864: SWAP2
00001865: AND
00001866: SWAP3
00001867: PUSH4 0xa9059cbb
0000186c: SWAP3
0000186d: PUSH1 0x44
0000186f: DUP1
00001870: DUP5
00001871: ADD
00001872: SWAP4
00001873: PUSH1 0x20
00001875: SWAP4
00001876: SWAP3
00001877: SWAP1
00001878: DUP4
00001879: SWAP1
0000187a: SUB
0000187b: SWAP1
0000187c: SWAP2
0000187d: ADD
0000187e: SWAP1
0000187f: DUP3
00001880: SWAP1
00001881: DUP8
00001882: DUP1
00001883: EXTCODESIZE
00001884: ISZERO
00001885: DUP1
00001886: ISZERO
00001887: PUSH2 0x188f
0000188a: JUMPI
0000188b: PUSH1 0x00
0000188d: DUP1
0000188e: REVERT
0000188f: JUMPDEST
00001890: POP
00001891: GAS
00001892: CALL
00001893: ISZERO
00001894: DUP1
00001895: ISZERO
00001896: PUSH2 0x18a3
00001899: JUMPI
0000189a: RETURNDATASIZE
0000189b: PUSH1 0x00
0000189d: DUP1
0000189e: RETURNDATACOPY
0000189f: RETURNDATASIZE
000018a0: PUSH1 0x00
000018a2: REVERT
000018a3: JUMPDEST
000018a4: POP
000018a5: POP
000018a6: POP
000018a7: POP
000018a8: PUSH1 0x40
000018aa: MLOAD
000018ab: RETURNDATASIZE
000018ac: PUSH1 0x20
000018ae: DUP2
000018af: LT
000018b0: ISZERO
000018b1: PUSH2 0x18b9
000018b4: JUMPI
000018b5: PUSH1 0x00
000018b7: DUP1
000018b8: REVERT
000018b9: JUMPDEST
000018ba: POP
000018bb: MLOAD
000018bc: ISZERO
000018bd: ISZERO
000018be: PUSH2 0x1911
000018c1: JUMPI
000018c2: PUSH1 0x40
000018c4: DUP1
000018c5: MLOAD
000018c6: PUSH1 0xe5
000018c8: PUSH1 0x02
000018ca: EXP
000018cb: PUSH3 0x461bcd
000018cf: MUL
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x20
000018d4: PUSH1 0x04
000018d6: DUP3
000018d7: ADD
000018d8: MSTORE
000018d9: PUSH1 0x0f
000018db: PUSH1 0x24
000018dd: DUP3
000018de: ADD
000018df: MSTORE
000018e0: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000
00001901: PUSH1 0x44
00001903: DUP3
00001904: ADD
00001905: MSTORE
00001906: SWAP1
00001907: MLOAD
00001908: SWAP1
00001909: DUP2
0000190a: SWAP1
0000190b: SUB
0000190c: PUSH1 0x64
0000190e: ADD
0000190f: SWAP1
00001910: REVERT
00001911: JUMPDEST
00001912: PUSH1 0x40
00001914: DUP1
00001915: MLOAD
00001916: DUP5
00001917: DUP2
00001918: MSTORE
00001919: SWAP1
0000191a: MLOAD
0000191b: DUP7
0000191c: SWAP2
0000191d: PUSH1 0x01
0000191f: PUSH1 0xa0
00001921: PUSH1 0x02
00001923: EXP
00001924: SUB
00001925: DUP8
00001926: AND
00001927: SWAP2
00001928: PUSH32 0xafa3dc4f271ef3419006f21140d375eba48ef3def56e8bfe6d54d0c72a81a307
00001949: SWAP2
0000194a: DUP2
0000194b: SWAP1
0000194c: SUB
0000194d: PUSH1 0x20
0000194f: ADD
00001950: SWAP1
00001951: LOG3
00001952: POP
00001953: POP
00001954: POP
00001955: POP
00001956: POP
00001957: JUMP
00001958: JUMPDEST
00001959: PUSH2 0x1964
0000195c: CALLER
0000195d: DUP5
0000195e: DUP5
0000195f: DUP5
00001960: PUSH2 0x241a
00001963: JUMP
00001964: JUMPDEST
00001965: POP
00001966: POP
00001967: POP
00001968: JUMP
00001969: JUMPDEST
0000196a: PUSH1 0x00
0000196c: PUSH2 0x1973
0000196f: PUSH2 0x2df4
00001972: JUMP
00001973: JUMPDEST
00001974: PUSH1 0x01
00001976: DUP1
00001977: SLOAD
00001978: DUP9
00001979: SWAP1
0000197a: DUP2
0000197b: LT
0000197c: PUSH2 0x1981
0000197f: JUMPI
00001980: INVALID
00001981: JUMPDEST
00001982: SWAP1
00001983: PUSH1 0x00
00001985: MSTORE
00001986: PUSH1 0x20
00001988: PUSH1 0x00
0000198a: KECCAK256
0000198b: SWAP1
0000198c: PUSH1 0x03
0000198e: MUL
0000198f: ADD
00001990: SWAP2
00001991: POP
00001992: PUSH1 0x02
00001994: PUSH1 0x00
00001996: DUP9
00001997: DUP2
00001998: MSTORE
00001999: PUSH1 0x20
0000199b: ADD
0000199c: SWAP1
0000199d: DUP2
0000199e: MSTORE
0000199f: PUSH1 0x20
000019a1: ADD
000019a2: PUSH1 0x00
000019a4: KECCAK256
000019a5: DUP7
000019a6: DUP2
000019a7: SLOAD
000019a8: DUP2
000019a9: LT
000019aa: ISZERO
000019ab: ISZERO
000019ac: PUSH2 0x19b1
000019af: JUMPI
000019b0: INVALID
000019b1: JUMPDEST
000019b2: PUSH1 0x00
000019b4: SWAP2
000019b5: DUP3
000019b6: MSTORE
000019b7: PUSH1 0x20
000019b9: SWAP2
000019ba: DUP3
000019bb: SWAP1
000019bc: KECCAK256
000019bd: PUSH1 0x40
000019bf: DUP1
000019c0: MLOAD
000019c1: PUSH2 0x0120
000019c4: DUP2
000019c5: ADD
000019c6: DUP3
000019c7: MSTORE
000019c8: PUSH1 0x09
000019ca: SWAP1
000019cb: SWAP4
000019cc: MUL
000019cd: SWAP1
000019ce: SWAP2
000019cf: ADD
000019d0: DUP1
000019d1: SLOAD
000019d2: DUP4
000019d3: MSTORE
000019d4: PUSH1 0x01
000019d6: DUP2
000019d7: ADD
000019d8: SLOAD
000019d9: SWAP4
000019da: DUP4
000019db: ADD
000019dc: SWAP4
000019dd: SWAP1
000019de: SWAP4
000019df: MSTORE
000019e0: PUSH1 0x02
000019e2: DUP4
000019e3: ADD
000019e4: SLOAD
000019e5: SWAP1
000019e6: DUP3
000019e7: ADD
000019e8: MSTORE
000019e9: PUSH1 0x03
000019eb: DUP3
000019ec: ADD
000019ed: SLOAD
000019ee: PUSH1 0x01
000019f0: PUSH1 0xa0
000019f2: PUSH1 0x02
000019f4: EXP
000019f5: SUB
000019f6: SWAP1
000019f7: DUP2
000019f8: AND
000019f9: PUSH1 0x60
000019fb: DUP4
000019fc: ADD
000019fd: MSTORE
000019fe: PUSH1 0x04
00001a00: DUP4
00001a01: ADD
00001a02: SLOAD
00001a03: DUP2
00001a04: AND
00001a05: PUSH1 0x80
00001a07: DUP4
00001a08: ADD
00001a09: MSTORE
00001a0a: PUSH1 0x05
00001a0c: DUP4
00001a0d: ADD
00001a0e: SLOAD
00001a0f: DUP2
00001a10: AND
00001a11: PUSH1 0xa0
00001a13: DUP4
00001a14: ADD
00001a15: MSTORE
00001a16: PUSH1 0x06
00001a18: DUP4
00001a19: ADD
00001a1a: SLOAD
00001a1b: AND
00001a1c: PUSH1 0xc0
00001a1e: DUP3
00001a1f: ADD
00001a20: DUP2
00001a21: SWAP1
00001a22: MSTORE
00001a23: PUSH1 0x07
00001a25: DUP4
00001a26: ADD
00001a27: SLOAD
00001a28: PUSH1 0xe0
00001a2a: DUP4
00001a2b: ADD
00001a2c: MSTORE
00001a2d: PUSH1 0x08
00001a2f: SWAP1
00001a30: SWAP3
00001a31: ADD
00001a32: SLOAD
00001a33: PUSH1 0xff
00001a35: AND
00001a36: PUSH2 0x0100
00001a39: DUP3
00001a3a: ADD
00001a3b: MSTORE
00001a3c: SWAP2
00001a3d: POP
00001a3e: CALLER
00001a3f: EQ
00001a40: PUSH2 0x1a93
00001a43: JUMPI
00001a44: PUSH1 0x40
00001a46: DUP1
00001a47: MLOAD
00001a48: PUSH1 0xe5
00001a4a: PUSH1 0x02
00001a4c: EXP
00001a4d: PUSH3 0x461bcd
00001a51: MUL
00001a52: DUP2
00001a53: MSTORE
00001a54: PUSH1 0x20
00001a56: PUSH1 0x04
00001a58: DUP3
00001a59: ADD
00001a5a: MSTORE
00001a5b: PUSH1 0x12
00001a5d: PUSH1 0x24
00001a5f: DUP3
00001a60: ADD
00001a61: MSTORE
00001a62: PUSH32 0x4d7573742062652061726269747261746f720000000000000000000000000000
00001a83: PUSH1 0x44
00001a85: DUP3
00001a86: ADD
00001a87: MSTORE
00001a88: SWAP1
00001a89: MLOAD
00001a8a: SWAP1
00001a8b: DUP2
00001a8c: SWAP1
00001a8d: SUB
00001a8e: PUSH1 0x64
00001a90: ADD
00001a91: SWAP1
00001a92: REVERT
00001a93: JUMPDEST
00001a94: DUP1
00001a95: PUSH2 0x0100
00001a98: ADD
00001a99: MLOAD
00001a9a: PUSH1 0xff
00001a9c: AND
00001a9d: PUSH1 0x03
00001a9f: EQ
00001aa0: ISZERO
00001aa1: ISZERO
00001aa2: PUSH2 0x1af5
00001aa5: JUMPI
00001aa6: PUSH1 0x40
00001aa8: DUP1
00001aa9: MLOAD
00001aaa: PUSH1 0xe5
00001aac: PUSH1 0x02
00001aae: EXP
00001aaf: PUSH3 0x461bcd
00001ab3: MUL
00001ab4: DUP2
00001ab5: MSTORE
00001ab6: PUSH1 0x20
00001ab8: PUSH1 0x04
00001aba: DUP3
00001abb: ADD
00001abc: MSTORE
00001abd: PUSH1 0x12
00001abf: PUSH1 0x24
00001ac1: DUP3
00001ac2: ADD
00001ac3: MSTORE
00001ac4: PUSH32 0x73746174757320213d2064697370757465640000000000000000000000000000
00001ae5: PUSH1 0x44
00001ae7: DUP3
00001ae8: ADD
00001ae9: MSTORE
00001aea: SWAP1
00001aeb: MLOAD
00001aec: SWAP1
00001aed: DUP2
00001aee: SWAP1
00001aef: SUB
00001af0: PUSH1 0x64
00001af2: ADD
00001af3: SWAP1
00001af4: REVERT
00001af5: JUMPDEST
00001af6: DUP1
00001af7: MLOAD
00001af8: DUP4
00001af9: GT
00001afa: ISZERO
00001afb: PUSH2 0x1b4e
00001afe: JUMPI
00001aff: PUSH1 0x40
00001b01: DUP1
00001b02: MLOAD
00001b03: PUSH1 0xe5
00001b05: PUSH1 0x02
00001b07: EXP
00001b08: PUSH3 0x461bcd
00001b0c: MUL
00001b0d: DUP2
00001b0e: MSTORE
00001b0f: PUSH1 0x20
00001b11: PUSH1 0x04
00001b13: DUP3
00001b14: ADD
00001b15: MSTORE
00001b16: PUSH1 0x0f
00001b18: PUSH1 0x24
00001b1a: DUP3
00001b1b: ADD
00001b1c: MSTORE
00001b1d: PUSH32 0x726566756e6420746f6f20686967680000000000000000000000000000000000
00001b3e: PUSH1 0x44
00001b40: DUP3
00001b41: ADD
00001b42: MSTORE
00001b43: SWAP1
00001b44: MLOAD
00001b45: SWAP1
00001b46: DUP2
00001b47: SWAP1
00001b48: SUB
00001b49: PUSH1 0x64
00001b4b: ADD
00001b4c: SWAP1
00001b4d: REVERT
00001b4e: JUMPDEST
00001b4f: PUSH1 0x00
00001b51: DUP8
00001b52: DUP2
00001b53: MSTORE
00001b54: PUSH1 0x02
00001b56: PUSH1 0x20
00001b58: MSTORE
00001b59: PUSH1 0x40
00001b5b: SWAP1
00001b5c: KECCAK256
00001b5d: DUP1
00001b5e: SLOAD
00001b5f: DUP8
00001b60: SWAP1
00001b61: DUP2
00001b62: LT
00001b63: PUSH2 0x1b68
00001b66: JUMPI
00001b67: INVALID
00001b68: JUMPDEST
00001b69: PUSH1 0x00
00001b6b: SWAP2
00001b6c: DUP3
00001b6d: MSTORE
00001b6e: PUSH1 0x20
00001b70: DUP3
00001b71: KECCAK256
00001b72: PUSH1 0x09
00001b74: SWAP1
00001b75: SWAP2
00001b76: MUL
00001b77: ADD
00001b78: DUP2
00001b79: DUP2
00001b7a: SSTORE
00001b7b: PUSH1 0x01
00001b7d: DUP2
00001b7e: ADD
00001b7f: DUP3
00001b80: SWAP1
00001b81: SSTORE
00001b82: PUSH1 0x02
00001b84: DUP1
00001b85: DUP3
00001b86: ADD
00001b87: DUP4
00001b88: SWAP1
00001b89: SSTORE
00001b8a: PUSH1 0x03
00001b8c: DUP3
00001b8d: ADD
00001b8e: DUP1
00001b8f: SLOAD
00001b90: PUSH1 0x01
00001b92: PUSH1 0xa0
00001b94: PUSH1 0x02
00001b96: EXP
00001b97: SUB
00001b98: NOT
00001b99: SWAP1
00001b9a: DUP2
00001b9b: AND
00001b9c: SWAP1
00001b9d: SWAP2
00001b9e: SSTORE
00001b9f: PUSH1 0x04
00001ba1: DUP4
00001ba2: ADD
00001ba3: DUP1
00001ba4: SLOAD
00001ba5: DUP3
00001ba6: AND
00001ba7: SWAP1
00001ba8: SSTORE
00001ba9: PUSH1 0x05
00001bab: DUP4
00001bac: ADD
00001bad: DUP1
00001bae: SLOAD
00001baf: DUP3
00001bb0: AND
00001bb1: SWAP1
00001bb2: SSTORE
00001bb3: PUSH1 0x06
00001bb5: DUP4
00001bb6: ADD
00001bb7: DUP1
00001bb8: SLOAD
00001bb9: SWAP1
00001bba: SWAP2
00001bbb: AND
00001bbc: SWAP1
00001bbd: SSTORE
00001bbe: PUSH1 0x07
00001bc0: DUP3
00001bc1: ADD
00001bc2: SWAP3
00001bc3: SWAP1
00001bc4: SWAP3
00001bc5: SSTORE
00001bc6: PUSH1 0x08
00001bc8: ADD
00001bc9: DUP1
00001bca: SLOAD
00001bcb: PUSH1 0xff
00001bcd: NOT
00001bce: AND
00001bcf: SWAP1
00001bd0: SSTORE
00001bd1: DUP5
00001bd2: DUP2
00001bd3: AND
00001bd4: EQ
00001bd5: ISZERO
00001bd6: PUSH2 0x1bf0
00001bd9: JUMPI
00001bda: PUSH2 0x1beb
00001bdd: DUP2
00001bde: PUSH1 0xa0
00001be0: ADD
00001be1: MLOAD
00001be2: DUP3
00001be3: PUSH1 0x20
00001be5: ADD
00001be6: MLOAD
00001be7: PUSH2 0x25d1
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH2 0x1c1e
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH1 0x20
00001bf3: DUP2
00001bf4: ADD
00001bf5: MLOAD
00001bf6: PUSH1 0x01
00001bf8: DUP1
00001bf9: SLOAD
00001bfa: DUP10
00001bfb: SWAP1
00001bfc: DUP2
00001bfd: LT
00001bfe: PUSH2 0x1c03
00001c01: JUMPI
00001c02: INVALID
00001c03: JUMPDEST
00001c04: PUSH1 0x00
00001c06: SWAP2
00001c07: DUP3
00001c08: MSTORE
00001c09: PUSH1 0x20
00001c0b: SWAP1
00001c0c: SWAP2
00001c0d: KECCAK256
00001c0e: PUSH1 0x01
00001c10: PUSH1 0x03
00001c12: SWAP1
00001c13: SWAP3
00001c14: MUL
00001c15: ADD
00001c16: ADD
00001c17: DUP1
00001c18: SLOAD
00001c19: SWAP1
00001c1a: SWAP2
00001c1b: ADD
00001c1c: SWAP1
00001c1d: SSTORE
00001c1e: JUMPDEST
00001c1f: DUP4
00001c20: PUSH1 0x01
00001c22: AND
00001c23: PUSH1 0x01
00001c25: EQ
00001c26: ISZERO
00001c27: PUSH2 0x1c46
00001c2a: JUMPI
00001c2b: PUSH2 0x1c41
00001c2e: DUP2
00001c2f: PUSH1 0x80
00001c31: ADD
00001c32: MLOAD
00001c33: DUP3
00001c34: PUSH1 0x60
00001c36: ADD
00001c37: MLOAD
00001c38: DUP4
00001c39: PUSH1 0x00
00001c3b: ADD
00001c3c: MLOAD
00001c3d: PUSH2 0x26d9
00001c40: JUMP
00001c41: JUMPDEST
00001c42: PUSH2 0x1c6a
00001c45: JUMP
00001c46: JUMPDEST
00001c47: DUP2
00001c48: SLOAD
00001c49: PUSH1 0x80
00001c4b: DUP3
00001c4c: ADD
00001c4d: MLOAD
00001c4e: PUSH1 0x60
00001c50: DUP4
00001c51: ADD
00001c52: MLOAD
00001c53: DUP4
00001c54: MLOAD
00001c55: PUSH2 0x1c6a
00001c58: SWAP4
00001c59: PUSH1 0x01
00001c5b: PUSH1 0xa0
00001c5d: PUSH1 0x02
00001c5f: EXP
00001c60: SUB
00001c61: AND
00001c62: SWAP3
00001c63: SWAP2
00001c64: SWAP1
00001c65: DUP8
00001c66: PUSH2 0x284e
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH1 0xc0
00001c6d: DUP2
00001c6e: ADD
00001c6f: MLOAD
00001c70: PUSH1 0x40
00001c72: DUP1
00001c73: MLOAD
00001c74: DUP8
00001c75: DUP2
00001c76: MSTORE
00001c77: PUSH1 0x20
00001c79: DUP2
00001c7a: ADD
00001c7b: DUP8
00001c7c: SWAP1
00001c7d: MSTORE
00001c7e: DUP2
00001c7f: MLOAD
00001c80: DUP10
00001c81: SWAP4
00001c82: DUP12
00001c83: SWAP4
00001c84: PUSH1 0x01
00001c86: PUSH1 0xa0
00001c88: PUSH1 0x02
00001c8a: EXP
00001c8b: SUB
00001c8c: SWAP1
00001c8d: SWAP2
00001c8e: AND
00001c8f: SWAP3
00001c90: PUSH32 0x3e4d55eb2a402ba6f500db5d75f9303dfe863a2e8319054aeddb6a35ec7e3c61
00001cb1: SWAP3
00001cb2: SWAP1
00001cb3: DUP2
00001cb4: SWAP1
00001cb5: SUB
00001cb6: SWAP1
00001cb7: SWAP2
00001cb8: ADD
00001cb9: SWAP1
00001cba: LOG4
00001cbb: POP
00001cbc: POP
00001cbd: POP
00001cbe: POP
00001cbf: POP
00001cc0: POP
00001cc1: POP
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x01
00001cc6: SLOAD
00001cc7: SWAP1
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: PUSH2 0x1964
00001ccd: CALLER
00001cce: DUP5
00001ccf: DUP5
00001cd0: DUP5
00001cd1: PUSH2 0x2b2e
00001cd4: JUMP
00001cd5: JUMPDEST
00001cd6: PUSH1 0x04
00001cd8: SLOAD
00001cd9: PUSH1 0x00
00001cdb: SWAP1
00001cdc: PUSH1 0x01
00001cde: PUSH1 0xa0
00001ce0: PUSH1 0x02
00001ce2: EXP
00001ce3: SUB
00001ce4: AND
00001ce5: CALLER
00001ce6: EQ
00001ce7: PUSH2 0x1d3a
00001cea: JUMPI
00001ceb: PUSH1 0x40
00001ced: DUP1
00001cee: MLOAD
00001cef: PUSH1 0xe5
00001cf1: PUSH1 0x02
00001cf3: EXP
00001cf4: PUSH3 0x461bcd
00001cf8: MUL
00001cf9: DUP2
00001cfa: MSTORE
00001cfb: PUSH1 0x20
00001cfd: PUSH1 0x04
00001cff: DUP3
00001d00: ADD
00001d01: MSTORE
00001d02: PUSH1 0x0f
00001d04: PUSH1 0x24
00001d06: DUP3
00001d07: ADD
00001d08: MSTORE
00001d09: PUSH32 0x546f6b656e206d7573742063616c6c0000000000000000000000000000000000
00001d2a: PUSH1 0x44
00001d2c: DUP3
00001d2d: ADD
00001d2e: MSTORE
00001d2f: SWAP1
00001d30: MLOAD
00001d31: SWAP1
00001d32: DUP2
00001d33: SWAP1
00001d34: SUB
00001d35: PUSH1 0x64
00001d37: ADD
00001d38: SWAP1
00001d39: REVERT
00001d3a: JUMPDEST
00001d3b: PUSH2 0x1d46
00001d3e: DUP6
00001d3f: DUP6
00001d40: DUP6
00001d41: DUP6
00001d42: PUSH2 0x241a
00001d45: JUMP
00001d46: JUMPDEST
00001d47: POP
00001d48: PUSH1 0x01
00001d4a: SWAP5
00001d4b: SWAP4
00001d4c: POP
00001d4d: POP
00001d4e: POP
00001d4f: POP
00001d50: JUMP
00001d51: JUMPDEST
00001d52: PUSH1 0x40
00001d54: DUP1
00001d55: MLOAD
00001d56: DUP3
00001d57: DUP2
00001d58: MSTORE
00001d59: SWAP1
00001d5a: MLOAD
00001d5b: DUP4
00001d5c: SWAP2
00001d5d: DUP6
00001d5e: SWAP2
00001d5f: CALLER
00001d60: SWAP2
00001d61: PUSH32 0x9b7312a236066d2da679eba7e3a2e86d2d07a973819499846c0efd2fd2506c80
00001d82: SWAP2
00001d83: SWAP1
00001d84: DUP2
00001d85: SWAP1
00001d86: SUB
00001d87: PUSH1 0x20
00001d89: ADD
00001d8a: SWAP1
00001d8b: LOG4
00001d8c: POP
00001d8d: POP
00001d8e: POP
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: PUSH1 0x04
00001d93: SLOAD
00001d94: PUSH1 0x00
00001d96: SWAP1
00001d97: PUSH1 0x01
00001d99: PUSH1 0xa0
00001d9b: PUSH1 0x02
00001d9d: EXP
00001d9e: SUB
00001d9f: AND
00001da0: CALLER
00001da1: EQ
00001da2: PUSH2 0x1df5
00001da5: JUMPI
00001da6: PUSH1 0x40
00001da8: DUP1
00001da9: MLOAD
00001daa: PUSH1 0xe5
00001dac: PUSH1 0x02
00001dae: EXP
00001daf: PUSH3 0x461bcd
00001db3: MUL
00001db4: DUP2
00001db5: MSTORE
00001db6: PUSH1 0x20
00001db8: PUSH1 0x04
00001dba: DUP3
00001dbb: ADD
00001dbc: MSTORE
00001dbd: PUSH1 0x0f
00001dbf: PUSH1 0x24
00001dc1: DUP3
00001dc2: ADD
00001dc3: MSTORE
00001dc4: PUSH32 0x546f6b656e206d7573742063616c6c0000000000000000000000000000000000
00001de5: PUSH1 0x44
00001de7: DUP3
00001de8: ADD
00001de9: MSTORE
00001dea: SWAP1
00001deb: MLOAD
00001dec: SWAP1
00001ded: DUP2
00001dee: SWAP1
00001def: SUB
00001df0: PUSH1 0x64
00001df2: ADD
00001df3: SWAP1
00001df4: REVERT
00001df5: JUMPDEST
00001df6: PUSH2 0x1d46
00001df9: DUP6
00001dfa: DUP6
00001dfb: DUP6
00001dfc: DUP6
00001dfd: PUSH2 0x2b2e
00001e00: JUMP
00001e01: JUMPDEST
00001e02: PUSH1 0x01
00001e04: DUP1
00001e05: SLOAD
00001e06: DUP3
00001e07: SWAP1
00001e08: DUP2
00001e09: LT
00001e0a: PUSH2 0x1e0f
00001e0d: JUMPI
00001e0e: INVALID
00001e0f: JUMPDEST
00001e10: PUSH1 0x00
00001e12: SWAP2
00001e13: DUP3
00001e14: MSTORE
00001e15: PUSH1 0x20
00001e17: SWAP1
00001e18: SWAP2
00001e19: KECCAK256
00001e1a: PUSH1 0x03
00001e1c: SWAP1
00001e1d: SWAP2
00001e1e: MUL
00001e1f: ADD
00001e20: DUP1
00001e21: SLOAD
00001e22: PUSH1 0x01
00001e24: DUP3
00001e25: ADD
00001e26: SLOAD
00001e27: PUSH1 0x02
00001e29: SWAP1
00001e2a: SWAP3
00001e2b: ADD
00001e2c: SLOAD
00001e2d: PUSH1 0x01
00001e2f: PUSH1 0xa0
00001e31: PUSH1 0x02
00001e33: EXP
00001e34: SUB
00001e35: SWAP2
00001e36: DUP3
00001e37: AND
00001e38: SWAP4
00001e39: POP
00001e3a: AND
00001e3b: DUP4
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: PUSH1 0x00
00001e40: PUSH2 0x1e47
00001e43: PUSH2 0x2df4
00001e46: JUMP
00001e47: JUMPDEST
00001e48: PUSH1 0x01
00001e4a: DUP1
00001e4b: SLOAD
00001e4c: DUP7
00001e4d: SWAP1
00001e4e: DUP2
00001e4f: LT
00001e50: PUSH2 0x1e55
00001e53: JUMPI
00001e54: INVALID
00001e55: JUMPDEST
00001e56: SWAP1
00001e57: PUSH1 0x00
00001e59: MSTORE
00001e5a: PUSH1 0x20
00001e5c: PUSH1 0x00
00001e5e: KECCAK256
00001e5f: SWAP1
00001e60: PUSH1 0x03
00001e62: MUL
00001e63: ADD
00001e64: SWAP2
00001e65: POP
00001e66: PUSH1 0x02
00001e68: PUSH1 0x00
00001e6a: DUP7
00001e6b: DUP2
00001e6c: MSTORE
00001e6d: PUSH1 0x20
00001e6f: ADD
00001e70: SWAP1
00001e71: DUP2
00001e72: MSTORE
00001e73: PUSH1 0x20
00001e75: ADD
00001e76: PUSH1 0x00
00001e78: KECCAK256
00001e79: DUP5
00001e7a: DUP2
00001e7b: SLOAD
00001e7c: DUP2
00001e7d: LT
00001e7e: ISZERO
00001e7f: ISZERO
00001e80: PUSH2 0x1e85
00001e83: JUMPI
00001e84: INVALID
00001e85: JUMPDEST
00001e86: PUSH1 0x00
00001e88: SWAP2
00001e89: DUP3
00001e8a: MSTORE
00001e8b: PUSH1 0x20
00001e8d: SWAP2
00001e8e: DUP3
00001e8f: SWAP1
00001e90: KECCAK256
00001e91: PUSH1 0x40
00001e93: DUP1
00001e94: MLOAD
00001e95: PUSH2 0x0120
00001e98: DUP2
00001e99: ADD
00001e9a: DUP3
00001e9b: MSTORE
00001e9c: PUSH1 0x09
00001e9e: SWAP1
00001e9f: SWAP4
00001ea0: MUL
00001ea1: SWAP1
00001ea2: SWAP2
00001ea3: ADD
00001ea4: DUP1
00001ea5: SLOAD
00001ea6: DUP4
00001ea7: MSTORE
00001ea8: PUSH1 0x01
00001eaa: DUP2
00001eab: ADD
00001eac: SLOAD
00001ead: SWAP4
00001eae: DUP4
00001eaf: ADD
00001eb0: SWAP4
00001eb1: SWAP1
00001eb2: SWAP4
00001eb3: MSTORE
00001eb4: PUSH1 0x02
00001eb6: DUP4
00001eb7: ADD
00001eb8: SLOAD
00001eb9: SWAP1
00001eba: DUP3
00001ebb: ADD
00001ebc: MSTORE
00001ebd: PUSH1 0x03
00001ebf: DUP3
00001ec0: ADD
00001ec1: SLOAD
00001ec2: PUSH1 0x01
00001ec4: PUSH1 0xa0
00001ec6: PUSH1 0x02
00001ec8: EXP
00001ec9: SUB
00001eca: SWAP1
00001ecb: DUP2
00001ecc: AND
00001ecd: PUSH1 0x60
00001ecf: DUP4
00001ed0: ADD
00001ed1: MSTORE
00001ed2: PUSH1 0x04
00001ed4: DUP4
00001ed5: ADD
00001ed6: SLOAD
00001ed7: DUP2
00001ed8: AND
00001ed9: PUSH1 0x80
00001edb: DUP4
00001edc: ADD
00001edd: DUP2
00001ede: SWAP1
00001edf: MSTORE
00001ee0: PUSH1 0x05
00001ee2: DUP5
00001ee3: ADD
00001ee4: SLOAD
00001ee5: DUP3
00001ee6: AND
00001ee7: PUSH1 0xa0
00001ee9: DUP5
00001eea: ADD
00001eeb: MSTORE
00001eec: PUSH1 0x06
00001eee: DUP5
00001eef: ADD
00001ef0: SLOAD
00001ef1: SWAP1
00001ef2: SWAP2
00001ef3: AND
00001ef4: PUSH1 0xc0
00001ef6: DUP4
00001ef7: ADD
00001ef8: MSTORE
00001ef9: PUSH1 0x07
00001efb: DUP4
00001efc: ADD
00001efd: SLOAD
00001efe: PUSH1 0xe0
00001f00: DUP4
00001f01: ADD
00001f02: MSTORE
00001f03: PUSH1 0x08
00001f05: SWAP1
00001f06: SWAP3
00001f07: ADD
00001f08: SLOAD
00001f09: PUSH1 0xff
00001f0b: AND
00001f0c: PUSH2 0x0100
00001f0f: DUP3
00001f10: ADD
00001f11: MSTORE
00001f12: SWAP2
00001f13: POP
00001f14: CALLER
00001f15: EQ
00001f16: DUP1
00001f17: PUSH2 0x1f29
00001f1a: JUMPI
00001f1b: POP
00001f1c: DUP2
00001f1d: SLOAD
00001f1e: PUSH1 0x01
00001f20: PUSH1 0xa0
00001f22: PUSH1 0x02
00001f24: EXP
00001f25: SUB
00001f26: AND
00001f27: CALLER
00001f28: EQ
00001f29: JUMPDEST
00001f2a: ISZERO
00001f2b: ISZERO
00001f2c: PUSH2 0x1f7f
00001f2f: JUMPI
00001f30: PUSH1 0x40
00001f32: DUP1
00001f33: MLOAD
00001f34: PUSH1 0xe5
00001f36: PUSH1 0x02
00001f38: EXP
00001f39: PUSH3 0x461bcd
00001f3d: MUL
00001f3e: DUP2
00001f3f: MSTORE
00001f40: PUSH1 0x20
00001f42: PUSH1 0x04
00001f44: DUP3
00001f45: ADD
00001f46: MSTORE
00001f47: PUSH1 0x1d
00001f49: PUSH1 0x24
00001f4b: DUP3
00001f4c: ADD
00001f4d: MSTORE
00001f4e: PUSH32 0x5265737472696374656420746f206275796572206f722073656c6c6572000000
00001f6f: PUSH1 0x44
00001f71: DUP3
00001f72: ADD
00001f73: MSTORE
00001f74: SWAP1
00001f75: MLOAD
00001f76: SWAP1
00001f77: DUP2
00001f78: SWAP1
00001f79: SUB
00001f7a: PUSH1 0x64
00001f7c: ADD
00001f7d: SWAP1
00001f7e: REVERT
00001f7f: JUMPDEST
00001f80: DUP1
00001f81: PUSH2 0x0100
00001f84: ADD
00001f85: MLOAD
00001f86: PUSH1 0xff
00001f88: AND
00001f89: PUSH1 0x01
00001f8b: EQ
00001f8c: ISZERO
00001f8d: ISZERO
00001f8e: PUSH2 0x1fe1
00001f91: JUMPI
00001f92: PUSH1 0x40
00001f94: DUP1
00001f95: MLOAD
00001f96: PUSH1 0xe5
00001f98: PUSH1 0x02
00001f9a: EXP
00001f9b: PUSH3 0x461bcd
00001f9f: MUL
00001fa0: DUP2
00001fa1: MSTORE
00001fa2: PUSH1 0x20
00001fa4: PUSH1 0x04
00001fa6: DUP3
00001fa7: ADD
00001fa8: MSTORE
00001fa9: PUSH1 0x11
00001fab: PUSH1 0x24
00001fad: DUP3
00001fae: ADD
00001faf: MSTORE
00001fb0: PUSH32 0x73746174757320213d2063726561746564000000000000000000000000000000
00001fd1: PUSH1 0x44
00001fd3: DUP3
00001fd4: ADD
00001fd5: MSTORE
00001fd6: SWAP1
00001fd7: MLOAD
00001fd8: SWAP1
00001fd9: DUP2
00001fda: SWAP1
00001fdb: SUB
00001fdc: PUSH1 0x64
00001fde: ADD
00001fdf: SWAP1
00001fe0: REVERT
00001fe1: JUMPDEST
00001fe2: PUSH1 0x00
00001fe4: DUP6
00001fe5: DUP2
00001fe6: MSTORE
00001fe7: PUSH1 0x02
00001fe9: PUSH1 0x20
00001feb: MSTORE
00001fec: PUSH1 0x40
00001fee: SWAP1
00001fef: KECCAK256
00001ff0: DUP1
00001ff1: SLOAD
00001ff2: DUP6
00001ff3: SWAP1
00001ff4: DUP2
00001ff5: LT
00001ff6: PUSH2 0x1ffb
00001ff9: JUMPI
00001ffa: INVALID
00001ffb: JUMPDEST
00001ffc: PUSH1 0x00
00001ffe: SWAP2
00001fff: DUP3
00002000: MSTORE
00002001: PUSH1 0x20
00002003: DUP3
00002004: KECCAK256
00002005: PUSH1 0x09
00002007: SWAP1
00002008: SWAP2
00002009: MUL
0000200a: ADD
0000200b: DUP2
0000200c: DUP2
0000200d: SSTORE
0000200e: PUSH1 0x01
00002010: DUP2
00002011: ADD
00002012: DUP3
00002013: SWAP1
00002014: SSTORE
00002015: PUSH1 0x02
00002017: DUP2
00002018: ADD
00002019: DUP3
0000201a: SWAP1
0000201b: SSTORE
0000201c: PUSH1 0x03
0000201e: DUP2
0000201f: ADD
00002020: DUP1
00002021: SLOAD
00002022: PUSH1 0x01
00002024: PUSH1 0xa0
00002026: PUSH1 0x02
00002028: EXP
00002029: SUB
0000202a: NOT
0000202b: SWAP1
0000202c: DUP2
0000202d: AND
0000202e: SWAP1
0000202f: SWAP2
00002030: SSTORE
00002031: PUSH1 0x04
00002033: DUP3
00002034: ADD
00002035: DUP1
00002036: SLOAD
00002037: DUP3
00002038: AND
00002039: SWAP1
0000203a: SSTORE
0000203b: PUSH1 0x05
0000203d: DUP3
0000203e: ADD
0000203f: DUP1
00002040: SLOAD
00002041: DUP3
00002042: AND
00002043: SWAP1
00002044: SSTORE
00002045: PUSH1 0x06
00002047: DUP3
00002048: ADD
00002049: DUP1
0000204a: SLOAD
0000204b: SWAP1
0000204c: SWAP2
0000204d: AND
0000204e: SWAP1
0000204f: SSTORE
00002050: PUSH1 0x07
00002052: DUP2
00002053: ADD
00002054: SWAP2
00002055: SWAP1
00002056: SWAP2
00002057: SSTORE
00002058: PUSH1 0x08
0000205a: ADD
0000205b: DUP1
0000205c: SLOAD
0000205d: PUSH1 0xff
0000205f: NOT
00002060: AND
00002061: SWAP1
00002062: SSTORE
00002063: PUSH1 0x80
00002065: DUP2
00002066: ADD
00002067: MLOAD
00002068: PUSH1 0x60
0000206a: DUP3
0000206b: ADD
0000206c: MLOAD
0000206d: DUP3
0000206e: MLOAD
0000206f: PUSH2 0x2079
00002072: SWAP3
00002073: SWAP2
00002074: SWAP1
00002075: PUSH2 0x26d9
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH1 0x40
0000207c: DUP1
0000207d: MLOAD
0000207e: DUP5
0000207f: DUP2
00002080: MSTORE
00002081: SWAP1
00002082: MLOAD
00002083: DUP6
00002084: SWAP2
00002085: DUP8
00002086: SWAP2
00002087: CALLER
00002088: SWAP2
00002089: PUSH32 0xe9ae767ab1c8f3f874a5b2810a1f6323b43283a5b462b52a4de5f8ed53a4fe25
000020aa: SWAP2
000020ab: SWAP1
000020ac: DUP2
000020ad: SWAP1
000020ae: SUB
000020af: PUSH1 0x20
000020b1: ADD
000020b2: SWAP1
000020b3: LOG4
000020b4: POP
000020b5: POP
000020b6: POP
000020b7: POP
000020b8: POP
000020b9: JUMP
000020ba: JUMPDEST
000020bb: PUSH1 0x00
000020bd: SLOAD
000020be: PUSH1 0x01
000020c0: PUSH1 0xa0
000020c2: PUSH1 0x02
000020c4: EXP
000020c5: SUB
000020c6: AND
000020c7: CALLER
000020c8: EQ
000020c9: PUSH2 0x20d1
000020cc: JUMPI
000020cd: PUSH1 0x00
000020cf: DUP1
000020d0: REVERT
000020d1: JUMPDEST
000020d2: PUSH2 0x20da
000020d5: DUP2
000020d6: PUSH2 0x2d84
000020d9: JUMP
000020da: JUMPDEST
000020db: POP
000020dc: JUMP
000020dd: JUMPDEST
000020de: PUSH1 0x00
000020e0: PUSH2 0x20e7
000020e3: PUSH2 0x2df4
000020e6: JUMP
000020e7: JUMPDEST
000020e8: PUSH1 0x01
000020ea: DUP1
000020eb: SLOAD
000020ec: DUP7
000020ed: SWAP1
000020ee: DUP2
000020ef: LT
000020f0: PUSH2 0x20f5
000020f3: JUMPI
000020f4: INVALID
000020f5: JUMPDEST
000020f6: SWAP1
000020f7: PUSH1 0x00
000020f9: MSTORE
000020fa: PUSH1 0x20
000020fc: PUSH1 0x00
000020fe: KECCAK256
000020ff: SWAP1
00002100: PUSH1 0x03
00002102: MUL
00002103: ADD
00002104: SWAP2
00002105: POP
00002106: PUSH1 0x02
00002108: PUSH1 0x00
0000210a: DUP7
0000210b: DUP2
0000210c: MSTORE
0000210d: PUSH1 0x20
0000210f: ADD
00002110: SWAP1
00002111: DUP2
00002112: MSTORE
00002113: PUSH1 0x20
00002115: ADD
00002116: PUSH1 0x00
00002118: KECCAK256
00002119: DUP5
0000211a: DUP2
0000211b: SLOAD
0000211c: DUP2
0000211d: LT
0000211e: ISZERO
0000211f: ISZERO
00002120: PUSH2 0x2125
00002123: JUMPI
00002124: INVALID
00002125: JUMPDEST
00002126: PUSH1 0x00
00002128: SWAP2
00002129: DUP3
0000212a: MSTORE
0000212b: PUSH1 0x20
0000212d: SWAP2
0000212e: DUP3
0000212f: SWAP1
00002130: KECCAK256
00002131: PUSH1 0x40
00002133: DUP1
00002134: MLOAD
00002135: PUSH2 0x0120
00002138: DUP2
00002139: ADD
0000213a: DUP3
0000213b: MSTORE
0000213c: PUSH1 0x09
0000213e: SWAP1
0000213f: SWAP4
00002140: MUL
00002141: SWAP1
00002142: SWAP2
00002143: ADD
00002144: DUP1
00002145: SLOAD
00002146: DUP4
00002147: MSTORE
00002148: PUSH1 0x01
0000214a: DUP2
0000214b: ADD
0000214c: SLOAD
0000214d: SWAP4
0000214e: DUP4
0000214f: ADD
00002150: SWAP4
00002151: SWAP1
00002152: SWAP4
00002153: MSTORE
00002154: PUSH1 0x02
00002156: DUP4
00002157: ADD
00002158: SLOAD
00002159: SWAP1
0000215a: DUP3
0000215b: ADD
0000215c: MSTORE
0000215d: PUSH1 0x03
0000215f: DUP3
00002160: ADD
00002161: SLOAD
00002162: PUSH1 0x01
00002164: PUSH1 0xa0
00002166: PUSH1 0x02
00002168: EXP
00002169: SUB
0000216a: SWAP1
0000216b: DUP2
0000216c: AND
0000216d: PUSH1 0x60
0000216f: DUP4
00002170: ADD
00002171: MSTORE
00002172: PUSH1 0x04
00002174: DUP4
00002175: ADD
00002176: SLOAD
00002177: DUP2
00002178: AND
00002179: PUSH1 0x80
0000217b: DUP4
0000217c: ADD
0000217d: MSTORE
0000217e: PUSH1 0x05
00002180: DUP4
00002181: ADD
00002182: SLOAD
00002183: DUP2
00002184: AND
00002185: PUSH1 0xa0
00002187: DUP4
00002188: ADD
00002189: MSTORE
0000218a: PUSH1 0x06
0000218c: DUP4
0000218d: ADD
0000218e: SLOAD
0000218f: AND
00002190: PUSH1 0xc0
00002192: DUP3
00002193: ADD
00002194: MSTORE
00002195: PUSH1 0x07
00002197: DUP3
00002198: ADD
00002199: SLOAD
0000219a: PUSH1 0xe0
0000219c: DUP3
0000219d: ADD
0000219e: DUP2
0000219f: SWAP1
000021a0: MSTORE
000021a1: PUSH1 0x08
000021a3: SWAP1
000021a4: SWAP3
000021a5: ADD
000021a6: SLOAD
000021a7: PUSH1 0xff
000021a9: AND
000021aa: PUSH2 0x0100
000021ad: DUP3
000021ae: ADD
000021af: MSTORE
000021b0: SWAP2
000021b1: POP
000021b2: TIMESTAMP
000021b3: GT
000021b4: PUSH2 0x2220
000021b7: JUMPI
000021b8: PUSH1 0x80
000021ba: DUP2
000021bb: ADD
000021bc: MLOAD
000021bd: PUSH1 0x01
000021bf: PUSH1 0xa0
000021c1: PUSH1 0x02
000021c3: EXP
000021c4: SUB
000021c5: AND
000021c6: CALLER
000021c7: EQ
000021c8: PUSH2 0x221b
000021cb: JUMPI
000021cc: PUSH1 0x40
000021ce: DUP1
000021cf: MLOAD
000021d0: PUSH1 0xe5
000021d2: PUSH1 0x02
000021d4: EXP
000021d5: PUSH3 0x461bcd
000021d9: MUL
000021da: DUP2
000021db: MSTORE
000021dc: PUSH1 0x20
000021de: PUSH1 0x04
000021e0: DUP3
000021e1: ADD
000021e2: MSTORE
000021e3: PUSH1 0x17
000021e5: PUSH1 0x24
000021e7: DUP3
000021e8: ADD
000021e9: MSTORE
000021ea: PUSH32 0x4f6e6c792062757965722063616e2066696e616c697a65000000000000000000
0000220b: PUSH1 0x44
0000220d: DUP3
0000220e: ADD
0000220f: MSTORE
00002210: SWAP1
00002211: MLOAD
00002212: SWAP1
00002213: DUP2
00002214: SWAP1
00002215: SUB
00002216: PUSH1 0x64
00002218: ADD
00002219: SWAP1
0000221a: REVERT
0000221b: JUMPDEST
0000221c: PUSH2 0x22a3
0000221f: JUMP
00002220: JUMPDEST
00002221: DUP1
00002222: PUSH1 0x80
00002224: ADD
00002225: MLOAD
00002226: PUSH1 0x01
00002228: PUSH1 0xa0
0000222a: PUSH1 0x02
0000222c: EXP
0000222d: SUB
0000222e: AND
0000222f: CALLER
00002230: PUSH1 0x01
00002232: PUSH1 0xa0
00002234: PUSH1 0x02
00002236: EXP
00002237: SUB
00002238: AND
00002239: EQ
0000223a: DUP1
0000223b: PUSH2 0x224d
0000223e: JUMPI
0000223f: POP
00002240: DUP2
00002241: SLOAD
00002242: PUSH1 0x01
00002244: PUSH1 0xa0
00002246: PUSH1 0x02
00002248: EXP
00002249: SUB
0000224a: AND
0000224b: CALLER
0000224c: EQ
0000224d: JUMPDEST
0000224e: ISZERO
0000224f: ISZERO
00002250: PUSH2 0x22a3
00002253: JUMPI
00002254: PUSH1 0x40
00002256: DUP1
00002257: MLOAD
00002258: PUSH1 0xe5
0000225a: PUSH1 0x02
0000225c: EXP
0000225d: PUSH3 0x461bcd
00002261: MUL
00002262: DUP2
00002263: MSTORE
00002264: PUSH1 0x20
00002266: PUSH1 0x04
00002268: DUP3
00002269: ADD
0000226a: MSTORE
0000226b: PUSH1 0x1d
0000226d: PUSH1 0x24
0000226f: DUP3
00002270: ADD
00002271: MSTORE
00002272: PUSH32 0x53656c6c6572206f72206275796572206d7573742066696e616c697a65000000
00002293: PUSH1 0x44
00002295: DUP3
00002296: ADD
00002297: MSTORE
00002298: SWAP1
00002299: MLOAD
0000229a: SWAP1
0000229b: DUP2
0000229c: SWAP1
0000229d: SUB
0000229e: PUSH1 0x64
000022a0: ADD
000022a1: SWAP1
000022a2: REVERT
000022a3: JUMPDEST
000022a4: DUP1
000022a5: PUSH2 0x0100
000022a8: ADD
000022a9: MLOAD
000022aa: PUSH1 0xff
000022ac: AND
000022ad: PUSH1 0x02
000022af: EQ
000022b0: ISZERO
000022b1: ISZERO
000022b2: PUSH2 0x22f3
000022b5: JUMPI
000022b6: PUSH1 0x40
000022b8: DUP1
000022b9: MLOAD
000022ba: PUSH1 0xe5
000022bc: PUSH1 0x02
000022be: EXP
000022bf: PUSH3 0x461bcd
000022c3: MUL
000022c4: DUP2
000022c5: MSTORE
000022c6: PUSH1 0x20
000022c8: PUSH1 0x04
000022ca: DUP3
000022cb: ADD
000022cc: MSTORE
000022cd: PUSH1 0x12
000022cf: PUSH1 0x24
000022d1: DUP3
000022d2: ADD
000022d3: MSTORE
000022d4: PUSH1 0x00
000022d6: DUP1
000022d7: MLOAD
000022d8: PUSH1 0x20
000022da: PUSH2 0x2e41
000022dd: DUP4
000022de: CODECOPY
000022df: DUP2
000022e0: MLOAD
000022e1: SWAP2
000022e2: MSTORE
000022e3: PUSH1 0x44
000022e5: DUP3
000022e6: ADD
000022e7: MSTORE
000022e8: SWAP1
000022e9: MLOAD
000022ea: SWAP1
000022eb: DUP2
000022ec: SWAP1
000022ed: SUB
000022ee: PUSH1 0x64
000022f0: ADD
000022f1: SWAP1
000022f2: REVERT
000022f3: JUMPDEST
000022f4: PUSH1 0x00
000022f6: DUP6
000022f7: DUP2
000022f8: MSTORE
000022f9: PUSH1 0x02
000022fb: PUSH1 0x20
000022fd: MSTORE
000022fe: PUSH1 0x40
00002300: SWAP1
00002301: KECCAK256
00002302: DUP1
00002303: SLOAD
00002304: DUP6
00002305: SWAP1
00002306: DUP2
00002307: LT
00002308: PUSH2 0x230d
0000230b: JUMPI
0000230c: INVALID
0000230d: JUMPDEST
0000230e: PUSH1 0x00
00002310: SWAP2
00002311: DUP3
00002312: MSTORE
00002313: PUSH1 0x20
00002315: DUP3
00002316: KECCAK256
00002317: PUSH1 0x09
00002319: SWAP2
0000231a: SWAP1
0000231b: SWAP2
0000231c: MUL
0000231d: ADD
0000231e: DUP2
0000231f: DUP2
00002320: SSTORE
00002321: PUSH1 0x01
00002323: DUP2
00002324: ADD
00002325: DUP3
00002326: SWAP1
00002327: SSTORE
00002328: PUSH1 0x02
0000232a: DUP2
0000232b: ADD
0000232c: DUP3
0000232d: SWAP1
0000232e: SSTORE
0000232f: PUSH1 0x03
00002331: DUP2
00002332: ADD
00002333: DUP1
00002334: SLOAD
00002335: PUSH1 0x01
00002337: PUSH1 0xa0
00002339: PUSH1 0x02
0000233b: EXP
0000233c: SUB
0000233d: NOT
0000233e: SWAP1
0000233f: DUP2
00002340: AND
00002341: SWAP1
00002342: SWAP2
00002343: SSTORE
00002344: PUSH1 0x04
00002346: DUP3
00002347: ADD
00002348: DUP1
00002349: SLOAD
0000234a: DUP3
0000234b: AND
0000234c: SWAP1
0000234d: SSTORE
0000234e: PUSH1 0x05
00002350: DUP3
00002351: ADD
00002352: DUP1
00002353: SLOAD
00002354: DUP3
00002355: AND
00002356: SWAP1
00002357: SSTORE
00002358: PUSH1 0x06
0000235a: DUP3
0000235b: ADD
0000235c: DUP1
0000235d: SLOAD
0000235e: SWAP1
0000235f: SWAP2
00002360: AND
00002361: SWAP1
00002362: SSTORE
00002363: PUSH1 0x07
00002365: DUP2
00002366: ADD
00002367: SWAP2
00002368: SWAP1
00002369: SWAP2
0000236a: SSTORE
0000236b: PUSH1 0x08
0000236d: ADD
0000236e: DUP1
0000236f: SLOAD
00002370: PUSH1 0xff
00002372: NOT
00002373: AND
00002374: SWAP1
00002375: SSTORE
00002376: PUSH1 0x80
00002378: DUP2
00002379: ADD
0000237a: MLOAD
0000237b: PUSH1 0x01
0000237d: PUSH1 0xa0
0000237f: PUSH1 0x02
00002381: EXP
00002382: SUB
00002383: AND
00002384: CALLER
00002385: EQ
00002386: PUSH2 0x239e
00002389: JUMPI
0000238a: PUSH1 0x20
0000238c: DUP2
0000238d: ADD
0000238e: MLOAD
0000238f: PUSH1 0x01
00002391: DUP4
00002392: ADD
00002393: DUP1
00002394: SLOAD
00002395: SWAP1
00002396: SWAP2
00002397: ADD
00002398: SWAP1
00002399: SSTORE
0000239a: PUSH2 0x23b0
0000239d: JUMP
0000239e: JUMPDEST
0000239f: PUSH2 0x23b0
000023a2: DUP2
000023a3: PUSH1 0xa0
000023a5: ADD
000023a6: MLOAD
000023a7: DUP3
000023a8: PUSH1 0x20
000023aa: ADD
000023ab: MLOAD
000023ac: PUSH2 0x25d1
000023af: JUMP
000023b0: JUMPDEST
000023b1: DUP2
000023b2: SLOAD
000023b3: PUSH1 0x80
000023b5: DUP3
000023b6: ADD
000023b7: MLOAD
000023b8: PUSH1 0x60
000023ba: DUP4
000023bb: ADD
000023bc: MLOAD
000023bd: DUP4
000023be: MLOAD
000023bf: PUSH1 0x40
000023c1: DUP6
000023c2: ADD
000023c3: MLOAD
000023c4: PUSH2 0x23d9
000023c7: SWAP5
000023c8: PUSH1 0x01
000023ca: PUSH1 0xa0
000023cc: PUSH1 0x02
000023ce: EXP
000023cf: SUB
000023d0: AND
000023d1: SWAP4
000023d2: SWAP3
000023d3: SWAP2
000023d4: SWAP1
000023d5: PUSH2 0x284e
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH1 0x40
000023dc: DUP1
000023dd: MLOAD
000023de: DUP5
000023df: DUP2
000023e0: MSTORE
000023e1: SWAP1
000023e2: MLOAD
000023e3: DUP6
000023e4: SWAP2
000023e5: DUP8
000023e6: SWAP2
000023e7: CALLER
000023e8: SWAP2
000023e9: PUSH32 0xbfefa76df66ac53c6517b1939b14bfc4d5fdf714b93a71aea2e50977d1b3b8e6
0000240a: SWAP2
0000240b: SWAP1
0000240c: DUP2
0000240d: SWAP1
0000240e: SUB
0000240f: PUSH1 0x20
00002411: ADD
00002412: SWAP1
00002413: LOG4
00002414: POP
00002415: POP
00002416: POP
00002417: POP
00002418: POP
00002419: JUMP
0000241a: JUMPDEST
0000241b: PUSH1 0x00
0000241d: PUSH1 0x01
0000241f: DUP5
00002420: DUP2
00002421: SLOAD
00002422: DUP2
00002423: LT
00002424: ISZERO
00002425: ISZERO
00002426: PUSH2 0x242b
00002429: JUMPI
0000242a: INVALID
0000242b: JUMPDEST
0000242c: PUSH1 0x00
0000242e: SWAP2
0000242f: DUP3
00002430: MSTORE
00002431: PUSH1 0x20
00002433: SWAP1
00002434: SWAP2
00002435: KECCAK256
00002436: PUSH1 0x03
00002438: SWAP1
00002439: SWAP2
0000243a: MUL
0000243b: ADD
0000243c: DUP1
0000243d: SLOAD
0000243e: SWAP1
0000243f: SWAP2
00002440: POP
00002441: PUSH1 0x01
00002443: PUSH1 0xa0
00002445: PUSH1 0x02
00002447: EXP
00002448: SUB
00002449: DUP7
0000244a: DUP2
0000244b: AND
0000244c: SWAP2
0000244d: AND
0000244e: EQ
0000244f: PUSH2 0x24a2
00002452: JUMPI
00002453: PUSH1 0x40
00002455: DUP1
00002456: MLOAD
00002457: PUSH1 0xe5
00002459: PUSH1 0x02
0000245b: EXP
0000245c: PUSH3 0x461bcd
00002460: MUL
00002461: DUP2
00002462: MSTORE
00002463: PUSH1 0x20
00002465: PUSH1 0x04
00002467: DUP3
00002468: ADD
00002469: MSTORE
0000246a: PUSH1 0x10
0000246c: PUSH1 0x24
0000246e: DUP3
0000246f: ADD
00002470: MSTORE
00002471: PUSH32 0x53656c6c6572206d7573742063616c6c00000000000000000000000000000000
00002492: PUSH1 0x44
00002494: DUP3
00002495: ADD
00002496: MSTORE
00002497: SWAP1
00002498: MLOAD
00002499: SWAP1
0000249a: DUP2
0000249b: SWAP1
0000249c: SUB
0000249d: PUSH1 0x64
0000249f: ADD
000024a0: SWAP1
000024a1: REVERT
000024a2: JUMPDEST
000024a3: PUSH1 0x00
000024a5: DUP3
000024a6: GT
000024a7: ISZERO
000024a8: PUSH2 0x2588
000024ab: JUMPI
000024ac: PUSH1 0x01
000024ae: DUP2
000024af: ADD
000024b0: DUP1
000024b1: SLOAD
000024b2: DUP4
000024b3: ADD
000024b4: SWAP1
000024b5: SSTORE
000024b6: PUSH1 0x04
000024b8: DUP1
000024b9: SLOAD
000024ba: PUSH1 0x40
000024bc: DUP1
000024bd: MLOAD
000024be: PUSH1 0xe0
000024c0: PUSH1 0x02
000024c2: EXP
000024c3: PUSH4 0x23b872dd
000024c8: MUL
000024c9: DUP2
000024ca: MSTORE
000024cb: PUSH1 0x01
000024cd: PUSH1 0xa0
000024cf: PUSH1 0x02
000024d1: EXP
000024d2: SUB
000024d3: DUP10
000024d4: DUP2
000024d5: AND
000024d6: SWAP5
000024d7: DUP3
000024d8: ADD
000024d9: SWAP5
000024da: SWAP1
000024db: SWAP5
000024dc: MSTORE
000024dd: ADDRESS
000024de: PUSH1 0x24
000024e0: DUP3
000024e1: ADD
000024e2: MSTORE
000024e3: PUSH1 0x44
000024e5: DUP2
000024e6: ADD
000024e7: DUP7
000024e8: SWAP1
000024e9: MSTORE
000024ea: SWAP1
000024eb: MLOAD
000024ec: SWAP3
000024ed: SWAP1
000024ee: SWAP2
000024ef: AND
000024f0: SWAP2
000024f1: PUSH4 0x23b872dd
000024f6: SWAP2
000024f7: PUSH1 0x64
000024f9: DUP1
000024fa: DUP3
000024fb: ADD
000024fc: SWAP3
000024fd: PUSH1 0x20
000024ff: SWAP3
00002500: SWAP1
00002501: SWAP2
00002502: SWAP1
00002503: DUP3
00002504: SWAP1
00002505: SUB
00002506: ADD
00002507: DUP2
00002508: PUSH1 0x00
0000250a: DUP8
0000250b: DUP1
0000250c: EXTCODESIZE
0000250d: ISZERO
0000250e: DUP1
0000250f: ISZERO
00002510: PUSH2 0x2518
00002513: JUMPI
00002514: PUSH1 0x00
00002516: DUP1
00002517: REVERT
00002518: JUMPDEST
00002519: POP
0000251a: GAS
0000251b: CALL
0000251c: ISZERO
0000251d: DUP1
0000251e: ISZERO
0000251f: PUSH2 0x252c
00002522: JUMPI
00002523: RETURNDATASIZE
00002524: PUSH1 0x00
00002526: DUP1
00002527: RETURNDATACOPY
00002528: RETURNDATASIZE
00002529: PUSH1 0x00
0000252b: REVERT
0000252c: JUMPDEST
0000252d: POP
0000252e: POP
0000252f: POP
00002530: POP
00002531: PUSH1 0x40
00002533: MLOAD
00002534: RETURNDATASIZE
00002535: PUSH1 0x20
00002537: DUP2
00002538: LT
00002539: ISZERO
0000253a: PUSH2 0x2542
0000253d: JUMPI
0000253e: PUSH1 0x00
00002540: DUP1
00002541: REVERT
00002542: JUMPDEST
00002543: POP
00002544: MLOAD
00002545: ISZERO
00002546: ISZERO
00002547: PUSH2 0x2588
0000254a: JUMPI
0000254b: PUSH1 0x40
0000254d: DUP1
0000254e: MLOAD
0000254f: PUSH1 0xe5
00002551: PUSH1 0x02
00002553: EXP
00002554: PUSH3 0x461bcd
00002558: MUL
00002559: DUP2
0000255a: MSTORE
0000255b: PUSH1 0x20
0000255d: PUSH1 0x04
0000255f: DUP3
00002560: ADD
00002561: MSTORE
00002562: PUSH1 0x13
00002564: PUSH1 0x24
00002566: DUP3
00002567: ADD
00002568: MSTORE
00002569: PUSH1 0x00
0000256b: DUP1
0000256c: MLOAD
0000256d: PUSH1 0x20
0000256f: PUSH2 0x2e61
00002572: DUP4
00002573: CODECOPY
00002574: DUP2
00002575: MLOAD
00002576: SWAP2
00002577: MSTORE
00002578: PUSH1 0x44
0000257a: DUP3
0000257b: ADD
0000257c: MSTORE
0000257d: SWAP1
0000257e: MLOAD
0000257f: SWAP1
00002580: DUP2
00002581: SWAP1
00002582: SUB
00002583: PUSH1 0x64
00002585: ADD
00002586: SWAP1
00002587: REVERT
00002588: JUMPDEST
00002589: DUP1
0000258a: SLOAD
0000258b: PUSH1 0x40
0000258d: DUP1
0000258e: MLOAD
0000258f: DUP6
00002590: DUP2
00002591: MSTORE
00002592: SWAP1
00002593: MLOAD
00002594: DUP7
00002595: SWAP3
00002596: PUSH1 0x01
00002598: PUSH1 0xa0
0000259a: PUSH1 0x02
0000259c: EXP
0000259d: SUB
0000259e: AND
0000259f: SWAP2
000025a0: PUSH32 0x470503ad37642fff73a57bac35e69733b6b38281a893f39b50c285aad1f040e0
000025c1: SWAP2
000025c2: SWAP1
000025c3: DUP2
000025c4: SWAP1
000025c5: SUB
000025c6: PUSH1 0x20
000025c8: ADD
000025c9: SWAP1
000025ca: LOG3
000025cb: POP
000025cc: POP
000025cd: POP
000025ce: POP
000025cf: POP
000025d0: JUMP
000025d1: JUMPDEST
000025d2: PUSH1 0x01
000025d4: PUSH1 0xa0
000025d6: PUSH1 0x02
000025d8: EXP
000025d9: SUB
000025da: DUP3
000025db: AND
000025dc: ISZERO
000025dd: PUSH2 0x26d5
000025e0: JUMPI
000025e1: PUSH1 0x04
000025e3: DUP1
000025e4: SLOAD
000025e5: PUSH1 0x40
000025e7: DUP1
000025e8: MLOAD
000025e9: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000260a: DUP2
0000260b: MSTORE
0000260c: PUSH1 0x01
0000260e: PUSH1 0xa0
00002610: PUSH1 0x02
00002612: EXP
00002613: SUB
00002614: DUP7
00002615: DUP2
00002616: AND
00002617: SWAP5
00002618: DUP3
00002619: ADD
0000261a: SWAP5
0000261b: SWAP1
0000261c: SWAP5
0000261d: MSTORE
0000261e: PUSH1 0x24
00002620: DUP2
00002621: ADD
00002622: DUP6
00002623: SWAP1
00002624: MSTORE
00002625: SWAP1
00002626: MLOAD
00002627: SWAP3
00002628: SWAP1
00002629: SWAP2
0000262a: AND
0000262b: SWAP2
0000262c: PUSH4 0xa9059cbb
00002631: SWAP2
00002632: PUSH1 0x44
00002634: DUP1
00002635: DUP3
00002636: ADD
00002637: SWAP3
00002638: PUSH1 0x20
0000263a: SWAP3
0000263b: SWAP1
0000263c: SWAP2
0000263d: SWAP1
0000263e: DUP3
0000263f: SWAP1
00002640: SUB
00002641: ADD
00002642: DUP2
00002643: PUSH1 0x00
00002645: DUP8
00002646: DUP1
00002647: EXTCODESIZE
00002648: ISZERO
00002649: DUP1
0000264a: ISZERO
0000264b: PUSH2 0x2653
0000264e: JUMPI
0000264f: PUSH1 0x00
00002651: DUP1
00002652: REVERT
00002653: JUMPDEST
00002654: POP
00002655: GAS
00002656: CALL
00002657: ISZERO
00002658: DUP1
00002659: ISZERO
0000265a: PUSH2 0x2667
0000265d: JUMPI
0000265e: RETURNDATASIZE
0000265f: PUSH1 0x00
00002661: DUP1
00002662: RETURNDATACOPY
00002663: RETURNDATASIZE
00002664: PUSH1 0x00
00002666: REVERT
00002667: JUMPDEST
00002668: POP
00002669: POP
0000266a: POP
0000266b: POP
0000266c: PUSH1 0x40
0000266e: MLOAD
0000266f: RETURNDATASIZE
00002670: PUSH1 0x20
00002672: DUP2
00002673: LT
00002674: ISZERO
00002675: PUSH2 0x267d
00002678: JUMPI
00002679: PUSH1 0x00
0000267b: DUP1
0000267c: REVERT
0000267d: JUMPDEST
0000267e: POP
0000267f: MLOAD
00002680: ISZERO
00002681: ISZERO
00002682: PUSH2 0x26d5
00002685: JUMPI
00002686: PUSH1 0x40
00002688: DUP1
00002689: MLOAD
0000268a: PUSH1 0xe5
0000268c: PUSH1 0x02
0000268e: EXP
0000268f: PUSH3 0x461bcd
00002693: MUL
00002694: DUP2
00002695: MSTORE
00002696: PUSH1 0x20
00002698: PUSH1 0x04
0000269a: DUP3
0000269b: ADD
0000269c: MSTORE
0000269d: PUSH1 0x1a
0000269f: PUSH1 0x24
000026a1: DUP3
000026a2: ADD
000026a3: MSTORE
000026a4: PUSH32 0x436f6d6d697373696f6e207472616e73666572206661696c6564000000000000
000026c5: PUSH1 0x44
000026c7: DUP3
000026c8: ADD
000026c9: MSTORE
000026ca: SWAP1
000026cb: MLOAD
000026cc: SWAP1
000026cd: DUP2
000026ce: SWAP1
000026cf: SUB
000026d0: PUSH1 0x64
000026d2: ADD
000026d3: SWAP1
000026d4: REVERT
000026d5: JUMPDEST
000026d6: POP
000026d7: POP
000026d8: JUMP
000026d9: JUMPDEST
000026da: PUSH1 0x01
000026dc: PUSH1 0xa0
000026de: PUSH1 0x02
000026e0: EXP
000026e1: SUB
000026e2: DUP3
000026e3: AND
000026e4: ISZERO
000026e5: ISZERO
000026e6: PUSH2 0x2769
000026e9: JUMPI
000026ea: PUSH1 0x40
000026ec: MLOAD
000026ed: PUSH1 0x01
000026ef: PUSH1 0xa0
000026f1: PUSH1 0x02
000026f3: EXP
000026f4: SUB
000026f5: DUP5
000026f6: AND
000026f7: SWAP1
000026f8: DUP3
000026f9: ISZERO
000026fa: PUSH2 0x08fc
000026fd: MUL
000026fe: SWAP1
000026ff: DUP4
00002700: SWAP1
00002701: PUSH1 0x00
00002703: DUP2
00002704: DUP2
00002705: DUP2
00002706: DUP6
00002707: DUP9
00002708: DUP9
00002709: CALL
0000270a: SWAP4
0000270b: POP
0000270c: POP
0000270d: POP
0000270e: POP
0000270f: ISZERO
00002710: ISZERO
00002711: PUSH2 0x2764
00002714: JUMPI
00002715: PUSH1 0x40
00002717: DUP1
00002718: MLOAD
00002719: PUSH1 0xe5
0000271b: PUSH1 0x02
0000271d: EXP
0000271e: PUSH3 0x461bcd
00002722: MUL
00002723: DUP2
00002724: MSTORE
00002725: PUSH1 0x20
00002727: PUSH1 0x04
00002729: DUP3
0000272a: ADD
0000272b: MSTORE
0000272c: PUSH1 0x11
0000272e: PUSH1 0x24
00002730: DUP3
00002731: ADD
00002732: MSTORE
00002733: PUSH32 0x45544820726566756e64206661696c6564000000000000000000000000000000
00002754: PUSH1 0x44
00002756: DUP3
00002757: ADD
00002758: MSTORE
00002759: SWAP1
0000275a: MLOAD
0000275b: SWAP1
0000275c: DUP2
0000275d: SWAP1
0000275e: SUB
0000275f: PUSH1 0x64
00002761: ADD
00002762: SWAP1
00002763: REVERT
00002764: JUMPDEST
00002765: PUSH2 0x1964
00002768: JUMP
00002769: JUMPDEST
0000276a: DUP2
0000276b: PUSH1 0x01
0000276d: PUSH1 0xa0
0000276f: PUSH1 0x02
00002771: EXP
00002772: SUB
00002773: AND
00002774: PUSH4 0xa9059cbb
00002779: DUP5
0000277a: DUP4
0000277b: PUSH1 0x40
0000277d: MLOAD
0000277e: DUP4
0000277f: PUSH4 0xffffffff
00002784: AND
00002785: PUSH1 0xe0
00002787: PUSH1 0x02
00002789: EXP
0000278a: MUL
0000278b: DUP2
0000278c: MSTORE
0000278d: PUSH1 0x04
0000278f: ADD
00002790: DUP1
00002791: DUP4
00002792: PUSH1 0x01
00002794: PUSH1 0xa0
00002796: PUSH1 0x02
00002798: EXP
00002799: SUB
0000279a: AND
0000279b: PUSH1 0x01
0000279d: PUSH1 0xa0
0000279f: PUSH1 0x02
000027a1: EXP
000027a2: SUB
000027a3: AND
000027a4: DUP2
000027a5: MSTORE
000027a6: PUSH1 0x20
000027a8: ADD
000027a9: DUP3
000027aa: DUP2
000027ab: MSTORE
000027ac: PUSH1 0x20
000027ae: ADD
000027af: SWAP3
000027b0: POP
000027b1: POP
000027b2: POP
000027b3: PUSH1 0x20
000027b5: PUSH1 0x40
000027b7: MLOAD
000027b8: DUP1
000027b9: DUP4
000027ba: SUB
000027bb: DUP2
000027bc: PUSH1 0x00
000027be: DUP8
000027bf: DUP1
000027c0: EXTCODESIZE
000027c1: ISZERO
000027c2: DUP1
000027c3: ISZERO
000027c4: PUSH2 0x27cc
000027c7: JUMPI
000027c8: PUSH1 0x00
000027ca: DUP1
000027cb: REVERT
000027cc: JUMPDEST
000027cd: POP
000027ce: GAS
000027cf: CALL
000027d0: ISZERO
000027d1: DUP1
000027d2: ISZERO
000027d3: PUSH2 0x27e0
000027d6: JUMPI
000027d7: RETURNDATASIZE
000027d8: PUSH1 0x00
000027da: DUP1
000027db: RETURNDATACOPY
000027dc: RETURNDATASIZE
000027dd: PUSH1 0x00
000027df: REVERT
000027e0: JUMPDEST
000027e1: POP
000027e2: POP
000027e3: POP
000027e4: POP
000027e5: PUSH1 0x40
000027e7: MLOAD
000027e8: RETURNDATASIZE
000027e9: PUSH1 0x20
000027eb: DUP2
000027ec: LT
000027ed: ISZERO
000027ee: PUSH2 0x27f6
000027f1: JUMPI
000027f2: PUSH1 0x00
000027f4: DUP1
000027f5: REVERT
000027f6: JUMPDEST
000027f7: POP
000027f8: MLOAD
000027f9: ISZERO
000027fa: ISZERO
000027fb: PUSH2 0x1964
000027fe: JUMPI
000027ff: PUSH1 0x40
00002801: DUP1
00002802: MLOAD
00002803: PUSH1 0xe5
00002805: PUSH1 0x02
00002807: EXP
00002808: PUSH3 0x461bcd
0000280c: MUL
0000280d: DUP2
0000280e: MSTORE
0000280f: PUSH1 0x20
00002811: PUSH1 0x04
00002813: DUP3
00002814: ADD
00002815: MSTORE
00002816: PUSH1 0x0d
00002818: PUSH1 0x24
0000281a: DUP3
0000281b: ADD
0000281c: MSTORE
0000281d: PUSH32 0x526566756e64206661696c656400000000000000000000000000000000000000
0000283e: PUSH1 0x44
00002840: DUP3
00002841: ADD
00002842: MSTORE
00002843: SWAP1
00002844: MLOAD
00002845: SWAP1
00002846: DUP2
00002847: SWAP1
00002848: SUB
00002849: PUSH1 0x64
0000284b: ADD
0000284c: SWAP1
0000284d: REVERT
0000284e: JUMPDEST
0000284f: DUP1
00002850: DUP3
00002851: SUB
00002852: PUSH1 0x01
00002854: PUSH1 0xa0
00002856: PUSH1 0x02
00002858: EXP
00002859: SUB
0000285a: DUP5
0000285b: AND
0000285c: ISZERO
0000285d: ISZERO
0000285e: PUSH2 0x295c
00002861: JUMPI
00002862: PUSH1 0x40
00002864: MLOAD
00002865: PUSH1 0x01
00002867: PUSH1 0xa0
00002869: PUSH1 0x02
0000286b: EXP
0000286c: SUB
0000286d: DUP7
0000286e: AND
0000286f: SWAP1
00002870: DUP4
00002871: ISZERO
00002872: PUSH2 0x08fc
00002875: MUL
00002876: SWAP1
00002877: DUP5
00002878: SWAP1
00002879: PUSH1 0x00
0000287b: DUP2
0000287c: DUP2
0000287d: DUP2
0000287e: DUP6
0000287f: DUP9
00002880: DUP9
00002881: CALL
00002882: SWAP4
00002883: POP
00002884: POP
00002885: POP
00002886: POP
00002887: ISZERO
00002888: ISZERO
00002889: PUSH2 0x28dc
0000288c: JUMPI
0000288d: PUSH1 0x40
0000288f: DUP1
00002890: MLOAD
00002891: PUSH1 0xe5
00002893: PUSH1 0x02
00002895: EXP
00002896: PUSH3 0x461bcd
0000289a: MUL
0000289b: DUP2
0000289c: MSTORE
0000289d: PUSH1 0x20
0000289f: PUSH1 0x04
000028a1: DUP3
000028a2: ADD
000028a3: MSTORE
000028a4: PUSH1 0x11
000028a6: PUSH1 0x24
000028a8: DUP3
000028a9: ADD
000028aa: MSTORE
000028ab: PUSH32 0x45544820726566756e64206661696c6564000000000000000000000000000000
000028cc: PUSH1 0x44
000028ce: DUP3
000028cf: ADD
000028d0: MSTORE
000028d1: SWAP1
000028d2: MLOAD
000028d3: SWAP1
000028d4: DUP2
000028d5: SWAP1
000028d6: SUB
000028d7: PUSH1 0x64
000028d9: ADD
000028da: SWAP1
000028db: REVERT
000028dc: JUMPDEST
000028dd: PUSH1 0x40
000028df: MLOAD
000028e0: PUSH1 0x01
000028e2: PUSH1 0xa0
000028e4: PUSH1 0x02
000028e6: EXP
000028e7: SUB
000028e8: DUP8
000028e9: AND
000028ea: SWAP1
000028eb: DUP3
000028ec: ISZERO
000028ed: PUSH2 0x08fc
000028f0: MUL
000028f1: SWAP1
000028f2: DUP4
000028f3: SWAP1
000028f4: PUSH1 0x00
000028f6: DUP2
000028f7: DUP2
000028f8: DUP2
000028f9: DUP6
000028fa: DUP9
000028fb: DUP9
000028fc: CALL
000028fd: SWAP4
000028fe: POP
000028ff: POP
00002900: POP
00002901: POP
00002902: ISZERO
00002903: ISZERO
00002904: PUSH2 0x2957
00002907: JUMPI
00002908: PUSH1 0x40
0000290a: DUP1
0000290b: MLOAD
0000290c: PUSH1 0xe5
0000290e: PUSH1 0x02
00002910: EXP
00002911: PUSH3 0x461bcd
00002915: MUL
00002916: DUP2
00002917: MSTORE
00002918: PUSH1 0x20
0000291a: PUSH1 0x04
0000291c: DUP3
0000291d: ADD
0000291e: MSTORE
0000291f: PUSH1 0x0f
00002921: PUSH1 0x24
00002923: DUP3
00002924: ADD
00002925: MSTORE
00002926: PUSH32 0x4554482073656e64206661696c65640000000000000000000000000000000000
00002947: PUSH1 0x44
00002949: DUP3
0000294a: ADD
0000294b: MSTORE
0000294c: SWAP1
0000294d: MLOAD
0000294e: SWAP1
0000294f: DUP2
00002950: SWAP1
00002951: SUB
00002952: PUSH1 0x64
00002954: ADD
00002955: SWAP1
00002956: REVERT
00002957: JUMPDEST
00002958: PUSH2 0x2b26
0000295b: JUMP
0000295c: JUMPDEST
0000295d: DUP4
0000295e: PUSH1 0x01
00002960: PUSH1 0xa0
00002962: PUSH1 0x02
00002964: EXP
00002965: SUB
00002966: AND
00002967: PUSH4 0xa9059cbb
0000296c: DUP7
0000296d: DUP5
0000296e: PUSH1 0x40
00002970: MLOAD
00002971: DUP4
00002972: PUSH4 0xffffffff
00002977: AND
00002978: PUSH1 0xe0
0000297a: PUSH1 0x02
0000297c: EXP
0000297d: MUL
0000297e: DUP2
0000297f: MSTORE
00002980: PUSH1 0x04
00002982: ADD
00002983: DUP1
00002984: DUP4
00002985: PUSH1 0x01
00002987: PUSH1 0xa0
00002989: PUSH1 0x02
0000298b: EXP
0000298c: SUB
0000298d: AND
0000298e: PUSH1 0x01
00002990: PUSH1 0xa0
00002992: PUSH1 0x02
00002994: EXP
00002995: SUB
00002996: AND
00002997: DUP2
00002998: MSTORE
00002999: PUSH1 0x20
0000299b: ADD
0000299c: DUP3
0000299d: DUP2
0000299e: MSTORE
0000299f: PUSH1 0x20
000029a1: ADD
000029a2: SWAP3
000029a3: POP
000029a4: POP
000029a5: POP
000029a6: PUSH1 0x20
000029a8: PUSH1 0x40
000029aa: MLOAD
000029ab: DUP1
000029ac: DUP4
000029ad: SUB
000029ae: DUP2
000029af: PUSH1 0x00
000029b1: DUP8
000029b2: DUP1
000029b3: EXTCODESIZE
000029b4: ISZERO
000029b5: DUP1
000029b6: ISZERO
000029b7: PUSH2 0x29bf
000029ba: JUMPI
000029bb: PUSH1 0x00
000029bd: DUP1
000029be: REVERT
000029bf: JUMPDEST
000029c0: POP
000029c1: GAS
000029c2: CALL
000029c3: ISZERO
000029c4: DUP1
000029c5: ISZERO
000029c6: PUSH2 0x29d3
000029c9: JUMPI
000029ca: RETURNDATASIZE
000029cb: PUSH1 0x00
000029cd: DUP1
000029ce: RETURNDATACOPY
000029cf: RETURNDATASIZE
000029d0: PUSH1 0x00
000029d2: REVERT
000029d3: JUMPDEST
000029d4: POP
000029d5: POP
000029d6: POP
000029d7: POP
000029d8: PUSH1 0x40
000029da: MLOAD
000029db: RETURNDATASIZE
000029dc: PUSH1 0x20
000029de: DUP2
000029df: LT
000029e0: ISZERO
000029e1: PUSH2 0x29e9
000029e4: JUMPI
000029e5: PUSH1 0x00
000029e7: DUP1
000029e8: REVERT
000029e9: JUMPDEST
000029ea: POP
000029eb: MLOAD
000029ec: ISZERO
000029ed: ISZERO
000029ee: PUSH2 0x2a41
000029f1: JUMPI
000029f2: PUSH1 0x40
000029f4: DUP1
000029f5: MLOAD
000029f6: PUSH1 0xe5
000029f8: PUSH1 0x02
000029fa: EXP
000029fb: PUSH3 0x461bcd
000029ff: MUL
00002a00: DUP2
00002a01: MSTORE
00002a02: PUSH1 0x20
00002a04: PUSH1 0x04
00002a06: DUP3
00002a07: ADD
00002a08: MSTORE
00002a09: PUSH1 0x0d
00002a0b: PUSH1 0x24
00002a0d: DUP3
00002a0e: ADD
00002a0f: MSTORE
00002a10: PUSH32 0x526566756e64206661696c656400000000000000000000000000000000000000
00002a31: PUSH1 0x44
00002a33: DUP3
00002a34: ADD
00002a35: MSTORE
00002a36: SWAP1
00002a37: MLOAD
00002a38: SWAP1
00002a39: DUP2
00002a3a: SWAP1
00002a3b: SUB
00002a3c: PUSH1 0x64
00002a3e: ADD
00002a3f: SWAP1
00002a40: REVERT
00002a41: JUMPDEST
00002a42: DUP4
00002a43: PUSH1 0x01
00002a45: PUSH1 0xa0
00002a47: PUSH1 0x02
00002a49: EXP
00002a4a: SUB
00002a4b: AND
00002a4c: PUSH4 0xa9059cbb
00002a51: DUP8
00002a52: DUP4
00002a53: PUSH1 0x40
00002a55: MLOAD
00002a56: DUP4
00002a57: PUSH4 0xffffffff
00002a5c: AND
00002a5d: PUSH1 0xe0
00002a5f: PUSH1 0x02
00002a61: EXP
00002a62: MUL
00002a63: DUP2
00002a64: MSTORE
00002a65: PUSH1 0x04
00002a67: ADD
00002a68: DUP1
00002a69: DUP4
00002a6a: PUSH1 0x01
00002a6c: PUSH1 0xa0
00002a6e: PUSH1 0x02
00002a70: EXP
00002a71: SUB
00002a72: AND
00002a73: PUSH1 0x01
00002a75: PUSH1 0xa0
00002a77: PUSH1 0x02
00002a79: EXP
00002a7a: SUB
00002a7b: AND
00002a7c: DUP2
00002a7d: MSTORE
00002a7e: PUSH1 0x20
00002a80: ADD
00002a81: DUP3
00002a82: DUP2
00002a83: MSTORE
00002a84: PUSH1 0x20
00002a86: ADD
00002a87: SWAP3
00002a88: POP
00002a89: POP
00002a8a: POP
00002a8b: PUSH1 0x20
00002a8d: PUSH1 0x40
00002a8f: MLOAD
00002a90: DUP1
00002a91: DUP4
00002a92: SUB
00002a93: DUP2
00002a94: PUSH1 0x00
00002a96: DUP8
00002a97: DUP1
00002a98: EXTCODESIZE
00002a99: ISZERO
00002a9a: DUP1
00002a9b: ISZERO
00002a9c: PUSH2 0x2aa4
00002a9f: JUMPI
00002aa0: PUSH1 0x00
00002aa2: DUP1
00002aa3: REVERT
00002aa4: JUMPDEST
00002aa5: POP
00002aa6: GAS
00002aa7: CALL
00002aa8: ISZERO
00002aa9: DUP1
00002aaa: ISZERO
00002aab: PUSH2 0x2ab8
00002aae: JUMPI
00002aaf: RETURNDATASIZE
00002ab0: PUSH1 0x00
00002ab2: DUP1
00002ab3: RETURNDATACOPY
00002ab4: RETURNDATASIZE
00002ab5: PUSH1 0x00
00002ab7: REVERT
00002ab8: JUMPDEST
00002ab9: POP
00002aba: POP
00002abb: POP
00002abc: POP
00002abd: PUSH1 0x40
00002abf: MLOAD
00002ac0: RETURNDATASIZE
00002ac1: PUSH1 0x20
00002ac3: DUP2
00002ac4: LT
00002ac5: ISZERO
00002ac6: PUSH2 0x2ace
00002ac9: JUMPI
00002aca: PUSH1 0x00
00002acc: DUP1
00002acd: REVERT
00002ace: JUMPDEST
00002acf: POP
00002ad0: MLOAD
00002ad1: ISZERO
00002ad2: ISZERO
00002ad3: PUSH2 0x2b26
00002ad6: JUMPI
00002ad7: PUSH1 0x40
00002ad9: DUP1
00002ada: MLOAD
00002adb: PUSH1 0xe5
00002add: PUSH1 0x02
00002adf: EXP
00002ae0: PUSH3 0x461bcd
00002ae4: MUL
00002ae5: DUP2
00002ae6: MSTORE
00002ae7: PUSH1 0x20
00002ae9: PUSH1 0x04
00002aeb: DUP3
00002aec: ADD
00002aed: MSTORE
00002aee: PUSH1 0x0f
00002af0: PUSH1 0x24
00002af2: DUP3
00002af3: ADD
00002af4: MSTORE
00002af5: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000
00002b16: PUSH1 0x44
00002b18: DUP3
00002b19: ADD
00002b1a: MSTORE
00002b1b: SWAP1
00002b1c: MLOAD
00002b1d: SWAP1
00002b1e: DUP2
00002b1f: SWAP1
00002b20: SUB
00002b21: PUSH1 0x64
00002b23: ADD
00002b24: SWAP1
00002b25: REVERT
00002b26: JUMPDEST
00002b27: POP
00002b28: POP
00002b29: POP
00002b2a: POP
00002b2b: POP
00002b2c: POP
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH1 0x01
00002b31: PUSH1 0xa0
00002b33: PUSH1 0x02
00002b35: EXP
00002b36: SUB
00002b37: DUP2
00002b38: AND
00002b39: ISZERO
00002b3a: ISZERO
00002b3b: PUSH2 0x2b8e
00002b3e: JUMPI
00002b3f: PUSH1 0x40
00002b41: DUP1
00002b42: MLOAD
00002b43: PUSH1 0xe5
00002b45: PUSH1 0x02
00002b47: EXP
00002b48: PUSH3 0x461bcd
00002b4c: MUL
00002b4d: DUP2
00002b4e: MSTORE
00002b4f: PUSH1 0x20
00002b51: PUSH1 0x04
00002b53: DUP3
00002b54: ADD
00002b55: MSTORE
00002b56: PUSH1 0x1b
00002b58: PUSH1 0x24
00002b5a: DUP3
00002b5b: ADD
00002b5c: MSTORE
00002b5d: PUSH32 0x4d7573742073706563696679206465706f7369744d616e616765720000000000
00002b7e: PUSH1 0x44
00002b80: DUP3
00002b81: ADD
00002b82: MSTORE
00002b83: SWAP1
00002b84: MLOAD
00002b85: SWAP1
00002b86: DUP2
00002b87: SWAP1
00002b88: SUB
00002b89: PUSH1 0x64
00002b8b: ADD
00002b8c: SWAP1
00002b8d: REVERT
00002b8e: JUMPDEST
00002b8f: PUSH1 0x40
00002b91: DUP1
00002b92: MLOAD
00002b93: PUSH1 0x60
00002b95: DUP2
00002b96: ADD
00002b97: DUP3
00002b98: MSTORE
00002b99: PUSH1 0x01
00002b9b: PUSH1 0xa0
00002b9d: PUSH1 0x02
00002b9f: EXP
00002ba0: SUB
00002ba1: DUP1
00002ba2: DUP8
00002ba3: AND
00002ba4: DUP3
00002ba5: MSTORE
00002ba6: PUSH1 0x20
00002ba8: DUP3
00002ba9: ADD
00002baa: DUP6
00002bab: DUP2
00002bac: MSTORE
00002bad: DUP5
00002bae: DUP3
00002baf: AND
00002bb0: SWAP4
00002bb1: DUP4
00002bb2: ADD
00002bb3: SWAP4
00002bb4: DUP5
00002bb5: MSTORE
00002bb6: PUSH1 0x01
00002bb8: DUP1
00002bb9: SLOAD
00002bba: DUP1
00002bbb: DUP3
00002bbc: ADD
00002bbd: DUP3
00002bbe: SSTORE
00002bbf: PUSH1 0x00
00002bc1: SWAP2
00002bc2: DUP3
00002bc3: MSTORE
00002bc4: SWAP4
00002bc5: MLOAD
00002bc6: PUSH1 0x03
00002bc8: SWAP1
00002bc9: SWAP5
00002bca: MUL
00002bcb: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00002bec: DUP2
00002bed: ADD
00002bee: DUP1
00002bef: SLOAD
00002bf0: SWAP6
00002bf1: DUP6
00002bf2: AND
00002bf3: PUSH1 0x01
00002bf5: PUSH1 0xa0
00002bf7: PUSH1 0x02
00002bf9: EXP
00002bfa: SUB
00002bfb: NOT
00002bfc: SWAP7
00002bfd: DUP8
00002bfe: AND
00002bff: OR
00002c00: SWAP1
00002c01: SSTORE
00002c02: SWAP2
00002c03: MLOAD
00002c04: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf7
00002c25: DUP4
00002c26: ADD
00002c27: SSTORE
00002c28: SWAP4
00002c29: MLOAD
00002c2a: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf8
00002c4b: SWAP1
00002c4c: SWAP2
00002c4d: ADD
00002c4e: DUP1
00002c4f: SLOAD
00002c50: SWAP2
00002c51: SWAP1
00002c52: SWAP3
00002c53: AND
00002c54: SWAP3
00002c55: AND
00002c56: SWAP2
00002c57: SWAP1
00002c58: SWAP2
00002c59: OR
00002c5a: SWAP1
00002c5b: SSTORE
00002c5c: DUP3
00002c5d: GT
00002c5e: ISZERO
00002c5f: PUSH2 0x2d35
00002c62: JUMPI
00002c63: PUSH1 0x04
00002c65: DUP1
00002c66: SLOAD
00002c67: PUSH1 0x40
00002c69: DUP1
00002c6a: MLOAD
00002c6b: PUSH1 0xe0
00002c6d: PUSH1 0x02
00002c6f: EXP
00002c70: PUSH4 0x23b872dd
00002c75: MUL
00002c76: DUP2
00002c77: MSTORE
00002c78: PUSH1 0x01
00002c7a: PUSH1 0xa0
00002c7c: PUSH1 0x02
00002c7e: EXP
00002c7f: SUB
00002c80: DUP9
00002c81: DUP2
00002c82: AND
00002c83: SWAP5
00002c84: DUP3
00002c85: ADD
00002c86: SWAP5
00002c87: SWAP1
00002c88: SWAP5
00002c89: MSTORE
00002c8a: ADDRESS
00002c8b: PUSH1 0x24
00002c8d: DUP3
00002c8e: ADD
00002c8f: MSTORE
00002c90: PUSH1 0x44
00002c92: DUP2
00002c93: ADD
00002c94: DUP7
00002c95: SWAP1
00002c96: MSTORE
00002c97: SWAP1
00002c98: MLOAD
00002c99: SWAP3
00002c9a: SWAP1
00002c9b: SWAP2
00002c9c: AND
00002c9d: SWAP2
00002c9e: PUSH4 0x23b872dd
00002ca3: SWAP2
00002ca4: PUSH1 0x64
00002ca6: DUP1
00002ca7: DUP3
00002ca8: ADD
00002ca9: SWAP3
00002caa: PUSH1 0x20
00002cac: SWAP3
00002cad: SWAP1
00002cae: SWAP2
00002caf: SWAP1
00002cb0: DUP3
00002cb1: SWAP1
00002cb2: SUB
00002cb3: ADD
00002cb4: DUP2
00002cb5: PUSH1 0x00
00002cb7: DUP8
00002cb8: DUP1
00002cb9: EXTCODESIZE
00002cba: ISZERO
00002cbb: DUP1
00002cbc: ISZERO
00002cbd: PUSH2 0x2cc5
00002cc0: JUMPI
00002cc1: PUSH1 0x00
00002cc3: DUP1
00002cc4: REVERT
00002cc5: JUMPDEST
00002cc6: POP
00002cc7: GAS
00002cc8: CALL
00002cc9: ISZERO
00002cca: DUP1
00002ccb: ISZERO
00002ccc: PUSH2 0x2cd9
00002ccf: JUMPI
00002cd0: RETURNDATASIZE
00002cd1: PUSH1 0x00
00002cd3: DUP1
00002cd4: RETURNDATACOPY
00002cd5: RETURNDATASIZE
00002cd6: PUSH1 0x00
00002cd8: REVERT
00002cd9: JUMPDEST
00002cda: POP
00002cdb: POP
00002cdc: POP
00002cdd: POP
00002cde: PUSH1 0x40
00002ce0: MLOAD
00002ce1: RETURNDATASIZE
00002ce2: PUSH1 0x20
00002ce4: DUP2
00002ce5: LT
00002ce6: ISZERO
00002ce7: PUSH2 0x2cef
00002cea: JUMPI
00002ceb: PUSH1 0x00
00002ced: DUP1
00002cee: REVERT
00002cef: JUMPDEST
00002cf0: POP
00002cf1: MLOAD
00002cf2: ISZERO
00002cf3: ISZERO
00002cf4: PUSH2 0x2d35
00002cf7: JUMPI
00002cf8: PUSH1 0x40
00002cfa: DUP1
00002cfb: MLOAD
00002cfc: PUSH1 0xe5
00002cfe: PUSH1 0x02
00002d00: EXP
00002d01: PUSH3 0x461bcd
00002d05: MUL
00002d06: DUP2
00002d07: MSTORE
00002d08: PUSH1 0x20
00002d0a: PUSH1 0x04
00002d0c: DUP3
00002d0d: ADD
00002d0e: MSTORE
00002d0f: PUSH1 0x13
00002d11: PUSH1 0x24
00002d13: DUP3
00002d14: ADD
00002d15: MSTORE
00002d16: PUSH1 0x00
00002d18: DUP1
00002d19: MLOAD
00002d1a: PUSH1 0x20
00002d1c: PUSH2 0x2e61
00002d1f: DUP4
00002d20: CODECOPY
00002d21: DUP2
00002d22: MLOAD
00002d23: SWAP2
00002d24: MSTORE
00002d25: PUSH1 0x44
00002d27: DUP3
00002d28: ADD
00002d29: MSTORE
00002d2a: SWAP1
00002d2b: MLOAD
00002d2c: SWAP1
00002d2d: DUP2
00002d2e: SWAP1
00002d2f: SUB
00002d30: PUSH1 0x64
00002d32: ADD
00002d33: SWAP1
00002d34: REVERT
00002d35: JUMPDEST
00002d36: PUSH1 0x01
00002d38: SLOAD
00002d39: PUSH1 0x40
00002d3b: DUP1
00002d3c: MLOAD
00002d3d: DUP6
00002d3e: DUP2
00002d3f: MSTORE
00002d40: SWAP1
00002d41: MLOAD
00002d42: PUSH1 0x00
00002d44: NOT
00002d45: SWAP1
00002d46: SWAP3
00002d47: ADD
00002d48: SWAP2
00002d49: PUSH1 0x01
00002d4b: PUSH1 0xa0
00002d4d: PUSH1 0x02
00002d4f: EXP
00002d50: SUB
00002d51: DUP8
00002d52: AND
00002d53: SWAP2
00002d54: PUSH32 0xec3d306143145322b45d2788d826e3b7b9ad062f16e1ec59a5eaba214f96ee3c
00002d75: SWAP2
00002d76: SWAP1
00002d77: DUP2
00002d78: SWAP1
00002d79: SUB
00002d7a: PUSH1 0x20
00002d7c: ADD
00002d7d: SWAP1
00002d7e: LOG3
00002d7f: POP
00002d80: POP
00002d81: POP
00002d82: POP
00002d83: JUMP
00002d84: JUMPDEST
00002d85: PUSH1 0x01
00002d87: PUSH1 0xa0
00002d89: PUSH1 0x02
00002d8b: EXP
00002d8c: SUB
00002d8d: DUP2
00002d8e: AND
00002d8f: ISZERO
00002d90: ISZERO
00002d91: PUSH2 0x2d99
00002d94: JUMPI
00002d95: PUSH1 0x00
00002d97: DUP1
00002d98: REVERT
00002d99: JUMPDEST
00002d9a: PUSH1 0x00
00002d9c: DUP1
00002d9d: SLOAD
00002d9e: PUSH1 0x40
00002da0: MLOAD
00002da1: PUSH1 0x01
00002da3: PUSH1 0xa0
00002da5: PUSH1 0x02
00002da7: EXP
00002da8: SUB
00002da9: DUP1
00002daa: DUP6
00002dab: AND
00002dac: SWAP4
00002dad: SWAP3
00002dae: AND
00002daf: SWAP2
00002db0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002dd1: SWAP2
00002dd2: LOG3
00002dd3: PUSH1 0x00
00002dd5: DUP1
00002dd6: SLOAD
00002dd7: PUSH1 0x01
00002dd9: PUSH1 0xa0
00002ddb: PUSH1 0x02
00002ddd: EXP
00002dde: SUB
00002ddf: NOT
00002de0: AND
00002de1: PUSH1 0x01
00002de3: PUSH1 0xa0
00002de5: PUSH1 0x02
00002de7: EXP
00002de8: SUB
00002de9: SWAP3
00002dea: SWAP1
00002deb: SWAP3
00002dec: AND
00002ded: SWAP2
00002dee: SWAP1
00002def: SWAP2
00002df0: OR
00002df1: SWAP1
00002df2: SSTORE
00002df3: JUMP
00002df4: JUMPDEST
00002df5: PUSH1 0x40
00002df7: DUP1
00002df8: MLOAD
00002df9: PUSH2 0x0120
00002dfc: DUP2
00002dfd: ADD
00002dfe: DUP3
00002dff: MSTORE
00002e00: PUSH1 0x00
00002e02: DUP1
00002e03: DUP3
00002e04: MSTORE
00002e05: PUSH1 0x20
00002e07: DUP3
00002e08: ADD
00002e09: DUP2
00002e0a: SWAP1
00002e0b: MSTORE
00002e0c: SWAP2
00002e0d: DUP2
00002e0e: ADD
00002e0f: DUP3
00002e10: SWAP1
00002e11: MSTORE
00002e12: PUSH1 0x60
00002e14: DUP2
00002e15: ADD
00002e16: DUP3
00002e17: SWAP1
00002e18: MSTORE
00002e19: PUSH1 0x80
00002e1b: DUP2
00002e1c: ADD
00002e1d: DUP3
00002e1e: SWAP1
00002e1f: MSTORE
00002e20: PUSH1 0xa0
00002e22: DUP2
00002e23: ADD
00002e24: DUP3
00002e25: SWAP1
00002e26: MSTORE
00002e27: PUSH1 0xc0
00002e29: DUP2
00002e2a: ADD
00002e2b: DUP3
00002e2c: SWAP1
00002e2d: MSTORE
00002e2e: PUSH1 0xe0
00002e30: DUP2
00002e31: ADD
00002e32: DUP3
00002e33: SWAP1
00002e34: MSTORE
00002e35: PUSH2 0x0100
00002e38: DUP2
00002e39: ADD
00002e3a: SWAP2
00002e3b: SWAP1
00002e3c: SWAP2
00002e3d: MSTORE
00002e3e: SWAP1
00002e3f: JUMP
00002e40: STOP
00002e41: PUSH20 0x746174757320213d206163636570746564000000
00002e56: STOP
00002e57: STOP
00002e58: STOP
00002e59: STOP
00002e5a: STOP
00002e5b: STOP
00002e5c: STOP
00002e5d: STOP
00002e5e: STOP
00002e5f: STOP
00002e60: STOP
00002e61: PUSH21 0x72616e7366657246726f6d206661696c6564000000
00002e77: STOP
00002e78: STOP
00002e79: STOP
00002e7a: STOP
00002e7b: STOP
00002e7c: STOP
00002e7d: STOP
00002e7e: STOP
00002e7f: STOP
00002e80: STOP
00002e81: LOG1
00002e82: PUSH6 0x627a7a723058
00002e89: KECCAK256
00002e8a: PUSH27 0x46bb4eab2446f6310429368a6aca7cd68db18cb7c8888777f1ec50
00002ea6: EXTCODEHASH
00002ea7: NUMBER
00002ea8: LT
00002ea9: UNKNOWN(0x1F)
00002eaa: STOP
00002eab: UNKNOWN(0x29)

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: 0x32cce01a6a7b31e25f0b5c19404ffb24c14fd36e2068f9473ae2e2c50eb40d58 call_targets: 0x698ff47b84837d3971118a369c570172ee7e54c2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x32cce01a6a7b31e25f0b5c19404ffb24c14fd36e2068f9473ae2e2c50eb40d58", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x698ff47b84837d3971118a369c570172ee7e54c2" ], "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": "0x1d34be47", "selector": "0x1d34be47", "calldata_variants": [ "0x1d34be47", "0x1d34be470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28af94c8", "selector": "0x28af94c8", "calldata_variants": [ "0x28af94c8", "0x28af94c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ebd1e28", "selector": "0x2ebd1e28", "calldata_variants": [ "0x2ebd1e28", "0x2ebd1e280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4d03a9a5", "selector": "0x4d03a9a5", "calldata_variants": [ "0x4d03a9a5", "0x4d03a9a50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x51b18250", "selector": "0x51b18250", "calldata_variants": [ "0x51b18250", "0x51b182500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f0da25b", "selector": "0x5f0da25b", "calldata_variants": [ "0x5f0da25b", "0x5f0da25b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5fbe4d1d", "selector": "0x5fbe4d1d", "calldata_variants": [ "0x5fbe4d1d", "0x5fbe4d1d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70809757", "selector": "0x70809757", "calldata_variants": [ "0x70809757", "0x708097570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3068, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5028, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 13, "guards_detected": [], "untrusted_call_count": 13 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x32cce01a6a7b31e25f0b5c19404ffb24c14fd36e2068f9473ae2e2c50eb40d58 call_targets: 0x698ff47b84837d3971118a369c570172ee7e54c2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x32cce01a6a7b31e25f0b5c19404ffb24c14fd36e2068f9473ae2e2c50eb40d58", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x698ff47b84837d3971118a369c570172ee7e54c2" ], "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": "0x1d34be47", "selector": "0x1d34be47", "calldata_variants": [ "0x1d34be47", "0x1d34be470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x28af94c8", "selector": "0x28af94c8", "calldata_variants": [ "0x28af94c8", "0x28af94c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ebd1e28", "selector": "0x2ebd1e28", "calldata_variants": [ "0x2ebd1e28", "0x2ebd1e280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4d03a9a5", "selector": "0x4d03a9a5", "calldata_variants": [ "0x4d03a9a5", "0x4d03a9a50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x51b18250", "selector": "0x51b18250", "calldata_variants": [ "0x51b18250", "0x51b182500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f0da25b", "selector": "0x5f0da25b", "calldata_variants": [ "0x5f0da25b", "0x5f0da25b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5fbe4d1d", "selector": "0x5fbe4d1d", "calldata_variants": [ "0x5fbe4d1d", "0x5fbe4d1d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70809757", "selector": "0x70809757", "calldata_variants": [ "0x70809757", "0x708097570000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3068, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5028, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 13, "guards_detected": [] }

Severity