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

Analysis Run

019b3844-906f-709e-88d4-872ec439d4c9

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
12603 artifact.fetch complete 1 / 3 4 months ago
12604 tool.cast_disasm complete 1 / 3 4 months ago
55844 analysis.bundle complete 1 / 3 2 weeks ago
55845 capability.graph complete 1 / 3 2 weeks ago
55846 detector.run complete 1 / 3 2 weeks ago
55847 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
14
EXT*/BALANCE
10
Total opcodes
6956
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 0x017f
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x1d34be47
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x0184
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x28af94c8
00000046: EQ
00000047: PUSH2 0x01a7
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x2ebd1e28
00000051: EQ
00000052: PUSH2 0x01bf
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4d03a9a5
0000005c: EQ
0000005d: PUSH2 0x01e0
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x51b18250
00000067: EQ
00000068: PUSH2 0x0253
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x5f0da25b
00000072: EQ
00000073: PUSH2 0x0284
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x5fbe4d1d
0000007d: EQ
0000007e: PUSH2 0x02ae
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x70809757
00000088: EQ
00000089: PUSH2 0x02df
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x715018a6
00000093: EQ
00000094: PUSH2 0x02fd
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x78572816
0000009e: EQ
0000009f: PUSH2 0x0312
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x7d19514d
000000a9: EQ
000000aa: PUSH2 0x0336
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8da5cb5b
000000b4: EQ
000000b5: PUSH2 0x034a
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x91f1f310
000000bf: EQ
000000c0: PUSH2 0x035f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x963ff4cb
000000ca: EQ
000000cb: PUSH2 0x0389
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x9a8d10a3
000000d5: EQ
000000d6: PUSH2 0x03be
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x9c3f7ca2
000000e0: EQ
000000e1: PUSH2 0x03d9
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xa0823111
000000eb: EQ
000000ec: PUSH2 0x03f7
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xa3111d7c
000000f6: EQ
000000f7: PUSH2 0x041b
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xbf77aa1f
00000101: EQ
00000102: PUSH2 0x0442
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xc73111dd
0000010c: EQ
0000010d: PUSH2 0x0460
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xc78b616c
00000117: EQ
00000118: PUSH2 0x0484
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xc9c8580c
00000122: EQ
00000123: PUSH2 0x0499
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xca27eb1c
0000012d: EQ
0000012e: PUSH2 0x04ce
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xcea4b687
00000138: EQ
00000139: PUSH2 0x04f5
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xd9fefbf8
00000143: EQ
00000144: PUSH2 0x051f
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xde400629
0000014e: EQ
0000014f: PUSH2 0x053d
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xde74e57b
00000159: EQ
0000015a: PUSH2 0x056c
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xebe65f60
00000164: EQ
00000165: PUSH2 0x05af
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xf2fde38b
0000016f: EQ
00000170: PUSH2 0x05cd
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xfde34dc4
0000017a: EQ
0000017b: PUSH2 0x05ee
0000017e: JUMPI
0000017f: JUMPDEST
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: CALLVALUE
00000186: DUP1
00000187: ISZERO
00000188: PUSH2 0x0190
0000018b: JUMPI
0000018c: PUSH1 0x00
0000018e: DUP1
0000018f: REVERT
00000190: JUMPDEST
00000191: POP
00000192: PUSH2 0x01a5
00000195: PUSH1 0x04
00000197: CALLDATALOAD
00000198: PUSH1 0x24
0000019a: CALLDATALOAD
0000019b: PUSH1 0x44
0000019d: CALLDATALOAD
0000019e: PUSH1 0x64
000001a0: CALLDATALOAD
000001a1: PUSH2 0x060c
000001a4: JUMP
000001a5: JUMPDEST
000001a6: STOP
000001a7: JUMPDEST
000001a8: CALLVALUE
000001a9: DUP1
000001aa: ISZERO
000001ab: PUSH2 0x01b3
000001ae: JUMPI
000001af: PUSH1 0x00
000001b1: DUP1
000001b2: REVERT
000001b3: JUMPDEST
000001b4: POP
000001b5: PUSH2 0x01a5
000001b8: PUSH1 0x04
000001ba: CALLDATALOAD
000001bb: PUSH2 0x07ab
000001be: JUMP
000001bf: JUMPDEST
000001c0: CALLVALUE
000001c1: DUP1
000001c2: ISZERO
000001c3: PUSH2 0x01cb
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: POP
000001cd: PUSH2 0x01a5
000001d0: PUSH1 0x01
000001d2: PUSH1 0xa0
000001d4: PUSH1 0x02
000001d6: EXP
000001d7: SUB
000001d8: PUSH1 0x04
000001da: CALLDATALOAD
000001db: AND
000001dc: PUSH2 0x07e4
000001df: JUMP
000001e0: JUMPDEST
000001e1: CALLVALUE
000001e2: DUP1
000001e3: ISZERO
000001e4: PUSH2 0x01ec
000001e7: JUMPI
000001e8: PUSH1 0x00
000001ea: DUP1
000001eb: REVERT
000001ec: JUMPDEST
000001ed: POP
000001ee: PUSH2 0x01fb
000001f1: PUSH1 0x04
000001f3: CALLDATALOAD
000001f4: PUSH1 0x24
000001f6: CALLDATALOAD
000001f7: PUSH2 0x082a
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH1 0x40
000001fe: DUP1
000001ff: MLOAD
00000200: SWAP10
00000201: DUP11
00000202: MSTORE
00000203: PUSH1 0x20
00000205: DUP11
00000206: ADD
00000207: SWAP9
00000208: SWAP1
00000209: SWAP9
0000020a: MSTORE
0000020b: DUP9
0000020c: DUP9
0000020d: ADD
0000020e: SWAP7
0000020f: SWAP1
00000210: SWAP7
00000211: MSTORE
00000212: PUSH1 0x01
00000214: PUSH1 0xa0
00000216: PUSH1 0x02
00000218: EXP
00000219: SUB
0000021a: SWAP5
0000021b: DUP6
0000021c: AND
0000021d: PUSH1 0x60
0000021f: DUP10
00000220: ADD
00000221: MSTORE
00000222: SWAP3
00000223: DUP5
00000224: AND
00000225: PUSH1 0x80
00000227: DUP9
00000228: ADD
00000229: MSTORE
0000022a: SWAP1
0000022b: DUP4
0000022c: AND
0000022d: PUSH1 0xa0
0000022f: DUP8
00000230: ADD
00000231: MSTORE
00000232: SWAP1
00000233: SWAP2
00000234: AND
00000235: PUSH1 0xc0
00000237: DUP6
00000238: ADD
00000239: MSTORE
0000023a: PUSH1 0xe0
0000023c: DUP5
0000023d: ADD
0000023e: MSTORE
0000023f: PUSH1 0xff
00000241: AND
00000242: PUSH2 0x0100
00000245: DUP4
00000246: ADD
00000247: MSTORE
00000248: MLOAD
00000249: SWAP1
0000024a: DUP2
0000024b: SWAP1
0000024c: SUB
0000024d: PUSH2 0x0120
00000250: ADD
00000251: SWAP1
00000252: RETURN
00000253: JUMPDEST
00000254: PUSH2 0x01a5
00000257: PUSH1 0x04
00000259: CALLDATALOAD
0000025a: PUSH1 0x24
0000025c: CALLDATALOAD
0000025d: PUSH1 0x44
0000025f: CALLDATALOAD
00000260: PUSH1 0x01
00000262: PUSH1 0xa0
00000264: PUSH1 0x02
00000266: EXP
00000267: SUB
00000268: PUSH1 0x64
0000026a: CALLDATALOAD
0000026b: DUP2
0000026c: AND
0000026d: SWAP1
0000026e: PUSH1 0x84
00000270: CALLDATALOAD
00000271: SWAP1
00000272: PUSH1 0xa4
00000274: CALLDATALOAD
00000275: SWAP1
00000276: PUSH1 0xc4
00000278: CALLDATALOAD
00000279: DUP2
0000027a: AND
0000027b: SWAP1
0000027c: PUSH1 0xe4
0000027e: CALLDATALOAD
0000027f: AND
00000280: PUSH2 0x08a7
00000283: JUMP
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x01a5
00000295: PUSH1 0x04
00000297: CALLDATALOAD
00000298: PUSH1 0x01
0000029a: PUSH1 0xa0
0000029c: PUSH1 0x02
0000029e: EXP
0000029f: SUB
000002a0: PUSH1 0x24
000002a2: CALLDATALOAD
000002a3: AND
000002a4: PUSH1 0x44
000002a6: CALLDATALOAD
000002a7: PUSH1 0x64
000002a9: CALLDATALOAD
000002aa: PUSH2 0x0d3b
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x02c3
000002bf: PUSH2 0x0f51
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x40
000002c6: DUP1
000002c7: MLOAD
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: PUSH1 0x02
000002ce: EXP
000002cf: SUB
000002d0: SWAP1
000002d1: SWAP3
000002d2: AND
000002d3: DUP3
000002d4: MSTORE
000002d5: MLOAD
000002d6: SWAP1
000002d7: DUP2
000002d8: SWAP1
000002d9: SUB
000002da: PUSH1 0x20
000002dc: ADD
000002dd: SWAP1
000002de: RETURN
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x01a5
000002f0: PUSH1 0x04
000002f2: CALLDATALOAD
000002f3: PUSH1 0x24
000002f5: CALLDATALOAD
000002f6: PUSH1 0x44
000002f8: CALLDATALOAD
000002f9: PUSH2 0x0f60
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: POP
0000030b: PUSH2 0x01a5
0000030e: PUSH2 0x1128
00000311: JUMP
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: POP
00000320: PUSH2 0x01a5
00000323: PUSH1 0x01
00000325: PUSH1 0xa0
00000327: PUSH1 0x02
00000329: EXP
0000032a: SUB
0000032b: PUSH1 0x04
0000032d: CALLDATALOAD
0000032e: AND
0000032f: PUSH1 0x24
00000331: CALLDATALOAD
00000332: PUSH2 0x1194
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH2 0x01a5
0000033a: PUSH1 0x04
0000033c: CALLDATALOAD
0000033d: PUSH1 0x24
0000033f: CALLDATALOAD
00000340: PUSH1 0x44
00000342: CALLDATALOAD
00000343: PUSH1 0x64
00000345: CALLDATALOAD
00000346: PUSH2 0x1207
00000349: JUMP
0000034a: JUMPDEST
0000034b: CALLVALUE
0000034c: DUP1
0000034d: ISZERO
0000034e: PUSH2 0x0356
00000351: JUMPI
00000352: PUSH1 0x00
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: PUSH2 0x02c3
0000035b: PUSH2 0x14d3
0000035e: JUMP
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x0377
00000370: PUSH1 0x04
00000372: CALLDATALOAD
00000373: PUSH2 0x14e2
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH1 0x40
0000037a: DUP1
0000037b: MLOAD
0000037c: SWAP2
0000037d: DUP3
0000037e: MSTORE
0000037f: MLOAD
00000380: SWAP1
00000381: DUP2
00000382: SWAP1
00000383: SUB
00000384: PUSH1 0x20
00000386: ADD
00000387: SWAP1
00000388: RETURN
00000389: JUMPDEST
0000038a: CALLVALUE
0000038b: DUP1
0000038c: ISZERO
0000038d: PUSH2 0x0395
00000390: JUMPI
00000391: PUSH1 0x00
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: PUSH2 0x03aa
0000039a: PUSH1 0x01
0000039c: PUSH1 0xa0
0000039e: PUSH1 0x02
000003a0: EXP
000003a1: SUB
000003a2: PUSH1 0x04
000003a4: CALLDATALOAD
000003a5: AND
000003a6: PUSH2 0x14f4
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH1 0x40
000003ad: DUP1
000003ae: MLOAD
000003af: SWAP2
000003b0: ISZERO
000003b1: ISZERO
000003b2: DUP3
000003b3: MSTORE
000003b4: MLOAD
000003b5: SWAP1
000003b6: DUP2
000003b7: SWAP1
000003b8: SUB
000003b9: PUSH1 0x20
000003bb: ADD
000003bc: SWAP1
000003bd: RETURN
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: DUP1
000003c1: ISZERO
000003c2: PUSH2 0x03ca
000003c5: JUMPI
000003c6: PUSH1 0x00
000003c8: DUP1
000003c9: REVERT
000003ca: JUMPDEST
000003cb: POP
000003cc: PUSH2 0x01a5
000003cf: PUSH1 0x04
000003d1: CALLDATALOAD
000003d2: PUSH1 0x24
000003d4: CALLDATALOAD
000003d5: PUSH2 0x1509
000003d8: JUMP
000003d9: JUMPDEST
000003da: CALLVALUE
000003db: DUP1
000003dc: ISZERO
000003dd: PUSH2 0x03e5
000003e0: JUMPI
000003e1: PUSH1 0x00
000003e3: DUP1
000003e4: REVERT
000003e5: JUMPDEST
000003e6: POP
000003e7: PUSH2 0x01a5
000003ea: PUSH1 0x04
000003ec: CALLDATALOAD
000003ed: PUSH1 0x24
000003ef: CALLDATALOAD
000003f0: PUSH1 0x44
000003f2: CALLDATALOAD
000003f3: PUSH2 0x1544
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 0x01a5
00000408: PUSH1 0x01
0000040a: PUSH1 0xa0
0000040c: PUSH1 0x02
0000040e: EXP
0000040f: SUB
00000410: PUSH1 0x04
00000412: CALLDATALOAD
00000413: AND
00000414: PUSH1 0x24
00000416: CALLDATALOAD
00000417: PUSH2 0x1734
0000041a: JUMP
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH2 0x01a5
0000042c: PUSH1 0x04
0000042e: CALLDATALOAD
0000042f: PUSH1 0x01
00000431: PUSH1 0xa0
00000433: PUSH1 0x02
00000435: EXP
00000436: SUB
00000437: PUSH1 0x24
00000439: CALLDATALOAD
0000043a: AND
0000043b: PUSH1 0x44
0000043d: CALLDATALOAD
0000043e: PUSH2 0x17a4
00000441: JUMP
00000442: JUMPDEST
00000443: CALLVALUE
00000444: DUP1
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: PUSH2 0x01a5
00000453: PUSH1 0x04
00000455: CALLDATALOAD
00000456: PUSH1 0x24
00000458: CALLDATALOAD
00000459: PUSH1 0x44
0000045b: CALLDATALOAD
0000045c: PUSH2 0x1960
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 0x01a5
00000471: PUSH1 0x04
00000473: CALLDATALOAD
00000474: PUSH1 0x24
00000476: CALLDATALOAD
00000477: PUSH1 0x44
00000479: CALLDATALOAD
0000047a: PUSH1 0x64
0000047c: CALLDATALOAD
0000047d: PUSH1 0x84
0000047f: CALLDATALOAD
00000480: PUSH2 0x1971
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x0377
00000495: PUSH2 0x1c15
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH2 0x01a5
0000049d: PUSH1 0x04
0000049f: CALLDATALOAD
000004a0: PUSH1 0x24
000004a2: CALLDATALOAD
000004a3: PUSH1 0x44
000004a5: CALLDATALOAD
000004a6: PUSH1 0x01
000004a8: PUSH1 0xa0
000004aa: PUSH1 0x02
000004ac: EXP
000004ad: SUB
000004ae: PUSH1 0x64
000004b0: CALLDATALOAD
000004b1: DUP2
000004b2: AND
000004b3: SWAP1
000004b4: PUSH1 0x84
000004b6: CALLDATALOAD
000004b7: SWAP1
000004b8: PUSH1 0xa4
000004ba: CALLDATALOAD
000004bb: SWAP1
000004bc: PUSH1 0xc4
000004be: CALLDATALOAD
000004bf: DUP2
000004c0: AND
000004c1: SWAP1
000004c2: PUSH1 0xe4
000004c4: CALLDATALOAD
000004c5: AND
000004c6: PUSH2 0x0104
000004c9: CALLDATALOAD
000004ca: PUSH2 0x1c1b
000004cd: JUMP
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: DUP1
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: POP
000004dc: PUSH2 0x01a5
000004df: PUSH1 0x04
000004e1: CALLDATALOAD
000004e2: PUSH1 0x24
000004e4: CALLDATALOAD
000004e5: PUSH1 0x01
000004e7: PUSH1 0xa0
000004e9: PUSH1 0x02
000004eb: EXP
000004ec: SUB
000004ed: PUSH1 0x44
000004ef: CALLDATALOAD
000004f0: AND
000004f1: PUSH2 0x1c41
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x03aa
00000506: PUSH1 0x01
00000508: PUSH1 0xa0
0000050a: PUSH1 0x02
0000050c: EXP
0000050d: SUB
0000050e: PUSH1 0x04
00000510: CALLDATALOAD
00000511: AND
00000512: PUSH1 0x24
00000514: CALLDATALOAD
00000515: PUSH1 0x44
00000517: CALLDATALOAD
00000518: PUSH1 0x64
0000051a: CALLDATALOAD
0000051b: PUSH2 0x1c4d
0000051e: JUMP
0000051f: JUMPDEST
00000520: CALLVALUE
00000521: DUP1
00000522: ISZERO
00000523: PUSH2 0x052b
00000526: JUMPI
00000527: PUSH1 0x00
00000529: DUP1
0000052a: REVERT
0000052b: JUMPDEST
0000052c: POP
0000052d: PUSH2 0x01a5
00000530: PUSH1 0x04
00000532: CALLDATALOAD
00000533: PUSH1 0x24
00000535: CALLDATALOAD
00000536: PUSH1 0x44
00000538: CALLDATALOAD
00000539: PUSH2 0x1cc9
0000053c: JUMP
0000053d: JUMPDEST
0000053e: CALLVALUE
0000053f: DUP1
00000540: ISZERO
00000541: PUSH2 0x0549
00000544: JUMPI
00000545: PUSH1 0x00
00000547: DUP1
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH2 0x03aa
0000054e: PUSH1 0x01
00000550: PUSH1 0xa0
00000552: PUSH1 0x02
00000554: EXP
00000555: SUB
00000556: PUSH1 0x04
00000558: CALLDATALOAD
00000559: DUP2
0000055a: AND
0000055b: SWAP1
0000055c: PUSH1 0x24
0000055e: CALLDATALOAD
0000055f: SWAP1
00000560: PUSH1 0x44
00000562: CALLDATALOAD
00000563: SWAP1
00000564: PUSH1 0x64
00000566: CALLDATALOAD
00000567: AND
00000568: PUSH2 0x1d08
0000056b: JUMP
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: PUSH2 0x0584
0000057d: PUSH1 0x04
0000057f: CALLDATALOAD
00000580: PUSH2 0x1d79
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH1 0x40
00000587: DUP1
00000588: MLOAD
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: PUSH1 0x02
0000058f: EXP
00000590: SUB
00000591: SWAP5
00000592: DUP6
00000593: AND
00000594: DUP2
00000595: MSTORE
00000596: PUSH1 0x20
00000598: DUP2
00000599: ADD
0000059a: SWAP4
0000059b: SWAP1
0000059c: SWAP4
0000059d: MSTORE
0000059e: SWAP3
0000059f: AND
000005a0: DUP2
000005a1: DUP4
000005a2: ADD
000005a3: MSTORE
000005a4: SWAP1
000005a5: MLOAD
000005a6: SWAP1
000005a7: DUP2
000005a8: SWAP1
000005a9: SUB
000005aa: PUSH1 0x60
000005ac: ADD
000005ad: SWAP1
000005ae: RETURN
000005af: JUMPDEST
000005b0: CALLVALUE
000005b1: DUP1
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: PUSH2 0x01a5
000005c0: PUSH1 0x04
000005c2: CALLDATALOAD
000005c3: PUSH1 0x24
000005c5: CALLDATALOAD
000005c6: PUSH1 0x44
000005c8: CALLDATALOAD
000005c9: PUSH2 0x1db5
000005cc: JUMP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH2 0x01a5
000005de: PUSH1 0x01
000005e0: PUSH1 0xa0
000005e2: PUSH1 0x02
000005e4: EXP
000005e5: SUB
000005e6: PUSH1 0x04
000005e8: CALLDATALOAD
000005e9: AND
000005ea: PUSH2 0x1fbc
000005ed: JUMP
000005ee: JUMPDEST
000005ef: CALLVALUE
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: PUSH2 0x01a5
000005ff: PUSH1 0x04
00000601: CALLDATALOAD
00000602: PUSH1 0x24
00000604: CALLDATALOAD
00000605: PUSH1 0x44
00000607: CALLDATALOAD
00000608: PUSH2 0x1fdf
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH1 0x00
0000060f: DUP5
00000610: DUP2
00000611: MSTORE
00000612: PUSH1 0x02
00000614: PUSH1 0x20
00000616: MSTORE
00000617: PUSH1 0x40
00000619: DUP2
0000061a: KECCAK256
0000061b: DUP1
0000061c: SLOAD
0000061d: DUP3
0000061e: SWAP2
0000061f: SWAP1
00000620: DUP7
00000621: SWAP1
00000622: DUP2
00000623: LT
00000624: PUSH2 0x0629
00000627: JUMPI
00000628: INVALID
00000629: JUMPDEST
0000062a: SWAP1
0000062b: PUSH1 0x00
0000062d: MSTORE
0000062e: PUSH1 0x20
00000630: PUSH1 0x00
00000632: KECCAK256
00000633: SWAP1
00000634: PUSH1 0x09
00000636: MUL
00000637: ADD
00000638: SWAP2
00000639: POP
0000063a: PUSH1 0x01
0000063c: DUP7
0000063d: DUP2
0000063e: SLOAD
0000063f: DUP2
00000640: LT
00000641: ISZERO
00000642: ISZERO
00000643: PUSH2 0x0648
00000646: JUMPI
00000647: INVALID
00000648: JUMPDEST
00000649: PUSH1 0x00
0000064b: SWAP2
0000064c: DUP3
0000064d: MSTORE
0000064e: PUSH1 0x20
00000650: SWAP1
00000651: SWAP2
00000652: KECCAK256
00000653: PUSH1 0x03
00000655: SWAP1
00000656: SWAP2
00000657: MUL
00000658: ADD
00000659: DUP1
0000065a: SLOAD
0000065b: SWAP1
0000065c: SWAP2
0000065d: POP
0000065e: PUSH1 0x01
00000660: PUSH1 0xa0
00000662: PUSH1 0x02
00000664: EXP
00000665: SUB
00000666: AND
00000667: CALLER
00000668: EQ
00000669: PUSH2 0x06bc
0000066c: JUMPI
0000066d: PUSH1 0x40
0000066f: DUP1
00000670: MLOAD
00000671: PUSH1 0xe5
00000673: PUSH1 0x02
00000675: EXP
00000676: PUSH3 0x461bcd
0000067a: MUL
0000067b: DUP2
0000067c: MSTORE
0000067d: PUSH1 0x20
0000067f: PUSH1 0x04
00000681: DUP3
00000682: ADD
00000683: MSTORE
00000684: PUSH1 0x10
00000686: PUSH1 0x24
00000688: DUP3
00000689: ADD
0000068a: MSTORE
0000068b: PUSH32 0x53656c6c6572206d7573742063616c6c00000000000000000000000000000000
000006ac: PUSH1 0x44
000006ae: DUP3
000006af: ADD
000006b0: MSTORE
000006b1: SWAP1
000006b2: MLOAD
000006b3: SWAP1
000006b4: DUP2
000006b5: SWAP1
000006b6: SUB
000006b7: PUSH1 0x64
000006b9: ADD
000006ba: SWAP1
000006bb: REVERT
000006bc: JUMPDEST
000006bd: PUSH1 0x08
000006bf: DUP3
000006c0: ADD
000006c1: SLOAD
000006c2: PUSH1 0xff
000006c4: AND
000006c5: PUSH1 0x02
000006c7: EQ
000006c8: PUSH2 0x0709
000006cb: JUMPI
000006cc: PUSH1 0x40
000006ce: DUP1
000006cf: MLOAD
000006d0: PUSH1 0xe5
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: PUSH3 0x461bcd
000006d9: MUL
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x20
000006de: PUSH1 0x04
000006e0: DUP3
000006e1: ADD
000006e2: MSTORE
000006e3: PUSH1 0x12
000006e5: PUSH1 0x24
000006e7: DUP3
000006e8: ADD
000006e9: MSTORE
000006ea: PUSH1 0x00
000006ec: DUP1
000006ed: MLOAD
000006ee: PUSH1 0x20
000006f0: PUSH2 0x2c1d
000006f3: DUP4
000006f4: CODECOPY
000006f5: DUP2
000006f6: MLOAD
000006f7: SWAP2
000006f8: MSTORE
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: DUP2
0000070b: SLOAD
0000070c: DUP5
0000070d: GT
0000070e: ISZERO
0000070f: PUSH2 0x0762
00000712: JUMPI
00000713: PUSH1 0x40
00000715: DUP1
00000716: MLOAD
00000717: PUSH1 0xe5
00000719: PUSH1 0x02
0000071b: EXP
0000071c: PUSH3 0x461bcd
00000720: MUL
00000721: DUP2
00000722: MSTORE
00000723: PUSH1 0x20
00000725: PUSH1 0x04
00000727: DUP3
00000728: ADD
00000729: MSTORE
0000072a: PUSH1 0x10
0000072c: PUSH1 0x24
0000072e: DUP3
0000072f: ADD
00000730: MSTORE
00000731: PUSH32 0x45786365737369766520726566756e6400000000000000000000000000000000
00000752: PUSH1 0x44
00000754: DUP3
00000755: ADD
00000756: MSTORE
00000757: SWAP1
00000758: MLOAD
00000759: SWAP1
0000075a: DUP2
0000075b: SWAP1
0000075c: SUB
0000075d: PUSH1 0x64
0000075f: ADD
00000760: SWAP1
00000761: REVERT
00000762: JUMPDEST
00000763: PUSH1 0x02
00000765: DUP3
00000766: ADD
00000767: DUP5
00000768: SWAP1
00000769: SSTORE
0000076a: PUSH1 0x40
0000076c: DUP1
0000076d: MLOAD
0000076e: DUP5
0000076f: DUP2
00000770: MSTORE
00000771: SWAP1
00000772: MLOAD
00000773: DUP7
00000774: SWAP2
00000775: DUP9
00000776: SWAP2
00000777: CALLER
00000778: SWAP2
00000779: PUSH32 0x9b7312a236066d2da679eba7e3a2e86d2d07a973819499846c0efd2fd2506c80
0000079a: SWAP2
0000079b: SWAP1
0000079c: DUP2
0000079d: SWAP1
0000079e: SUB
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: SWAP1
000007a3: LOG4
000007a4: POP
000007a5: POP
000007a6: POP
000007a7: POP
000007a8: POP
000007a9: POP
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x40
000007ae: DUP1
000007af: MLOAD
000007b0: DUP3
000007b1: DUP2
000007b2: MSTORE
000007b3: SWAP1
000007b4: MLOAD
000007b5: CALLER
000007b6: SWAP2
000007b7: PUSH32 0x8e530f3a09c59fdf1b0d5ed714b7a5b94c059256cdc29b8521e9891734c6a2b7
000007d8: SWAP2
000007d9: SWAP1
000007da: DUP2
000007db: SWAP1
000007dc: SUB
000007dd: PUSH1 0x20
000007df: ADD
000007e0: SWAP1
000007e1: LOG2
000007e2: POP
000007e3: JUMP
000007e4: JUMPDEST
000007e5: PUSH1 0x00
000007e7: SLOAD
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa0
000007ec: PUSH1 0x02
000007ee: EXP
000007ef: SUB
000007f0: AND
000007f1: CALLER
000007f2: EQ
000007f3: PUSH2 0x07fb
000007f6: JUMPI
000007f7: PUSH1 0x00
000007f9: DUP1
000007fa: REVERT
000007fb: JUMPDEST
000007fc: PUSH1 0x04
000007fe: DUP1
000007ff: SLOAD
00000800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000815: NOT
00000816: AND
00000817: PUSH1 0x01
00000819: PUSH1 0xa0
0000081b: PUSH1 0x02
0000081d: EXP
0000081e: SUB
0000081f: SWAP3
00000820: SWAP1
00000821: SWAP3
00000822: AND
00000823: SWAP2
00000824: SWAP1
00000825: SWAP2
00000826: OR
00000827: SWAP1
00000828: SSTORE
00000829: JUMP
0000082a: JUMPDEST
0000082b: PUSH1 0x02
0000082d: PUSH1 0x20
0000082f: MSTORE
00000830: DUP2
00000831: PUSH1 0x00
00000833: MSTORE
00000834: PUSH1 0x40
00000836: PUSH1 0x00
00000838: KECCAK256
00000839: DUP2
0000083a: DUP2
0000083b: SLOAD
0000083c: DUP2
0000083d: LT
0000083e: ISZERO
0000083f: ISZERO
00000840: PUSH2 0x0845
00000843: JUMPI
00000844: INVALID
00000845: JUMPDEST
00000846: PUSH1 0x00
00000848: SWAP2
00000849: DUP3
0000084a: MSTORE
0000084b: PUSH1 0x20
0000084d: SWAP1
0000084e: SWAP2
0000084f: KECCAK256
00000850: PUSH1 0x09
00000852: SWAP1
00000853: SWAP2
00000854: MUL
00000855: ADD
00000856: DUP1
00000857: SLOAD
00000858: PUSH1 0x01
0000085a: DUP3
0000085b: ADD
0000085c: SLOAD
0000085d: PUSH1 0x02
0000085f: DUP4
00000860: ADD
00000861: SLOAD
00000862: PUSH1 0x03
00000864: DUP5
00000865: ADD
00000866: SLOAD
00000867: PUSH1 0x04
00000869: DUP6
0000086a: ADD
0000086b: SLOAD
0000086c: PUSH1 0x05
0000086e: DUP7
0000086f: ADD
00000870: SLOAD
00000871: PUSH1 0x06
00000873: DUP8
00000874: ADD
00000875: SLOAD
00000876: PUSH1 0x07
00000878: DUP9
00000879: ADD
0000087a: SLOAD
0000087b: PUSH1 0x08
0000087d: SWAP1
0000087e: SWAP9
0000087f: ADD
00000880: SLOAD
00000881: SWAP7
00000882: SWAP10
00000883: POP
00000884: SWAP5
00000885: SWAP8
00000886: POP
00000887: SWAP3
00000888: SWAP6
00000889: PUSH1 0x01
0000088b: PUSH1 0xa0
0000088d: PUSH1 0x02
0000088f: EXP
00000890: SUB
00000891: SWAP3
00000892: DUP4
00000893: AND
00000894: SWAP6
00000895: SWAP2
00000896: DUP4
00000897: AND
00000898: SWAP5
00000899: SWAP4
0000089a: DUP4
0000089b: AND
0000089c: SWAP4
0000089d: SWAP1
0000089e: SWAP3
0000089f: AND
000008a0: SWAP2
000008a1: SWAP1
000008a2: PUSH1 0xff
000008a4: AND
000008a5: DUP10
000008a6: JUMP
000008a7: JUMPDEST
000008a8: ADDRESS
000008a9: PUSH1 0x00
000008ab: SWAP1
000008ac: DUP2
000008ad: MSTORE
000008ae: PUSH1 0x03
000008b0: PUSH1 0x20
000008b2: MSTORE
000008b3: PUSH1 0x40
000008b5: SWAP1
000008b6: KECCAK256
000008b7: SLOAD
000008b8: PUSH1 0xff
000008ba: AND
000008bb: DUP1
000008bc: DUP1
000008bd: PUSH2 0x08de
000008c0: JUMPI
000008c1: POP
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: PUSH1 0x02
000008c8: EXP
000008c9: SUB
000008ca: DUP7
000008cb: AND
000008cc: PUSH1 0x00
000008ce: SWAP1
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x03
000008d3: PUSH1 0x20
000008d5: MSTORE
000008d6: PUSH1 0x40
000008d8: SWAP1
000008d9: KECCAK256
000008da: SLOAD
000008db: PUSH1 0xff
000008dd: AND
000008de: JUMPDEST
000008df: ISZERO
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 0x15
000008fe: PUSH1 0x24
00000900: DUP3
00000901: ADD
00000902: MSTORE
00000903: PUSH32 0x416666696c69617465206e6f7420616c6c6f7765640000000000000000000000
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 0x01
00000937: PUSH1 0xa0
00000939: PUSH1 0x02
0000093b: EXP
0000093c: SUB
0000093d: DUP7
0000093e: AND
0000093f: ISZERO
00000940: ISZERO
00000941: PUSH2 0x099a
00000944: JUMPI
00000945: DUP5
00000946: ISZERO
00000947: PUSH2 0x099a
0000094a: JUMPI
0000094b: PUSH1 0x40
0000094d: DUP1
0000094e: MLOAD
0000094f: PUSH1 0xe5
00000951: PUSH1 0x02
00000953: EXP
00000954: PUSH3 0x461bcd
00000958: MUL
00000959: DUP2
0000095a: MSTORE
0000095b: PUSH1 0x20
0000095d: PUSH1 0x04
0000095f: DUP3
00000960: ADD
00000961: MSTORE
00000962: PUSH1 0x1d
00000964: PUSH1 0x24
00000966: DUP3
00000967: ADD
00000968: MSTORE
00000969: PUSH32 0x636f6d6d697373696f6e20726571756972657320616666696c69617465000000
0000098a: PUSH1 0x44
0000098c: DUP3
0000098d: ADD
0000098e: MSTORE
0000098f: SWAP1
00000990: MLOAD
00000991: SWAP1
00000992: DUP2
00000993: SWAP1
00000994: SUB
00000995: PUSH1 0x64
00000997: ADD
00000998: SWAP1
00000999: REVERT
0000099a: JUMPDEST
0000099b: PUSH1 0x02
0000099d: PUSH1 0x00
0000099f: DUP11
000009a0: DUP2
000009a1: MSTORE
000009a2: PUSH1 0x20
000009a4: ADD
000009a5: SWAP1
000009a6: DUP2
000009a7: MSTORE
000009a8: PUSH1 0x20
000009aa: ADD
000009ab: PUSH1 0x00
000009ad: KECCAK256
000009ae: PUSH2 0x0120
000009b1: PUSH1 0x40
000009b3: MLOAD
000009b4: SWAP1
000009b5: DUP2
000009b6: ADD
000009b7: PUSH1 0x40
000009b9: MSTORE
000009ba: DUP1
000009bb: DUP7
000009bc: DUP2
000009bd: MSTORE
000009be: PUSH1 0x20
000009c0: ADD
000009c1: DUP8
000009c2: DUP2
000009c3: MSTORE
000009c4: PUSH1 0x20
000009c6: ADD
000009c7: PUSH1 0x00
000009c9: DUP2
000009ca: MSTORE
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: DUP6
000009cf: PUSH1 0x01
000009d1: PUSH1 0xa0
000009d3: PUSH1 0x02
000009d5: EXP
000009d6: SUB
000009d7: AND
000009d8: DUP2
000009d9: MSTORE
000009da: PUSH1 0x20
000009dc: ADD
000009dd: CALLER
000009de: PUSH1 0x01
000009e0: PUSH1 0xa0
000009e2: PUSH1 0x02
000009e4: EXP
000009e5: SUB
000009e6: AND
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x20
000009eb: ADD
000009ec: DUP9
000009ed: PUSH1 0x01
000009ef: PUSH1 0xa0
000009f1: PUSH1 0x02
000009f3: EXP
000009f4: SUB
000009f5: AND
000009f6: DUP2
000009f7: MSTORE
000009f8: PUSH1 0x20
000009fa: ADD
000009fb: DUP5
000009fc: PUSH1 0x01
000009fe: PUSH1 0xa0
00000a00: PUSH1 0x02
00000a02: EXP
00000a03: SUB
00000a04: AND
00000a05: DUP2
00000a06: MSTORE
00000a07: PUSH1 0x20
00000a09: ADD
00000a0a: DUP10
00000a0b: DUP2
00000a0c: MSTORE
00000a0d: PUSH1 0x20
00000a0f: ADD
00000a10: PUSH1 0x01
00000a12: PUSH1 0xff
00000a14: AND
00000a15: DUP2
00000a16: MSTORE
00000a17: POP
00000a18: SWAP1
00000a19: DUP1
00000a1a: PUSH1 0x01
00000a1c: DUP2
00000a1d: SLOAD
00000a1e: ADD
00000a1f: DUP1
00000a20: DUP3
00000a21: SSTORE
00000a22: DUP1
00000a23: SWAP2
00000a24: POP
00000a25: POP
00000a26: SWAP1
00000a27: PUSH1 0x01
00000a29: DUP3
00000a2a: SUB
00000a2b: SWAP1
00000a2c: PUSH1 0x00
00000a2e: MSTORE
00000a2f: PUSH1 0x20
00000a31: PUSH1 0x00
00000a33: KECCAK256
00000a34: SWAP1
00000a35: PUSH1 0x09
00000a37: MUL
00000a38: ADD
00000a39: PUSH1 0x00
00000a3b: SWAP1
00000a3c: SWAP2
00000a3d: SWAP3
00000a3e: SWAP1
00000a3f: SWAP2
00000a40: SWAP1
00000a41: SWAP2
00000a42: POP
00000a43: PUSH1 0x00
00000a45: DUP3
00000a46: ADD
00000a47: MLOAD
00000a48: DUP2
00000a49: PUSH1 0x00
00000a4b: ADD
00000a4c: SSTORE
00000a4d: PUSH1 0x20
00000a4f: DUP3
00000a50: ADD
00000a51: MLOAD
00000a52: DUP2
00000a53: PUSH1 0x01
00000a55: ADD
00000a56: SSTORE
00000a57: PUSH1 0x40
00000a59: DUP3
00000a5a: ADD
00000a5b: MLOAD
00000a5c: DUP2
00000a5d: PUSH1 0x02
00000a5f: ADD
00000a60: SSTORE
00000a61: PUSH1 0x60
00000a63: DUP3
00000a64: ADD
00000a65: MLOAD
00000a66: DUP2
00000a67: PUSH1 0x03
00000a69: ADD
00000a6a: PUSH1 0x00
00000a6c: PUSH2 0x0100
00000a6f: EXP
00000a70: DUP2
00000a71: SLOAD
00000a72: DUP2
00000a73: PUSH1 0x01
00000a75: PUSH1 0xa0
00000a77: PUSH1 0x02
00000a79: EXP
00000a7a: SUB
00000a7b: MUL
00000a7c: NOT
00000a7d: AND
00000a7e: SWAP1
00000a7f: DUP4
00000a80: PUSH1 0x01
00000a82: PUSH1 0xa0
00000a84: PUSH1 0x02
00000a86: EXP
00000a87: SUB
00000a88: AND
00000a89: MUL
00000a8a: OR
00000a8b: SWAP1
00000a8c: SSTORE
00000a8d: POP
00000a8e: PUSH1 0x80
00000a90: DUP3
00000a91: ADD
00000a92: MLOAD
00000a93: DUP2
00000a94: PUSH1 0x04
00000a96: ADD
00000a97: PUSH1 0x00
00000a99: PUSH2 0x0100
00000a9c: EXP
00000a9d: DUP2
00000a9e: SLOAD
00000a9f: DUP2
00000aa0: PUSH1 0x01
00000aa2: PUSH1 0xa0
00000aa4: PUSH1 0x02
00000aa6: EXP
00000aa7: SUB
00000aa8: MUL
00000aa9: NOT
00000aaa: AND
00000aab: SWAP1
00000aac: DUP4
00000aad: PUSH1 0x01
00000aaf: PUSH1 0xa0
00000ab1: PUSH1 0x02
00000ab3: EXP
00000ab4: SUB
00000ab5: AND
00000ab6: MUL
00000ab7: OR
00000ab8: SWAP1
00000ab9: SSTORE
00000aba: POP
00000abb: PUSH1 0xa0
00000abd: DUP3
00000abe: ADD
00000abf: MLOAD
00000ac0: DUP2
00000ac1: PUSH1 0x05
00000ac3: ADD
00000ac4: PUSH1 0x00
00000ac6: PUSH2 0x0100
00000ac9: EXP
00000aca: DUP2
00000acb: SLOAD
00000acc: DUP2
00000acd: PUSH1 0x01
00000acf: PUSH1 0xa0
00000ad1: PUSH1 0x02
00000ad3: EXP
00000ad4: SUB
00000ad5: MUL
00000ad6: NOT
00000ad7: AND
00000ad8: SWAP1
00000ad9: DUP4
00000ada: PUSH1 0x01
00000adc: PUSH1 0xa0
00000ade: PUSH1 0x02
00000ae0: EXP
00000ae1: SUB
00000ae2: AND
00000ae3: MUL
00000ae4: OR
00000ae5: SWAP1
00000ae6: SSTORE
00000ae7: POP
00000ae8: PUSH1 0xc0
00000aea: DUP3
00000aeb: ADD
00000aec: MLOAD
00000aed: DUP2
00000aee: PUSH1 0x06
00000af0: ADD
00000af1: PUSH1 0x00
00000af3: PUSH2 0x0100
00000af6: EXP
00000af7: DUP2
00000af8: SLOAD
00000af9: DUP2
00000afa: PUSH1 0x01
00000afc: PUSH1 0xa0
00000afe: PUSH1 0x02
00000b00: EXP
00000b01: SUB
00000b02: MUL
00000b03: NOT
00000b04: AND
00000b05: SWAP1
00000b06: DUP4
00000b07: PUSH1 0x01
00000b09: PUSH1 0xa0
00000b0b: PUSH1 0x02
00000b0d: EXP
00000b0e: SUB
00000b0f: AND
00000b10: MUL
00000b11: OR
00000b12: SWAP1
00000b13: SSTORE
00000b14: POP
00000b15: PUSH1 0xe0
00000b17: DUP3
00000b18: ADD
00000b19: MLOAD
00000b1a: DUP2
00000b1b: PUSH1 0x07
00000b1d: ADD
00000b1e: SSTORE
00000b1f: PUSH2 0x0100
00000b22: DUP3
00000b23: ADD
00000b24: MLOAD
00000b25: DUP2
00000b26: PUSH1 0x08
00000b28: ADD
00000b29: PUSH1 0x00
00000b2b: PUSH2 0x0100
00000b2e: EXP
00000b2f: DUP2
00000b30: SLOAD
00000b31: DUP2
00000b32: PUSH1 0xff
00000b34: MUL
00000b35: NOT
00000b36: AND
00000b37: SWAP1
00000b38: DUP4
00000b39: PUSH1 0xff
00000b3b: AND
00000b3c: MUL
00000b3d: OR
00000b3e: SWAP1
00000b3f: SSTORE
00000b40: POP
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: DUP3
00000b45: PUSH1 0x01
00000b47: PUSH1 0xa0
00000b49: PUSH1 0x02
00000b4b: EXP
00000b4c: SUB
00000b4d: AND
00000b4e: PUSH1 0x00
00000b50: EQ
00000b51: ISZERO
00000b52: PUSH2 0x0bb1
00000b55: JUMPI
00000b56: CALLVALUE
00000b57: DUP5
00000b58: EQ
00000b59: PUSH2 0x0bac
00000b5c: JUMPI
00000b5d: PUSH1 0x40
00000b5f: DUP1
00000b60: MLOAD
00000b61: PUSH1 0xe5
00000b63: PUSH1 0x02
00000b65: EXP
00000b66: PUSH3 0x461bcd
00000b6a: MUL
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x20
00000b6f: PUSH1 0x04
00000b71: DUP3
00000b72: ADD
00000b73: MSTORE
00000b74: PUSH1 0x1d
00000b76: PUSH1 0x24
00000b78: DUP3
00000b79: ADD
00000b7a: MSTORE
00000b7b: PUSH32 0x4554482076616c756520646f65736e2774206d61746368206f66666572000000
00000b9c: PUSH1 0x44
00000b9e: DUP3
00000b9f: ADD
00000ba0: MSTORE
00000ba1: SWAP1
00000ba2: MLOAD
00000ba3: SWAP1
00000ba4: DUP2
00000ba5: SWAP1
00000ba6: SUB
00000ba7: PUSH1 0x64
00000ba9: ADD
00000baa: SWAP1
00000bab: REVERT
00000bac: JUMPDEST
00000bad: PUSH2 0x0ce1
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: CALLVALUE
00000bb3: ISZERO
00000bb4: PUSH2 0x0c07
00000bb7: JUMPI
00000bb8: PUSH1 0x40
00000bba: DUP1
00000bbb: MLOAD
00000bbc: PUSH1 0xe5
00000bbe: PUSH1 0x02
00000bc0: EXP
00000bc1: PUSH3 0x461bcd
00000bc5: MUL
00000bc6: DUP2
00000bc7: MSTORE
00000bc8: PUSH1 0x20
00000bca: PUSH1 0x04
00000bcc: DUP3
00000bcd: ADD
00000bce: MSTORE
00000bcf: PUSH1 0x11
00000bd1: PUSH1 0x24
00000bd3: DUP3
00000bd4: ADD
00000bd5: MSTORE
00000bd6: PUSH32 0x45544820776f756c64206265206c6f7374000000000000000000000000000000
00000bf7: PUSH1 0x44
00000bf9: DUP3
00000bfa: ADD
00000bfb: MSTORE
00000bfc: SWAP1
00000bfd: MLOAD
00000bfe: SWAP1
00000bff: DUP2
00000c00: SWAP1
00000c01: SUB
00000c02: PUSH1 0x64
00000c04: ADD
00000c05: SWAP1
00000c06: REVERT
00000c07: JUMPDEST
00000c08: PUSH1 0x40
00000c0a: DUP1
00000c0b: MLOAD
00000c0c: PUSH1 0xe0
00000c0e: PUSH1 0x02
00000c10: EXP
00000c11: PUSH4 0x23b872dd
00000c16: MUL
00000c17: DUP2
00000c18: MSTORE
00000c19: CALLER
00000c1a: PUSH1 0x04
00000c1c: DUP3
00000c1d: ADD
00000c1e: MSTORE
00000c1f: ADDRESS
00000c20: PUSH1 0x24
00000c22: DUP3
00000c23: ADD
00000c24: MSTORE
00000c25: PUSH1 0x44
00000c27: DUP2
00000c28: ADD
00000c29: DUP7
00000c2a: SWAP1
00000c2b: MSTORE
00000c2c: SWAP1
00000c2d: MLOAD
00000c2e: PUSH1 0x01
00000c30: PUSH1 0xa0
00000c32: PUSH1 0x02
00000c34: EXP
00000c35: SUB
00000c36: DUP6
00000c37: AND
00000c38: SWAP2
00000c39: PUSH4 0x23b872dd
00000c3e: SWAP2
00000c3f: PUSH1 0x64
00000c41: DUP1
00000c42: DUP4
00000c43: ADD
00000c44: SWAP3
00000c45: PUSH1 0x20
00000c47: SWAP3
00000c48: SWAP2
00000c49: SWAP1
00000c4a: DUP3
00000c4b: SWAP1
00000c4c: SUB
00000c4d: ADD
00000c4e: DUP2
00000c4f: PUSH1 0x00
00000c51: DUP8
00000c52: DUP1
00000c53: EXTCODESIZE
00000c54: ISZERO
00000c55: DUP1
00000c56: ISZERO
00000c57: PUSH2 0x0c5f
00000c5a: JUMPI
00000c5b: PUSH1 0x00
00000c5d: DUP1
00000c5e: REVERT
00000c5f: JUMPDEST
00000c60: POP
00000c61: GAS
00000c62: CALL
00000c63: ISZERO
00000c64: DUP1
00000c65: ISZERO
00000c66: PUSH2 0x0c73
00000c69: JUMPI
00000c6a: RETURNDATASIZE
00000c6b: PUSH1 0x00
00000c6d: DUP1
00000c6e: RETURNDATACOPY
00000c6f: RETURNDATASIZE
00000c70: PUSH1 0x00
00000c72: REVERT
00000c73: JUMPDEST
00000c74: POP
00000c75: POP
00000c76: POP
00000c77: POP
00000c78: PUSH1 0x40
00000c7a: MLOAD
00000c7b: RETURNDATASIZE
00000c7c: PUSH1 0x20
00000c7e: DUP2
00000c7f: LT
00000c80: ISZERO
00000c81: PUSH2 0x0c89
00000c84: JUMPI
00000c85: PUSH1 0x00
00000c87: DUP1
00000c88: REVERT
00000c89: JUMPDEST
00000c8a: POP
00000c8b: MLOAD
00000c8c: ISZERO
00000c8d: ISZERO
00000c8e: PUSH2 0x0ce1
00000c91: JUMPI
00000c92: PUSH1 0x40
00000c94: DUP1
00000c95: MLOAD
00000c96: PUSH1 0xe5
00000c98: PUSH1 0x02
00000c9a: EXP
00000c9b: PUSH3 0x461bcd
00000c9f: MUL
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x20
00000ca4: PUSH1 0x04
00000ca6: DUP3
00000ca7: ADD
00000ca8: MSTORE
00000ca9: PUSH1 0x13
00000cab: PUSH1 0x24
00000cad: DUP3
00000cae: ADD
00000caf: MSTORE
00000cb0: PUSH32 0x7472616e7366657246726f6d206661696c656400000000000000000000000000
00000cd1: PUSH1 0x44
00000cd3: DUP3
00000cd4: ADD
00000cd5: MSTORE
00000cd6: SWAP1
00000cd7: MLOAD
00000cd8: SWAP1
00000cd9: DUP2
00000cda: SWAP1
00000cdb: SUB
00000cdc: PUSH1 0x64
00000cde: ADD
00000cdf: SWAP1
00000ce0: REVERT
00000ce1: JUMPDEST
00000ce2: PUSH1 0x00
00000ce4: DUP10
00000ce5: DUP2
00000ce6: MSTORE
00000ce7: PUSH1 0x02
00000ce9: PUSH1 0x20
00000ceb: SWAP1
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x40
00000cf0: SWAP2
00000cf1: DUP3
00000cf2: SWAP1
00000cf3: KECCAK256
00000cf4: SLOAD
00000cf5: DUP3
00000cf6: MLOAD
00000cf7: DUP12
00000cf8: DUP2
00000cf9: MSTORE
00000cfa: SWAP3
00000cfb: MLOAD
00000cfc: PUSH1 0x00
00000cfe: NOT
00000cff: SWAP1
00000d00: SWAP2
00000d01: ADD
00000d02: SWAP3
00000d03: DUP13
00000d04: SWAP3
00000d05: CALLER
00000d06: SWAP3
00000d07: PUSH32 0x6ee68cb753f284cf771c1a32c236d7ffcab6011345186a30e57837d761e86837
00000d28: SWAP3
00000d29: DUP2
00000d2a: SWAP1
00000d2b: SUB
00000d2c: SWAP1
00000d2d: SWAP2
00000d2e: ADD
00000d2f: SWAP1
00000d30: LOG4
00000d31: POP
00000d32: POP
00000d33: POP
00000d34: POP
00000d35: POP
00000d36: POP
00000d37: POP
00000d38: POP
00000d39: POP
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: PUSH1 0x00
00000d3e: PUSH1 0x01
00000d40: DUP6
00000d41: DUP2
00000d42: SLOAD
00000d43: DUP2
00000d44: LT
00000d45: ISZERO
00000d46: ISZERO
00000d47: PUSH2 0x0d4c
00000d4a: JUMPI
00000d4b: INVALID
00000d4c: JUMPDEST
00000d4d: PUSH1 0x00
00000d4f: SWAP2
00000d50: DUP3
00000d51: MSTORE
00000d52: PUSH1 0x20
00000d54: SWAP1
00000d55: SWAP2
00000d56: KECCAK256
00000d57: PUSH1 0x02
00000d59: PUSH1 0x03
00000d5b: SWAP1
00000d5c: SWAP3
00000d5d: MUL
00000d5e: ADD
00000d5f: SWAP1
00000d60: DUP2
00000d61: ADD
00000d62: SLOAD
00000d63: SWAP1
00000d64: SWAP2
00000d65: POP
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: PUSH1 0x02
00000d6c: EXP
00000d6d: SUB
00000d6e: AND
00000d6f: CALLER
00000d70: EQ
00000d71: PUSH2 0x0dc4
00000d74: JUMPI
00000d75: PUSH1 0x40
00000d77: DUP1
00000d78: MLOAD
00000d79: PUSH1 0xe5
00000d7b: PUSH1 0x02
00000d7d: EXP
00000d7e: PUSH3 0x461bcd
00000d82: MUL
00000d83: DUP2
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: PUSH1 0x04
00000d89: DUP3
00000d8a: ADD
00000d8b: MSTORE
00000d8c: PUSH1 0x18
00000d8e: PUSH1 0x24
00000d90: DUP3
00000d91: ADD
00000d92: MSTORE
00000d93: PUSH32 0x6465706f7369744d616e61676572206d7573742063616c6c0000000000000000
00000db4: PUSH1 0x44
00000db6: DUP3
00000db7: ADD
00000db8: MSTORE
00000db9: SWAP1
00000dba: MLOAD
00000dbb: SWAP1
00000dbc: DUP2
00000dbd: SWAP1
00000dbe: SUB
00000dbf: PUSH1 0x64
00000dc1: ADD
00000dc2: SWAP1
00000dc3: REVERT
00000dc4: JUMPDEST
00000dc5: PUSH1 0x01
00000dc7: DUP2
00000dc8: ADD
00000dc9: SLOAD
00000dca: DUP4
00000dcb: GT
00000dcc: ISZERO
00000dcd: PUSH2 0x0e20
00000dd0: JUMPI
00000dd1: PUSH1 0x40
00000dd3: DUP1
00000dd4: MLOAD
00000dd5: PUSH1 0xe5
00000dd7: PUSH1 0x02
00000dd9: EXP
00000dda: PUSH3 0x461bcd
00000dde: MUL
00000ddf: DUP2
00000de0: MSTORE
00000de1: PUSH1 0x20
00000de3: PUSH1 0x04
00000de5: DUP3
00000de6: ADD
00000de7: MSTORE
00000de8: PUSH1 0x0e
00000dea: PUSH1 0x24
00000dec: DUP3
00000ded: ADD
00000dee: MSTORE
00000def: PUSH32 0x56616c756520746f6f2068696768000000000000000000000000000000000000
00000e10: PUSH1 0x44
00000e12: DUP3
00000e13: ADD
00000e14: MSTORE
00000e15: SWAP1
00000e16: MLOAD
00000e17: SWAP1
00000e18: DUP2
00000e19: SWAP1
00000e1a: SUB
00000e1b: PUSH1 0x64
00000e1d: ADD
00000e1e: SWAP1
00000e1f: REVERT
00000e20: JUMPDEST
00000e21: PUSH1 0x01
00000e23: DUP2
00000e24: ADD
00000e25: DUP1
00000e26: SLOAD
00000e27: DUP5
00000e28: SWAP1
00000e29: SUB
00000e2a: SWAP1
00000e2b: SSTORE
00000e2c: PUSH1 0x04
00000e2e: DUP1
00000e2f: SLOAD
00000e30: PUSH1 0x40
00000e32: DUP1
00000e33: MLOAD
00000e34: PUSH1 0xe0
00000e36: PUSH1 0x02
00000e38: EXP
00000e39: PUSH4 0xa9059cbb
00000e3e: MUL
00000e3f: DUP2
00000e40: MSTORE
00000e41: PUSH1 0x01
00000e43: PUSH1 0xa0
00000e45: PUSH1 0x02
00000e47: EXP
00000e48: SUB
00000e49: DUP9
00000e4a: DUP2
00000e4b: AND
00000e4c: SWAP5
00000e4d: DUP3
00000e4e: ADD
00000e4f: SWAP5
00000e50: SWAP1
00000e51: SWAP5
00000e52: MSTORE
00000e53: PUSH1 0x24
00000e55: DUP2
00000e56: ADD
00000e57: DUP8
00000e58: SWAP1
00000e59: MSTORE
00000e5a: SWAP1
00000e5b: MLOAD
00000e5c: SWAP3
00000e5d: SWAP1
00000e5e: SWAP2
00000e5f: AND
00000e60: SWAP2
00000e61: PUSH4 0xa9059cbb
00000e66: SWAP2
00000e67: PUSH1 0x44
00000e69: DUP1
00000e6a: DUP3
00000e6b: ADD
00000e6c: SWAP3
00000e6d: PUSH1 0x20
00000e6f: SWAP3
00000e70: SWAP1
00000e71: SWAP2
00000e72: SWAP1
00000e73: DUP3
00000e74: SWAP1
00000e75: SUB
00000e76: ADD
00000e77: DUP2
00000e78: PUSH1 0x00
00000e7a: DUP8
00000e7b: DUP1
00000e7c: EXTCODESIZE
00000e7d: ISZERO
00000e7e: DUP1
00000e7f: ISZERO
00000e80: PUSH2 0x0e88
00000e83: JUMPI
00000e84: PUSH1 0x00
00000e86: DUP1
00000e87: REVERT
00000e88: JUMPDEST
00000e89: POP
00000e8a: GAS
00000e8b: CALL
00000e8c: ISZERO
00000e8d: DUP1
00000e8e: ISZERO
00000e8f: PUSH2 0x0e9c
00000e92: JUMPI
00000e93: RETURNDATASIZE
00000e94: PUSH1 0x00
00000e96: DUP1
00000e97: RETURNDATACOPY
00000e98: RETURNDATASIZE
00000e99: PUSH1 0x00
00000e9b: REVERT
00000e9c: JUMPDEST
00000e9d: POP
00000e9e: POP
00000e9f: POP
00000ea0: POP
00000ea1: PUSH1 0x40
00000ea3: MLOAD
00000ea4: RETURNDATASIZE
00000ea5: PUSH1 0x20
00000ea7: DUP2
00000ea8: LT
00000ea9: ISZERO
00000eaa: PUSH2 0x0eb2
00000ead: JUMPI
00000eae: PUSH1 0x00
00000eb0: DUP1
00000eb1: REVERT
00000eb2: JUMPDEST
00000eb3: POP
00000eb4: MLOAD
00000eb5: ISZERO
00000eb6: ISZERO
00000eb7: PUSH2 0x0f0a
00000eba: JUMPI
00000ebb: PUSH1 0x40
00000ebd: DUP1
00000ebe: MLOAD
00000ebf: PUSH1 0xe5
00000ec1: PUSH1 0x02
00000ec3: EXP
00000ec4: PUSH3 0x461bcd
00000ec8: MUL
00000ec9: DUP2
00000eca: MSTORE
00000ecb: PUSH1 0x20
00000ecd: PUSH1 0x04
00000ecf: DUP3
00000ed0: ADD
00000ed1: MSTORE
00000ed2: PUSH1 0x0f
00000ed4: PUSH1 0x24
00000ed6: DUP3
00000ed7: ADD
00000ed8: MSTORE
00000ed9: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000
00000efa: PUSH1 0x44
00000efc: DUP3
00000efd: ADD
00000efe: MSTORE
00000eff: SWAP1
00000f00: MLOAD
00000f01: SWAP1
00000f02: DUP2
00000f03: SWAP1
00000f04: SUB
00000f05: PUSH1 0x64
00000f07: ADD
00000f08: SWAP1
00000f09: REVERT
00000f0a: JUMPDEST
00000f0b: PUSH1 0x40
00000f0d: DUP1
00000f0e: MLOAD
00000f0f: DUP4
00000f10: DUP2
00000f11: MSTORE
00000f12: SWAP1
00000f13: MLOAD
00000f14: DUP7
00000f15: SWAP2
00000f16: PUSH1 0x01
00000f18: PUSH1 0xa0
00000f1a: PUSH1 0x02
00000f1c: EXP
00000f1d: SUB
00000f1e: DUP8
00000f1f: AND
00000f20: SWAP2
00000f21: PUSH32 0x9c9827b799328bcbadbd04862686713436136571c54d7ca0388bd952f314f890
00000f42: SWAP2
00000f43: DUP2
00000f44: SWAP1
00000f45: SUB
00000f46: PUSH1 0x20
00000f48: ADD
00000f49: SWAP1
00000f4a: LOG3
00000f4b: POP
00000f4c: POP
00000f4d: POP
00000f4e: POP
00000f4f: POP
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0x04
00000f54: SLOAD
00000f55: PUSH1 0x01
00000f57: PUSH1 0xa0
00000f59: PUSH1 0x02
00000f5b: EXP
00000f5c: SUB
00000f5d: AND
00000f5e: DUP2
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH1 0x00
00000f63: DUP1
00000f64: PUSH1 0x01
00000f66: DUP6
00000f67: DUP2
00000f68: SLOAD
00000f69: DUP2
00000f6a: LT
00000f6b: ISZERO
00000f6c: ISZERO
00000f6d: PUSH2 0x0f72
00000f70: JUMPI
00000f71: INVALID
00000f72: JUMPDEST
00000f73: SWAP1
00000f74: PUSH1 0x00
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: PUSH1 0x00
00000f7b: KECCAK256
00000f7c: SWAP1
00000f7d: PUSH1 0x03
00000f7f: MUL
00000f80: ADD
00000f81: SWAP2
00000f82: POP
00000f83: PUSH1 0x02
00000f85: PUSH1 0x00
00000f87: DUP7
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH1 0x20
00000f8c: ADD
00000f8d: SWAP1
00000f8e: DUP2
00000f8f: MSTORE
00000f90: PUSH1 0x20
00000f92: ADD
00000f93: PUSH1 0x00
00000f95: KECCAK256
00000f96: DUP5
00000f97: DUP2
00000f98: SLOAD
00000f99: DUP2
00000f9a: LT
00000f9b: ISZERO
00000f9c: ISZERO
00000f9d: PUSH2 0x0fa2
00000fa0: JUMPI
00000fa1: INVALID
00000fa2: JUMPDEST
00000fa3: PUSH1 0x00
00000fa5: SWAP2
00000fa6: DUP3
00000fa7: MSTORE
00000fa8: PUSH1 0x20
00000faa: SWAP1
00000fab: SWAP2
00000fac: KECCAK256
00000fad: PUSH1 0x09
00000faf: SWAP1
00000fb0: SWAP2
00000fb1: MUL
00000fb2: ADD
00000fb3: PUSH1 0x04
00000fb5: DUP2
00000fb6: ADD
00000fb7: SLOAD
00000fb8: SWAP1
00000fb9: SWAP2
00000fba: POP
00000fbb: PUSH1 0x01
00000fbd: PUSH1 0xa0
00000fbf: PUSH1 0x02
00000fc1: EXP
00000fc2: SUB
00000fc3: AND
00000fc4: CALLER
00000fc5: EQ
00000fc6: DUP1
00000fc7: PUSH2 0x0fd9
00000fca: JUMPI
00000fcb: POP
00000fcc: DUP2
00000fcd: SLOAD
00000fce: PUSH1 0x01
00000fd0: PUSH1 0xa0
00000fd2: PUSH1 0x02
00000fd4: EXP
00000fd5: SUB
00000fd6: AND
00000fd7: CALLER
00000fd8: EQ
00000fd9: JUMPDEST
00000fda: ISZERO
00000fdb: ISZERO
00000fdc: PUSH2 0x102f
00000fdf: JUMPI
00000fe0: PUSH1 0x40
00000fe2: DUP1
00000fe3: MLOAD
00000fe4: PUSH1 0xe5
00000fe6: PUSH1 0x02
00000fe8: EXP
00000fe9: PUSH3 0x461bcd
00000fed: MUL
00000fee: DUP2
00000fef: MSTORE
00000ff0: PUSH1 0x20
00000ff2: PUSH1 0x04
00000ff4: DUP3
00000ff5: ADD
00000ff6: MSTORE
00000ff7: PUSH1 0x17
00000ff9: PUSH1 0x24
00000ffb: DUP3
00000ffc: ADD
00000ffd: MSTORE
00000ffe: PUSH32 0x4d7573742062652073656c6c6572206f72206275796572000000000000000000
0000101f: PUSH1 0x44
00001021: DUP3
00001022: ADD
00001023: MSTORE
00001024: SWAP1
00001025: MLOAD
00001026: SWAP1
00001027: DUP2
00001028: SWAP1
00001029: SUB
0000102a: PUSH1 0x64
0000102c: ADD
0000102d: SWAP1
0000102e: REVERT
0000102f: JUMPDEST
00001030: PUSH1 0x08
00001032: DUP2
00001033: ADD
00001034: SLOAD
00001035: PUSH1 0xff
00001037: AND
00001038: PUSH1 0x02
0000103a: EQ
0000103b: PUSH2 0x107c
0000103e: JUMPI
0000103f: PUSH1 0x40
00001041: DUP1
00001042: MLOAD
00001043: PUSH1 0xe5
00001045: PUSH1 0x02
00001047: EXP
00001048: PUSH3 0x461bcd
0000104c: MUL
0000104d: DUP2
0000104e: MSTORE
0000104f: PUSH1 0x20
00001051: PUSH1 0x04
00001053: DUP3
00001054: ADD
00001055: MSTORE
00001056: PUSH1 0x12
00001058: PUSH1 0x24
0000105a: DUP3
0000105b: ADD
0000105c: MSTORE
0000105d: PUSH1 0x00
0000105f: DUP1
00001060: MLOAD
00001061: PUSH1 0x20
00001063: PUSH2 0x2c1d
00001066: DUP4
00001067: CODECOPY
00001068: DUP2
00001069: MLOAD
0000106a: SWAP2
0000106b: MSTORE
0000106c: PUSH1 0x44
0000106e: DUP3
0000106f: ADD
00001070: MSTORE
00001071: SWAP1
00001072: MLOAD
00001073: SWAP1
00001074: DUP2
00001075: SWAP1
00001076: SUB
00001077: PUSH1 0x64
00001079: ADD
0000107a: SWAP1
0000107b: REVERT
0000107c: JUMPDEST
0000107d: PUSH1 0x07
0000107f: DUP2
00001080: ADD
00001081: SLOAD
00001082: TIMESTAMP
00001083: GT
00001084: ISZERO
00001085: PUSH2 0x10d8
00001088: JUMPI
00001089: PUSH1 0x40
0000108b: DUP1
0000108c: MLOAD
0000108d: PUSH1 0xe5
0000108f: PUSH1 0x02
00001091: EXP
00001092: PUSH3 0x461bcd
00001096: MUL
00001097: DUP2
00001098: MSTORE
00001099: PUSH1 0x20
0000109b: PUSH1 0x04
0000109d: DUP3
0000109e: ADD
0000109f: MSTORE
000010a0: PUSH1 0x11
000010a2: PUSH1 0x24
000010a4: DUP3
000010a5: ADD
000010a6: MSTORE
000010a7: PUSH32 0x416c72656164792066696e616c697a6564000000000000000000000000000000
000010c8: PUSH1 0x44
000010ca: DUP3
000010cb: ADD
000010cc: MSTORE
000010cd: SWAP1
000010ce: MLOAD
000010cf: SWAP1
000010d0: DUP2
000010d1: SWAP1
000010d2: SUB
000010d3: PUSH1 0x64
000010d5: ADD
000010d6: SWAP1
000010d7: REVERT
000010d8: JUMPDEST
000010d9: PUSH1 0x08
000010db: DUP2
000010dc: ADD
000010dd: DUP1
000010de: SLOAD
000010df: PUSH1 0xff
000010e1: NOT
000010e2: AND
000010e3: PUSH1 0x03
000010e5: OR
000010e6: SWAP1
000010e7: SSTORE
000010e8: PUSH1 0x40
000010ea: DUP1
000010eb: MLOAD
000010ec: DUP5
000010ed: DUP2
000010ee: MSTORE
000010ef: SWAP1
000010f0: MLOAD
000010f1: DUP6
000010f2: SWAP2
000010f3: DUP8
000010f4: SWAP2
000010f5: CALLER
000010f6: SWAP2
000010f7: PUSH32 0x11c45991938e1dec0b00887cd2368a2195fccb46b08cc56483ac3053ddb609b2
00001118: SWAP2
00001119: SWAP1
0000111a: DUP2
0000111b: SWAP1
0000111c: SUB
0000111d: PUSH1 0x20
0000111f: ADD
00001120: SWAP1
00001121: LOG4
00001122: POP
00001123: POP
00001124: POP
00001125: POP
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x00
0000112b: SLOAD
0000112c: PUSH1 0x01
0000112e: PUSH1 0xa0
00001130: PUSH1 0x02
00001132: EXP
00001133: SUB
00001134: AND
00001135: CALLER
00001136: EQ
00001137: PUSH2 0x113f
0000113a: JUMPI
0000113b: PUSH1 0x00
0000113d: DUP1
0000113e: REVERT
0000113f: JUMPDEST
00001140: PUSH1 0x00
00001142: DUP1
00001143: SLOAD
00001144: PUSH1 0x40
00001146: MLOAD
00001147: PUSH1 0x01
00001149: PUSH1 0xa0
0000114b: PUSH1 0x02
0000114d: EXP
0000114e: SUB
0000114f: SWAP1
00001150: SWAP2
00001151: AND
00001152: SWAP2
00001153: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820
00001174: SWAP2
00001175: LOG2
00001176: PUSH1 0x00
00001178: DUP1
00001179: SLOAD
0000117a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118f: NOT
00001190: AND
00001191: SWAP1
00001192: SSTORE
00001193: JUMP
00001194: JUMPDEST
00001195: PUSH1 0x00
00001197: SLOAD
00001198: PUSH1 0x01
0000119a: PUSH1 0xa0
0000119c: PUSH1 0x02
0000119e: EXP
0000119f: SUB
000011a0: AND
000011a1: CALLER
000011a2: EQ
000011a3: PUSH2 0x11ab
000011a6: JUMPI
000011a7: PUSH1 0x00
000011a9: DUP1
000011aa: REVERT
000011ab: JUMPDEST
000011ac: PUSH1 0x01
000011ae: PUSH1 0xa0
000011b0: PUSH1 0x02
000011b2: EXP
000011b3: SUB
000011b4: DUP3
000011b5: AND
000011b6: PUSH1 0x00
000011b8: DUP2
000011b9: DUP2
000011ba: MSTORE
000011bb: PUSH1 0x03
000011bd: PUSH1 0x20
000011bf: SWAP1
000011c0: DUP2
000011c1: MSTORE
000011c2: PUSH1 0x40
000011c4: SWAP2
000011c5: DUP3
000011c6: SWAP1
000011c7: KECCAK256
000011c8: DUP1
000011c9: SLOAD
000011ca: PUSH1 0xff
000011cc: NOT
000011cd: AND
000011ce: PUSH1 0x01
000011d0: OR
000011d1: SWAP1
000011d2: SSTORE
000011d3: DUP2
000011d4: MLOAD
000011d5: DUP5
000011d6: DUP2
000011d7: MSTORE
000011d8: SWAP2
000011d9: MLOAD
000011da: PUSH32 0x5e48128fde8c162f70ea9f59d0a58f1d1cc40c2eec4b4c71356ab395650bfbdf
000011fb: SWAP3
000011fc: DUP2
000011fd: SWAP1
000011fe: SUB
000011ff: SWAP1
00001200: SWAP2
00001201: ADD
00001202: SWAP1
00001203: LOG2
00001204: POP
00001205: POP
00001206: JUMP
00001207: JUMPDEST
00001208: PUSH1 0x00
0000120a: DUP5
0000120b: DUP2
0000120c: MSTORE
0000120d: PUSH1 0x02
0000120f: PUSH1 0x20
00001211: MSTORE
00001212: PUSH1 0x40
00001214: DUP2
00001215: KECCAK256
00001216: DUP1
00001217: SLOAD
00001218: DUP6
00001219: SWAP1
0000121a: DUP2
0000121b: LT
0000121c: PUSH2 0x1221
0000121f: JUMPI
00001220: INVALID
00001221: JUMPDEST
00001222: PUSH1 0x00
00001224: SWAP2
00001225: DUP3
00001226: MSTORE
00001227: PUSH1 0x20
00001229: SWAP1
0000122a: SWAP2
0000122b: KECCAK256
0000122c: PUSH1 0x09
0000122e: SWAP1
0000122f: SWAP2
00001230: MUL
00001231: ADD
00001232: PUSH1 0x04
00001234: DUP2
00001235: ADD
00001236: SLOAD
00001237: SWAP1
00001238: SWAP2
00001239: POP
0000123a: PUSH1 0x01
0000123c: PUSH1 0xa0
0000123e: PUSH1 0x02
00001240: EXP
00001241: SUB
00001242: AND
00001243: CALLER
00001244: EQ
00001245: PUSH2 0x1298
00001248: JUMPI
00001249: PUSH1 0x40
0000124b: DUP1
0000124c: MLOAD
0000124d: PUSH1 0xe5
0000124f: PUSH1 0x02
00001251: EXP
00001252: PUSH3 0x461bcd
00001256: MUL
00001257: DUP2
00001258: MSTORE
00001259: PUSH1 0x20
0000125b: PUSH1 0x04
0000125d: DUP3
0000125e: ADD
0000125f: MSTORE
00001260: PUSH1 0x0f
00001262: PUSH1 0x24
00001264: DUP3
00001265: ADD
00001266: MSTORE
00001267: PUSH32 0x4275796572206d7573742063616c6c0000000000000000000000000000000000
00001288: PUSH1 0x44
0000128a: DUP3
0000128b: ADD
0000128c: MSTORE
0000128d: SWAP1
0000128e: MLOAD
0000128f: SWAP1
00001290: DUP2
00001291: SWAP1
00001292: SUB
00001293: PUSH1 0x64
00001295: ADD
00001296: SWAP1
00001297: REVERT
00001298: JUMPDEST
00001299: PUSH1 0x08
0000129b: DUP2
0000129c: ADD
0000129d: SLOAD
0000129e: PUSH1 0xff
000012a0: AND
000012a1: PUSH1 0x02
000012a3: EQ
000012a4: PUSH2 0x12e5
000012a7: JUMPI
000012a8: PUSH1 0x40
000012aa: DUP1
000012ab: MLOAD
000012ac: PUSH1 0xe5
000012ae: PUSH1 0x02
000012b0: EXP
000012b1: PUSH3 0x461bcd
000012b5: MUL
000012b6: DUP2
000012b7: MSTORE
000012b8: PUSH1 0x20
000012ba: PUSH1 0x04
000012bc: DUP3
000012bd: ADD
000012be: MSTORE
000012bf: PUSH1 0x12
000012c1: PUSH1 0x24
000012c3: DUP3
000012c4: ADD
000012c5: MSTORE
000012c6: PUSH1 0x00
000012c8: DUP1
000012c9: MLOAD
000012ca: PUSH1 0x20
000012cc: PUSH2 0x2c1d
000012cf: DUP4
000012d0: CODECOPY
000012d1: DUP2
000012d2: MLOAD
000012d3: SWAP2
000012d4: MSTORE
000012d5: PUSH1 0x44
000012d7: DUP3
000012d8: ADD
000012d9: MSTORE
000012da: SWAP1
000012db: MLOAD
000012dc: SWAP1
000012dd: DUP2
000012de: SWAP1
000012df: SUB
000012e0: PUSH1 0x64
000012e2: ADD
000012e3: SWAP1
000012e4: REVERT
000012e5: JUMPDEST
000012e6: PUSH1 0x03
000012e8: DUP2
000012e9: ADD
000012ea: SLOAD
000012eb: PUSH1 0x01
000012ed: PUSH1 0xa0
000012ef: PUSH1 0x02
000012f1: EXP
000012f2: SUB
000012f3: AND
000012f4: ISZERO
000012f5: ISZERO
000012f6: PUSH2 0x1355
000012f9: JUMPI
000012fa: CALLVALUE
000012fb: DUP3
000012fc: EQ
000012fd: PUSH2 0x1350
00001300: JUMPI
00001301: PUSH1 0x40
00001303: DUP1
00001304: MLOAD
00001305: PUSH1 0xe5
00001307: PUSH1 0x02
00001309: EXP
0000130a: PUSH3 0x461bcd
0000130e: MUL
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x20
00001313: PUSH1 0x04
00001315: DUP3
00001316: ADD
00001317: MSTORE
00001318: PUSH1 0x15
0000131a: PUSH1 0x24
0000131c: DUP3
0000131d: ADD
0000131e: MSTORE
0000131f: PUSH32 0x73656e7420213d206f6666657265642076616c75650000000000000000000000
00001340: PUSH1 0x44
00001342: DUP3
00001343: ADD
00001344: MSTORE
00001345: SWAP1
00001346: MLOAD
00001347: SWAP1
00001348: DUP2
00001349: SWAP1
0000134a: SUB
0000134b: PUSH1 0x64
0000134d: ADD
0000134e: SWAP1
0000134f: REVERT
00001350: JUMPDEST
00001351: PUSH2 0x148c
00001354: JUMP
00001355: JUMPDEST
00001356: CALLVALUE
00001357: ISZERO
00001358: PUSH2 0x13ab
0000135b: JUMPI
0000135c: PUSH1 0x40
0000135e: DUP1
0000135f: MLOAD
00001360: PUSH1 0xe5
00001362: PUSH1 0x02
00001364: EXP
00001365: PUSH3 0x461bcd
00001369: MUL
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x20
0000136e: PUSH1 0x04
00001370: DUP3
00001371: ADD
00001372: MSTORE
00001373: PUSH1 0x14
00001375: PUSH1 0x24
00001377: DUP3
00001378: ADD
00001379: MSTORE
0000137a: PUSH32 0x455448206d757374206e6f742062652073656e74000000000000000000000000
0000139b: PUSH1 0x44
0000139d: DUP3
0000139e: ADD
0000139f: MSTORE
000013a0: SWAP1
000013a1: MLOAD
000013a2: SWAP1
000013a3: DUP2
000013a4: SWAP1
000013a5: SUB
000013a6: PUSH1 0x64
000013a8: ADD
000013a9: SWAP1
000013aa: REVERT
000013ab: JUMPDEST
000013ac: PUSH1 0x03
000013ae: DUP2
000013af: ADD
000013b0: SLOAD
000013b1: PUSH1 0x40
000013b3: DUP1
000013b4: MLOAD
000013b5: PUSH1 0xe0
000013b7: PUSH1 0x02
000013b9: EXP
000013ba: PUSH4 0x23b872dd
000013bf: MUL
000013c0: DUP2
000013c1: MSTORE
000013c2: CALLER
000013c3: PUSH1 0x04
000013c5: DUP3
000013c6: ADD
000013c7: MSTORE
000013c8: ADDRESS
000013c9: PUSH1 0x24
000013cb: DUP3
000013cc: ADD
000013cd: MSTORE
000013ce: PUSH1 0x44
000013d0: DUP2
000013d1: ADD
000013d2: DUP6
000013d3: SWAP1
000013d4: MSTORE
000013d5: SWAP1
000013d6: MLOAD
000013d7: PUSH1 0x01
000013d9: PUSH1 0xa0
000013db: PUSH1 0x02
000013dd: EXP
000013de: SUB
000013df: SWAP1
000013e0: SWAP3
000013e1: AND
000013e2: SWAP2
000013e3: PUSH4 0x23b872dd
000013e8: SWAP2
000013e9: PUSH1 0x64
000013eb: DUP1
000013ec: DUP3
000013ed: ADD
000013ee: SWAP3
000013ef: PUSH1 0x20
000013f1: SWAP3
000013f2: SWAP1
000013f3: SWAP2
000013f4: SWAP1
000013f5: DUP3
000013f6: SWAP1
000013f7: SUB
000013f8: ADD
000013f9: DUP2
000013fa: PUSH1 0x00
000013fc: DUP8
000013fd: DUP1
000013fe: EXTCODESIZE
000013ff: ISZERO
00001400: DUP1
00001401: ISZERO
00001402: PUSH2 0x140a
00001405: JUMPI
00001406: PUSH1 0x00
00001408: DUP1
00001409: REVERT
0000140a: JUMPDEST
0000140b: POP
0000140c: GAS
0000140d: CALL
0000140e: ISZERO
0000140f: DUP1
00001410: ISZERO
00001411: PUSH2 0x141e
00001414: JUMPI
00001415: RETURNDATASIZE
00001416: PUSH1 0x00
00001418: DUP1
00001419: RETURNDATACOPY
0000141a: RETURNDATASIZE
0000141b: PUSH1 0x00
0000141d: REVERT
0000141e: JUMPDEST
0000141f: POP
00001420: POP
00001421: POP
00001422: POP
00001423: PUSH1 0x40
00001425: MLOAD
00001426: RETURNDATASIZE
00001427: PUSH1 0x20
00001429: DUP2
0000142a: LT
0000142b: ISZERO
0000142c: PUSH2 0x1434
0000142f: JUMPI
00001430: PUSH1 0x00
00001432: DUP1
00001433: REVERT
00001434: JUMPDEST
00001435: POP
00001436: MLOAD
00001437: ISZERO
00001438: ISZERO
00001439: PUSH2 0x148c
0000143c: JUMPI
0000143d: PUSH1 0x40
0000143f: DUP1
00001440: MLOAD
00001441: PUSH1 0xe5
00001443: PUSH1 0x02
00001445: EXP
00001446: PUSH3 0x461bcd
0000144a: MUL
0000144b: DUP2
0000144c: MSTORE
0000144d: PUSH1 0x20
0000144f: PUSH1 0x04
00001451: DUP3
00001452: ADD
00001453: MSTORE
00001454: PUSH1 0x13
00001456: PUSH1 0x24
00001458: DUP3
00001459: ADD
0000145a: MSTORE
0000145b: PUSH32 0x7472616e7366657246726f6d206661696c656400000000000000000000000000
0000147c: PUSH1 0x44
0000147e: DUP3
0000147f: ADD
00001480: MSTORE
00001481: SWAP1
00001482: MLOAD
00001483: SWAP1
00001484: DUP2
00001485: SWAP1
00001486: SUB
00001487: PUSH1 0x64
00001489: ADD
0000148a: SWAP1
0000148b: REVERT
0000148c: JUMPDEST
0000148d: DUP1
0000148e: SLOAD
0000148f: DUP3
00001490: ADD
00001491: DUP2
00001492: SSTORE
00001493: PUSH1 0x40
00001495: DUP1
00001496: MLOAD
00001497: DUP5
00001498: DUP2
00001499: MSTORE
0000149a: SWAP1
0000149b: MLOAD
0000149c: DUP6
0000149d: SWAP2
0000149e: DUP8
0000149f: SWAP2
000014a0: CALLER
000014a1: SWAP2
000014a2: PUSH32 0x5f0e66c42b81a43cbd35b11ea0a599d0be1d8e1fdb61d1d4f7a98243ba6cc26b
000014c3: SWAP2
000014c4: SWAP1
000014c5: DUP2
000014c6: SWAP1
000014c7: SUB
000014c8: PUSH1 0x20
000014ca: ADD
000014cb: SWAP1
000014cc: LOG4
000014cd: POP
000014ce: POP
000014cf: POP
000014d0: POP
000014d1: POP
000014d2: JUMP
000014d3: JUMPDEST
000014d4: PUSH1 0x00
000014d6: SLOAD
000014d7: PUSH1 0x01
000014d9: PUSH1 0xa0
000014db: PUSH1 0x02
000014dd: EXP
000014de: SUB
000014df: AND
000014e0: DUP2
000014e1: JUMP
000014e2: JUMPDEST
000014e3: PUSH1 0x00
000014e5: SWAP1
000014e6: DUP2
000014e7: MSTORE
000014e8: PUSH1 0x02
000014ea: PUSH1 0x20
000014ec: MSTORE
000014ed: PUSH1 0x40
000014ef: SWAP1
000014f0: KECCAK256
000014f1: SLOAD
000014f2: SWAP1
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH1 0x03
000014f7: PUSH1 0x20
000014f9: MSTORE
000014fa: PUSH1 0x00
000014fc: SWAP1
000014fd: DUP2
000014fe: MSTORE
000014ff: PUSH1 0x40
00001501: SWAP1
00001502: KECCAK256
00001503: SLOAD
00001504: PUSH1 0xff
00001506: AND
00001507: DUP2
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x40
0000150c: DUP1
0000150d: MLOAD
0000150e: DUP3
0000150f: DUP2
00001510: MSTORE
00001511: SWAP1
00001512: MLOAD
00001513: DUP4
00001514: SWAP2
00001515: CALLER
00001516: SWAP2
00001517: PUSH32 0x12dc84d4005dd5b86fd88951106aa76927a62b83b85ba9c912a7268582906aa9
00001538: SWAP2
00001539: DUP2
0000153a: SWAP1
0000153b: SUB
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: SWAP1
00001540: LOG3
00001541: POP
00001542: POP
00001543: JUMP
00001544: JUMPDEST
00001545: PUSH1 0x00
00001547: DUP1
00001548: PUSH1 0x01
0000154a: DUP6
0000154b: DUP2
0000154c: SLOAD
0000154d: DUP2
0000154e: LT
0000154f: ISZERO
00001550: ISZERO
00001551: PUSH2 0x1556
00001554: JUMPI
00001555: INVALID
00001556: JUMPDEST
00001557: SWAP1
00001558: PUSH1 0x00
0000155a: MSTORE
0000155b: PUSH1 0x20
0000155d: PUSH1 0x00
0000155f: KECCAK256
00001560: SWAP1
00001561: PUSH1 0x03
00001563: MUL
00001564: ADD
00001565: SWAP2
00001566: POP
00001567: PUSH1 0x02
00001569: PUSH1 0x00
0000156b: DUP7
0000156c: DUP2
0000156d: MSTORE
0000156e: PUSH1 0x20
00001570: ADD
00001571: SWAP1
00001572: DUP2
00001573: MSTORE
00001574: PUSH1 0x20
00001576: ADD
00001577: PUSH1 0x00
00001579: KECCAK256
0000157a: DUP5
0000157b: DUP2
0000157c: SLOAD
0000157d: DUP2
0000157e: LT
0000157f: ISZERO
00001580: ISZERO
00001581: PUSH2 0x1586
00001584: JUMPI
00001585: INVALID
00001586: JUMPDEST
00001587: PUSH1 0x00
00001589: SWAP2
0000158a: DUP3
0000158b: MSTORE
0000158c: PUSH1 0x20
0000158e: SWAP1
0000158f: SWAP2
00001590: KECCAK256
00001591: DUP4
00001592: SLOAD
00001593: PUSH1 0x09
00001595: SWAP1
00001596: SWAP3
00001597: MUL
00001598: ADD
00001599: SWAP2
0000159a: POP
0000159b: PUSH1 0x01
0000159d: PUSH1 0xa0
0000159f: PUSH1 0x02
000015a1: EXP
000015a2: SUB
000015a3: AND
000015a4: CALLER
000015a5: EQ
000015a6: PUSH2 0x15f9
000015a9: JUMPI
000015aa: PUSH1 0x40
000015ac: DUP1
000015ad: MLOAD
000015ae: PUSH1 0xe5
000015b0: PUSH1 0x02
000015b2: EXP
000015b3: PUSH3 0x461bcd
000015b7: MUL
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x20
000015bc: PUSH1 0x04
000015be: DUP3
000015bf: ADD
000015c0: MSTORE
000015c1: PUSH1 0x12
000015c3: PUSH1 0x24
000015c5: DUP3
000015c6: ADD
000015c7: MSTORE
000015c8: PUSH32 0x53656c6c6572206d757374206163636570740000000000000000000000000000
000015e9: PUSH1 0x44
000015eb: DUP3
000015ec: ADD
000015ed: MSTORE
000015ee: SWAP1
000015ef: MLOAD
000015f0: SWAP1
000015f1: DUP2
000015f2: SWAP1
000015f3: SUB
000015f4: PUSH1 0x64
000015f6: ADD
000015f7: SWAP1
000015f8: REVERT
000015f9: JUMPDEST
000015fa: PUSH1 0x08
000015fc: DUP2
000015fd: ADD
000015fe: SLOAD
000015ff: PUSH1 0xff
00001601: AND
00001602: PUSH1 0x01
00001604: EQ
00001605: PUSH2 0x1658
00001608: JUMPI
00001609: PUSH1 0x40
0000160b: DUP1
0000160c: MLOAD
0000160d: PUSH1 0xe5
0000160f: PUSH1 0x02
00001611: EXP
00001612: PUSH3 0x461bcd
00001616: MUL
00001617: DUP2
00001618: MSTORE
00001619: PUSH1 0x20
0000161b: PUSH1 0x04
0000161d: DUP3
0000161e: ADD
0000161f: MSTORE
00001620: PUSH1 0x11
00001622: PUSH1 0x24
00001624: DUP3
00001625: ADD
00001626: MSTORE
00001627: PUSH32 0x73746174757320213d2063726561746564000000000000000000000000000000
00001648: PUSH1 0x44
0000164a: DUP3
0000164b: ADD
0000164c: MSTORE
0000164d: SWAP1
0000164e: MLOAD
0000164f: SWAP1
00001650: DUP2
00001651: SWAP1
00001652: SUB
00001653: PUSH1 0x64
00001655: ADD
00001656: SWAP1
00001657: REVERT
00001658: JUMPDEST
00001659: PUSH1 0x01
0000165b: DUP1
0000165c: DUP3
0000165d: ADD
0000165e: SLOAD
0000165f: SWAP1
00001660: DUP4
00001661: ADD
00001662: SLOAD
00001663: LT
00001664: ISZERO
00001665: PUSH2 0x16b8
00001668: JUMPI
00001669: PUSH1 0x40
0000166b: DUP1
0000166c: MLOAD
0000166d: PUSH1 0xe5
0000166f: PUSH1 0x02
00001671: EXP
00001672: PUSH3 0x461bcd
00001676: MUL
00001677: DUP2
00001678: MSTORE
00001679: PUSH1 0x20
0000167b: PUSH1 0x04
0000167d: DUP3
0000167e: ADD
0000167f: MSTORE
00001680: PUSH1 0x1d
00001682: PUSH1 0x24
00001684: DUP3
00001685: ADD
00001686: MSTORE
00001687: PUSH32 0x6465706f736974206d75737420636f76657220636f6d6d697373696f6e000000
000016a8: PUSH1 0x44
000016aa: DUP3
000016ab: ADD
000016ac: MSTORE
000016ad: SWAP1
000016ae: MLOAD
000016af: SWAP1
000016b0: DUP2
000016b1: SWAP1
000016b2: SUB
000016b3: PUSH1 0x64
000016b5: ADD
000016b6: SWAP1
000016b7: REVERT
000016b8: JUMPDEST
000016b9: PUSH4 0x3b9aca00
000016be: DUP2
000016bf: PUSH1 0x07
000016c1: ADD
000016c2: SLOAD
000016c3: LT
000016c4: ISZERO
000016c5: PUSH2 0x16d3
000016c8: JUMPI
000016c9: PUSH1 0x07
000016cb: DUP2
000016cc: ADD
000016cd: DUP1
000016ce: SLOAD
000016cf: TIMESTAMP
000016d0: ADD
000016d1: SWAP1
000016d2: SSTORE
000016d3: JUMPDEST
000016d4: PUSH1 0x01
000016d6: DUP1
000016d7: DUP3
000016d8: ADD
000016d9: SLOAD
000016da: SWAP1
000016db: DUP4
000016dc: ADD
000016dd: DUP1
000016de: SLOAD
000016df: SWAP2
000016e0: SWAP1
000016e1: SWAP2
000016e2: SUB
000016e3: SWAP1
000016e4: SSTORE
000016e5: PUSH1 0x08
000016e7: DUP2
000016e8: ADD
000016e9: DUP1
000016ea: SLOAD
000016eb: PUSH1 0xff
000016ed: NOT
000016ee: AND
000016ef: PUSH1 0x02
000016f1: OR
000016f2: SWAP1
000016f3: SSTORE
000016f4: PUSH1 0x40
000016f6: DUP1
000016f7: MLOAD
000016f8: DUP5
000016f9: DUP2
000016fa: MSTORE
000016fb: SWAP1
000016fc: MLOAD
000016fd: DUP6
000016fe: SWAP2
000016ff: DUP8
00001700: SWAP2
00001701: CALLER
00001702: SWAP2
00001703: PUSH32 0x449224201a35688b74a38ff24770e8b2a326ebf42357bf19a36f5fedbbe552a0
00001724: SWAP2
00001725: SWAP1
00001726: DUP2
00001727: SWAP1
00001728: SUB
00001729: PUSH1 0x20
0000172b: ADD
0000172c: SWAP1
0000172d: LOG4
0000172e: POP
0000172f: POP
00001730: POP
00001731: POP
00001732: POP
00001733: JUMP
00001734: JUMPDEST
00001735: PUSH1 0x00
00001737: SLOAD
00001738: PUSH1 0x01
0000173a: PUSH1 0xa0
0000173c: PUSH1 0x02
0000173e: EXP
0000173f: SUB
00001740: AND
00001741: CALLER
00001742: EQ
00001743: PUSH2 0x174b
00001746: JUMPI
00001747: PUSH1 0x00
00001749: DUP1
0000174a: REVERT
0000174b: JUMPDEST
0000174c: PUSH1 0x01
0000174e: PUSH1 0xa0
00001750: PUSH1 0x02
00001752: EXP
00001753: SUB
00001754: DUP3
00001755: AND
00001756: PUSH1 0x00
00001758: DUP2
00001759: DUP2
0000175a: MSTORE
0000175b: PUSH1 0x03
0000175d: PUSH1 0x20
0000175f: SWAP1
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x40
00001764: SWAP2
00001765: DUP3
00001766: SWAP1
00001767: KECCAK256
00001768: DUP1
00001769: SLOAD
0000176a: PUSH1 0xff
0000176c: NOT
0000176d: AND
0000176e: SWAP1
0000176f: SSTORE
00001770: DUP2
00001771: MLOAD
00001772: DUP5
00001773: DUP2
00001774: MSTORE
00001775: SWAP2
00001776: MLOAD
00001777: PUSH32 0x3553c89fbe376344fc3e6cfb39cce65e6d961cece468c297dad2a1e31d4fa2b6
00001798: SWAP3
00001799: DUP2
0000179a: SWAP1
0000179b: SUB
0000179c: SWAP1
0000179d: SWAP2
0000179e: ADD
0000179f: SWAP1
000017a0: LOG2
000017a1: POP
000017a2: POP
000017a3: JUMP
000017a4: JUMPDEST
000017a5: PUSH1 0x00
000017a7: PUSH1 0x01
000017a9: DUP5
000017aa: DUP2
000017ab: SLOAD
000017ac: DUP2
000017ad: LT
000017ae: ISZERO
000017af: ISZERO
000017b0: PUSH2 0x17b5
000017b3: JUMPI
000017b4: INVALID
000017b5: JUMPDEST
000017b6: PUSH1 0x00
000017b8: SWAP2
000017b9: DUP3
000017ba: MSTORE
000017bb: PUSH1 0x20
000017bd: SWAP1
000017be: SWAP2
000017bf: KECCAK256
000017c0: PUSH1 0x03
000017c2: SWAP1
000017c3: SWAP2
000017c4: MUL
000017c5: ADD
000017c6: PUSH1 0x02
000017c8: DUP2
000017c9: ADD
000017ca: SLOAD
000017cb: SWAP1
000017cc: SWAP2
000017cd: POP
000017ce: PUSH1 0x01
000017d0: PUSH1 0xa0
000017d2: PUSH1 0x02
000017d4: EXP
000017d5: SUB
000017d6: AND
000017d7: CALLER
000017d8: EQ
000017d9: PUSH2 0x182c
000017dc: JUMPI
000017dd: PUSH1 0x40
000017df: DUP1
000017e0: MLOAD
000017e1: PUSH1 0xe5
000017e3: PUSH1 0x02
000017e5: EXP
000017e6: PUSH3 0x461bcd
000017ea: MUL
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH1 0x20
000017ef: PUSH1 0x04
000017f1: DUP3
000017f2: ADD
000017f3: MSTORE
000017f4: PUSH1 0x16
000017f6: PUSH1 0x24
000017f8: DUP3
000017f9: ADD
000017fa: MSTORE
000017fb: PUSH32 0x4d757374206265206465706f7369744d616e6167657200000000000000000000
0000181c: PUSH1 0x44
0000181e: DUP3
0000181f: ADD
00001820: MSTORE
00001821: SWAP1
00001822: MLOAD
00001823: SWAP1
00001824: DUP2
00001825: SWAP1
00001826: SUB
00001827: PUSH1 0x64
00001829: ADD
0000182a: SWAP1
0000182b: REVERT
0000182c: JUMPDEST
0000182d: PUSH1 0x01
0000182f: PUSH1 0xa0
00001831: PUSH1 0x02
00001833: EXP
00001834: SUB
00001835: DUP4
00001836: AND
00001837: ISZERO
00001838: ISZERO
00001839: PUSH2 0x188c
0000183c: JUMPI
0000183d: PUSH1 0x40
0000183f: DUP1
00001840: MLOAD
00001841: PUSH1 0xe5
00001843: PUSH1 0x02
00001845: EXP
00001846: PUSH3 0x461bcd
0000184a: MUL
0000184b: DUP2
0000184c: MSTORE
0000184d: PUSH1 0x20
0000184f: PUSH1 0x04
00001851: DUP3
00001852: ADD
00001853: MSTORE
00001854: PUSH1 0x09
00001856: PUSH1 0x24
00001858: DUP3
00001859: ADD
0000185a: MSTORE
0000185b: PUSH32 0x4e6f207461726765740000000000000000000000000000000000000000000000
0000187c: PUSH1 0x44
0000187e: DUP3
0000187f: ADD
00001880: MSTORE
00001881: SWAP1
00001882: MLOAD
00001883: SWAP1
00001884: DUP2
00001885: SWAP1
00001886: SUB
00001887: PUSH1 0x64
00001889: ADD
0000188a: SWAP1
0000188b: REVERT
0000188c: JUMPDEST
0000188d: PUSH1 0x04
0000188f: DUP1
00001890: SLOAD
00001891: PUSH1 0x01
00001893: DUP4
00001894: ADD
00001895: SLOAD
00001896: PUSH1 0x40
00001898: DUP1
00001899: MLOAD
0000189a: PUSH1 0xe0
0000189c: PUSH1 0x02
0000189e: EXP
0000189f: PUSH4 0xa9059cbb
000018a4: MUL
000018a5: DUP2
000018a6: MSTORE
000018a7: PUSH1 0x01
000018a9: PUSH1 0xa0
000018ab: PUSH1 0x02
000018ad: EXP
000018ae: SUB
000018af: DUP9
000018b0: DUP2
000018b1: AND
000018b2: SWAP6
000018b3: DUP3
000018b4: ADD
000018b5: SWAP6
000018b6: SWAP1
000018b7: SWAP6
000018b8: MSTORE
000018b9: PUSH1 0x24
000018bb: DUP2
000018bc: ADD
000018bd: SWAP3
000018be: SWAP1
000018bf: SWAP3
000018c0: MSTORE
000018c1: MLOAD
000018c2: SWAP3
000018c3: SWAP1
000018c4: SWAP2
000018c5: AND
000018c6: SWAP2
000018c7: PUSH4 0xa9059cbb
000018cc: SWAP2
000018cd: PUSH1 0x44
000018cf: DUP1
000018d0: DUP3
000018d1: ADD
000018d2: SWAP3
000018d3: PUSH1 0x20
000018d5: SWAP3
000018d6: SWAP1
000018d7: SWAP2
000018d8: SWAP1
000018d9: DUP3
000018da: SWAP1
000018db: SUB
000018dc: ADD
000018dd: DUP2
000018de: PUSH1 0x00
000018e0: DUP8
000018e1: DUP1
000018e2: EXTCODESIZE
000018e3: ISZERO
000018e4: DUP1
000018e5: ISZERO
000018e6: PUSH2 0x18ee
000018e9: JUMPI
000018ea: PUSH1 0x00
000018ec: DUP1
000018ed: REVERT
000018ee: JUMPDEST
000018ef: POP
000018f0: GAS
000018f1: CALL
000018f2: ISZERO
000018f3: DUP1
000018f4: ISZERO
000018f5: PUSH2 0x1902
000018f8: JUMPI
000018f9: RETURNDATASIZE
000018fa: PUSH1 0x00
000018fc: DUP1
000018fd: RETURNDATACOPY
000018fe: RETURNDATASIZE
000018ff: PUSH1 0x00
00001901: REVERT
00001902: JUMPDEST
00001903: POP
00001904: POP
00001905: POP
00001906: POP
00001907: PUSH1 0x40
00001909: MLOAD
0000190a: RETURNDATASIZE
0000190b: PUSH1 0x20
0000190d: DUP2
0000190e: LT
0000190f: ISZERO
00001910: PUSH2 0x1918
00001913: JUMPI
00001914: PUSH1 0x00
00001916: DUP1
00001917: REVERT
00001918: JUMPDEST
00001919: POP
0000191a: POP
0000191b: PUSH1 0x40
0000191d: DUP1
0000191e: MLOAD
0000191f: DUP4
00001920: DUP2
00001921: MSTORE
00001922: SWAP1
00001923: MLOAD
00001924: DUP6
00001925: SWAP2
00001926: PUSH1 0x01
00001928: PUSH1 0xa0
0000192a: PUSH1 0x02
0000192c: EXP
0000192d: SUB
0000192e: DUP7
0000192f: AND
00001930: SWAP2
00001931: PUSH32 0xafa3dc4f271ef3419006f21140d375eba48ef3def56e8bfe6d54d0c72a81a307
00001952: SWAP2
00001953: DUP2
00001954: SWAP1
00001955: SUB
00001956: PUSH1 0x20
00001958: ADD
00001959: SWAP1
0000195a: LOG3
0000195b: POP
0000195c: POP
0000195d: POP
0000195e: POP
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH2 0x196c
00001964: CALLER
00001965: DUP5
00001966: DUP5
00001967: DUP5
00001968: PUSH2 0x21eb
0000196b: JUMP
0000196c: JUMPDEST
0000196d: POP
0000196e: POP
0000196f: POP
00001970: JUMP
00001971: JUMPDEST
00001972: PUSH1 0x00
00001974: DUP6
00001975: DUP2
00001976: MSTORE
00001977: PUSH1 0x02
00001979: PUSH1 0x20
0000197b: MSTORE
0000197c: PUSH1 0x40
0000197e: DUP2
0000197f: KECCAK256
00001980: DUP1
00001981: SLOAD
00001982: DUP7
00001983: SWAP1
00001984: DUP2
00001985: LT
00001986: PUSH2 0x198b
00001989: JUMPI
0000198a: INVALID
0000198b: JUMPDEST
0000198c: PUSH1 0x00
0000198e: SWAP2
0000198f: DUP3
00001990: MSTORE
00001991: PUSH1 0x20
00001993: SWAP1
00001994: SWAP2
00001995: KECCAK256
00001996: PUSH1 0x09
00001998: SWAP1
00001999: SWAP2
0000199a: MUL
0000199b: ADD
0000199c: PUSH1 0x06
0000199e: DUP2
0000199f: ADD
000019a0: SLOAD
000019a1: SWAP1
000019a2: SWAP2
000019a3: POP
000019a4: PUSH1 0x01
000019a6: PUSH1 0xa0
000019a8: PUSH1 0x02
000019aa: EXP
000019ab: SUB
000019ac: AND
000019ad: CALLER
000019ae: EQ
000019af: PUSH2 0x1a02
000019b2: JUMPI
000019b3: PUSH1 0x40
000019b5: DUP1
000019b6: MLOAD
000019b7: PUSH1 0xe5
000019b9: PUSH1 0x02
000019bb: EXP
000019bc: PUSH3 0x461bcd
000019c0: MUL
000019c1: DUP2
000019c2: MSTORE
000019c3: PUSH1 0x20
000019c5: PUSH1 0x04
000019c7: DUP3
000019c8: ADD
000019c9: MSTORE
000019ca: PUSH1 0x12
000019cc: PUSH1 0x24
000019ce: DUP3
000019cf: ADD
000019d0: MSTORE
000019d1: PUSH32 0x4d7573742062652061726269747261746f720000000000000000000000000000
000019f2: PUSH1 0x44
000019f4: DUP3
000019f5: ADD
000019f6: MSTORE
000019f7: SWAP1
000019f8: MLOAD
000019f9: SWAP1
000019fa: DUP2
000019fb: SWAP1
000019fc: SUB
000019fd: PUSH1 0x64
000019ff: ADD
00001a00: SWAP1
00001a01: REVERT
00001a02: JUMPDEST
00001a03: PUSH1 0x08
00001a05: DUP2
00001a06: ADD
00001a07: SLOAD
00001a08: PUSH1 0xff
00001a0a: AND
00001a0b: PUSH1 0x03
00001a0d: EQ
00001a0e: PUSH2 0x1a61
00001a11: JUMPI
00001a12: PUSH1 0x40
00001a14: DUP1
00001a15: MLOAD
00001a16: PUSH1 0xe5
00001a18: PUSH1 0x02
00001a1a: EXP
00001a1b: PUSH3 0x461bcd
00001a1f: MUL
00001a20: DUP2
00001a21: MSTORE
00001a22: PUSH1 0x20
00001a24: PUSH1 0x04
00001a26: DUP3
00001a27: ADD
00001a28: MSTORE
00001a29: PUSH1 0x12
00001a2b: PUSH1 0x24
00001a2d: DUP3
00001a2e: ADD
00001a2f: MSTORE
00001a30: PUSH32 0x73746174757320213d2064697370757465640000000000000000000000000000
00001a51: PUSH1 0x44
00001a53: DUP3
00001a54: ADD
00001a55: MSTORE
00001a56: SWAP1
00001a57: MLOAD
00001a58: SWAP1
00001a59: DUP2
00001a5a: SWAP1
00001a5b: SUB
00001a5c: PUSH1 0x64
00001a5e: ADD
00001a5f: SWAP1
00001a60: REVERT
00001a61: JUMPDEST
00001a62: DUP1
00001a63: SLOAD
00001a64: DUP3
00001a65: GT
00001a66: ISZERO
00001a67: PUSH2 0x1aba
00001a6a: JUMPI
00001a6b: PUSH1 0x40
00001a6d: DUP1
00001a6e: MLOAD
00001a6f: PUSH1 0xe5
00001a71: PUSH1 0x02
00001a73: EXP
00001a74: PUSH3 0x461bcd
00001a78: MUL
00001a79: DUP2
00001a7a: MSTORE
00001a7b: PUSH1 0x20
00001a7d: PUSH1 0x04
00001a7f: DUP3
00001a80: ADD
00001a81: MSTORE
00001a82: PUSH1 0x0f
00001a84: PUSH1 0x24
00001a86: DUP3
00001a87: ADD
00001a88: MSTORE
00001a89: PUSH32 0x726566756e6420746f6f20686967680000000000000000000000000000000000
00001aaa: PUSH1 0x44
00001aac: DUP3
00001aad: ADD
00001aae: MSTORE
00001aaf: SWAP1
00001ab0: MLOAD
00001ab1: SWAP1
00001ab2: DUP2
00001ab3: SWAP1
00001ab4: SUB
00001ab5: PUSH1 0x64
00001ab7: ADD
00001ab8: SWAP1
00001ab9: REVERT
00001aba: JUMPDEST
00001abb: PUSH1 0x02
00001abd: DUP2
00001abe: ADD
00001abf: DUP3
00001ac0: SWAP1
00001ac1: SSTORE
00001ac2: PUSH1 0x01
00001ac4: DUP1
00001ac5: DUP5
00001ac6: AND
00001ac7: EQ
00001ac8: ISZERO
00001ac9: PUSH2 0x1adb
00001acc: JUMPI
00001acd: PUSH2 0x1ad6
00001ad0: DUP7
00001ad1: DUP7
00001ad2: PUSH2 0x235f
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: PUSH2 0x1ae5
00001ada: JUMP
00001adb: JUMPDEST
00001adc: PUSH2 0x1ae5
00001adf: DUP7
00001ae0: DUP7
00001ae1: PUSH2 0x250d
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: DUP3
00001ae7: PUSH1 0x02
00001ae9: AND
00001aea: PUSH1 0x02
00001aec: EQ
00001aed: ISZERO
00001aee: PUSH2 0x1b00
00001af1: JUMPI
00001af2: PUSH2 0x1afb
00001af5: DUP7
00001af6: DUP7
00001af7: PUSH2 0x2859
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH2 0x1b2f
00001aff: JUMP
00001b00: JUMPDEST
00001b01: DUP1
00001b02: PUSH1 0x01
00001b04: ADD
00001b05: SLOAD
00001b06: PUSH1 0x01
00001b08: DUP8
00001b09: DUP2
00001b0a: SLOAD
00001b0b: DUP2
00001b0c: LT
00001b0d: ISZERO
00001b0e: ISZERO
00001b0f: PUSH2 0x1b14
00001b12: JUMPI
00001b13: INVALID
00001b14: JUMPDEST
00001b15: PUSH1 0x00
00001b17: SWAP2
00001b18: DUP3
00001b19: MSTORE
00001b1a: PUSH1 0x20
00001b1c: SWAP1
00001b1d: SWAP2
00001b1e: KECCAK256
00001b1f: PUSH1 0x01
00001b21: PUSH1 0x03
00001b23: SWAP1
00001b24: SWAP3
00001b25: MUL
00001b26: ADD
00001b27: ADD
00001b28: DUP1
00001b29: SLOAD
00001b2a: SWAP1
00001b2b: SWAP2
00001b2c: ADD
00001b2d: SWAP1
00001b2e: SSTORE
00001b2f: JUMPDEST
00001b30: PUSH1 0x06
00001b32: DUP2
00001b33: ADD
00001b34: SLOAD
00001b35: PUSH1 0x40
00001b37: DUP1
00001b38: MLOAD
00001b39: DUP7
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x20
00001b3e: DUP2
00001b3f: ADD
00001b40: DUP7
00001b41: SWAP1
00001b42: MSTORE
00001b43: DUP2
00001b44: MLOAD
00001b45: DUP9
00001b46: SWAP4
00001b47: DUP11
00001b48: SWAP4
00001b49: PUSH1 0x01
00001b4b: PUSH1 0xa0
00001b4d: PUSH1 0x02
00001b4f: EXP
00001b50: SUB
00001b51: SWAP1
00001b52: SWAP2
00001b53: AND
00001b54: SWAP3
00001b55: PUSH32 0x3e4d55eb2a402ba6f500db5d75f9303dfe863a2e8319054aeddb6a35ec7e3c61
00001b76: SWAP3
00001b77: SWAP1
00001b78: DUP2
00001b79: SWAP1
00001b7a: SUB
00001b7b: SWAP1
00001b7c: SWAP2
00001b7d: ADD
00001b7e: SWAP1
00001b7f: LOG4
00001b80: PUSH1 0x00
00001b82: DUP7
00001b83: DUP2
00001b84: MSTORE
00001b85: PUSH1 0x02
00001b87: PUSH1 0x20
00001b89: MSTORE
00001b8a: PUSH1 0x40
00001b8c: SWAP1
00001b8d: KECCAK256
00001b8e: DUP1
00001b8f: SLOAD
00001b90: DUP7
00001b91: SWAP1
00001b92: DUP2
00001b93: LT
00001b94: PUSH2 0x1b99
00001b97: JUMPI
00001b98: INVALID
00001b99: JUMPDEST
00001b9a: PUSH1 0x00
00001b9c: SWAP2
00001b9d: DUP3
00001b9e: MSTORE
00001b9f: PUSH1 0x20
00001ba1: DUP3
00001ba2: KECCAK256
00001ba3: PUSH1 0x09
00001ba5: SWAP1
00001ba6: SWAP2
00001ba7: MUL
00001ba8: ADD
00001ba9: DUP2
00001baa: DUP2
00001bab: SSTORE
00001bac: PUSH1 0x01
00001bae: DUP2
00001baf: ADD
00001bb0: DUP3
00001bb1: SWAP1
00001bb2: SSTORE
00001bb3: PUSH1 0x02
00001bb5: DUP2
00001bb6: ADD
00001bb7: DUP3
00001bb8: SWAP1
00001bb9: SSTORE
00001bba: PUSH1 0x03
00001bbc: DUP2
00001bbd: ADD
00001bbe: DUP1
00001bbf: SLOAD
00001bc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd5: NOT
00001bd6: SWAP1
00001bd7: DUP2
00001bd8: AND
00001bd9: SWAP1
00001bda: SWAP2
00001bdb: SSTORE
00001bdc: PUSH1 0x04
00001bde: DUP3
00001bdf: ADD
00001be0: DUP1
00001be1: SLOAD
00001be2: DUP3
00001be3: AND
00001be4: SWAP1
00001be5: SSTORE
00001be6: PUSH1 0x05
00001be8: DUP3
00001be9: ADD
00001bea: DUP1
00001beb: SLOAD
00001bec: DUP3
00001bed: AND
00001bee: SWAP1
00001bef: SSTORE
00001bf0: PUSH1 0x06
00001bf2: DUP3
00001bf3: ADD
00001bf4: DUP1
00001bf5: SLOAD
00001bf6: SWAP1
00001bf7: SWAP2
00001bf8: AND
00001bf9: SWAP1
00001bfa: SSTORE
00001bfb: PUSH1 0x07
00001bfd: DUP2
00001bfe: ADD
00001bff: SWAP2
00001c00: SWAP1
00001c01: SWAP2
00001c02: SSTORE
00001c03: PUSH1 0x08
00001c05: ADD
00001c06: DUP1
00001c07: SLOAD
00001c08: PUSH1 0xff
00001c0a: NOT
00001c0b: AND
00001c0c: SWAP1
00001c0d: SSTORE
00001c0e: POP
00001c0f: POP
00001c10: POP
00001c11: POP
00001c12: POP
00001c13: POP
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH1 0x01
00001c18: SLOAD
00001c19: SWAP1
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: PUSH2 0x1c26
00001c1f: DUP10
00001c20: DUP3
00001c21: DUP11
00001c22: PUSH2 0x1db5
00001c25: JUMP
00001c26: JUMPDEST
00001c27: PUSH2 0x1c36
00001c2a: DUP10
00001c2b: DUP10
00001c2c: DUP10
00001c2d: DUP10
00001c2e: DUP10
00001c2f: DUP10
00001c30: DUP10
00001c31: DUP10
00001c32: PUSH2 0x08a7
00001c35: JUMP
00001c36: JUMPDEST
00001c37: POP
00001c38: POP
00001c39: POP
00001c3a: POP
00001c3b: POP
00001c3c: POP
00001c3d: POP
00001c3e: POP
00001c3f: POP
00001c40: JUMP
00001c41: JUMPDEST
00001c42: PUSH2 0x196c
00001c45: CALLER
00001c46: DUP5
00001c47: DUP5
00001c48: DUP5
00001c49: PUSH2 0x297f
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: PUSH1 0x04
00001c50: SLOAD
00001c51: PUSH1 0x00
00001c53: SWAP1
00001c54: PUSH1 0x01
00001c56: PUSH1 0xa0
00001c58: PUSH1 0x02
00001c5a: EXP
00001c5b: SUB
00001c5c: AND
00001c5d: CALLER
00001c5e: EQ
00001c5f: PUSH2 0x1cb2
00001c62: JUMPI
00001c63: PUSH1 0x40
00001c65: DUP1
00001c66: MLOAD
00001c67: PUSH1 0xe5
00001c69: PUSH1 0x02
00001c6b: EXP
00001c6c: PUSH3 0x461bcd
00001c70: MUL
00001c71: DUP2
00001c72: MSTORE
00001c73: PUSH1 0x20
00001c75: PUSH1 0x04
00001c77: DUP3
00001c78: ADD
00001c79: MSTORE
00001c7a: PUSH1 0x0f
00001c7c: PUSH1 0x24
00001c7e: DUP3
00001c7f: ADD
00001c80: MSTORE
00001c81: PUSH32 0x546f6b656e206d7573742063616c6c0000000000000000000000000000000000
00001ca2: PUSH1 0x44
00001ca4: DUP3
00001ca5: ADD
00001ca6: MSTORE
00001ca7: SWAP1
00001ca8: MLOAD
00001ca9: SWAP1
00001caa: DUP2
00001cab: SWAP1
00001cac: SUB
00001cad: PUSH1 0x64
00001caf: ADD
00001cb0: SWAP1
00001cb1: REVERT
00001cb2: JUMPDEST
00001cb3: PUSH2 0x1cbe
00001cb6: DUP6
00001cb7: DUP6
00001cb8: DUP6
00001cb9: DUP6
00001cba: PUSH2 0x21eb
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: POP
00001cc0: PUSH1 0x01
00001cc2: SWAP5
00001cc3: SWAP4
00001cc4: POP
00001cc5: POP
00001cc6: POP
00001cc7: POP
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: PUSH1 0x40
00001ccc: DUP1
00001ccd: MLOAD
00001cce: DUP3
00001ccf: DUP2
00001cd0: MSTORE
00001cd1: SWAP1
00001cd2: MLOAD
00001cd3: DUP4
00001cd4: SWAP2
00001cd5: DUP6
00001cd6: SWAP2
00001cd7: CALLER
00001cd8: SWAP2
00001cd9: PUSH32 0x9b7312a236066d2da679eba7e3a2e86d2d07a973819499846c0efd2fd2506c80
00001cfa: SWAP2
00001cfb: SWAP1
00001cfc: DUP2
00001cfd: SWAP1
00001cfe: SUB
00001cff: PUSH1 0x20
00001d01: ADD
00001d02: SWAP1
00001d03: LOG4
00001d04: POP
00001d05: POP
00001d06: POP
00001d07: JUMP
00001d08: JUMPDEST
00001d09: PUSH1 0x04
00001d0b: SLOAD
00001d0c: PUSH1 0x00
00001d0e: SWAP1
00001d0f: PUSH1 0x01
00001d11: PUSH1 0xa0
00001d13: PUSH1 0x02
00001d15: EXP
00001d16: SUB
00001d17: AND
00001d18: CALLER
00001d19: EQ
00001d1a: PUSH2 0x1d6d
00001d1d: JUMPI
00001d1e: PUSH1 0x40
00001d20: DUP1
00001d21: MLOAD
00001d22: PUSH1 0xe5
00001d24: PUSH1 0x02
00001d26: EXP
00001d27: PUSH3 0x461bcd
00001d2b: MUL
00001d2c: DUP2
00001d2d: MSTORE
00001d2e: PUSH1 0x20
00001d30: PUSH1 0x04
00001d32: DUP3
00001d33: ADD
00001d34: MSTORE
00001d35: PUSH1 0x0f
00001d37: PUSH1 0x24
00001d39: DUP3
00001d3a: ADD
00001d3b: MSTORE
00001d3c: PUSH32 0x546f6b656e206d7573742063616c6c0000000000000000000000000000000000
00001d5d: PUSH1 0x44
00001d5f: DUP3
00001d60: ADD
00001d61: MSTORE
00001d62: SWAP1
00001d63: MLOAD
00001d64: SWAP1
00001d65: DUP2
00001d66: SWAP1
00001d67: SUB
00001d68: PUSH1 0x64
00001d6a: ADD
00001d6b: SWAP1
00001d6c: REVERT
00001d6d: JUMPDEST
00001d6e: PUSH2 0x1cbe
00001d71: DUP6
00001d72: DUP6
00001d73: DUP6
00001d74: DUP6
00001d75: PUSH2 0x297f
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: PUSH1 0x01
00001d7c: DUP1
00001d7d: SLOAD
00001d7e: DUP3
00001d7f: SWAP1
00001d80: DUP2
00001d81: LT
00001d82: PUSH2 0x1d87
00001d85: JUMPI
00001d86: INVALID
00001d87: JUMPDEST
00001d88: PUSH1 0x00
00001d8a: SWAP2
00001d8b: DUP3
00001d8c: MSTORE
00001d8d: PUSH1 0x20
00001d8f: SWAP1
00001d90: SWAP2
00001d91: KECCAK256
00001d92: PUSH1 0x03
00001d94: SWAP1
00001d95: SWAP2
00001d96: MUL
00001d97: ADD
00001d98: DUP1
00001d99: SLOAD
00001d9a: PUSH1 0x01
00001d9c: DUP3
00001d9d: ADD
00001d9e: SLOAD
00001d9f: PUSH1 0x02
00001da1: SWAP1
00001da2: SWAP3
00001da3: ADD
00001da4: SLOAD
00001da5: PUSH1 0x01
00001da7: PUSH1 0xa0
00001da9: PUSH1 0x02
00001dab: EXP
00001dac: SUB
00001dad: SWAP2
00001dae: DUP3
00001daf: AND
00001db0: SWAP4
00001db1: POP
00001db2: AND
00001db3: DUP4
00001db4: JUMP
00001db5: JUMPDEST
00001db6: PUSH1 0x00
00001db8: DUP1
00001db9: PUSH1 0x01
00001dbb: DUP6
00001dbc: DUP2
00001dbd: SLOAD
00001dbe: DUP2
00001dbf: LT
00001dc0: ISZERO
00001dc1: ISZERO
00001dc2: PUSH2 0x1dc7
00001dc5: JUMPI
00001dc6: INVALID
00001dc7: JUMPDEST
00001dc8: SWAP1
00001dc9: PUSH1 0x00
00001dcb: MSTORE
00001dcc: PUSH1 0x20
00001dce: PUSH1 0x00
00001dd0: KECCAK256
00001dd1: SWAP1
00001dd2: PUSH1 0x03
00001dd4: MUL
00001dd5: ADD
00001dd6: SWAP2
00001dd7: POP
00001dd8: PUSH1 0x02
00001dda: PUSH1 0x00
00001ddc: DUP7
00001ddd: DUP2
00001dde: MSTORE
00001ddf: PUSH1 0x20
00001de1: ADD
00001de2: SWAP1
00001de3: DUP2
00001de4: MSTORE
00001de5: PUSH1 0x20
00001de7: ADD
00001de8: PUSH1 0x00
00001dea: KECCAK256
00001deb: DUP5
00001dec: DUP2
00001ded: SLOAD
00001dee: DUP2
00001def: LT
00001df0: ISZERO
00001df1: ISZERO
00001df2: PUSH2 0x1df7
00001df5: JUMPI
00001df6: INVALID
00001df7: JUMPDEST
00001df8: PUSH1 0x00
00001dfa: SWAP2
00001dfb: DUP3
00001dfc: MSTORE
00001dfd: PUSH1 0x20
00001dff: SWAP1
00001e00: SWAP2
00001e01: KECCAK256
00001e02: PUSH1 0x09
00001e04: SWAP1
00001e05: SWAP2
00001e06: MUL
00001e07: ADD
00001e08: PUSH1 0x04
00001e0a: DUP2
00001e0b: ADD
00001e0c: SLOAD
00001e0d: SWAP1
00001e0e: SWAP2
00001e0f: POP
00001e10: PUSH1 0x01
00001e12: PUSH1 0xa0
00001e14: PUSH1 0x02
00001e16: EXP
00001e17: SUB
00001e18: AND
00001e19: CALLER
00001e1a: EQ
00001e1b: DUP1
00001e1c: PUSH2 0x1e2e
00001e1f: JUMPI
00001e20: POP
00001e21: DUP2
00001e22: SLOAD
00001e23: PUSH1 0x01
00001e25: PUSH1 0xa0
00001e27: PUSH1 0x02
00001e29: EXP
00001e2a: SUB
00001e2b: AND
00001e2c: CALLER
00001e2d: EQ
00001e2e: JUMPDEST
00001e2f: ISZERO
00001e30: ISZERO
00001e31: PUSH2 0x1e84
00001e34: JUMPI
00001e35: PUSH1 0x40
00001e37: DUP1
00001e38: MLOAD
00001e39: PUSH1 0xe5
00001e3b: PUSH1 0x02
00001e3d: EXP
00001e3e: PUSH3 0x461bcd
00001e42: MUL
00001e43: DUP2
00001e44: MSTORE
00001e45: PUSH1 0x20
00001e47: PUSH1 0x04
00001e49: DUP3
00001e4a: ADD
00001e4b: MSTORE
00001e4c: PUSH1 0x1d
00001e4e: PUSH1 0x24
00001e50: DUP3
00001e51: ADD
00001e52: MSTORE
00001e53: PUSH32 0x5265737472696374656420746f206275796572206f722073656c6c6572000000
00001e74: PUSH1 0x44
00001e76: DUP3
00001e77: ADD
00001e78: MSTORE
00001e79: SWAP1
00001e7a: MLOAD
00001e7b: SWAP1
00001e7c: DUP2
00001e7d: SWAP1
00001e7e: SUB
00001e7f: PUSH1 0x64
00001e81: ADD
00001e82: SWAP1
00001e83: REVERT
00001e84: JUMPDEST
00001e85: PUSH1 0x08
00001e87: DUP2
00001e88: ADD
00001e89: SLOAD
00001e8a: PUSH1 0xff
00001e8c: AND
00001e8d: PUSH1 0x01
00001e8f: EQ
00001e90: PUSH2 0x1ee3
00001e93: JUMPI
00001e94: PUSH1 0x40
00001e96: DUP1
00001e97: MLOAD
00001e98: PUSH1 0xe5
00001e9a: PUSH1 0x02
00001e9c: EXP
00001e9d: PUSH3 0x461bcd
00001ea1: MUL
00001ea2: DUP2
00001ea3: MSTORE
00001ea4: PUSH1 0x20
00001ea6: PUSH1 0x04
00001ea8: DUP3
00001ea9: ADD
00001eaa: MSTORE
00001eab: PUSH1 0x11
00001ead: PUSH1 0x24
00001eaf: DUP3
00001eb0: ADD
00001eb1: MSTORE
00001eb2: PUSH32 0x73746174757320213d2063726561746564000000000000000000000000000000
00001ed3: PUSH1 0x44
00001ed5: DUP3
00001ed6: ADD
00001ed7: MSTORE
00001ed8: SWAP1
00001ed9: MLOAD
00001eda: SWAP1
00001edb: DUP2
00001edc: SWAP1
00001edd: SUB
00001ede: PUSH1 0x64
00001ee0: ADD
00001ee1: SWAP1
00001ee2: REVERT
00001ee3: JUMPDEST
00001ee4: PUSH2 0x1eed
00001ee7: DUP6
00001ee8: DUP6
00001ee9: PUSH2 0x235f
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH1 0x40
00001ef0: DUP1
00001ef1: MLOAD
00001ef2: DUP5
00001ef3: DUP2
00001ef4: MSTORE
00001ef5: SWAP1
00001ef6: MLOAD
00001ef7: DUP6
00001ef8: SWAP2
00001ef9: DUP8
00001efa: SWAP2
00001efb: CALLER
00001efc: SWAP2
00001efd: PUSH32 0xe9ae767ab1c8f3f874a5b2810a1f6323b43283a5b462b52a4de5f8ed53a4fe25
00001f1e: SWAP2
00001f1f: SWAP1
00001f20: DUP2
00001f21: SWAP1
00001f22: SUB
00001f23: PUSH1 0x20
00001f25: ADD
00001f26: SWAP1
00001f27: LOG4
00001f28: PUSH1 0x00
00001f2a: DUP6
00001f2b: DUP2
00001f2c: MSTORE
00001f2d: PUSH1 0x02
00001f2f: PUSH1 0x20
00001f31: MSTORE
00001f32: PUSH1 0x40
00001f34: SWAP1
00001f35: KECCAK256
00001f36: DUP1
00001f37: SLOAD
00001f38: DUP6
00001f39: SWAP1
00001f3a: DUP2
00001f3b: LT
00001f3c: PUSH2 0x1f41
00001f3f: JUMPI
00001f40: INVALID
00001f41: JUMPDEST
00001f42: PUSH1 0x00
00001f44: SWAP2
00001f45: DUP3
00001f46: MSTORE
00001f47: PUSH1 0x20
00001f49: DUP3
00001f4a: KECCAK256
00001f4b: PUSH1 0x09
00001f4d: SWAP1
00001f4e: SWAP2
00001f4f: MUL
00001f50: ADD
00001f51: DUP2
00001f52: DUP2
00001f53: SSTORE
00001f54: PUSH1 0x01
00001f56: DUP2
00001f57: ADD
00001f58: DUP3
00001f59: SWAP1
00001f5a: SSTORE
00001f5b: PUSH1 0x02
00001f5d: DUP2
00001f5e: ADD
00001f5f: DUP3
00001f60: SWAP1
00001f61: SSTORE
00001f62: PUSH1 0x03
00001f64: DUP2
00001f65: ADD
00001f66: DUP1
00001f67: SLOAD
00001f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7d: NOT
00001f7e: SWAP1
00001f7f: DUP2
00001f80: AND
00001f81: SWAP1
00001f82: SWAP2
00001f83: SSTORE
00001f84: PUSH1 0x04
00001f86: DUP3
00001f87: ADD
00001f88: DUP1
00001f89: SLOAD
00001f8a: DUP3
00001f8b: AND
00001f8c: SWAP1
00001f8d: SSTORE
00001f8e: PUSH1 0x05
00001f90: DUP3
00001f91: ADD
00001f92: DUP1
00001f93: SLOAD
00001f94: DUP3
00001f95: AND
00001f96: SWAP1
00001f97: SSTORE
00001f98: PUSH1 0x06
00001f9a: DUP3
00001f9b: ADD
00001f9c: DUP1
00001f9d: SLOAD
00001f9e: SWAP1
00001f9f: SWAP2
00001fa0: AND
00001fa1: SWAP1
00001fa2: SSTORE
00001fa3: PUSH1 0x07
00001fa5: DUP2
00001fa6: ADD
00001fa7: SWAP2
00001fa8: SWAP1
00001fa9: SWAP2
00001faa: SSTORE
00001fab: PUSH1 0x08
00001fad: ADD
00001fae: DUP1
00001faf: SLOAD
00001fb0: PUSH1 0xff
00001fb2: NOT
00001fb3: AND
00001fb4: SWAP1
00001fb5: SSTORE
00001fb6: POP
00001fb7: POP
00001fb8: POP
00001fb9: POP
00001fba: POP
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH1 0x00
00001fbf: SLOAD
00001fc0: PUSH1 0x01
00001fc2: PUSH1 0xa0
00001fc4: PUSH1 0x02
00001fc6: EXP
00001fc7: SUB
00001fc8: AND
00001fc9: CALLER
00001fca: EQ
00001fcb: PUSH2 0x1fd3
00001fce: JUMPI
00001fcf: PUSH1 0x00
00001fd1: DUP1
00001fd2: REVERT
00001fd3: JUMPDEST
00001fd4: PUSH2 0x1fdc
00001fd7: DUP2
00001fd8: PUSH2 0x2b9f
00001fdb: JUMP
00001fdc: JUMPDEST
00001fdd: POP
00001fde: JUMP
00001fdf: JUMPDEST
00001fe0: PUSH1 0x00
00001fe2: DUP1
00001fe3: PUSH1 0x01
00001fe5: DUP6
00001fe6: DUP2
00001fe7: SLOAD
00001fe8: DUP2
00001fe9: LT
00001fea: ISZERO
00001feb: ISZERO
00001fec: PUSH2 0x1ff1
00001fef: JUMPI
00001ff0: INVALID
00001ff1: JUMPDEST
00001ff2: SWAP1
00001ff3: PUSH1 0x00
00001ff5: MSTORE
00001ff6: PUSH1 0x20
00001ff8: PUSH1 0x00
00001ffa: KECCAK256
00001ffb: SWAP1
00001ffc: PUSH1 0x03
00001ffe: MUL
00001fff: ADD
00002000: SWAP2
00002001: POP
00002002: PUSH1 0x02
00002004: PUSH1 0x00
00002006: DUP7
00002007: DUP2
00002008: MSTORE
00002009: PUSH1 0x20
0000200b: ADD
0000200c: SWAP1
0000200d: DUP2
0000200e: MSTORE
0000200f: PUSH1 0x20
00002011: ADD
00002012: PUSH1 0x00
00002014: KECCAK256
00002015: DUP5
00002016: DUP2
00002017: SLOAD
00002018: DUP2
00002019: LT
0000201a: ISZERO
0000201b: ISZERO
0000201c: PUSH2 0x2021
0000201f: JUMPI
00002020: INVALID
00002021: JUMPDEST
00002022: SWAP1
00002023: PUSH1 0x00
00002025: MSTORE
00002026: PUSH1 0x20
00002028: PUSH1 0x00
0000202a: KECCAK256
0000202b: SWAP1
0000202c: PUSH1 0x09
0000202e: MUL
0000202f: ADD
00002030: SWAP1
00002031: POP
00002032: DUP1
00002033: PUSH1 0x07
00002035: ADD
00002036: SLOAD
00002037: TIMESTAMP
00002038: GT
00002039: ISZERO
0000203a: ISZERO
0000203b: PUSH2 0x20a7
0000203e: JUMPI
0000203f: PUSH1 0x04
00002041: DUP2
00002042: ADD
00002043: SLOAD
00002044: PUSH1 0x01
00002046: PUSH1 0xa0
00002048: PUSH1 0x02
0000204a: EXP
0000204b: SUB
0000204c: AND
0000204d: CALLER
0000204e: EQ
0000204f: PUSH2 0x20a2
00002052: JUMPI
00002053: PUSH1 0x40
00002055: DUP1
00002056: MLOAD
00002057: PUSH1 0xe5
00002059: PUSH1 0x02
0000205b: EXP
0000205c: PUSH3 0x461bcd
00002060: MUL
00002061: DUP2
00002062: MSTORE
00002063: PUSH1 0x20
00002065: PUSH1 0x04
00002067: DUP3
00002068: ADD
00002069: MSTORE
0000206a: PUSH1 0x17
0000206c: PUSH1 0x24
0000206e: DUP3
0000206f: ADD
00002070: MSTORE
00002071: PUSH32 0x4f6e6c792062757965722063616e2066696e616c697a65000000000000000000
00002092: PUSH1 0x44
00002094: DUP3
00002095: ADD
00002096: MSTORE
00002097: SWAP1
00002098: MLOAD
00002099: SWAP1
0000209a: DUP2
0000209b: SWAP1
0000209c: SUB
0000209d: PUSH1 0x64
0000209f: ADD
000020a0: SWAP1
000020a1: REVERT
000020a2: JUMPDEST
000020a3: PUSH2 0x2121
000020a6: JUMP
000020a7: JUMPDEST
000020a8: PUSH1 0x04
000020aa: DUP2
000020ab: ADD
000020ac: SLOAD
000020ad: PUSH1 0x01
000020af: PUSH1 0xa0
000020b1: PUSH1 0x02
000020b3: EXP
000020b4: SUB
000020b5: AND
000020b6: CALLER
000020b7: EQ
000020b8: DUP1
000020b9: PUSH2 0x20cb
000020bc: JUMPI
000020bd: POP
000020be: DUP2
000020bf: SLOAD
000020c0: PUSH1 0x01
000020c2: PUSH1 0xa0
000020c4: PUSH1 0x02
000020c6: EXP
000020c7: SUB
000020c8: AND
000020c9: CALLER
000020ca: EQ
000020cb: JUMPDEST
000020cc: ISZERO
000020cd: ISZERO
000020ce: PUSH2 0x2121
000020d1: JUMPI
000020d2: PUSH1 0x40
000020d4: DUP1
000020d5: MLOAD
000020d6: PUSH1 0xe5
000020d8: PUSH1 0x02
000020da: EXP
000020db: PUSH3 0x461bcd
000020df: MUL
000020e0: DUP2
000020e1: MSTORE
000020e2: PUSH1 0x20
000020e4: PUSH1 0x04
000020e6: DUP3
000020e7: ADD
000020e8: MSTORE
000020e9: PUSH1 0x1d
000020eb: PUSH1 0x24
000020ed: DUP3
000020ee: ADD
000020ef: MSTORE
000020f0: PUSH32 0x53656c6c6572206f72206275796572206d7573742066696e616c697a65000000
00002111: PUSH1 0x44
00002113: DUP3
00002114: ADD
00002115: MSTORE
00002116: SWAP1
00002117: MLOAD
00002118: SWAP1
00002119: DUP2
0000211a: SWAP1
0000211b: SUB
0000211c: PUSH1 0x64
0000211e: ADD
0000211f: SWAP1
00002120: REVERT
00002121: JUMPDEST
00002122: PUSH1 0x08
00002124: DUP2
00002125: ADD
00002126: SLOAD
00002127: PUSH1 0xff
00002129: AND
0000212a: PUSH1 0x02
0000212c: EQ
0000212d: PUSH2 0x216e
00002130: JUMPI
00002131: PUSH1 0x40
00002133: DUP1
00002134: MLOAD
00002135: PUSH1 0xe5
00002137: PUSH1 0x02
00002139: EXP
0000213a: PUSH3 0x461bcd
0000213e: MUL
0000213f: DUP2
00002140: MSTORE
00002141: PUSH1 0x20
00002143: PUSH1 0x04
00002145: DUP3
00002146: ADD
00002147: MSTORE
00002148: PUSH1 0x12
0000214a: PUSH1 0x24
0000214c: DUP3
0000214d: ADD
0000214e: MSTORE
0000214f: PUSH1 0x00
00002151: DUP1
00002152: MLOAD
00002153: PUSH1 0x20
00002155: PUSH2 0x2c1d
00002158: DUP4
00002159: CODECOPY
0000215a: DUP2
0000215b: MLOAD
0000215c: SWAP2
0000215d: MSTORE
0000215e: PUSH1 0x44
00002160: DUP3
00002161: ADD
00002162: MSTORE
00002163: SWAP1
00002164: MLOAD
00002165: SWAP1
00002166: DUP2
00002167: SWAP1
00002168: SUB
00002169: PUSH1 0x64
0000216b: ADD
0000216c: SWAP1
0000216d: REVERT
0000216e: JUMPDEST
0000216f: PUSH2 0x2178
00002172: DUP6
00002173: DUP6
00002174: PUSH2 0x250d
00002177: JUMP
00002178: JUMPDEST
00002179: PUSH1 0x04
0000217b: DUP2
0000217c: ADD
0000217d: SLOAD
0000217e: PUSH1 0x01
00002180: PUSH1 0xa0
00002182: PUSH1 0x02
00002184: EXP
00002185: SUB
00002186: AND
00002187: CALLER
00002188: EQ
00002189: ISZERO
0000218a: PUSH2 0x2197
0000218d: JUMPI
0000218e: PUSH2 0x2197
00002191: DUP6
00002192: DUP6
00002193: PUSH2 0x2859
00002196: JUMP
00002197: JUMPDEST
00002198: PUSH1 0x40
0000219a: DUP1
0000219b: MLOAD
0000219c: DUP5
0000219d: DUP2
0000219e: MSTORE
0000219f: SWAP1
000021a0: MLOAD
000021a1: DUP6
000021a2: SWAP2
000021a3: DUP8
000021a4: SWAP2
000021a5: CALLER
000021a6: SWAP2
000021a7: PUSH32 0xbfefa76df66ac53c6517b1939b14bfc4d5fdf714b93a71aea2e50977d1b3b8e6
000021c8: SWAP2
000021c9: SWAP1
000021ca: DUP2
000021cb: SWAP1
000021cc: SUB
000021cd: PUSH1 0x20
000021cf: ADD
000021d0: SWAP1
000021d1: LOG4
000021d2: PUSH1 0x00
000021d4: DUP6
000021d5: DUP2
000021d6: MSTORE
000021d7: PUSH1 0x02
000021d9: PUSH1 0x20
000021db: MSTORE
000021dc: PUSH1 0x40
000021de: SWAP1
000021df: KECCAK256
000021e0: DUP1
000021e1: SLOAD
000021e2: DUP6
000021e3: SWAP1
000021e4: DUP2
000021e5: LT
000021e6: PUSH2 0x1f41
000021e9: JUMPI
000021ea: INVALID
000021eb: JUMPDEST
000021ec: PUSH1 0x00
000021ee: PUSH1 0x01
000021f0: DUP5
000021f1: DUP2
000021f2: SLOAD
000021f3: DUP2
000021f4: LT
000021f5: ISZERO
000021f6: ISZERO
000021f7: PUSH2 0x21fc
000021fa: JUMPI
000021fb: INVALID
000021fc: JUMPDEST
000021fd: PUSH1 0x00
000021ff: SWAP2
00002200: DUP3
00002201: MSTORE
00002202: PUSH1 0x20
00002204: SWAP1
00002205: SWAP2
00002206: KECCAK256
00002207: PUSH1 0x03
00002209: SWAP1
0000220a: SWAP2
0000220b: MUL
0000220c: ADD
0000220d: DUP1
0000220e: SLOAD
0000220f: SWAP1
00002210: SWAP2
00002211: POP
00002212: PUSH1 0x01
00002214: PUSH1 0xa0
00002216: PUSH1 0x02
00002218: EXP
00002219: SUB
0000221a: DUP7
0000221b: DUP2
0000221c: AND
0000221d: SWAP2
0000221e: AND
0000221f: EQ
00002220: PUSH2 0x2273
00002223: JUMPI
00002224: PUSH1 0x40
00002226: DUP1
00002227: MLOAD
00002228: PUSH1 0xe5
0000222a: PUSH1 0x02
0000222c: EXP
0000222d: PUSH3 0x461bcd
00002231: MUL
00002232: DUP2
00002233: MSTORE
00002234: PUSH1 0x20
00002236: PUSH1 0x04
00002238: DUP3
00002239: ADD
0000223a: MSTORE
0000223b: PUSH1 0x10
0000223d: PUSH1 0x24
0000223f: DUP3
00002240: ADD
00002241: MSTORE
00002242: PUSH32 0x53656c6c6572206d7573742063616c6c00000000000000000000000000000000
00002263: PUSH1 0x44
00002265: DUP3
00002266: ADD
00002267: MSTORE
00002268: SWAP1
00002269: MLOAD
0000226a: SWAP1
0000226b: DUP2
0000226c: SWAP1
0000226d: SUB
0000226e: PUSH1 0x64
00002270: ADD
00002271: SWAP1
00002272: REVERT
00002273: JUMPDEST
00002274: PUSH1 0x00
00002276: DUP3
00002277: GT
00002278: ISZERO
00002279: PUSH2 0x2316
0000227c: JUMPI
0000227d: PUSH1 0x04
0000227f: DUP1
00002280: SLOAD
00002281: PUSH1 0x40
00002283: DUP1
00002284: MLOAD
00002285: PUSH1 0xe0
00002287: PUSH1 0x02
00002289: EXP
0000228a: PUSH4 0x23b872dd
0000228f: MUL
00002290: DUP2
00002291: MSTORE
00002292: PUSH1 0x01
00002294: PUSH1 0xa0
00002296: PUSH1 0x02
00002298: EXP
00002299: SUB
0000229a: DUP10
0000229b: DUP2
0000229c: AND
0000229d: SWAP5
0000229e: DUP3
0000229f: ADD
000022a0: SWAP5
000022a1: SWAP1
000022a2: SWAP5
000022a3: MSTORE
000022a4: ADDRESS
000022a5: PUSH1 0x24
000022a7: DUP3
000022a8: ADD
000022a9: MSTORE
000022aa: PUSH1 0x44
000022ac: DUP2
000022ad: ADD
000022ae: DUP7
000022af: SWAP1
000022b0: MSTORE
000022b1: SWAP1
000022b2: MLOAD
000022b3: SWAP3
000022b4: SWAP1
000022b5: SWAP2
000022b6: AND
000022b7: SWAP2
000022b8: PUSH4 0x23b872dd
000022bd: SWAP2
000022be: PUSH1 0x64
000022c0: DUP1
000022c1: DUP3
000022c2: ADD
000022c3: SWAP3
000022c4: PUSH1 0x20
000022c6: SWAP3
000022c7: SWAP1
000022c8: SWAP2
000022c9: SWAP1
000022ca: DUP3
000022cb: SWAP1
000022cc: SUB
000022cd: ADD
000022ce: DUP2
000022cf: PUSH1 0x00
000022d1: DUP8
000022d2: DUP1
000022d3: EXTCODESIZE
000022d4: ISZERO
000022d5: DUP1
000022d6: ISZERO
000022d7: PUSH2 0x22df
000022da: JUMPI
000022db: PUSH1 0x00
000022dd: DUP1
000022de: REVERT
000022df: JUMPDEST
000022e0: POP
000022e1: GAS
000022e2: CALL
000022e3: ISZERO
000022e4: DUP1
000022e5: ISZERO
000022e6: PUSH2 0x22f3
000022e9: JUMPI
000022ea: RETURNDATASIZE
000022eb: PUSH1 0x00
000022ed: DUP1
000022ee: RETURNDATACOPY
000022ef: RETURNDATASIZE
000022f0: PUSH1 0x00
000022f2: REVERT
000022f3: JUMPDEST
000022f4: POP
000022f5: POP
000022f6: POP
000022f7: POP
000022f8: PUSH1 0x40
000022fa: MLOAD
000022fb: RETURNDATASIZE
000022fc: PUSH1 0x20
000022fe: DUP2
000022ff: LT
00002300: ISZERO
00002301: PUSH2 0x2309
00002304: JUMPI
00002305: PUSH1 0x00
00002307: DUP1
00002308: REVERT
00002309: JUMPDEST
0000230a: POP
0000230b: POP
0000230c: PUSH1 0x01
0000230e: DUP2
0000230f: ADD
00002310: DUP1
00002311: SLOAD
00002312: DUP4
00002313: ADD
00002314: SWAP1
00002315: SSTORE
00002316: JUMPDEST
00002317: DUP1
00002318: SLOAD
00002319: PUSH1 0x40
0000231b: DUP1
0000231c: MLOAD
0000231d: DUP6
0000231e: DUP2
0000231f: MSTORE
00002320: SWAP1
00002321: MLOAD
00002322: DUP7
00002323: SWAP3
00002324: PUSH1 0x01
00002326: PUSH1 0xa0
00002328: PUSH1 0x02
0000232a: EXP
0000232b: SUB
0000232c: AND
0000232d: SWAP2
0000232e: PUSH32 0x470503ad37642fff73a57bac35e69733b6b38281a893f39b50c285aad1f040e0
0000234f: SWAP2
00002350: SWAP1
00002351: DUP2
00002352: SWAP1
00002353: SUB
00002354: PUSH1 0x20
00002356: ADD
00002357: SWAP1
00002358: LOG3
00002359: POP
0000235a: POP
0000235b: POP
0000235c: POP
0000235d: POP
0000235e: JUMP
0000235f: JUMPDEST
00002360: PUSH1 0x00
00002362: DUP3
00002363: DUP2
00002364: MSTORE
00002365: PUSH1 0x02
00002367: PUSH1 0x20
00002369: MSTORE
0000236a: PUSH1 0x40
0000236c: DUP2
0000236d: KECCAK256
0000236e: DUP1
0000236f: SLOAD
00002370: DUP4
00002371: SWAP1
00002372: DUP2
00002373: LT
00002374: PUSH2 0x2379
00002377: JUMPI
00002378: INVALID
00002379: JUMPDEST
0000237a: PUSH1 0x00
0000237c: SWAP2
0000237d: DUP3
0000237e: MSTORE
0000237f: PUSH1 0x20
00002381: SWAP1
00002382: SWAP2
00002383: KECCAK256
00002384: PUSH1 0x09
00002386: SWAP1
00002387: SWAP2
00002388: MUL
00002389: ADD
0000238a: PUSH1 0x03
0000238c: DUP2
0000238d: ADD
0000238e: SLOAD
0000238f: SWAP1
00002390: SWAP2
00002391: POP
00002392: PUSH1 0x01
00002394: PUSH1 0xa0
00002396: PUSH1 0x02
00002398: EXP
00002399: SUB
0000239a: AND
0000239b: ISZERO
0000239c: ISZERO
0000239d: PUSH2 0x2427
000023a0: JUMPI
000023a1: PUSH1 0x04
000023a3: DUP2
000023a4: ADD
000023a5: SLOAD
000023a6: DUP2
000023a7: SLOAD
000023a8: PUSH1 0x40
000023aa: MLOAD
000023ab: PUSH1 0x01
000023ad: PUSH1 0xa0
000023af: PUSH1 0x02
000023b1: EXP
000023b2: SUB
000023b3: SWAP1
000023b4: SWAP3
000023b5: AND
000023b6: SWAP2
000023b7: DUP2
000023b8: ISZERO
000023b9: PUSH2 0x08fc
000023bc: MUL
000023bd: SWAP2
000023be: SWAP1
000023bf: PUSH1 0x00
000023c1: DUP2
000023c2: DUP2
000023c3: DUP2
000023c4: DUP6
000023c5: DUP9
000023c6: DUP9
000023c7: CALL
000023c8: SWAP4
000023c9: POP
000023ca: POP
000023cb: POP
000023cc: POP
000023cd: ISZERO
000023ce: ISZERO
000023cf: PUSH2 0x2422
000023d2: JUMPI
000023d3: PUSH1 0x40
000023d5: DUP1
000023d6: MLOAD
000023d7: PUSH1 0xe5
000023d9: PUSH1 0x02
000023db: EXP
000023dc: PUSH3 0x461bcd
000023e0: MUL
000023e1: DUP2
000023e2: MSTORE
000023e3: PUSH1 0x20
000023e5: PUSH1 0x04
000023e7: DUP3
000023e8: ADD
000023e9: MSTORE
000023ea: PUSH1 0x11
000023ec: PUSH1 0x24
000023ee: DUP3
000023ef: ADD
000023f0: MSTORE
000023f1: PUSH32 0x45544820726566756e64206661696c6564000000000000000000000000000000
00002412: PUSH1 0x44
00002414: DUP3
00002415: ADD
00002416: MSTORE
00002417: SWAP1
00002418: MLOAD
00002419: SWAP1
0000241a: DUP2
0000241b: SWAP1
0000241c: SUB
0000241d: PUSH1 0x64
0000241f: ADD
00002420: SWAP1
00002421: REVERT
00002422: JUMPDEST
00002423: PUSH2 0x196c
00002426: JUMP
00002427: JUMPDEST
00002428: PUSH1 0x03
0000242a: DUP2
0000242b: ADD
0000242c: SLOAD
0000242d: PUSH1 0x04
0000242f: DUP1
00002430: DUP4
00002431: ADD
00002432: SLOAD
00002433: DUP4
00002434: SLOAD
00002435: PUSH1 0x40
00002437: DUP1
00002438: MLOAD
00002439: PUSH1 0xe0
0000243b: PUSH1 0x02
0000243d: EXP
0000243e: PUSH4 0xa9059cbb
00002443: MUL
00002444: DUP2
00002445: MSTORE
00002446: PUSH1 0x01
00002448: PUSH1 0xa0
0000244a: PUSH1 0x02
0000244c: EXP
0000244d: SUB
0000244e: SWAP4
0000244f: DUP5
00002450: AND
00002451: SWAP5
00002452: DUP2
00002453: ADD
00002454: SWAP5
00002455: SWAP1
00002456: SWAP5
00002457: MSTORE
00002458: PUSH1 0x24
0000245a: DUP5
0000245b: ADD
0000245c: SWAP2
0000245d: SWAP1
0000245e: SWAP2
0000245f: MSTORE
00002460: MLOAD
00002461: SWAP3
00002462: AND
00002463: SWAP2
00002464: PUSH4 0xa9059cbb
00002469: SWAP2
0000246a: PUSH1 0x44
0000246c: DUP1
0000246d: DUP3
0000246e: ADD
0000246f: SWAP3
00002470: PUSH1 0x20
00002472: SWAP3
00002473: SWAP1
00002474: SWAP2
00002475: SWAP1
00002476: DUP3
00002477: SWAP1
00002478: SUB
00002479: ADD
0000247a: DUP2
0000247b: PUSH1 0x00
0000247d: DUP8
0000247e: DUP1
0000247f: EXTCODESIZE
00002480: ISZERO
00002481: DUP1
00002482: ISZERO
00002483: PUSH2 0x248b
00002486: JUMPI
00002487: PUSH1 0x00
00002489: DUP1
0000248a: REVERT
0000248b: JUMPDEST
0000248c: POP
0000248d: GAS
0000248e: CALL
0000248f: ISZERO
00002490: DUP1
00002491: ISZERO
00002492: PUSH2 0x249f
00002495: JUMPI
00002496: RETURNDATASIZE
00002497: PUSH1 0x00
00002499: DUP1
0000249a: RETURNDATACOPY
0000249b: RETURNDATASIZE
0000249c: PUSH1 0x00
0000249e: REVERT
0000249f: JUMPDEST
000024a0: POP
000024a1: POP
000024a2: POP
000024a3: POP
000024a4: PUSH1 0x40
000024a6: MLOAD
000024a7: RETURNDATASIZE
000024a8: PUSH1 0x20
000024aa: DUP2
000024ab: LT
000024ac: ISZERO
000024ad: PUSH2 0x24b5
000024b0: JUMPI
000024b1: PUSH1 0x00
000024b3: DUP1
000024b4: REVERT
000024b5: JUMPDEST
000024b6: POP
000024b7: MLOAD
000024b8: ISZERO
000024b9: ISZERO
000024ba: PUSH2 0x196c
000024bd: JUMPI
000024be: PUSH1 0x40
000024c0: DUP1
000024c1: MLOAD
000024c2: PUSH1 0xe5
000024c4: PUSH1 0x02
000024c6: EXP
000024c7: PUSH3 0x461bcd
000024cb: MUL
000024cc: DUP2
000024cd: MSTORE
000024ce: PUSH1 0x20
000024d0: PUSH1 0x04
000024d2: DUP3
000024d3: ADD
000024d4: MSTORE
000024d5: PUSH1 0x0d
000024d7: PUSH1 0x24
000024d9: DUP3
000024da: ADD
000024db: MSTORE
000024dc: PUSH32 0x526566756e64206661696c656400000000000000000000000000000000000000
000024fd: PUSH1 0x44
000024ff: DUP3
00002500: ADD
00002501: MSTORE
00002502: SWAP1
00002503: MLOAD
00002504: SWAP1
00002505: DUP2
00002506: SWAP1
00002507: SUB
00002508: PUSH1 0x64
0000250a: ADD
0000250b: SWAP1
0000250c: REVERT
0000250d: JUMPDEST
0000250e: PUSH1 0x00
00002510: DUP1
00002511: PUSH1 0x00
00002513: PUSH1 0x01
00002515: DUP6
00002516: DUP2
00002517: SLOAD
00002518: DUP2
00002519: LT
0000251a: ISZERO
0000251b: ISZERO
0000251c: PUSH2 0x2521
0000251f: JUMPI
00002520: INVALID
00002521: JUMPDEST
00002522: SWAP1
00002523: PUSH1 0x00
00002525: MSTORE
00002526: PUSH1 0x20
00002528: PUSH1 0x00
0000252a: KECCAK256
0000252b: SWAP1
0000252c: PUSH1 0x03
0000252e: MUL
0000252f: ADD
00002530: SWAP3
00002531: POP
00002532: PUSH1 0x02
00002534: PUSH1 0x00
00002536: DUP7
00002537: DUP2
00002538: MSTORE
00002539: PUSH1 0x20
0000253b: ADD
0000253c: SWAP1
0000253d: DUP2
0000253e: MSTORE
0000253f: PUSH1 0x20
00002541: ADD
00002542: PUSH1 0x00
00002544: KECCAK256
00002545: DUP5
00002546: DUP2
00002547: SLOAD
00002548: DUP2
00002549: LT
0000254a: ISZERO
0000254b: ISZERO
0000254c: PUSH2 0x2551
0000254f: JUMPI
00002550: INVALID
00002551: JUMPDEST
00002552: PUSH1 0x00
00002554: SWAP2
00002555: DUP3
00002556: MSTORE
00002557: PUSH1 0x20
00002559: SWAP1
0000255a: SWAP2
0000255b: KECCAK256
0000255c: PUSH1 0x09
0000255e: SWAP1
0000255f: SWAP2
00002560: MUL
00002561: ADD
00002562: PUSH1 0x02
00002564: DUP2
00002565: ADD
00002566: SLOAD
00002567: DUP2
00002568: SLOAD
00002569: PUSH1 0x03
0000256b: DUP4
0000256c: ADD
0000256d: SLOAD
0000256e: SWAP3
0000256f: SWAP5
00002570: POP
00002571: SUB
00002572: SWAP2
00002573: POP
00002574: PUSH1 0x01
00002576: PUSH1 0xa0
00002578: PUSH1 0x02
0000257a: EXP
0000257b: SUB
0000257c: AND
0000257d: ISZERO
0000257e: ISZERO
0000257f: PUSH2 0x268a
00002582: JUMPI
00002583: PUSH1 0x04
00002585: DUP3
00002586: ADD
00002587: SLOAD
00002588: PUSH1 0x02
0000258a: DUP4
0000258b: ADD
0000258c: SLOAD
0000258d: PUSH1 0x40
0000258f: MLOAD
00002590: PUSH1 0x01
00002592: PUSH1 0xa0
00002594: PUSH1 0x02
00002596: EXP
00002597: SUB
00002598: SWAP1
00002599: SWAP3
0000259a: AND
0000259b: SWAP2
0000259c: DUP2
0000259d: ISZERO
0000259e: PUSH2 0x08fc
000025a1: MUL
000025a2: SWAP2
000025a3: SWAP1
000025a4: PUSH1 0x00
000025a6: DUP2
000025a7: DUP2
000025a8: DUP2
000025a9: DUP6
000025aa: DUP9
000025ab: DUP9
000025ac: CALL
000025ad: SWAP4
000025ae: POP
000025af: POP
000025b0: POP
000025b1: POP
000025b2: ISZERO
000025b3: ISZERO
000025b4: PUSH2 0x2607
000025b7: JUMPI
000025b8: PUSH1 0x40
000025ba: DUP1
000025bb: MLOAD
000025bc: PUSH1 0xe5
000025be: PUSH1 0x02
000025c0: EXP
000025c1: PUSH3 0x461bcd
000025c5: MUL
000025c6: DUP2
000025c7: MSTORE
000025c8: PUSH1 0x20
000025ca: PUSH1 0x04
000025cc: DUP3
000025cd: ADD
000025ce: MSTORE
000025cf: PUSH1 0x11
000025d1: PUSH1 0x24
000025d3: DUP3
000025d4: ADD
000025d5: MSTORE
000025d6: PUSH32 0x45544820726566756e64206661696c6564000000000000000000000000000000
000025f7: PUSH1 0x44
000025f9: DUP3
000025fa: ADD
000025fb: MSTORE
000025fc: SWAP1
000025fd: MLOAD
000025fe: SWAP1
000025ff: DUP2
00002600: SWAP1
00002601: SUB
00002602: PUSH1 0x64
00002604: ADD
00002605: SWAP1
00002606: REVERT
00002607: JUMPDEST
00002608: DUP3
00002609: SLOAD
0000260a: PUSH1 0x40
0000260c: MLOAD
0000260d: PUSH1 0x01
0000260f: PUSH1 0xa0
00002611: PUSH1 0x02
00002613: EXP
00002614: SUB
00002615: SWAP1
00002616: SWAP2
00002617: AND
00002618: SWAP1
00002619: DUP3
0000261a: ISZERO
0000261b: PUSH2 0x08fc
0000261e: MUL
0000261f: SWAP1
00002620: DUP4
00002621: SWAP1
00002622: PUSH1 0x00
00002624: DUP2
00002625: DUP2
00002626: DUP2
00002627: DUP6
00002628: DUP9
00002629: DUP9
0000262a: CALL
0000262b: SWAP4
0000262c: POP
0000262d: POP
0000262e: POP
0000262f: POP
00002630: ISZERO
00002631: ISZERO
00002632: PUSH2 0x2685
00002635: JUMPI
00002636: PUSH1 0x40
00002638: DUP1
00002639: MLOAD
0000263a: PUSH1 0xe5
0000263c: PUSH1 0x02
0000263e: EXP
0000263f: PUSH3 0x461bcd
00002643: MUL
00002644: DUP2
00002645: MSTORE
00002646: PUSH1 0x20
00002648: PUSH1 0x04
0000264a: DUP3
0000264b: ADD
0000264c: MSTORE
0000264d: PUSH1 0x0f
0000264f: PUSH1 0x24
00002651: DUP3
00002652: ADD
00002653: MSTORE
00002654: PUSH32 0x4554482073656e64206661696c65640000000000000000000000000000000000
00002675: PUSH1 0x44
00002677: DUP3
00002678: ADD
00002679: MSTORE
0000267a: SWAP1
0000267b: MLOAD
0000267c: SWAP1
0000267d: DUP2
0000267e: SWAP1
0000267f: SUB
00002680: PUSH1 0x64
00002682: ADD
00002683: SWAP1
00002684: REVERT
00002685: JUMPDEST
00002686: PUSH2 0x2852
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH1 0x03
0000268d: DUP3
0000268e: ADD
0000268f: SLOAD
00002690: PUSH1 0x04
00002692: DUP1
00002693: DUP5
00002694: ADD
00002695: SLOAD
00002696: PUSH1 0x02
00002698: DUP6
00002699: ADD
0000269a: SLOAD
0000269b: PUSH1 0x40
0000269d: DUP1
0000269e: MLOAD
0000269f: PUSH1 0xe0
000026a1: PUSH1 0x02
000026a3: EXP
000026a4: PUSH4 0xa9059cbb
000026a9: MUL
000026aa: DUP2
000026ab: MSTORE
000026ac: PUSH1 0x01
000026ae: PUSH1 0xa0
000026b0: PUSH1 0x02
000026b2: EXP
000026b3: SUB
000026b4: SWAP4
000026b5: DUP5
000026b6: AND
000026b7: SWAP5
000026b8: DUP2
000026b9: ADD
000026ba: SWAP5
000026bb: SWAP1
000026bc: SWAP5
000026bd: MSTORE
000026be: PUSH1 0x24
000026c0: DUP5
000026c1: ADD
000026c2: SWAP2
000026c3: SWAP1
000026c4: SWAP2
000026c5: MSTORE
000026c6: MLOAD
000026c7: SWAP3
000026c8: AND
000026c9: SWAP2
000026ca: PUSH4 0xa9059cbb
000026cf: SWAP2
000026d0: PUSH1 0x44
000026d2: DUP1
000026d3: DUP3
000026d4: ADD
000026d5: SWAP3
000026d6: PUSH1 0x20
000026d8: SWAP3
000026d9: SWAP1
000026da: SWAP2
000026db: SWAP1
000026dc: DUP3
000026dd: SWAP1
000026de: SUB
000026df: ADD
000026e0: DUP2
000026e1: PUSH1 0x00
000026e3: DUP8
000026e4: DUP1
000026e5: EXTCODESIZE
000026e6: ISZERO
000026e7: DUP1
000026e8: ISZERO
000026e9: PUSH2 0x26f1
000026ec: JUMPI
000026ed: PUSH1 0x00
000026ef: DUP1
000026f0: REVERT
000026f1: JUMPDEST
000026f2: POP
000026f3: GAS
000026f4: CALL
000026f5: ISZERO
000026f6: DUP1
000026f7: ISZERO
000026f8: PUSH2 0x2705
000026fb: JUMPI
000026fc: RETURNDATASIZE
000026fd: PUSH1 0x00
000026ff: DUP1
00002700: RETURNDATACOPY
00002701: RETURNDATASIZE
00002702: PUSH1 0x00
00002704: REVERT
00002705: JUMPDEST
00002706: POP
00002707: POP
00002708: POP
00002709: POP
0000270a: PUSH1 0x40
0000270c: MLOAD
0000270d: RETURNDATASIZE
0000270e: PUSH1 0x20
00002710: DUP2
00002711: LT
00002712: ISZERO
00002713: PUSH2 0x271b
00002716: JUMPI
00002717: PUSH1 0x00
00002719: DUP1
0000271a: REVERT
0000271b: JUMPDEST
0000271c: POP
0000271d: MLOAD
0000271e: ISZERO
0000271f: ISZERO
00002720: PUSH2 0x2773
00002723: JUMPI
00002724: PUSH1 0x40
00002726: DUP1
00002727: MLOAD
00002728: PUSH1 0xe5
0000272a: PUSH1 0x02
0000272c: EXP
0000272d: PUSH3 0x461bcd
00002731: MUL
00002732: DUP2
00002733: MSTORE
00002734: PUSH1 0x20
00002736: PUSH1 0x04
00002738: DUP3
00002739: ADD
0000273a: MSTORE
0000273b: PUSH1 0x0d
0000273d: PUSH1 0x24
0000273f: DUP3
00002740: ADD
00002741: MSTORE
00002742: PUSH32 0x526566756e64206661696c656400000000000000000000000000000000000000
00002763: PUSH1 0x44
00002765: DUP3
00002766: ADD
00002767: MSTORE
00002768: SWAP1
00002769: MLOAD
0000276a: SWAP1
0000276b: DUP2
0000276c: SWAP1
0000276d: SUB
0000276e: PUSH1 0x64
00002770: ADD
00002771: SWAP1
00002772: REVERT
00002773: JUMPDEST
00002774: PUSH1 0x03
00002776: DUP3
00002777: ADD
00002778: SLOAD
00002779: DUP4
0000277a: SLOAD
0000277b: PUSH1 0x40
0000277d: DUP1
0000277e: MLOAD
0000277f: PUSH1 0xe0
00002781: PUSH1 0x02
00002783: EXP
00002784: PUSH4 0xa9059cbb
00002789: MUL
0000278a: DUP2
0000278b: MSTORE
0000278c: PUSH1 0x01
0000278e: PUSH1 0xa0
00002790: PUSH1 0x02
00002792: EXP
00002793: SUB
00002794: SWAP3
00002795: DUP4
00002796: AND
00002797: PUSH1 0x04
00002799: DUP3
0000279a: ADD
0000279b: MSTORE
0000279c: PUSH1 0x24
0000279e: DUP2
0000279f: ADD
000027a0: DUP6
000027a1: SWAP1
000027a2: MSTORE
000027a3: SWAP1
000027a4: MLOAD
000027a5: SWAP2
000027a6: SWAP1
000027a7: SWAP3
000027a8: AND
000027a9: SWAP2
000027aa: PUSH4 0xa9059cbb
000027af: SWAP2
000027b0: PUSH1 0x44
000027b2: DUP1
000027b3: DUP4
000027b4: ADD
000027b5: SWAP3
000027b6: PUSH1 0x20
000027b8: SWAP3
000027b9: SWAP2
000027ba: SWAP1
000027bb: DUP3
000027bc: SWAP1
000027bd: SUB
000027be: ADD
000027bf: DUP2
000027c0: PUSH1 0x00
000027c2: DUP8
000027c3: DUP1
000027c4: EXTCODESIZE
000027c5: ISZERO
000027c6: DUP1
000027c7: ISZERO
000027c8: PUSH2 0x27d0
000027cb: JUMPI
000027cc: PUSH1 0x00
000027ce: DUP1
000027cf: REVERT
000027d0: JUMPDEST
000027d1: POP
000027d2: GAS
000027d3: CALL
000027d4: ISZERO
000027d5: DUP1
000027d6: ISZERO
000027d7: PUSH2 0x27e4
000027da: JUMPI
000027db: RETURNDATASIZE
000027dc: PUSH1 0x00
000027de: DUP1
000027df: RETURNDATACOPY
000027e0: RETURNDATASIZE
000027e1: PUSH1 0x00
000027e3: REVERT
000027e4: JUMPDEST
000027e5: POP
000027e6: POP
000027e7: POP
000027e8: POP
000027e9: PUSH1 0x40
000027eb: MLOAD
000027ec: RETURNDATASIZE
000027ed: PUSH1 0x20
000027ef: DUP2
000027f0: LT
000027f1: ISZERO
000027f2: PUSH2 0x27fa
000027f5: JUMPI
000027f6: PUSH1 0x00
000027f8: DUP1
000027f9: REVERT
000027fa: JUMPDEST
000027fb: POP
000027fc: MLOAD
000027fd: ISZERO
000027fe: ISZERO
000027ff: PUSH2 0x2852
00002802: JUMPI
00002803: PUSH1 0x40
00002805: DUP1
00002806: MLOAD
00002807: PUSH1 0xe5
00002809: PUSH1 0x02
0000280b: EXP
0000280c: PUSH3 0x461bcd
00002810: MUL
00002811: DUP2
00002812: MSTORE
00002813: PUSH1 0x20
00002815: PUSH1 0x04
00002817: DUP3
00002818: ADD
00002819: MSTORE
0000281a: PUSH1 0x0f
0000281c: PUSH1 0x24
0000281e: DUP3
0000281f: ADD
00002820: MSTORE
00002821: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000
00002842: PUSH1 0x44
00002844: DUP3
00002845: ADD
00002846: MSTORE
00002847: SWAP1
00002848: MLOAD
00002849: SWAP1
0000284a: DUP2
0000284b: SWAP1
0000284c: SUB
0000284d: PUSH1 0x64
0000284f: ADD
00002850: SWAP1
00002851: REVERT
00002852: JUMPDEST
00002853: POP
00002854: POP
00002855: POP
00002856: POP
00002857: POP
00002858: JUMP
00002859: JUMPDEST
0000285a: PUSH1 0x00
0000285c: DUP3
0000285d: DUP2
0000285e: MSTORE
0000285f: PUSH1 0x02
00002861: PUSH1 0x20
00002863: MSTORE
00002864: PUSH1 0x40
00002866: DUP2
00002867: KECCAK256
00002868: DUP1
00002869: SLOAD
0000286a: DUP4
0000286b: SWAP1
0000286c: DUP2
0000286d: LT
0000286e: PUSH2 0x2873
00002871: JUMPI
00002872: INVALID
00002873: JUMPDEST
00002874: PUSH1 0x00
00002876: SWAP2
00002877: DUP3
00002878: MSTORE
00002879: PUSH1 0x20
0000287b: SWAP1
0000287c: SWAP2
0000287d: KECCAK256
0000287e: PUSH1 0x09
00002880: SWAP1
00002881: SWAP2
00002882: MUL
00002883: ADD
00002884: PUSH1 0x05
00002886: DUP2
00002887: ADD
00002888: SLOAD
00002889: SWAP1
0000288a: SWAP2
0000288b: POP
0000288c: PUSH1 0x01
0000288e: PUSH1 0xa0
00002890: PUSH1 0x02
00002892: EXP
00002893: SUB
00002894: AND
00002895: ISZERO
00002896: PUSH2 0x196c
00002899: JUMPI
0000289a: PUSH1 0x04
0000289c: DUP1
0000289d: SLOAD
0000289e: PUSH1 0x05
000028a0: DUP4
000028a1: ADD
000028a2: SLOAD
000028a3: PUSH1 0x01
000028a5: DUP5
000028a6: ADD
000028a7: SLOAD
000028a8: PUSH1 0x40
000028aa: DUP1
000028ab: MLOAD
000028ac: PUSH1 0xe0
000028ae: PUSH1 0x02
000028b0: EXP
000028b1: PUSH4 0xa9059cbb
000028b6: MUL
000028b7: DUP2
000028b8: MSTORE
000028b9: PUSH1 0x01
000028bb: PUSH1 0xa0
000028bd: PUSH1 0x02
000028bf: EXP
000028c0: SUB
000028c1: SWAP4
000028c2: DUP5
000028c3: AND
000028c4: SWAP6
000028c5: DUP2
000028c6: ADD
000028c7: SWAP6
000028c8: SWAP1
000028c9: SWAP6
000028ca: MSTORE
000028cb: PUSH1 0x24
000028cd: DUP6
000028ce: ADD
000028cf: SWAP2
000028d0: SWAP1
000028d1: SWAP2
000028d2: MSTORE
000028d3: MLOAD
000028d4: SWAP2
000028d5: AND
000028d6: SWAP2
000028d7: PUSH4 0xa9059cbb
000028dc: SWAP2
000028dd: PUSH1 0x44
000028df: DUP1
000028e0: DUP4
000028e1: ADD
000028e2: SWAP3
000028e3: PUSH1 0x20
000028e5: SWAP3
000028e6: SWAP2
000028e7: SWAP1
000028e8: DUP3
000028e9: SWAP1
000028ea: SUB
000028eb: ADD
000028ec: DUP2
000028ed: PUSH1 0x00
000028ef: DUP8
000028f0: DUP1
000028f1: EXTCODESIZE
000028f2: ISZERO
000028f3: DUP1
000028f4: ISZERO
000028f5: PUSH2 0x28fd
000028f8: JUMPI
000028f9: PUSH1 0x00
000028fb: DUP1
000028fc: REVERT
000028fd: JUMPDEST
000028fe: POP
000028ff: GAS
00002900: CALL
00002901: ISZERO
00002902: DUP1
00002903: ISZERO
00002904: PUSH2 0x2911
00002907: JUMPI
00002908: RETURNDATASIZE
00002909: PUSH1 0x00
0000290b: DUP1
0000290c: RETURNDATACOPY
0000290d: RETURNDATASIZE
0000290e: PUSH1 0x00
00002910: REVERT
00002911: JUMPDEST
00002912: POP
00002913: POP
00002914: POP
00002915: POP
00002916: PUSH1 0x40
00002918: MLOAD
00002919: RETURNDATASIZE
0000291a: PUSH1 0x20
0000291c: DUP2
0000291d: LT
0000291e: ISZERO
0000291f: PUSH2 0x2927
00002922: JUMPI
00002923: PUSH1 0x00
00002925: DUP1
00002926: REVERT
00002927: JUMPDEST
00002928: POP
00002929: MLOAD
0000292a: ISZERO
0000292b: ISZERO
0000292c: PUSH2 0x196c
0000292f: JUMPI
00002930: PUSH1 0x40
00002932: DUP1
00002933: MLOAD
00002934: PUSH1 0xe5
00002936: PUSH1 0x02
00002938: EXP
00002939: PUSH3 0x461bcd
0000293d: MUL
0000293e: DUP2
0000293f: MSTORE
00002940: PUSH1 0x20
00002942: PUSH1 0x04
00002944: DUP3
00002945: ADD
00002946: MSTORE
00002947: PUSH1 0x1a
00002949: PUSH1 0x24
0000294b: DUP3
0000294c: ADD
0000294d: MSTORE
0000294e: PUSH32 0x436f6d6d697373696f6e207472616e73666572206661696c6564000000000000
0000296f: PUSH1 0x44
00002971: DUP3
00002972: ADD
00002973: MSTORE
00002974: SWAP1
00002975: MLOAD
00002976: SWAP1
00002977: DUP2
00002978: SWAP1
00002979: SUB
0000297a: PUSH1 0x64
0000297c: ADD
0000297d: SWAP1
0000297e: REVERT
0000297f: JUMPDEST
00002980: PUSH1 0x01
00002982: PUSH1 0xa0
00002984: PUSH1 0x02
00002986: EXP
00002987: SUB
00002988: DUP2
00002989: AND
0000298a: ISZERO
0000298b: ISZERO
0000298c: PUSH2 0x29df
0000298f: JUMPI
00002990: PUSH1 0x40
00002992: DUP1
00002993: MLOAD
00002994: PUSH1 0xe5
00002996: PUSH1 0x02
00002998: EXP
00002999: PUSH3 0x461bcd
0000299d: MUL
0000299e: DUP2
0000299f: MSTORE
000029a0: PUSH1 0x20
000029a2: PUSH1 0x04
000029a4: DUP3
000029a5: ADD
000029a6: MSTORE
000029a7: PUSH1 0x1b
000029a9: PUSH1 0x24
000029ab: DUP3
000029ac: ADD
000029ad: MSTORE
000029ae: PUSH32 0x4d7573742073706563696679206465706f7369744d616e616765720000000000
000029cf: PUSH1 0x44
000029d1: DUP3
000029d2: ADD
000029d3: MSTORE
000029d4: SWAP1
000029d5: MLOAD
000029d6: SWAP1
000029d7: DUP2
000029d8: SWAP1
000029d9: SUB
000029da: PUSH1 0x64
000029dc: ADD
000029dd: SWAP1
000029de: REVERT
000029df: JUMPDEST
000029e0: PUSH1 0x40
000029e2: DUP1
000029e3: MLOAD
000029e4: PUSH1 0x60
000029e6: DUP2
000029e7: ADD
000029e8: DUP3
000029e9: MSTORE
000029ea: PUSH1 0x01
000029ec: PUSH1 0xa0
000029ee: PUSH1 0x02
000029f0: EXP
000029f1: SUB
000029f2: DUP1
000029f3: DUP8
000029f4: AND
000029f5: DUP3
000029f6: MSTORE
000029f7: PUSH1 0x20
000029f9: DUP3
000029fa: ADD
000029fb: DUP6
000029fc: DUP2
000029fd: MSTORE
000029fe: DUP5
000029ff: DUP3
00002a00: AND
00002a01: SWAP4
00002a02: DUP4
00002a03: ADD
00002a04: SWAP4
00002a05: DUP5
00002a06: MSTORE
00002a07: PUSH1 0x01
00002a09: DUP1
00002a0a: SLOAD
00002a0b: DUP1
00002a0c: DUP3
00002a0d: ADD
00002a0e: DUP3
00002a0f: SSTORE
00002a10: PUSH1 0x00
00002a12: SWAP2
00002a13: DUP3
00002a14: MSTORE
00002a15: SWAP4
00002a16: MLOAD
00002a17: PUSH1 0x03
00002a19: SWAP1
00002a1a: SWAP5
00002a1b: MUL
00002a1c: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00002a3d: DUP2
00002a3e: ADD
00002a3f: DUP1
00002a40: SLOAD
00002a41: SWAP6
00002a42: DUP6
00002a43: AND
00002a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a59: NOT
00002a5a: SWAP7
00002a5b: DUP8
00002a5c: AND
00002a5d: OR
00002a5e: SWAP1
00002a5f: SSTORE
00002a60: SWAP2
00002a61: MLOAD
00002a62: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf7
00002a83: DUP4
00002a84: ADD
00002a85: SSTORE
00002a86: SWAP4
00002a87: MLOAD
00002a88: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf8
00002aa9: SWAP1
00002aaa: SWAP2
00002aab: ADD
00002aac: DUP1
00002aad: SLOAD
00002aae: SWAP2
00002aaf: SWAP1
00002ab0: SWAP3
00002ab1: AND
00002ab2: SWAP3
00002ab3: AND
00002ab4: SWAP2
00002ab5: SWAP1
00002ab6: SWAP2
00002ab7: OR
00002ab8: SWAP1
00002ab9: SSTORE
00002aba: DUP3
00002abb: GT
00002abc: ISZERO
00002abd: PUSH2 0x2b50
00002ac0: JUMPI
00002ac1: PUSH1 0x04
00002ac3: DUP1
00002ac4: SLOAD
00002ac5: PUSH1 0x40
00002ac7: DUP1
00002ac8: MLOAD
00002ac9: PUSH1 0xe0
00002acb: PUSH1 0x02
00002acd: EXP
00002ace: PUSH4 0x23b872dd
00002ad3: MUL
00002ad4: DUP2
00002ad5: MSTORE
00002ad6: PUSH1 0x01
00002ad8: PUSH1 0xa0
00002ada: PUSH1 0x02
00002adc: EXP
00002add: SUB
00002ade: DUP9
00002adf: DUP2
00002ae0: AND
00002ae1: SWAP5
00002ae2: DUP3
00002ae3: ADD
00002ae4: SWAP5
00002ae5: SWAP1
00002ae6: SWAP5
00002ae7: MSTORE
00002ae8: ADDRESS
00002ae9: PUSH1 0x24
00002aeb: DUP3
00002aec: ADD
00002aed: MSTORE
00002aee: PUSH1 0x44
00002af0: DUP2
00002af1: ADD
00002af2: DUP7
00002af3: SWAP1
00002af4: MSTORE
00002af5: SWAP1
00002af6: MLOAD
00002af7: SWAP3
00002af8: SWAP1
00002af9: SWAP2
00002afa: AND
00002afb: SWAP2
00002afc: PUSH4 0x23b872dd
00002b01: SWAP2
00002b02: PUSH1 0x64
00002b04: DUP1
00002b05: DUP3
00002b06: ADD
00002b07: SWAP3
00002b08: PUSH1 0x20
00002b0a: SWAP3
00002b0b: SWAP1
00002b0c: SWAP2
00002b0d: SWAP1
00002b0e: DUP3
00002b0f: SWAP1
00002b10: SUB
00002b11: ADD
00002b12: DUP2
00002b13: PUSH1 0x00
00002b15: DUP8
00002b16: DUP1
00002b17: EXTCODESIZE
00002b18: ISZERO
00002b19: DUP1
00002b1a: ISZERO
00002b1b: PUSH2 0x2b23
00002b1e: JUMPI
00002b1f: PUSH1 0x00
00002b21: DUP1
00002b22: REVERT
00002b23: JUMPDEST
00002b24: POP
00002b25: GAS
00002b26: CALL
00002b27: ISZERO
00002b28: DUP1
00002b29: ISZERO
00002b2a: PUSH2 0x2b37
00002b2d: JUMPI
00002b2e: RETURNDATASIZE
00002b2f: PUSH1 0x00
00002b31: DUP1
00002b32: RETURNDATACOPY
00002b33: RETURNDATASIZE
00002b34: PUSH1 0x00
00002b36: REVERT
00002b37: JUMPDEST
00002b38: POP
00002b39: POP
00002b3a: POP
00002b3b: POP
00002b3c: PUSH1 0x40
00002b3e: MLOAD
00002b3f: RETURNDATASIZE
00002b40: PUSH1 0x20
00002b42: DUP2
00002b43: LT
00002b44: ISZERO
00002b45: PUSH2 0x2b4d
00002b48: JUMPI
00002b49: PUSH1 0x00
00002b4b: DUP1
00002b4c: REVERT
00002b4d: JUMPDEST
00002b4e: POP
00002b4f: POP
00002b50: JUMPDEST
00002b51: PUSH1 0x01
00002b53: SLOAD
00002b54: PUSH1 0x40
00002b56: DUP1
00002b57: MLOAD
00002b58: DUP6
00002b59: DUP2
00002b5a: MSTORE
00002b5b: SWAP1
00002b5c: MLOAD
00002b5d: PUSH1 0x00
00002b5f: NOT
00002b60: SWAP1
00002b61: SWAP3
00002b62: ADD
00002b63: SWAP2
00002b64: PUSH1 0x01
00002b66: PUSH1 0xa0
00002b68: PUSH1 0x02
00002b6a: EXP
00002b6b: SUB
00002b6c: DUP8
00002b6d: AND
00002b6e: SWAP2
00002b6f: PUSH32 0xec3d306143145322b45d2788d826e3b7b9ad062f16e1ec59a5eaba214f96ee3c
00002b90: SWAP2
00002b91: SWAP1
00002b92: DUP2
00002b93: SWAP1
00002b94: SUB
00002b95: PUSH1 0x20
00002b97: ADD
00002b98: SWAP1
00002b99: LOG3
00002b9a: POP
00002b9b: POP
00002b9c: POP
00002b9d: POP
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: PUSH1 0x01
00002ba2: PUSH1 0xa0
00002ba4: PUSH1 0x02
00002ba6: EXP
00002ba7: SUB
00002ba8: DUP2
00002ba9: AND
00002baa: ISZERO
00002bab: ISZERO
00002bac: PUSH2 0x2bb4
00002baf: JUMPI
00002bb0: PUSH1 0x00
00002bb2: DUP1
00002bb3: REVERT
00002bb4: JUMPDEST
00002bb5: PUSH1 0x00
00002bb7: DUP1
00002bb8: SLOAD
00002bb9: PUSH1 0x40
00002bbb: MLOAD
00002bbc: PUSH1 0x01
00002bbe: PUSH1 0xa0
00002bc0: PUSH1 0x02
00002bc2: EXP
00002bc3: SUB
00002bc4: DUP1
00002bc5: DUP6
00002bc6: AND
00002bc7: SWAP4
00002bc8: SWAP3
00002bc9: AND
00002bca: SWAP2
00002bcb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002bec: SWAP2
00002bed: LOG3
00002bee: PUSH1 0x00
00002bf0: DUP1
00002bf1: SLOAD
00002bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c07: NOT
00002c08: AND
00002c09: PUSH1 0x01
00002c0b: PUSH1 0xa0
00002c0d: PUSH1 0x02
00002c0f: EXP
00002c10: SUB
00002c11: SWAP3
00002c12: SWAP1
00002c13: SWAP3
00002c14: AND
00002c15: SWAP2
00002c16: SWAP1
00002c17: SWAP2
00002c18: OR
00002c19: SWAP1
00002c1a: SSTORE
00002c1b: JUMP
00002c1c: STOP
00002c1d: PUSH20 0x746174757320213d206163636570746564000000
00002c32: STOP
00002c33: STOP
00002c34: STOP
00002c35: STOP
00002c36: STOP
00002c37: STOP
00002c38: STOP
00002c39: STOP
00002c3a: STOP
00002c3b: STOP
00002c3c: STOP
00002c3d: LOG1
00002c3e: PUSH6 0x627a7a723058
00002c45: KECCAK256
00002c46: DUP10
00002c47: PUSH21 0x486fbd31bda748c1e9958f602ecd80264954e0fe72
00002c5d: UNKNOWN(0xF8)
00002c5e: DUP12
00002c5f: STATICCALL
00002c60: TIMESTAMP
00002c61: DUP12
00002c62: PUSH5 0xa3c6c10029
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: 0xadebb8c27ad5295cd69c7af4118a9b4f7ad111549c34c5b4e00f2bd007c44695
call_targets: 0x819bb9964b6ebf52361f1ae42cf4831b921510f9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xadebb8c27ad5295cd69c7af4118a9b4f7ad111549c34c5b4e00f2bd007c44695",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x819bb9964b6ebf52361f1ae42cf4831b921510f9"
    ],
    "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": 3170,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3723,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5133,
            "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: 0xadebb8c27ad5295cd69c7af4118a9b4f7ad111549c34c5b4e00f2bd007c44695
call_targets: 0x819bb9964b6ebf52361f1ae42cf4831b921510f9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xadebb8c27ad5295cd69c7af4118a9b4f7ad111549c34c5b4e00f2bd007c44695",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x819bb9964b6ebf52361f1ae42cf4831b921510f9"
    ],
    "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": 3170,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3723,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5133,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 13,
    "guards_detected": []
}